We prove the finiteness of Selmer groups attached to lifts of certain 2-dimensional mod p representations of the absolute Galois group of Q. The mod p representation can be either even or odd. The lifts considered are the ones that were proven to exist by the seond named author.
In this article, we study the pseudo-isomorphism class of the dual fine Selmer group $X$ attached to a $p$-adic Galois deformation whose deformation ring $Λ$ is isomorphic to the ring of formal power series. By using the "Kolyvagin system" arising from a given Euler system $c$, we shall construct ideals $C_i(c)$ of $Λ$, and prove that the ideals $C_i(c)$ approximate the higher Fitting ideals of $X$ under suitable hypothesis. In particular, we shall prove that the ideals $C_i(c)$ arising from the Euler system of Beilinson-Kato elements determine the pseudo-isomorphism classes of the dual fine S…
In this paper, we study completely faithful torsion $\mathbb{Z}_p[[G]]$-modules with applications to the study of Selmer groups. Namely, if $G$ is a nonabelian group belonging to certain classes of polycyclic pro-$p$ group, we establish the abundance of faithful torsion $\mathbb{Z}_p[[G]]$-modules, i.e., non-trivial torsion modules whose global annihilator ideal is zero. We then show that such $\mathbb{Z}_p[[G]]$-modules occur naturally in arithmetic, namely in the form of Selmer groups of elliptic curves and Selmer groups of Hida deformations. It is interesting to note that faithful Selmer gr…
We establish a duality result proving the `functional equation' of the characteristic ideal of the Selmer group associated to a nearly ordinary Hilbert modular form over the cyclotomic $\mathbb{Z}_{p}$ extension of a totally real number field. Further, we use this result to establish a duality or algebraic `functional equation' for the `big' Selmer groups associated to the corresponding nearly ordinary Hida deformation. The multivariable cyclotomic Iwasawa main conjecture for nearly ordinary Hida family of Hilbert modular forms is not established yet and this can be thought of as an evidence t…
In this paper, we study the graph of homothety classes of stable free lattices in a two-dimensional representation over a local UFD. This generalizes a classical result of the case where the base ring is a discrete valuation ring due to Serre. As applications, we consider the case when the representation comes from a residually reducible Hida family and we study the control theorem of Selmer groups. These results enable us to know the precise statement of the main conjecture in residually reducible case as we will remark in section 4 and section 5.
Given a modular form f of even weight larger than two and an imaginary quadratic field K satisfying a relaxed Heegner hypothesis, we construct a collection of CM cycles on a Kuga-Sato variety over a suitable Shimura curve which gives rise to a system of Galois cohomology classes attached to f enjoying the compatibility properties of an Euler system. Then we use Kolyvagin's method, as adapted by Nekovar to higher weight modular forms, to bound the size of the relevant Selmer group associated to f and K and prove the finiteness of the (primary part) of the Shafarevich-Tate group, provided that a…
We study irreducible odd mod $p$ Galois representations $\barρ \colon \mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_p)$, for $F$ a totally real number field and $G$ a general reductive group. For $p \gg_{G, F} 0$, we show that any $\barρ$ that lifts locally, and at places above $p$ to de Rham and Hodge-Tate regular representations, has a geometric $p$-adic lift. We also prove non-geometric lifting results without any oddness assumption.
We prove the vanishing of the geometric Bloch-Kato Selmer group for the adjoint representation of a Galois representation associated to regular algebraic polarized cuspidal automorphic representations under an assumption on the residual image. Using this, we deduce that the localization and completion of a certain universal deformation ring for the residual representation at the characteristic zero point induced from the automorphic representation is formally smooth of the correct dimension. We do this by employing the Taylor-Wiles-Kisin patching method together with Kisin's technique of analy…
We prove analogues of the major algebraic results of Greenberg-Vatsal for Selmer groups of $p$-ordinary newforms over $\mathbf{Z}_p$-extensions which may be neither cyclotomic nor anticyclotomic, under a number of technical hypotheses, including a cotorsion assumption on the Selmer groups. The main complication which arises in our work is the possible presence of finite primes which can split completely in the $\mathbf{Z}_p$-extension being considered, resulting in the local cohomology groups that appear in the definition of the Selmer groups being significantly larger than they are in the cas…
We provide applications to studying the behavior of Selmer groups under specialization. We consider Selmer groups associated to four dimensional Galois representations coming from (i) the tensor product of two cuspidal Hida families $F$ and $G$, (ii) its cyclotomic deformation, (iii) the tensor product of a cusp form $f$ and the Hida family $G$, where $f$ is a classical specialization of $F$ with weight $k \geq 2$. We prove control theorems to relate (a) the Selmer group associated to the tensor product of Hida families $F$ and $G$ to the Selmer group associated to its cyclotomic deformation a…
The Shafarevich-Tate and Selmer groups arise in the context of Kummer theory for elliptic curves. The finiteness of the Shafarevich-Tate group of an elliptic curve $E$ over the field of rational numbers is included in the Birch and Swinnerton-Dyer conjectures, and is still an open question. We present an overview of the Shafarevich-Tate and Selmer groups of an elliptic curve in the framework of Galois cohomology. Known results on the finiteness of the Shafarevich-Tate group are mentioned, including results of Coates and Wiles, Rubin, Gross and Zagier, and Kolyvagin. We then prove the vanishing…
Pseudonullity for fine Selmer groups over multiple $\mathbb{Z}_p^{d}$-extensions
Morningside Center of Mathematics, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院)
We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex to be represented by a complex of G-modules that is strictly perfect over the associated versal deformation ring.
In this paper, we consider the question of the complete faithfulness of the $p$-free quotient module of the dual Selmer groups of elliptic curves defined over a noncommutative $p$-adic Lie extension. Our question will refine previous questions on the complete faithfulness of dual Selmer groups. We also consider the question of the triviality of the central torsion submodules of these Iwasawa modules and we see that this latter question is intimately related to the former. We will also formulate and study analogous questions for the dual Selmer groups of Hida deformations. We then give positive…
We prove that the universal unramified deformation ring $R^{\mathrm{unr}}$ of a continuous Galois representation $\overlineρ: G_{F^{+}} \rightarrow \mathrm{GL}_n(k)$ (for a totally real field $F^{+}$ and finite field $k$) is finite over $\mathcal{O} = W(k)$ in many cases. We also prove (under similar hypotheses) that the universal deformation ring $R^{\mathrm{univ}}$ is finite over the local deformation ring $R^{\mathrm{loc}}$.
In this paper we prove the finiteness of the set of S-integral points of a punctured rational elliptic curve without complex multiplication using the Chabauty-Kim method. This extends previous results of Kim in the complex multiplication case. The key input of our approach is the use of modularity techniques to prove the vanishing of certain Selmer groups involved in the Chabauty-Kim method.
We study the behavior of Iwasawa invariants among ordinary deformations of a fixed residual Galois representation taking values in a reductive algebraic group G. In particular, under the assumption that these Selmer groups are cotorsion modules over the Iwasawa algebra, we show that the vanishing of the mu invariant is independent of the deformation, while the lambda invariant depends only on the ramification. This generalizes work of Greenberg-Vatsal and Emerton-Pollack and the author in the case G = GL(2).
We construct an Euler system in the cohomology of the tensor product of the Galois representations attached to two modular forms, using elements in the higher Chow groups of products of modular curves. We use this Euler system to prove a finiteness theorem for the strict Selmer group of the Galois representation when the associated p-adic Rankin--Selberg L-function is non-vanishing at s = 1.
This article is the first of a pair of articles dealing with the Iwasawa theory of modular forms of weight 1 and, more generally, of Artin representations satisfying certain conditions. The main results in this part analyze the structure of certain Selmer groups for the Artin representation. In particular, it is shown that the Selmer groups are co-torsion as $Λ$-modules. For each Selmer group, we consider a generator of the characteristic ideal of its Pontrjagin dual. We call that the algebraic p-adic L-function. We also construct an analytic $p$-adic L-function via deformation to higher weigh…
We study short crystalline, minimal, essentially self-dual deformations of a mod $p$ non-semisimple Galois representation $\barσ$ with $\barσ^{\rm ss}=χ^{k-2} \oplus ρ\oplus χ^{k-1}$, where $χ$ is the mod $p$ cyclotomic character and $ρ$ is an absolutely irreducible reduction of the Galois representation $ρ_f$ attached to a cusp form $f$ of weight $2k-2$. We show that if the Bloch-Kato Selmer groups $H^1_f(\mathbf{Q}, ρ_f(1-k)\otimes \mathbf{Q}_p/\mathbf{Z}_p)$ and $H^1_f(\mathbf{Q}, ρ(2-k))$ have order $p$, and there exists a characteristic zero absolutely irreducible deformation of $\barσ$ t…
Let ρbe a modulo p representation of the absolute Galois group of a totally real number field. Under the assumptions that ρhas large image and admits a low weight crystalline modular deformation we show that any low weight crystalline deformation of ρunramified outside a finite set of primes will be modular. We follow the approach of Wiles as generalized by Fujiwara. The main new ingredient is an Ihara type lemma for the local component at ρof the middle degree cohomology of a Hilbert modular variety. As an application we relate the algebraic p-part of the value at 1 of the adjoint L-function …
We prove (under certain assumptions) the irreducibility of the limit $σ_2$ of a sequence of irreducible essentially self-dual Galois representations $σ_k: G_{\mathbf{Q}} \to \mathrm{GL}_4(\overline{\mathbf{Q}}_p)$ (as $k$ approaches 2 in a $p$-adic sense) which mod $p$ reduce (after semi-simplifying) to $1 \oplus ρ\oplus χ$ with $ρ$ irreducible, two-dimensional of determinant $χ$, where $χ$ is the mod $p$ cyclotomic character. More precisely, we assume that $σ_k$ are crystalline (with a particular choice of weights) and Siegel-ordinary at $p$. Such representations arise in the study of $p$-adi…
We study the twisted knot module for the universal deformation of an ${\rm SL}_2$-representation of a knot group, and introduce an associated $L$-function, which may be seen as an analogue of the algebraic $p$-adic $L$-function associated to the Selmer module for the universal deformation of a Galois representation. We then investigate two problems proposed by Mazur: Firstly we show the torsion property of the twisted knot module over the universal deformation ring under certain conditions. Secondly we verify the simplicity of the zeroes of the $L$-function by some concrete examples for 2-brid…
In this paper we study deformations of mod $p$ Galois representations $τ$ (over an imaginary quadratic field $F$) of dimension $2$ whose semi-simplification is the direct sum of two characters $τ_1$ and $τ_2$. As opposed to our previous work we do not impose any restrictions on the dimension of the crystalline Selmer group $H^1_Σ(F, {\rm Hom}(τ_2, τ_1)) \subset {\rm Ext}^1(τ_2, τ_1)$. We establish that there exists a basis $\mathcal{B}$ of $H^1_Σ(F, {\rm Hom}(τ_2, τ_1))$ arising from automorphic representations over $F$ (Theorem 8.1). Assuming among other things that the elements of $\mathcal{…
We study the crystalline universal deformation ring R (and its ideal of reducibility I) of a mod p Galois representation rho_0 of dimension n whose semisimplification is the direct sum of two absolutely irreducible mutually non-isomorphic constituents rho_1 and rho_2. Under some assumptions on Selmer groups associated with rho_1 and rho_2 we show that R/I is cyclic and often finite. Using ideas and results of (but somewhat different assumptions from) Bellaiche and Chenevier we prove that I is principal for essentially self-dual representations and deduce statements about the structure of R. Us…
Let $X$ be a smooth curve over a finitely generated field $k$, and let $\ell$ be a prime different from the characteristic of $k$. We analyze the dynamics of the Galois action on the deformation rings of mod $\ell$ representations of the geometric fundamental group of $X$. Using this analysis, we prove analogues of the Shafarevich and Fontaine-Mazur finiteness conjectures for function fields over algebraically closed fields in arbitrary characteristic, and a weak variant of the Frey-Mazur conjecture for function fields in characteristic zero. For example, we show that if $X$ is a normal, conne…
Zero-cycles on surfaces dominated by products of hyperelliptic curves
CNRS Laboratoire de Mathématiques d’Orsay Université Paris-Saclay(法国国家科学研究中心奥赛数学实验室巴黎萨克雷大学);CNRS Institut Galilée Université Sorbonne Paris Nord(法国国家科学研究中心加利亚莱研究所索邦巴黎北大学);Institute for the Information Transmission Problems Russian Academy of Sciences(俄罗斯科学院信息传输问题研究所)
Let E be a CM number field, F its maximal totally real subfield, c the generator of Gal(E/F), p an odd prime totally split in E, and S a finite set of places of E containing the places above p. Let r : G_{E,S} --> GL_3(F_p^bar) be a modular, absolutely irreducible, Galois representation of type U(3), i.e. such that r^* = r^c, and let X(r) be the rigid analytic generic fiber of its universal G_{E,S}-deformation of type U(3). We show that each irreducible component of the Zariski-closure of the modular points in X(r) has dimension at least 6[F:Q]. We study an analogue of the infinite fern of Gou…