Showing 1–10 of 10 results for author: Deo, S V

Mod-$2$ Hecke algebras of level $3$ and $5$

Authors: Shaunak V. Deo, Anna Medvedovsky

Abstract: We use deformation theory to study the big Hecke algebra acting on mod-2 modular forms of prime level $N$ and all weights, especially its local component at the trivial representation. For $N = 3, 5$, we prove that the maximal reduced quotient of this big Hecke algebra is isomorphic to the maximal reduced quotient of the corresponding universal deformation ring. Then we completely determine the st… ▽ More We use deformation theory to study the big Hecke algebra acting on mod-2 modular forms of prime level $N$ and all weights, especially its local component at the trivial representation. For $N = 3, 5$, we prove that the maximal reduced quotient of this big Hecke algebra is isomorphic to the maximal reduced quotient of the corresponding universal deformation ring. Then we completely determine the structure of this big Hecke algebra. We also describe a natural grading on mod-$p$ Hecke algebras. △ Less

Submitted 2 May, 2024; v1 submitted 31 July, 2022; originally announced August 2022.

Comments: Final version: 40 Pages, made some minor changes following referee's suggestions. Comments are Welcome!

Report number: MPIM-Bonn-2023 MSC Class: 11F25; 11F33; 11F80 (primary); 20C08

Non-optimal levels of some reducible mod $p$ modular representations

Authors: Shaunak V. Deo

Abstract: Let $p \geq 5$ be a prime, $N$ be an integer not divisible by $p$, $\barρ_0$ be a reducible, odd and semi-simple representation of $G_{\mathbb{Q},Np}$ of dimension $2$ and $\{\ell_1,\cdots,\ell_r\}$ be a set of primes not dividing $Np$. After assuming that a certain Selmer group has dimension at most $1$, we find sufficient conditions for the existence of a cuspidal eigenform $f$ of level… ▽ More Let $p \geq 5$ be a prime, $N$ be an integer not divisible by $p$, $\barρ_0$ be a reducible, odd and semi-simple representation of $G_{\mathbb{Q},Np}$ of dimension $2$ and $\{\ell_1,\cdots,\ell_r\}$ be a set of primes not dividing $Np$. After assuming that a certain Selmer group has dimension at most $1$, we find sufficient conditions for the existence of a cuspidal eigenform $f$ of level $N\prod_{i=1}^{r}\ell_i$ and appropriate weight lifting $\barρ_0$ such that $f$ is new at every $\ell_i$. Moreover, suppose $p \mid \ell_{i_0}+1$ for some $1 \leq i_0 \leq r$. Then, after assuming that a certain Selmer group vanishes, we find sufficient conditions for the existence of a cuspidal eigenform of level $N\ell_{i_0}^2 \prod_{j \neq i_0} \ell_j$ and appropriate weight which is new at every $\ell_i$ and which lifts $\barρ_0$. As a consequence, we prove a conjecture of Billerey--Menares in many cases. △ Less

Submitted 30 January, 2024; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: v3: 42 Pages, significantly improved the main results, incorporated the changes suggested by the referees. Comments are welcome

MSC Class: 11F33; 11F80 (Primary)

On the $μ$ equals zero conjecture for the fine Selmer group in Iwasawa theory

Authors: Shaunak V. Deo, Anwesh Ray, R. Sujatha

Abstract: We study the Iwasawa theory of the fine Selmer group associated to certain Galois representations. The vanishing of the $μ$-invariant is shown to follow in some cases from a natural property satisfied by Galois deformation rings. We outline conditions under which the $μ=0$ conjecture is shown to hold for various Galois representations of interest. We study the Iwasawa theory of the fine Selmer group associated to certain Galois representations. The vanishing of the $μ$-invariant is shown to follow in some cases from a natural property satisfied by Galois deformation rings. We outline conditions under which the $μ=0$ conjecture is shown to hold for various Galois representations of interest. △ Less

Submitted 11 January, 2023; v1 submitted 20 February, 2022; originally announced February 2022.

Comments: Version 3: Final version, accepted for publication in Pure and applied math quaterly

MSC Class: 11R23; 11F80; 11G05; 11F11

Journal ref: Pure & Applied Math. Quarterly (2023) vol.19, no.2, pp. 641-680

The Eisenstein ideal of weight $k$ and ranks of Hecke algebras

Authors: Shaunak V. Deo

Abstract: Let $p$ and $\ell$ be primes such that $p > 3$ and $p \mid \ell-1$ and $k$ be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of weight $k$ and level $Γ_0(\ell)$ at the maximal Eisenstein ideal containing $p$. We give a necessary and sufficient condition for the $\mathbb{Z}_p$-rank of th… ▽ More Let $p$ and $\ell$ be primes such that $p > 3$ and $p \mid \ell-1$ and $k$ be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of weight $k$ and level $Γ_0(\ell)$ at the maximal Eisenstein ideal containing $p$. We give a necessary and sufficient condition for the $\mathbb{Z}_p$-rank of this Hecke algebra to be greater than $1$ in terms of vanishing of the cup products of certain global Galois cohomology classes. We also recover some of the results proven by Wake and Wang-Erickson for $k=2$ using our methods. In addition, we prove some $R=\mathbb{T}$ theorems under certain hypothesis. △ Less

