arXiv++ Combinatorics

We determine necessary and sufficient conditions for real algebraic curves near the non-singular tropical limit to be hyperbolic with respect to a point, thus generalising Speyer's classification of stable curves near the tropical limit. In order to obtain the conditions, we develop tools of real tropical intersection theory. We introduce the tropical hyperbolicity locus and the signed tropical hyperbolicity locus of a real algebraic curve near the non-singular tropical limit. In the case of honeycombs, we characterise the tropical hyperbolicity locus in terms of the set of twisted edges on the tropical limit.

We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane arrangement, our invariants coincide with virtual fundamental classes used to define the logarithmic Gromov-Witten theory of wonderful models of arrangement complements, for any logarithmic structure supported on the wonderful boundary. When the boundary is empty, this implies that the quantum cohomology ring of a hyperplane arrangement's wonderful model is a combinatorial invariant, i.e., it depends only on the matroid. When the boundary divisor is maximal, we use toric intersection theory to convert the virtual fundamental class into a balanced weighted fan in a vector space, having the expected dimension. We explain how the associated Gromov-Witten theory is completely encoded by intersections with this weighted fan. We include a number of questions whose positive answers would lead to a well-defined Gromov-Witten theory of non-realizable matroids.

Motivated by the intersection theory of moduli spaces of curves, we introduce psi classes in matroid Chow rings and prove a number of properties that naturally generalize properties of psi classes in Chow rings of Losev-Manin spaces. We use these properties of matroid psi classes to give new proofs of (1) a Chow-theoretic interpretation for the coefficients of the reduced characteristic polynomials of matroids, (2) explicit formulas for the volume polynomials of matroids, and (3) Poincare duality for matroid Chow rings.

We introduce the conormal fan of a matroid M, which is a Lagrangian analog of the Bergman fan of M. We use the conormal fan to give a Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M. This allows us to express the h-vector of the broken circuit complex of M in terms of the intersection theory of the conormal fan of M. We also develop general tools for tropical Hodge theory to prove that the conormal fan satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. The Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M, when combined with the Hodge-Riemann relations for the conormal fan of M, implies Brylawski's and Dawson's conjectures that the h-vectors of the broken circuit complex and the independence complex of M are log-concave sequences.

Let $f$ be the $\mathbb{F}_q$-linear map over $\mathbb{F}_{q^{2n}}$ defined by $x\mapsto x+ax^{q^s}+bx^{q^{n+s}}$ with $\gcd(n,s)=1$. It is known that the kernel of $f$ has dimension at most $2$, as proved by Csajbók et al. in "A new family of MRD-codes" (2018). For $n$ big enough, e.g. $n\geq5$ when $s=1$, we classify the values of $b/a$ such that the kernel of $f$ has dimension at most $1$. To this aim, we translate the problem into the study of some algebraic curves of small degree with respect to the degree of $f$; this allows to use intersection theory and function field theory together with the Hasse-Weil bound. Our result implies a non-scatteredness result for certain high degree scattered binomials, and the asymptotic classification of a family of rank metric codes.

Double Hurwitz numbers enumerate branched covers of $\mathbb{CP}^1$ with prescribed ramification over two points and simple ramification elsewhere. In contrast to the single case, their underlying geometry is not well understood. In previous work by the second- and third-named authors, the double Hurwitz numbers were conjectured to satisfy a polynomiality structure and to be governed by the topological recursion, analogous to existing results concerning single Hurwitz numbers. In this paper, we resolve these conjectures by a careful analysis of the semi-infinite wedge representation for double Hurwitz numbers, by pushing further methods previously used for other Hurwitz problems. We deduce a preliminary version of an ELSV-like formula for double Hurwitz numbers, by deforming the Johnson-Pandharipande-Tseng formula for orbifold Hurwitz numbers and using properties of the topological recursion under variation of spectral curves. In the course of this analysis, we unveil certain vanishing properties of the Chiodo classes.

This paper solves the combinatorics relating the intersection theory of $ψ$-classes of Hassett spaces to that of $\overline{\mathcal{M}}_{g,n}$. A generating function for intersection numbers of $ψ$ classes on all Hassett spaces is obtained from the Gromov-Witten potential of a point via a non-invertible transformation of variables. When restricting to diagonal weights, the changes of variables are invertible and explicitly described as polynomial functions. Finally, the comparison of potentials is extended to the level of cycles: the pinwheel cycle potential, a generating function for tautological classes of rational tail type on $\overline{\mathcal{M}}_{g,n}$ is the right instrument to describe the pull-back to $\overline{\mathcal{M}}_{g,n}$ of all monomials of $ψ$ classes on Hassett spaces.

