arXiv++ Combinatorics

We construct an explicit, embedded degeneration of the general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties. In particular, we deduce a formula for the cohomology class of the torus orbit closure, as a sum of products of Schubert classes. The moment map images of the degenerate pieces are the base polytopes of their underlying delta-matroids, and give a polyhedral decomposition of the unit hypercube, which had previously been studied by Chen-Sanchez-Veliz-Ying.

One hundred years ago, Hilbert gave a list of important open problems in mathematics. His 15th problem asked for the development of a rigorous calculus explaining Schubert's enumerative results for intersecting varieties defined by rank conditions on vector spaces. Today by way of many contributions in algebraic topology, geometry, and combinatorics, we consider this solved. Yet, deep questions remain about the subtleties of actually carrying out the process. In this chapter, we hope to summarize the rigorous development of what has become known as Schubert calculus, with an eye toward computation. We discuss Grassmannians and flag varieties and their cohomology rings, following Monk's constructive algebraic approach. We derive formulas for Schur and Schubert polynomials, which represent cohomology classes of Schubert varieties. We hint at the vast literature in this area and point to the other references in the Handbook for more information. Finally, we identify open problems that remain a challenge even with modern tools at our fingertips in hopes of inspiring further contributions in this fascinating field. This is intended as the first chapter of a book entitled "Handbook of Combinatorial Algebraic Geometry: Subvarieties of the Flag Variety", a compendium of topics in the area. The book is being edited by Erik Insko, Martha Precup, and Ed Richmond. In addition to this introductory chapter, others will cover more advanced topics such as Kazhdan-Lusztig varieties, generalized smooth Schubert varieties, Richardson varieties and positroid varieties, spherical and torus orbit closures, spanning line configurations, different types of Hessenberg varieties, and generalizations to Kac-Moody flag varieties, each written by experts in those areas. We hope you enjoy this chapter enough to seek out the others, and that you send us any comments or corrections you find as you read this article!

We apply the theory of Seshadri stratifications to embedded toric varieties $X_P\subseteq \mathbb P(V)$ associated with a normal lattice polytope $P$. The approach presented here is purely combinatorial and completely independent of \cite{CFL}. In particular, we get a close connection between a certain class of triangulations of the polytope $P$, Seshadri stratifications of $X_P$ arising from torus orbit closures, and the associated degenerate semi-toric varieties. In the last section we show that the approach here and the one in \cite{CFL} produce the same quasi-valuations and hence the same degenerations of $X_P$.

We compare two formulas for the class of a generic torus orbit closure on the Grassmannian, due to Klyachko and Berget-Fink. The naturally emerging combinatorial objects are semi-standard fillings we call 1-strip-less tableaux.

Introduced by Kodama and Williams, Bruhat interval polytopes are generalized permutohedra closely connected to the study of torus orbit closures and total positivity in Schubert varieties. We show that the 1-skeleton posets of these polytopes are lattices and classify when the polytopes are simple, thereby resolving open problems and conjectures of Fraser, of Lee--Masuda, and of Lee--Masuda--Park. In particular, we classify when generic torus orbit closures in Schubert varieties are smooth.

The study of torus orbit closures in the (complete) flag variety was initiated by Klyachko and Gelfand--Serganova in the mid-1980s, but it seems that not much has been done since then. In this chapter, we present some of the work by Klyachko and Gelfand--Serganova and our recent work on the topology, geometry, and combinatorics of torus orbit closures in the flag variety.

The closure of a generic torus orbit in the flag variety $G/B$ of type $A$ is known to be a permutohedral variety and its Poincare polynomial agrees with the Eulerian polynomial. In this paper, we study the Poincare polynomial of a generic torus orbit closure in a Schubert variety in $G/B$. When the generic torus orbit closure in a Schubert variety is smooth, its Poincare polynomial is known to agree with a certain generalization of the Eulerian polynomial. We extend this result to an arbitrary generic torus orbit closure which is not necessarily smooth.

