Matroids over an Idyll

• Matroids over an idyll are generalized matroidal objects defined relative to an idyll, a field-like algebraic structure that extends fields and hyperfields.
• The framework employs Grassmann–Plücker functions, circuit–cocircuit duality, and module theory to integrate classical, oriented, valuated, and tropical matroid constructions.
• It establishes an exact categorical structure where operations like restriction and contraction precisely mirror subobject and quotient processes in nonadditive settings.

Matroids over an idyll are matroidal objects defined relative to an idyll, a field-like algebraic structure generalizing fields and hyperfields, and studied through Grassmann–Plücker coordinates, vector and covector sets, module theory, and categorical exactness. In the perfect case, the theory simultaneously encompasses ordinary matroids, oriented matroids, valuated matroids, regular matroids, and linear subspaces over fields, while also admitting genuinely idempotent and tropical realizations in which ordinary matroids appear as constant-coefficient tropical linear objects (Jun et al., 9 Sep 2025, Liu, 25 Jun 2026, Crowley et al., 2017).

1. Algebraic setting and basic examples

An idyll is built from the language of bands. A pointed monoid is a commutative multiplicative monoid $B=B'\sqcup\{0\}$ with absorbing $0$, and a band is such a pointed monoid equipped with a null set $N_B\subseteq B^+$ satisfying $0\in N_B$ and the existence of a unique additive inverse $-a$ characterized by $a+(-a)\in N_B$. An idyll is a band $F$ such that every nonzero element is invertible, i.e. $F^\times=F\setminus\{0\}$. In the categorical work on $F$-matroids, perfection is the operative hypothesis ensuring that vectors are orthogonal to covectors for every $F$-matroid, while in the later theory of $0$0-linear spaces perfection is formulated by the identity $0$1 for every $0$2-vector set (Jun et al., 9 Sep 2025, Liu, 25 Jun 2026).

The standard examples show that idylls are intended as coefficient objects rather than merely exotic replacements for fields. The basic perfect examples explicitly listed in the literature are every field $0$3, the Krasner hyperfield $0$4, the sign hyperfield $0$5, the tropical hyperfield $0$6, and the regular partial field $0$7 (Jun et al., 9 Sep 2025).

Coefficient object	Recovered theory
$0$8 a field	$0$9-dimensional linear subspaces of $N_B\subseteq B^+$0
$N_B\subseteq B^+$1	classical matroids
$N_B\subseteq B^+$2	oriented matroids
$N_B\subseteq B^+$3	valuated matroids
$N_B\subseteq B^+$4	regular matroids

This coefficient-first viewpoint aligns matroid theory with a broader program in generalized algebra. Hyperfields are idylls, fields are idylls, and modules over bands provide the ambient algebraic category in which linear-space-like objects can be isolated (Liu, 25 Jun 2026).

2. Formal definition of $N_B\subseteq B^+$5-matroids over a perfect idyll

For a finite set $N_B\subseteq B^+$6, an $N_B\subseteq B^+$7-matroid of rank $N_B\subseteq B^+$8 over an idyll $N_B\subseteq B^+$9 is given by an equivalence class $0\in N_B$0 of rank-$0\in N_B$1 Grassmann–Plücker functions $0\in N_B$2. These satisfy nontriviality, alternation, and the Plücker-type relation

$0\in N_B$3

for all $0\in N_B$4 and $0\in N_B$5. Two such functions are equivalent if they differ by multiplication by an element of $0\in N_B$6. In the pointed theory, one works on a pointed ground set $0\in N_B$7 with the basepoint acting as a distinguished loop (Jun et al., 9 Sep 2025).

The same objects admit a circuit–cocircuit and vector–covector formulation. If $0\in N_B$8 and $0\in N_B$9 are the circuit and cocircuit sets, then

$-a$0

For perfect idylls this interacts cleanly with duality and morphisms. A morphism $-a$1 of pointed $-a$2-matroids is a submonomial matrix preserving vector sets,

$-a$3

This recovers pointed ordinary matroids for $-a$4, pointed valuated matroids for $-a$5, and pointed oriented matroids for $-a$6 (Jun et al., 9 Sep 2025).

