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

Imagine the world of mathematics as a vast, multi-dimensional landscape. In this landscape, there are special "mountains" called modular forms. These aren't physical mountains, but complex mathematical functions that have a very special kind of symmetry—they look the same no matter how you rotate or shift them in specific ways.

For a long time, mathematicians have studied two main types of these mountains:

Holomorphic Mountains: These are smooth, perfectly shaped peaks (like a classic volcano). They live in a world called Sp(4).
Quaternionic Mountains: These are a bit more rugged and exotic. They live in a higher-dimensional world called SO(8).

The paper you asked about is like a bridge-building project. The authors are trying to connect the smooth, well-understood "Holomorphic Mountains" to the rugged "Quaternionic Mountains" to see if the rules that govern one also apply to the other.

Here is a breakdown of their journey using simple analogies:

1. The "Special Club" (The Maass Spezialschar)

In the world of Holomorphic Mountains, there is a famous "VIP Club" called the Maass Spezialschar.

The Rule: To get into this club, a mountain's "Fourier Coefficients" (think of these as the mountain's unique DNA or fingerprint) must follow a very specific, strict pattern. If the numbers in the fingerprint don't line up perfectly, you aren't in the club.
The Magic: Being in this club means the mountain is actually a "lift" of a simpler mountain from a lower dimension. It's like saying, "This complex 3D sculpture is actually just a 2D drawing that was blown up in a very specific way."

2. The Big Question

The authors asked: "Does this VIP Club exist for the rugged Quaternionic Mountains on SO(8)?"
Since Quaternionic Mountains are much harder to study (they are "non-holomorphic" and live in a more chaotic space), nobody knew if this special club existed there or if the same rules applied.

3. The Solution: The "Fourier-Jacobi" Translator

To solve this, the authors invented a translator.

They took a rugged Quaternionic Mountain and applied a special filter (called a Fourier-Jacobi coefficient).
The Analogy: Imagine taking a complex, noisy radio signal (the Quaternionic Mountain) and running it through a filter that strips away the static.
The Result: The filter didn't just make it quieter; it transformed the rugged mountain into a smooth Holomorphic Mountain on the simpler Sp(4) world!
Why this matters: This proved that every rugged Quaternionic Mountain has a "sibling" in the smooth world. If you understand the smooth sibling, you understand the rugged one.

4. The "Triality" Magic Trick

The authors used a mathematical magic trick called Triality.

The Analogy: Imagine a shape that looks like a triangle. If you rotate it 120 degrees, it looks exactly the same, but the corners have swapped places.
In the world of SO(8), there is a similar symmetry where three different mathematical structures can swap places and look identical. The authors used this "rotation" to swap the rugged mountain's features around, allowing them to apply the translator mentioned above. This was the key to proving that the "VIP Club" (the Maass Spezialschar) does exist for Quaternionic mountains.

5. The "Period" Test (The Final Check)

Once they established the club exists, they wanted a way to check if a specific mountain belongs to it without doing all the heavy math.

They discovered a Period Test.
The Analogy: Imagine you want to know if a specific person is a member of a secret society. Instead of checking their entire ID card, you just ask them to stand in a specific spot and see if they cast a shadow.
The authors found that if you integrate (sum up) the mountain's values over a specific geometric shape (a "period"), and the result is non-zero, then the mountain is definitely in the VIP Club. If the result is zero, it's not.

6. The "Recipe Book" (L-functions)

Finally, the authors wrote a "recipe book" (a conjecture) for how to calculate the L-function of these mountains.

The Analogy: An L-function is like a "credit score" or a "health report" for a mathematical object. It tells you deep secrets about its structure.
They guessed a formula for this score based on the mountain's DNA (Fourier coefficients). They then proved that for the mountains in their VIP Club, this recipe works perfectly.

Summary of the Achievement

The authors successfully:

