arXiv++ Combinatorics

We study the category $F$-$\textbf{Mat}_\bullet$ of matroids over an idyll $F$. We show that $F$-$\textbf{Mat}_\bullet$ is a proto-exact category, a non-additive generalization of an exact category by Dyckerhoff and Kapranov. We further show that $F$-$\textbf{Mat}_\bullet$ is proto-abelian in the sense of André. As an application, we establish that the category $\textbf{TRS}_\bullet^Σ$ of tropical toric reflexive sheaves associated to a fan $Σ$, introduced by Khan and Maclagan, is also proto-exact and proto-abelian. We then investigate the stability of modular tropical toric reflexive sheaves within the framework of proto-abelian categories and reformulate Harder-Narasimhan filtrations in this setting.

A quiver representation assigns a vector space to each vertex, and a linear map to each arrow. When one considers the category $\textrm{Vect}(\mathbb{F}_1)$ of vector spaces ``over $\mathbb{F}_1$'' (the field with one element), one obtains $\mathbb{F}_1$-representations of a quiver. In this paper, we study representations of a quiver over the field with one element in connection to coefficient quivers. To be precise, we prove that the category $\textrm{Rep}(Q,\mathbb{F}_1)$ is equivalent to the (suitably defined) category of coefficient quivers over $Q$. This provides a conceptual way to see Euler characteristics of a class of quiver Grassmannians as the number of ``$\mathbb{F}_1$-rational points'' of quiver Grassmannians. We generalize techniques originally developed for string and band modules to compute the Euler characteristics of quiver Grassmannians associated to $\mathbb{F}_1$-representations. These techniques apply to a large class of $\mathbb{F}_1$-representations, which we call the $\mathbb{F}_1$-representations with finite nice length: we prove sufficient conditions for an $\mathbb{F}_1$-representation to have finite nice length, and classify such representations for certain families of quivers. Finally, we explore the Hall algebras associated to $\mathbb{F}_1$-representations of quivers. We answer the question of how a change in orientation affects the Hall algebra of nilpotent $\mathbb{F}_1$-representations of a quiver with bounded representation type. We also discuss Hall algebras associated to representations with finite nice length, and compute them for certain families of quivers.

We study the category $\textrm{Rep}(Q,\mathbb{F}_1)$ of representations of a quiver $Q$ over "the field with one element", denoted by $\mathbb{F}_1$, and the Hall algebra of $\textrm{Rep}(Q,\mathbb{F}_1)$. Representations of $Q$ over $\mathbb{F}_1$ often reflect combinatorics of those over $\mathbb{F}_q$, but show some subtleties - for example, we prove that a connected quiver $Q$ is of finite representation type over $\mathbb{F}_1$ if and only if $Q$ is a tree. Then, to each representation $\mathbb{V}$ of $Q$ over $\mathbb{F}_1$ we associate a coefficient quiver $Γ_\mathbb{V}$ possessing the same information as $\mathbb{V}$. This allows us to translate representations over $\mathbb{F}_1$ purely in terms of combinatorics of associated coefficient quivers. We also explore the growth of indecomposable representations of $Q$ over $\mathbb{F}_1$ - there are also similarities to representations over a field, but with some subtle differences. Finally, we link the Hall algebra of the category of nilpotent representations of an $n$-loop quiver over $\mathbb{F}_1$ with the Hopf algebra of skew shapes introduced by Szczesny.