Abstract:We prove the local Gan-Gross-Prasad conjecture for the symplectic-metaplectic case under some assumptions. This is the last case of the local Gan-Gross-Prasad conjectures. We also prove two of Prasad's conjectures on the local theta correspondence in the almost equal rank case.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the correctness of the local Gan - Gross - Prasad (GGP) conjecture in the symplectic - metaplectic case, and to verify Prasad's two conjectures regarding local Theta correspondence, especially in the case of almost equal ranks.
Specifically, the GGP conjecture involves the following aspects:
1. **Bessel case (B)**:
- Given a general L - parameter \(\varphi\), there exists a unique representation \(\pi(\eta)\in\Pi_{\varphi}\) such that \(\pi(\eta)\) is a representation of a relevant pure inner form \(G' = SO(V'_m)\times SO(V'_{m + 1})\), and \(\text{Hom}_{\Delta SO(V'_m)}(\pi(\eta),\mathbb{C})\neq0\).
- There is an exact rule to determine the unique character \(\eta\).
2. **Fourier - Jacobi case (FJ)**:
- Given a general L - parameter \(\varphi\), there exists a unique representation \(\pi(\eta)\in\Pi_{\varphi}\) such that \(\text{Hom}_{\Delta\tilde{Sp}(W_{2n})}(\pi(\eta)\otimes\omega_{\psi},\mathbb{C})\neq0\).
- There is also an exact rule to determine the unique character \(\eta\).
The specific content of these conjectures can be summarized as follows:
### Conjecture 1.1 (B)
For \(G = SO(V_m)\times SO(V_{m + 1})\):
1. Given a general L - parameter \(\varphi\), there exists a unique representation \(\pi(\eta)\in\Pi_{\varphi}\) such that \(\pi(\eta)\) is a representation of a relevant pure inner form \(G' = SO(V'_m)\times SO(V'_{m + 1})\), and \(\text{Hom}_{\Delta SO(V'_m)}(\pi(\eta),\mathbb{C})\neq0\).
2. There is an exact rule to determine the unique character \(\eta\).
### Conjecture 1.2 (FJ)
For \(G=\tilde{Sp}(W_{2n})\times Sp(W_{2n})\) and fix a non - trivial additive character \(\psi\):
1. Given a general L - parameter \(\varphi\), there exists a unique representation \(\pi(\eta)\in\Pi_{\varphi}\) such that \(\text{Hom}_{\Delta\tilde{Sp}(W_{2n})}(\pi(\eta)\otimes\omega_{\psi},\mathbb{C})\neq0\).
2. There is an exact rule to determine the unique character \(\eta\).
In addition, this paper also aims to verify Prasad's two conjectures regarding local Theta correspondence, especially in the case of almost equal ranks. By using the local Langlands correspondence, the Gross - Prasad - Rallis conjecture, and the results of the Bessel case, the author attempts to prove the above conjectures and finally concludes that these conjectures are correct under specific assumptions.
### Main results
The main results of the paper are as follows:
- **Theorem 1.3**: Under certain assumptions, it is proved that the Fourier - Jacobi case (FJ) holds for tempered L - parameters and generic L - parameters.