Showing 1–17 of 17 results for author: Wake, P

Iwasawa invariants in residually reducible Hida families

Authors: Robert Pollack, Preston Wake

Abstract: We study the variation of $μ$-invariants of modular forms in a cuspidal Hida family in the case that the family intersects an Eisenstein family. We allow for intersections that occur because of "trivial zeros" (that is, because $p$ divides an Euler factor) as in Mazur's Eisenstein ideal paper, and pay special attention to the case of the 5-adic family passing through the elliptic curve $X_0(11)$. We study the variation of $μ$-invariants of modular forms in a cuspidal Hida family in the case that the family intersects an Eisenstein family. We allow for intersections that occur because of "trivial zeros" (that is, because $p$ divides an Euler factor) as in Mazur's Eisenstein ideal paper, and pay special attention to the case of the 5-adic family passing through the elliptic curve $X_0(11)$. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Explicit non-Gorenstein R=T via rank bounds II: Computational aspects

Authors: Catherine Hsu, Preston Wake, Carl Wang-Erickson

Abstract: This is the second in a pair of papers about residually reducible Galois deformation rings with non-optimal level. In the first paper, we proved a Galois-theoretic criterion for the deformation ring to be as small as possible. This paper focuses on the computations needed to verify this criterion. We adapt a technique developed by Sharifi to compute number fields with twisted-Heisenberg Galois gro… ▽ More This is the second in a pair of papers about residually reducible Galois deformation rings with non-optimal level. In the first paper, we proved a Galois-theoretic criterion for the deformation ring to be as small as possible. This paper focuses on the computations needed to verify this criterion. We adapt a technique developed by Sharifi to compute number fields with twisted-Heisenberg Galois group and prescribed ramification, and compute the splitting behavior of primes in these extensions. △ Less

Submitted 16 March, 2023; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: 50 pages. To appear in the proceedings of the Fifteenth Algorithmic Number Theory Symposium (ANTS-XV)

Journal ref: Res. Number Theory 9 (2023), no. 1, Paper No. 16, 52 pp

Explicit non-Gorenstein R=T via rank bounds I: Deformation theory

Authors: Catherine Hsu, Preston Wake, Carl Wang-Erickson

Abstract: Ribet has proven remarkable results about non-optimal levels of residually reducible Galois representations. We focus on a non-optimal level $N$ that is the product of two distinct primes and where the Galois deformation ring is not expected to be Gorenstein. We prove a Galois-theoretic criterion for the deformation ring to be as small as possible -- that is, for there to be a unique newform of le… ▽ More Ribet has proven remarkable results about non-optimal levels of residually reducible Galois representations. We focus on a non-optimal level $N$ that is the product of two distinct primes and where the Galois deformation ring is not expected to be Gorenstein. We prove a Galois-theoretic criterion for the deformation ring to be as small as possible -- that is, for there to be a unique newform of level $N$ with reducible residual representation. When this criterion is satisfied, we deduce an $R=\mathbb{T}$ theorem. △ Less

Submitted 16 March, 2023; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: 57 pages

Another look at rational torsion of modular Jacobians

Authors: Kenneth A. Ribet, Preston Wake

Abstract: We study the rational torsion subgroup of the modular Jacobian $J_0(N)$ for $N$ a square-free integer. We give a new proof of a result of Ohta on a generalization of Ogg's conjecture: for a prime number $p \nmid 6N$, the $p$-primary part of the rational torsion subgroup equals that of the cuspidal subgroup. Whereas previous proofs of this result used explicit computations of the cardinalities of t… ▽ More We study the rational torsion subgroup of the modular Jacobian $J_0(N)$ for $N$ a square-free integer. We give a new proof of a result of Ohta on a generalization of Ogg's conjecture: for a prime number $p \nmid 6N$, the $p$-primary part of the rational torsion subgroup equals that of the cuspidal subgroup. Whereas previous proofs of this result used explicit computations of the cardinalities of these groups, we instead use their structure as modules for the Hecke algebra. △ Less

Submitted 6 September, 2022; v1 submitted 10 June, 2022; originally announced June 2022.

Comments: 15 pages. Minor revisions. Accepted in Proc. Natl. Acad. Sci. USA

A modular construction of unramified $p$-extensions of $\mathbb{Q}(N^{1/p})$

