451 research outputs found
Algebras related to matroids represented in characteristic zero
Let k be a field of characteristic zero. We consider graded subalgebras A of
k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear
forms. Representations of matroids over k provide a natural description of the
structure of these algebras. In return, the numerical properties of the Hilbert
function of A yield some information about the Tutte polynomial of the
corresponding matroid. Isomorphism classes of these algebras correspond to
equivalence classes of hyperplane arrangements under the action of the general
linear group.Comment: 11 pages AMS-LaTe
Products of Linear Forms and Tutte Polynomials
Let \Delta be a finite sequence of n vectors from a vector space over any
field. We consider the subspace of \operatorname{Sym}(V) spanned by \prod_{v
\in S} v, where S is a subsequence of \Delta. A result of Orlik and Terao
provides a doubly indexed direct sum of this space. The main theorem is that
the resulting Hilbert series is the Tutte polynomial evaluation
T(\Delta;1+x,y). Results of Ardila and Postnikov, Orlik and Terao, Terao, and
Wagner are obtained as corollaries.Comment: Minor changes. Accepted for publication in European Journal of
Combinatoric
Noether normalizations, reductions of ideals, and matroids
We show that given a finitely generated standard-graded algebra of dimension
over an infinite field, its graded Noether normalizations obey a certain
kind of `generic exchange', allowing one to pass between any two of them in at
most steps. We prove analogous generic exchange theorems for minimal
reductions of an ideal, minimal complete reductions of a set of ideals, and
minimal complete reductions of multigraded -algebras. Finally, we unify all
these results into a common axiomatic framework by introducing a new
topological-combinatorial structure we call a generic matroid, which is a
common generalization of a topological space and a matroid.Comment: 13 pages; to appear in Proceedings of the American Mathematical
Societ
The moduli space of matroids
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 , the functor taking a pasture
to the set of isomorphism classes of rank- -matroids on is
representable by an ordered blue scheme , the moduli space of
rank- matroids on .
In the third part, we draw conclusions on matroid theory. A classical
rank- matroid on corresponds to a -valued point of
where is the Krasner hyperfield. Such a point defines a
residue pasture , which we call the universal pasture of . We show that
for every pasture , morphisms are canonically in bijection with
-matroid structures on .
An analogous weak universal pasture classifies weak -matroid
structures on . The unit group of can be canonically identified with
the Tutte group of . We call the sub-pasture of generated by
``cross-ratios' the foundation of ,. It parametrizes rescaling classes of
weak -matroid structures on , and its unit group is coincides with the
inner Tutte group of . We show that a matroid is regular if and only if
its foundation is the regular partial field, and a non-regular matroid 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.Comment: 83 page
Ordinary and Generalized Circulation Algebras for Regular Matroids
Let E be a finite set, and let R(E) denote the algebra of polynomials in indeterminates (x_e)_{e in E}, modulo the squares of these indeterminates. Subalgebras of R(E) generated by homogeneous elements of degree 1 have been studied by many authors and can be understood combinatorially in terms of the matroid represented by the linear equations satisfied by these generators. Such an algebra is related to algebras associated to deletions and contractions of the matroid by a short exact sequence, and can also be written as the quotient of a polynomial algebra by certain powers of linear forms.
We study such algebras in the case that the matroid is regular, which we term circulation algebras following Wagner. In addition to surveying the existing results on these algebras, we give a new proof of Wagner's result that the structure of the algebra determines the matroid, and construct an explicit basis in terms of basis activities in the matroid. We then consider generalized circulation algebras in which we mod out by a fixed power of each variable, not necessarily equal to 2. We show that such an algebra is isomorphic to the circulation algebra of a "subdivided" matroid, a variation on a result of Nenashev, and derive from this generalized versions of many of the results on ordinary circulation algebras, including our basis result. We also construct a family of short exact sequences generalizing the deletion-contraction decomposition
- …