Abstract:We investigate the analytic properties of a Dirichlet series involving the Fourier-Jacobi coefficients of two cusp forms for orthogonal groups of signature $(2,n+2)$. Using an orthogonal Eisenstein series of Klingen type, we obtain an integral representation for this Dirichlet series. In the case when the corresponding lattice has only one $1$-dimensional cusp, we rewrite this Eisenstein series in the form of an Epstein zeta function. If additionally $4 \mid n$, we deduce a theta correspondence between this Eisenstein series and a Siegel Eisenstein series for the symplectic group of degree $2$. We obtain, in this way, the meromorphic continuation of the Dirichlet series to $\mathbb{C}$ as a corollary. In the case of the $E_8$ lattice, we are able to further deduce a precise functional equation for the Dirichlet series.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to study the analytic properties of a Fourier - Jacobi Dirichlet series related to the cusp forms of two orthogonal groups \( \text{SO}(2, n + 2) \). Specifically, the author hopes to derive the analytic continuation of this Dirichlet series and its functional equation.
### Background and methods
1. **Definition of Dirichlet series**:
- The paper first defines a Dirichlet series \( D_{F,G}(s) \), where \( F \) and \( G \) are cusp forms of two orthogonal groups \( \text{SO}(2, n + 2) \), and their Fourier - Jacobi coefficients are \( \phi_m \) and \( \psi_m \) respectively. The form of the series is:
\[
D_{F,G}(s)=\sum_{m = 1}^{\infty}\langle\phi_m,\psi_m\rangle m^{-s}
\]
where \( \langle\cdot,\cdot\rangle \) represents an appropriate inner product.
2. **Integral representation**:
- In order to study the analytic properties of \( D_{F,G}(s) \), the author uses the non - holomorphic Klein - type Eisenstein series \( E(Z, s) \) to give an integral representation of \( D_{F,G}(s) \). Specifically, they prove that:
\[
\langle F(Z)E(Z, s),G(Z)\rangle=\frac{1}{\#\text{SO}(S;\mathbb{Z})}(4\pi)^{-(s + k - n - 1)}\Gamma(s + k - n - 1)D_{F,G}(s + k - n - 1)
\]
3. **Analytic properties of Eisenstein series**:
- The author further studies the analytic properties of the Eisenstein series \( E(Z, s) \). Under certain conditions, they are able to write the Eisenstein series in the form of an Epstein zeta function and prove that its Mellin transform is a specific theta series.
4. **Theta correspondence**:
- By applying appropriate differential operators, the author establishes the theta correspondence relationship of the Eisenstein series between the symplectic group \( \text{Sp}_2 \) and the orthogonal group \( \text{SO}(2, n + 2) \). This step is crucial for eliminating the terms that cause the divergence of the inner product integral.
### Main results
1. **Analytic continuation**:
- Through the above steps, the author successfully derives the analytic continuation of \( D_{F,G}(s) \) to the complex plane \( \mathbb{C} \).
2. **Functional equation**:
- For specific lattices (such as the \( E_8 \) lattice), the author is also able to derive the exact functional equation of \( D_{F,G}(s) \).
### Conclusion
This paper successfully studies the analytic properties of the Fourier - Jacobi Dirichlet series related to the orthogonal group \( \text{SO}(2, n + 2) \) by introducing the Klein - type Eisenstein series and the theta correspondence method, providing a theoretical basis for its analytic continuation and functional equation. This result not only enriches the theory of modular forms, but also provides new tools and methods for research in related fields.