Abstract:We prove the Gan-Gross-Prasad conjecture for $\left(\mathrm{U}\left(2n\right),\mathrm{U}\left(1\right)\right)$ in general and prove its refinement, namely the Ichino-Ikeda type explicit formula for the central $L$-values, under certain assumptions. Similarly, we also prove its split analogue, namely the Gan-Gross-Prasad conjecture and its refinement for $\left(\mathrm{GL}_{2n}, \mathrm{GL}_1\right) $ in general.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to solve the Gan - Gross - Prasad (GGP) conjecture and its refinements in specific cases. Specifically, the authors Masaaaki Furusawa and Kazuki Morimoto studied the GGP conjecture and its refined version in the case of \( (U(2n), U(1)) \).
#### Main problem descriptions:
1. **Proving the GGP conjecture**:
- The authors attempt to prove that the GGP conjecture holds in the general case of \( (U(2n), U(1)) \).
- This includes proving the relationship between the non - vanishing of the central \( L \)-value and the non - vanishing of certain period integrals.
2. **Refining the conjecture**:
- The authors also attempt to prove the explicit Ichino - Ikeda - type formula, that is, the specific expression of the central \( L \)-value.
- This formula involves Bessel period integrals of irreducible, cuspidal, and Weinberg automorphic representations.
3. **Generalizing to other cases**:
- The authors also studied the case of the split dual group \( (GL_{2n}, GL_1) \) and proved similar conjectures and their refined versions.
### Mathematical background and methods:
- **Automorphic forms and \( L \)-functions**: The theory of automorphic forms and related properties of \( L \)-functions are widely used in the paper.
- **Period integrals**: In particular, Bessel period integrals, which are important tools for connecting different automorphic representations.
- **Theta lifting**: Computing the pull - back of Whittaker periods through Theta lifting, which is a key technical means for proving the conjecture.
### Formula examples:
1. **Non - vanishing of the central \( L \)-value**:
\[
L\left(\frac{1}{2}, \pi\times\Lambda\right)\neq0
\]
where \(\pi\) is an irreducible, cuspidal, automorphic representation and \(\Lambda\) is a character.
2. **Ichino - Ikeda - type formula**:
\[
\left|\mathcal{B}_{\phi, \psi, \Lambda}(\varphi)\right|^2=\frac{\mathfrak{c}_{\phi}}{\left|\mathfrak{g}(\Psi(\pi))\right|}\cdot\frac{L\left(\frac{1}{2}, \pi\times\Lambda\right)}{L(1, \pi, \text{Ad})L(1, \chi_{E/F})}\prod_{v}\frac{\mathcal{B}_v^\natural(\varphi_v)}{\langle\varphi_v, \varphi_v\rangle_v}
\]
where \(\mathcal{B}_{\phi, \psi, \Lambda}\) is the Bessel period integral, \(\mathfrak{c}_{\phi}\) is a constant, \(\Psi(\pi)\) is the parameter of \(\pi\), \(\mathfrak{g}(\Psi(\pi))\) is its \(\mathfrak{g}\)-group, \(L(s, \pi, \text{Ad})\) is the Adel \( L \)-function, \(L(s, \chi_{E/F})\) is the \( L \)-function of the quadratic character, and \(\mathcal{B}_v^\natural\) is the normalized local Bessel period.
### Summary:
The core objective of this paper is to prove and refine the Gan - Gross - Prasad conjecture, especially in the cases of \( (U(2n), U(1)) \) and \( (GL_{2n}, GL_1) \). By using automorphic forms...