Ordinary Modular Forms and Companion Points on the Eigencurve

John Bergdall

DOI: https://doi.org/10.1016/j.jnt.2013.07.014

2013-09-03

Abstract:We give a new proof of a result due to Breuil and Emerton which relates the splitting behavior at p of the p-adic Galois representation attached to a p-ordinary modular form to the existence of an overconvergent p-adic companion form for f.

Number Theory

What problem does this paper attempt to address?

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

Johannes Droschl

2024-09-15

Abstract:Let $\mathrm{F}$ be a local non-archimedean field of residue characteristic $p$ and $\overline{\mathbb{F}}_\ell$ an algebraic closure of a finite field of characteristic $\ell \neq p$. We extend the results of Lapid and Mínguez concerning $\square$-irreducible representations of inner forms of $\mathrm{GL}_n(\mathrm{F})$ to representations over $\overline{\mathbb{F}}_\ell$. As applications, we compute the Godement-Jacquet $L$-factor for any smooth irreducible representation over $\overline{\mathbb{F}}_\ell$ and show that the local factors of a representation agree with the ones of its $\mathrm{C}$-parameter defined by Kurinczuk and Matringe. Moreover, we reprove that the classification of irreducible representations via multisegments due to Vignéras and Mínguez-Sécherre is indeed exhaustive without using the classification of Ariki and Mathas of simple modules of Hecke algebras. Finally, we characterize the irreducible constituents of certain parabolically induced representations, as was already done by Zelevinsky over $\mathbb{C}$.

Representation Theory
Congruences of modular forms and modularity of Tate-Shafarevich classes

Matteo Tamiozzo

2024-02-12

Abstract:We prove, under suitable assumptions, that $p$-torsion Tate-Shafarevich classes for elliptic curves over the rationals are visible in quotients of Jacobians of modular curves, as predicted by a conjecture of Jetchev-Stein. The key ingredient is the non-triviality of the Bertolini-Darmon bipartite Kolyvagin system, which implies that suitable cohomology classes of the system form a basis of the Selmer group modulo $p$.

Number Theory
An Euler system for the adjoint of a modular form

David Loeffler,Sarah Livia Zerbes

2023-12-08

Abstract:We construct an Euler system for the adjoint Galois representation of a modular form, using motivic cohomology classes arising from Hilbert modular surfaces. We use this Euler system to give an upper bound for the Selmer group of the adjoint representation over the cyclotomic Zp-extension, which agrees with the predictions of the Iwasawa main conjecture up to powers of p and the augmentation ideal.

Number Theory
On modular forms and Domb numbers

J. M. Campbell

DOI: https://doi.org/10.1080/10652469.2024.2428420

2024-11-27

Integral Transforms and Special Functions

Abstract:We prove conjectured formulas for 1π due to Chan and Verrill and related to modular forms for Γ0(6)+3 . These experimental results from Chan and Verrill involve the sequence of Domb numbers and were discovered via the PARI software. A key tool involved in our proofs of Chan and Verrill's conjectures is given by an identity from Rogers derived via three-variable Mahler measures.

mathematics, applied
On a parity result for the symmetric square of modular forms with congruent residual representations

Jishnu Ray

2024-06-05

Abstract:The parity of Selmer ranks for elliptic curves defined over the rational numbers $\mathbb{Q}$ with good ordinary reduction at an odd prime $p$ has been studied by Shekhar. The proof of Shekhar relies on proving a parity result for the $\lambda$-invariants of Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension $\mathbb{Q}_\infty$ of $\mathbb{Q}$. This has been further generalized for elliptic curves with supersingular reduction at $p$ by Hatley and for modular forms by Hatley--Lei. In this paper, we prove a parity result for the $\lambda$-invariants of Selmer groups over $\mathbb{Q}_\infty$ for the symmetric square representations associated to two modular forms with congruent residual Galois representations. We treat both the ordinary and the non-ordinary cases.

Number Theory
On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

