[Paper Review] Stanley-Reisner rings for quasi-arithmetic matroids

Matthias Lenz|arXiv (Cornell University)|Sep 12, 2017

Commutative Algebra and Its Applications38 references3 citations

TL;DR

This paper introduces a Stanley–Reisner ring construction for quasi-arithmetic matroids by defining two types of CW complexes—arithmetic independence complexes—that generalize the independence complex of a matroid. Using Stanley’s framework for simplicial posets, the authors show these complexes are simplicial posets, enabling the construction of a Stanley–Reisner ring that encodes the h-vector of the arithmetic independence complex, extending classical matroid theory to the arithmetic setting.

ABSTRACT

In this note we define a Stanley-Reisner ring for quasi-arithmetic matroids and more general structures. To this end, we define two types of CW complexes associated with a quasi-arithmetic matroid that generalize independence complexes of matroids. Then we use Stanley's construction of Stanley-Reisner rings for simplicial posets.

Motivation & Objective

• To define a generalization of the matroid independence complex for arithmetic matroids, where independent sets are weighted by their multiplicity function.
• To construct a CW complex structure that captures the weighted count of independent sets, overcoming the limitations of simplicial complexes in this context.
• To extend Stanley’s construction of Stanley–Reisner rings to quasi-arithmetic matroids by proving the arithmetic independence complexes are simplicial posets.
• To establish a framework for algebraic invariants—particularly the h-vector—of arithmetic matroids using commutative algebra.
• To explore connections between arithmetic Stanley–Reisner rings and geometric objects such as toric arrangements and Dahmen–Micchelli spaces.

Proposed method

• Define two constructions of CW complexes for quasi-arithmetic matroids: one general, and one using layer groups from matroid representations.
• Prove that the resulting arithmetic independence complexes are simplicial posets, satisfying the conditions required for Stanley’s ring construction.
• Apply Stanley’s construction of Stanley–Reisner rings for simplicial posets to the arithmetic independence complexes, yielding a graded ring encoding the h-vector.
• Use the surjective finite abelian group structure on the simplicial complex to define the poset structure, generalizing the notion of a simplicial poset.
• Leverage known results on the positivity of the arithmetic Tutte polynomial to support the conjecture that the rings are Cohen–Macaulay.
• Compare the proposed construction with alternative approaches, such as those based on Fink and Moci’s Z-modules, and argue for the well-definedness of the poset structure in this framework.

Experimental results

Research questions

• RQ1 Can a meaningful independence complex be defined for arithmetic matroids that incorporates multiplicity weights of independent sets?
• RQ2 Is it possible to construct a Stanley–Reisner ring for arithmetic matroids using a CW complex structure that generalizes the simplicial case?
• RQ3 Do the arithmetic independence complexes defined in this work satisfy the properties required for Stanley’s ring construction, such as being simplicial posets?
• RQ4 What algebraic and topological properties does the resulting Stanley–Reisner ring of an arithmetic matroid possess, particularly regarding its h-vector and Cohen–Macaulayness?
• RQ5 Can the arithmetic Stanley–Reisner ring be interpreted geometrically, e.g., as an equivariant cohomology ring or in relation to discrete Dahmen–Micchelli spaces?

Key findings

• The paper successfully defines two constructions of arithmetic independence complexes as CW complexes that generalize the matroid independence complex and incorporate multiplicity weights.
• It proves that these complexes are simplicial posets, enabling the application of Stanley’s construction of Stanley–Reisner rings to quasi-arithmetic matroids.
• The resulting Stanley–Reisner ring encodes the h-vector of the arithmetic independence complex, generalizing the classical case of matroids.
• The construction is valid not only for quasi-arithmetic matroids but also for a broader class of structures defined by a surjective finite abelian group action on a simplicial complex.
• The authors provide evidence that the rings are Cohen–Macaulay, as the positivity of the arithmetic Tutte polynomial’s coefficients implies the h-vector is positive.
• The paper discusses potential geometric interpretations, including a possible decomposition of the arithmetic Stanley–Reisner ring into local matroid Stanley–Reisner rings at vertices of a toric arrangement.