An asymptotic formula of Gelfand and Gangolli for the spectrum of $G\backslash G$
An asymptotic formula of Gelfand and Gangolli for the spectrum of $G\backslash G$
复制标题
$G反斜杠 G$ 谱的 Gelfand 和 Gangolli 渐近公式
DOI:
10.4310/jdg/1214433299
复制
发表时间:
1976
影响因子:
2.5
通讯作者:
N. Wallach
中科院分区:
文献类型:
--
作者:
N. Wallach
In [6], Gelfand outlined a proof of an asymptotic formula for the distribution of multiplicities of spherical principal series in U(Γ\G), where G is a connected semi-simple Lie group with finite center and Γ is a discrete subgroup of G so that Γ\G is compact (see Corollary 1.3 for a formulation of this formula). As pointed out by Gangolli [3] the formula of Gelfand is marginally wrong and the proof of the formula (even in the case G = SL(2, R)) has a gap. In Gangolli [3] a method using the heat equation was used to prove the (corrected) Gelfand formula for G complex semi-simple. Also Gangolli and Warner have in an as yet unpublished manuscript proved the Gelfand formula if Γ has no noncentral elements of finite order. In this paper we use the asymptotic expansion of the fundamental solution of the heat equation to prove a general asymptotic formula which we now describe. Let G and Γ be as above. Let K be a maximal connected compact subgroup of G. Let G (resp. K) denote the set of equivalence classes of irreducible unitary representations of G (resp. K). If τ e K, let dτ be the dimension of any element of the class τ. If ω e G, and τ € K, then let [τ: ω\κ] denote the multiplicity of τ in ω looked at as a direct sum of irreducible representations of K (i.e., ω = Σ[τ: ω\κ]τ). If ω e G, let λω be the value of the Casimir operator of G on any element of the class ω. Let Z(G) be the center of G and let Z(Γ) — Z(G) Π Γ. Let KΓ be the subset of K consisting of those τ such that Z{Γ) acts trivially on any element of the class τ. Let Π Γ denote the right regular representation of G on U(Γ\G). Then ΠΓ = Σ ω 6 £ nΓ(ω)ω, nΓ(ω) € Z, nΓ{ω) > 0. Our main result is Theorem 1.1. There is a constant CG depending only on G so that if τ e KΓ and if [Z(Γ)] is the number of elements in Z(Γ), then