Related papers: FAQ on the g-theorem and the hard Lefschetz theore…

We provide a simpler proof of the hard Lefschetz Theorem for face rings of PL spheres: While the algebraic theory remains the same, we replace the geometric constructions by Pachner's Theorem. This simplifies the reasoning for an important…

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…

The $g$-theorem is a momentous result in combinatorics that gives a complete numerical characterization of the face numbers of simplicial convex polytopes. The $g$-conjecture asserts that the same numerical conditions given in the…

These lecture notes were prepared for the Lefschetz Preparatory School, a graduate summer course held in Krakow, May 6-10, 2024. They present the story of the algebraic Lefschetz properties from their origin in algebraic geometry to some…

Let K be the face ring of the independence complex of a matroid. We show that if T is a generic linear system of parameters, then K/T satisfies a weak form of the Hard Lefschetz Theorem. As a result, the first half of the h-vector of the…

We prove the hard Lefschetz property for pseudomanifolds and cycles in any characteristic with respect to an appropriate Artinian reduction. The proof is a combination of Adiprasito's biased pairing theory and a generalization of a formula…

We prove the Weak Lefschetz theorem for simplicial PL-spheres. This result is weaker than the Hard Lefschetz theorem for more general spheres proved by Adiprasito (arXiv:1812.10454), but the proof here involves simple algebra and avoids the…

We give an abstract version of the hard Lefschetz theorem, the Lefschetz decomposition and the Hodge-Riemann theorem for compact Kaehler manifolds.

We introduce the notion of lef line bundles on a complex projective manifold. We prove that lef line bundles satisfy the Hard Lefschetz Theorem, the Lefschetz Decomposition and the Hodge-Riemann Bilinear Relations. We study proper…

This expository note illustrates toric perturbation and biased pairing theory to show that Artinian reductions of face rings of $2$-spheres that do not satisfy the Lefschetz property can be cut along a flat equator. This complements…

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…

We give a proof of the hard Lefschetz theorem for orbifolds that does not involve intersection homology. This answers a question of Fulton. We use a foliated version of the hard Lefschetz theorem due to El Kacimi.

We study the anisotropy theorem for Stanley-Reisner rings of simplicial homology spheres in characteristic 2 by Papadakis and Petrotou. This theorem implies the Hard Lefschetz theorem as well as McMullen's g-conjecture for such spheres. Our…

We present a short proof of Reisner's Theorem, characterizing which simplicial complexes have a Cohen-Macaulay face ring. In some cases, we can also express some homological invariants of the face ring in terms of the reduced homology of…

Suppose one is given a discrete group G, a cocompact proper G-manifold M, and a G-self-map f of M. Then we introduce the equivariant Lefschetz class of f, which is globally defined in terms of cellular chain complexes, and the local…

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…

We prove the relative hard Lefschetz theorem for Soergel bimodules. It follows that the structure constants of the Kazhdan-Lusztig basis are unimodal. We explain why the relative hard Lefschetz theorem implies that the tensor category…

Using Poincar\'e duality in K-theory, we state and prove a Lefschetz fixed point formula for endomorphisms of cross product C*-algebras $C_0(X)\cross G$ coming from covariant pairs. Here $G$ is assumed countable, $X$ a manifold, and…

We study Lagrangian cobordisms with the tools provided by Lagrangian quantum homology. In particular, we develop the theory for the setting of Lagrangian cobordisms or Lagrangians with cylindrical ends in a Lefschetz fibration, and put the…

For a holomorphic one-form $\mathbf{\xi}$ on a weakly 1-complete manifold $X$ with certain properties, we discussed the connectivity of the pair $(\hat{X}, F^{-1}(z))$, where $\pi : \hat{X} \to X$ is a covering map and…