Abstract:Let $L$ be an even indefinite lattice. We show that if $L$ splits off a hyperbolic plane and a scaled hyperbolic plane, then the Kudla-Millson lift of genus $1$ associated to $L$ is injective. Our result includes as special cases all previously known injectivity results on the whole space of elliptic cusp forms available in the literature. In particular, we also consider the Funke-Millson twist of the lift. Further, we provide geometric applications on locally symmetric spaces of orthogonal type.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
The main objective of this paper is to study and prove the injectivity of the Kudla - Millson lift on locally symmetric spaces. Specifically, the authors consider the Kudla - Millson lift of genus 1 associated with an indefinite even lattice \(L\) and prove that if \(L\) decomposes into a hyperbolic plane \(U\) and a scaled hyperbolic plane \(U(N)\), then this lift is injective.
#### Specific contributions of the paper:
1. **Extension of injectivity**: The authors generalize the known injectivity results in the Hermitian case to the more general case of signature \((p, q)\). This includes all previous injectivity results regarding the space of elliptic cusp forms.
2. **Geometric applications**: They also provide geometric applications for locally symmetric spaces of orthogonal type, especially when \(q = 1\), that is, the case of hypersurface manifolds.
3. **New proof method**: By introducing the twist of Funke and Millson, the authors provide a new proof method that is applicable not only to the Hermitian case but also to more general cases.
#### Specific formulas and conclusions:
- **Theorem 1.1**: Let \(L\) be an indefinite even lattice with signature \((p, q)\).
- If \(L\cong M\oplus U(N)\oplus U\), where \(M\) is an even lattice and \(N\) is a positive integer, then the Kudla - Millson lift associated with \(L\) is injective.
- If \(q = 1\) and \(L\cong M\oplus U\), where \(M\) is a positive definite lattice and \(M\otimes\mathbb{Z}_p\) decomposes a hyperbolic plane at each prime \(p\in\mathbb{Z}\), then the lift is injective.
- If \(p = 1\), then the Kudla - Millson lift associated with \(L\) is identically zero.
- **Corollary 1.3**: Let \(X\) be a locally symmetric space generated by an indefinite even lattice \(L\) (signature \((p, q)\)) and \(p > 1\) satisfying the assumptions of Theorem 1.1. If \(q\leq c_G\), where \(c_G\) is the Zucker constant, then:
\[
\dim H^q(X,\mathbb{C})\geq\dim S_k^L
\]
- **Corollary 1.4**: Let \(X\) be a hypersurface manifold generated by an indefinite even lattice \(L\) (signature \((p, 1)\)). Suppose that \(L\) decomposes a hyperbolic plane \(U\) and the positive definite sublattice \(M = U^\perp\subset L\) decomposes a hyperbolic plane at each prime \(p\). If \(p\geq4\), then:
\[
\dim H^1(X,\mathbb{C})\geq\dim S_k^L
\]
These results not only extend the existing theoretical framework but also provide new insights in geometry and topology.