Symplectic Degenerate Flag Varieties

Feigin, Evgeny ; Finkelberg, Michael ; Littelmann, Peter

Canadian journal of mathematics, Tome 66 (2014) no. 6, pp. 1250-1286

Résumé

A simple finite dimensional module ${{V}_{\lambda }}$ of a simple complex algebraic group $G$ is naturally endowed with a filtration induced by the PBW-filtration of $U\,(\text{Lie}\,G)$ . The associated graded space $\text{V}_{\text{ }\!\!\lambda\!\!\text{ }}^{a}$ is a module for the group ${{G}^{a}}$ , which can be roughly described as a semi-direct product of a Borel subgroup of $G$ and a large commutative unipotent group $\mathbb{G}_{a}^{M}$ . In analogy to the flag variety ${{\mathcal{F}}_{\lambda }}\,=\,G.[{{v}_{\lambda }}]\,\,\subset \,\,\mathbb{P}({{V}_{\lambda }})$ , we call the closure $\overline{{{G}^{a}}\,.\,[{{v}_{\text{ }\!\!\lambda\!\!\text{ }}}]}\,\,\subset \,\,\mathbb{P}\,(V_{\text{ }\!\!\lambda\!\!\text{ }}^{a})$ of the ${{G}^{a}}$ -orbit through the highest weight line the degenerate flag variety $\mathcal{F}_{\text{ }\!\!\lambda\!\!\text{ }}^{a}$ . In general this is a singular variety, but we conjecture that it has many nice properties similar to that of Schubert varieties. In this paper we consider the case of $G$ being the symplectic group. The symplectic case is important for the conjecture because it is the first known case where, even for fundamental weights $\omega$ , the varieties $\mathcal{F}_{\text{ }\!\!\omega\!\!\text{ }}^{a}$ differ from ${{\mathcal{F}}_{\text{ }\!\!\omega\!\!\text{ }}}$ . We give an explicit construction of the varieties $\text{Sp}\,\mathcal{F}_{\text{ }\!\!\lambda\!\!\text{ }}^{a}$ and construct desingularizations, similar to the Bott–Samelson resolutions in the classical case. We prove that $\text{Sp}\,\mathcal{F}_{\text{ }\!\!\lambda\!\!\text{ }}^{a}$ are normal locally complete intersections with terminal and rational singularities. We also show that these varieties are Frobenius split. Using the above mentioned results, we prove an analogue of the Borel–Weil theorem and obtain a $q$ -character formula for the characters of irreducible $\text{S}{{\text{p}}_{2\pi }}$ -modules via the Atiyah–Bott–Lefschetz fixed points formula.

Détail

DOI : 10.4153/CJM-2013-038-6

Mots-clés : 14M15, 22E46, Lie algebras, flag varieties, symplectic groups, representations

Bibliographie

[A] [A] Arzhantsev, I., Flag varieties as equivariant compactifications of Proc. Amer. Math. Soc. 139(2011), 783–786. Google Scholar | DOI

[AS] Arzhantsev, I. and Sharoiko, E., Hassett–Tschinkel correspondence: modality and projective hypersurfaces. arxiv:0912.1474. Google Scholar

[AB] Atiyah, M. F. and Bott, R., A Lefschetz fixed point formula for elliptic differential operators. Bull. Amer. Math. Soc. 72(1966), 245–250. Google Scholar | DOI

[E] [E] Elkik, R., Rationalité des singularitécanoniques. Invent. Math. 64(1981), 1–6. Google Scholar | DOI

[Fe1] [Fe1] Feigin, E., degeneration of flag varieties. Selecta Math. 18(2012), 513–537. Google Scholar | DOI

[Fe2] [Fe2] Feigin, E., Degenerate flag varieties and the median Genocchi numbers. Math. Res. Lett. 18(2011), 1–16 Google Scholar | DOI

[FF] [FF] Feigin, E. and Finkelberg, M., Degenerate flag varieties of type A: Frobenius splitting and BW theorem. Math. Z., to appear; arxiv:1103.1491. Google Scholar | DOI

[F] [F] Flenner, H., Rationale quasihomogene Singularitäten. Arch. Math. (Basel) 36(1981), 35–44. Google Scholar | DOI

[FH] [FH] Fulton, W. and Harris, J., Representation theory. A first course. Graduate Texts in Math., Readings in Mathematics 129, New York, 1991. Google Scholar

[FFL1] [FFL1] Feigin, E., Fourier, G., and Littelmann, P., PBW filtration and bases for irreducible modules in type . Transformation Groups 16(2011), 71–89. Google Scholar | DOI

[FFL2] [FFL2] Feigin, E., Fourier, G., and Littelmann, P. PBW filtration and bases for symplectic Lie algebras. Int. Math. Res. Not. 2011, 5760–5784. Google Scholar

[EGA] [EGA] Grothendieck, A. and Dieudonné, J., Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II. Inst. Hautes Études Sci. Publ. Math. 24, 1965. Google Scholar

[H] [H] Hartshorne, R., Algebraic Geometry. Graduate Texts in Math. 52, Springer-Verlag, NewYork–Heidelberg, 1977. Google Scholar

[HT] [HT] Hassett, B. and Tschinkel, Yu., Geometry of equivariant compactifications of . Int. Math. Res. Not. 20(1999), 1211–1230. Google Scholar

[J] [J] Jantzen, J. C., Representations of algebraic groups. Second edition. Math. Surveys Monogr. 107. American Mathematical Society, Providence, RI, 2003. Google Scholar

[MR] [MR] Mehta, V. B. and Ramanathan, A., Frobenius splitting and cohomology vanishing for Schubert varieties. Ann. of Math. (2) 122(1985), 27–40. Google Scholar | DOI

[Ra] [Ra] Ramanathan, A., Schubert varieties are arithmetically Cohen_Macaulay. Invent. Math. 80(1985), 283–294. Google Scholar | DOI

[R] [R] Reid, M., Young person's guide to canonical singularities. In: Algebraic geometry (Proc. Summer Res. Inst., Brunswick/Maine 1985), Proc. Sympos. Pure Math. 46(1987), 345–414. Google Scholar

[T] [T] Thomason, R. W., Une formule de Lefschetz en K-théorie équivariante algébrique. Duke Math. J. 68(1992), 447–462. Google Scholar | DOI

[V] [V] Vinberg, E., On some canonical bases of representation spaces of simple Lie algebras. Conference talk, Bielefeld, 2005. Google Scholar