A finite Coxeter group $W$ has a natural metric $d$ and if $\mathcal{M}$ is a subset of $W$, then for each $u\in W$, there is $q\in \mathcal{M}$ such that $d(u,q)=d(u,\mathcal{M})$. Such $q$ is not unique in general but if $\mathcal{M}$ is a Coxeter matroid, then it is unique, and we define a retraction $\mathcal{R}^m_{\mathcal{M}}\colon W\to \mathcal{M}\subset W$ so that $\mathcal{R}^m_{\mathcal{M}}(u)=q$. The $T$-fixed point set $Y^T$ of a $T$-orbit closure $Y$ in a flag variety $G/B$ is a Coxeter matroid, where $G$ is a semisimple algebraic group, $B$ is a Borel subgroup, and $T$ is a maximal torus of $G$ contained in $B$. We define a retraction $\mathcal{R}^g_{Y}\colon W\to Y^T\subset W$ geometrically, where $W$ is the Weyl group of $G$, and show that $\mathcal{R}^g_{Y}=\mathcal{R}^m_{Y^T}$. We introduce another retraction $\mathcal{R}^a_{\mathcal{M}}\colon W\to \mathcal{M}\subset W$ algebraically for an arbitrary subset $\mathcal{M}$ of $W$ when $W$ is a Weyl group of classical Lie type, and show that $\mathcal{R}^a_{\mathcal{M}}=\mathcal{R}^m_{\mathcal{M}}$ when $\mathcal{M}$ is a Coxeter matroid.

It is known that for the natural algebraic torus actions on the Grassmannians, the closures of torus orbits are toric varieties, and that these toric varieties are smooth if and only if the corresponding matroid polytopes are simple. We prove that simple matroid polytopes are products of simplices and smooth torus orbit closures in the Grassmannians are products of complex projective spaces. Moreover, it turns out that the smooth torus orbit closures are uniquely determined by the corresponding simple matroid polytopes.

The closure of a generic torus orbit in the flag variety $G/B$ of type $A_{n-1}$ is known to be a permutohedral variety and well studied. In this paper we introduce the notion of a generic torus orbit in the Schubert variety $X_w$ $(w\in \mathfrak{S}_n)$ and study its closure $Y_w$. We identify the maximal cone in the fan of $Y_w$ corresponding to a fixed point $uB$ $(u\le w)$, associate a graph $Γ_w(u)$ to each $u\le w$, and show that $Y_w$ is smooth at $uB$ if and only if $Γ_w(u)$ is a forest. We also introduce a polynomial $A_w(t)$ for each $w$, which agrees with the Eulerian polynomial when $w$ is the longest element of $\mathfrak{S}_n$, and show that the Poincaré polynomial of $Y_w$ agrees with $A_w(t^2)$ when $Y_w$ is smooth.

Given a reductive group $G$ and a parabolic subgroup $P\subset G$, with maximaltorus $T$, we consider (following Dabrowski's work) the closure $X$ of a generic $T$-orbit in $G/P$, and determine in combinatorial termswhen the toric variety $X$ is $\mathbb{Q}$-Gorenstein Fano, extending in this way the classification of smooth Fano generic closures given by Voskresenskiĭ and Klyachko. As an application, we apply the well known correspondence between Gorenstein Fano toric varieties and reflexive polytopes in order to exhibit which reflexive polytopes correspond to generic closures -- this list includes the reflexive root polytopes.

The toric h-numbers of a dual hypersimplex and the Chow Betti numbers of the normal fan of a hypersimplex are the ranks of intersection cohomology and Chow cohomology respectively of the torus orbit closure of a generic point in the Grassmannian. We give explicit formulas for these numbers. We also show that similar formulas hold for the coordinator numbers of type A^* lattices.

We express the matroid polytope $P_M$ of a matroid $M$ as a signed Minkowski sum of simplices, and obtain a formula for the volume of $P_M$. This gives a combinatorial expression for the degree of an arbitrary torus orbit closure in the Grassmannian $Gr_{k,n}$. We then derive analogous results for the independent set polytope and the associated flag matroid polytope of $M$. Our proofs are based on a natural extension of Postnikov's theory of generalized permutohedra.

Multivariate hypergeometric functions associated with toric varieties were introduced by Gel'fand, Kapranov and Zelevinsky. Singularities of such functions are discriminants, that is, divisors projectively dual to torus orbit closures. We show that most of these potential denominators never appear in rational hypergeometric functions. We conjecture that the denominator of any rational hypergeometric function is a product of resultants, that is, a product of special discriminants arising from Cayley configurations. This conjecture is proved for toric hypersurfaces and for toric varieties of dimension at most three. Toric residues are applied to show that every toric resultant appears in the denominator of some rational hypergeometric function.