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.
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.
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.
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.
In this survey we explain the main ingredients and results of the analogue of Fontaine-Theory in equal positive characteristic which was recently developed by Genestier-Lafforgue and the author.
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.
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.
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.
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.
An integral analogue of Fontaine's crystalline functor
Graduate School of Mathematical Sciences, The University of Tokyo(东京大学大学院数学科学综合研究科);Institut des Hautes Études Scientifiques(高等科学研究所);Department of Mathematics, Bahen Centre, University of Toronto(多伦多大学巴亨中心数学系)
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$.
The paper contains a construction of an analogue of the Fontaine-Wintenberger field-of-norms functor for higher dimensional local fields. This construction is done completely in terms of the ramification theory of such fields. It is applied to deduce the mixed characteristic case of a local analogue of the Grothendieck Conjecture for these fields from its characteristic p case, which was proved earlier by the author.
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…
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.
Mazur, Tate, and Teitelbaum gave a p-adic analogue of the Birch and Swinnerton-Dyer conjecture for elliptic curves. We provide a generalization of their conjecture in the good ordinary case to higher dimensional modular abelian varieties over the rationals by constructing the p-adic L-function of a modular abelian variety and showing that it satisfies the appropriate interpolation property. This relies on a careful normalization of the p-adic L-function, which we achieve by a comparison of periods. Our generalization agrees with the conjecture of Mazur, Tate, Teitelbaum in dimension 1 and the …
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…
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".
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.
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…
The moduli space of (1,3)-polarized abelian surfaces with full level-2 structure is birational to a double cover of the Barth-Nieto quintic. Barth and Nieto have shown that these varieties have Calabi-Yau models Z and Y, respectively. In this paper we apply the Weil conjectures to show that Y and Z are rigid and we prove that the L-function of their common third étale cohomology group is modular, as predicted by a conjecture of Fontaine and Mazur. The corresponding modular form is the unique normalized cusp form of weight 4 for the group Γ_1(6). By Tate's conjecture, this should imply that Y, …
In this paper, we study a (p-adic) geometric analogue for abelian varieties over a function field of characteristic p of the cyclotomic Iwasawa theory and the non-commutative Iwasawa theory for abelian varieties over a number field initiated by Mazur and Coates respectively. We will prove some analogue of the principal results obtained in the case over a number field and we study new phenomena which did not happen in the case of number field case. We propose also a conjecture which might be considered as a counterpart of the principal conjecture in the case over a number field. \par This is a …
The exceptional zero conjecture relates the first derivative of the $p$-adic $L$-function of a rational elliptic curve with split multiplicative reduction at $p$ to its complex $L$-function. Teitelbaum formulated an analogue of Mazur and Tate's refined (multiplicative) version of this conjecture for elliptic curves over the rational function field $\FQ(T)$ with split multiplicative reduction at two places $\fp$ and $\infty$, avoiding the construction of a $\fp$-adic $L$-function. This article proves Teitelbaum's conjecture up to roots of unity by developing Darmon's theory of double integrals …
The purpose of this paper is to formulate and study a common refinement of a version of Stark's conjecture and its $p$-adic analogue, in terms of Fontaine's $p$-adic period ring and $p$-adic Hodge theory. We construct period-ring-valued functions under a generalization of Yoshida's conjecture on the transcendental parts of CM-periods. Then we conjecture a reciprocity law on their special values concerning the absolute Frobenius action. We show that our conjecture implies a part of Stark's conjecture when the base field is an arbitrary real field and the splitting place is its real place. It al…
In this paper, we deduce the vanishing of Selmer groups for the Rankin-Selberg convolution of a cusp form with a theta series of higher weight from the nonvanishing of the associated $L$-value, thus establishing the rank 0 case of the Bloch-Kato conjecture in these cases. Our methods are based on the connection between Heegner cycles and $p$-adic $L$-functions, building upon recent work of Bertolini, Darmon and Prasanna, and on an extension of Kolyvagin's method of Euler systems to the anticyclotomic setting. In the course of the proof, we also obtain a higher weight analogue of Mazur's conjec…
In 1923 Schur considered the following problem. Let f(X) be a polynomial with integer coefficients that induces a bijection on the residue fields Z/pZ for infinitely many primes p. His conjecture, that such polynomials are compositions of linear and Dickson polynomials, was proved by M. Fried in 1970. Here we investigate the analogous question for rational functions, also we allow the base field to be any number field. As a result, there are many more rational functions for which the analogous property holds. Some infinite series come from rational isogenies of elliptic curves and deformations…
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…
Let f be a cuspidal newform with complex multiplication (CM) and let p be an odd prime at which f is non-ordinary. We construct admissible p-adic L-functions for the symmetric powers of f, thus verifying general conjectures of Dabrowski and Panchishkin in this special case. We also construct their "mixed" plus and minus counterparts and prove an analogue of Pollack's decomposition of the admissible p-adic L-functions into mixed plus and minus p-adic L-functions. On the arithmetic side, we define corresponding mixed plus and minus Selmer groups. We unite the arithmetic with the analytic by firs…
Let $F$ be a global function field of characteristic $p>0$, $\mathcal F/F$ a Galois extension with $Gal(\tilde F/F)\simeq \mathbb{Z}_p^{\mathbb N}$ and $E/F$ a non-isotrivial elliptic curve. We study the behaviour of Selmer groups $Sel_E(L)_l$ ($l$ any prime) as $L$ varies through the subextensions of $\mathcal F$ via appropriate versions of Mazur's Control Theorem. In the case $l=p$ we let $\mathcal F=\bigcup \mathcal F_d$ where $\mathcal F_d/F$ is a $\mathbb{Z}_p^d$-extension. With a mild hypothesis on $Sel_E(F)_p$ (essentially a consequence of the Birch and Swinnerton-Dyer conjecture) we pr…
We study the prime number race for elliptic curves over the function field of a proper, smooth and geometrically connected curve over a finite field. This constitutes a function field analogue of prior work by Mazur, Sarnak and the second author. In this geometric setting we can prove unconditional results whose counterparts in the number field case are conditional on a Riemann Hypothesis and a linear independence hypothesis on the zeros of the implied L-functions. Notably we show that in certain natural families of elliptic curves, the bias generically dissipates as the conductor grows. This …
On Boston's Unramified Conjecture for $\GL_2$ and McLeman's $(3,3)$-Conjecture
Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉学科研究院);Research Institute of Intelligent Complex Systems, Fudan University(复旦大学智能复杂系统研究院)