Abstract:The classical Maass Spezialschar is a Hecke-stable subspace of the level one holomorphic Siegel modular forms of genus two, i.e., on $\mathrm{Sp}_4$, cut out by certain linear relations between the Fourier coefficients. It is a theorem of Andrianov, Maass, and Zagier, that the classical Maass Spezialschar is exactly equal to the space of Saito-Kurokawa lifts. We study an analogous space of quaternionic modular forms on split $\mathrm{SO}_8$, and prove the analogue of the Andrianov-Maass-Zagier theorem. Our main tool for proving this theorem is the development of a theory of a Fourier-Jacobi expansion of quaternionic modular forms on orthogonal groups.

What problem does this paper attempt to address?

The core problem that this paper attempts to solve lies in generalizing the classical Maass Spezialschar theory to quaternionic modular forms on the split special orthogonal group $SO(8)$. Specifically, the authors studied the space of quaternionic modular forms similar to the classical Siegel modular forms and proved results similar to the Andrianov - Maass - Zagier theorem. ### Main problems and goals 1. **Generalize Maass Spezialschar**: - The classical Maass Spezialschar is a Hecke - stable subspace defined by specific linear relations and is equivalent to the space of Saito - Kurokawa lifts. - The authors hope to find a similar subspace of quaternionic modular forms on the split $SO(8)$ and prove its properties. 2. **Development of Fourier - Jacobi expansion**: - In order to prove the above generalization, the authors developed the Fourier - Jacobi expansion theory of quaternionic modular forms. - This theory is the main tool for proving key theorems. 3. **Theta lifting and period integrals**: - Study the theta lifting from $Sp_4$ to $SO_8$ and characterize these liftings through period integrals. - In particular, use the triality automorphism and Fourier - Jacobi coefficients to establish the connection between Siegel modular forms and quaternionic modular forms. ### Specific achievements - **Theorem 1.1**: It is proved that the first Fourier - Jacobi coefficient of a quaternionic modular form is a holomorphic Siegel modular form of weight $\ell$. - **Theorem 1.2**: For a given quaternionic modular form $\phi$, a corresponding Siegel modular form can be constructed through theta lifting and Fourier - Jacobi coefficients. - **Theorem 1.3**: For even $\ell\geq16$, it is proved that the quaternionic Saito - Kurokawa subspace $SK_{\ell}$ is equal to the quaternionic Maass Spezialschar $MS_{\ell}$. - **Theorem 1.4**: Characterize the quaternionic Saito - Kurokawa lifting through period integrals, further refining the standard calculation. ### Methods and techniques - **Fourier - Jacobi coefficients**: Used to describe the Fourier expansion of quaternionic modular forms. - **Theta lifting**: Connects different types of modular forms (such as Siegel modular forms and quaternionic modular forms). - **Triality automorphism**: Applied on $Spin_8$ to help simplify and understand the results of theta lifting. - **Period integrals**: Used to characterize and verify the results of theta lifting. Through these methods, the authors successfully generalized the classical Maass Spezialschar theory to quaternionic modular forms on the split $SO(8)$ and proved a series of important results, laying the foundation for further research.

The quaternionic Maass Spezialschar on split $\mathrm{SO}(8)$

MVW-extensions of Quaternionic Classical Groups

Exceptional Siegel-Weil theorems for compact $\mathrm{Spin}_8$

Subconvexity Implies Effective Quantum Unique Ergodicity for Hecke-Maaß Cusp Forms on $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathrm{SL}_2(\mathbb{R})$

Schur Quantization and Complex Chern-Simons theory

$\operatorname{Sp}(1)$-symmetric hyperkähler quantisation

Cartan–Helgason theorem for quaternionic symmetric and twistor spaces

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Quantum geometry of moduli spaces of local systems and representation theory

QM abelian varieties, hypergeometric character sums and modular forms

A characterization of quaternionic projective space by the conformal-Killing equation

On the geometry of quantum spheres and hyperboloids

Holomorphic projection for sesquiharmonic Maass forms

Quinary forms and paramodular forms

Quantum Character Theory

Flach system of Jacquet-Langlands type and quaternionic period

Sp(6, Z) modular symmetry in flavor structures: quark flavor models and Siegel modular forms for

$Sp(6,Z)$ modular symmetry in flavor structures: quark flavor models and Siegel modular forms for $\widetildeΔ(96)$

Automatic convergence and arithmeticity of modular forms on exceptional groups

On quaternionic complexes over unimodular quaternionic manifolds

Creating quantum projective spaces by deforming q-symmetric algebras