Hyperplane graph models for cotangent cohomology and quadratic obstructions of matroids

Let $M$ be a finite matroid and let $T^i(M)$ denote the cotangent cohomology of its Stanley--Reisner ring over a field. The paper gives a uniform hyperplane-graph model for every multigraded component of $T^2(M)$ and derives a characteristic-independent fine Hilbert series. It proves that $T^2(M)=0$ if and only if every connected component of $M$ has corank at most two, equivalently if and only if $M$ has no $U_{1,4}$ minor, settling Conjecture 22 of Constantinescu, Klein, Nguyen, Singh, and Venturello. The pure-pair cup product is proved surjective over every field and is refined to an integral split obstruction quotient. The paper also develops constructive obstruction certificates, sharp rank-two extremal formulas, a coefficient-extraction formula for the standard-degree-zero obstruction space, rank-three reconstruction and near-pencil extremality results, and a valuative weighted cocircuit profile, while showing that the global pair rank is neither valuative nor determined by the Tutte polynomial.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-08-24
DOI
https://doi.org/10.5281/zenodo.22082943
Primary Topic
Commutative Algebra and Its Applications
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Hyperplane graph models for cotangent cohomology and quadratic obstructions of matroids

Dongming Zhang, Qihang Wang
Zenodo (CERN European Organization for Nuclear Research)
Commutative Algebra and Its Applications
preprint

Hyperplane graph models for cotangent cohomology and quadratic obstructions of matroids

Dongming Zhang, Qihang Wang
preprint en

Abstract

Let $M$ be a finite matroid and let $T^i(M)$ denote the cotangent cohomology of its Stanley--Reisner ring over a field. The paper gives a uniform hyperplane-graph model for every multigraded component of $T^2(M)$ and derives a characteristic-independent fine Hilbert series. It proves that $T^2(M)=0$ if and only if every connected component of $M$ has corank at most two, equivalently if and only if $M$ has no $U_{1,4}$ minor, settling Conjecture 22 of Constantinescu, Klein, Nguyen, Singh, and Venturello. The pure-pair cup product is proved surjective over every field and is refined to an integral split obstruction quotient. The paper also develops constructive obstruction certificates, sharp rank-two extremal formulas, a coefficient-extraction formula for the standard-degree-zero obstruction space, rank-three reconstruction and near-pencil extremality results, and a valuative weighted cocircuit profile, while showing that the global pair rank is neither valuative nor determined by the Tutte polynomial.

Zenodo (CERN European Organization for Nuclear Research)
Peking University (CN)
Commutative Algebra and Its Applications
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.