Parabolic subgroups and automorphism groups of Schubert varieties (Q1747415)

From MaRDI portal
Revision as of 19:24, 26 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Parabolic subgroups and automorphism groups of Schubert varieties
scientific article

    Statements

    Parabolic subgroups and automorphism groups of Schubert varieties (English)
    0 references
    8 May 2018
    0 references
    Given a projective variety \(X\) over \(\mathbb{C}\), the connected component containing the identity element of the group of all algebraic automorphisms of \(X\) is an algebraic group, which is a result due to \textit{H. Matsumura} and \textit{F. Oort} [Invent. Math. 4, 1--25 (1967; Zbl 0173.22504)]. Now let \(G\) be a simple algebraic group over \(\mathbb{C}\). Let \(T\) be a maximal torus of \(G\), and \(R\) be a set of roots with respect to \(T\). Define \(R^+\subseteq R\) to be a set of positive roots and \(B^+\supseteq T\) to be the Borel subgroup of \(G\), corresponding to \(R^+\). Let \(B\) be the Borel subgroup of \(G\) opposite to \(B^+\), i.e., \(B=n_0 B^+n_0^{-1}\), where \(n_0\) is a representative in the normalizer \(N_G(T)\) of the longest element \(w_0\) in the Weyl group \(W=N_G(T)/T\) of \(G\) with respect to \(T\). In this setting, the set of roots of \(B\) is equal to the set \(R^- :=-R^+\) of negative roots. For \(w\in W\), define \(X(w) := \overline{BwB/B}\), the Schubert variety in the homogeneous space \(G/B\) corresponding to \(w\). Let \(\text{Aut}(X(w))\) be the group of all algebraic automorphisms of \(X(w)\), and let \(\text{Aut}^0(X(w))\) be the connected component containing the identity element of \(\text{Aut}(X(w))\). Let \(\alpha_0\) be the highest root with respect to the maximal torus \(T\) and the Borel subgroup \(B^+\). Given the canonical left action of \(G\) on the flag variety \(G/B\), let \(P_w\subseteq G\) be the stabilizer subgroup of the Schubert variety \(X(w)\). If \(G\) is simply-laced and \(X(w)\) is smooth, then \(P_w=\text{Aut}^0(X(w))\) if and only if \(w^{-1}(\alpha_0)<0\), i.e., \(w^{-1}(\alpha_0)\in R^-\). Thus, it is natural for one to ask if, given any parabolic subgroup \(P\subseteq G\) properly containing \(B\), there is an element \(w\in W\) such that \(P=\text{Aut}^0(X(w))\). In this article by Kannan-Saha, they prove that it is affirmative, which is their main result (Theorem \(2.1\), page \(543\)): given a simple algebraic group \(G\) of adjoint type over \(\mathbb{C}\) and a parabolic group \(P\subseteq G\) properly containing \(B\), there exists \(w\in W\) such that \(P=\text{Aut}^0(X(w))\). The proof is given in Sections \(3\) (pages \(543\)-\(544\)) and \(5\) (pages \(545\)-\(547\)). They also show that if \(P=B\), there does not exist such Schubert variety in \(G/B\). The authors also give partial results for Schubert varieties in partial flag varieties of type \(A_n\) (Section \(6\), page \(548\)). If \(P'\subseteq G\) is the maximal parabolic subgroup corresponding to the simple root \(\alpha_1\) or \(\alpha_n\), where \(G=\mathrm{PSL}_{n+1}(\mathbb{C})\), then \(G/P' \cong \mathbb{P}^n\), the \(n\)-dimensional projective space. The Schubert varieties in \(\mathbb{P}^n\) are \(\mathbb{P}^i\), where \(1\leq i\leq n\), and \(\mathbb{P}^n\) is the only Schubert variety in \(G/P'\) for which the action of \(B\) is faithful. Furthermore, \(\text{Aut}^0(\mathbb{P}^n)\cong \mathrm{PSL}_{n+1}(\mathbb{C})\). Therefore, the answer to the above question is negative if one considers partial flag varieties (cf. Corollary \(6.4\), page \(548\)).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    parabolic subgroups
    0 references
    Schubert varieties
    0 references
    automorphism groups
    0 references
    flag varieties
    0 references
    cohomology modules
    0 references
    Lie algebra cohomology
    0 references
    tangent sheaves
    0 references