Dimension variation of classical and \(p\)-adic modular forms (Q1266344): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q533964 |
Normalize DOI. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s002220050251 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrzej Dąbrowski / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s002220050251 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2016657720 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S002220050251 / rank | |||
Normal rank |
Latest revision as of 17:02, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dimension variation of classical and \(p\)-adic modular forms |
scientific article |
Statements
Dimension variation of classical and \(p\)-adic modular forms (English)
0 references
2 March 1999
0 references
Let \(p\geq 5\) be a fixed prime and let \(N\) be a fixed positive integer not divisible by \(p\). Let \(K\) be a finite extension of \(\mathbb{Q}_p\). For a nonnegative integer \(k\), denote by \(M_k(Np,K)\) the space of classical modular forms of weight \(k\) on \(\Gamma_1 (N) \cap \Gamma_0(p)\) whose Fourier coefficients belong to \(K\). We have the direct sum decomposition \[ M_k(Np,K) =\oplus_{\alpha\in \mathbb{Q}_{>0}} M_k(Np, K)^{(\alpha)}, \] under the action of the Atkin \(U\)-operator, where each root of the characteristic polynomial of \(U\) on \(M_k (Np,K)^{(\alpha)}\) has \(p\)-adic valuation \(\alpha\). Let \(d(k,\alpha): =\dim M_k (Np,K)^{ (\alpha)}\). Let \(m(\alpha)\) be the smallest non-negative integer (or \(+\infty\) if it does not exist) such that whenever \(k_1\) and \(k_2\) are two positive integers \(\geq 2\alpha+2\) satisfying \(k_1 \equiv k_2 \pmod {p^{m (\alpha)} (p-1)}\), then we have the equality \(d(k_1, \alpha)= d(k_2, \alpha)\). Conjecture (Gouvêa-Mazur): \(m(\alpha) \leq[\alpha]\). The author gives a quadratic upper bound for \(m(\alpha)\) (Theorem 1.1). The proof is based on Katz's theory of overconvergent \(p\)-adic modular forms, and recent work of Coleman and Gouvêa-Mazur.
0 references
dimension
0 references
Atkin operator
0 references
congruences for \(p\)-adic modular forms
0 references
Gouvêa-Mazur conjecture
0 references