arXiv++ Combinatorics

This paper provides a rigorous study of tropicalizations of locally symmetric varieties. We give applications beyond tropical geometry, to the cohomology of moduli spaces as well as to the cohomology of arithmetic groups. We study two cases in detail: the case of level structures on the moduli space $\mathcal{A}_{g}$ of abelian varieties, and the special unitary case.

For $g\ge 2$ and $n\ge 0$, let $\mathcal{H}_{g,n}\subset \mathcal{M}_{g,n}$ denote the complex moduli stack of $n$-marked smooth hyperelliptic curves of genus $g$. A normal crossings compactification of this space is provided by the theory of pointed admissible $\mathbb{Z}/2\mathbb{Z}$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$. Using this graph complex, we give a sum-over-graphs formula for the $S_n$-equivariant weight zero compactly supported Euler characteristic of $\mathcal{H}_{g, n}$. This formula allows for the computer-aided calculation, for each $g\le 7$, of the generating function $\mathsf{h}_g$ for these equivariant Euler characteristics for all $n$. More generally, we determine the dual complex of the boundary in any moduli space of pointed admissible $G$-covers of genus zero curves, when $G$ is abelian, as a symmetric $Δ$-complex. We use these complexes to generalize our formula for $\mathsf{h}_g$ to moduli spaces of $n$-pointed smooth abelian covers of genus zero curves.

Inspired by Kontsevich's graphic orbifold Euler characteristic we define a virtual Euler characteristic for any finite set of isomorphism classes of matroids of rank $r$. Our main result provides a simple formula for the virtual Euler characteristic for the set of isomorphism classes of matroids of rank $r$ realizable over $\mathbb{F}_2$ (i.e., binary matroids). We prove this formula by relating the virtual Euler characteristic for binary matroids to the point counts of certain subsets of Grassmanians over finite fields. We conclude by providing several follow-up questions in relation to matroids realizable over other finite prime fields, matroid homology, and beta invariants.

Tropical counting tools are useful for many enumerative questions. We count tropical multinodal surfaces using floor plans, looking at the case when two nodes are tropically close together, i.e., unseparated. We generalize tropical floor plans to recover the count of multinodal curves. We then prove that for $δ=2$ or $3$ nodes, tropical surfaces with unseparated nodes contribute asymptotically to the second order term of the polynomial giving the degree of the family of complex projective surfaces in $\mathbb{P}^3$ of degree $d$ with $δ$ nodes. We classify when two nodes in a surface tropicalize to a vertex dual to a polytope with 6 lattice points, and prove that this only happens for projective degree $d$ surfaces satisfying point conditions in Mikhalkin position when $d>4$.

We study quadratic polynomials giving bijections from the integer lattice points of sectors of $\mathbb{R}^2$ onto $\mathbb{N}_0$ , called packing polynomials. We determine all quadratic packing polynomials on rational sectors. This generalizes results of Stanton, Nathanson, and Fueter and Pólya.

We compute the top-weight rational cohomology of $A_g$ for $g=5$, $6$, and $7$, and we give some vanishing results for the top-weight rational cohomology of $A_8, A_9,$ and $ A_{10}$. When $g=5$ and $g=7$, we exhibit nonzero cohomology groups of $A_g$ in odd degree, thus answering a question highlighted by Grushevsky. Our methods develop the relationship between the top-weight cohomology of $A_g$ and the homology of the link of the moduli space of principally polarized tropical abelian varieties of rank $g$. To compute the latter we use the Voronoi complexes used by Elbaz-Vincent-Gangl-Soulé. Our computations give natural candidates for compactly supported cohomology classes of $A_g$ in weight $0$ that produce the stable cohomology classes of the Satake compactification of $A_g$ in weight $0$, under the Gysin spectral sequence for the latter space.

Flag matroids are combinatorial abstractions of flags of linear subspaces, just as matroids are of linear subspaces. We introduce the flag Dressian as a tropical analogue of the partial flag variety, and prove a correspondence between: (a) points on the flag Dressian, (b) valuated flag matroids, (c) flags of projective tropical linear spaces, and (d) coherent flag matroidal subdivisions. We introduce and characterize projective tropical linear spaces, which serve as a fundamental tool in our proof. We apply the correspondence to prove that all valuated flag matroids on ground set up to size 5 are realizable, and give an example where this fails for a flag matroid on 6 elements.

There are 280 binodal cubic surfaces passing through 17 general points. For the typically used tropical point conditions, we show that 214 of these give tropicalizations such that the nodes are separated on the tropical cubic surface.

We study Dressians of matroids using the initial matroids of Dress and Wenzel. These correspond to cells in regular matroid subdivisions of matroid polytopes. An efficient algorithm for computing Dressians is presented, and its implementation is applied to a range of interesting matroids. We give counterexamples to a few plausible statements about matroid subdivisions.

We introduce a new model for the realization space of a matroid, which is obtained from a variety defined by a saturated determinantal ideal, called the slack ideal, coming from the vertex-hyperplane incidence matrix of the matroid. This is inspired by a similar model for the slack realization space of a polytope. We show how to use these ideas to certify non-realizability of matroids, and describe an explicit relationship to the standard Grassmann-Plücker realization space model. We also exhibit a way of detecting projectively unique matroids via their slack ideals by introducing a toric ideal that can be associated to any matroid.

Given a curve defined over an algebraically closed field which is complete with respect to a nontrivial valuation, we study its tropical Jacobian. This is done by first tropicalizing the curve, and then computing the Jacobian of the resulting weighted metric graph. In general, it is not known how to find the abstract tropicalization of a curve defined by polynomial equations, since an embedded tropicalization may not be faithful, and there is no known algorithm for carrying out semistable reduction in practice. We solve this problem in the case of hyperelliptic curves by studying admissible covers. We also describe how to take a weighted metric graph and compute its period matrix, which gives its tropical Jacobian and tropical theta divisor. Lastly, we describe the present status of reversing this process, namely how to compute a curve which has a given matrix as its period matrix.

A polynomial $p(x,y)$ on a region $S$ in the plane is called a packing polynomial if the restriction of $p(x,y)$ to $S\cap \mathbb{Z}^2$ yields a bijection to $\mathbb{N}$. In this paper, we determine all quadratic packing polynomials on rational sectors of $\mathbb{R}^2$.