Defined a VIP Club for rugged Quaternionic mountains.
Proved that this club is exactly the set of mountains that are "lifts" from the simpler, smooth world.
Created a translator (Fourier-Jacobi) to turn rugged mountains into smooth ones.
Found a simple test (Periods) to check membership.
Verified their "credit score" formula (L-functions) for these special mountains.

In a nutshell: They took a messy, high-dimensional problem, found a way to translate it into a clean, low-dimensional one, proved the translation works both ways, and gave mathematicians a new set of tools to solve future puzzles in this exotic landscape.

Here is a detailed technical summary of the paper "The Quaternionic Maass Spezialschar on Split SO(8)" by Johnson-Leung, McGlade, Negrini, Pollack, and Roy.

1. Problem Statement and Context

The paper addresses the generalization of the classical Maass Spezialschar (a distinguished subspace of Siegel modular forms) to the setting of quaternionic modular forms on the split special orthogonal group $SO(8)$ .

Classical Background: The classical Saito-Kurokawa lift maps half-integral weight modular forms on $SL(2)$ to Siegel modular forms on $Sp(4) \cong PGSp(4)$ . The image of this lift is the Maass Spezialschar, characterized by specific linear relations among Fourier coefficients (Maass relations).
The Gap: While the theory of quaternionic modular forms (associated with minimal $K$ -types in discrete series representations of $SO(4, n+2)$ ) has been developed (notably by Gross, Wallach, and Pollack), a precise characterization of the "Saito-Kurokawa" subspace within this quaternionic setting was missing. Specifically, it was unclear if the semi-classical characterizations (like linear relations on Fourier coefficients or period vanishing) extend to this higher-rank, non-holomorphic setting.
The Goal: The authors aim to define a Quaternionic Maass Spezialschar for $SO(8)$ , characterize it via Fourier coefficients and periods, and establish its relationship with the theta lift from Siegel modular forms on $Sp(4)$ .

2. Methodology

The authors employ a multi-faceted approach combining automorphic representation theory, theta correspondence, and explicit Fourier analysis:

Fourier-Jacobi Coefficients for Quaternionic Forms:
- They develop a theory of Fourier-Jacobi coefficients for quaternionic modular forms on $SO(4, n+2)$ .
- By integrating a quaternionic modular form $\phi$ against a specific character along a unipotent subgroup, they define a "first Fourier-Jacobi coefficient" ( $FJ_\phi$ ).
- Key Technical Step: They prove that this coefficient is not just an automorphic function but corresponds to a holomorphic Siegel modular form on a smaller group $H \cong Sp(4)$ (when $n=2$ ).
Triality and Spin Groups:
- Since $SO(8)$ is split, the authors utilize the exceptional triality automorphism of the spin group $Spin(8)$ .
- They relate the Fourier coefficients of forms on $Spin(8)$ to those on $SO(8)$ via triality, allowing them to map the quaternionic coefficients to the coefficients of a Siegel modular form on $Sp(4)$ .
Theta Lifting:
- They utilize the theta lift $\theta^*$ from holomorphic Siegel modular forms on $Sp(4)$ to quaternionic modular forms on $SO(8)$ , constructed using specific test data in the Weil representation.
- They compute the Fourier coefficients of these lifts explicitly in terms of the coefficients of the source Siegel forms.
Period Integrals and Inner Products:
- The authors define period integrals of quaternionic forms over algebraic subgroups $H_{v_1, v_2}$ (stabilizers of two vectors).
- They relate the non-vanishing of these periods to the non-vanishing of the theta lift, using the Rallis inner product formula and properties of the Petersson inner product.

3. Key Contributions and Results

The paper establishes several major theorems that characterize the quaternionic Saito-Kurokawa subspace:

A. The Quaternionic Maass Spezialschar (Definition and Characterization)

