arXiv++ Combinatorics

We express the maximum likelihood (ML) degrees of a family toric varieties in terms of Mobius invariants of matroids. The family of interest are those parametrized by monomial maps given by Lawrence lifts of totally unimodular matrices with even circuits. Specifying these matrices to be vertex-edge incidence matrices of bipartite graphs gives the ML degrees of some hierarchical models and three dimensional quasi-independence models. Included in this list are the no-three-way interaction models with one binary random variable, for which, we give closed formulae.

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.

This is the author's Habilitation which took place at University of Essen on July 11, 1993. The manuscript contains two parts. The first one is devoted to the author's combinatorial construction of mirrors of Calabi-Yau hypersurfaces in Gorenstein toric Fano varieties. The second one contains author's results on the variation of mixed Hodge structures of affine hypersurfaces in algebraic tori and their connection to Gelfand-Kapranov-Zelevinsky theory of generalized hypergeometric functions and their applications to the mirror symmetry for Calabi-Yau hypersurfaces in toric varieties.

Monotone polytopes, also known as smooth reflexive polytopes, are the polytopes associated to monotone symplectic toric manifolds and Gorenstein Fano toric varieties. We first show that the only monotone polytopes admitting blow-ups at vertices are the simplex and the result of a codimension-two blow-up in it (this is the polyhedral version of a result of Bonavero from 2002). Then we show that the $n$-simplex admits disjoint blow-ups at faces if and only if the faces are disjoint and have dimensions adding up to $n-1$ or $n-2$. These results answer a question posed by Dusa McDuff in 2011.

A toric variety is a normal complex variety which is completely described by combinatorial data, namely by a fan of strongly convex rational (with respect to a lattice) cones. Due to this rationality condition, toric varieties are (equivariantly) rigid since a deformation of the lattice can make it dense. A solution to this problem consists in considering quantum toric stacks. The latter is a stacky generalization of toric varieties where the "lattice" is replaced by a finitely generated subgroup of $\mathbb{R}^d$ (in the simplicial case as introduced by L. Katzarkov, E. Lupercio, L. Meersseman and A. Verjovsky). The goal of this paper is to explain the moduli spaces of quantum toric stacks and their compactification.

Calabi-Yau manifolds can be obtained as hypersurfaces in toric varieties built from reflexive polytopes. We generate reflexive polytopes in various dimensions using a genetic algorithm. As a proof of principle, we demonstrate that our algorithm reproduces the full set of reflexive polytopes in two and three dimensions, and in four dimensions with a small number of vertices and points. Motivated by this result, we construct five-dimensional reflexive polytopes with the lowest number of vertices and points. By calculating the normal form of the polytopes, we establish that many of these are not in existing datasets and therefore give rise to new Calabi-Yau four-folds. In some instances, the Hodge numbers we compute are new as well.

We provide an overview of the combinatorial theory of horospherical varieties using coloured fans, a generalization of the combinatorial theory of toric varieties using polyhedral fans.

The Todd polynomials, denoted as $td_k(b_1,b_2,\ldots,b_m)$, are characterised by their generating functions: $$\sum_{k\ge 0} td_k s^k = \prod_{i=1}^m \frac{b_i s}{e^{b_i s}-1}.$$ These polynomials serve as fundamental components in the Todd class of toric varieties, a concept of significant relevance in the study of lattice polytopes and number theory. We identify that generalised Todd polynomials emerge naturally within the framework of MacMahon's partition analysis, particularly in the context of computing Ehrhart series. We introduce an efficient method for the evaluation of generalised Todd polynomials for numerical values of $b_i$. This is achieved through the development of expedited operations in the quotient ring $\mathbb{Z}_p[[s]]$ modulo $s^{d}$, where $p$ is a large prime. The practical implications of our work are demonstrated through two applications: firstly, we facilitate a recalculated resolution of the Ehrhart series for magic squares of order 6, a problem initially addressed by the first author, reducing computation time from 70 days to approximately 1 day; secondly, we present a polynomial-time algorithm for Integer Linear Programming when the dimension is fixed, exhibiting a notable enhancement in computational efficiency.

