Recently, D. Burns and C. Greither (Invent. Math., 2003) deduced an equivariant version of the main conjecture for abelian number fields. This was the key to their proof of the equivariant Tamagawa number conjecture. A. Huber and G. Kings (Duke Math. J., 2003) also use a variant of the Iwasawa main conjecture to prove the Tamagawa number conjecture for Dirichlet motives. We use the result of the second pair of authors and the Theorem of Ferrero-Washington to reprove the equivariant main conjecture in a slightly more general form. The main idea of the proof is essentially the same as in the paper of D. Burns and C. Greither, but we can replace complicated considerations of Iwasawa $mu$-invariants by a considerably simpler argument.
Assuming that Iwasawa's $μ_{K/k}$-invariant vanishes, we prove the 'main conjecture' of equivariant Iwasawa theory, at odd prime numbers $l$, for arbitrary extensions $K/k$ of totally real number fields, up to its uniqueness assertion.
Let p be an odd prime. We give an unconditional proof of the equivariant Iwasawa main conjecture for totally real fields for an infinite class of one-dimensional non-abelian p-adic Lie extensions. Crucially, this result does not depend on the vanishing of the relevant Iwasawa mu-invariant.
The equivariant `main conjecture' of Iwasawa theory is shown to hold for a Galois extension $K/k$ of number fields with Galois group an $l$-adic pro-$l$ Lie group of dimension 1 containing an abelian subgroup of index $l$, provided that Iwasawa's $μ$-invariant $μ(K/k)$ vanishes.
We study equivariant Iwasawa theory for two-variable abelian extensions of an imaginary quadratic field. One of the main goals of this paper is to describe the Fitting ideals of Iwasawa modules using $p$-adic $L$-functions. We also provide an application to Selmer groups of elliptic curves with complex multiplication.
We discuss abelian equivariant Iwasawa theory for elliptic curves over $\mathbb{Q}$ at good supersingular primes and non-anomalous good ordinary primes. Using Kobayashi's method, we construct equivariant Coleman maps, which send the Beilinson-Kato element to the equivariant $p$-adic $L$-functions. Then we propose equivariant main conjectures and, under certain assumptions, prove one divisibility via Euler system machinery. As an application, we prove a case of a conjecture of Mazur-Tate.
In classical Iwasawa theory, we mainly study codimension one behavior of arithmetic modules. Relatively recently, F. M. Bleher, T. Chinburg, R. Greenberg, M. Kakde, G. Pappas, R. Sharifi, and M. J. Taylor started studying higher codimension behavior of unramified Iwasawa modules which are conjectured to be pseudo-null. In this paper, by developing a general algebraic theory on perfect complexes, we obtain a new perspective of their work. That allows us to extend the results to equivariant settings and, even in non-equivariant settings, to obtain more refined results concerning the higher codim…
The main conjectures in Iwasawa theory predict the relationship between the Iwasawa modules and the $p$-adic $L$-functions. Using a certain proved formulation of the main conjecture, Greither and Kurihara described explicitly the (initial) Fitting ideals of the Iwasawa modules for the cyclotomic $\mathbb{Z}_p$-extensions of finite abelian extensions of totally real fields. In this paper, we generalize the algebraic theory behind their work by developing the theory of ``shifts of Fitting invariants.'' As applications to Iwasawa theory, we obtain a noncommutative version and a two-variable versi…
We construct a new class of Iwasawa modules, which are the number field analogues of the p-adic realizations of the Picard 1-motives constructed by Deligne in the 1970s and studied extensively from a Galois module structure point of view in our recent work. We prove that the new Iwasawa modules are of projective dimension 1 over the appropriate profinite group rings. In the abelian case, we prove an Equivariant Main Conjecture, identifying the first Fitting ideal of the Iwasawa module in question over the appropriate profinite group ring with the principal ideal generated by a certain equivari…
We discuss three different formulations of the equivariant Iwasawa main conjecture attached to an extension K/k of totally real fields with Galois group G, where k is a number field and G is a p-adic Lie group of dimension 1 for an odd prime p. All these formulations are equivalent and hold if Iwasawa's μ-invariant vanishes. Under mild hypotheses, we use this to prove non-abelian generalizations of Brumer's conjecture, the Brumer-Stark conjecture and a strong version of the Coates-Sinnott conjecture provided that μ= 0.
We show that for an odd prime p, the p-primary parts of refinements of the (imprimitive) non-abelian Brumer and Brumer-Stark conjectures are implied by the equivariant Iwasawa main conjecture (EIMC) for totally real fields. Crucially, this result does not depend on the vanishing of the relevant Iwasawa mu-invariant. In combination with the authors' previous work on the EIMC, this leads to unconditional proofs of the non-abelian Brumer and Brumer-Stark conjectures in many new cases.
Let $L/K$ be a finite Galois extension of $p$-adic fields and let $L_{\infty}$ be the unramified $\mathbb Z_p$-extension of $L$. Then $L_{\infty}/K$ is a one-dimensional $p$-adic Lie extension. In the spirit of the main conjectures of equivariant Iwasawa theory, we formulate a conjecture which relates the equivariant local epsilon constants attached to the finite Galois intermediate extensions $M/K$ of $L_{\infty}/K$ to a natural arithmetic invariant arising from the étale cohomology of the constant sheaf $\mathbb Q_p/\mathbb Z_p$ on the spectrum of $L_{\infty}$. We give strong evidence of the…
We prove an Equivariant Main Conjecture in Iwasawa Theory along any rank one, sign-normalized Drinfeld modular, split at infinity Iwasawa tower of a general function field of characteristic p, for the Iwasawa modules recently considered by Greither and Popescu, in their proof of the classical Equivariant Main Conjecture along the (arithmetic) cyclotomic Iwasawa tower.
We give a survey on the relationship between non-commutative Iwasawa theory and the Equivariant Tamagawa Number Conjecture following the work of (in alphabetical order) Burns/Flach, Coates/Sujatha, Fukaya/Kato, Huber/Kings and others.
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.
In this paper we prove an anticyclotomic Iwasawa main conjecture proposed by Perrin-Riou for Heegner points when the global sign is -1, using a recent work of the author on one divisibility of Iwasawa-Greenberg main conjecture for Rankin-Selberg p-adic L-functions. As a byproduct we also prove the equality for the above mentioned main conjecture under some local conditions.
In this paper, we prove the Iwasawa main conjecture for elliptic curves at an odd supersingular prime p. Some consequences are the p-parts of the leading term formulas in the Birch and Swinnerton-Dyer conjectures for analytic rank 0 or 1.
We prove the Iwasawa main conjecture over the arithmetic $\mathbb{Z}_p$-extension for semistable abelian varieties over function fields of characteristic $p>0$.
Let $p>2$ be a prime. Under mild assumptions, we prove the Iwasawa main conjecture of Kato, for modular forms with general weight and conductor prime to $p$.
We study a geometric analogue of the Iwasawa Main Conjecture for constant ordinary abelian varieties over $\ZZ_p^d$-extensions of function fields ramifying at a finite set of places.
In this article, we study the Iwasawa theory for Hilbert modular forms over the anticyclotomic extension of a CM field. We prove a one sided divisibility result toward the Iwasawa main conjecture. The proof relies on the first and second reciprocity law relating theta elements to Heegner points Euler system. As a by-product we also prove certain Bloch-Kato type result in the rank $0$ case and a parity conjecture
We will show a conjecture which reduces Mazur-Tate-Teitelbaum conjecture to the known cases. In order to explain its background we will develop an archimedian analog of Iwasawa theory. Moreover consequences of the conjecture which are related to Birch and Swinnerton-Dyer conjecture will be discussed.
We prove a `Weierstrass Preparation Theorem' and develop an explicit descent formalism in the context of Whitehead groups of non-commutative Iwasawa algebras. We use these results to describe the precise connection between the main conjecture of non-commutative Iwasawa theory (in the sense of Coates, Fukaya, Kato, Sujatha and Venjakob) and the equivariant Tamagawa number conjecture. The latter result is both a converse to a theorem of Fukaya and Kato and also provides an important means of deriving explicit consequences of the main conjecture.
In 2005 Coates, Fukaya, Kato, Sujatha, and Venjakob formulated a noncommutative Iwasawa main conjecture for l-adic Lie extensions of number fields. To provide evidence for this main conjecture we formulate and prove an analogous statement for l-adic Lie extensions of separated schemes of finite type over a finite field of characteristic prime to l.
We deduce the cyclotomic Iwasawa main conjecture for Hilbert modular cuspforms with complex multiplication from the multivariable main conjecture for CM number fields. To this end, we study in detail the behaviour of the $p$-adic $L$-functions and the Selmer groups attached to CM number fields under specialisation procedures.
Let $p$ be an odd prime. We prove the cyclotomic Iwasawa Main Conjecture of K.Kato for the motive attached to an eigencuspform $f\in S_{k}(Γ_{0}(N))$ with arbitrary reduction type at $p$ under mild assumptions on the residual Galois representation $\barρ_{f}$. Under the same hypotheses, we also prove the generalized Iwasawa Main Conjecture for $p$-adic families of modular forms. The Iwasawa Main Conjecture for $f$ is deduced by a limit argument involving fundamental lines from a universal Iwasawa Main Conjecture over the universal deformation space of $\barρ_{f}$, which itself follows from the…
In this article, we discuss Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms. After the overview on the situation of the ordinary case of Hida family, we will introduce a Coleman map for Coleman family for the non-ordinary case (Coleman family) which was obtained as a joint work with Filippo Nuccio [NO16] and we give some results on Iwasawa Theory for Coleman families as applications of . First, we give a construction of a two-variable $p$-adic $L$-function for a Coleman family thanks to the ingredients given in [NO16] (Theorem 5.1). Combining this result and Coleman…
In this paper we propose and prove an anticyclotomic Iwasawa main conjecture for Heegner points on supersingular elliptic curves with $a_p=0$. The result has a "$\pm$" nature in the sense of Kobayashi. The proof uses a recent work of the second author on one divisibility in the Iwasawa--Greenberg main conjecture for Rankin-Selberg $p$-adic $L$-functions, together with an argument of Howard (adapted to our "$\pm$"-situation). As a byproduct, we also obtain an improvement of Skinner's result on a converse to the Gross--Zagier--Kolyvagin theorem.
We prove under mild hypotheses the three-variable Iwasawa main conjecture for $p$-ordinary modular forms in the indefinite setting. Our result is in a setting complementary to that in the work of Skinner-Urban, and it has applications to Greenberg's nonvanishing conjecture for the first derivatives at the center of $p$-adic $L$-functions of cusp forms in Hida families with root number $-1$ and to Howard's horizontal nonvanishing conjecture.
We formulate and prove an analogue of the non-commutative Iwasawa Main Conjecture for $\ell$-adic representations of the Galois group of a function field of characteristic $p$. We also prove a functional equation for the resulting non-commutative $L$-functions. As corollaries, we obtain non-commutative generalisations of the main conjecture for Picard-$1$-motives of Greither and Popescu and a main conjecture for abelian varieties over function fields in precise analogy to the $\operatorname{GL}_2$ main conjecture of Coates, Fukaya, Kato, Sujatha and Venjakob.
We formulate a weak Gorenstein property for the Eisenstein component of the p-adic Hecke algebra associated to modular forms. We show that this weak Gorenstein property holds if and only if a weak form of Sharifi's conjecture and a weak form of Greenberg's conjecture hold.
In this paper, we prove under mild hypotheses the Iwasawa main conjectures of Lei--Loeffler--Zerbes for modular forms of weight $2$ at non-ordinary primes. Our proof is based on the study of the two-variable analogues of these conjectures formulated by Büyükboduk--Lei for imaginary quadratic fields in which $p$ splits, and on anticyclotomic Iwasawa theory. As application of our results, we deduce the $p$-part of the Birch and Swinnerton-Dyer formula in analytic ranks $0$ or $1$ for abelian varieties over $\mathbb{Q}$ of ${\rm GL}_2$-type for non-ordinary primes $p>2$.
For a prime number $p$ and a number field $k$, let $\tilde{k}$ be the compositum of all $\mathbb{Z}_p$-extensions of $k$. Greenberg's Generalized Conjecture (GGC) claims the pseudo-nullity of the unramified Iwasawa module $X(\tilde{k})$ of $\tilde{k}$. It is known that, when $k$ is an imaginary quadratic field, GGC has a consequence on the Iwasawa invariants associated to $\mathbb{Z}_p$-extensions of $k$. In this paper, we partially generalize it to arbitrary number fields $k$.
In this paper we prove that the $p$-adic $L$-function that interpolates the Rankin-Selberg product of a general weight two modular form which is unramified and non-ordinary at $p$, and an ordinary CM form of higher weight contains the characteristic ideal of the corresponding Selmer group. This is one divisibility of the Iwasawa-Greenberg main conjecture for the $p$-adic $L$-function. This generalizes an earlier work of the author to the non-ordinary case. The result of this paper plays a crucial role in the proof of Iwasawa main conjecture and refined Birch-Swinnerton-Dyer formula for supersi…
We give a survey on noncommutative main conjectures of Iwasawa theory in a geometric setting, i.e. for separated schemes of finite type over a finite field, as stated and proved by Burns and the author. We will also comment briefly on versions of the main conjecture for function fields.
We describe an explicit `higher rank' Iwasawa theory for zeta elements associated to the multiplicative group over abelian extensions of general number fields. We then show that this theory leads to a concrete new strategy for proving special cases of the equivariant Tamagawa number conjecture. As a first application of this approach, we use it to prove new cases of the conjecture for Tate motives over natural families of abelian CM extensions of totally real fields for which the relevant $p$-adic $L$-functions possess trivial zeroes.
In a previous paper we constructed a new class of Iwasawa modules as $\ell$--adic realizations of what we called abstract $\ell$--adic $1$--motives in the number field setting. We proved in loc. cit. that the new Iwasawa modules satisfy an equivariant main conjecture. In this paper we link the new modules to the $\ell$--adified Tate canonical class, defined by Tate in 1960 and give an explicit construction of (the minus part of) $\ell$--adic Tate sequences for any Galois CM extension $K/k$ of an arbitrary totally real number field $k$. These explicit constructions are significant and useful in…
Iwasawa's classical asymptotical formula relates the orders of the $p$-parts $X_n$ of the ideal class groups along a $\ZM_p$-extension $F_\infty/F$ of a number field $F$, to Iwasawa structural invariants $\la$ and $μ$ attached to the inverse limit $X_\infty=\limpro X_n$. It relies on "good" descent properties satisfied by $X_n$. If $F$ is abelian and $F_\infty$ is cyclotomic it is known that the $p$-parts of the orders of the global units modulo circular units $U_n/C_n$ are asymptotically equivalent to the $p$-parts of the ideal class numbers. This suggests that these quotients $U_n/C_n$, so t…
We establish the Iwasawa main conjecture for semi-stable abelian varieties over a function field of characteristic $p$ under certain restrictive assumptions. Namely we consider $p$-torsion free $p$-adic Lie extensions of the base field which contain the constant $\mathbb Z_p$-extension and are everywhere unramified. Under the classical $μ=0$ hypothesis we give a proof which mainly relies on the interpretation of the Selmer complex in terms of $p$-adic cohomology [TV] together with the trace formulas of [EL1].
Iwasawa's classical asymptotical formula relates the orders of the $p$-parts $X_n$ of the ideal class groups along a $\ZM_p$-extension $F_\infty/F$ of a number field $F$, to Iwasawa structural invariants $\la$ and $μ$ attached to the inverse limit $X_\infty=\limpro X_n$. It relies on "good" descent properties satisfied by $X_n$. If $F$ is abelian and $F_\infty$ is cyclotomic it is known that the $p$-parts of the orders of the global units modulo circular units $U_n/C_n$ are asymptotically equivalent to the $p$-parts of the ideal class numbers. This suggests that these quotients $U_n/C_n$, so t…
In this paper we prove that the p-adic L-function that interpolates the Rankin-Selberg product of a general modular form and a CM form of higher weight divides the characteristic ideal of the corresponding Selmer group. This is one divisibility of the Iwasawa main conjecture for the p-adic L-function. We prove this conjecture using the congruences between Klingen Eisensteinseries and cusp forms on the group GU(3; 1), following the strategy of a recent work of C. Skinner and E. Urban. This theorem can be used to deduce a converse of Gross-Zagier-Kolyvagin theorem and the precise BSD formula in …
We formulate a new equivariant Main Conjecture in Iwasawa theory of number fields and study its properties. This is done for arbitrary one-dimensional $p$-adic Lie extensions $L_\infty/K$ containing the cyclotomic $\mathbb{Z}_p$-extension $K_\infty$ of the base field. As opposed to existing conjectures in the area, no requirement that $L_\infty/K$ be abelian or that $L_\infty$ be totally real is imposed. We prove the independence of the Main Conjecture of essentially all of its parameters and explore its functorial behaviour. It is furthermore shown that, to a large extent, this new conjecture…
In this paper we prove one side divisibility of the Iwasawa-Greenberg main conjecture for Rankin-Selberg product of a weight two cusp form and an ordinary CM form of higher weight, using congruences between Klingen Eisenstein series and cusp forms on $\mathrm{GU}(3,1)$, generalizing earlier result of the third-named author to allow non-ordinary cusp forms. The main result is a key input in the third author's proof for Kobayashi's $\pm$-main conjecture for supersingular elliptic curves. The new ingredient here is developing a semi-ordinary Hida theory along an appropriate smaller weight space, …
We begin a systematic investigation of universal norms for $p$-adic representations in higher rank Iwasawa theory. After establishing the basic properties of the module of higher rank universal norms we construct an Iwasawa-theoretic pairing that is relevant to this setting. This allows us, for example, to refine the classical Iwasawa Main Conjecture for cyclotomic fields, and also to give applications to various well-known conjectures in arithmetic concerning Iwasawa invariants and leading terms of $L$-functions.
We construct a bipartite Euler system in the sense of Howard for Hilbert modular eigenforms of parallel weight two over totally real fields, generalizing works of Bertolini-Darmon, Longo, Nekovar, Pollack-Weston and others. The construction has direct applications to Iwasawa main conjectures. For instance, it implies in many cases one divisibility of the associated dihedral or anticyclotomic main conjecture, at the same time reducing the other divisibility to a certain nonvanishing criterion for the associated p-adic L-functions. It also has applications to cyclotomic main conjectures for Hilb…
Let $f$ be a normalized cuspidal eigen-newform of level coprime to $p$ with $a_p(f)=0$. We formulate both integral signed Iwasawa main conjectures and analytic Iwasawa man conjectures attached to the symmetric square motive of $f$ twisted by an auxiliary Dirichlet character. We show that the Beilinson--Flach elements attached to the symmetric square motive factorize into integral signed Beilinson--Flach elements, giving evidence towards the existence a rank-two Euler system predicted by Perrin-Riou. We use these integral elements to prove one inclusion in the integral and analytic Iwasawa main…
This is a two - part paper, in which we prove the following fact: let K be a CM field and L/K be a CM Z_p-extension. Then the Iwasawa mu-invariant of L vanishes. For the case when L is the cyclotomic Z_p extension, this is the Iwasawa conjecture stating that mu = 0 - a fact which had been proven for abelian fields by Ferrero and Washington. If L is not cyclotomic, than the Leopoldt conjecture fails for K. In this case we show that there is some auxiliar CM Z_p-extension for which mu does not vanish. This is a contradiction, showing that the Leopoldt conjecture must hold for CM fields. Concerni…
The central result of this paper is a refinement of Hida's duality theorem between ordinary Lambda-adic modular forms and the universal ordinary Hecke algebra. Specifically, we give a necessary condition for this duality to be integral with respect to particular submodules of the space ordinary Lambda-adic modular forms. This refinement allows us to give a simple proof that the universal ordinary cuspidal Hecke algebra modulo Eisenstein ideal is isomorphic to the Iwasawa algebra modulo an ideal related to the Kubota-Leopoldt p-adic L-function. The motivation behind these results stems from Oht…
Let $K=\mathbb{Q}(\sqrt{-q})$, where $q$ is any prime number congruent to $7$ modulo $8$, with ring of integers $\mathcal{O}$ and Hilbert class field $H$. Suppose $p\nmid [H:K]$ is a prime number which splits in $K$, say $p\mathcal{O}=\mathfrak{p}\mathfrak{p}^*$. Let $H_\infty=HK_\infty$ where $K_\infty$ is the unique $\mathbb{Z}_p$-extension of $K$ unramified outside $\mathfrak{p}$. Write $M(H_\infty)$ for the maximal abelian $p$-extension of $H_\infty$ unramified outside the primes above $\mathfrak{p}$, and set $X(H_\infty)=\mathrm{Gal}(M(H_\infty)/H_\infty)$. In this paper, we establish the…
Fix an odd prime $p$. Let $G$ be a compact $p$-adic Lie group containing a closed, normal, pro-$p$ subgroup $H$ which is abelian and such that $G/H$ is isomorphic to the additive group of $p$-adic integers $\mathbbZ_p$ . First we assume that $H$ is finite and compute the Whitehead group of the Iwasawa algebra, $Λ(G)$, of $G$. We also prove some results about certain localisation of $Λ(G)$ needed in Iwasawa theory. Let $F$ be a totally real number field and let $F_{\infty}$ be an admissible $p$-adic Lie extension of $F$ with Galois group $G$. The computation of the Whitehead groups are used to …
