arXiv++ Combinatorics

We compare three filtrations of the tope space of an oriented matroid. The first is the dual Varchenko-Gelfand degree filtration, the second filtration is from Kalinin's spectral sequence, and the last one derives from Quillen's augmentation filtration. We show that all three filtrations and the respective maps coincide over $\mathbb{Z}/ 2\mathbb{Z}$. We also show that the dual Varchenko-Gelfand degree filtration can be made into a filtration of the $\mathbb{Z}$-sign cosheaf on the fan of the underlying matroid. This was previously carried out with $\mathbb{Z}/ 2\mathbb{Z}$-coefficients by the first author and Renaudineau using the Quillen filtration and has applications to real algebraic geometry via patchworking.

The third author introduced the $g$-polynomial $g_M(t)$ of a matroid, a covaluative matroid statistic which is unchanged under series and parallel extension. The $g$-polynomial of a rank $r$ matroid $M$ has the form $g_1 t + g_2 t^2 + \cdots + g_r t^r$. The coefficient $g_1$ is Crapo's classical $β$-invariant. In this paper, we study the coefficient $g_r$, which we term the $ω$-invariant of $M$. We show that, if $ω(N)$ is nonnegative for every minor $N$ of $M$, then all the coefficients of $g_M(t)$ are nonnegative. We give several simplified versions of Ferroni's formula for $ω(M)$, and compute $ω(M)$ when $r$ or $|E(M)|-2r$ is small.

This paper generalises the homeomorphism theorem behind Viro's combinatorial patchworking of hypersurfaces in toric varieties to arbitrary codimension using tropical geometry. We first define the patchwork of a polyhedral space equipped with a real phase structure. When the polyhedral subspace is tropically non-singular, we show that the patchwork is a topological manifold. When a non-singular tropical variety appears as a tropical limit of a real analytic family, we show that the real part of a fibre of the family near the tropical limit is homeomorphic to the patchwork. Finally we extend the spectral sequence introduced by the last two authors in the case of hypersurfaces to non-singular tropical varieties with real phase structures. As a corollary, we obtain bounds on the Betti numbers of the patchwork in terms of the dimensions of the tropical homology groups with coefficients modulo two.

We extend the definitions of Chern-Schwartz-MacPherson (CSM) cycles of matroids to tropical manifolds. To do this, we provide an alternate description of CSM cycles of matroids which is invariant under integer affine transformations. Utilising results of Esterov and Katz-Stapledon, we prove correspondence theorems for the CSM classes of tropicalisations of subvarieties of toric varieties. We also provide an adjunction formula relating the CSM cycles of a tropical manifold and a codimension-one tropical submanifold. Lastly, we establish Noether's Formula for compact tropical surfaces with a Delzant face structure. This extends the class of surfaces for which the formula had been previously proved by the third author.

We explore extensions of tropical methods to arithmetic enumerative problems such as $\mathbb{A}^1$-enumeration with values in the Grothendieck-Witt ring, and rationality over Henselian valued fields, using bitangents to plane quartics as a test case. We consider quartic curves over valued fields whose tropicalizations are smooth and satisfy a mild genericity condition. We then express obstructions to rationality of bitangents and their points of tangency in terms of twisting of edges of the tropicalization; the latter depends only on the tropicalization and the initial coefficients of the defining equation modulo squares. We also show that the GW-multiplicity of a tropical bitangent, i.e., the multiplicity with which its lifts contribute to the $\mathbb{A}^1$-enumeration of bitangents as defined by Larson and Vogt, can be computed from the tropicalization of the quartic together with the initial coefficients of the defining equation. As an application, we show that the four lifts of most tropical bitangent classes contribute $2\mathbb{H}$, twice the class of the hyperbolic plane, to the $\mathbb{A}^1$-enumeration. These results rely on a degeneration theorem relating the Grothendieck-Witt ring of a Henselian valued field to the Grothendieck-Witt ring of its residue field, in residue characteristic not equal to two.

We introduce the notion of real phase structure on rational polyhedral fans in Euclidean space. Such a structure consists of an assignment of affine spaces over $\mathbb{Z}/2\mathbb{Z}$ to each top dimensional face of the fan subject to two conditions. Given an oriented matroid we can construct a real phase structure on the fan of the underlying matroid. Conversely, we show that from a real phase structure on a matroid fan we can produce an orientation of the underlying matroid. Thus real phase structures are cryptomorphic to matroid orientations. The topes of the orientated matroid are recovered immediately from the real phase structure. We also provide a direct way to recover the signed circuits of the oriented matroid from the real phase structure.