A complementary language is provided by $-a$7-vector sets. In the recent linear-space theory, a $-a$8-vector set is treated as a coordinate-dependent analogue of a linear subspace, and strong $-a$9-matroids over a perfect idyll are organized through this Anderson-style vector-set formalism rather than only through Plücker coordinates (Liu, 25 Jun 2026). This suggests a division of labor inside the subject: Grassmann–Plücker functions control projective coordinate data, while vector sets control relation spaces and linear dependence.

3. Boolean and tropical module-theoretic realizations

A decisive idempotent realization is obtained over the Boolean semifield

$a+(-a)\in N_B$0

In this setting ordinary matroids are identified with constant-coefficient tropical Plücker vectors. For a rank $a+(-a)\in N_B$1 matroid $a+(-a)\in N_B$2 on $a+(-a)\in N_B$3 with basis set $a+(-a)\in N_B$4, the basis-indicator multivector

$a+(-a)\in N_B$5

satisfies the tropical Plücker relations over $a+(-a)\in N_B$6, and every such $a+(-a)\in N_B$7-valued tropical Plücker vector arises from a matroid. The associated tropical linear space is

$a+(-a)\in N_B$8

while the companion quotient is

$a+(-a)\in N_B$9

The central structural identifications are

$F$0

so $F$1 is literally the lattice of flats, whereas $F$2 is generated by cocircuit indicators. After scalar extension, $F$3 is the usual constant-coefficient tropical linear space attached to $F$4 (Crowley et al., 2017).

This module-theoretic picture recovers many standard matroid constructions as linear-algebraic operations. Contraction corresponds to intersection with a coordinate subspace and deletion to coordinate projection: $F$5 Strong maps become $F$6-linear maps preserving tropical linear spaces, and matroid quotients become inclusions $F$7. The theory extends further to multivalued strong maps, stable sum and stable intersection, direct sums, and transversal matroids. A rank-$F$8 transversal matroid is characterized by a factorization

$F$9

equivalently by a $F^\times=F\setminus\{0\}$0 $F^\times=F\setminus\{0\}$1-presentation, while a fundamental transversal matroid is exactly one admitting a $F^\times=F\setminus\{0\}$2-presentation inducing a surjective map $F^\times=F\setminus\{0\}$3. Fibers of the tropical Stiefel map then yield a tropical analogue of reduced row echelon form, with a unique maximal $F^\times=F\setminus\{0\}$4-presentation in each nonempty fiber (Crowley et al., 2017).

4. Exact and proto-abelian structure

For a perfect idyll $F^\times=F\setminus\{0\}$5, the category $F^\times=F\setminus\{0\}$6 of pointed $F^\times=F\setminus\{0\}$7-matroids has a robust exact-like structure in which the classical operations of restriction and contraction become the admissible monomorphisms and epimorphisms. Concretely, if $F^\times=F\setminus\{0\}$8 is a morphism, then

$F^\times=F\setminus\{0\}$9

Admissible monomorphisms are restrictions up to isomorphism, admissible epimorphisms are contractions up to isomorphism, and these classes make $F$0 proto-exact in the sense of Dyckerhoff–Kapranov and proto-abelian in the sense of André (Jun et al., 9 Sep 2025).

The exact squares are controlled by minors. Restriction–contraction squares are bicartesian, direct sum is exact, and duality exchanges restriction with contraction: $F$1 Strict subobjects are literally restrictions. If $F$2 and $F$3, then

$F$4

In the simple subcategory, flats take over this role, and sums and intersections become $F$5 and $F$6. The same formalism applies to tropical toric reflexive sheaves associated to a fan $F$7, yielding proto-exact and proto-abelian categories $F$8 and $F$9, and allowing Harder–Narasimhan filtrations to be reformulated inside a nonadditive exact framework (Jun et al., 9 Sep 2025).

This categorical development turns the heuristic slogan “restriction = subobject, contraction = quotient” into a precise exact structure for matroids over coefficient systems. It also shows that matroids over an idyll are not only Plücker-theoretic objects but also objects of an exact-like nonadditive category.

