×

Components of Springer fibers associated to closed orbits for the symmetric pairs \((\mathrm{Sp}(2n), \mathrm{Sp}(2p) \times \mathrm{Sp}(2q))\) and \((\mathrm{SO}(2n), \mathrm{GL}(n))\). II. (English) Zbl 1310.22010

This article is the second of two papers (for Part I, see [ibid. 217, No. 10, 1807–1824 (2013; Zbl 1301.22008)]) on the pairs of complex classical groups \[ (G,K) = (\mathrm{Sp}\;\!(2n),\mathrm{Sp}\;\!(2p)\times \mathrm{Sp}\;\!(2q)) \quad \text{and} \quad (G,K) = (\mathrm{SO}(2n),\mathrm{GL}(n)), \] where \(p + q = n\), which fall, respectively, in the two cases referred to as type C and type D and have the real forms \(G_\mathbf{R} = \mathrm{Sp}\,(p,q)\,\text{and}\, G_\mathbf{R} = \mathrm{SO}^*(2n)\). Two previous papers by the same authors, in collaboration with W. Graham for the second one, were devoted to other pairs [J. Algebra 345, No. 1, 109–136 (2011; Zbl 1254.22007); J. Algebra 345, No. 1, 100–108 (2011; Zbl 1253.22009)] and here we use the notation and terminology of the review of the first one. In Part I of this paper on the pairs \((G,K)\) quoted above [L. Barchini and R. Zierau, J. Pure Appl. Algebra 217, No. 10, 1807–1824 (2013; Zbl 1301.22008)], the authors first gave an algorithm to determine an element \(f\) of a Borel subalgebra \(\mathfrak b = \mathfrak h + \mathfrak n^-\) of \(\mathfrak g = \mathfrak k + \mathfrak p\) generic in \(\mathfrak n^-\cap\mathfrak p\), thence to compute \(\overline{K\cdot f} = \gamma_{\mathcal Q}(T^*_{\mathcal Q}\mathcal B)\) from the closed \(K\)-orbit \(\mathcal Q = K\cdot\mathfrak b\) in the flag variety \(\mathcal B\) of \(G\), and then a description of \(\gamma_{\mathcal Q}^{-1}(f)\), the Springer fiber over \(f\) associated to \(\mathcal Q\). This second article provides a method to calculate associated cycles of irreducible discrete series representations of \(G_\mathbf{R}\). Let \(X\) be an irreducible discrete series representation of \(G_\mathbf{R}\) with trivial infinitesimal character \(\rho\) and associated to a closed \(K\)-orbit \(\mathcal Q\) in \(\mathcal B\) by the Beilinson-Bernstein localization theory of Harish-Chandra modules [A. Beilinson and J. Bernstein, C. R. Acad. Sci., Paris, Sér. I 292, 15–18 (1981; Zbl 0476.14019)]. There is a coherent family \((X_\lambda)_{\lambda\in\Lambda}\) with \(X_\rho = X\), where \(\Lambda\) is the integral lattice in \(\mathfrak h^*\), and the associated cycle of \(X_\lambda \, (\lambda\in\Lambda^+)\) is \(m_{\mathcal Q}(\lambda)\overline{K\cdot f}\). By a result of J.-T. Chang [Trans. Am. Math. Soc. 334, No. 1, 213–227 (1992; Zbl 0785.22016)], the multiplicity polynomial \(m_{\mathcal Q}(\lambda)\) is the dimension of a \(0^{\text{th}}\)-cohomology space of \(\gamma_{\mathcal Q}^{-1}(f)\) with coefficients in the restriction to \(\gamma_{\mathcal Q}^{-1}(f)\) of a sheaf of sections and is sometimes directly computable. However, for the real forms \(G_\mathbf{R}\) considered in the present paper, \(\gamma_{\mathcal Q}^{-1}(f)\) does not have a suitable form for every closed \(K\)-orbit \(\mathcal Q\) and so the authors apply another algorithm. Instead of \(f\), they choose a “nice” generic element \(f'\) and replace \(\mathcal Q\) by a closed \(K\)-orbit \(\mathcal Q'\) in \(\mathcal B\) for which \(\gamma_{\mathcal Q'}^{-1}(f')\) has a very simple form. The irreducible discrete series representation \(X'\) of \(G_\mathbf{R}\) with trivial infinitesimal character \(\rho\) and associated to \(\mathcal Q'\) is in the same Harish-Chandra cell as \(X\) and there is a coherent family \((X'_\lambda)_{\lambda\in\Lambda}\) so that \(X'_\rho = X'\). The multiplicity polynomial \(m_{\mathcal Q'}(\lambda) \, (\lambda\in\Lambda^+)\) can now be easily computed by the Borel-Weil Theorem and the Weyl Dimension Formula in type D, with a bit more of difficulty in type C, and then used to derive \(m_{\mathcal Q}(\lambda)\).

MSC:

22E46 Semisimple Lie groups and their representations
20G20 Linear algebraic groups over the reals, the complexes, the quaternions
14M15 Grassmannians, Schubert varieties, flag manifolds
46M20 Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.)
20G05 Representation theory for linear algebraic groups
Full Text: DOI

References:

[1] Barbasch, D.; Vogan, D., Weyl group representations and nilpotent orbits, (Trombi, P. C., Representation Theory of Reductive Groups. Representation Theory of Reductive Groups, Park City, Utah, 1982. Representation Theory of Reductive Groups. Representation Theory of Reductive Groups, Park City, Utah, 1982, Prog. Math., vol. 40 (1983), Birkhäuser: Birkhäuser Boston), 21-33 · Zbl 0537.22013
[2] Barchini, L.; Zierau, R., Certain components of Springer fibers and associated cycles for discrete series representations of \(\mathit{SU}(p, q)\), Represent. Theory, 12, 403-434 (2008), with appendix by P. Trapa · Zbl 1186.22017
[3] Barchini, L.; Zierau, R., Components of Springer fibers associated to closed orbits for the symmetric pairs \((S p(n), \mathit{GL}(n))\) and \((O(n), O(p) \times O(q)) I\), J. Pure Appl. Algebra, 217, 10, 1807-1824 (2013) · Zbl 1301.22008
[4] Barchini, L.; Zierau, R., Components of Springer fibers associated to closed orbits for the symmetric pairs \((S p(n), S p(p) \times S p(q))\) and \(( \mathit{SO}(2 n), \mathit{GL}(n)) I\), J. Pure Appl. Algebra, 217, 10, 1807-1824 (2013) · Zbl 1301.22008
[5] Borel, A., Sur la cohomologie des espaces fibrés principaux et des espaces homogènes des groupes de Lie compactes, Ann. Math., 57, 115-207 (1953) · Zbl 0052.40001
[6] Chang, J.-T., Characteristic cycles of holomorphic discrete series, Trans. Am. Math. Soc., 334, 1, 213-227 (1992) · Zbl 0785.22016
[7] Chang, J.-T., Asymptotics and characteristic cycles for representations of complex groups, Compos. Math., 88, 2, 265-283 (1993) · Zbl 0794.22011
[8] Collingwood, D.; McGovern, W., Nilpotent Orbits in Semisimple Lie Algebras (1993), Van Nostrand Reinhold Co.: Van Nostrand Reinhold Co. New York · Zbl 0972.17008
[9] Harris, B., Tempered representations and nilpotent orbits, Represent. Theory, 16, 610-619 (2012) · Zbl 1302.22008
[10] Humphreys, J. E., Conjugacy Classes in Semisimple Algebraic Groups, Mathematical Surveys and Monographs, vol. 43 (1995), AMS: AMS Providence, RI · Zbl 0834.20048
[11] McGovern, W., Cells of Harish-Chandra modules for real classical groups, Am. J. Math., 120, 211-228 (1998) · Zbl 0965.22016
[12] Milicic, D., Algebraic \(\mathcal{D} \)-modules and representation theory of semisimple Lie groups, (Eastwood, M.; Wolf, J. A.; Zierau, R., The Penrose Transform and Analytic Cohomology in Representation Theory. The Penrose Transform and Analytic Cohomology in Representation Theory, Contemporary Mathematics, vol. 154 (1993), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 133-168 · Zbl 0821.22005
[13] Rossmann, W., Invariant eigendistributions on a semisimple Lie algebra and homology classes on the conormal variety. II. Representations of Weyl groups, J. Funct. Anal., 96, 155-193 (1991) · Zbl 0755.22005
[14] Schmid, W.; Vilonen, K., Characteristic cycles and wave front cycles of representations of reductive Lie groups, Ann. Math., 151, 2, 1071-1118 (2000) · Zbl 0960.22009
[15] Springer, T. A., A construction of representations of Weyl groups, Invent. Math., 44, 279-293 (1978) · Zbl 0376.17002
[16] Springer, T. A., Linear Algebraic Groups (1998), Birkhäuser: Birkhäuser Boston · Zbl 0927.20024
[17] Tanisaki, T., Holonomic systems on a flag variety associated to Harish-Chandra modules and representation of a Weyl group, (Hotta, R., Algebraic Groups and Related Topics. Algebraic Groups and Related Topics, Advanced Studies in Pure Mathematics, vol. 6 (1985), Mathematical Society of Japan), 139-154 · Zbl 0582.22011
[18] Vogan, D. A., Representations of Real Reductive Lie Groups, Progress in Mathematics, vol. 15 (1981), Birkhäuser: Birkhäuser Boston · Zbl 0469.22012
[19] Vogan, D. A., Associated varieties and unipotent representations, (Barker, W.; Sally, P., Harmonic Analysis on Reductive Groups. Harmonic Analysis on Reductive Groups, Progress in Mathematics, vol. 101 (1991), Birkhäuser), 315-388 · Zbl 0832.22019
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.