43 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
On the relation between hyperrings and fuzzy rings
We construct a full embedding of the category of hyperfields into Dress's category of fuzzy rings and explicitly characterize the essential image --- it fails to be essentially surjective in a very minor way. This embedding provides an identification of Baker's theory of matroids over hyperfields with Dress's theory of matroids over fuzzy rings (provided one restricts to those fuzzy rings in the essential image). The embedding functor extends from hyperfields to hyperrings, and we study this extension in detail. We also analyze the relation between hyperfields and Baker's partial demifields
Hopf algebras for matroids over hyperfields
Recently, M.~Baker and N.~Bowler introduced the notion of matroids over hyperfields as a unifying theory of various generalizations of matroids. In this paper we generalize the notion of minors and direct sums from ordinary matroids to matroids over hyperfields. Using this we generalize the classical construction of matroid-minor Hopf algebras to the case of matroids over hyperfields