arXiv++ Combinatorics

We study the PI degree of various quantum algebras at roots of unity, including quantum Grassmannians, quantum Schubert varieties, partition subalgebras, and their associated quantum affine spaces. By a theorem of De Concini and Procesi, the PI degree of partition subalgebras and their associated quantum affine spaces is controlled by skew-symmetric integral matrices associated to (Cauchon-Le) diagrams. We prove that the invariant factors of these matrices are always powers of 2. This allows us to compute explicitly the PI degree of partition subalgebras. Our results also apply to certain completely prime (homogeneous) quotients of partition subalgebras. In particular, our results allow us to extend results of Jakobsen and Jondrup regarding the PI degree of quantum determinantal rings at roots of unity [JJ01] and we present a method to construct an irreducible representation of maximal dimension for quantum determinantal ideals. Building on these results, we use the strong connection between partition subalgebras and quantum Schubert varieties through noncommutative dehomogenisation [LR08] to obtain expressions for the PI degree of quantum Schubert varieties. In particular, we compute the PI degree of quantum Grassmannians.

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.

A minimal presentation of the cohomology ring of the flag manifold $GL_n/B$ was given in [A. Borel, 1953]. This presentation was extended by [E. Akyildiz-A. Lascoux-P. Pragacz, 1992] to a non-minimal one for all Schubert varieties. Work of [Gasharov-Reiner, 2002] gave a short, i.e. polynomial-size, presentation for a subclass of Schubert varieties that includes the smooth ones. In [V. Reiner-A. Woo-A. Yong, 2011], a general shortening was found; it implies an exponential upper bound of $2^n$ on the number of generators required. That work states a minimality conjecture whose significance would be an exponential lower bound of $\sqrt{2}^{n+2}/\sqrt{πn}$ on the number of generators needed in worst case, giving the first obstructions to short presentations. We prove the minimality conjecture. Our proof uses the Hopf algebra structure of the ring of symmetric functions.

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.

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.

A standard monomial theory for Schubert varieties is constructed exploiting (1) the geometry of the Seshadri stratifications of Schubert varieties by their Schubert subvarieties and (2) the combinatorial LS-path character formula for Demazure modules. The general theory of Seshadri stratifications is improved by using arbitrary linearization of the partial order and by weakening the definition of balanced stratification.

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.