David Loeffler,Sarah Livia Zerbes

DOI: https://doi.org/10.48550/arXiv.2110.13102

2023-07-13

Abstract:Let $A$ be a modular abelian surface over $Q$ which either has trivial geometric endomorphism ring, or arises as the restriction of scalars of an elliptic curve over an imaginary quadratic field which is modular and is not a $Q$-curve. In the former case, assume that there exists an odd Dirichlet character $\chi$ such that $L(A,\chi,1)\neq 0$. We prove the following implication: if $L(A, 1) \ne 0$, and the $p$-adic eigenvariety for $GSp_4$ is smooth at the point corresponding to $A$ (and some auxiliary technical hypotheses hold), then $A(Q)$ is finite, as predicted by the Birch--Swinnerton-Dyer conjecture, and the $p$-part of the Tate--Shafarevich group is also finite. We also prove one inclusion of the cyclotomic Iwasawa Main Conjecture for $A$. Moreover, we also prove analogous results for cohomological automorphic representations of $GSp_4$, removing many of the restrictive hypotheses in our earlier work [<a class="link-https" data-arxiv-id="2003.05960" href="https://arxiv.org/abs/2003.05960">2003.05960</a>]; for cohomological representations we do not need to assume smoothness of the eigenvariety, since it is automatic in this case. The main ingredient in the proof is the Euler system attached to the spin representations of genus $2$ Siegel modular forms constructed in our earlier work with Skinner.

Number Theory
Explicit reciprocity laws and Iwasawa theory for modular forms

Matthew Emerton,Robert Pollack,Tom Weston

2024-10-10

Abstract:We prove that the Mazur-Tate elements of an eigenform $f$ sit inside the Fitting ideals of the corresponding dual Selmer groups along the cyclotomic $\mathbb Z_p$-extension (up to scaling by a single constant). Our method begins with the construction of local cohomology classes built via the $p$-adic local Langlands correspondence. From these classes, we build algebraic analogues of the Mazur-Tate elements which we directly verify sit in the appropriate Fitting ideals. Using Kato's Euler system and explicit reciprocity laws, we prove that these algebraic elements divide the corresponding Mazur-Tate elements, implying our theorem.

Number Theory
Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

Matthew Emerton,Davide Reduzzi,Liang Xiao

DOI: https://doi.org/10.1017/fms.2017.26

2014-01-01

Abstract:Let $p$ be a prime number and $F$ a totally real number field. For each prime $\mathfrak{p}$ of $F$ above $p$ we construct a Hecke operator $T_{\mathfrak{p}}$ acting on $(\text{mod}\,p^{m})$ Katz Hilbert modular classes which agrees with the classical Hecke operator at $\mathfrak{p}$ for global sections that lift to characteristic zero. Using these operators and the techniques of patching complexes of Calegari and Geraghty we prove that the Galois representations arising from torsion Hilbert modular classes of parallel weight $\mathbf{1}$ are unramified at $p$ when $[F:\mathbb{Q}]=2$ . Some partial and some conjectural results are obtained when $[F:\mathbb{Q}]>2$ .
Modulo $\ell$ distinction problems

Peiyi Cui,Thomas Lanard,Hengfei Lu

2024-04-04

Abstract:Let $F$ be a non-archimedean local field of characteristic different from 2 and residual characteristic $p$. This paper concerns the $\ell$-modular representations of a connected reductive group $G$ distinguished by a Galois involution, with $\ell$ an odd prime different from $p$. We start by proving a general theorem allowing to lift supercuspidal $\overline{\mathbb{F}}_{\ell}$-representations of $\mathrm{GL}_n(F)$ distinguished by an arbitrary closed subgroup $H$ to a distinguished supercuspidal $\overline{\mathbb{Q}}_{\ell}$-representation. Given a quadratic field extension $E/F$ and an irreducible $\overline{\mathbb{F}}_{\ell}$-representation $\pi$ of $\mathrm{GL}_n(E)$, we verify the Jacquet conjecture in the modular setting that if the Langlands parameter $\phi_\pi$ is irreducible and conjugate-self-dual, then $\pi$ is either $\mathrm{GL}_n(F)$-distinguished or $(\mathrm{GL}_n(F),\omega_{E/F})$-distinguished (where $\omega_{E/F}$ is the quadratic character of $F^\times$ associated to the quadratic field extension $E/F$ by the local class field theory), but not both, which extends one result of Sécherre to the case $p=2$. We give another application of our lifting theorem for supercuspidal representations distinguished by a unitary involution, extending one result of Zou to $p=2$.

