×

Multiplicative rule of Schubert classes. (English) Zbl 1077.14067

Let \(G\) be a compact connected Lie group and \(H\) be the centralizer of a one-parameter subgroup in \(G\). The problem posed by the author in section 1 is to determine numbers \( a_{u,v}^w \) appearing in the classical cases such as the Littlewood-Richardson rule, the Chevalley formula and the classical Pieri formula in terms of certain Cartan numbers of \(G\). His main result is stated as a theorem in subsection 2.3 providing a formula to compute Schubert classes.
The rest of the paper is organized as follows. In subsection 2.4 the author introduces an algorithm to compute the numbers \(a_{u,v}^w\). In section 3 he develops preliminary results from algebraic topology in which he defines in subsection 3.3 a special class of spaces known as oriented twisted product of 2-spheres of rank \(k\). In section 4, 2-spherical involutions are studied (subsection 4.3) which allow to construct the so-called Bott-Samelson cycles associated to a sequence of \(k\) roots (definition 6 of section 4.4). In section I, the image of a Schubert class as an element of the cohomology ring of the associated cycle in lemma 5.1 is given and proved in section 5.1. In section 5.2 the author defines a Bott-Samelson resolution of \(X_w\) for \( w \in W \), the Weyl group of \(G\), completing the proof of lemma 5.1 at the end of subsection 5.4. Section 6 is devoted to the proof of the main theorem of the paper. For that he uses lemma 5.1 and the description of the additive map given in section 3.4 lemma 3.4 in terms of the operator \(T_A\) defined in subsection 2.2. Section 7 recalls developments of a more historical nature used in this paper. In subsection 7.1 the author states as proposition 2 the generalization of \(K\)-cycles of R. Bott, H. Samelson [Am. J. Math. 80, 964–1029 (1958; Zbl 0101.39702)] to Bott-Samelson cycles as here defined. In subsection 7.3 he recalls the Bruhat-Chevalley decomposition [C. Chevalley, in: Algebraic groups and their generalization, Proc. Symp. Pure Math. 56, 1–26 (1994; Zbl 0824.14042)] of the quotient \(K/B\) where \(K\) is a linear algebraic group and \(B \subset K \) is a Borel subgroup in terms of the open cells of Schubert varieties. In subsection 7.4, definition 7.4 he gives the version of the Schubert variety in \(G / T\) used in this paper. In subsection 7.5 a linkage between the operator introduced in definition 3 of subsection 3.2 and the divided difference operator given by I. N. Bernstein et al. [Russ. Math. Surv. 28, 1–26 (1973; Zbl 0289.57024)] and M. Demazure [Invent. Math. 21, 287–301 (1973; Zbl 0269.22010)] is given in proposition 6. The author concludes the paper in subsection 7.6 commenting that his formula falls short of positivity using the additive basis introduced in lemma 3.3.

MSC:

14M17 Homogeneous spaces and generalizations
14N15 Classical problems, Schubert calculus

References:

[1] Borel, A.: Topics in the homology theory of fiber bundles. Berlin: Springer 1967 · Zbl 0158.20503
[2] Bernstein, No article title, Russ. Math. Surv., 28, 1 (1973) · Zbl 0289.57024 · doi:10.1070/RM1973v028n03ABEH001557
[3] Billey, No article title, Duke Math. J., 96, 205 (1999) · Zbl 0980.22018 · doi:10.1215/S0012-7094-99-09606-0
[4] Bott, No article title, Natl. Acad. Sci., 41, 490 (1955) · Zbl 0064.25903 · doi:10.1073/pnas.41.7.490
[5] Bott, R., Samelson, H.: Application of the theory of Morse to symmetric spaces. Am. J. Math. LXXX, 964-1029 (1958) · Zbl 0101.39702
[6] Ciocan-Fontanine, No article title, Duke Math. J., 98, 485 (1999) · Zbl 0969.14039 · doi:10.1215/S0012-7094-99-09815-0
[7] Chevalley, C.: La théorie des groupes algébriques. Proc. 1958 ICM, pp. 53-68. Cambridge Univ. Press 1960 · Zbl 0121.37803
[8] Chevalley, No article title, In: Algebraic groups and their generalizations: Classical methods, ed. by W. Haboush. Proc. Symp. Pure Math., 56, 1 (1994) · doi:10.1090/pspum/056.1/1278698
[9] Demazure, No article title, Invent. Math., 21, 287 (1973) · Zbl 0269.22010 · doi:10.1007/BF01418790
[10] Demazure, No article title, Ann. Sci. Éc. Norm. Supér., IV. Sér., 7, 53 (1974)
[11] Duan, No article title, Commun. Algebra, 29, 4395 (2001) · Zbl 1067.14054 · doi:10.1081/AGB-100106764
[12] Duan, No article title, Adv. Math., 180, 112 (2003) · Zbl 1078.14073 · doi:10.1016/S0001-8708(02)00098-1
[13] Duan, H., Zhao, X.: A program for multiplying Schubert classes. arXiv: math.AG/0309158 · Zbl 1107.14047
[14] Fulton, W., Pragacz, P.: Schubert Varieties and Degeneracy Loci. Lect. Notes Math., Vol. 1689. Springer 1998 · Zbl 0913.14016
[15] Hansen, No article title, Math. Scand., 33, 269 (1973) · Zbl 0301.14019
[16] Hochschild, G.: The structure of Lie groups. San Francisco, London, Amsterdam: Holden-Day, Inc. 1965 · Zbl 0131.02702
[17] Hsiang, No article title, J. Differ. Geom., 27, 423 (1988)
[18] Humphreys, J.E.: Introduction to Lie algebras and representation theory. Graduated Texts in Math. 9. New York: Springer 1972 · Zbl 0254.17004
[19] Kostant, No article title, Adv. Math., 62, 187 (1986) · Zbl 0641.17008 · doi:10.1016/0001-8708(86)90101-5
[20] Littlewood, No article title, Philos. Trans. R. Soc. Lond., 233, 99 (1934) · JFM 60.0896.01 · doi:10.1098/rsta.1934.0015
[21] Lascoux, No article title, C. R. Acad. Sci., Paris, 294, 447 (1982)
[22] Macdonald, I.G.: Symmetric functions and Hall polynomials. Oxford Mathematical Monographs, second ed. Oxford: Oxford University Press 1995 · Zbl 0824.05059
[23] Robertson, No article title, Bull. Lond. Math. Soc., 16, 264 (1984) · Zbl 0536.53059 · doi:10.1112/blms/16.3.264
[24] Sottile, F.: Four entries for Kluwer encyclopaedia of Mathematics. arXiv: math.AG/0102047
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.