Theorem 1
GNKZSuppose G has no G_2 factors and X(w) is a Schubert variety in G/B whose Poincaré polynomial is palindromic (i.e. X(w) is rationally smooth). Then X(w) is smooth if and only if \dim \Theta(w)=\ell(w).
B-sub-modules of Lie(G)/Lie(B) and Smooth Schubert Varieties in G/B
- arXiv
- 1007.4365v1 · PDF · 26 July 2010
- Categories
- math.AG
- Licence
- CC BY 4.0 The site shows the text.
Abstract
Let G be a complex semi-simple linear algebraic group without G_2 factors, B a Borel subgroup of G and T a maximal torus in B. The flag variety G/B is a projective G-homogeneous variety whose tangent space at the identity coset is isomorphic, as a B-module, to Lie(G)/Lie(B). Recall that if w is an element of the Weyl group W of the pair (G,T), the Schubert variety X(w) in G/B is by definition the closure of the Bruhat cell BwB. In this note we prove that X(w) is non-singular iff the following two conditions hold: 1) its Poincaré polynomial is palindromic and 2) the tangent space TE(X(w)) to the set T-stable curves in X(w) through the identity is a B-submodule of Lie(G)/Lie(B). This gives two criteria in terms of the combinatorics of W which are necessary and sufficient for X(w) to be smooth: _xw t^(x) is palindromic, and every root of (G,T) in the convex hull of the set of negative roots whose reflection is less than w (in the Bruhat order on W) has the property that its T-weight space (in Lie(G)/Lie(B)) is contained in TE(X(w)). However, as we show by example, these conditions don’t characterize the smooth Schubert varieties when G has type G_2.
Items 11
Lemma 1
YGZTLet \Phi(w) denote the set of {\alpha}<0 such that T has weight {\alpha} on T_e(C) for some C\in E(X(w)). Then
\Phi(w)=\{{\alpha} <0\mid r_{\alpha} \le w\}.
Theorem 2
V8EASuppose G has no factors of type G_2, and assume the Poincaré polynomial of the Schubert variety X(w) in G/B is palindromic, i.e. X(w) is rationally smooth. Then X(w) is smooth if and only if TE(X(w)) is a B-submodule of {\mathfrak g}/{\mathfrak b}.
Used by Example 2
Theorem 3
HLYQLet w\in W be arbitrary, and suppose {\mathcal H}(w) is the convex hull of \Phi(w) in {\mathfrak t}^* over {\mathbb R}. Then
\Theta(w)=\sum_{{\alpha} \in {\mathcal H}(w)\cap \Phi^-} {\mathfrak g}_{\alpha}.
Thus TE(X(w))=\Theta(w) if and only if \Phi(w)={\mathcal H}(w)\cap \Phi^-. Moreover, if TE(X(w)) is B-stable, then TE(X(w))=\Theta(w).
Proof of Theorem 3
All one needs to do is quote Theorem 3 and Corollary 1 of [C].
Theorem 4
92S6Suppose G has no factors of type G_2, and assume the Poincaré polynomial of the Schubert variety X(w) in G/B is palindromic, i.e. X(w) is rationally smooth. Then X(w) is smooth if and only if \Phi(w)={\mathcal H}(w)\cap \Phi^-.
Theorem 5
PHFBA Schubert variety X(w) in G/B is rationally smooth (resp. smooth) if and only if for every stellar subsystem \Psi of \Phi, the Schubert variety in G_\Psi / B_\Psi corresponding to fl(w) is also rationally smooth (resp. smooth), where (G_\Psi, B_\Psi) is the unique pair of subgroups of (G,B) determined by \Psi.
Lemma 2
756WTheorem 2 holds when G is of type B or C.
Proof of Lemma 2
We have already verified this for type C. Thus let X(w) be a rationally smooth Schubert variety in G/B such that TE(X(w)) is a B-submodule of T_e(X(w)), where G is type B. By the remarks in Section 3, it suffices to show T_e(X(w))=TE(X(w)).
since \dim TE(X(w))=\ell(w). If X(w) is singular, then one can apply Billey’s pattern avoidance criterion [BILLEY, Theorem 3]. Namely, w contains the pattern \bar{2}\bar{1} in signed permutation notation. By the argument on p.113 of [BL], it follows that there exists an {\alpha} \in \Phi(w) and a {\beta}>0 such that {\mathfrak g}_{{\alpha} +{\beta}} \subset T_e(X(w)) for which the inequality r_{{\alpha} +{\beta}}\le w fails. This says that {\mathfrak g}_{{\alpha}}\subset TE(X(w)), while {\mathfrak g}_{{\alpha}+{\beta}}\not\subset TE(X(w)), contradicting the assumption that TE(X(w)) is B-stable. Thus X(w) must be smooth at e, consequently smooth.
Example 1
TLUBLet {\alpha} and {\beta} denote respectively the negatives of long and short simple roots for G_2 corresponding to B, and let r=r_{\alpha} and s=r_{\beta} be the corresponding reflections. Let w=srsrs and consider X(w). Now \ell(w)=5 and it is not hard to see that
\Phi(w)=\{{\alpha},{\beta},{\alpha}+{\beta},{\alpha}+2{\beta}, {\alpha}+3{\beta}\}.
Thus TE(X(w)) is indeed a B-submodule of T_e(X(w)). However, it is well known that X(w) is singular: for example, see [KUM].
Example 2
9I6HIn this example, we consider a singular Schubert variety in the flag variety SO(5)/B of type B_2. Let {\alpha} and {\beta} denote respectively the negatives of the long and short simple roots as in the previous example, and let w=srs. We claim \Phi(w)=\{{\alpha},{\beta},{\alpha}+2{\beta}\}, so \Theta(w) is the B-module with weights \{{\alpha}, {\beta}, {\alpha} + {\beta}, {\alpha}+2{\beta}\}. Thus TE(X(w))\ne \Theta(w), hence, by Theorem 2, X(w) is singular. Note that in the signed permutation notation for the elements of W(B_2) (cf. [BILLEY]), w=\bar{2}\bar{1}. It is well known and easy to see that w is the unique element of W(B_2) such that X(w) is singular.
Uses Theorem 2
Source and licence
The text on this page is from arXiv:1007.4365v1 by James B. Carrell, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1007/1007.4365.jsonl.