For a prime number $p\ge 5$, we consider three classical cusp eigenforms $f_j(z)$ of weights $k_1, k_2, k_3$, of conductors $N_1, N_2, N_3$, and of nebentypus characters $ψ_j \bmod N_j$. According to H.Hida and R.Coleman, one can include each $f_j$ into a {$p$-adic analytic family} $k_j \mapsto \{f_{j,k_j}\}$ of cusp eigenforms $f_{j,k_j}$ of weights $k_j$ in such a way that $f_{j,k_j}=f_j$, and that all their Fourier coefficients $a_n(f_{j, k_j})$ are given by certain $p$-adic analytic functions $k_j{}\mapsto a_{n, j}(k_j{})$. The purpose of this paper is to describe a four variable $p$-adic $L$-function attached to Garrett's triple product of three Coleman's families $k_j \mapsto \{f_{j,k_j}\}$ of cusp eigenforms of three fixed slopes $σ_j=v_p(α_{p, j}^{(1)}(k_j{}))\ge 0$ where $α_{p,j}^{(1)} = \al_{p,j}^{(1)}(k_j{})$ is an eigenvalue (which depends on $k_j{}$) of Atkin's operator $U=U_p$ acting on Fourier expansions by $U(\sum_{n\ge 0}^\infty a_{n}q^n) = \sum_{n \ge 0}^\infty a_{np} q^n$. We consider the $p$-adic weight space $X$ containing all $(k{}_j, ψ_j)$. Our $p$-adic $L$-functions are Mellin transforms of certain measures with values in $\Ar$, where $\Ar=\Ar({\cal B})$ denotes an affinoid algebra associated with an affinoid space ${\cal B}$ as in \cite{CoPB}, where ${\cal B}={\cal B}_1\times{\cal B}_2\times{\cal B}_3$, is an affinoid neighbourhood around $(k_1, k_2, k_3)\in X^3$ (with a given integers $k_j$ and fixed Dirichlet characters $ψ_j \bmod N$). We construct such a measure from higher twists of classical Siegel-Eisenstein series, which produce distributions with values in certain Banach $\Ar$-modules $\Mr = \Mr(N;\Ar)$ of triple modular forms with coefficients in the algebra $\Ar$.
In this paper, we aimed at constructing a two-variable Coleman map for a given $p$-adic family of eigen cuspforms with a fixed non-zero slope (Coleman family). A Coleman map is a machinary which transforms a hypothetical $p$-adic family of zeta elements to a $p$-adic $L$-function. The result would be a non-ordinary generalization of a two-variable Coleman map for a given Hida deformation obtained by the second-named author.
In this article, we discuss Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms. After the overview on the situation of the ordinary case of Hida family, we will introduce a Coleman map for Coleman family for the non-ordinary case (Coleman family) which was obtained as a joint work with Filippo Nuccio [NO16] and we give some results on Iwasawa Theory for Coleman families as applications of . First, we give a construction of a two-variable $p$-adic $L$-function for a Coleman family thanks to the ingredients given in [NO16] (Theorem 5.1). Combining this result and Coleman…
The Coleman-Ihara formula expresses Soule's $p$-adic characters restricted to $p$-local Galois group as the Coates-Wiles homomorphism multiplied by $p$-adic $L$-values at positive integers. In this paper, we show an analogous formula that $\ell$-adic polylogarithmic characters for $\ell=p$ restrict to the Coates-Wiles homomorphism multiplied by Coleman's $p$-adic polylogarithms at any roots of unity of order prime to $p$.
Results in $p$-adic transcendence theory are applied to two problems in the Chabauty-Coleman method. The first is a question of McCallum and Poonen regarding repeated roots of Coleman integrals. The second is to give lower bounds on the $p$-adic distance between rational points in terms of the heights of a set of Mordell-Weil generators of the Jacobian. We also explain how, in some cases, a conjecture on the 'Wieferich statistics' of Jacobians of curves implies a bound on the height of rational points of curves of small rank, in terms of the usual invariants of the curve and the height of Mord…
Coleman's theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic curves). We describe an algorithm for computing Coleman integrals on hyperelliptic curves, and its implementation in Sage.
Coleman calculated the absolute Frobenius on Fermat curves explicitly. In this paper we show that a kind of $p$-adic continuity implies a large part of his formula. To do this, we study a relation between functional equations of the ($p$-adic) gamma function and monomial relations on ($p$-adic) CM-periods.
We prove that the p-adic height pairing of Nekovar, considered for algebraic curves, gives the p-adic height pairing of Coleman and Gross, defined using Coleman integration.
This paper is a sequel to our earlier paper "Wach modules and Iwasawa theory for modular forms" (arXiv: 0912.1263), where we defined a family of Coleman maps for a crystalline representation of the Galois group of Qp with nonnegative Hodge-Tate weights. In this paper, we study these Coleman maps using Perrin-Riou's p-adic regulator L_V. Denote by H(Γ) the algebra of Qp-valued distributions on Γ= Gal(Qp(μ(p^\infty) / Qp). Our first result determines the H(Γ)-elementary divisors of the quotient of D_{cris}(V) \otimes H(Γ) by the H(Γ)-submodule generated by (ϕ* N(V))^{ψ= 0}, where N(V) is the Wac…
Nearly higher Coleman theory and p-adic L-functions for $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ and $\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$
We give a direct proof that the Mazur-Tate and Coleman-Gross heights on elliptic curves coincide. The main ingredient is to extend the Coleman-Gross height to the case of divisors with non-disjoint support and, doing some $p$-adic analysis, show that, in particular, its component above $p$ gives, in the special case of an ordinary elliptic curve, the $p$-adic sigma function. We use this result to give a short proof of a theorem of Kim characterizing integral points on elliptic curves in some cases under weaker assumptions. As a further application, we give new formulas to compute double Colema…
Let $p$ be a prime. We discuss $p$-adic properties of various arithmetical functions related to the coefficients of modular form and generating functions. Modular forms are considered as a tool of solving arithmetical problems. Examples of congruences between modular forms modulo $p$ and modulo $p^n$ are given, and the use of a computer for the study of modular forms is illistrated.
We describe an algorithm to compute the local component at p of the Coleman-Gross p-adic height pairing on divisors on hyperelliptic curves. As the height pairing is given in terms of a Coleman integral, we also provide new techniques to evaluate Coleman integrals of meromorphic differentials and present our algorithms as implemented in Sage.
We construct two-parameter analytic families of Galois cohomology classes interpolating the etale Abel--Jacobi images of generalised Heegner cycles, with both the modular form and Grossencharacter varying in p-adic families.
We extend the result of a previous work to the case of curves with semi-stable reduction. In this case, one can replace Coleman integration by Vologodsky integration to extend the Coleman-Gross definition of a $p$-adic height pairing. we show that this pairing still equals the one defined by Nekovar.
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 g…
The Coleman integral is a $p$-adic line integral that plays a key role in computing several important invariants in arithmetic geometry. We give an algorithm for explicit Coleman integration on curves, using the algorithms of the second author to compute the action of Frobenius on $p$-adic cohomology. We present a collection of examples computed with our implementation. This includes integrals on a genus 55 curve, where other methods do not currently seem practical.
We show that the Euler system associated to Rankin--Selberg convolutions of modular forms, introduced in our earlier works with Lei and Kings, varies analytically as the modular forms vary in $p$-adic Coleman families. We prove an explicit reciprocity law for these families, and use this to prove cases of the Bloch--Kato conjecture for Rankin--Selberg convolutions.
In this paper, we study $λϕ^4$ scalar field theory defined on the unramified extension of p-adic numbers ${\mathbb Q}_{p^n}$. For different ``space-time'' dimensions $n$, we compute one-loop quantum corrections to the effective potential. Surprisingly, despite the unusual properties of non-Archimedean geometry, the Coleman-Weinberg potential of p-adic field theory has a structure very similar to that of its real cousin. We also study two formal limits of the effective potential, $p \rightarrow 1$ and $p \rightarrow \infty$. We show that the $p\rightarrow 1$ limit allows to reconstruct the cano…
We describe some new general constructions of $p$-adic $L$-functions attached to certain arithmetically defined complex $L$-functions coming from motives over $\bold Q$ with coefficiens in a number field $T$, with $[T:\bold Q]<\infty$. These constructions are equivalent to proving some generalized Kummer congruences for critical special values of these complex $L$-functions.
We introduce the p-adic analogue of Arakelov intersection theory on arithmetic surfaces. The intersection pairing in an extension of the p-adic height pairing for divisors of degree 0 in the form described by Coleman and Gross. It also uses Coleman integration and is related to work of Colmez on p-adic Green functions. We introduce the p-adic version of a metrized line bundle and define the metric on the determinant of its cohomology in the style of Faltings. It is possible to prove in this theory analogues of the Adjunction formula and the Riemann-Roch formula.
The goal of this paper is to construct the p-adic analytic family of overconvergent half-integral weight modular forms using Hecke-equivariant overconvergent Shintani lifting. The classical Shintani map is the Hecke-equivariant map from the space of cusp forms of integral weight to the space of cusp forms of half-integral weight. Glenn Stevens proved in [St1] that there is Lamda-adic lifting of this map to the Hida family of ordinary cusp forms of integral weight and consequently constructed Lamda-adic modular eigen form of half-integral weight. The natural thing to do is generalizing his resu…
We prove a functional equation for the three-variable $p$-adic $L$-function attached to the Rankin-Selberg convolution of a Coleman family and a CM Hida family, which was studied by Loeffler and Zerbes. Consequentially, we deduce that an anticyclotomic $p$-adic $L$-function attached to a $p$-non-ordinary modular form vanishes identically in the indefinite setting.
In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser fo…
For p=2 and tame level N=1 we prove that the map from the (Coleman-Mazur) Eigencurve to weight space satisfies the valuative criterion of properness. More informally, we show that the Eigencurve has no "holes"; given a punctured disc of finite slope overconvergent eigenforms over weight space, the center can be "filled in" with a finite slope overconvergent eigenform.
Kobayashi recently proved that the generalized Heegner cycles of Bertolini--Darmon--Prasanna can be interpolated along the anticyclotomic tower, giving rise to distribution valued cohomology classes with expected growth rate. We interpolate these classes along Coleman families. This construction plays a role in the proofs of $p$-adic Gross--Zagier formulae at for non-ordinary eigenforms and consequentially, also in the proof of a conjecture of Perrin-Riou.
We discuss modular forms as objects of computer algebra and as elements of certain p-adic Banach modules. Problem-solving approach in number theory is discussed which is based on the use of generating functions and their links with modular forms. In particular, the critical values of various L-functions of modular forms produce non-trivial but computable solutions of arithmetical problems. Namely, for a prime number $p\ge 5$, we consider three classical cusp eigenforms $$f_j(z)=\sum_{n=1}^\infty a_{n,j}e(nz)\in \Sr_{k_j}(N_j, ψ_j),\ (j=1, 2,3)$$ of weights k_1, k_2, k_3, of conductors N_1, N_2…
We will introduce a regularization for $p$-adic multiple zeta values and show that the generalized double shuffle relations hold. This settles a question raised by Deligne, given as a project in Arizona winter school 2002. Our approach is to use the theory of Coleman functions on the moduli space of genus zero curves with marked points and its compactification. The main ingredients are the analytic continuation of Coleman functions to the normal bundle of divisors at infinity and definition of a special tangential base point on the moduli space.
Bringmann, Guerzhoy and Kane have shown how to correct mock modular forms by a certain linear combination of the Eichler integral of their shadows in order to obtain p-adic modular forms in the sense of Serre. In this paper, we give a new proof of their results (for good primes p) by employing the geometric theory of harmonic Maass forms developed by the first author and the theory of overconvergent modular forms due to Katz and Coleman.
In this preprint we prove that any finite slope modular form fits into a p-adic family of modular forms which is indexed by the weight. Here, the term p-adic family means that p-adic congruences between weights entail certain p-adic congruences between the corresponding modular forms. We also show that the dimension of the slope subspace of the space of modular forms does not depend on the weight. Both statements are predicted by the Mazur-Gouvea Conjecture, which has been proven by Coleman using methods from rigid analytic geometry. In contrast our proof is based on a comparison of (topologic…
We p-adically interpolate the relative de Rham cohomology of the universal elliptic curve over strict neighbourhoods of the ordinary locus of modular curves, together with the Hodge filtration and Gauss-Manin connection. Sections of these sheaves provide the so called nearly overconvergent modular forms. This extends previous work of Andreatta, Iovita and Pilloni where we p-adically interpolate powers of the Hodge bundle and in that case the sections coincide with Coleman overconvergent modular forms. We also show that, under suitable assumptions, one can p-adically interpolate the Gauss-Manin…
We describe a more efficient algorithm to compute p-adic Coleman integrals on odd degree hyperelliptic curves for large primes p. The improvements come from using fast linear recurrence techniques when reducing differentials in Monsky-Washnitzer cohomology, a technique introduced by Harvey arXiv:math/0610973 when computing zeta functions. The complexity of our algorithm is quasilinear in $\sqrt p$ and is polynomial in the genus and precision. We provide timings comparing our implementation with existing approaches.
Our goal in this article is to prove a form of $p$-adic Birch and Swinnerton-Dyer formula for the second derivative of the $p$-adic $L$-function associated to a newform $f$ which is non-crystalline semistable at $p$ at its central critical point, by expressing this quantity in terms of a $p$-adic (cyclotomic) regulator defined on an extended trianguline Selmer group. We also prove a two-variable version of this result for height pairings we construct by considering infinitesimal deformations afforded by a Coleman family passing through $f$. This, among other things, leads us to a proof of an a…
We give a new proof of Faltings's p-adic Eichler-Shimura decomposition of the modular curves via BGG methods and the Hodge-Tate period map. The key property is the relation between the Tate module and the Faltings extension, which was already used in the original proof. Then, we construct overconvergent Eichler-Shimura (ES) maps for the modular curves providing ''the second half'' of the overconvergent ES map of Andreatta-Iovita-Stevens. We use higher Coleman theory on the modular curve developed by Boxer-Pilloni to show that the small slope part of the ES maps interpolates the classical p-adi…
We develop a variant of Coleman and Perrin Riou's methods giving, for a de Rham $p$-adic Galois representation, a construction of $p$-adic $L$ functions from a compatible system of global elements. As a result, we construct analytic functions on an open set of the $p$-adic weight space containing all locally algebraic characters of large enough conductor. Applied to Kato's Euler system, this gives $p$-adic $L$-functions for elliptic curves with additive bad reduction and, more generally, for modular forms which are supercuspidal at $p$. In the case of dimension $2$, we prove a functional equat…
This is the text of a talk to the study week on \emph{Modular forms and Galois representations} held in Luminy, 1997. We give a survey of $p$-adic modular forms, as developped by Serre, Katz, Hida, Wiles, Coleman and others...
We give the first explicit examples beyond the Chabauty-Coleman method where Kim's nonabelian Chabauty program determines the set of rational points of a curve defined over $\mathbb{Q}$ or a quadratic number field. We accomplish this by studying the role of $p$-adic heights in explicit nonabelian Chabauty.
The purpose of this paper is to prove integrality for certain $p$-adic iterated Coleman integrals. As underlying geometry we will take the complement of a divisor $D\subset X$ with good reduction, where $X$ is the projective line or an elliptic curve over the Witt vectors of a perfect characteristic $p$ field. As a corollary we prove a lower bound for the valuations of $p$-adic multiple zeta values.
The Chabauty-Coleman method is a $p$-adic method for finding all rational points on curves of genus $g$ whose Jacobians have Mordell-Weil rank $r < g$. Recently, Edixhoven and Lido developed a geometric quadratic Chabauty method that was adapted by Spelier to cover the case of geometric linear Chabauty. We compare the geometric linear Chabauty method and the Chabauty-Coleman method and show that geometric linear Chabauty can outperform Chabauty-Coleman in certain cases. However, as Chabauty-Coleman remains more practical for general computations, we discuss how to strengthen Chabauty-Coleman t…
In this article, we describe an efficient method for computing Teitelbaum's $p$-adic $\mathcal{L}$-invariant. These invariants are realized as the eigenvalues of the $\mathcal{L}$-operator acting on a space of harmonic cocycles on the Bruhat-Tits tree $\mathcal{T}$, which is computable by the methods of Franc and Masdeu described in [FM14]. The main difficulty in computing the $\mathcal{L}$-operator is the efficient computation of the $p$-adic Coleman integrals in its definition. To solve this problem, we use overconvergent methods, first developed by Darmon, Greenberg, Pollack and Stevens. In…
We investigate a question of Burns and Sano concerning the structure of the module of Euler systems for a general $p$-adic representation. Assuming the weak Leopoldt conjecture, and the vanishing of $μ$-invariants of natural Iwasawa modules, we obtain an Iwasawa-theoretic classification criterion for Euler systems which can be used to study this module. This criterion, taken together with Coleman's conjecture on circular distributions, leads us to pose a refinement of the aforementioned question for which we provide strong, and unconditional, evidence. We furthermore answer this question in th…
Let f be a modular form with complex multiplication. If f has critical slope, then Coleman's classicality theorem implies that there is a p-adic overconvergent generalized Hecke eigenform with the same Hecke eigenvalues as f. We give a formula for the Fourier coefficiets of this generalized Hecke eigenform. We also investigate the dimension of the generalized Hecke eigenspace of p-adic overconvergent forms containing f.
For a crystalline p-adic representation of the absolute Galois group of Qp, we define a family of Coleman maps (linear maps from the Iwasawa cohomology of the representation to the Iwasawa algebra), using the theory of Wach modules. Let f = sum(a_n q^n) be a normalized new modular eigenform and p an odd prime at which f is either good ordinary or supersingular. By applying our theory to the p-adic representation associated to f, we define two Coleman maps with values in the Iwasawa algebra of Zp^* (after extending scalars to some extension of Qp). Applying these maps to the Kato zeta elements …
Let p be a rational prime and N a positive integer which is prime to p. Let W be the p-adic weight space for GL_{2,Q}. Let C_N be the p-adic Coleman-Mazur eigencurve of tame level N. In this paper, we prove that any irreducible component of C_N which is of finite degree over W is in fact finite over W. Combined with an argument of Chenevier and a conjecture of Coleman-Mazur-Buzzard-Kilford (which has been proven in special cases, and for general quaternionic eigencurves) this shows that the only finite degree components of the eigencurve are the ordinary components.
In this paper we define Banach spaces of overconvergent half-integral weight $p$-adic modular forms and Banach modules of families of overconvergent half-integral weight $p$-adic modular forms over admissible open subsets of weight space. Both spaces are equipped with a continuous Hecke action for which $U_{p^2}$ is moreover compact. The modules of families of forms are used to construct an eigencurve parameterizing all finite-slope systems of eigenvalues of Hecke operators acting on these spaces. We also prove an analog of Coleman's theorem stating that overconvergent eigenforms of suitably l…
Let $f_{\mathrm{new}}$ be a classical newform of weight $\geq 2$ and prime to $p$ level. We study the arithmetic of $f_{\mathrm{new}}$ and its unique $p$-stabilisation $f$ when $f_{\mathrm{new}}$ is $p$-irregular, that is, when its Hecke polynomial at $p$ admits a single repeated root. In particular, we study $p$-adic weight families through $f$ and its base-change to an imaginary quadratic field $F$ where $p$ splits, and prove that the respective eigencurves are both Gorenstein at $f$. We use this to construct a two-variable $p$-adic $L$-function over a Coleman family through $f$, and a three…
On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case
Warwick Mathematics Institute, University of Warwick（华威大学华威数学研究所）；Equinor ASA（Equinor公司）；Faculty of Mathematics & Computer Science, UniDistance Suisse（瑞士开放大学数学与计算机科学系）
Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological approach of Coleman. The key ingredient of the proof is giving an explicit description of the Goren-Oort stratification of the special fiber of the Hilbert modular variety. A byproduct of the proof is to show that, at least when $p$ is inert, of the rigid cohomology of the ordinary locus has the same image as the classical forms in the Grothendieck group of Hecke …