N.C.Leung and V.Reiner showed that certain convexity conditions on a complete rational simplicial fan determine the sign of the signature of the Poincaré pairing on the cohomology of the associated toric variety. The purpose of the present article is to give an "elementary" proof of their result.

An important challenge in Geometric Modeling is to classify polytopes with rational linear precision. Equivalently, in Algebraic Statistics one is interested in classifying scaled toric varieties, also known as discrete exponential families, for which the maximum likelihood estimator can be written in closed form as a rational function of the data (rational MLE). The toric fiber product (TFP) of statistical models is an operation to iteratively construct new models with rational MLE from lower dimensional ones. In this paper we introduce TFPs to the Geometric Modeling setting to construct polytopes with rational linear precision and give explicit formulae for their blending functions. A special case of the TFP is taking the Cartesian product of two polytopes and their blending functions. The Horn matrix of a statistical model with rational MLE is a key player in both Geometric Modeling and Algebraic Statistics; it proved to be fruitful providing a characterisation of those polytopes having the more restrictive property of strict linear precision. We give an explicit description of the Horn matrix of a TFP.

This paper introduces modern geometric combinatorial technology from the theory of triangulations in order to derive results in toric symplectic geometry. In the main part of the paper we prove a number of properties of the space $\mathcal{D}(n)$ of $n$-dimensional Delzant polytopes. Two highlights are the construction of examples showing that, in contrast with the classical work of Oda in dimension $2$, no classification of combinatorially minimal Delzant polytopes can be expected in dimension $3$ or higher, and a proof that the space of $n$-dimensional Delzant polytopes is path-connected. Our proof of the latter is based on the fact that every rational fan can be refined to a unimodular fan, which is a standard technique used for resolution of singularities of toric varieties. In the last part of the paper, using the Delzant correspondence, these results allow us to answer several open questions concerning the moduli space $\mathcal{M}(n)$ of symplectic toric manifolds of dimension $2n$, since this space is isometric to the space of Delzant polytopes. Our results imply that no classification of minimal models of symplectic toric manifolds is plausible in dimension $6$ or higher, which answers in the negative a long-standing folklore question originating in Oda's work (1978).

We show that the toric variety of the permutohedron (=permutohedral space) has the structure of a cocommutative bimonoid in species, with multiplication/comultiplication given by embedding/projecting-onto boundary divisors. In terms of Losev-Manin's description of permutohedral space as a moduli space, multiplication is concatenation of strings of Riemann spheres and comultiplication is forgetting marked points. In this way, the bimonoid structure is an analog of the cyclic operad structure on the moduli space of genus zero marked curves. Covariant/contravariant data on permutohedral space is endowed with the structure of cocommutative/commutative bimonoids by pushing-forward/pulling-back data along the (co)multiplication. Many well-known combinatorial objects index data on permutohedral space. Moreover, combinatorial objects often have the structure of bimonoids, with multiplication/comultiplication given by merging/restricting objects in some way. We prove that the bimonoid structure enjoyed by these indexing combinatorial objects coincides with that induced by the bimonoid structure of permutohedral space. Thus, permutohedral space may be viewed as a fundamental underlying object which geometrically interprets many combinatorial Hopf algebras. Aguiar-Mahajan have shown that classical combinatorial Hopf theory is based on the braid hyperplane arrangement in a crucial way. This paper aims to similarly establish permutohedral space as a central object, providing an even more unified perspective. The main motivation for this work concerns Feynman amplitudes in the Schwinger parametrization, which become integrals over permutohedral space if one blows-up everything in the resolution of singularities. Then the Hopf algebra structure of Feynman graphs, first appearing in the work of Connes-Kreimer, coincides with that induced by the bimonoid structure of permutohedral space.