Mathematics
Kolyvagin's conjecture for modular forms

Matteo Longo,Maria Rosaria Pati,Stefano Vigni

2024-12-03

Abstract:Our main result in this article is a proof (under mild technical assumptions) of an analogue for $p$-adic Galois representations attached to a newform $f$ of even weight $k\geq4$ of Kolyvagin's conjecture on the $p$-indivisibility of derived Heegner points on elliptic curves, where $p$ is a prime number that is ordinary for $f$. Our strategy, which is inspired by work of W. Zhang in weight $2$, is based on a variant for modular forms of the congruence method originally introduced by Bertolini-Darmon to prove one divisibility in the anticyclotomic Iwasawa main conjecture for rational elliptic curves. We adapt to higher (even) weight modular forms this approach via congruences, building crucially on results of Wang on the indivisibility of Heegner cycles over Shimura curves. Then we offer an application of our results on Kolyvagin's conjecture to the Tamagawa number conjecture for the motive of $f$ and describe other (standard) consequences on structure theorems for Bloch-Kato-Selmer groups, $p$-parity results and converse theorems for $f$. Since in the present paper we need $p>k+1$, our main theorem and its applications can be viewed as complementary to results obtained by the first and third authors in their article on the Tamagawa number conjecture for modular motives, where Kolyvagin's conjecture was proved (in a completely different way exploiting the arithmetic of Hida families) under the assumption that $k$ is congruent to $2$ modulo $2(p-1)$, which forces $p<k$. In forthcoming work, we will use results contained in this paper to prove (under analogous assumptions) the counterpart for an even weight newform $f$ of Perrin-Riou's Heegner point main conjecture for elliptic curves ("Heegner cycle main conjecture" for $f$).

Number Theory,Algebraic Geometry
A $p$-adic adjoint $L$-function and the ramification locus of the Hilbert modular eigenvariety

Baskar Balasubramanyam,John Bergdall,Matteo Longo

2024-07-02

Abstract:Let $F$ be a totally real field and $\mathscr{E}$ the middle-degree eigenvariety for Hilbert modular forms over $F$, constructed by Bergdall--Hansen. We study the ramification locus of $\mathscr{E}$ in relation to the $p$-adic properties of adjoint $L$-values. The connection between the two is made via an analytic twisted Poincaré pairing over affinoid weights, which interpolates the classical twisted Poincaré pairing for Hilbert modular forms, itself known to be related to adjoint $L$-values by works of Ghate and Dimitrov. The overall strategy connecting the pairings to ramification is based on the theory of $L$-ideals, which was used by Bellaïche and Kim in the case where $F = \mathbb{Q}$.

Number Theory
Une factorisation de la cohomologie complétée et du système de Beilinson-Kato

Pierre Colmez,Shanwen Wang

2024-02-28

Abstract:We show that the modular symbol $(0,\infty)$, considered as an element of the dual of Emerton's completed cohomology, interpolates Kato's Euler system at classical points, and we deduce from this a factorisation of Beilinson-Kato's system as a product of two symbols $(0,\infty)$ (an algebraic analog of Rankin's method). The proof uses the $p$-adic local Langlands correspondence for ${\mathbf GL}_2({\mathbf Q}_p)$ and Emerton's factorization of the completed cohomology of the tower of modular curves for which we provide a new proof resting upon the construction of a Kirillov model for the completed cohomology, and which we refine by imposing conditions at classical points; the existence of such a refinement is a manifestation of an analyticity property for $p$-adic periods of modular forms.

