Abstract:In our previous paper we gave proofs of Ibukiyama's correspondences on holomorphic Siegel modular forms of degree 2 of half-integral weight and integral weight. In this paper, we formulate and prove similar correspondences on automorphic forms on $\operatorname{Mp}_4(\mathbb{A}_\mathbb{Q})$ or $\operatorname{SO}_5(\mathbb{A}_\mathbb{Q})$ generating large discrete series representations at the real components. In addition, we show that the correspondences can be described in terms of local theta correspondences.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: **When \(j\) is odd, what kind of space is used to replace the plus space of half - integral weight Siegel modular forms?**
Specifically, the author has already proven Ibukiyama's correspondence relationship regarding degree - 2 half - integral weight and integral weight holomorphic Siegel modular forms in the previous text. These theorems assume that \(j\) is even because in this case, the plus space \(S^+_{\det^{k - 1/2}\text{Sym}^j(\Gamma_0(4),\cdot^{-1})}\) makes sense. However, when \(j\) is odd, the plus space becomes zero, while the space of integral weight Siegel modular forms \(S_{\det^{j + 3}\text{Sym}^{2k - 6}}(\text{Sp}_4(\mathbb{Z}))\) is usually still non - zero.
Therefore, the main purpose of this paper is to answer the question raised by Ibukiyama: **When \(j\) is odd, what kind of space should be used to replace the plus space?**
Tomoyoshi Ibukiyama proposed a conjecture, believing that this replacement space should be the space of automorphic forms, and these automorphic forms generate large discrete series representations at the real place. Specifically, these automorphic forms are defined on \(\text{Mp}_4(\mathbb{A}_\mathbb{Q})\) or \(\text{SO}_5(\mathbb{A}_\mathbb{Q})\).
### Main Results
1. **Main Theorem for \(\text{Mp}_4(\mathbb{A}_\mathbb{Q})\)**:
- For any integer \(k\geq3\) and any odd integer \(j\geq1\), there exists a linear isomorphism:
\[
S_{\det^{j + 3}\text{Sym}^{2k - 6}}(\text{Sp}_4(\mathbb{Z}))\simeq
\begin{cases}
A_{\det^{-k + 5/2}\text{Sym}^{2k + j - 3}}(\text{Mp}_4)E_\psi, & \text{if }k\text{ is odd},\\
A_{\det^{-k - j + 1/2}\text{Sym}^{2k + j - 3}}(\text{Mp}_4)E_\psi, & \text{if }k\text{ is even},
\end{cases}
\]
and the L - function is preserved.
2. **Main Theorem for \(\text{SO}_5(\mathbb{A}_\mathbb{Q})\)**:
- For any integer \(k\geq3\) and any non - negative integer \(j\geq0\), there exists a linear isomorphism:
\[
A_{\det^{-j - 1}\text{Sym}^{2j + 2k - 2}}(\text{SO}_5)^{\text{unr}}\simeq
\begin{cases}
A_{\det^{-k + 5/2}\text{Sym}^{2k + j - 3}}(\text{Mp}_4)E_\psi, & \text{if }j\text{ is odd and }k\text{ is even},\\
A_{\det^{-k - j + 1/2}\text{Sym}^{2k + j - 3}}(\text{Mp}_4)E_\psi, & \text{if }j\text{ is odd and }k\text{ is odd},\\
S^+_{\det^{k - 1/2}\text{Sym}^j(\Gamma_0(4))}, & \text{if }