Authors: Jaclyn Lang, Preston Wake

Abstract: We show that for primes $N, p \geq 5$ with $N \equiv -1 \bmod p$, the class number of $\mathbb{Q}(N^{1/p})$ is divisible by $p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when $N \equiv -1 \bmod p$, there is always a cusp form of weight $2$ and level $Γ_0(N^2)$ whose $\ell$-th Fourier coefficient is congruent to $\ell + 1$ modulo a prime… ▽ More We show that for primes $N, p \geq 5$ with $N \equiv -1 \bmod p$, the class number of $\mathbb{Q}(N^{1/p})$ is divisible by $p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when $N \equiv -1 \bmod p$, there is always a cusp form of weight $2$ and level $Γ_0(N^2)$ whose $\ell$-th Fourier coefficient is congruent to $\ell + 1$ modulo a prime above $p$, for all primes $\ell$. We use the Galois representation of such a cusp form to explicitly construct an unramified degree $p$ extension of $\mathbb{Q}(N^{1/p})$. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 12 pages

MSC Class: 11F33 (Primary); 11F80; 11R29; 11R37 (Secondary)

Generalized Bockstein maps and Massey products

Authors: Yeuk Hay Joshua Lam, Yuan Liu, Romyar Sharifi, Preston Wake, Jiuya Wang

Abstract: Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H,… ▽ More Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of the rational numbers and to give a new proof of the vanishing of triple Massey products in Galois cohomology. △ Less

Submitted 25 November, 2022; v1 submitted 23 April, 2020; originally announced April 2020.

Comments: 57 pages, to appear in Forum Math. Sigma

MSC Class: 20J05; 20J06; 12G05; 11R29 (Primary); 11R23; 11R34 (Secondary)

The Eisenstein ideal for weight k and a Bloch-Kato conjecture for tame families

Authors: Preston Wake

Abstract: We study the Eisenstein ideal for modular forms of even weight $k>2$ and prime level $N$. We pay special attention to the phenomenon of $\mathit{extra \ reducibility}$: the Eisenstein ideal is strictly larger than the ideal cutting out reducible Galois representations. We prove a modularity theorem for these extra reducible representations. As consequences, we relate the derivative of a Mazur-Tate… ▽ More We study the Eisenstein ideal for modular forms of even weight $k>2$ and prime level $N$. We pay special attention to the phenomenon of $\mathit{extra \ reducibility}$: the Eisenstein ideal is strictly larger than the ideal cutting out reducible Galois representations. We prove a modularity theorem for these extra reducible representations. As consequences, we relate the derivative of a Mazur-Tate $L$-function to the rank of the Hecke algebra, generalizing a theorem of Merel, and give a new proof of a special case of an equivariant main conjecture of Kato. In the second half of the paper, we recall Kato's formulation of this main conjecture in the case of a family of motives given by twists by characters of conductor $N$ and $p$-power order and its relation to other formulations of the equivariant main conjecture. △ Less

Submitted 23 August, 2021; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: 42 pages. Minor revisions based on referee comments. Accepted to JEMS

The Eisenstein ideal with squarefree level

Authors: Preston Wake, Carl Wang-Erickson

Abstract: We use pseudodeformation theory to study the analogue of Mazur's Eisenstein ideal with certain squarefree levels. Given a prime number $p>3$ and a squarefree number $N$ satisfying certain conditions, we study the Eisenstein part of the $p$-adic Hecke algebra for $Γ_0(N)$, and show that it is a local complete intersection and isomorphic to a pseudodeformation ring. We also show that in certain case… ▽ More We use pseudodeformation theory to study the analogue of Mazur's Eisenstein ideal with certain squarefree levels. Given a prime number $p>3$ and a squarefree number $N$ satisfying certain conditions, we study the Eisenstein part of the $p$-adic Hecke algebra for $Γ_0(N)$, and show that it is a local complete intersection and isomorphic to a pseudodeformation ring. We also show that in certain cases, the Eisenstein ideal is not principal and that the cuspidal quotient of the Hecke algebra is not Gorenstein. As a corollary, we prove that "multiplicity one" fails for the modular Jacobian in these cases. In a particular case, this proves a conjecture of Ribet. △ Less