Number Theory
Slopes of modular forms and geometry of eigencurves

Ruochuan Liu,Nha Xuan Truong,Liang Xiao,Bin Zhao

DOI: https://doi.org/10.48550/arXiv.2302.07697

2023-02-15

Abstract:Under a stronger genericity condition, we prove the local analogue of ghost conjecture of Bergdall and Pollack. As applications, we deduce in this case (a) a folklore conjecture of Breuil--Buzzard--Emerton on the crystalline slopes of Kisin's crystabelian deformation spaces, (b) Gouvea's $\lfloor\frac{k-1}{p+1}\rfloor$-conjecture on slopes of modular forms, and (c) the finiteness of irreducible components of the eigencurve. In addition, applying combinatorial arguments by Bergdall and Pollack, and by Ren, we deduce as corollaries in the reducible and strongly generic case, (d) Gouvea--Mazur conjecture, (e) a variant of Gouvea's conjecture on slope distributions, and (f) a refined version of Coleman's spectral halo conjecture.

Number Theory
Ordinary parts and local-global compatibility at $\ell=p$

Bence Hevesi

2024-10-28

Abstract:We prove local-global compatibility results at $\ell=p$ for the torsion automorphic Galois representations constructed by Scholze, generalising the work of Caraiani--Newton. In particular, we verify, up to a nilpotent ideal, the local-global compatibility conjecture at $\ell=p$ of Gee--Newton in the case of imaginary CM fields under some technical assumptions. The key new ingredient is a local-global compatibility result for $Q$-ordinary self-dual automorphic representations for arbitrary parabolic subgroups.

Number Theory,Representation Theory
Congruences for Siegel modular forms of nonquadratic nebentypus mod $p$

Siegfried Boecherer,Toshiyuki Kikuta

2024-02-05

Abstract:We prove that weights of two Siegel modular forms of nonquadratic nebentypus should satisfy some congruence relations if these modular forms are congruent to each other. Applying this result, we prove that there are no mod $p$ singular forms of nonquadratic nebentypus. Here we consider the case where the Fourier coefficients of the modular forms are algebraic integers, and we emphasize that $p$ is a rational prime. Moreover, we construct some examples of mod $\frak{p}$ singular forms of nonquadratic nebentypus using the Eisenstein series studied by Takemori.

Number Theory
Supercongruences using modular forms

Frits Beukers

2024-07-12

Abstract:Many generating series of combinatorially interesting numbers have the property that the sum of the terms of order $<p$ at some suitable point is congruent to a zero of a zeta-function modulo infinitely many primes $p$. Surprisingly, very often these congruences turn out to hold modulo $p^2$ or even $p^3$. We call such congruences supercongruences and in the past 15 years an abundance of them have been discovered. In this paper we show that a large proportion of them can be explained by the use of modular functions and forms.

Number Theory,Algebraic Geometry
Tamagawa number conjecture for CM modular forms and Rankin--Selberg convolutions

Francesc Castella

2024-07-20

Abstract:Let $E/F$ be an elliptic curve defined over a number field $F$ with complex multiplication by the ring of integers of an imaginary quadratic field $K$ such that the torsion points of $E$ generate over $F$ an abelian extension of $K$. In this paper we prove the $p$-part of the Birch and Swinnerton-Dyer formula for $E/F$ in analytic rank $1$ for primes $p>3$ split in $K$. This was previously known for $F=\mathbb{Q}$ by work of Rubin as a consequence of his proof of the Mazur--Swinnerton-Dyer ``main conjecture'' for rational CM elliptic curves, but the problem remained wide open for general $F$. The approach in this paper, based on a novel application of an idea of Bertolini--Darmon--Prasanna to consider a carefully chosen decomposable Rankin--Selberg convolution of two CM modular forms having the Hecke $L$-function of interest as one of the factors, circumvents the use of $p$-adic heights and Bertrand's $p$-adic transcendence results in previous approaches. It also yields a proof of similar results for CM abelian varieties $A/K$, and for CM modular forms of higher weight.

