Low-degree filtrations in ordinary and Lagrangian Grassmannian cohomology
Abstract
We prove the Hilbert-series formulas conjectured by Reiner--Tudose and by the Polymath Jr. Grassmannian group for the subalgebras of ordinary and Lagrangian Grassmannian cohomology generated in bounded degree. We determine the finite coefficient images underlying the proofs, together with the kernels of the coefficient and cancellation maps. We also construct bases adapted to the auxiliary ideal filtrations and identify the cancellation layers, as modules, with shifts of finite complete-intersection algebras. First-order deformations give the derivative inclusions needed to recover the filtration increments. We disprove the two ordinary basis conjectures of the Polymath group. For every r≥ 2, the span of each prescribed family has codimension one in weight 3r+2 of H2*(Gr(2,3r+1);ℚ); replacing one index gives a basis in each of these components. More generally, each prescribed two-row family has codimension at most one in every weight. Weights are half the cohomological degrees, and all coefficients are rational.
Related
- Filtrations on Local Cohomology and Injectivity Theorems
- Structural Realizations and Invariants of Universal Obstruction Cohomology: Goodwillie Towers, Chromatic Filtrations, and Quantum Contextuality
- Completed cohomology of Hilbert modular varieties below middle degree
- High-Degree Restricted Cohomology for K(3;1)(1) in Characteristics Five and Seven
- Vanishing of degree $3$ unramified cohomology over finite fields
BibTeX
@misc{xiong2026lowdegree,
title = {{Low-degree filtrations in ordinary and Lagrangian Grassmannian cohomology}},
author = {Huan Xiong},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.28780},
eprint = {2610.28780},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.28780},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Low-degree filtrations in ordinary and Lagrangian Grassmannian cohomology
AU - Huan Xiong
PY - 2026
DA - 2026/10/20
PB - arXiv
DO - 10.48550/arxiv.2610.28780
UR - https://arxiv.org/abs/2610.28780
AB - We prove the Hilbert-series formulas conjectured by Reiner--Tudose and by the Polymath Jr. Grassmannian group for the subalgebras of ordinary and Lagrangian Grassmannian cohomology generated in bounded degree. We determine the finite coefficient images underlying the proofs, together with the kernels of the coefficient and cancellation maps. We also construct bases adapted to the auxiliary ideal filtrations and identify the cancellation layers, as modules, with shifts of finite complete-intersection algebras. First-order deformations give the derivative inclusions needed to recover the filtration increments. We disprove the two ordinary basis conjectures of the Polymath group. For every r≥ 2, the span of each prescribed family has codimension one in weight 3r+2 of H^2*(Gr(2,3r+1);ℚ); replacing one index gives a basis in each of these components. More generally, each prescribed two-row family has codimension at most one in every weight. Weights are half the cohomological degrees, and all coefficients are rational.
ER -