Related papers: Decomposition theorem for semi-simples

Motivated by various developments in algebraic combinatorics and its applications, we investigate here the fine structure of a fundamental but little known theorem, the Gerstenhaber and Schack cohomology comparison theorem.The theorem…

We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra…

We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small…

We introduce preordered semi-orthogonal decompositions (psod-s) of dg-categories. We show that homotopy limits of dg-categories equipped with compatible psod-s carry a natural psod. This gives a way to glue semi-orthogonal decompositions…

The Hard Lefschetz theorem is known to hold for the intersection cohomology of the toric variety associated to a rational convex polytope. One can construct the intersection cohomology combinatorially from the polytope, hence it is well…

In its simplest form the Decomposition Theorem asserts that the rational intersection cohomology of a complex projective variety occurs as a summand of the cohomology of any resolution. This deep theorem has found important applications in…

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,…

According to the decomposition and relative hard Lefschetz theorems, given a projective map of complex quasi projective algebraic varieties and a relatively ample line bundle, the rational intersection cohomology groups of the domain of the…

We construct lattices on six dimensional not completely solvable almost abelian Lie groups, for which the Mostow condition does not hold. For the corresponding compact quotients, we compute the de Rham cohomology (which does not agree in…

Wedderburn's theorem on the structure of finite dimensional semisimple algebras is proved by using minimal prerequisites.

We give a simple geometric proof of the decomposition theorem in terms of Thom-Whitney stratifications by reduction to fibrations by normal crossings divisors over the strata and explain the relation with the local purity theorem an…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

We investigate some combinatorial properties of convex polytopes simple in edges. For polytopes whose nonsimple vertices are located sufficiently far one from another, we prove an analog of the Hard Lefschetz theorem. It implies Stanley's…

Generalising a previous work of Jiang and Sheng, a cohomology theory for differential Lie algebras of arbitrary weight is introduced. The underlying $L_\infty[1]$-structure on the cochain complex is also determined via a generalised version…

A decomposition theorem for self-adjoint operators proved by Riesz and Lorch is extended to normal operators. This extension gives a new proof of the spectral theorem for unbounded normal operators.

We give a short and self-contained proof of the Decomposition Theorem for the non-small resolution of a Special Schubert variety. We also provide an explicit description of the perverse cohomology sheaves. As a by-product of our approach,…

Clausen--Scholze introduced the notion of solid spectrum in their condensed mathematics program. We demonstrate that the solidification of algebraic $K$-theory recovers two known constructions: the semitopological $K$-theory of a real…

We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…

The existence of universal unfoldings of certain germs of meromorphic connections is established. This is used to prove a general construction theorem for Frobenius manifolds. A particular case is Dubrovin's theorem on semisimple Frobenius…

Using the classical Lazard's elimination theorem, we obtain a decomposition theorem for Lie algebras defined by generators and relations of a certain type. This is a preprint version of the paper appearing in Communications in Algebra…