Abstract:We define a theta lift between the homology in degree $N-1$ of a locally symmetric space associated to $\mathrm{SL}_N(\mathbb{R})$ and the space of modular forms of weight $N$. We show that the Fourier coefficients of this lift are Poincaré duals to modular symbols associated to maximal parabolic subgroups. The constant term is a canonical cohomology classes obtained by transgressing the Euler class of a torus bundle. This Eisenstein lift realizes a geometric theta correspondence for the pair $\mathrm{SL}_N \times \mathrm{SL}_2$, in the spirit of Kudla-Millson. When $N=2$, we show that the lift surjects on the space of weight $2$ modular forms spanned by an Eisenstein series and the eigenforms with non-vanishing $L$-function.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a theta lift similar to the Kudla - Millson lift, but for the \(SL_N(\mathbb{R}) \times SL_2(\mathbb{R})\) pair. Specifically, the author defines a theta lift, which establishes a connection between the homology group of the local symmetric space of \(SL_N(\mathbb{R})\) and the space of modular forms. The key to this lift is that its Fourier coefficients have a geometric interpretation, in particular, they are the Poincaré duals of certain modular symbols.
### Main Contributions
1. **Construction of Theta Lift**:
- The author uses the Mathai - Quillen formalism to construct a closed, \(GL_N(\mathbb{R})^+\)-invariant form \(\phi \in \Omega^N(X) \otimes S(\mathbb{R}^{2N})\).
- Defines the theta series \(\Theta_\phi^\chi(z, \tau)\), and it behaves as a modular form in the \(\tau\) variable.
2. **Geometric Interpretation of Fourier Coefficients**:
- Proves that the Fourier coefficients of the theta lift are the Poincaré duals of certain special cycles.
- The constant term is a classical Eisenstein class obtained by transducing the Euler class.
3. **Special Case \(N = 2\)**:
- When \(N = 2\), the theta lift maps to the space of weight - 2 modular forms generated by Eisenstein series and eigenforms with non - zero eigenvalues.
- Proves that the period of the theta lift on modular symbols is the product of weight - 1 Eisenstein series.
4. **Evaluation of Modular Symbols**:
- For certain good modular symbols \(Z_Q\), the period of the theta lift can converge and can be expressed in terms of Eisenstein series.
- Over a totally real field, the evaluation of the theta lift on a ring is the diagonal restriction of the Hilbert - Eisenstein series.
### Mathematical Formulas
- **Theta Series**:
\[
\Theta_\phi^\chi(z, \tau) := j(h\tau, i)^N \sum_{v \in \mathbb{Q}^{2N}} \omega(h\tau) \phi(z, v) \chi(v) \in \Omega^N(X)^\Gamma \otimes C^\infty(\mathcal{H})
\]
where \(h\tau \in SL_2(\mathbb{R})\) is the mapping of \(i\) to \(\tau \in \mathcal{H}\) by the Mobius transformation, and \(j\) is the standard endomorphism factor.
- **Eisenstein Class**:
\[
E_\phi^\chi(z_1, \tau) := p_* \left( \Theta_\phi^\chi(z, \tau) u^{-s} \right) \in \Omega^{N - 1}(S)^\Gamma \otimes C^\infty(\mathcal{H})
\]
where \(z=(z_1, u)\) are variables on \(S\times\mathbb{R}_+\) and the integration is over \(u\).
- **Fourier Expansion**:
\[
E_\phi^\chi(z_1, \tau)=z(\chi)+\sum_{n = 1}^\infty[Z_n(\chi)]q^n
\]
where \([Z_n(\chi)]\) represents the Poincaré dual of \(Z_n(\chi)\).
### Conclusion
The paper passes...