arXiv++ Combinatorics

We introduce a closure operator for valuated matroids and prove that it yields a cryptomorphic definition of valuated matroids. As an application, we introduce a class of modules over the tropical semifield (geometric modules) and prove that there is one-to-one correspondence between projective equivalence classes of simple valuated matroids and isomorphism classes of finitely generated geometric modules. We further illustrate how this correspondence can be lifted to simple infinite valuated matroids and geometric modules.

We study tropical subrepresentations of the Boolean regular representation $\mathbb{B}[G]$ of a finite group $G$. These are equivalent to the matroids on ground set $G$ for which left-multiplication by each element of $G$ is a matroid automorphism. We completely classify the tropical subrepresentations of $\mathbb{B}[G]$ for rank 3. When $G$ is an abelian group, our approach can be seen as a generalization of Golomb rulers. In doing so, we also introduce an interesting class of matroids obtained from equivalence relations on finite sets.

We study and classify representations of a torsion group $G$ over an idempotent semifield with special attention on the case over the Boolean semifield $\mathbb{B}$. In subsequent work we extend this theory to studying representations of matroids of low rank.

We explore several facets of tropical subrepresentations of a linear representation of a group over the tropical semifield $\mathbb{T}$. A key role in the study of tropical subrepresentations is played by two types of modules over a semiring: weakly free and quasi-free modules. We also investigate subgroups of $\text{GL}_n(K)$ for $K=\mathbb{T}$, $ \mathbb{R}_{\geq 0}$, and automorphisms of weakly free modules and tropical prevarieties defined by tropical linear equations. As an application of our results, we provide an intrinsic description of tropical subrepresentation via certain quasi-free modules, and prove that a tropical subrepresentation is equivalent to a valuated matroidal representation.

\emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a \emph{non-additive} setting. This formalism is well-suited to the study of categories whose objects have strong combinatorial flavor. In this paper, we show that the categories of modules over semirings and hyperrings - algebraic structures which have gained prominence in tropical geometry - carry proto-exact structures. In the first part, we prove that the category of modules over a semiring is equipped with a proto-exact structure; modules over an idempotent semiring have a strong connection to matroids. We also prove that the category of algebraic lattices $\mathcal{L}$ has a proto-exact structure, and furthermore that the subcategory of $\mathcal{L}$ consisting of finite lattices is equivalent to the category of finite $\mathbb{B}$-modules as proto-exact categories, where $\mathbb{B}$ is the \emph{Boolean semifield}. We also discuss some relations between $\mathcal{L}$ and geometric lattices (simple matroids) from this perspective. In the second part, we prove that the category of modules over a hyperring has a proto-exact structure. In the case of finite modules over the \emph{Krasner hyperfield} $\mathbb{K}$, a well-known relation between finite $\mathbb{K}$-modules and finite incidence geometries yields a combinatorial interpretation of exact sequences.