Hodge theory for combinatorial projective bundles
Pith reviewed 2026-05-08 14:22 UTC · model grok-4.3
The pith
Proves Hard Lefschetz theorem and Hodge-Riemann relations for combinatorial rings resembling cohomology of projective bundles over toric varieties, yielding new cases of the standard Hodge conjecture and Bloch-Gieseker-type results for matroid tautological classes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the Hard Lefschetz theorem and Hodge-Riemann relations for certain rings which resemble the cohomology rings of projectivizations of globally generated vector bundles over toric varieties. This proves new cases of the standard conjecture of Hodge type and gives Bloch-Gieseker-type results for tautological classes of matroids.
Load-bearing premise
That the combinatorially defined rings satisfy the algebraic conditions (such as being generated in the expected degrees and having the correct intersection form) needed for the Hard Lefschetz and Hodge-Riemann statements to apply, without hidden geometric assumptions that the combinatorial model might not capture.
read the original abstract
We prove the Hard Lefschetz theorem and Hodge-Riemann relations for certain rings which resemble the cohomology rings of projectivizations of globally generated vector bundles over toric varieties. This proves new cases of the standard conjecture of Hodge type and gives Bloch-Gieseker-type results for tautological classes of matroids.
Editorial analysis
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.