相关论文: The Krohn-Rhodes Theorem and Local Divisors

Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linear temporal logic, rational expressions with Kleene stars…

We will present a novel elementary, self-contained, and explicit proof of the local Kronecker-Weber theorem. Apart from discrete valuation theory, it does not make use of any tools beyond those introduced in a second undergraduate course on…

We intoduce a local version of the Jordan-Brouwer separation theorem and deduce some global statements, some of which may follow from known results, but the technique is new.

A new proof of the decomposition theorem is established using a relation with a version of the local purity theorem of Deligne and Gabber adapted to complex algebraic varieties.

This paper provides short proofs of two fundamental theorems of finite semigroup theory whose previous proofs were significantly longer, namely the two-sided Krohn-Rhodes decomposition theorem and Henckell's aperiodic pointlike theorem,…

We study local splitting-type results for general Loday algebroids and use them to obtain a direct proof of the splitting theorem for Courant algebroids. We also discuss the linearization problem and establish a general linearization…

In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its…

We develop a Helmholtz-like theorem for differential forms in Euclidean space $E_{n}$ using a uniqueness theorem similar to the one for vector fields. We then apply it to Riemannian manifolds, $R_{n}$, which, by virtue of the…

We explain a correct proof of the decomposition theorem for direct images of constant Hodge modules by proper K\"ahler morphisms of complex manifolds. We also give some examples showing certain difficulty in the non-constant Hodge module…

Let M be a meromorphic connection with poles along a smooth divisor D in a smooth algebraic variety. Let Sol M be the solution complex of M. We prove that the good formal decomposition locus of M coincides with the locus where the…

We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…

A generalization of Connes-Thom isomorphism is given for stable, homotopy invariant, and split exact functors on separable $C^*$-algebras. As examples of these functors, we concentrate on asymptotic and local cyclic cohomology and the…

We give a simple proof of the Riemann-Roch theorem for Deligne-Mumford stacks using the equivariant Riemann-Roch theorem and the localization theorem in equivariant K-theory together with some basic commutative algebra of Artin rings.

The Hodge-de Rham Theorem is introduced and discussed. This result has implications for the general study of several partial differential equations. Some propositions which have applications to the proof of this theorem are used to study…

We provide a simple proof of the Holonomy Theorem using a new Lyndon-Chiswell length function on the Karnofsky-Rhodes expansion of a semigroup. Unexpectedly, we have both a left and a right action on the Chiswell tree by elliptic maps.

We develop the theory of Hodge ideals for Q-divisors by means of log resolutions, extending our previous work on reduced hypersurfaces. We prove local (non-)triviality criteria and a global vanishing theorem, as well as other analogues of…

We prove a local support theorem for the exponential Radon transform for functions of exponential decay at infinity. We also show that our decay condition is essentially sharp for the classical Radon transform for hyperbolic type domains as…

Following Krause \cite{Kr}, we prove Krull-Schmidt type decomposition theorems for thick subcategories of various triangulated categories including the derived categories of rings, Noetherian stable homotopy categories, stable module…

We study distribution of zeros of a complex polynomial whose coefficients has been modified. We give a new proof of the theorem of Rubinstein, and with similar method we prove a new theorem that is not generalization of the previous…

We give a direct proof of the local converse theorem for quasi-split non-split $\mathrm{SO}_{2l}$ over a local non-Archimedean field of characteristic $p\neq 2$, applying the theory of Howe vectors and partial Bessel functions.