Submitted 19 January, 2021; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: 49 pages, to appear in Adv. Math., revisions in response to referee report and some additions to the introduction

Journal ref: Adv. Math. 380 (2021), Paper No. 107543, 62 pp

Deformation conditions for pseudorepresentations

Authors: Preston Wake, Carl Wang-Erickson

Abstract: Given a property of representations satisfying a basic stability condition, Ramakrishna developed a variant of Mazur's Galois deformation theory for representations with that property. We introduce an axiomatic definition of pseudorepresentations with such a property. Among other things, we show that pseudorepresentations with a property enjoy a good deformation theory, generalizing Ramakrishna's… ▽ More Given a property of representations satisfying a basic stability condition, Ramakrishna developed a variant of Mazur's Galois deformation theory for representations with that property. We introduce an axiomatic definition of pseudorepresentations with such a property. Among other things, we show that pseudorepresentations with a property enjoy a good deformation theory, generalizing Ramakrishna's theory to pseudorepresentations. △ Less

Submitted 27 June, 2019; v1 submitted 6 July, 2017; originally announced July 2017.

Comments: To appear in Forum of Mathematics, Sigma. 33 pages

MSC Class: 11F70 (primary); 16R99; 11S20 (secondary)

Journal ref: Forum of Mathematics, Sigma 7 (2019) e20

The rank of Mazur's Eisenstein ideal

Authors: Preston Wake, Carl Wang-Erickson

Abstract: We use pseudodeformation theory to study Mazur's Eisenstein ideal. Given prime numbers $N$ and $p>3$, we study the Eisenstein part of the $p$-adic Hecke algebra for $Γ_0(N)$. We compute the rank of this Hecke algebra (and, more generally, its Newton polygon) in terms of Massey products in Galois cohomology, answering a question of Mazur and generalizing a result of Calegari-Emerton. We also also g… ▽ More We use pseudodeformation theory to study Mazur's Eisenstein ideal. Given prime numbers $N$ and $p>3$, we study the Eisenstein part of the $p$-adic Hecke algebra for $Γ_0(N)$. We compute the rank of this Hecke algebra (and, more generally, its Newton polygon) in terms of Massey products in Galois cohomology, answering a question of Mazur and generalizing a result of Calegari-Emerton. We also also give new proofs of Merel's result on this rank and of Mazur's results on the structure of the Hecke algebra. △ Less

Submitted 10 July, 2019; v1 submitted 6 July, 2017; originally announced July 2017.

Comments: 63 pages. Final version. Improvements to exposition and minor corrections, added dedication. To appear in Duke Math J

Journal ref: Duke Math. J. 169, no. 1 (2020), 31-115

Primitive elements in $p$-divisible groups

Authors: Robert Kottwitz, Preston Wake

Abstract: We introduce the notion of primitive elements in arbitrary truncated $p$-divisible groups. By design, the scheme of primitive elements is finite and locally free over the base. Primitive elements generalize the "points of exact order $N$," developed by Drinfeld and Katz-Mazur for elliptic curves. We introduce the notion of primitive elements in arbitrary truncated $p$-divisible groups. By design, the scheme of primitive elements is finite and locally free over the base. Primitive elements generalize the "points of exact order $N$," developed by Drinfeld and Katz-Mazur for elliptic curves. △ Less

Submitted 7 June, 2017; v1 submitted 9 October, 2015; originally announced October 2015.

Comments: 11 pages. Minor revisions

MSC Class: 11G18; 14L15

Ordinary pseudorepresentations and modular forms

Authors: Preston Wake, Carl Wang-Erickson

Abstract: In this short note, we observe that the techniques of our recent work "Pseudo-modularity and Iwasawa theory" can be used to provide a new proof of some of the residually reducible modularity lifting results of Skinner and Wiles. In these cases, we have found that a deformation ring of ordinary pseudorepresentations is equal to the Eisenstein local component of a Hida Hecke algebra. We also show th… ▽ More In this short note, we observe that the techniques of our recent work "Pseudo-modularity and Iwasawa theory" can be used to provide a new proof of some of the residually reducible modularity lifting results of Skinner and Wiles. In these cases, we have found that a deformation ring of ordinary pseudorepresentations is equal to the Eisenstein local component of a Hida Hecke algebra. We also show that Vandiver's conjecture implies Sharifi's conjecture. △ Less

