arXiv++ Combinatorics

Let $G=Spin(8n, \mathbb{C})(n\ge 1)$ and $T_{G}$ be a maximal torus of $G.$ Let $P^{α_{4n}}(\supset T_{G})$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_{4n}.$ Let $X$ be a Schubert variety in $G/P^{α_{4n}}$ admitting semi-stable point with respect to the $T$-linearized very ample line bundle $\mathcal{L}(2ω_{4n}).$ Let $R=\bigoplus_{k \in \mathbb{Z}_{\geq 0}}R_k,$ where $R_k=H^{0}(X, \mathcal{L}^{\otimes k}(2ω_{4n}))^{T_{G}}.$ In this article, we prove that for $n=1$ and $X=G/P^{α_4},$ the graded $\mathbb{C}$-algebra $R$ is generated by $R_1.$ As a consequence, we prove that the GIT quotient of $G/P^{α_{4}}$ is projectively normal with respect to the descent of the $T_{G}$-linearized very ample line bundle $\mathcal{L}(2ω_{4})$ and is isomorphic to the projective space $(\mathbb{P}^{2},\mathcal{O}_{\mathbb{P}^{2}}(1))$ as a polarized variety. Further, we prove that $R$ is generated by $R_1$ and $R_2$ for some Schubert varieties in $G/P^{α_{4n}}$ (for $n \geq 2$). As a consequence, we prove that the GIT quotient of those Schubert varieties are projectively normal with respect to the descent of the $T_G$-linearized very ample line bundle $\mathcal{L}(4ω_{4n}).$ Moreover, for $G = Spin(2n,\mathbb{C})(n \ge 4)$ (respectively, $G=Sp(2n, \mathbb{C}) (n\ge 2)$) and a maximal torus $T_G$ of $G,$ we prove that the GIT quotient of $G/P^{α_{1}}$ is projectively normal with respect to the descent of the $T_G$-linearized very ample line bundle $\mathcal{L}(2ω_{1})$ and is isomorphic to the projective space $(\mathbb{P}^{n-2},\mathcal{O}_{\mathbb{P}^{n-2}}(1))$ (respectively, $(\mathbb{P}^{n-1},\mathcal{O}_{\mathbb{P}^{n-1}}(1))$ as a polarized variety.

We prove that Schubert varieties in potentially different Grassmannians are isomorphic as varieties if and only if their corresponding Young diagrams are identical up to a transposition. We also discuss a generalization of this result to Grassmannian Richardson varieties. In particular, we prove that Richardson varieties in potentially different Grassmannians are isomorphic as varieties if their corresponding skew diagrams are semi-isomorphic as posets, and we conjecture the converse. Here, two posets are said to be semi-isomorphic if there is a bijection between their sets of connected components such that the corresponding components are either isomorphic or opposite.

In this paper, we study the decomposition of Bruhat intervals in a Coxeter group with respect to cosets of a parabolic subgroup. Our main result is that the intersection of a lower Bruhat interval with a parabolic coset contains a unique maximal element. As an application, we give a decomposition formula for the Poincaré polynomial of a Coxeter group element. We also show that the fibers of standard parabolic projection maps on Schubert varieties are themselves Schubert varieties.

The (directed) Bruhat graph $\hatΓ(u,v)$ has the elements of the Bruhat interval $[u,v]$ as vertices, with directed edges given by multiplication by a reflection. Famously, $\hatΓ(e,v)$ is regular if and only if the Schubert variety $X_v$ is smooth, and this condition on $v$ is characterized by pattern avoidance. In this work, we classify when the undirected Bruhat graph $Γ(e,v)$ is vertex-transitive; surprisingly this class of permutations is also characterized by pattern avoidance and sits nicely between the classes of smooth permutations and self-dual permutations. This leads us to a general investigation of automorphisms of $Γ(u,v)$ in the course of which we show that special matchings, which originally appeared in the theory Kazhdan--Lusztig polynomials, can be characterized as certain $Γ(u,v)$-automorphisms which are conjecturally sufficient to generate the orbit of $e$ under $Aut(Γ(e,v))$.

Nakada's colored hook formula is a vast generalization of many important formulae in combinatorics, such as the classical hook length formula and the Peterson's formula for the number of reduced expressions of minuscule Weyl group elements. In this paper, we utilize cohomological properties of Segre-MacPherson classes of Schubert cells and varieties to prove a generalization of a cohomological version of Nakada's formula, in terms of smoothness properties of Schubert varieties. A key ingredient in the proof is the study of a decorated version of the Bruhat graph. Summing over weighted paths of this graph give the terms in the generalized Nakada's formula, and also provide algorithms to calculate structure constants of multiplications of Segre-MacPherson classes of Schubert cells. For simply laced Weyl groups, we also show the equality of `skew' and `straight' Nakada's formulae. This utilizes a criterion for smoothness in terms of excited diagrams of heaps of minuscule elements, which might be of independent interest.

The theory of Seshadri stratifications has been developed by the authors with the intention to build up a new geometric approach towards a standard monomial theory for embedded projective varieties with certain nice properties. In this article, we investigate the Seshadri stratification on a Schubert variety arising from its Schubert subvarieties. We show that the standard monomial theory developed in [32] is compatible with this new strategy.

In this paper, we propose an algebraic approach via Lakshmibai-Seshadri (LS) algebras to establish a link between standard monomial theories, Newton-Okounkov bodies and valuations. This is applied to Schubert varieties, where this approach is compatible with the one using Seshadri stratifications by the same authors (arXiv:2112.03776), showing that LS paths encode vanishing multiplicities with respect to the web of Schubert varieties.

The set of T-invariant curves in a Schubert variety through a T-fixed point is relatively easy to characterize in terms of its weights, but the tangent space is more difficult. We prove that the weights of the tangent space are contained in the rational cone generated by the weights of the T-invariant curves. In simply laced types, this remains true if "rational" is replaced by "integral". We also obtain conditions under which every weight of the tangent space is the weight of a T-invariant curve, as well as a smoothness criterion. The results rely on equivariant K-theory, as well as the study of different notions of decomposability of roots.

We study the Castelnuovo-Mumford regularity of tangent cones of Schubert varieties. Conjectures about this statistic are presented; these are proved for the covexillary case. This builds on work of L. Li and the author on these tangent cones, as well as that of J. Rajchgot-Y. Ren-C. Robichaux-A. St. Dizier-A. Weigandt and J. Rajchgot-C. Robichaux-A. Weigandt on tableau rules for computing regularity of some matrix Schubert varieties.

We give degree formulas for Grothendieck polynomials indexed by vexillary permutations and $1432$-avoiding permutations via tableau combinatorics. These formulas generalize a formula for degrees of symmetric Grothendieck polynomials which appeared in previous joint work of the authors with Y. Ren and A. St. Dizier. We apply our formulas to compute Castelnuovo-Mumford regularity of classes of generalized determinantal ideals. In particular, we give combinatorial formulas for the regularities of all one-sided mixed ladder determinantal ideals. We also derive formulas for the regularities of certain Kazhdan-Lusztig ideals, including those coming from open patches of Schubert varieties in Grassmannians. This provides a correction to a conjecture of Kummini-Lakshmibai-Sastry-Seshadri (2015).

Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory classes of the structure sheaves of Schubert varieties. In the special case that $\mathfrak{S}_w$ is a multiplicity-free sum of monomials, K. Mészáros, L. Setiabrata, and A. St. Dizier conjectured that $\mathfrak{G}_w$ can be easily computed from $\mathfrak{S}_w$ via Möbius inversion on a certain poset. We prove this conjecture.

Let $\mathfrak{g}$ be the Lie algebra $\mathfrak{sl}(n,\mathbb{C})$. Its Weyl group is the symmetric group $S_n$. In this paper, we want to describe some Kazhdan-Lusztig right cells containing smooth elements which parameterize the smooth Schubert varieties. These elements are closely related to the study of associated varieties of highest weight modules of $\mathfrak{sl}(n,\mathbb{C})$. Firstly, we give a complete classification of the KL right cells containing only smooth elements. Then we give a sufficient condition for a KL right cell to contain only non-smooth elements by using invariant subsequences and a sufficient condition for a KL right cell to contain some smooth elements. Finally, we give an efficient algorithm to find out all the smooth elements in a given KL right cell.

Explicit minimal generators for Fulton's Schubert determinantal ideals are determined along with some implications.

It is well-known that the $T$-fixed points of a Schubert variety in the flag variety $GL_n(\mathbb{C})/B$ can be characterized purely combinatorially in terms of Bruhat order on the symmetric group $\mathfrak{S}_n$. In a recent preprint, Cho, Hong, and Lee give a combinatorial description of the $T$-fixed points of Hessenberg analogues of Schubert varieties (which we call Hessenberg Schubert varieties) in a regular semisimple Hessenberg variety. This note gives an interpretation of their result in terms of Bruhat order by making use of a partition of the symmetric group defined using so-called subsets of Weyl type. The Appendix, written by Michael Zeng, proves a lemma concerning subsets of Weyl type which is required in our arguments.

We prove a conjecture of Buch and Mihalcea in the case of the incidence variety X=Fl(1,n-1;n) and determine the structure of its (T-equivariant) quantum K-theory ring. Our results are an interplay between geometry and combinatorics. The geometric side concerns Gromov-Witten varieties of 3-pointed genus 0 stable maps to X with markings sent to Schubert varieties, while on the combinatorial side are formulas for the (equivariant) quantum K-theory ring of X. We prove that the Gromov-Witten variety is rationally connected when one of the defining Schubert varieties is a divisor and another is a point. This implies that the (equivariant) K-theoretic Gromov-Witten invariants defined by two Schubert classes and a Schubert divisor class can be computed in the ordinary (equivariant) K-theory ring of X. We derive a positive Chevalley formula for the equivariant quantum K-theory ring of X and a positive Littlewood-Richardson rule for the non-equivariant quantum K-theory ring of X. The Littlewood-Richardson rule in turn implies that non-empty Gromov-Witten varieties given by Schubert varieties in general position have arithmetic genus 0.

In a classical-type flag variety, we consider a Schubert variety associated to a vexillary (signed) permutation, and establish a combinatorial formula for the Hilbert-Samuel multiplicity of a point on such a Schubert variety. The formula is expressed in terms of excited Young diagrams, and extends results for Grassmannians due to Krattenthaler, Lakshmibai-Raghavan-Sankaran, and for the maximal isotropic (symplectic and orthogonal) Grassmannians to Ghorpade-Raghavan, Raghavan-Upadhyay, Kreiman, and Ikeda-Naruse. We also provide a new proof of a theorem of Li-Yong in the type A vexillary case. The main ingredient is an isomorphism between certain neighborhoods of fixed points, known as Kazhdan-Lusztig varieties, which, in turn, relies on a direct sum embedding previously used by Anderson-Fulton to relate vexillary loci to Grassmannian loci.

We establish combinatorial and inductive formulas for Kazhdan-Lusztig polynomials associated to covexillary elements in classical types, extending results of Boe, Lascoux-Schützenberger, Sankaran-Vanchinathan, and Zelevinsky for Grassmannians of classical types. The proof uses intersection cohomology theory and the isomorphism of Kazhdan-Lusztig varieties from Anderson-Ikeda-Jeon-Kawago.

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.

We express a Schubert expansion of the Chern-Mather class for Schubert varieties in the even orthogonal Grassmannian via integrals involving Pfaffians and pushforward of the small resolutions in the sense of Intersection Cohomology (IH) constructed by Sankaran and Vanchinathan, instead of the Nash blowup. The equivariant localization is employed to show the way of computing the integral. As a byproduct, we present the computations. For analogy and the completion of the method in ordinary Grassmannians, we also suggest Kazhdan-Lusztig classes associated to Schubert varieties in the Lagrangian and odd orthogonal Grassmannian.

We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. We also enumerate the proper elements in the exceptional Coxeter groups.