Related papers: Hard Lefschetz Theorem for Nonrational Polytopes

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

We explore the applications of Lorentzian polynomials to the fields of algebraic geometry, analytic geometry and convex geometry. In particular, we establish a series of intersection theoretic inequalities, which we call rKT property, with…

We formulate a conjectural hard Lefschetz property for Chow groups, and prove this in some special cases: roughly speaking, for varieties with finite-dimensional motive, and for varieties whose self-product has vanishing middle-dimensional…

We use standard constructions in algebraic geometry and homological algebra to extend the decomposition and hard Lefschetz theorems of T. Mochizuki and C. Sabbah so that they remains valid without the quasi-projectivity assumptions.

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham…

We provide new families of compact complex manifolds with no K\"ahler structure carrying symplectic structures satisfying the \textit{Hard Lefschetz Condition}. These examples are obtained as compact quotients of the solvable Lie group…

If M is a riemannian manifold, then the inclusion of the complex of coclosed harmonic forms into the de Rham complex induces a linear isomorphism in cohomology. If M has at most countably many connected components, this linear isomorphism…

The well known $g$-conjecture for homology spheres follows from the stronger conjecture that the face ring over the reals of a homology sphere, modulo a linear system of parameters, admits the strong-Lefschetz property. We prove that the…

We prove a Noether--Lefschetz-type result for certain linear systems on a projective threefold with isolated singularities.

We prove the Hodge-Riemann bilinear relations, the hard Lefschetz theorem and the Lefschetz decomposition for compact Kahler manifolds in the mixed situation.

Recently, the authors of this paper introduced logarithmic Hochschild (co)homology of logarithmic spaces in a geometric way using formality of derived intersections. In this paper, the authors extend the decomposition theorem for the…

Torelli's theorem is proven by the study of the convolution product of the intersection cohomology sheaf of the thetadivisor.

We define the notion of complex stratification by quasifolds and show that such spaces occur as complex quotients by certain nonclosed subgroups of tori associated to convex polytopes. The spaces thus obtained provide a natural…

We introduce complex intersection bodies and show that their properties and applications are similar to those of their real counterparts. In particular, we generalize Busemann's theorem to the complex case by proving that complex…

To prove log-concavity of the characteristic polynomials of matroids, Adiprasito-Huh-Katz proved the K\"{a}hler package (the hard Lefschetz theorem and the Hodge-Riemann bilinear relations) for their Chow rings. Amini-Piquerez generalized…

We reprove and generalize the result that the intersection cohomology groups of a toric variety with coefficient in a nontrivial rank one local system vanish. We prove a similar vanishing result for a certain class of varieties on which a…

We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of…

We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…

For arbitrary Coxeter systems, we prove that inverse Kazhdan-Lusztig polynomials satisfy a monotonicity property. This follows from the validity of Soergel's conjecture and the existence of injective morphisms between Rouquier complexes in…

We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.