Submitted 30 January, 2017; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: Final version, to appear in Proc. Amer. Math. Soc. 14 pages

MSC Class: 11F33; 11F80; 11R23

Journal ref: Proc. Amer. Math. Soc. Ser. B 4 (2017), 53-71

Full level structures revisited: pairs of roots of unity

Authors: Preston Wake

Abstract: We introduce a notion of full level structure for the group scheme $μ_p \times μ_p$, and show that scheme of full level structures is flat over $\Bbb{Z}$. We introduce a notion of full level structure for the group scheme $μ_p \times μ_p$, and show that scheme of full level structures is flat over $\Bbb{Z}$. △ Less

Submitted 15 June, 2018; v1 submitted 4 June, 2015; originally announced June 2015.

Comments: 15 pages, minor revisions

MSC Class: 11G18; 14L15

Journal ref: Journal of Number Theory, Volume 168, November 2016, Pages 81-100

Pseudo-modularity and Iwasawa theory

Authors: Preston Wake, Carl Wang-Erickson

Abstract: We prove, assuming Greenberg's conjecture, that the ordinary eigencurve is Gorenstein at an intersection point between the Eisenstein family and the cuspidal locus. As a corollary, we obtain new results on Sharifi's conjecture. This result is achieved by constructing a universal ordinary pseudodeformation ring and proving an $R = \mathbb T$ result. We prove, assuming Greenberg's conjecture, that the ordinary eigencurve is Gorenstein at an intersection point between the Eisenstein family and the cuspidal locus. As a corollary, we obtain new results on Sharifi's conjecture. This result is achieved by constructing a universal ordinary pseudodeformation ring and proving an $R = \mathbb T$ result. △ Less

Submitted 7 September, 2017; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: Changes to section 5.9; typos corrected. To appear in Amer. J. Math. 54 pages

MSC Class: 11F33; 11F80; 11R23

Journal ref: Amer. J. Math. 140 (2018), no. 4, 977-1040

Eisenstein Hecke algebras and conjectures in Iwasawa theory

Authors: Preston Wake

Abstract: We formulate a weak Gorenstein property for the Eisenstein component of the p-adic Hecke algebra associated to modular forms. We show that this weak Gorenstein property holds if and only if a weak form of Sharifi's conjecture and a weak form of Greenberg's conjecture hold. We formulate a weak Gorenstein property for the Eisenstein component of the p-adic Hecke algebra associated to modular forms. We show that this weak Gorenstein property holds if and only if a weak form of Sharifi's conjecture and a weak form of Greenberg's conjecture hold. △ Less

Submitted 5 November, 2014; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: 22 pages

Journal ref: Algebra Number Theory 9 (2015) 53-75

The Lambda-adic Eichler-Shimura isomorphism and p-adic etale cohomology

Authors: Preston Wake

Abstract: We give a new proof of Ohta's Lambda-adic Eichler-Shimura isomorphism using p-adic Hodge theory and the results of Bloch-Kato and Hyodo on p-adic etale cohomology. We give a new proof of Ohta's Lambda-adic Eichler-Shimura isomorphism using p-adic Hodge theory and the results of Bloch-Kato and Hyodo on p-adic etale cohomology. △ Less

Submitted 22 August, 2017; v1 submitted 2 March, 2013; originally announced March 2013.

Comments: This paper contains many mistakes, and would require substantial revisions to make it suitable for publication. Because there are several recent articles covering similar material (see the articles arXiv:1407.5707 and arXiv:1407.5709 of B. Cais), I don't plan to make these revisions at this time

Hecke algebras associated to $Λ$-adic modular forms

Authors: Preston Wake

Abstract: We show that if an Eisenstein component of the $p$-adic Hecke algebra associated to modular forms is Gorenstein, then it is necessary that the plus-part of a certain ideal class group is trivial. We also show that this condition is sufficient whenever a conjecture of Sharifi holds. We show that if an Eisenstein component of the $p$-adic Hecke algebra associated to modular forms is Gorenstein, then it is necessary that the plus-part of a certain ideal class group is trivial. We also show that this condition is sufficient whenever a conjecture of Sharifi holds. △ Less

Submitted 26 February, 2013; v1 submitted 16 February, 2012; originally announced February 2012.

Comments: 13 pages