Submitted 20 November, 2022; v1 submitted 8 June, 2021; originally announced June 2021.

Comments: v2: 38 pages, made some changes and corrections following referee's comments, added a Corollary giving criteria for the principality of the Eisenstein ideal. Comments are welcome

MSC Class: 11F80(primary); 11F25; 11F33 (secondary)

On density of modular points in pseudo-deformation rings

Authors: Shaunak V. Deo

Abstract: Given a continuous, odd, reducible and semi-simple $2$-dimensional representation $\barρ_0$ of $G_{\mathbb{Q},Np}$ over a finite field of odd characteristic $p$, we study the relation between the universal deformation ring of the pseudo-representation corresponding to $\barρ_0$ (pseudo-deformation ring) and the big $p$-adic Hecke algebra to prove that the maximal reduced quotient of the pseudo-def… ▽ More Given a continuous, odd, reducible and semi-simple $2$-dimensional representation $\barρ_0$ of $G_{\mathbb{Q},Np}$ over a finite field of odd characteristic $p$, we study the relation between the universal deformation ring of the pseudo-representation corresponding to $\barρ_0$ (pseudo-deformation ring) and the big $p$-adic Hecke algebra to prove that the maximal reduced quotient of the pseudo-deformation ring is isomorphic to the local component of the big $p$-adic Hecke algebra corresponding to $\barρ_0$ if a certain global Galois cohomology group has dimension $1$. This partially extends the results of Böckle to the case of residually reducible representations. We give an application of our main theorem to the structure of Hecke algebras modulo $p$. As another application of our methods and results, we prove a result about non-optimal levels of newforms lifting $\barρ_0$ in the spirit of Diamond-Taylor. This also gives a partial answer to a conjecture of Billerey-Menares. △ Less

Submitted 31 October, 2022; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: v3, 50 pages, made changes and corrections following comments given by referees, added a subsection in the introduction about the hypotheses of the main theorem, added more details to some proofs for better exposition and added a subsection in Section 2 listing various background results from the literature that are used in the article. Comments are welcome

MSC Class: 11F80(primary); 11F25; 11F33(secondary)

Unramifiedness of weight one Hilbert Hecke algebras

Authors: Shaunak V. Deo, Mladen Dimitrov, Gabor Wiese

Abstract: We prove that the Galois pseudo-representation valued in the mod $p^n$ cuspidal Hecke algebra for GL(2) over a totally real number field $F$, of parallel weight $1$ and level prime to $p$, is unramified at any place above $p$. The same is true for the non-cuspidal Hecke algebra at places above $p$ whose ramification index is not divisible by $p-1$. A novel geometric ingredient, which is also of an… ▽ More We prove that the Galois pseudo-representation valued in the mod $p^n$ cuspidal Hecke algebra for GL(2) over a totally real number field $F$, of parallel weight $1$ and level prime to $p$, is unramified at any place above $p$. The same is true for the non-cuspidal Hecke algebra at places above $p$ whose ramification index is not divisible by $p-1$. A novel geometric ingredient, which is also of an independent interest, is the construction and study, in the case when $p$ ramifies in $F$, of generalised $Θ$-operators using Reduzzi--Xiao's generalised Hasse invariants, including especially an injectivity criterion in terms of minimal weights. △ Less

Submitted 20 September, 2023; v1 submitted 25 November, 2019; originally announced November 2019.

Comments: 33 pages; accepted for publication in Algebra & Number Theory

MSC Class: 11F80 (primary); 11F25; 11F33; 11F41; 11G18; 14G35

Journal ref: Alg. Number Th. 18 (2024) 1465-1496

Effect of increasing the ramification on pseudo-deformation rings

Authors: Shaunak V. Deo

Abstract: Given a continuous, odd, semi-simple $2$-dimensional representation of $G_{\mathbb{Q},Np}$ over a finite field of odd characteristic $p$ and a prime $\ell$ not dividing $Np$, we study the relation between the universal deformation rings of the corresponding pseudo-representation for the groups $G_{\mathbb{Q},N\ell p}$ and $G_{\mathbb{Q},Np}$. As a related problem, we investigate when the universal… ▽ More Given a continuous, odd, semi-simple $2$-dimensional representation of $G_{\mathbb{Q},Np}$ over a finite field of odd characteristic $p$ and a prime $\ell$ not dividing $Np$, we study the relation between the universal deformation rings of the corresponding pseudo-representation for the groups $G_{\mathbb{Q},N\ell p}$ and $G_{\mathbb{Q},Np}$. As a related problem, we investigate when the universal pseudo-representation arises from an actual representation over the universal deformation ring. Under some hypotheses, we prove analogues of theorems of Boston and Böckle for the reduced pseudo-deformation rings. We improve these results when the pseudo-representation is unobstructed and $p$ does not divide $\ell^2-1$. When the pseudo-representation is unobstructed and $p$ divides $\ell+1$, we prove that the universal deformation rings in characteristic $0$ and $p$ of the pseudo-representation for $G_{\mathbb{Q},N\ell p}$ are not local complete intersection rings. As an application of our main results, we prove a big $R=\mathbb{T}$ theorem. △ Less

