Fontaine and Mazur conjecture that a number field k has no infinite unramified Galois extension such that its Galois group is a p-adic analytic pro-p-group. We consider this conjecture for the maximal unramified p-extension of a CM-field k.
This is an updated and extended version of ANT-0024. We prove more special cases of the Fontaine-Mazur conjecture regarding p-adic Galois representations unramified at p, and we present evidence for and consequences of a generalization of it.
We prove new cases of Fontaine-Mazur conjecture on two-dimensional Galois representations over Q when the residual representation is reducible. Our approach is via a semi-simple local-global compatibility of the completed cohomology and a Taylor-Wiles patching argument for the completed homology in this case. As a key input, we generalize the work of Skinner-Wiles in the ordinary case. In addition, we also treat the residually irreducible case at the end of the paper. Combining with people's earlier work, we can prove the Fontaine-Mazur conjecture completely in the regular case when p is at le…
We prove some cases of the Fontaine-Mazur conjecture for even Galois representations. In particular, we prove, under mild hypotheses, that there are no irreducible two-dimensional ordinary even Galois representations of $\Gal(\Qbar/\Q)$ with distinct Hodge-Tate weights. If $K/\Q$ is an imaginary quadratic field, we also prove (again, under certain hypotheses) that $\Gal(\Qbar/K)$ does not admit irreducible two-dimensional ordinary Galois representations of non-parallel weight. Finally, we prove that any weakly compatible family of two dimensional irreducible Galois representations of $\Gal(\Qb…
We prove, under mild hypotheses, that there are no irreducible two-dimensional_even_ Galois representations of $\Gal(\Qbar/\Q)$ which are de Rham with distinct Hodge--Tate weights. This removes the "ordinary" hypothesis required in previous work of the author. We construct examples of irreducible two-dimensional residual representations that have no characteristic zero geometric (= de Rham) deformations.
In a previous article, we have proved a result asserting the existence of a compatible family of Galois representations containing a given crystalline irreducible odd two-dimensional representation. We apply this result to establish new cases of the Fontaine-Mazur conjecture, namely, an irreducible Barsotti-Tate $λ$-adic 2-dimensional Galois representation unramified at 3 and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p^2 \}) = \Q $ always comes from an abelian variety. We also show the non-existence of irreducible Barsotti-Tate 2-dimensional Galois representations of …
Remarks on the Boston Unramified Fontaine-Mazur Conjecture, II
Shanghai Institute for Mathematics and Interdisciplinary Sciences(上海数学与交叉学科研究院);Research Institute of Intelligent Complex Systems, Fudan University(复旦大学智能复杂系统研究院)
Let p be an odd prime, let S be a finite set of primes q congruent to 1 mod p but not mod p^2 and let G_S be the Galois group of the maximal p-extension of Q un-ramified outside of S. If r is a continuous homomorphism of G_S into GL_2(Z_p) then under certain conditions on the linking numbers of S we show that r=1 if its reduction mod p is 1. We also show that the reduction of r mod p is 1 if r can be put in triangular form mod p^3.
We estimate the proportion of function fields satisfying certain conditions which imply a function-field analogue of the Fontaine-Mazur conjecture. As a byproduct, we compute the fraction of abelian varieties (or even Jacobians) over a finite field which have a rational point of order l.
In this note we prove the non existence of certain irreducible two dimensional representations of the the absolute Galois group. Such results are predicted by Serre's conjecture and we use Fontaine's methods to verify these predictions in a small number of cases. We also use a methods of Faltings to study certain finiteness conjectures for Galois representations. Key words: Serre's conjecture, Fontaine-Mazur conjectures, Galois representations.
Let $F_{\wp}$ be a finite extension of $\mathbb{Q}_p$. By considering partially de Rham families, we establish a Colmez-Greenberg-Stevens formula (on Fontaine-Mazur $\mathcal{L}$-invariants) for (general) $2$-dimensional semi-stable non-crystalline $\mathrm{Gal}(\overline{\mathbb{Q}_p}/F_{\wp})$-representations. As an application, we prove local-global compatibility results for completed cohomology of quaternion Shimura curves, and in particular the equality of Fontaine-Mazur $\mathcal{L}$-invariants and Breuil's $\mathcal{L}$-invariants, in critical case.
In this paper we show that under certain condition the Fontaine--Mazur $L$-invariant for a Hilbert eigenform coincides with its Teitelbaum type $L$-invariant, and thus prove a conjecture of Chida, Mok and Park.
Under the assumption of the Hodge, Tate and Fontaine-Mazur conjectures we give a criterion for a compatible system of l-adic representations to be isomorphic to the second cohomology of a K3 surface.
In this note we complement a part of a theorem of Fontaine-Mazur. We show that if $(V,ρ)$ is an irreducible finite dimensional representation of the Galois group $Gal({\bar K}/K)$ of a finite extension of $K\Q_p$, of Hodge-Tate type $(0,1)$ then it is potentially semi-stable if and only if it is potentially crystalline. This was proved by Fontaine-Mazur for dimension two and $p\geq 5$ by their classfication theorem.
We prove that there is no geometric $p$-adic representation of the Galois group of $\Q$ which is irreducible, of dimension 2, of conductor 1 and low weight, according to a conjecture of Fontaine and Mazur.
For a representation of the absolute Galois group of the rationals over a finite field of characteristic $p$, we study the existence of a lift to characteristic zero that is geometric in the sense of the Fontaine-Mazur conjecture. For two-dimensional representations, Ramakrishna proved that under technical assumptions odd representations admit geometric lifts. We generalize this to higher dimensional orthogonal and symplectic representations. A key step is generalizing and studying a local deformation condition at $p$ arising from Fontaine-Laffaille theory.
Gouvea and Mazur made a precise conjecture about slopes of modular forms. Weaker versions of this conjecture were established by Coleman and Wan. In this note, we exhibit explicit examples contradicting the full conjecture as it currently stands.
Under certain assumptions, we prove an anticyclotomic analogue of the "weak main conjecture" à la Mazur and Tate for modular forms over a large class of cyclic ring class extensions.
In 1995, Ehud de Shalit proved an analogue of a conjecture of Mazur--Tate for the modular Jacobian $J_0(p)$. His main result was valid away from the Eisenstein primes. We complete the work of de Shalit by including the Eisenstein primes, and give some applications such as an elementary combinatorial identity involving discrete logarithms of difference of supersingular $j$-invariants. An important tool is our recent work on the so called "generalized cuspidal $1$-motive".
We provide a new interpretation of the Mazur-Tate Conjecture and then use it to obtain the first (unconditional) theoretical evidence in support of the conjecture for elliptic curves of strictly positive rank.
Mazur and Tate proposed a conjecture which compares the Mordell-Weil rank of an elliptic curve over $\mathbb{Q}$ with the order of vanishing of Mazur-Tate elements, which are analogues of Stickelberger elements. Under some relatively mild assumptions, we prove this conjecture. Our strategy of the proof is to study divisibility of certain derivatives of Kato's Euler system.
We describe the generic blocks in the category of smooth locally admissible mod $2$ representations of $\mathrm{GL}_2(\mathbb{Q}_2)$. As an application we obtain new cases of Breuil--Mézard and Fontaine--Mazur conjectures for $2$-dimensional $2$-adic Galois representations.
Suppose $K$ is unramified over $\mathbb Q _p$ and $Γ_K=\operatorname{Gal}(\bar K/K)$. Let $H$ be a torsion $Γ_K$-equivariant subquotient of crystalline $\mathbb Q _p[Γ_K]$-module with HT weights from $[0,p-2]$. We give a new proof of Fontaine's conjecture about the triviality of action of some ramification subgroups $Γ_K^{(v)}$ on $H$. The earlier author's proof from [1] contains a gap and proves this conjecture only for some subgroups of index $p$ in $Γ_K^{(v)}$.
This paper treats what we call `weak geometric liftings' of Galois representations associated to abelian varieties. This notion can be seen as a generalization of the idea of lifting a Galois representation along an isogeny of algebraic groups. The weaker notion only takes into account an isogeny of the derived groups and disregards the centres of the groups in question. The weakly lifted representations are required to be geometric in the sense of a conjecture of Fontaine and Mazur. The conjecture in question states that any irreducible geometric representation is a twist of a subquotient of …
In this article, we prove a generalization of a theorem (Ogg's conjecture) due to Bary Mazur for arbitrary $N\in \N$ and for {\it number fields}. The main new observation is a modification of a theorem due to Glenn Stevens for the congruence subgroups of the form $\Ga_0(N)$ for any $N \in \N$. This in turn help us to determine the relevant part of the cuspidal subgroups without dependence on Shimura subgroups.
Let $N$ and $p$ be prime numbers $\geq 5$ such that $p$ divides $N-1$. Let $I$ be Mazur's Eisenstein ideal of level $N$ and $H_+$ be the plus part of $H_1(X_0(N), \mathbf{Z}_p)$ for the complex conjugation. We give a conjectural explicit description of the group $I\cdot H_+/I^2\cdot H_+$ in terms of the second $K$-group of the cyclotomic field $\mathbf{Q}(ζ_N)$. We prove that this conjecture follows from a conjecture of Sharifi about some Eisenstein ideal of level $Γ_1(N)$. Following the work of Fukaya--Kato, we prove partial results on Sharifi's conjecture. This allows us to prove partial res…
B. Mazur has considered the question of density in the Euclidean topology of the set of ${\Bbb Q}$-rational points on a variety $X$ defined over ${\Bbb Q}$, in particular for Abelian varieties. In this paper we consider the question of closures of the image of finitely generated subgroups of $T({\Bbb Q})$ in $Γ\backslash T({\Bbb R})$ where $T$ is a torus defined over ${\Bbb Q}$, $Γ$ an arithmetic subgroup such that $Γ\backslash T({\Bbb R})$ is compact. Assuming Schanuel's conjecture, we prove that the closures correspond to sub {\it algebraic} tori of $T$.
Let $E/\mathbb{Q}$ be an elliptic curve which has split multiplicative reduction at a prime $p$ and whose analytic rank $r_{an}(E)$ equals one. The main goal of this article is to relate the second order derivative of the Mazur-Tate-Teitelbaum $p$-adic $L$-function $L_p(E,s)$ of $E$ to Nekovář's height pairing evaluated on natural elements arising from the Beilinson-Kato elements. Along the way, we extend a Rubin-style formula of Nekovář (or in an alternative wording, correct another Rubin-style formula of his) to apply in the presence of exceptional zeros. Our height formula allows us, among …
Let $k/\mathbb F_p$ denote a finite field. For any split connected reductive group $G/W(k)$ and certain CM number fields $F$, we deform certain Galois representations $\overlineρ:Gal(\overline F/F) \to G(k)$ to continuous families $X_{\overlineρ}$ of Galois representations $Gal(\overline F/F) \to G(\overline{\mathbb Q_p})$ lifting $\overlineρ$ such that the space of points of $X_{\overlineρ}$ which are geometric (in the sense of the Fontaine-Mazur conjecture) with parallel Hodge-Tate weights has positive codimension in $X_{\overlineρ}$. Thus the set of points in $X_{\overlineρ}$ which could (c…
We study the Fitting ideals over the finite layers of the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ of Selmer groups attached to the Rankin--Selberg convolution of two modular forms $f$ and $g$. Inspired by the Theta elements for modular forms defined by Mazur and Tate in ``Refined conjectures of the Birch and Swinnerton-Dyer type'', we define new Theta elements for Rankin--Selberg convolutions of $f$ and $g$ using Loeffler--Zerbes' geometric $p$-adic $L$-functions attached to $f$ and $g$. Under certain technical hypotheses, we generalize a recent work of Kim--Kurihara on elliptic cu…
We apply the methods of Fukaya, Kato and Sharifi to refine Mazur's study of the Eisenstein ideal. Given prime numbers $N$ and $p\geq 5$ such that $p\mid φ(N)$, we study the quotient of the cohomology group of modular curve $X_{0}(N)$ by the square of the Eisenstein ideal. We study two invariants $b,c$ attached to this quotient and compute $c$. We propose a conjecture about the invariant $b$ which relates the structure of the ray class group of conductor $N$ to the modular symbols of $X_{0}(N)$. Assuming this conjecture, We compute the invariant $b$.
We show that suitable congruences between polarized automorphic forms over a CM field always produce elements in the Selmer group for exactly the +/--Asai (aka tensor induction) representation that is critical in the sense of Deligne. For this we relate the oddness of the associated polarized Galois representations (in the sense of the Bellaïche-Chenevier sign being +1) to the parity condition for criticality. Under an assumption similar to Vandiver's conjecture this also provides evidence for the Fontaine-Mazur conjecture for polarized Galois representations of any even dimension.
We show that Mazur's conjecture on the real topology of rational points on varieties implies that there is no diophantine model of the rational integers in the rational numbers. We also prove that there is a diophantine model of the polynomial ring over a finite field in the ring of rational functions over that finite field. Both proofs depend upon Matijasevich's theorem.
Using Calegari's result on the Fontaine-Mazur conjecture, we study the irreducibility of pure, regular, rank 3 weakly compatible systems of self-dual l-adic representations. As a consequence, we prove that the Tate conjecture holds for a family of elliptic surfaces defined over Q with geometric genus bigger than 1.
- Let K be a totally imaginary number field. Denote by G ur K (2) the Galois group of the maximal unramified pro-2 extension of K. By comparing cup-products in {é}tale cohomology of SpecO K and cohomology of uniform pro-2 groups, we obtain situations where G ur K (2) has no non-trivial uniform analytic quotient, proving some new special cases of the unramified Fontaine-Mazur conjecture. For example, in the family of imaginary quadratic fields K for which the 2-rank of the class group is equal to 5, we obtain that for at least 33.12% of such K, the group G ur K (2) has no non-trivial uniform an…
The Frey--Mazur conjecture states that an elliptic curve over $\mathbb{Q}$ is determined up to isogeny by its $p$-torsion Galois representation for $p\geq 17$. We study a geometric analog of this conjecture, and show that the map from isogeny classes of "fake elliptic curves"---abelian surfaces with quaternionic multiplication---to their $p$-torsion Galois representations is one-to-one over function fields of small genus complex curves for sufficiently large $p$ relative to the genus.
We give the first examples of infinite sets of primes S such that Hilbert's Tenth Problem over Z[S^{-1}] has a negative answer. In fact, we can take S to be a density 1 set of primes. We show also that for some such S there is a punctured elliptic curve E' over Z[S^{-1}] such that the topological closure of E'(Z[S^{-1}]) in E'(R) has infinitely many connected components.
We prove a portion of a conjecture of B. Conrad, F. Diamond, and R. Taylor, yielding some new cases of the Fontaine-Mazur conjectures, specifically, the modularity of certain potentially Barsotti-Tate Galois representations. The proof follows the template of Wiles, Taylor-Wiles, and Breuil-Conrad-Diamond-Taylor, and relies on a detailed study of the descent, across tamely ramified extensions, of finite flat group schemes over the integers of a local field. This makes crucial use of the filtered ϕ_1-modules of C. Breuil.