Applications of Arthur's multiplicity formula to Siegel modular forms

Hiraku Atobe
DOI: https://doi.org/10.48550/arXiv.1810.09089
2018-10-22
Abstract:We give two applications of Arthur's multiplicity formula to Siegel modular forms. The one is a lifting theorem for vector valued Siegel modular forms, which contains Miyawaki's conjectures and Ibukiyama's conjectures. The other is the strong multiplicity one theorem for Siegel modular forms of scalar weights and level one.
Number Theory
What problem does this paper attempt to address?
This paper attempts to solve two main problems related to Siegel modular forms through Arthur's multiplicity formula: 1. **Lifting Theorem for Vector - valued Siegel Modular Forms**: - This theorem includes the Miyawaki conjecture and the Ibukiyama conjecture. These conjectures are related to the construction of Siegel modular forms of higher dimensions from Hecke eigenforms of lower dimensions (such as forms from \( \text{SL}_2(\mathbb{Z}) \) or \( \text{Sp}_2(\mathbb{Z}) \)). - Specifically, for given Hecke eigenforms \( f \in S_{2k - 4}(\text{SL}_2(\mathbb{Z})) \) and \( g \in S_k(\text{SL}_2(\mathbb{Z})) \), there exists a Hecke eigenform \( F_{f,g} \in S_k(\text{Sp}_3(\mathbb{Z})) \) such that their standard L - functions satisfy a specific relationship. For example, the relationship in the Miyawaki conjecture is: \[ L(s, F_{f,g}, \text{std}) = L(s, g, \text{std}) L(s + k - 2, f) L(s + k - 3, f). \] 2. **Strong Multiplicity - One Theorem for Scalar - weight Siegel Modular Forms**: - This theorem states that under certain conditions, if two scalar - weight Siegel modular forms \( F_1 \) and \( F_2 \) have the same Satake parameters at almost all primes, then these two forms are the same up to a constant multiple. - Mathematically, let \( F_i \in S_{k_i}(\text{Sp}_n(\mathbb{Z})) \) be Hecke eigenforms of scalar weight \( k_i \). If for almost all primes \( p \), the Satake parameters of \( F_1 \) and \( F_2 \) at \( p \) are equal, and when \( n \) is even, \( \{k_1, k_2\} \neq \left\{\frac{n}{2}, \frac{n}{2}+1\right\} \), then there exists a constant \( c \in \mathbb{C}^\times \) such that \( F_2 = cF_1 \). By applying Arthur's multiplicity formula, the author not only verifies the above conjectures but also provides a new method to study and decompose the space of Siegel modular forms. This helps to gain a deeper understanding of the properties of these modular forms and their interrelationships.