arXiv++ Combinatorics

We present a review on the recently discovered link between the Lie theory,the theory of quiver Grassmannians, and various degenerations of flag varieties. Our starting point is the induced Poincaré--Birkhoff--Witt filtration on the highest weight representations and the corresponding PBW degenerate flag varieties.

To any poset $P$, we associate a convex cone called a braid cone. We also associate a fan and study the toric varieties the cone and fan define. The fan always defines a smooth toric variety $X_P$, while the toric variety $U_P$ of the cone may be singular. We show that $X_{P} \dashrightarrow U_{P}$ is a crepant resolution of singularities if and only if $P$ is bounded. Next, we aim to determine when $U_P$ is Gorenstein or $\mathbb{Q}$-Gorenstein. We prove that whether or not $U_P$ is ($\mathbb{Q}$)-Gorenstein depends only on the biconnected components of the Hasse diagram of $P$. In the case that $P$ has a minimum or maximum element, we show that the Gorenstein property of $U_P$ is completely determined by the Möbius function of $P$. We also provide a recursive method that determines if $U_P$ is ($\mathbb{Q}$)-Gorenstein in this case. We conjecture that $U_P$ is Gorenstein if and only if it is $\mathbb{Q}$-Gorenstein. We verify this conjecture for posets of length $1$ and also for posets with a minimum or maximum element.

The classical BKK theorem computes the intersection number of divisors on toric variety in terms of volumes of corresponding polytopes. It was observed by Pukhlikov and the first author that the BKK theorem leads to a presentation of the cohomology ring of toric variety as a quotient of the ring of differential operators with constant coefficients by the annihilator of an explicit polynomial. In this paper we generalize this construction to the case of quasitoric bundles. These are fiber bundles with generalized quasitoric manifolds as fibers. First we obtain a generalization of the BKK theorem to this case. Then we use recently obtained descriptions of the graded-commutative algebras which satisfy Poincaré duality to give a description of cohomology rings of quasitoric bundles.

For a smooth projective toric variety of Picard rank two we classify all exceptional sequences of invertible sheaves which have maximal length. In particular, we prove that unlike non-maximal sequences, they (a) remain exceptional under lexicographical reordering (b) satisfy strong height constraints in the Picard lattice (c) are full, that is, they generate the derived category of the variety.

We analyse the dynamics of the pullback of the map $z \longmapsto z^m$ on the complex tori and toric varieties. We will observe that tropical objects naturally appear in the limit, and review several theorems in tropical geometry.

The two best studied toric degenerations of the flag variety are those given by the Gelfand--Tsetlin and FFLV polytopes. Each of them degenerates further into a particular monomial variety which raises the problem of describing the degenerations intermediate between the toric and the monomial ones. Using a theorem of Zhu one may show that every such degeneration is semitoric with irreducible components given by a regular subdivision of the corresponding polytope. This leads one to study the parts that appear in such subdivisions as well as the associated toric varieties. It turns out that these parts lie in a certain new family of poset polytopes which we term relative poset polytopes: each is given by a poset and a weakening of its order relation. In this paper we give an in depth study of (both common and marked) relative poset polytopes and their toric varieties in the generality of an arbitrary poset. We then apply these results to degenerations of flag varieties. We also show that our family of polytopes generalizes the family studied in a series of papers by Fang, Fourier, Litza and Pegel while sharing their key combinatorial properties such as pairwise Ehrhart-equivalence and Minkowski-additivity.

We introduce the notion of a Seshadri stratification on an embedded projective variety. Such a structure enables us to construct a Newton-Okounkov simplicial complex and a flat degeneration of the projective variety into a union of toric varieties. We show that the Seshadri stratification provides a geometric setup for a standard monomial theory. In this framework, Lakshmibai-Seshadri paths for Schubert varieties get a geometric interpretation as successive vanishing orders of regular functions.

A toric degeneration of an irreducible variety is a flat degeneration to an irreducible toric variety. In the case of a flag variety, its toric degeneration with desirable properties induces degenerations of Richardson varieties to unions of irreducible closed toric subvarieties, called semi-toric degenerations. For instance, Morier-Genoud proved that Caldero's toric degenerations arising from string polytopes have this property. Semi-toric degenerations are closely related to Schubert calculus. Indeed, Kogan-Miller constructed semi-toric degenerations of Schubert varieties from Knutson-Miller's semi-toric degenerations of matrix Schubert varieties which give a geometric proof of the pipe dream formula of Schubert polynomials. In this paper, we focus on a toric degeneration of a flag variety arising from a cluster structure, and prove that it induces semi-toric degenerations of Richardson varieties. Our semi-toric degeneration can be regarded as a generalization of Morier-Genoud's and Kogan-Miller's semi-toric degenerations.

We study toric degenerations of semi-infinite Grassmannians (a.k.a. quantum Grassmannians). While the toric degenerations of the classical Grassmannians are well studied, the only known example in the semi-infinite case is due to Sottile-Sturmfels. We start by providing a new interpretation of the Sottile-Sturmfels construction by finding a poset such that their degeneration is the toric variety of the order polytope of the poset. We then use our poset to construct and study a new toric degeneration in the semi-infinite case. Our construction is based on the notion of poset polytopes introduced by Fang-Fourier-Litza-Pegel. As an application we introduce semi-infinite PBW-semistandard tableaux, giving a basis in the homogeneous coordinate ring of a semi-infinite Grassmannian.

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.