Definition: The authors define the Quaternionic Maass Spezialschar ( $MS_\ell$ $M S_{ℓ}$ ) as the subspace of level-one quaternionic modular forms on $SO(8)$ $S O (8)$ whose Fourier coefficients $a_\phi([T_1, T_2])$ $a_{ϕ} ([T_{1}, T_{2}])$ satisfy specific linear relations. These relations are the quaternionic analogue of the classical Maass relations:
- If two pairs of matrices $[T_1, T_2]$ and $[T'_1, T'_2]$ yield the same symmetric matrix $S(\lambda)$ , their coefficients must be equal.
- Coefficients for non-primitive pairs are sums of coefficients of primitive pairs weighted by powers of determinants.
Theorem 1.3 (Equality of Spaces): For even weight $\ell \ge 16$ $ℓ \geq 16$ , the subspace of forms obtained via the theta lift from $Sp(4)$ $S p (4)$ (the Quaternionic Saito-Kurokawa subspace, $SK_\ell$ $S K_{ℓ}$ ) is exactly equal to the Maass Spezialschar defined by the linear relations ( $MS_\ell$ $M S_{ℓ}$ ).
- Significance: This confirms that the semi-classical Fourier coefficient relations fully characterize the theta lift in the quaternionic setting.

B. The Fourier-Jacobi Correspondence

Theorem 1.1: The first Fourier-Jacobi coefficient of a quaternionic modular form on $SO(8)$ is a holomorphic Siegel modular form on $Sp(4)$ .
Theorem 1.2: For a form $\phi$ on $Spin(8)$ , a specific $q$ -series constructed from its Fourier coefficients (via triality) yields a Siegel modular form on $Sp(4)$ . This provides an explicit inverse map to the theta lift, recovering the Siegel form from the quaternionic form.

C. Characterization via Periods

Theorem 1.4: A cuspidal quaternionic eigenform $\phi$ $ϕ$ (in the "plus subspace") belongs to the Saito-Kurokawa subspace if and only if its period over a specific algebraic subgroup $H_{v_1, v_2}$ $H_{v_{1}, v_{2}}$ is non-zero, provided the discriminant $D(v_1, v_2)$ $D (v_{1}, v_{2})$ is odd and square-free.
- This refines previous results on theta correspondence by showing that the distinction can be detected by the form itself, not just by the representation it generates.

D. L-functions and Dirichlet Series

Conjecture 6.1: The authors propose a conjectural Dirichlet series for the standard $L$ -function of quaternionic modular forms on $SO(8)$ , expressed in terms of their Fourier coefficients.
Verification: They prove that this conjecture holds true for all forms in the Quaternionic Maass Spezialschar (Theorem 6.6), linking the $L$ -function to the $L$ -function of the underlying Siegel form and specific zeta factors.

4. Significance

Unification of Classical and Quaternionic Theories: The paper successfully bridges the gap between the classical theory of Siegel modular forms (genus 2) and the modern theory of quaternionic modular forms (associated with exceptional groups and $SO(8)$ ). It demonstrates that the "Maass relations" are a robust structural feature that persists even in the non-holomorphic, quaternionic context.
Explicit Construction of Lifts: By providing explicit formulas for the inverse theta lift (via Fourier-Jacobi coefficients and triality), the authors give a concrete computational tool to move between $Sp(4)$ and $SO(8)$ , which is crucial for constructing examples and studying arithmetic properties.
New Characterization via Periods: The characterization of the Saito-Kurokawa subspace via non-vanishing periods offers a new geometric and analytic perspective, distinct from the Fourier coefficient approach. This connects the theory to the broader landscape of automorphic periods and distinguished representations.
Foundation for Future Research: The development of Fourier-Jacobi coefficients for general $SO(4, n+2)$ groups and the conjectural Dirichlet series for $L$ -functions provide a framework for future investigations into higher-rank quaternionic modular forms and their $L$ -functions.

In summary, this paper establishes the Quaternionic Maass Spezialschar as the natural generalization of the classical Saito-Kurokawa space, proving that it is characterized equivalently by theta lifts, linear Fourier coefficient relations, and non-vanishing periods.

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