Abstract:Geometric/arithmetic theta correspondences provide correspondences between automorphic forms and cohomology classes/algebraic cycles on Shimura varieties. We give an introduction focusing on the example of unitary groups and highlight recent advances in the arithmetic theory (also known as the Kudla program) and their applications. These are expanded lecture notes for the IHES 2022 Summer School on the Langlands Program.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to establish the connection between automorphic forms and cohomology classes/algebraic cycles of Shimura varieties in Geometric and Arithmetic Theta Correspondences. Specifically, the article focuses on the following aspects:
1. **The relationship between modular forms and special cycles**: The article explores the modularity of the generating functions of special cycles in Chow groups and arithmetic Chow groups. This involves several central conjectures proposed by Kudla:
- **Modularity of the generating function of special cycles in Chow groups and arithmetic Chow groups**
- **Arithmetic Siegel - Weil formula**, which relates the arithmetic volume of the generating function to the derivatives of Eisenstein series
- **Arithmetic inner product formula**, which relates the height of the arithmetic theta lift to the derivatives of L - functions
2. **Generalization on high - dimensional Shimura varieties**: Although these conjectures have been solved in the case of quaternion Shimura curves (see the monograph by Kudla - Rapoport - Yang [KRY06]), the generalization to higher - dimensional Shimura varieties remains a challenge. Exciting progress has been made in this area in recent years.
3. **Applications of the Kudla program**: The article also discusses the applications of these theories in important mathematical problems such as the Hodge conjecture, the Tate conjecture, the Birch - Swinnerton - Dyer (BSD) conjecture, and the Beilinson - Bloch conjecture.
### Formula representation
To ensure the correctness and readability of the formulas, here are some key formulas involved:
- **Arithmetic Siegel - Weil formula**:
\[
\kappa \cdot I(g, \phi)=E(g, s_0, \phi),
\]
where \(\kappa = \frac{1}{2}\) if \(m > n\), otherwise \(\kappa = 1\).
- **Arithmetic inner product formula**:
\[
\kappa \cdot \langle \theta_{\phi_1}(\varphi_1), \theta_{\phi_2}(\varphi_2) \rangle_H = L(s_0+\frac{1}{2}, \pi\times\chi) b_{2n}(s_0) \prod_v Z_v^{\text{norm}}(s_0, \varphi_{1,v}, \varphi_{2,v}, \phi_{1,v}, \phi_{2,v}),
\]
where \(s_0=\frac{m - 2n}{2}\), and \(\kappa\) is defined as before.
Through these formulas and theoretical frameworks, the article aims to provide a comprehensive overview of the latest progress in geometric and arithmetic theta correspondences and their applications.