75 research outputs found
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
Axioms for infinite matroids
We give axiomatic foundations for non-finitary infinite matroids with
duality, in terms of independent sets, bases, circuits, closure and rank. This
completes the solution to a problem of Rado of 1966.Comment: 33 pp., 2 fig
International Journal of Mathematical Combinatorics, Vol.6
The International J.Mathematical Combinatorics (ISSN 1937-1055) is a fully refereed international journal, sponsored by the MADIS of Chinese Academy of Sciences and published in USA quarterly comprising 460 pages approx. per volume, which publishes original research papers and survey articles in all aspects of Smarandache multi-spaces, Smarandache geometries, mathematical combinatorics, non-euclidean geometry and topology and their applications to other sciences
Matroid theory for algebraic geometers
This article is a survey of matroid theory aimed at algebraic geometers.
Matroids are combinatorial abstractions of linear subspaces and hyperplane
arrangements. Not all matroids come from linear subspaces; those that do are
said to be representable. Still, one may apply linear algebraic constructions
to non-representable matroids. There are a number of different definitions of
matroids, a phenomenon known as cryptomorphism. In this survey, we begin by
reviewing the classical definitions of matroids, develop operations in matroid
theory, summarize some results in representability, and construct polynomial
invariants of matroids. Afterwards, we focus on matroid polytopes, introduced
by Gelfand-Goresky-MacPherson-Serganova, which give a cryptomorphic definition
of matroids. We explain certain locally closed subsets of the Grassmannian,
thin Schubert cells, which are labeled by matroids, and which have applications
to representability, moduli problems, and invariants of matroids following
Fink-Speyer. We explain how matroids can be thought of as cohomology classes in
a particular toric variety, the permutohedral variety, by means of Bergman
fans, and apply this description to give an exposition of the proof of
log-concavity of the characteristic polynomial of representable matroids due to
the author with Huh.Comment: 74 page
Matroids over a ring
We introduce the notion of a matroid M over a commutative ring R, assigning to every subset of the ground set an R-module according to some axioms. When R is a field, we recover matroids. When R D Z, and when R is a DVR, we get (structures which contain all the data of) quasi-arithmetic matroids, and valuated matroids, i.e. tropical linear spaces, respectively. More generally, whenever R is a Dedekind domain, we extend all the usual properties and operations holding for matroids (e.g., duality), and we explicitly describe the structure of the matroids over R. Furthermore, we compute the Tutte-Grothendieck ring of matroids over R. We also show that the Tutte quasi-polynomial of a matroid over Z can be obtained as an evaluation of the class of the matroid in the Tutte-Grothendieck ring
- …