Mixed Lefschetz Theorems and Hodge-Riemann Bilinear Relations

TL;DR

This paper develops a unified framework to extend the Hard Lefschetz Theorem and Hodge-Riemann relations to mixed contexts, including new cases like non-rational polytopes, broadening their applicability in geometry and combinatorics.

Contribution

It generalizes known Lefschetz and Hodge-Riemann theorems to mixed settings and introduces new cases such as intersection cohomology of non-rational polytopes.

Findings

Unified approach to mixed HLT and HRR

Extension to intersection cohomology of non-rational polytopes

Broader applicability in geometric and combinatorial contexts

Abstract

Statements analogous to the Hard Lefschetz Theorem (HLT) and the Hodge-Riemann bilinear relations (HRR) hold in a variety of contexts: they impose restrictions on the cohomology algebra of a smooth compact K\"ahler manifold or on the intersection cohomology of a projective toric variety; they restrict the local monodromy of a polarized variation of Hodge structure; they impose conditions on the possible $f$-vectors of convex polytopes. While the statements of these theorems depend on the choice of a K\"ahler class, or its analog, there is usually a cone of possible K\"ahler classes. It is then natural to ask whether the HLT and HRR remain true in a mixed context. In this note we present a unified approach to proving the mixed HLT and HRR, generalizing the previously known results, and proving it in new cases such as the intersection cohomology of non-rational polytopes.