{"entities":{"Q1760162":{"pageid":1770904,"ns":120,"title":"Item:Q1760162","lastrevid":70842321,"modified":"2026-04-13T17:37:50Z","type":"item","id":"Q1760162","labels":{"en":{"language":"en","value":"Cuspidal discrete series for semisimple symmetric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6104929"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760162$EBEB24FE-F028-4240-B892-FCECE8230FEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e25e483c231f929b543b078579c3670fca5e0455","datavalue":{"value":{"text":"Cuspidal discrete series for semisimple symmetric spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1760162$CEBCB460-0988-4518-AF77-366B47BCFD1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ba9b3ea7176d54f6a2f9c6811d550f7174072ce","datavalue":{"value":"1256.22006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1760162$5E090FB5-91A5-456D-B0A0-9DD6B607811C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"748584407d8b10cf9427d72b8f969c3907e5a514","datavalue":{"value":{"entity-type":"item","numeric-id":165797,"id":"Q165797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760162$6DC9B96B-1863-4320-87A9-5B835F8F81BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1da5dd45519c023129ea4a1b53db93bb7368357","datavalue":{"value":{"entity-type":"item","numeric-id":1132206,"id":"Q1132206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760162$E466DC90-81A7-476C-95D0-B97DEFF14750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9062a8a8353e79d72b8e8be2af1711a70a6af79","datavalue":{"value":{"entity-type":"item","numeric-id":281506,"id":"Q281506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760162$1EFF5EBE-6C5F-406C-9CF8-20ECAC054EA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c822db5813f0f9086f4e4ec19f4b6b46b5b495","datavalue":{"value":{"entity-type":"item","numeric-id":165791,"id":"Q165791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1760162$2B91A9A2-1279-4A0D-9CFA-CB80FFBC371A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c80839e4a0921a35f61ead63f84da81a31ae4c5","datavalue":{"value":{"time":"+2012-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1760162$72F2A4F8-E040-41F2-910F-C1E17EE6BCE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34c8df33671bf476f05c9bb1294cf3442e489de4","datavalue":{"value":"https://arxiv.org/abs/1111.4031","type":"string"},"datatype":"url"},"type":"statement","id":"Q1760162$2B4F845E-5CD3-4300-8607-3FF636D06049","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2bd3cbd736e9e2f3e4387563f8b32e44b67cf51","datavalue":{"value":"Let \\(G\\) be a connected semisimple real Lie group with finite center and \\(K\\) a maximal compact subgroup of \\(G\\) associated with a Cartan involution \\(\\theta\\) of \\(G\\). Write \\(\\mathfrak g\\) and \\(\\mathfrak k\\) for the Lie algebras of \\(G\\) and \\(K\\) respectively, and denote by \\(\\mathfrak g=\\mathfrak k+\\mathfrak p\\) the corresponding Cartan decomposition of \\(\\mathfrak g\\). The Schwartz space \\(C(G)\\) for \\(G\\) is dense in the Hilbert space \\(L^{2}(G)\\) of square integrable complex functions on \\(G\\). Harish-Chandra defined a cusp form on \\(G\\) as an element \\(f\\in C(G)\\) satisfying \\[ \\int_{N}f(xny)dn=0 \\] for all proper parabolic subgroups \\(P\\) in \\(G\\) with Langlands decomposition \\(P=MAN\\), and for all \\(x,y\\in G\\). Moreover, Harish-Chandra proved that the space of cusp forms on \\(G\\) coincides with the intersection of \\(C(G)\\) and the sum of all discrete series representations in \\(L^{2}(G)\\); and that the space of cusp forms is nonzero if, and only if, the groups \\(G\\) and \\(K\\) have equal (complex) rank. Harish-Chandra used this notion of cusp forms to prove the Plancherel theorem for \\(G\\), i.e. the decomposition of \\(L^{2}(G)\\) into a finite sum of series of representations. These representations are generalized principal series representations induced from \\(\\theta\\)-stable parabolic subgroups \\(P=MAN\\) with the property that \\(M\\) and \\(M\\cap K\\) have equal (complex) rank. Such parabolic subgroups are called cuspidal. More generally, let \\(G/H\\) be a semisimple symmetric space for \\(G\\), i.e. \\(H\\) is a closed subgroup of \\(G\\) with the property that \\(G_{e}^{\\sigma}\\subset H\\subset G^{\\sigma}\\) where \\(\\sigma\\) is an involution of \\(G\\), \\(G^{\\sigma}\\) the group of fixed points of \\(\\sigma\\) and \\(G_{e}^{\\sigma}\\) its identity component. A Plancherel formula for \\(G/H\\), i.e. the decomposition of \\(L^{2}(G/H)\\) into a direct integral of representations induced from parabolic subgroups, is known. It is also known that discrete series representations occur in \\(L^{2}(G/H)\\) if, and only if, \\(G/H\\) and \\(K/K\\cap H\\) have equal rank as symmetric spaces. (See the series of papers of \\textit{E. P. van den Ban} and \\textit{H. Schlichtkrull} in [Invent. Math. 161, No. 3, 453--566 (2005; Zbl 1078.22012); ibid., No. 3, 567--628 (2005; Zbl 1078.22013)] and the paper of \\textit{P. Delorme} in [Ann. Math. (2) 147, No. 2, 417--452 (1998; Zbl 0906.22015)], as well as the references therein.) In the paper under review, the authors introduce a notion of cuspidal forms on \\(G/H\\) as follows. Let \\(\\mathfrak a\\) be a \\(\\sigma\\)-invariant maximal abelian subspace of \\(\\mathfrak p\\) so that \\(\\mathfrak a_{1}=\\mathfrak a\\cap\\mathfrak q\\) is a maximal abelian subspace in \\(\\mathfrak p\\cap\\mathfrak q\\). Fix a positive system \\(\\Sigma^{+}\\) for the roots defined by nonzero weights of \\(\\mathfrak a_{1}\\) in \\(\\mathfrak g\\); and a positive system \\(\\Sigma_{\\mathfrak g}^{+}\\) for \\(\\mathfrak a\\)-roots in \\(\\mathfrak g\\) such that \\(\\Sigma^{+}\\) consists of the nonzero restrictions to \\(\\mathfrak a_{\\mathfrak q}\\). Write \\(\\mathfrak a_{\\mathfrak h}=\\mathfrak a\\cap\\mathfrak h\\) and consider the following subalgebras of \\(\\mathfrak g\\): {\\parindent=6mm \\begin{itemize}\\item{} \\(\\mathfrak n_{+}=\\sum_{\\beta\\in\\Sigma_{\\mathfrak g}^{+}}\\mathfrak g^{\\beta}\\) where \\(\\beta_{\\mid_{\\mathfrak a_{\\mathfrak q}}}>0\\) and \\(\\beta_{\\mid_{\\mathfrak a_{\\mathfrak h}}}>0\\); \\item{} \\(\\mathfrak n_{-}=\\sigma\\theta(\\mathfrak n_{+})\\); \\item{} \\(\\mathfrak n_{0}=\\sum_{\\beta\\in\\Sigma_{\\mathfrak g}^{+}}\\mathfrak g^{\\beta}\\) where \\(\\beta_{\\mid_{\\mathfrak a_{\\mathfrak q}}}>0\\) and \\(\\beta_{\\mid_{\\mathfrak a_{\\mathfrak h}}}=0\\); \\item{} \\(\\mathfrak n^{\\star}=\\mathfrak n_{+}\\oplus\\mathfrak n_{0}\\); \\item{} \\(\\mathfrak n^{\\star\\star}=\\mathfrak n_{-}\\). \\end{itemize}} Write \\(N^{\\star}=\\exp(\\mathfrak n^{\\star})\\) and \\(N^{\\star\\star}=\\exp(\\mathfrak n^{\\star\\star})\\). The authors define an element \\(f\\) in the Schwartz space for \\(G/H\\) to be a cusp form on \\(G/H\\) if \\[ \\int_{N^{\\star}}f(gn^{\\star}H)dn^{\\star}=0 \\] for all \\(g\\in G\\) and for all proper \\(\\sigma\\theta\\)-stable proper parabolic subgroups of \\(G\\). Then they show that this notion agrees with Harish-Chandra's definition of a cusp form on \\(G\\) (viewing \\(G\\) as the symmetric space \\(G\\times G/\\Delta(G\\times G)\\)), but that discrete series representations for \\(G/H\\) need not be cuspidal (as it is the case on \\(G\\)). This is done explicitly in the case of the real hyperbolic spaces \\(SO_{e}(p,q+1)/SO_{e}(p,q)\\). The authors prove that if \\(p\\geq q-1\\) then all discrete series representations are cuspidal, while if \\(p