arXiv++ Combinatorics

We study the singular cohomology rings of toric varieties associated with several fans arising from uniform matroids. These rings generalize the Chow and augmented Chow rings of matroids. For the singular cohomology ring arising from the augmented Bergman fan of a uniform matroid, we construct an explicit basis derived from the retral basis for the singular cohomology ring of a uniform matroid introduced by the first author. We prove that the augmented Bergman fan does not yield a singular cohomology ring that satisfies the quasi-projective Strong Lefschetz property, whereas a suitable modification of the fan does. We then investigate the zeros of the corresponding refined Hodge--Poincaré polynomials. For uniform matroids, we prove that the refined Hodge--Poincaré polynomials associated with both the singular cohomology ring and the modified augmented singular cohomology ring are real-rooted. The former result resolves a conjecture of the first author. These results extend the real-rootedness theorem of Brändén and the second author for the Chow polynomials of uniform matroids. Finally, we relate the failure of real-rootedness for the augmented singular cohomology ring to the failure of Lefschetz properties.

The singular cohomology ring of a matroid is an algebraic invariant which generalizes the Chow ring of a matroid. We study combinatorial and Lefschetz properties of the singular cohomology ring of a uniform matroid. Combinatorially, we construct an explicit basis for the singular cohomology ring in terms of Koszul homology. From this basis we derive multiple formulas for the Hodge numbers of the cohomology ring that recover and extend known formulas for the Chow polynomial of a uniform matroid. We also use this basis to show that the singular cohomology ring of a uniform matroid satisfies the "quasi-projective strong Lefschetz property" -- a slight weakening of the Hard Lefschetz property found in the Chow ring of a matroid.

We introduce the Tor groups $ \mathop{Tor}_{\bullet}^{S_{\mathrm{M}}^{\circ}} \left( \mathbb{C}[Σ_{\mathrm{M}}], \mathbb{C} \right)_{\bullet} $ for a loopless matroid $\mathrm{M}$ as a way to study the extra relations occurring in the linear ideal of the Feichtner-Yuzvinsky presentation of the Chow ring $ A^{\bullet}(\mathrm{M}) $. This extends the definition of the Chow ring of a matroid since $ \mathop{Tor}_{0}^{S_{\mathrm{M}}^{\circ}} \left( \mathbb{C}[Σ_{\mathrm{M}}], \mathbb{C} \right)_{\bullet} \cong A^{\bullet}(\mathrm{M}) $. Our main tool in studying these groups is to recognize them as cohomology of the toric variety associated to the Bergman fan of the matroid. With this geometric approach, we show that these Tor groups fit into a long exact sequence arising from the matroidal flips of Adiprasito, Huh, and Katz, extending the short exact sequence in the case of Chow rings. Using this long exact sequence we give a recursive formula for the Hilbert series of the Tor algebra of a uniform matroid.

We define the unipotent tropical fundamental group of a polyhedral complex in $\mathbb{R}^n$ as the Tannakian fundamental group of the category of unipotent tropical vector bundles with integrable connection. We show that it is computable in that it satisfies a Seifert--Van Kampen theorem and has a description for fans in terms of a bar complex. We then review an analogous classical object, the unipotent de Rham fundamental group of a schön subvariety of a toric variety. Our main result is a correspondence theorem between classical and tropical unipotent fundamental groups: there is an isomorphism between the unipotent completion of the fundamental group of a generic fiber of a tropically smooth family over a disc and the tropical unipotent fundamental group of the family's tropicalization. This theorem is established using Kato--Nakayama spaces and a descent argument. It requires a slight enlargement of the relevant categories, making use of enriched structures and partial compactifications.