We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definition of Wachspress coordinates, which are barycentric coordinates on an arbitrary convex polytope. The adjoint polynomial also appears both in algebraic statistics, when studying the moments of uniform probability distributions on polytopes, and in intersection theory, when computing Segre classes of monomial schemes. We describe the Wachspress map, the rational map defined by the Wachspress coordinates, and the Wachspress variety, the image of this map. The inverse of the Wachspress map is the projection from the linear span of the image of the adjoint hypersurface. To relate adjoints of polytopes to classical adjoints of divisors in algebraic geometry, we study irreducible hypersurfaces that have the same degree and multiplicity along the non-faces of a polytope as its defining hyperplane arrangement. We list all finitely many combinatorial types of polytopes in dimensions two and three for which such irreducible hypersurfaces exist. In the case of polygons, the general such curves< are elliptic. In the three-dimensional case, the general such surfaces are either K3 or elliptic.

We enumerate rational curves in toric surfaces passing through points and satisfying cross-ratio constraints using tropical and combinatorial methods. Our starting point is arXiv:1509.07453, where a tropical-algebraic correspondence theorem was proved that relates counts of rational curves in toric varieties that satisfy point conditions and cross-ratio constraints to the analogous tropical counts. We proceed in two steps: based on tropical intersection theory we first study tropical cross-ratios and introduce degenerated cross-ratios. Second we provide a lattice path algorithm that produces all tropical curves satisfying such degenerated conditions explicitly. In a special case simpler combinatorial objects, so-called cross-ratio floor diagrams, are introduced which can be used to determine these enumerative numbers as well.

Hassett spaces are moduli spaces of weighted stable pointed curves. In this work, we consider such spaces of curves of genus $0$ with weights all $\frac{1}{2}$. These spaces are interesting as they are isomorphic to $\overline{M}_{0,n}$ but have different universal families and different intersection theory. We develop a closed formula for intersections of $ψ$-classes on such spaces. In our main result, we encode the formula for top intersections in a generating function obtained by applying a differential operator to the Witten-potential.

Let $f$ be an $\mathbb{F}_q$-linear function over $\mathbb{F}_{q^n}$. If the $\mathbb{F}_q$-subspace $U= \{ (x^{q^t}, f(x)) : x\in \mathbb{F}_{q^n} \}$ defines a maximum scattered linear set, then we call $f$ a scattered polynomial of index $t$. As these polynomials appear to be very rare, it is natural to look for some classification of them. We say a function $f$ is an exceptional scattered polynomial of index $t$ if the subspace $U$ associated with $f$ defines a maximum scattered linear set in $\mathrm{PG}(1, q^{mn})$ for infinitely many $m$. Our main results are the complete classifications of exceptional scattered monic polynomials of index $0$ (for $q>5$) and of index $1$. The strategy applied here is to convert the original question into a special type of algebraic curves and then to use the intersection theory and the Hasse-Weil theorem to derive contradictions.

Mustafin varieties are flat degenerations of projective spaces, induced by a choice of an $n-$tuple of lattices in a vector space over a non-archimedean field. They were introduced by Mustafin in the 70s in order to generalise Mumford's groundbreaking work on the unformisation of curves to higher dimension. These varieties have a rich combinatorial structure as can be seen in pioneering work of Cartwright, Häbich, Sturmfels and Werner. In this paper, we introduce a new approach to Mustafin varieties in terms of images of rational maps, which were studied by Li. Applying tropical intersection theory and tropical convex hull computations, we use this method to give a new combinatorial description of the irreducible components of the special fibers of Mustafin varieties. This enables connections to various topics. In particular, we see that any multiview variety appears as an irreducible component of the special fiber of some Mustafin variety. Furthermore, we use an interpretation of Mustafin varieties as a moduli functor introduced by Faltings to relate them to certain moduli functors, called linked Grassmannians. These objects are featured in limit linear series theory. The focal point of study regarding linked Grassmannians are so-called \textit{simple points}. As a direct consequence of the new combinatorial description of Mustafin varieties, we prove that the simple points of linked Grassmannians are dense in every fiber. Finally, we use the connection to linked Grassmannians, to relate the special fibers of Mustafin varieties to certain local models of unitary Shimura varieties.

In this paper we present an example of a derivation of an ELSV-type formula using the methods of topological recursion. Namely, for orbifold Hurwitz numbers we give a new proof of the spectral curve topological recursion, in the sense of Chekhov, Eynard, and Orantin, where the main new step compared to the existing proofs is a direct combinatorial proof of their quasi-polynomiality. Spectral curve topological recursion leads to a formula for the orbifold Hurwitz numbers in terms of the intersection theory of the moduli space of curves, which, in this case, appears to coincide with a special case of the Johnson-Pandharipande-Tseng formula.

We present a Poisson formula for sparse resultants and a formula for the product of the roots of a family of Laurent polynomials, which are valid for arbitrary families of supports. To obtain these formulae, we show that the sparse resultant associated to a family of supports can be identified with the resultant of a suitable multiprojective toric cycle in the sense of Remond. This connection allows to study sparse resultants using multiprojective elimination theory and intersection theory of toric varieties.

