pith. sign in

arxiv: 2604.21925 · v1 · submitted 2026-04-23 · 🧮 math.AG · math.CO

Hodge theory for combinatorial projective bundles

Pith reviewed 2026-05-08 14:22 UTC · model grok-4.3

classification 🧮 math.AG math.CO
keywords bundleshodgeringsbloch-gieseker-typecasescertainclassescohomology
0
0 comments X

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.

In algebraic geometry, certain spaces like projective bundles have cohomology rings that obey strong structural rules called the Hard Lefschetz theorem and Hodge-Riemann relations. These rules help control how classes multiply and intersect. The authors define abstract algebraic rings using combinatorial data that copy the multiplication tables of those geometric cohomology rings. They then prove the same structural rules hold for these combinatorial versions. Because the rings come from matroid data rather than actual geometry, the proof gives new instances where the standard conjecture of Hodge type is known to hold. It also produces results about special classes attached to matroids that behave like tautological classes in geometry.

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

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5323 in / 1090 out tokens · 52530 ms · 2026-05-08T14:22:05.475786+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.