A notion of a nearly toric variety is introduced. The examples of nearly toric varieties in the context of Schubert varieties are discussed. In particular, combinatorial characterizations of the smooth and singular nearly toric Schubert varieties are found. Furthermore, the counts and generating series are determined. Additionally, a connection between Dyck paths and a certain family of nearly toric Schubert varieties is established.

We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of the reconnected complement of a subgraph. The prototypical example of a reconnectad is given by the collection of toric varieties of graph associahedra of Carr and Devadoss, with the structure operations given by inclusions of orbits closures. We develop the general theory of reconnectads, and use it to study the ``wonderful reconnectad'' assembled from homology groups of complex toric varieties of graph associahedra.

Our first result realizes the toric variety of every marked chain-order polytope (MCOP) of the Gelfand--Tsetlin poset as an explicit Gröbner (sagbi) degeneration of the flag variety. This generalizes the Sturmfels/Gonciulea--Lakshmibai/Kogan--Miller construction for the Gelfand--Tsetlin degeneration to the MCOP setting. The key idea of our approach is to use pipe dreams to define realizations of toric varieties in Plücker coordinates. We then use this approach to generalize two more well-known constructions to arbitrary MCOPs: standard monomial theories such as those given by semistandard Young tableaux and PBW-monomial bases in irreducible representations such as the FFLV bases. In an addendum we introduce the notion of semi-infinite pipe dreams and use it to obtain an infinite family of poset polytopes each providing a toric degeneration of the semi-infinite Grassmannian.

We propose to take a look at a new approach to the study of integral polyhedra. The main idea is to give an integral representation, or matrix model representation, for the key combinatorial characteristics of integral polytopes. Based on the well-known geometric interpretations of matrix model digram techniques, we construct a new model that enumerates triangulations, subdivisions, and numbers of integral points of integral polygons. This approach allows us to look at their combinatorics from a new perspective, motivated by knowledge about matrix models and their integrability. We show how analogs of Virasoro constraints appear in the resulting model. Moreover, we make a natural generalization of this matrix model to the case of polytopes of an arbitrary dimension, considering already a tensor model. We also obtain an analogue of Virasoro constraints for it and discuss their role in the solvability of these models. The deep connection between the geometry of convex polyhedra and toric geometry is the main reference point in the construction of these models. We present considerations on specific ways of applying this approach to the description of Batyrev's mirror pairs. All this allows us to formulate many interesting directions in the study of the connection between matrix/tensor models and the geometry of toric varieties.

We show that, once translated to the dual setting of convex triangulations of lattice polytopes, results and methods from previous tropical works by Arnal-Renaudineau-Shaw, Renaudineau-Shaw, Renaudineau-Rau-Shaw, and Jell-Rau-Shaw extend to non-convex triangulations. So, while the translation of Viro's patchworking method to the setting of tropical hypersurfaces has inspired several tremendous developments over the last two decades, we return to the the original polytope setting in order to generalize and simplify some results regarding the topology of $T$-submanifolds of real toric varieties.

We establish a connection between the algebraic geometry of the type B permutohedral toric variety and the combinatorics of delta-matroids. Using this connection, we compute the volume and lattice point counts of type B generalized permutohedra. Applying tropical Hodge theory to a new framework of "tautological classes of delta-matroids," modeled after certain vector bundles associated to realizable delta-matroids, we establish the log-concavity of a Tutte-like invariant for a broad family of delta-matroids that includes all realizable delta-matroids. Our results include new log-concavity statements for all (ordinary) matroids as special cases.

Schubert varieties of hyperplane arrangements, also known as matroid Schubert varieties, play an essential role in the proof of the Dowling-Wilson conjecture and in Kazhdan-Lusztig theory for matroids. We study these varieties as equivariant compactifications of affine spaces, and give necessary and sufficient conditions to characterize them. We also generalize the theory to include partial compactifications and morphisms between them. Our results resemble the correspondence between toric varieties and polyhedral fans.