The moduli space of matroids

DOI10.1016/J.AIM.2021.107883zbMATH Open1479.05045arXiv1809.03542OpenAlexW3190263340MaRDI QIDQ822693FDOQ822693

N. E. Zubov

Publication date: 23 September 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: In the first part of the paper, we clarify the connections between several algebraic objects appearing in matroid theory: both partial fields and hyperfields are fuzzy rings, fuzzy rings are tracts, and these relations are compatible with the respective matroid theories. Moreover, fuzzy rings are ordered blueprints and lie in the intersection of tracts with ordered blueprints; we call the objects of this intersection pastures. In the second part, we construct moduli spaces for matroids over pastures. We show that, for any non-empty finite set $E$, the functor taking a pasture $F$ to the set of isomorphism classes of rank-$r$ $F$-matroids on $E$ is representable by an ordered blue scheme $Mat(r,E)$, the moduli space of rank-$r$ matroids on $E$. In the third part, we draw conclusions on matroid theory. A classical rank-$r$ matroid $M$ on $E$ corresponds to a $mathbbK$-valued point of $Mat(r,E)$ where $mathbbK$ is the Krasner hyperfield. Such a point defines a residue pasture $k_M$, which we call the universal pasture of $M$. We show that for every pasture $F$, morphisms $k_{M}oF$ are canonically in bijection with $F$-matroid structures on $M$. An analogous weak universal pasture $k_M^w$ classifies weak $F$-matroid structures on $M$. The unit group of $k_M^w$ can be canonically identified with the Tutte group of $M$. We call the sub-pasture $k_M^f$ of $k_M^w$ generated by ``cross-ratios' the foundation of $M$,. It parametrizes rescaling classes of weak $F$-matroid structures on $M$, and its unit group is coincides with the inner Tutte group of $M$. We show that a matroid $M$ is regular if and only if its foundation is the regular partial field, and a non-regular matroid $M$ is binary if and only if its foundation is the field with two elements. This yields a new proof of the fact that a matroid is regular if and only if it is both binary and orientable.

Full work available at URL: https://arxiv.org/abs/1809.03542

Recommendations

• Matroid Theory for Algebraic Geometers
• Algebraic varieties characterizing matroids and oriented matroids
• Matroids from modules
• Polyhedra and parameter spaces for matroids over valuation rings
• A module-theoretic approach to matroids

zbMATH Keywords

moduli spaceshyperfieldIdyllsordered blueprintstract

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Combinatorial aspects of matroids and geometric lattices (05B35)

Cites Work

• Oriented Matroids
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lectures on matroids
• Tropical schemes, tropical cycles, and valuated matroids
• Perspectives on Projective Geometry
• The hyperring of adèle classes
• Oriented matroids
• Matroid Theory for Algebraic Geometers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Chirurgie des grassmanniennes
• Mnev-Sturmfels universality for schemes
• On basic concepts of tropical geometry
• Schemes over $$ \mathbb{F}_1 $$
• Tropical Linear Spaces
• \(\mathbb F_1\)-schemes and toric varieties
• Combinatorial geometries, convex polyhedra, and Schubert cells
• Duality theory for finite and infinite matroids with coefficients
• Grassmann-Plücker relations and matroids with coefficients
• Murphy's law in algebraic geometry: Badly-behaved deformation spaces
• The Bracket Ring of a Combinatorial Geometry. I
• Sheaves and \(K\)-theory for \(\mathbb F_1\)-schemes
• On the Abstract Properties of Linear Dependence
• Spaces of orderings and abstract real spectra
• Partial fields and matroid representation
• The equation x+y=1 in finitely generated groups
• Title not available (Why is that?)
• Confinement of matroid representations to subsets of partial fields
• Lifts of matroid representations over partial fields
• Projective geometry for blueprints
• Title not available (Why is that?)
• A remark on topologies for rational point sets
• THE GEOMETRY OF BLUEPRINTS PART II: TITS–WEYL MODELS OF ALGEBRAIC GROUPS
• Perfect matroids
• Combinatorial models for the finite-dimensional Grassmannians
• Geometric algebra for combinatorial geometries
• On the relation between hyperrings and fuzzy rings
• A short proof of Tutte's characterization of totally unimodular matrices
• Projective equivalence of matroids with coefficients
• Vectors of matroids over tracts
• Hyperfield Grassmannians
• Algebraic geometry over hyperrings
• Matroids over partial hyperstructures
• A counterexample to the extension space conjecture for realizable oriented matroids
• Projective orientations of matroids
• Tropical Cramer determinants revisited
• On the equation X1 + X2 = 1 infinitely generated multiplicative groups in positive characteristic
• Effective results for unit equations over finitely generated integral domains
• On combinatorial and projective geometry

Cited In (23)

• The expected codimension of a matroid variety
• Fusion rules for pastures and tracts
• Matroids from modules
• Flag matroids with coefficients
• The Möbius matroids
• Matroids, motives, and a conjecture of Kontsevich.
• A unifying approach to tropicalization
• Towards the horizons of Tits's vision: on band schemes, crowds and \(\mathbb{F}_1\)-structures
• Valuative invariants for large classes of matroids
• Computing excluded minors for classes of matroids representable over partial fields
• Title not available (Why is that?)
• Lagrangian matroids and cohomology
• Generalising Kapranov's theorem for tropical geometry over hyperfields
• Tropical geometry over the tropical hyperfield
• Semiring systems arising from hyperrings
• Matroids over skew tracts
• Combinatorial geometry takes the lead
• Homology of systemic modules
• Lift theorems for representations of matroids over pastures
• The first cotangent cohomology module for matroids
• Projective systemic modules
• Exterior algebras in matroid theory
• Representability of orthogonal matroids over partial fields

This page was built for publication: The moduli space of matroids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q822693)