arXiv++ Combinatorics

In this article, we investigate the toric Schubert varieties in partial flag varieties $G/P$ for a connected semisimple algebraic group $G$. Using Deodhar's decomposition of Richardson varieties and the work of Pasquier, we give an explicit description of the fan of a toric Schubert variety, leading to a combinatorial model for its cones. As an application, we obtain necessary and sufficient conditions for smoothness of toric Schubert varieties in terms of the Cartan integers associated to a reduced expression. Furthermore, we prove that for a Coxeter-type element $w \in W^P$, the interval $[e,w]_{W^P}$ is a supersolvable join-distributive lattice. Finally, we apply these results to the study of spherical and horospherical Schubert varieties, providing a combinatorial method for checking the smoothness via the associated toric Schubert varieties.

Let $r$ and $q$ be positive integers and $n=qr+1.$ Let $G = SL(n, \mathbb{C})$ and $T$ be a maximal torus of $G.$ Let $P^{α_r}$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_r.$ Let $ω_r$ be the fundamental weight corresponding to $α_r.$ Let $W$ be the Weyl group of $G$ and $W_{P^{α_r}}$ be the Weyl group of $P^{α_r}.$ Let $W^{P^{α_r}}$ be the set of all minimal coset representatives of $W/W_{P^{α_r}}$ in $W.$ Let $w_{r,n}$ (respectively, $v_{r,n}$) be the minimal (respectively, maximal) element in $W^{P^{α_{r}}}$ such that $w_{r,n}(nω_r) \leq 0$ (respectively, $v_{r,n}(nω_r) \geq 0$). Let $v \leq v_{r,n}$ and $X^v_{w_{r,n}}$ be the Richardson variety in $G_{r,n}$ corresponding to $v$ and $w_{r,n}.$ In this article, we give a sufficient condition on $v$ such that the GIT quotient of $X^{v}_{w_{r,n}}$ for the action of $T$ is the product of projective spaces with respect to the descent of the line bundle $\mathcal{L}(nω_r).$

Let $G=SO(8n+4,\mathbb{C})$ ($n\ge 1$). Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $P (\supset B)$ denote the maximal parabolic subgroup of $G$ corresponding to the simple root $α_{4n+2}$. In this article, we prove projective normality of the GIT quotients of certain Schubert varieties in the orthogonal Grassmannian $G/P$ with respect to the descent of a suitable $T$-linearized very ample line bundle.

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.

Let $G_{n,2n}$ be the Grassmannian parameterizing the $n$-dimensional subspaces of $\mathbb{C}^{2n}.$ The Picard group of $G_{n,2n}$ is generated by a unique ample line bundle $\mathcal{O}(1).$ Let $T$ be a maximal torus of $SL(2n,\mathbb{C})$ which acts on $G_{n,2n}$ and $\mathcal{O}(1).$ By \cite[Theorem 3.10, p.764]{Kum}, $2$ is the minimal integer $k$ such that $\mathcal{O}(k)$ descends to the GIT quotient. In this article, we prove that the GIT quotient of $G_{n,2n}$ ($n\ge 3$) by $T$ with respect to $\mathcal{O}(2)=\mathcal{O}(1)^{\otimes 2}$ is not projectively normal when polarized with the descent of $\mathcal{O}(2).$