We study a $2 \times 2$ matrix equation arising naturally in the theory of Coxeter frieze patterns. It is formulated in terms of the generators of the group $\mathrm{PSL}(2,\mathbb{Z})$ and is closely related to continued fractions. It appears in a number of different areas, for example, toric varieties. We count its positive solutions, obtaining a series of integer sequences, some known and some new. This extends classical work of Conway and Coxeter proving that the first of these sequences is the Catalan numbers.

We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.

Given a root system $Φ$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $Φ$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_Φ)$ of the toric variety $X_Φ$ associated to (the normal fan to) $P_W$ has been studied by various authors. Let $\{s_1,\ldots,s_n\}$ be a complete set of simple reflections in $W$. For $K \subseteq [n]$, let $W_K$ be the standard parabolic subgroup of $W$ generated by $\{s_k:k \in K\}$. We show that the fixed subring $H^\ast(X_Φ)^{W_K}$ is isomorphic to the cohomology ring of the toric variety $X_Φ(K)$ associated to a polytope obtained by intersecting $P_W$ with half-spaces bounded by reflecting hyperplanes for the given generators of $W_K$. By a result of Balibanu--Crooks, the cohomology rings $H^\ast(X_Φ(K))$ are isomorphic with cohomology rings of certain regular Hessenberg varieties.

We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice. This generalizes and yields a concise toric geometric proof of the same fact proven purely algebraically by Lopez and Villarreal for the case of a projective space and a standard homogeneous lattice ideal of dimension one. We also prove a Nullstellensatz type theorem over a finite field establishing a one to one correspondence between subgroups of the dense split torus and certain homogeneous lattice ideals. As application, we compute the main parameters of generalized toric codes on subgroups of the torus of Hirzebruch surfaces, generalizing the existing literature.

We explore four approaches to the question of defectivity for a complex projective toric variety $X_A$ associated with an integral configuration $A$. The explicit tropicalization of the dual variety $X_A^\vee$ due to Dickenstein, Feichtner, and Sturmfels allows for the computation of the defect in terms of an affine combinatorial invariant $ρ(A)$. We express $ρ(A)$ in terms of affine invariants $ι(A)$ associated to Esterov's iterated circuits and $λ(A)$, an invariant defined by Curran and Cattani in terms of a Gale dual of $A$. Thus we obtain formulae for the dual defect in terms of iterated circuits and Gale duals. An alternative expression for the dual defect of $X_A$ is given by Furukawa-Ito in terms of Cayley decompositions of $A$. We give a Gale dual interpretation of these decompositions and apply it to the study of defective configurations.

Marked chain-order polytopes are convex polytopes constructed from a marked poset, which give a discrete family relating a marked order polytope with a marked chain polytope. In this paper, we consider the Gelfand-Tsetlin poset of type A, and realize the associated marked chain-order polytopes as Newton-Okounkov bodies of the flag variety. Our realization connects previous realizations of Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann-Vinberg polytopes as Newton-Okounkov bodies in a uniform way. As an application, we prove that the flag variety degenerates into the irreducible normal projective toric variety corresponding to a marked chain-order polytope. We also construct a specific basis of an irreducible highest weight representation which is naturally parametrized by the set of lattice points in a marked chain-order polytope.

We explicate the combinatorial/geometric ingredients of Arthur's proof of the convergence and polynomiality, in a truncation parameter, of his non-invariant trace formula. Starting with a fan in a real, finite dimensional, vector space and a collection of functions, one for each cone in the fan, we introduce a combinatorial truncated function with respect to a polytope normal to the fan and prove the analogues of Arthur's results on the convergence and polynomiality of the integral of this truncated function over the vector space. The convergence statements clarify the important role of certain combinatorial subsets that appear in Arthur's work and provide a crucial partition that amounts to a so-called nearest face partition. The polynomiality statements can be thought of as far reaching extensions of the Ehrhart polynomial. Our proof of polynomiality relies on the Lawrence-Varchenko conical decomposition and readily implies an extension of the well-known combinatorial lemma of Langlands. The Khovanskii-Pukhlikov virtual polytopes are an important ingredient here. Finally, we give some geometric interpretations of our combinatorial truncation on toric varieties as a measure and a Lefschetz number.

In this article we investigate a class of linear error correcting codes in relation with the order polytopes. In particular we consider the order polytopes of tree posets and bipartite posets. We calculate the parameters of the associated toric variety codes.

Discrete max-linear Bayesian networks are directed graphical models specified by the same recursive structural equations as max-linear models but with discrete innovations. When all of the random variables in the model are binary, these models are isomorphic to the conjunctive Bayesian network (CBN) models of Beerenwinkel, Eriksson, and Sturmfels. Many of the techniques used to study CBN models can be extended to discrete max-linear models and similar results can be obtained. In particular, we extend the fact that CBN models are toric varieties after linear change of coordinates to all discrete max-linear models.

This paper presents an algebraic construction of Euler-Maclaurin formulas for polytopes. The formulas obtained generalize and unite the previous lattice point formulas of Morelli and Pommersheim-Thomas, and the Euler-Maclaurin formulas of Berline-Vergne While the approach of this paper originates in the theory of toric varieties, and recovers previous results about characteristic classes of toric varieties, the present paper is self-contained and does not rely on results from toric geometry. We aim in particular to exhibit in a combinatorial way ingredients such as such Todd classes and cycle-level intersections in Chow rings, that first entered the theory of polytopes from algebraic geometry.