Singular conformally invariant trilinear forms. I: The multiplicity one theorem (Q326354)

In the paper [the author and \textit{B. Ørsted}, Ann. Inst. Fourier 61, No. 5, 1807--1838 (2011; Zbl 1252.22008)], the generic case was studied of the conformally invariant trilinear forms for three representations belonging to the scalar principal series of the conformal group \(G= \mathrm{SO}_0(1,n)\). The representations are realized on \(C^\infty(S)\) where \(S= S^{n-1}\) is the unit sphere in an \(n\)-dimensional Euclidean space \(E\), and the trilinear forms are required to be continuous for the natural topology on \(C^\infty(S)\times C^\infty(S)\times C^\infty(S)\). The trilinear forms \(\mathcal{K}^\lambda\) are formally defined by an integral formula depending on a parameter \({\lambda} =(\lambda_1,\lambda_2, \lambda_3)\) in \(\mathbb{C}^3\), each \(\lambda_j\) indexing a representation of the scalar principal series of \(G\). In a second article [\textit{R. Beckmann} and the author, J. Funct. Anal. 262, No. 10, 4341--4376 (2012; Zbl 1244.43004)], the residues along the planes of poles were computed, at least generically. In the present paper the normalized holomorphic family \(\widetilde{\mathcal K}^\lambda\) (obtained from \(\mathcal{K}^{\lambda}\) by multiplication by appropriate inverse \(\Gamma\) factors) is introduced and studied. The zero set is obtained of the holomorphic function \({\lambda} \mapsto \widetilde{\mathcal K}^{\lambda}\). This zero set is equal to the subset \(\mathcal{Z}\) of the set of poles, of codimension \(2\) in \(\mathbb{C}^3\). The second main result is an extension of the generic multiplicity one theorem. For \({\lambda} \in \mathbb{C}^3\), let \(\mathrm{Tri} ({\lambda})\) be the space of conformally invariant trilinear forms with respect to the representations indexed by \({\lambda}\). Theorem 0.1. For \({\lambda} \in \mathbb{C}^3\setminus Z \), the multiplicity of the space of conformally invariant trilinear forms is \(1\).