arXiv subjects

Nadim Rustom

Publications and source records attributed to Nadim Rustom.

8 recordsLinked to original sources

arXiv2023

Eisenstein series, $p$-adic modular functions, and overconvergence, II

Let $p$ be a prime number. Continuing and extending our previous paper with the same title, we prove explicit rates of overconvergence for modular functions of the form $\frac{E_k^{\ast}}{V(E_k^{\ast})}$ where $E_k^{\ast}$ is a classical, normalized Eisenstein series on $\Gamma_0(p)$ and $V$ the $p$-adic Frobenius operator. In particular, we extend our previous paper to the primes $2$ and $3$. For these primes our main theorem improves somewhat upon earlier results by Emerton, Buzzard and Kilford, and Roe. We include a detailed discussion of those earlier results as seen from our perspective. We also give some improvements to our earlier paper for primes $p\ge 5$. Apart from establishing these improvements, our main purpose here is also to show that all of these results can be obtained by a uniform method, i.e., a method where the main points in the argumentation is the same for all primes. We illustrate the results by some numerical examples.

math.NT↗

arXiv2021

Eisenstein series, p-adic modular functions, and overconvergence

Let $p$ be a prime $\ge 5$. We establish explicit rates of overconvergence for members of the "Eisenstein family", notably for the $p$-adic modular function $V(E_{(1,0)}^{\ast})/E_{(1,0)}^{\ast}$ ($V$ the $p$-adic Frobenius operator) that plays a pi\-votal role in Coleman's theory of $p$-adic families of modular forms. The proof goes via an in-depth analysis of rates of overconvergence of $p$-adic modular functions of form $V(E_k)/E_k$ where $E_k$ is the classical Eisenstein series of level $1$ and weight $k$ divisible by $p-1$. Under certain conditions, we extend the latter result to a vast generalization of a theorem of Coleman--Wan regarding the rate of overconvergence of $V(E_{p-1})/E_{p-1}$. We also comment on previous results in the literature. These include applications of our results for the primes $5$ and $7$.

math.NT↗

arXiv2018

Dihedral Group, 4-Torsion on an Elliptic Curve, and a Peculiar Eigenform Modulo 4

We work out a non-trivial example of lifting a so-called weak eigenform to a true, characteristic 0 eigenform. The weak eigenform is closely related to Ramanujan's tau function whereas the characteristic 0 eigenform is attached to an elliptic curve defined over ${\mathbb Q}$. We produce the lift by showing that the coefficients of the initial, weak eigenform (almost all) occur as traces of Frobenii in the Galois representation on the 4-torsion of the elliptic curve. The example is remarkable as the initial form is known not to be liftable to any characteristic 0 eigenform of level 1. We use this example as illustrating certain questions that have arisen lately in the theory of modular forms modulo prime powers. We give a brief survey of those questions.

math.NT↗

arXiv2018

Congruences modulo prime powers of Hecke eigenvalues in level $1$

We continue the study of strong, weak, and $dc$-weak eigenforms introduced by Chen, Kiming, and Wiese. We completely determine all systems of Hecke eigenvalues of level $1$ modulo $128$, showing there are finitely many. This extends results of Hatada and can be considered as evidence for the more general conjecture formulated by the author together with Kiming and Wiese on finiteness of systems of Hecke eigenvalues modulo prime powers at any fixed level. We also discuss the finiteness of systems of Hecke eigenvalues of level $1$ modulo $9$, reducing the question to the finiteness of a single eigenvalue. Furthermore, we answer the question of comparing weak and $dc$-weak eigenforms and provide the first known examples of non-weak $dc$-weak eigenforms.

math.NT↗

arXiv2017

Filtrations of dc-weak eigenforms

The notions of strong, weak and dc-weak eigenforms mod $p^n$ was introduced and studied by Chen, Kiming and Wiese. In this work, we prove that there can be no uniform weight bound (that is, depending only on $p$, $n$) on dc-weak eigenforms mod $p^n$ of fixed level when $n \geq 2$. This is in contrast with the result of Kiming, Rustom and Wiese which establishes a uniform weight bound on strong eigenforms mod $p^n$. As a step towards studying weights bounds for weak eigenforms mod $p^n$, we provide a criterion which allows us to detect whether a given dc-weak eigenform mod $p^n$ is weak.

math.NT↗

arXiv2016

On certain finiteness questions in the arithmetic of modular forms

We investigate certain finiteness questions that arise naturally when studying approximations modulo prime powers of p-adic Galois representations coming from modular forms. We link these finiteness statements with a question by K. Buzzard concerning p-adic coefficient fields of Hecke eigenforms. Specifically, we conjecture that for fixed N, m, and prime p with p not dividing N, there is only a finite number of reductions modulo p^m of normalized eigenforms on Γ_1(N). We consider various variants of our basic finiteness conjecture, prove a weak version of it, and give some numerical evidence.

math.NT↗

arXiv2014

Generators and relations of the graded algebra of modular forms

We give bounds on the degree of generators for the ideal of relations of the graded algebras of modular forms with coefficients in $\mathbb{Q}$ over congruence subgroups $Γ_0(N)$ for $N$ satisfying some congruence conditions and for $Γ_1(N)$. We give similar bounds for the graded $\mathbb{Z}[\frac{1}{N}]$-algebra of modular forms on $Γ_1(N)$ with coefficients in $\mathbb{Z}[\frac{1}{N}]$. For a prime $p \geq 5$, we give a lower bound on the highest weight appearing in a minimal list of generators for $Γ_0(p)$, and we identify a set of generators for the graded algebra $M(Γ_0(p),\mathbb{Z})$ of modular forms over $Γ_0(p)$ with coefficients in $\mathbb{Z}$, showing that this weight is unbounded. We generalize a result of Serre concerning congruences between modular forms over $Γ_0(p)$ and $SL_2(\mathbb{Z})$, and use it to identify a set of generators for $M(Γ_0(p),\mathbb{Z})$, and we state two conjectures detailing further the structure of this algebra. Finally we provide computations concerning the number of generators and relations for each of these algebras, as well as computational evidence for these conjectures.

math.NT↗

arXiv2012

Generators of graded rings of modular forms

We study graded rings of modular forms over congruence subgroups, with coefficients in a subring $A$ of $\mathbb{C}$, and specifically the highest weight needed to generate these rings as $A$-algebras. In particular, we determine upper bounds, independent of $N$, for the highest needed weight that generates the $\mathbb{C}$-algebras of modular forms over $Γ(N)$, $Γ_1(N)$ and $Γ_0(N)$ with some conditions on $N$. For $N \geq 5$, we prove that the $\mathbb{Z}[1/N]$-algebra of modular forms over $Γ_1(N)$ with coefficients in $\mathbb{Z}[1/N]$ is generated in weight at most 3. We give an algorithm that computes the generators, and supply some computations that allow us to state two conjectures concerning the situation over $Γ_0(N)$.

math.NT↗