5. Linear spaces over perfect idylls

The recent theory of linear spaces over a perfect idyll constructs vector-space-like objects as a specialization of modules over $F$0. A $F$1-module $F$2 is equipped with scalar multiplication and a null set $F$3. For a finite arrangement $F$4, the associated relation set is

$F$5

A $F$6-linear space is precisely a $F$7-module for which every such finite relation set is a $F$8-vector set (Liu, 25 Jun 2026).

This axiom is sufficient to restore matroidal linear independence. The maximal linearly independent subsets of $F$9 are exactly the complements of the support bases of $0$00, hence they satisfy basis exchange and form the bases of a matroid. The need for this restriction is visible in the counterexample over $0$01, where the five vectors

$0$02

have maximal linearly independent subsets $0$03, which do not all have the same size. The categorical explanation is that the category $0$04 generally has no products, so the naive Cartesian object $0$05 does not play the role of a universal ambient vector space (Liu, 25 Jun 2026).

For $0$06, finitely generated $0$07-linear spaces are equivalent to simple pointed matroids. For a general perfect idyll $0$08, there is a faithful embedding

$0$09

and every finitely generated $0$10-linear space arises from a simple $0$11-vector set by a quotient construction

$0$12

Moreover, every $0$13-vector set is realized by a finite arrangement in a $0$14-linear space after allowing zeros and duplicates (Liu, 25 Jun 2026). This places modules, $0$15-vector sets, and $0$16-matroids in a common coordinate-free framework.

6. Adjacent coefficient theories, lift theorems, and structural limits

The modern theory of matroids over an idyll is part of a larger family of generalized coefficient theories. Hyperfields provide the first unified setting in which weak and strong matroids, circuits, Grassmann–Plücker functions, and dual pairs can all be treated simultaneously; over $0$17, $0$18, and $0$19 one recovers ordinary, oriented, and valuated matroids, and weak and strong notions coincide over doubly distributive hyperfields (Baker et al., 2016). Tracts extend this to a nullset formalism that includes fields, hyperfields, partial fields, and fuzzy rings, with circuit, Grassmann–Plücker, and dual-pair cryptomorphisms and a perfection criterion implying weak $0$20 strong (Baker et al., 2017). Stringent skew hyperfields provide another favorable regime: vectors are orthogonal to covectors, weak matroids are strong, and one obtains vector axioms generalizing both oriented-matroid and valuated-matroid vector axioms (Bowler et al., 2019).

Pastures place representability into a universal categorical form. For a matroid $0$21, rescaling classes of $0$22-representations are represented by the foundation $0$23,

$0$24

and lift theorems are expressed as coreflections in the category of pastures. This yields the general lift theorem for matroids, the $0$25-lift, the pasture-theoretic refinement of the Pendavingh–van Zwam lift for partial fields, the idempotence

$0$26

and optimal ternary and $0$27 lift constructions. One explicit consequence is that every pair consisting of a hexagonal representation and an orientation lifts uniquely, up to projective equivalence or rescaling, to a near-regular representation (Baker et al., 2021).

The literature also isolates sharp obstructions. For skew tracts, the rank-2 local-to-global theory of single-element extensions holds exactly under Pathetic Cancellation, and the phase hyperfield fails this condition (Su, 2020). For strong matroids over general tracts, vector–covector biduality can fail, deletion and contraction formulas for covectors may hold only as inclusions, and composition or additive-closure properties need not survive outside special classes such as perfect tracts (Anderson, 2016). Even inside the Boolean module formalism, not every algebraically natural construction returns a matroid: although $0$28 and $0$29, the intermediate wedge powers $0$30 for $0$31 do not in general arise as $0$32, with $0$33 as the explicit counterexample (Crowley et al., 2017).

A plausible implication is that “matroids over an idyll” is best understood not as a single rigid formalism but as a family of interlocking coefficient theories. The favorable parts of the theory—exactness, duality, vector axioms, liftability, and linear-space behavior—depend sensitively on hypotheses such as perfection, double distributivity, stringency, or Pathetic Cancellation.