We introduce the notion of tropical area of a tropical curve defined in an open subset of $\mathbb R^n$. We prove that the number of vertices of a tropical curve is bounded by the area of the curve. The approach is totally elementary yet tricky. Our proof employs ideas from intersection theory in algebraic geometry. The result can be interpreted as the fact that the moduli space of tropical curves with bounded area is of finite type.

An enumerative problem on a variety $V$ is usually solved by reduction to intersection theory in the cohomology of a compactification of $V$. However, if the problem is invariant under a "nice" group action on $V$ (so that $V$ is spherical), then many authors suggested a better home for intersection theory: the direct limit of the cohomology rings of all equivariant compactifications of $V$. We call this limit the affine cohomology of $V$ and construct affine characteristic classes of subvarieties of a complex torus, taking values in the affine cohomology of the torus. This allows us to make the first steps in computing affine Thom polynomials. Classical Thom polynomials count how many fibers of a generic proper map of a smooth variety have a prescribed collection of singularities, and our affine version addresses the same question for generic polynomial maps of affine algebraic varieites. This notion is also motivated by developing an intersection-theoretic approach to tropical correspondence theorems: they can be reduced to the computation of affine Thom polynomials, because the fundamental class of a variety in the affine cohomology is encoded by the tropical fan of this variety. The first concrete answer that we obtain is the affine version of what were, historically speaking, the first three Thom poylnomials -- the Plucker formulas for the degree and the number of cusps and nodes of a projectively dual curve. This, in particular, classifies toric varieties, whose projective dual is a hypersurface, computes the tropical fan of the variety of double tangent hyperplanes to a toric variety, and describes the Newton polytope of the hypersurface of non-Morse polynomials of a given degree. We also make a conjecture on the general form of affine Thom polynomials -- a key ingredient is the $n$-ary fan, generalizing the secondary polytope.

We provide some new local obstructions to approximating tropical curves in smooth tropical surfaces. These obstructions are based on the relation between tropical and complex intersection theories which is also established here. We give two applications of the methods developed in this paper. First we classify all locally irreducible approximable 3-valent fan tropical curves in a non-singular fan tropical plane. Secondly, we prove that a generic non-singular tropical surface in tropical projective 3-space contains finitely many approximable tropical lines if it is of degree 3, and contains no approximable tropical lines if it is of degree 4 or more.

In this paper, we collect a number of facts about double Hurwitz numbers, where the simple branch points are replaced by their more general analogues --- completed (r+1)-cycles. In particular, we give a geometric interpretation of these generalised Hurwitz numbers and derive a cut-and-join operator for completed (r+1)-cycles. We also prove a strong piecewise polynomiality property in the sense of Goulden-Jackson-Vakil. In addition, we propose a conjectural ELSV/GJV-type formula, that is, an expression in terms of some intrinsic combinatorial constants that might be related to the intersection theory of some analogues of the moduli space of curves. The structure of these conjectural "intersection numbers" is discussed in detail.

We find a relation between mixed volumes of several polytopes and the convex hull of their union, deducing it from the following fact: the mixed volume of a collection of polytopes only depends on the product of their support functions (rather than on the individual support functions). For integer polytopes, this dependence is essentially a certain specialization of the isomorphism between two well-known combinatorial models for the cohomology of toric varieties, however, this construction has not been extended to arbitrary polytopes so far (partially due to the lack of combinatorial tools capable of substituting for toric geometry, when vertices are not rational). We provide such an extension, which leads to an explicit formula for the mixed volume in terms of the product of support functions, and may also be interesting because of the combinatorial tools (tropical varieties with polynomial weights and their corner loci) that appear in our construction. As an example of another possible application of these new objects, we notice that every tropical subvariety in a tropical manifold M can be locally represented as the intersection of M with another tropical variety (possibly with negative weights), and conjecture certain generalizations of this fact to singular M. The above fact about subvarieties of a tropical manifold may be of independent interest, because it implies that the intersection theory on a tropical manifold, which was recently constructed by Allerman, Francois, Rau and Shaw, is locally induced from the ambient vector space.

Vakil studied the intersection theory of Schubert varieties in the Grassmannian in a very direct way: he degenerated the intersection of a Schubert variety X_mu and opposite Schubert variety X^nu to a union {X^lambda}, with repetition. This degeneration proceeds in stages, and along the way he met a collection of more complicated subvarieties, which he identified as the closures of certain locally closed sets. We show that Vakil's varieties are _positroid varieties_, which in particular shows they are normal, Cohen-Macaulay, have rational singularities, and are defined by the vanishing of Plücker coordinates [Knutson-Lam-Speyer]. We determine the equations of the Vakil variety associated to a partially filled ``puzzle'' (building on the appendix to [Vakil]), and extend Vakil's proof to give a geometric proof of the puzzle rule from [Knutson-Tao '03] for equivariant Schubert calculus. The recent paper [Anderson-Griffeth-Miller] establishes (abstractly; without a formula) three positivity results in equivariant K-theory of flag manifolds G/P. We demonstrate one of these concretely, giving a corresponding puzzle rule.