Adjoints of the Poincaré series operators (Q913024)

Let \(\Gamma\) be a Fuchsian group acting on the unit disk \(\Delta\), and let \(\theta_ q\) denote the Poincaré theta series operator of weight - 2q (q\(\geq 2\), \(q\in {\mathbb{N}})\). For \(1\leq p\leq \infty\) let \(H^ p\) be the Hardy space on \(\Delta\), and for \(1\leq s\leq \infty\) let \(A^ s_ q(\Gamma)\) be the Bers space of s-integrable (resp. bounded) holomorphic automorphic forms of weight -2q for \(\Gamma\) on \(\Delta\). For any holomorphic function \(f(z)=\sum^{\infty}_{n=0}a_ nz^ n\) on \(\Delta\) the author introduces the operator \[ \Xi_ qf(z)=2\pi (2q-2)! \sum^{\infty}_{n=0} \frac{n!}{(n+2q-1)!}a_ nz^ n. \] A major result of the paper under review in Theorem 1: Let \(1<p<\infty\), \(1/p+1/p'=1,\) \(1\leq s<\infty\), \(1/s+1/s'=1.\) Then the operator \(\Xi_ q: A_ q^{s'}(\Gamma)\to H^{p'}\) is the adjoint of \(\theta_ q: H^ p\to A^ s_ q(\Gamma)\). This theorem yields e.g. a concise description of the kernel of the operator \(\theta_ q: H^ p\to A^ 1_ q(\Gamma)\) in terms of certain Eichler integrals, and the author reproves a classical nonvanishing result of H. Petersson. - Theorem 2 states that the operators \(\theta_ q: H^ p\to A^ 1_ q(\Gamma)\) \((1<p\leq \infty)\) and \(\Xi_ q: A^{\infty}_ q(\Gamma)\to H^ p\) \((0<p<\infty)\) are compact. This result implies new characterizations of finitely generated Fuchsian groups of the first kind in terms of mapping properties of \(\theta_ q\) and in terms of Eichler integrals (see Theorem 3). The following lemma is crucial in the proof of Theorem 3 and interesting in its own right: If \(\dim A^ 1_ q(\Gamma)<\infty\) for some q then \(\Gamma\) is finitely generated and of the first kind. Finally, the author proves that \(\theta_ q: H^ 2\to A^ 1_ q(\Gamma)\) can be factorized in the form \(\theta_ q=(d/dz)^{2q- 1}S^{2q-1}T_ q\) where \(S: H^ 2\to H^ 2\) is the shift operator on \(H^ 2\) and where \(T_ q\) is a positive compact operator on \(H^ 2\). The spectral decomposition of \(T_ q\) is then used in order to further investigate the operators \(\theta_ q\), \(\Xi_ q\) and the period map which maps any Eichler integral of order 1-q onto its period. The last paragraph contains growth estimates for the sequence of singular numbers of \(\theta_ q\).