Abstract
Let G be a connected, linear, real reductive Lie group with compact centre. Let \(K<G\) be maximal compact. For a tempered representation \(\pi \) of G, we realise the restriction \(\pi |_K\) as the K-equivariant index of a Dirac operator on a homogeneous space of the form G/H, for a Cartan subgroup \(H<G\). (The result in fact applies to every standard representation.) Such a space can be identified with a coadjoint orbit of G, so that we obtain an explicit version of Kirillov’s orbit method for \(\pi |_K\). In a companion paper, we use this realisation of \(\pi |_K\) to give a geometric expression for the multiplicities of the K-types of \(\pi \), in the spirit of the quantisation commutes with reduction principle. This generalises work by Paradan for the discrete series to arbitrary tempered representations.
Similar content being viewed by others
Notes
References
Adams, J., van Leeuwen, M., Trapa, P., Vogan Jr., D.A.: Unitary representations of real reductive groups. arXiv:1212.2192 (2012)
Atiyah, M.: Elliptic operators and compact groups. Lecture Notes in Mathematics, vol. 401. Springer, Berlin (1974)
Atiyah, M., Schmid, W.: A geometric construction of the discrete series for semisimple Lie groups. Invent. Math. 42, 1–62 (1977)
Blaine Lawson Jr., H., Michelsohn, M.-L.: Spin geometry, Princeton Mathematical Series, vol. 38. Princeton University Press, Princeton (1989)
Braverman, M.: Index theorem for equivariant Dirac operators on noncompact manifolds. \(K\)-Theory 27(1), 61–101 (2002)
Braverman, M.: The index theory on non-compact manifolds with proper group action. J. Geom. Phys. 98, 275–284 (2015)
Bunke, U.: A \(K\)-theoretic relative index theorem and Callias-type Dirac operators. Math. Ann. 303(2), 241–279 (1995)
Harish-Chandra: Harmonic analysis on real reductive groups. I. The theory of the constant term. J. Funct. Anal. 19, 104–204 (1975)
Hecht, H., Schmid, W.: A proof of Blattner’s conjecture. Invent. Math. 31(2), 129–154 (1975)
Higson, N., Roe, J.: Analytic \(K\)-homology. Oxford Mathematical Monographs. Oxford University Press, Oxford (2000). Oxford Science Publications
Hochs, P., Mathai, V.: Geometric quantization and families of inner products. Adv. Math. 282, 362–426 (2015)
Hochs, P., Mathai, V.: Quantising proper actions on Spin\(^c\)-manifolds. Asian J. Math. 21(4), 631–685 (2017)
Hochs, P., Song, Y.: An equivariant index for proper actions III: the invariant and discrete series indices. Differ. Geom. Appl. 49, 1–22 (2016)
Hochs, P., Song, Y.: An equivariant index for proper actions I. J. Funct. Anal. 272(2), 661–704 (2017)
Hochs, P., Song, Y.: Equivariant indices of \({\rm Spin}^c\)-Dirac operators for proper moment maps. Duke Math. J. 166(6), 1125–1178 (2017)
Hochs, P., Song, Y.: On the Vergne conjecture. Arch. Math. (Basel) 108(1), 99–112 (2017)
Hochs, P., Song, Y.: An equivariant index for proper actions II: properties and applications. J. Noncommut. Geom. 12(1), 157–193 (2018). https://doi.org/10.4171/jncg/273
Hochs, P., Song, Y., Shilin, Y.: A geometric formula for multiplicities of \(K\)-types of tempered representations. Trans. Am. Math. Soc. 372(12), 8553–8586 (2019)
Hochs, P., Wang, H.: A fixed point formula and Harish-Chandra’s character formula. Proc. Lond. Math. Soc. 116(3), 1–32 (2018). https://doi.org/10.1112/plms.12066
Knapp, A.W.: Commutativity of intertwining operators for semisimple groups. Compositio Math. 46(1), 33–84 (1982)
Knapp, A.W.: Representation theory of semisimple groups. Princeton Landmarks in Mathematics. Princeton University Press, Princeton (1986)
Knapp, A.W.: Lie groups beyond an introduction, Progress in Mathematics, vol. 140, 2nd edn. Birkhäuser, Boston (2002)
Knapp, A.W., Zuckerman, G.J.: Classification of irreducible tempered representations of semisimple groups. Ann. Math. (2) 116(2), 389–455 (1982)
Knapp, A.W., Zuckerman, G.J.: Classification of irreducible tempered representations of semisimple groups. II. Ann. Math. (2) 116(3), 457–501 (1982)
Knapp, A.W., Zuckerman, G.J.: Correction: Classification of irreducible tempered representations of semisimple groups [Ann. of Math. (2) 116 (1982), no. 2, 389–501; MR 84h:22034ab]. Ann. Math. (2) (119)(3), 639 (1984)
Koornwinder, T.H.: A note on the multiplicity free reduction of certain orthogonal and unitary groups. Nederl. Akad. Wetensch. Indag. Math. 44(2), 215–218 (1982)
Kucerovsky, D.: A short proof of an index theorem. Proc. Am. Math. Soc. 129(12), 3729–3736 (2001)
Langlands, R.P.: On the classification of irreducible representations of real algebraic groups. In: Representation Theory and Harmonic Analysis on Semisimple Lie Groups, Math. Surveys Monogr., vol. 31, pp. 101–170. Amer. Math. Soc., Providence (1989)
Ma, X., Zhang, W.: Geometric quantization for proper moment maps. C. R. Math. Acad. Sci. Paris 347(7–8), 389–394 (2009)
Ma, X., Zhang, W.: Geometric quantization for proper moment maps: the Vergne conjecture. Acta Math. 212(1), 11–57 (2014)
Mathai, V., Zhang, W.: Geometric quantization for proper actions. Adv. Math. 225(3), 1224–1247 (2010). With an appendix by Ulrich Bunke
Meinrenken, E.: Symplectic surgery and the \({\rm Spin}^c\)-Dirac operator. Adv. Math. 134(2), 240–277 (1998)
Meinrenken, E., Sjamaar, R.: Singular reduction and quantization. Topology 38(4), 699–762 (1999)
Mostow, G.D.: On covariant fiberings of Klein spaces. Am. J. Math. 77, 247–278 (1955)
Paradan, P.É.: The Fourier transform of semi-simple coadjoint orbits. J. Funct. Anal. 163(1), 152–179 (1999)
Paradan, P.É.: Localization of the Riemann–Roch character. J. Funct. Anal. 187(2), 442–509 (2001)
Paradan, P.É.: \({\rm Spin}^c\)-quantization and the \(K\)-multiplicities of the discrete series. Ann. Sci. École Norm. Sup. (4) 36(5), 805–845 (2003)
Paradan, P.É.: Formal geometric quantization II. Pac. J. Math. 253(1), 169–211 (2011)
Paradan, P.É., Vergne, M.: The multiplicities of the equivariant index of twisted Dirac operators. C. R. Math. Acad. Sci. Paris 352(9), 673–677 (2014)
Paradan, P.-E., Vergne, M.: Equivariant Dirac operators and differentiable geometric invariant theory. Acta Math. 218(1), 137–199 (2017)
Parthasarathy, R.: Dirac operator and the discrete series. Ann. Math. 2(96), 1–30 (1972)
Schmid, W.: \(L^{2}\)-cohomology and the discrete series. Ann. Math. (2) 103(2), 375–394 (1976)
Tian, Y., Zhang, W.: An analytic proof of the geometric quantization conjecture of Guillemin–Sternberg. Invent. Math. 132(2), 229–259 (1998)
Vergne, M.: Applications of equivariant cohomology. In: International Congress of Mathematicians, vol. I, pp. 635–664. Eur. Math. Soc., Zürich (2007)
Vogan Jr., D.A.: The method of coadjoint orbits for real reductive groups. In: Representation Theory of Lie Groups (Park City, UT, 1998), IAS/Park City Math. Ser., vol. 8, pp. 179–238. Amer. Math. Soc., Providence (2000)
Acknowledgements
The authors are grateful to Maxim Braverman, Paul-Émile Paradan and David Vogan for their hospitality and inspiring discussions at various stages. Peter Hochs was partially supported by the European Union, through Marie Curie fellowship PIOF-GA-2011-299300. He thanks Dartmouth College for funding a visit there. Yanli Song is supported by NSF grant 1800667. Shilin Yu was supported by the Direct Grants and Research Fellowship Scheme from the Chinese University of Hong Kong.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Thomas Schick.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Hochs, P., Song, Y. & Yu, S. A geometric realisation of tempered representations restricted to maximal compact subgroups. Math. Ann. 378, 97–152 (2020). https://doi.org/10.1007/s00208-020-02006-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-020-02006-4