Related papers: Computing overconvergent forms for small primes
Let $p_k(n)$ be given by the $k$-th power of the Euler Product $\prod _{n=1}^{\infty}(1-q^n)^k=\sum_{n=0}^{\infty}p_k(n)q^{n}$. By investigating the properties of the modular equations of the second and the third order under the Atkin…
We give a new construction of $p$-adic overconvergent Hilbert modular forms by using Scholze's perfectoid Shimura varieties at infinite level and the Hodge--Tate period map. The definition is analytic, closely resembling that of complex…
Let $p$ be a prime number. We study the slopes of $U_p$-eigenvalues on the subspace of modular forms that can be transferred to a definite quaternion algebra. We give a sharp lower bound of the corresponding Newton polygon. The computation…
For small odd primes $p$, we prove that most of the rational points on the modular curve $X_0(p)/w_p$ parametrize pairs of elliptic curves having infinitely many supersingular primes. This result extends the class of elliptic curves for…
Let $L$ be a totally real field, and $p$ be a rational prime that is unramified in $L$. We construct overconvergent families of classes of relative de Rham cohomology of the universal abelian scheme over Hilbert modular varieties associated…
The use of overconvergent cohomology in constructing $p$-adic $L$-functions, initiated by Stevens and Pollack--Stevens in the setting of classical modular forms, has now been established in a number of settings. The method is compatible…
For a field of characteristic $\ne 2$ we study vector spaces that are graded by the weight lattice of a root system, and are endowed with linear operators in each simple root direction. We show that these data extend to a graded semisimple…
We study congruences relating Fourier coefficients of meromorphic modular forms and Frobenius eigenvalues of elliptic curves corresponding to their poles. We develop a $p$-adic cohomological framework that interprets these congruences via…
We show that the action of Hecke operators away from $p$ on the space of ($p$-adic) overconvergent modular forms is ($p$-adically) locally analytic in a certain sense. As a corollary, the action of the Hecke algebra can be extended…
In this article we will show how to compute $U_p$ acting on spaces of overconvergent $p$-adic modular forms when $X_0(p)$ has genus 1. We first give a construction of Banach bases for spaces of overconvergent $p$-adic modular forms, and…
Given a prime number $p$, the study of divisibility properties of a sequence $c(n)$ has two contending approaches: $p$-adic valuations and superconcongruences. The former searches for the highest power of $p$ dividing $c(n)$, for each $n$;…
In this paper, we generalize two results of H. Darmon and V. Rotger on triple product $p$-adic $L$-functions associated with Hida families to finite slope families. We first prove a $p$-adic Gross-Zagier formula, then demonstrate an…
The theory of overconvergent modular symbols, developed by Rob Pollack and Glenn Stevens, gives a beautiful and effective construction of the $p$-adic $L$-function of a modular form. In this paper, we give an analogue of their results for…
For Atkin-Lehner quotients $X_0^+(N)$, of prime level and of genus at least 2, we provide an algorithm for computing one of the main objects in the quadratic Chabauty algorithm in terms of weakly holomorphic modular forms associated to the…
We construct $p$-adic $L$-functions associated with $p$-refined cohomological cuspidal Hilbert modular forms over any totally real field under a mild hypothesis. Our construction is canonical, varies naturally in $p$-adic families, and does…
We introduce a higher dimensional Atkin-Lehner theory for Siegel-Parahoric congruence subgroups of $GSp(2g)$. Old Siegel forms are induced by geometric correspondences on Siegel moduli spaces which commute with almost all local Hecke…
Let $p\equiv 2,5\mod 9$ be an odd prime. In this paper, we prove that at least one of $3p$ and $3p^2$ is a cube sum by constructing certain nontrivial Heegner points. We also establish the explicit Gross-Zagier formulae for these Heegner…
We present some congruences modulo $p^{6-d}$ for sums of the type $\sum_{k=0}^{(p-3)/2}x^k{2k\choose k}/(2k+1)^d$, for $d=1,2,3$ where $p>5$ is a prime.
We present a new approach to handling the case of Atkin primes in Schoof's algorithm for counting points on elliptic curves over finite fields. Our approach is based on the theory of polynomially cyclic algebras, which we recall as far as…
In this paper, we give an explicit description of the de Rham and p-adic polylogarithms for elliptic curves using the Kronecker theta function. We prove in particular that when the elliptic curve has complex multiplication and good…