Quiver matroids -- Matroid morphisms, quiver Grassmannians, their Euler characteristics and $\mathbb{F}_1$-points

This paper introduces morphisms for matroids with coefficients and quiver matroids, constructs their moduli spaces as $\mathbb{F}_1$-analogues of complex quiver Grassmannians, and demonstrates that the number of $\mathbb{F}_1$-points in these spaces corresponds to the Euler characteristic of the associated complex varieties.

The Gist

Imagine you are trying to understand the shape of a complex, multi-dimensional object. In mathematics, there are two main ways to do this: you can look at the object through a high-powered microscope (using complex numbers and calculus), or you can try to build a simplified, "skeleton" version of it using only the most basic building blocks available.

This paper is about building that skeleton. It connects three seemingly different worlds: Matroids (abstract rules about how things fit together), Quivers (diagrams of arrows and dots used to map relationships), and $\mathbb{F}_1$-Geometry (a theoretical "Field with One Element," which is like a universe where numbers don't really add up in the usual way, but things still have structure).

Here is the breakdown of their adventure, using simple analogies.

1. The Characters: Matroids and Quivers

• Matroids: Think of a matroid as a rulebook for a puzzle. It doesn't care about the specific numbers on the pieces; it only cares about which pieces can fit together to form a valid shape. For example, in a puzzle, you might know that "if you have piece A and piece B, you cannot have piece C." That's a matroid rule.
• Quivers: Imagine a subway map. The stations are dots (vertices), and the train lines are arrows. A "Quiver Representation" is like assigning a specific type of cargo to every station and a specific rule for how that cargo moves from one station to the next.
• The Problem: Mathematicians have been studying "Quiver Grassmannians." This is a fancy name for a giant catalog of all possible ways to pick a subset of cargo at every station that still follows the train rules. In the complex world (our normal math), counting these subsets is hard.

2. The New Tool: Morphisms (The "Connectors")

The authors realized that to study these catalogs, they needed a better way to connect different rulebooks.

• The Analogy: Imagine you have a puzzle in New York and a puzzle in London. A "morphism" is a translator that tells you how to move a piece from the New York puzzle to the London puzzle without breaking the rules.
• The Innovation: They created a universal translator that works not just for normal numbers, but for these abstract "Field with One Element" ($\mathbb{F}_1$) systems. They proved that if you have a rulebook in one system, you can translate it to another system perfectly, preserving the shape of the puzzle.

3. The Big Discovery: The "Skeleton" Count

This is the most exciting part. The authors found a magical shortcut.

• The Complex World: If you look at the catalog of all valid cargo subsets in the complex world (using real numbers), the "size" of this catalog is measured by something called the Euler Characteristic. Think of this as a complex "score" that tells you how many holes, loops, and bumps the shape has. Calculating this score is usually very difficult.
• The $\mathbb{F}_1$ World (The Skeleton): The authors built a version of this catalog using only the simplest possible building blocks (the $\mathbb{F}_1$ points).
• The Magic Trick: They discovered that for many of these "nice" subway maps, the number of points in the skeleton is exactly equal to the complex score.

The Metaphor:
Imagine you want to know the exact number of atoms in a giant, glowing crystal (the complex Euler characteristic). Usually, you need a massive particle accelerator to count them.
The authors said: "Wait! If you freeze the crystal until it turns into a simple, black-and-white wireframe model ($\mathbb{F}_1$), you can just count the dots on the wireframe. And guess what? The number of dots on the wireframe is exactly the same as the number of atoms in the glowing crystal!"

4. Why Does This Matter?

• Simplification: It turns a hard geometry problem into a simple counting problem. Instead of doing calculus, you just count how many ways you can arrange the dots on your subway map.
• Unification: It shows that the deep, complex structures of algebra and the simple, combinatorial structures of puzzles are actually two sides of the same coin.
• The "Nice" Cases: They proved this works perfectly when the subway map (the quiver) looks like a tree (no loops) or has a very specific, simple loop structure. For these maps, the "skeleton count" is a perfect predictor of the complex reality.

Summary

The paper introduces a new language to translate between complex mathematical shapes and simple combinatorial puzzles. They built a bridge (morphisms) that allows mathematicians to count the "dots" on a simple $\mathbb{F}_1$ model and instantly know the "complex score" of the original shape. It's like finding a cheat code for counting the complexity of the universe.

Technical Summary

1. Problem Statement

The paper addresses the intersection of three distinct mathematical fields: matroid theory, quiver representation theory, and $\mathbb{F}_1$-geometry (geometry over the field with one element).

• The Gap: While matroids generalize linear subspaces and quiver Grassmannians generalize flag varieties, a unified framework connecting matroid morphisms to quiver representations over $\mathbb{F}_1$ was lacking.
• The Specific Challenge: A central heuristic in $\mathbb{F}_1$-geometry posits that the number of $\mathbb{F}_1$-rational points of a variety $X$ should equal the topological Euler characteristic ($\chi$) of its complex base extension $X(\mathbb{C})$. While this holds for flag varieties (identified with flag matroids), it was not established for general quiver Grassmannians.
• The Goal: To construct a robust theory of quiver matroids and quiver Grassmannians over $\mathbb{F}_1$ (specifically over band schemes) and prove that for a specific class of "nice" quiver representations, the number of $\mathbb{F}_1$-points (defined as closed points in the Tits space) equals the Euler characteristic of the associated complex quiver Grassmannian.

2. Methodology

The authors employ a multi-layered approach combining algebraic structures, category theory, and combinatorial geometry:

A. Baker-Bowler Theory and Idylls

The foundation is the theory of matroids with coefficients in an idyll (a generalization of fields and hyperfields introduced by Baker and Bowler).

• Perfect Idylls: The authors focus on "perfect" idylls (e.g., fields, partial fields, the Krasner hyperfield $\mathbb{K}$, and the tropical hyperfield $\mathbb{T}$) where vectors are orthogonal to covectors.
• Morphisms: They define matroid morphisms not just as strong maps, but as submonomial matrices (matrices with at most one non-zero entry per row/column) that map vector sets to vector sets. This generalizes linear maps, strong maps, and oriented matroid quotients.

B. Quiver Matroids

• Definition: A quiver matroid is defined as a representation of a quiver $Q$ in the category of matroids with coefficients. It consists of a tuple of matroids $(M_v)_{v \in Q_0}$ and a tuple of morphisms (M_\alpha)_{\alpha \in Q_1) between them.
• Relation to $\mathbb{F}_1$: They establish an adjunction between the category of $\mathbb{F}_1$-representations (pointed sets with partial maps) and $(Q, \mathbb{K})$-matroids. This allows $\mathbb{F}_1$-representations to be viewed as the "underlying" structure of quiver matroids.

C. Band Schemes and Moduli Spaces

To construct the moduli space, the authors utilize band schemes (a streamlined approach to $\mathbb{F}_1$-geometry developed by Baker, Jun, and Lorscheid).

• Matroid Bundles: They generalize matroids to matroid bundles over a band scheme $X$, defined via Grassmann-Plücker functions taking values in line bundles over $X$.
• Quiver Grassmannians: They define the quiver Grassmannian $Gr_r(\Lambda)$ as the moduli space of $\Lambda$-matroid bundles of a fixed rank vector $r$. This is constructed as a closed subscheme of a product of projective spaces defined by quiver Plücker relations.

D. Combinatorial Analysis of Euler Characteristics

To relate the $\mathbb{F}_1$-points to the complex Euler characteristic, they employ:

• Torus Actions: Using a sequence of gradings on the quiver representation (inspired by work of Cerulli Irelli, Haupt, and Jun-Sistko), they define torus actions on the Grassmannian.
• Białynicki-Birula Decomposition: They use the fact that the Euler characteristic of a complex variety with a torus action equals the number of fixed points.
• Initial Matroids: They analyze the "initial matroid" of a representation with respect to a grading to identify the fixed points with coordinate matroids (matroids with a unique basis).

3. Key Contributions

1. Theory of Matroid Morphisms:

   • Defined morphisms for matroids with coefficients in perfect idylls using submonomial matrices.
   • Proved functoriality, duality, and the existence of pre-images and minors for these morphisms.
   • Established cryptomorphic characterizations (via circuits, vectors, and Grassmann-Plücker functions) for these morphisms.

2. Quiver Matroids and Bundles:

   • Introduced quiver matroids as a unifying concept for quiver representations and flag matroids.
   • Defined matroid bundles over band schemes and constructed their moduli space, the quiver Grassmannian $Gr_r(\Lambda)$.
   • Proved that $Gr_r(\Lambda)$ is the fine moduli space for $\Lambda$-matroid bundles (Theorem G).

3. The $\mathbb{F}_1$-Point / Euler Characteristic Correspondence:

   • Defined the Tits space $X_{Tits}$ of a band scheme as the set of closed points of its $\mathbb{K}$-rational points.
   • Proved that for "nice" representations, the cardinality of the Tits space of the quiver Grassmannian equals the Euler characteristic of the complex quiver Grassmannian (Theorem H).

4. Main Results

• Theorem A (Functoriality): The push-forward of an $F$-morphism along a morphism of perfect idylls is a $G$-morphism.
• Theorem B (Duality): The transpose of an $F$-morphism is a morphism between dual matroids.
• Theorem E (Cryptomorphisms): Provides equivalent conditions for a submonomial matrix to be a morphism, linking it to orthogonality of circuits and Plücker relations.
• Theorem G (Moduli Space): The functor of $\Lambda$-matroid bundles is represented by the band scheme $Gr_r(\Lambda)$.
• Theorem H (Euler Characteristic): Let $Q$ be a finite quiver and $\Lambda$ an $\mathbb{F}_1$-representation. If the coefficient quiver of $\Lambda$ is a tree or a primitive cycle, then:
  $$\chi(Gr_r(\Lambda)(\mathbb{C})) = \# Gr_r(\Lambda)_{Tits}$$
  This equality holds for any dimension vector $r$.
• Corollary 7.19: The result extends to irreducible representations of simply laced (extended) Dynkin quivers (types $A, D, E$ and their affine extensions).

5. Significance and Impact

• Unification: The paper successfully unifies the theory of matroids, quiver representations, and $\mathbb{F}_1$-geometry. It shows that quiver Grassmannians are the natural $\mathbb{F}_1$-analogue of complex quiver Grassmannians, just as flag varieties are the $\mathbb{F}_1$-analogue of flag varieties.
• Combinatorial Computation: It provides a purely combinatorial method (counting coordinate matroids or subrepresentations of the coefficient quiver) to compute the topological Euler characteristic of complex quiver Grassmannians, bypassing complex geometric calculations.
• Validation of $\mathbb{F}_1$ Heuristics: It rigorously validates the heuristic that "number of $\mathbb{F}_1$-points = Euler characteristic" for a broad new class of varieties (quiver Grassmannians), specifically identifying the Tits space as the correct set of $\mathbb{F}_1$-points to count.
• Future Directions: The authors outline extensions to idylls with involutions (for Hermitian complements) and more general morphisms (non-submonomial matrices), suggesting a path toward a comprehensive theory of "quiver matroid bundles" and their morphisms.

In summary, this work establishes a rigorous algebraic-geometric framework for studying quiver Grassmannians over $\mathbb{F}_1$, proving that their combinatorial structure (via matroids) perfectly captures the topological invariants (Euler characteristics) of their complex counterparts under specific structural conditions.