Number Theory
Ordinary primes in Hilbert modular varieties

Junecue Suh

2024-10-10

Abstract:A well-known conjecture, often attributed to Serre, asserts that any motive over any number field has infinitely many ordinary reductions (in the sense that the Newton polygon coincides with the Hodge polygon). In the case of Hilbert modular cuspforms $f$ of parallel weight $(2, \cdots , 2)$, we show how to produce more ordinary primes by using the Sato-Tate equidistribution and combining it with the Galois theory of the Hecke field. Under the assumption of stronger forms of Sato-Tate equidistribution, we get stronger (but conditional) results. In the case of higher weights, we formulate the ordinariness conjecture for submotives of the intersection cohomology of proper algebraic varieties with motivic coefficients, and verify it for the motives whose $l$-adic Galois realisations are abelian on a finite index subgroup. We get some results for Hilbert cuspforms of weight $(3, \cdots , 3)$, weaker than those for $(2, \cdots , 2)$.

Number Theory,Algebraic Geometry
Branch points of split degenerate superelliptic curves II: on a conjecture of Gerritzen and van der Put

Jeffrey Yelton

2024-07-16

Abstract:Let $K$ be a field with a discrete valuation, and let $p$ be a prime. It is known that if $\Gamma \lhd \Gamma_0 < \mathrm{PGL}_2(K)$ is a Schottky group normally contained in a larger group which is generated by order-$p$ elements each fixing $2$ points $a_i, b_i \in \mathbb{P}_K^1$, then the quotient of a certain subset of the projective line $\mathbb{P}_K^1$ by the action of $\Gamma$ can be algebraized as a superelliptic curve $C : y^p = f(x) / K$. The subset $S \subset K \cup \{\infty\}$ consisting of these pairs $a_i, b_i$ of fixed points is mapped bijectively modulo $\Gamma$ to the set $\mathcal{B}$ of branch points of the superelliptic map $x : C \to \mathbb{P}_K^1$. A conjecture of Gerritzen and van der Put, in the case that $C$ is hyperelliptic and $K$ has residue characteristic $\neq 2$, compares the cluster data of $S$ with that of $\mathcal{B}$. We show that this conjecture requires a slight modification in order to hold and then prove a much stronger version of the modified conjecture that holds for any $p$ and any residue characteristic.

Number Theory
p-adic Cohomology and classicality of overconvergent Hilbert modular forms

Yichao Tian,Liang Xiao

DOI: https://doi.org/10.48550/arXiv.1308.0779

2016-06-13

Abstract: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 modules.

Number Theory,Algebraic Geometry

Ordinary Modular Forms and Companion Points on the Eigencurve

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

Congruences of modular forms and modularity of Tate-Shafarevich classes

An Euler system for the adjoint of a modular form

On modular forms and Domb numbers

On a parity result for the symmetric square of modular forms with congruent residual representations

On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

Explicit reciprocity laws and Iwasawa theory for modular forms

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

Modulo $\ell$ distinction problems

Kolyvagin's conjecture for modular forms

A $p$-adic adjoint $L$-function and the ramification locus of the Hilbert modular eigenvariety

Une factorisation de la cohomologie complétée et du système de Beilinson-Kato

Slopes of modular forms and geometry of eigencurves

Ordinary parts and local-global compatibility at $\ell=p$

Congruences for Siegel modular forms of nonquadratic nebentypus mod $p$

Supercongruences using modular forms

Tamagawa number conjecture for CM modular forms and Rankin--Selberg convolutions

Ordinary primes in Hilbert modular varieties

Branch points of split degenerate superelliptic curves II: on a conjecture of Gerritzen and van der Put

p-adic Cohomology and classicality of overconvergent Hilbert modular forms