A Paley-Wiener theorem for Harish-Chandra modules (Q2159480)

Let \(G\) be a real reductive algebraic group and \(K\subset G\) a maximal compact subgroup. Let \(V\) be a Harish-Chandra module for \((\mathfrak{g},K)\) where \(\mathfrak{g}=\mathrm{Lie}(G)\). Every Harish-Chandra module admits a completion (globalization) to a representation of \(G\). Such a completion is in general not unique. Let \(V^\infty\) be a smooth completion of moderate growth. Another completion is the \(G\)-module \(V^\omega\) of analytic vectors in \(V^\infty\) with its natural compact-open topology. Following Schmid, the authors define the minimal completion of \(V\) by the convolution product \[ V_{\min}:=C_c^\infty(G)*V\subset V^\infty \] and endow it with a topology by taking a finite dimensional subspace \(V_f\subset V\) which generates \(V\), and using the surjective map \[ C_c^\infty(G)\otimes V_f\to V_{\min}. \] The quotient topology on \(V_{\min}\) does not depend on the choice of the finite dimensional generating subspace \(V_f\) and thus induces a natural quotient Hausdorff locally convex topology on \(V_{\min}\). Let \(\chi\) be a character of the algebra \(\mathbb{D}(G/K)\) of \(G\)-invariant differential operators on \(G/K\). The Helgason conjecture states that the Poisson transform for \(G/K\) is an isomorphism between the space of hyperfunction sections of a line bundle over the minimal boundary of \(G/K\) and the space \(C^\infty(G/K)_\chi\) of joint eigenfunctions of \(\mathbb{D}(G/K)\) with eigencharacter \(\chi\). Then Schmid's interpretation and extension of the Helgason conjecture is \[ V_{\min}=V^\omega \] as topological vector spaces, for all Harish-Chandra modules \(V.\) Let \(G=KAN\) be an Iwasawa decomposition of \(G\) and \(G=KAK\) the associated Cartan decomposition. Let \(\|\cdot\|\) be a Cartan-Killing norm on \(\mathfrak{g}\), and for any \(R>0\) consider balls \(A_R=\exp(\mathfrak{a}_R)\subset A\), where \(\mathfrak{a}_R:=\{X\in\mathfrak{a}: \|X\|\le R\}\). This gives a family of balls \(B_R:=KA_RK\subset G\), and let \(C_R^\infty(G)\) be the subspace of functions in \(C_c^\infty(G)\) with support in \(B_R\). Let \(V_R^{\min}:=C_R^\infty(G)*V\) be endowed with the quotient topology. A vector \(v\in V^\infty\) is analytic if and only if the restricted orbit map \(f_v:K\to V^\infty,\ k\mapsto k\cdot v\) is analytic. For any \(r>0\), a \(K\)-bi-invariant domain of \(K_{\mathbb{C}}\) is defined by \(K_{\mathbb{C}}(r) :=K\exp(i\mathfrak{k}_r)\), where \(\mathfrak{k}_r=\{X\in\mathfrak{k}:\|X\|<r\}\). Let \(V_r^\omega\subset V^\omega\) be the subspace of those \(v\in V^\infty\) for which \(f_v\) extends holomorphically to \(K_{\mathbb{C}}(r)\), and let \(V_r^\omega\) be endowed with the Fréchet topology of uniform convergence on compacta in \(K_{\mathbb{C}}(r)\). The following two inclusions are proved. Analytic inclusion: For all \(r>0\) there exists an \(R=R(r)>0\) with \(V_r^\omega\subset V_R^{\min}\). Geometric inclusion: For all \(R>0\) there exists an \(r=r(R)>0\) with \(V_R^{\min}\subset V_r^\omega\). A Paley-Wiener type theorem for Harish-Chandra modules \(V\) for a real reductive group, which means the existence of the geometric and analytic inclusions together with bounds on the numbers \(r(R)\) and \(R(r)\), is proved. As a corollary, a new and simpler proof of the Helgason conjecture is obtained.