Submitted 6 December, 2021; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: 41 Pages, v2: following referee's comments added some remarks and a subsection in the introduction, reorganized Section 2, modified some proofs and made some minor corrections, comments are welcome

MSC Class: 11F80(primary); 11F70; 11F33; 13H10(secondary)

Newforms mod p in squarefree level, with applications to Monsky's Hecke-stable filtration

Authors: Shaunak V. Deo, Anna Medvedovsky, Alexandru Ghitza

Abstract: We propose an algebraic definition of the space of l-new mod-p modular forms for Gamma0(Nl) in the case that l is prime to N, which naturally generalizes to a notion of newforms modulo p in squarefree level. We use this notion of newforms to interpret the Hecke algebras on the graded pieces of the space of mod-2 level-3 modular forms described by Paul Monsky. Along the way, we describe a renormali… ▽ More We propose an algebraic definition of the space of l-new mod-p modular forms for Gamma0(Nl) in the case that l is prime to N, which naturally generalizes to a notion of newforms modulo p in squarefree level. We use this notion of newforms to interpret the Hecke algebras on the graded pieces of the space of mod-2 level-3 modular forms described by Paul Monsky. Along the way, we describe a renormalized version of the Atkin-Lehner involution: no longer an involution, it is an automorphism of the algebra of modular forms, even in characteristic p. △ Less

Submitted 27 November, 2018; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: 28 pages, appendix by Alexandru Ghitza

Report number: MPIM-Bonn-2017 MSC Class: 11F33 (Primary) 11F30; 11F11; 11F25; 11F23 (Secondary)

On the Hilbert eigenvariety at exotic and CM classical weight 1 points

Authors: Adel Betina, Shaunak V. Deo, Francesc Fité

Abstract: Let $F$ be a totally real number field and let $f$ be a classical cuspidal $p$-regular Hilbert modular eigenform over $F$ of parallel weight $1$. Let $x$ be the point on the $p$-adic Hilbert eigenvariety $\mathcal E$ corresponding to an ordinary $p$-stabilization of $f$. We show that if the $p$-adic Schanuel Conjecture is true, then $\mathcal E$ is smooth at $x$ if $f$ has CM. If we additionally a… ▽ More Let $F$ be a totally real number field and let $f$ be a classical cuspidal $p$-regular Hilbert modular eigenform over $F$ of parallel weight $1$. Let $x$ be the point on the $p$-adic Hilbert eigenvariety $\mathcal E$ corresponding to an ordinary $p$-stabilization of $f$. We show that if the $p$-adic Schanuel Conjecture is true, then $\mathcal E$ is smooth at $x$ if $f$ has CM. If we additionally assume that $F/\mathbb Q$ is Galois, we show that the weight map is étale at $x$ if $f$ has either CM or exotic projective image (which is the case for almost all cuspidal Hilbert modular eigenforms of parallel weight $1$). We prove these results by showing that the completed local ring of the eigenvariety at $x$ is isomorphic to a universal nearly ordinary Galois deformation ring. △ Less

Submitted 7 September, 2020; v1 submitted 29 June, 2018; originally announced June 2018.

Comments: The material in the introduction and the final sections was reorganized. The sections on background material were substantially shortened

MSC Class: 11F41; 11F80

Dihedral Universal Deformations

Authors: Shaunak V. Deo, Gabor Wiese

Abstract: This article deals with universal deformations of dihedral representations with a particular focus on the question when the universal deformation is dihedral. Results are obtained in three settings: (1) representation theory, (2) algebraic number theory, (3) modularity. As to (1), we prove that the universal deformation is dihedral if all infinitesimal deformations are dihedral. Concerning (2) in… ▽ More This article deals with universal deformations of dihedral representations with a particular focus on the question when the universal deformation is dihedral. Results are obtained in three settings: (1) representation theory, (2) algebraic number theory, (3) modularity. As to (1), we prove that the universal deformation is dihedral if all infinitesimal deformations are dihedral. Concerning (2) in the setting of Galois representations of number fields, we give sufficient conditions to ensure that the universal deformation relatively unramified outside a finite set of primes is dihedral, and discuss in how far these conditions are necessary. As side-results, we obtain cases of the unramified Fontaine-Mazur conjecture, and in many cases positively answer a question of Greenberg and Coleman on the splitting behaviour at p of p-adic Galois representations attached to newforms. As to (3), we prove a modularity theorem of the form `R=T' for parallel weight one Hilbert modular forms for cases when the minimal universal deformation is dihedral. △ Less

Submitted 9 April, 2020; v1 submitted 14 May, 2018; originally announced May 2018.

Comments: 43 pages; minor corrections and improvements following referee's comments

MSC Class: 11F80 (primary); 11F41; 11R29; 11R37