Abstract:We prove several dimension formulas for spaces of scalar-valued Siegel modular forms of degree $2$ with respect to certain congruence subgroups of level $4$. In case of cusp forms, all modular forms considered originate from cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A})$ whose local component at $p=2$ admits non-zero fixed vectors under the principal congruence subgroup of level $2$. Using known dimension formulas combined with dimensions of spaces of fixed vectors in local representations at $p=2$, we obtain formulas for the number of relevant automorphic representations. These in turn lead to new dimension formulas, in particular for Siegel modular forms with respect to the Klingen congruence subgroup of level $4$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to derive and prove the dimension formula for the Siegel modular form space of specific congruence subgroups (especially the Klingen congruence subgroup Γ′_0(4)). Specifically, the authors are concerned with the dimension of the space of scalar - valued Siegel modular forms of Sp(4, Q), especially for those automorphic representations with non - zero fixed vectors locally at p = 2.
### Core problems of the paper
1. **Derivation of the dimension formula**:
- The authors hope to provide new dimension formulas for the Siegel modular form space of certain congruence subgroups (such as Γ′_0(4)).
- These formulas involve the space dimensions of cusp forms and full modular forms.
2. **Counting of automorphic representations**:
- By studying the properties of automorphic representations π, especially their fixed vectors in local representations, these dimension formulas are derived.
- Attention is focused on those automorphic representations with non - zero fixed vectors at p = 2.
3. **Handling of the special subgroup Γ′_0(4)**:
- In particular, an important motivation of the paper is to calculate the dimension of the Siegel modular form space of Γ′_0(4).
- Previous work has mainly focused on Γ′_0(p) at the prime level, while this paper targets the specific Γ′_0(4).
### Method overview
- **Local dimension**:
- The authors first studied the local properties of irreducible, admissible representations of GSp(4, Q_2), especially those representations with non - zero fixed vectors under the principal congruence subgroup Γ(2).
- Using the results in Table 4, all relevant representations and the space dimensions of their fixed vectors are listed.
- **Global dimension and codimension**:
- By using the method of Satake compactification and the global Φ - mapping, a general codimension formula is derived.
- Combining Igusa's results, the dimensions of the full modular form spaces of most congruence subgroups are calculated.
- **Classification of automorphic representations**:
- The automorphic representations of GSp(4, A) are classified into six different Arthur packets, and the representations of general type (G) and Saito - Kurokawa type (P) are considered separately.
- Through these classifications, the dimension formula is further refined.
### Main contributions
- New dimension formulas for the Siegel modular form space of Γ′_0(4) are provided.
- Refined dimension formulas for the non - lifting space S(G)_k(Γ) and the lifting space S(P)_k(Γ) are derived.
- The number sk(Ω), that is, the number of cusp automorphic representations with weight k and non - zero Γ(p)-invariant vectors at p = 2, is calculated.
Through these works, the paper fills some gaps in the existing literature and provides new tools and methods for the study of Siegel modular forms.