Abstract:Let $n \geq 1$ be an odd integer. We construct an anticyclotomic Euler system for certain cuspidal automorphic representations of unitary groups with signature $(1, 2n-1)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct an anticyclotomic Euler system for the automorphic representations of certain unitary groups. Specifically, the article focuses on constructing an anticyclotomic Euler system for unitary groups of signature (1, 2n - 1), which are associated with some specific automorphic representations.
### Main problem decomposition
1. **Background and motivation**:
- The paper draws on the work of Kolyvagin, who constructed an anticyclotomic Euler system for modular elliptic curves satisfying the Heegner hypothesis.
- Kolyvagin's work shows how to prove that the rank of the E - rational point group is 1 through the existence of nontorsion points, and combined with the Gross - Zagier formula, obtains an instance of the Birch - Swinnerton - Dyer conjecture in the case of analytic rank 1.
2. **Generalization to the high - dimensional case**:
- This paper attempts to generalize the above construction to the higher - dimensional case, that is, consider unitary groups of signature (1, 2n - 1), where \(n\geq1\) is odd.
- Specifically, the authors consider the following "symmetric pairs":
\[
U(1, n - 1)\times U(0, n)\hookrightarrow U(1, 2n - 1)
\]
- Here the groups are outer forms of the groups appearing in equation (1.1) when \(n = 1\).
3. **Main conditions and assumptions**:
- The automorphic representation \(\pi_0\) must be non - endoscopic and tempered stable, with a stable L - packet.
- \(\pi_0\) must have an \(H_0\)-linear model, that is, there exists a nonzero homomorphism:
\[
\text{Hom}_{H_0(\mathbb{A}_f)}(\pi_{0,f},\mathbb{C})\neq0
\]
- \(p\) must split in the quadratic extension \(E\), and \(\pi_0\) has a fixed eigenvector at \(p\) with respect to the Siegel parahoric level.
- \(\rho_\pi\otimes\pi_f\) must appear in the middle - degree geometric continuous cohomology of the Shimura variety, which is called "modular parameterization".
4. **Main results**:
- For the automorphic representation \(\pi_0\) satisfying the above conditions, the authors construct an anticyclotomic Euler system, specifically, for any set of prime numbers \(S\) and any \(m\in R\), \(r\geq0\), there exist classes:
\[
c_{mpr}\in H^1(E[mpr],T_\pi^*(1 - n))
\]
- These classes satisfy certain norm relations, ensuring that they are global norms in the anticyclotomic \(\mathbb{Z}_p\)-extension.
### Summary
The main goal of this paper is to construct an anticyclotomic Euler system for the automorphic representations of unitary groups of signature (1, 2n - 1) and verify the norm relations satisfied by these classes under appropriate conditions. This work not only generalizes Kolyvagin's classical results but also provides new tools for further research on Selmer groups and the behavior of L - functions.