The purpose of this article is to give formulas for Bloch-Kato's exponential map and its dual for an absolutely crystalline p-adic representation V, in terms of the (phi,Gamma)-module associated to that representation. As a corollary of these computations, we can give a very simple (and slightly improved) description of Perrin-Riou's exponential map (which interpolates Bloch-Kato's exponentials for V(k)). This new description directly implies Perrin-Riou's reciprocity formula.
In this article, we study the Beilinson-Bloch-Kato conjecture for motives corresponding to the Rankin-Selberg product of conjugate self-dual automorphic representations, within the framework of the Gan-Gross-Prasad conjecture. We show that if the central critical value of the Rankin-Selberg $L$-function does not vanish, then the Bloch-Kato Selmer group with coefficients in a favorable field of the corresponding motive vanishes. We also show that if the class in the Bloch-Kato Selmer group constructed from certain diagonal cycle does not vanish, which is conjecturally equivalent to the nonvanis…
This is a contribution to the ICM 2002. We explain the relation between the (equivariant) Bloch-Kato conjecture for special values of L-functions and the Main Conjecture of (non-abelian) Iwasawa theory. On the way we will discuss briefly the case of Dirichlet characters in the abelian case. We will also discuss how "twisting" in the non-abelian case would allow to reduce the general conjecture to the case of number fields. This is one the main motivations for a non-abelian Main Conjecture.
We study the adjoint Bloch--Kato Selmer groups attached to a classical point in the cuspidal eigenvariety associated with $\mathrm{GSp}_{2g}$. Our strategy is based on the study of families of Galois representations on the eigenvariety, which is inspired by the book of J. Bellaiche and G. Chenevier.
Let $ρ$ be the $p$-adic Galois representation attached to a cuspidal, regular algebraic, polarizable automorphic representation of $GL_n$. Assuming only that $ρ$ satisfies an irreducibility condition, we prove the vanishing of the adjoint Bloch--Kato Selmer group attached to $ρ$. This generalizes previous work of the author and James Newton.
We use $p$-adic families of automorphic forms for an unitary group in three variables, containing some non-tempered forms constructed by Rogawski, to prove some cases of the Bloch-Kato conjectures.
We prove the Bloch--Kato conjecture for certain critical values of degree 8 $L$-functions associated to cusp forms on $\mathrm{GSp}_4 \times \mathrm{GL}_2$. We also construct a $p$-adic Eichler--Shimura isomorphism in Hida families for $\mathrm{GSp}_4$, relating $H^2$ of automorphic vector bundles with $\mathbf{D}_{\mathrm{cris}}$ of a subquotient of étale cohomology.
The aim of this paper is to prove inequalities towards instances of the Bloch-Kato conjecture for Hilbert modular forms of parallel weight two, when the order of vanishing of the $L$-function at the central point is zero or one. We achieve this implementing an inductive Euler system argument which relies on explicit reciprocity laws for cohomology classes constructed using congruences of automorphic forms and special points on several Shimura curves.
This is essentially the author's thesis submited to The University of Chicago (May 1997). I prove the validity of Tamagawa number conjecture of Bloch-Kato for certain Hecke characters. I study the exponential map and local Tamagawa number for all odd primes (both ordinary and supersingular), using Kato's explicit reciprocity law for one dimensional Lubin-Tate formal group. I also study p-part of Shafarevich-Tate group for motives associated to Hecke characters, using Rubin's Main Conjecture in Iwasawa theory. Interestingly a congruence property between p-adic periods of elliptic curve and weig…
We construct a variant of Karoubi's relative Chern character for smooth, separated schemes over the ring of integers in a p-adic field and prove a comparison with the rigid syntomic regulator. For smooth projective schemes we further relate the relative Chern character to the etale p-adic regulator via the Bloch-Kato exponential map. This reproves a result of Huber and Kings for the spectrum of the ring of integers and generalizes it to all smooth projective schemes as above.
In this paper we concentrate on the relations between the structure of small Galois groups, arithmetic of fields, Bloch-Kato conjecture, and Galois groups of maximal pro-$p$-quotients of absolute Galois groups.
In this paper, we generalise the construction of the Bloch-Kato exponential map to complete discrete valuation fields of mixed characteristic (0,p) whose residue fields have a finite p-basis. As an application we prove an explicit reciprocity law, extending a result of Cherbonnier and Colmez in the classical case. This result relies on the calculation of the Galois cohomology of a p-adic representation V in terms of its (phi,G)-module.
We study the asymptotic behaviour of the Bloch-Kato-Shafarevich-Tate group of a modular form f over the cyclotomic Zp-extension of Q under the assumption that f is non-ordinary at p. In particular, we give upper bounds of these groups in terms of Iwasawa invariants of Selmer groups defined using p-adic Hodge Theory. These bounds have the same form as the formulae of Kobayashi, Kurihara and Sprung for supersingular elliptic curves.
We investigate the relations in Galois groups of maximal p-extensions of fields, the structure of their natural filtrations, and their relationship with the Bloch-Kato conjecture proved by Rost and Voevodsky with Weibel's patch. Our main focus is on the third degree, but we provide examples for all degrees.
Let f be a newform of weight 2k-2 and level 1. In this paper we provide evidence for the Bloch-Kato conjecture for modular forms. We demonstrate an implication that under suitable hypothesis if a prime divides the algebraic part of L(k,f), then the prime divides the order of the Selmer group associated to f. We demonstrate this by establishing a congruence between the Saito-Kurokawa lift of f and a cuspidal Siegel eigenform that is not a Saito-Kurokawa lift. We then examine what this congruence says in terms of Galois representations to produce a non-trivial p-torsion element in the Selmer gro…
In this article we construct a $p$-adic three dimensional Eigenvariety for the group $U(2,1)(E)$, where $E$ is a quadratic imaginary field and $p$ is inert in $E$. The Eigenvariety parametrizes Hecke eigensystems on the space of overconvergent, locally analytic, cuspidal Picard modular forms of finite slope. The method generalized the one developed in Andreatta-Iovita-Pilloni by interpolating the coherent automorphic sheaves when the ordinary locus is empty. As an application of this construction, we reprove a particular case of the Bloch-Kato conjecture for some Galois characters of $E$, exte…
A result due to R. Greenberg gives a relation between the cardinality of Selmer groups of elliptic curves over number fields and the characteristic power series of Pontryagin duals of Selmer groups over cyclotomic $\mathbb Z_p$-extensions at good ordinary primes $p$. We extend Greenberg's result to more general $p$-adic Galois representations, including a large subclass of those attached to $p$-ordinary modular forms of level $Γ_0(N)$ with $p\nmid N$.
Following Ribet's seminal 1976 paper there have been many results employing congruences between stable cuspforms and lifted forms to construct non-split extensions of Galois representations. We show how this strategy can be extended to construct elements in the Bloch-Kato Selmer groups of +/--Asai (or tensor induction) representations associated to Bianchi modular forms. We prove, in particular, how the Galois representation associated to a suitable low weight Siegel modular form produces elements in the Selmer group for exactly the Asai representation (+ or -) that is critical in the sense of…
In this paper we define a $p$-adic analogue of the Borel regulator for the $K$-theory of $p$-adic fields. The van Est isomorphism in the construction of the classical Borel regulator is replaced by the Lazard isomorphism. The main result relates this $p$-adic regulator to the Bloch-Kato exponential and the Soulé regulator. On the way we give a new description of the Lazard isomorphism for certain formal groups.
For an elliptic curve $E$ over $\mathbb{Q}$, putting $K=\mathbb{Q}(E[p])$ which is the $p$-th division field of $E$ for an odd prime $p$, we study the ideal class group $\mathrm{Cl}_K$ of $K$ as a $\mathrm{Gal}(K/\mathbb{Q})$-module. More precisely, for any $j$ with $1\leqslant j \leqslant p-2$, we give a condition that $\mathrm{Cl}_K\otimes \mathbb{F}_p$ has the symmetric power $\mathrm{Sym}^j E[p]$ of $E[p]$ as its quotient $\mathrm{Gal}(K/\mathbb{Q})$-module, in terms of Bloch-Kato's Tate-Shafarevich group of $\mathrm{Sym}^j V_p E$. Here $V_p E$ denotes the rational $p$-adic Tate module of …
A Bloch-Kato pro-p group G is a pro-p group with the property that the F_p-cohomology ring of every closed subgroup of G is quadratic. It is shown that either such a pro-p group G contains no closed free pro-p groups of infinite rank, or there exists an orientation $θ\colon G\rightarrow \Z_p^\times$ such that G is theta-abelian. In case that G is also finitely generated, this implies that G is powerful, p-adic analytic with d(G)=cd(G), and its \F_p-cohomology ring is an exterior algebra. These results will be obtained by studying locally powerful groups (see Theorem A). There are certain Galoi…
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 r…
For certain algebraic Hecke characters chi of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL_2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,chi). We further prove that its index is bounded from above by the order of the Selmer group of the p-adic Galois character associated to chi^{-1}. This uses the work of R. Taylor et al. on a…
A difference formula of $p$-adic height pairings via the Bloch-Kato logarithm map
Joint Graduate School of Mathematics for Innovation, Kyushu University（九州大学数学创新联合研究生院）；Institute of Mathematics for Industry, Kyushu University（九州大学产业数学研究所）；Graduate School for Mathematics, Kyushu University（九州大学数学研究院）
The purpose of this article is to give a proof of the $C_{EP,F}(V)$ conjecture for some semi-stable representations and of the $δ_{\Zp}(V)$ conjecture for some crystalline representations. There are two major ingredients: first, the computation of Tamagawa numbers using a variation on results of Fontaine-Laffaille and of Bloch-Kato, and second some continuity results for Bloch-Kato's exponential which were proved by Perrin-Riou.
Let $k > 3$ be an integer and $p$ a prime with $p > 2k-2$. Let $f$ be a newform of weight $2k-2$ and level 1 so that $f$ is ordinary at $p$ and $\barρ_{f}$ is irreducible. Under some additional hypotheses we prove that $ord_{p}(L_{alg}(k,f)) \leq ord_{p}(# S)$ where $S$ is the Pontryagin dual of the Selmer group associated to $ρ_{f} \otimes ε^{1-k}$ with $ε$ the $p$-adic cyclotomic character. We accomplish this by first constructing a congruence between the Saito-Kurokawa lift of $f$ and a non-CAP Siegel cusp form. Once this congruence is established, we use Galois representations to obtain th…
Let $F$ be a cuspidal eigenform of even weight and trivial nebentypus, let $p$ be a prime not dividing the level of $F$, and let $ρ_F$ be the $p$-adic Galois representation attached to $F$. Assume that the $L$-function attached to the symmetric cube of $ρ_F$ vanishes to odd order at its central point. Then under some mild hypotheses, and conditional on certain consequences of Arthur's conjectures, we construct a nontrivial element in the Bloch--Kato Selmer group of an appropriate twist of the symmetric cube of $ρ_F$, in accordance with the Bloch--Kato conjectures. Our technique is based on the…
The 2-part of the Bloch-Kato conjecture, and indivisibility results, for $K_2$ of some elliptic curves
University of Sheffield（谢菲尔德大学）；PRIMI (Polo di Ricerca Interuniversitario in Matematica e Informatica) and IGAP (Institute for Geometry and Physics)（PRIMI（跨大学数学与信息学研究中心）和IGAP（几何与物理研究所））；Vrije Universiteit Amsterdam（阿姆斯特丹自由大学）；Washington University in St. Louis（华盛顿大学圣路易斯分校）
Let k be a positive integer divisible by 4, l>k a prime, and f an elliptic cuspidal eigenform of weight k-1, level 4, and non-trivial character. Let ρ_f be the l-adic Galois representation attached to f. In this paper we provide evidence for the Bloch-Kato conjecture for a twist of the adjoint motif of ρ_f in the following way. Let L(f,s) denote the symmetric square L-function of f. We prove that (under certain conditions) the l-adic valuation of the algebraic part of L(f, k) is no greater than the l-adic valuation of the order of S, where S is (the Pontryagin dual of) the Selmer group attache…
Let $p$ be a prime. A pro-$p$ group $G$ is said to be 1-smooth if it can be endowed with a homomorphism of pro-$p$ groups $G\to1+p\mathbb{Z}_p$ satisfying a formal version of Hilbert 90. By Kummer theory, maximal pro-$p$ Galois groups of fields containing a root of 1 of order $p$, together with the cyclotomic character, are 1-smooth. We prove that a finitely generated $p$-adic analytic pro-$p$ group is 1-smooth if, and only if, it occurs as the maximal pro-$p$ Galois group of a field containing a root of 1 of order $p$. This gives a positive answer to De Clerq-Florence's "Smoothness Conjecture…
In this paper we develop a new method to study Iwasawa theory and Eisenstein families for unitary groups $\mathrm{U}(r,s)$ of general signature over a totally real field $F$. As a consequence we prove that for a motive corresponding to a regular algebraic cuspidal automorphic representation $π$ on $\mathrm{U}(r,s)_{/F}$ which is ordinary at $p$, twisted by a Hecke character, if its Selmer group has rank $0$, then the corresponding central $L$-value is nonzero. This generalizes a result of Skinner-Urban in their ICM 2006 report in the special case when $F=\mathbb{Q}$ and the motive is conjugate…
Let K be an imaginary quadratic field of discriminant -D_K<0. We introduce a notion of an adelic Maass space S_{k, -k/2}^M for automorphic forms on the quasi-split unitary group U(2,2) associated with K and prove that it is stable under the action of all Hecke operators. When D_K is prime we obtain a Hecke-equivariant descent from S_{k,-k/2}^M to the space of elliptic cusp forms S_{k-1}(D_K, χ_K), where χ_K is the quadratic character of K. For a given ϕ\in S_{k-1}(D_K, χ_K), a prime l >k, we then construct (mod l) congruences between the Maass form corresponding to ϕand hermitian modular forms…
The conjectures of Deligne, Be\uılinson, and Bloch-Kato assert that there should be relations between the arithmetic of algebro-geometric objects and the special values of their $L$-functions. We make a numerical study for symmetric power $L$-functions of elliptic curves, obtaining data about the validity of their functional equations, frequency of vanishing of central values, and divisibility of Bloch-Kato quotients.
For smooth linear group schemes over $\bbZ$ we give a cohomological interpretation of the local Tamagawa measures as cohomological periods. This is in the spirit of the Tamagawa measures for motives defined by Bloch and Kato. We show that in the case of tori the cohomological and the motivic Tamagawa measures coincide, which reproves the Bloch-Kato conjecture for motives associated to tori.
Let $E$ be an elliptic curve over $\mathbb{Q}$ and $A$ be another elliptic curve over a real quadratic number field. We construct a $\mathbb{Q}$-motive of rank $8$, together with a distinguished class in the associated Bloch-Kato Selmer group, using Hirzebruch-Zagier cycles, that is, graphs of Hirzebruch-Zagier morphisms. We show that, under certain assumptions on $E$ and $A$, the non-vanishing of the central critical value of the (twisted) triple product $L$-function attached to $(E,A)$ implies that the dimension of the associated Bloch-Kato Selmer group of the motive is $0$; and the non-vani…
Profinite groups with a cyclotomic $p$-orientation are introduced and studied. The special interest in this class of groups arises from the fact that any absolute Galois group $G_{K}$ of a field $K$ is indeed a profinite group with a cyclotomic $p$-orientation $θ_{K,p}\colon G_{K}\to\mathbb{Z}_p^\times$ which is even Bloch-Kato. The same is true for its maximal pro-$p$ quotient $G_{K}(p)$ provided the field $K$ contains a primitive $p^{th}$-root of unity. The class of cyclotomically $p$-oriented profinite groups (resp. pro-$p$ groups) which are Bloch-Kato is closed with respect to inverse limi…
The aim of this article is to study Bloch-Kato's exponential map and Perrin-Riou's "big" exponential map purely in terms of (ϕ,Γ)-modules over the Robba ring. We first generalize the definition of Bloch-Kato's exponential map for all the (ϕ,Γ)-modules without using Fontaine's rings B_{cris}, B_{dR} of p-adic periods and then we generalize the construction of Perrin-Riou's "big" exponential map for all the de Rham (ϕ,Γ)-modules and prove that this map interpolates our Bloch-Kato's exponential map and the dual exponential map. Finally, we prove a theorem concerning to the determinant of our "big…
This article is devoted to Kato's Euler system, which is constructed from modular unites, and to its image by the dual exponential map (so called Kato's reciprocity law). The presentation in this article is different form Kato's original one, and dual exponential map in this article is a modification of Colmez's construction in his Bourbaki talk.
In this paper we set up a general Kolyvagin system machinery for Euler systems of rank r (in the sense of Perrin-Riou) associated to a large class of Galois representations, building on our previous work on Kolyvagin systems of Rubin-Stark units and generalizing the results of Kato, Rubin and Perrin-Riou. Our machinery produces a bound on the size of the classical Selmer group attached to a Galoys representation T (that satisfies certain technical hypotheses) in terms of a certain r \times r determinant; a bound which remarkably goes hand in hand with Bloch-Kato conjectures. At the end, we pre…
We study the variation of the dimension of the Bloch-Kato Selmer group of a p-adic Galois representation of a number field that varies in a refined family. We show that, if one restricts ourselves to representations that are, at every place dividing $p$, crystalline, non-critically refined, and with a fixed number of non-negative Hodge-Tate weights, then the dimension of the Selmer group varies essentially lower-semi-continuously. This allows to prove lower bounds for Selmer groups "by continuity", in particular to prove some predictions of the conjecture of Bloch-Kato for modular forms.
We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term exact sequence of Galois cohomology with cyclotomic coefficients for any finite extension of fields whose Galois group has an exact quadruple of permutational representations over it. Examples include cyclic groups, dihedral groups, the biquadratic group Z/2\times Z/2, and the symmetric group S_4. Several exact sequences conjectured by Bloch-Kato, Merkurjev-…
Let $K / \mathbb{Q}_p$ be a finite Galois extension and $D$ a $(φ, Γ)$-module over the Robba-ring $B^{\dagger}_{\textrm{rig}, K}$. We give a generalization of the Bloch-Kato exponential map for $D$ using continuous Galois-cohomology groups $H^i(G_K, W(D))$ for the $B$-pair $W(D)$ associated to $D$. We construct a big exponential map $Ω_{D,h}$ ($h \in \mathbb{N}$) for cyclotomic extensions of $K$ for $D$ in the style of Perrin-Riou using the theory of Berger's $B$-pairs, which interpolates the generalized Bloch-Kato exponential maps on the finite levels.
