Iwasawa theory and p-adic L-functions over ${\mathbb Z}_{p}^{2}$-extensions

Let p be a prime. Iwasawa’s famous conjecture relating Kubota-Leopoldt p-adic L-functions to the structure of certain Galois groups has been proven by Mazur and Wiles in Mazur and Wiles (1984). Wiles later proved a far-reaching generalization involving p-adic L-functions for Hecke characters of finite order for a totally real number field in Wiles (1990). As we discussed in Greenberg (1983), an analogue of Iwasawa’s conjecture for p-adic Artin L-functions can then be deduced. The formulation again involves certain Galois groups. However, one can reformulate this result in terms of Selmer groups for the Artin representations. There are several advantages to such a reformulation. First of all, it fits perfectly into the much broader framework described in Greenberg (1989) which relates the p-adic L-function for a motive to the corresponding Selmer group. The crucial assumption in Greenberg (1989) that the motive be ordinary at p (or at least potentially ordinary) is satisfied by an Artin motive and all of its Tate twists.

In this paper, we study the Mordell-Weil group of an elliptic curve as a Galois module. We consider an elliptic curve E defined over a number field K whose Mordell-Weil rank over a Galois extension F is 1, 2 or 3. We show that E acquires a point (points) of infinite order over a field whose Galois group is one of Cn×Cm (n = 1, 2, 3, 4, 6, m = 1, 2), Dn×Cm (n = 2, 3, 4, 6, m = 1, 2), A4×Cm (m = 1, 2), S4 × Cm (m = 1, 2). Next, we consider the case where E has complex multiplication by the ring of integers of an imaginary quadratic field contained in K. Suppose that the -rank over a Galois extension F is 1 or 2. If ≠ and and h (class number of ) is odd, we show that E acquires positive -rank over a cyclic extension of K or over a field whose Galois group is one of SL2(/3), an extension of SL2(/3) by /2, or a central extension by the dihedral group. Finally, we discuss the relation of the above results to the vanishing of L-functions.

We now apply the cohomology theory of the previous chapter to the study of the Brauer group. However, we shall have to use a slightly modified construction which takes into account the fact that the absolute Galois group of a field is determined by its finite quotients. This is the cohomology theory of profinite groups, which we develop first. As a fruit of our labours, we identify the Brauer group of a field with a second, this time commutative, cohomology group of the absolute Galois group. As applications, we obtain easy proofs of some basic facts concerning the Brauer group, and give an important characterization of the index of a central simple algebra. Last but not least, one of the main objects of study in this book makes its appearance: the Galois symbol. The cohomology theory of profinite groups was introduced in the late 1950s by John Tate, motivated by sheaf-theoretic considerations of Alexander Grothendieck. His original aim was to find the appropriate formalism for developing class field theory. Tate himself never published his work, which thus became accessible to the larger mathematical community through the famous account of Serre [4], which also contains many original contributions. It was Brauer himself who described the Brauer group as a second cohomology group, using his language of factor systems. We owe to Serre the insight that descent theory can be used to give a more conceptual proof. The Galois symbol was defined by Tate in connection with the algebraic theory of power residue symbols, a topic extensively studied in the 1960s by Bass, Milnor, Moore, Serre and others. Profinite groups and Galois groups It can be no surprise that the main application of the cohomological techniques of the previous chapter will be in the case when G is the Galois group of a finite Galois extension. However, it will be convenient to consider the case of infinite Galois extensions as well, and first and foremost that of the extension k s |k , where k s is a separable closure of k .

Frey and Jarden asked if any abelian variety over a number field K has the infinite Mordell–Weil rank over the maximal abelian extension Kab. In this paper, we give an affirmative answer to their conjecture for the Jacobian variety of any smooth projective curve C over K such that #C(Kab) = ∞ and for any abelian variety of GL2-type with trivial character.

The canonical fractional Galois ideal at [formula omitted

In this note we study a certain formal group law over a complete discrete valuation ring F [[ u n -1 ]] of characteristic p > 0 which is of height n over the closed point and of height n -1 over the generic point. By adjoining all coefficients of an isomorphism between the formal group law on the generic point and the Honda group law H n -1 of height n - 1, we get a Galois extension of the quotient field of the discrete valuation ring with Galois group isomorphic to the automorphism group S n -1 of H n -1 . We show that the automorphism group S n of the formal group over the closed point acts on the quotient field, lifting to an action on the Galois extension which commutes with the action of Galois group. We use this to construct a ring homomorphism from the cohomology of S n -1 to the cohomology of S n with coefficients in the quotient field. Applications of these results in stable homotopy theory and relation to the chromatic splitting conjecture are discussed.

Some remarks on the two-variable main conjecture of Iwasawa theory for elliptic curves without complex multiplication

Let , be fields where .The field is called an extension field over denoted by /.In this research, we assume / to be a Galois extension with its Galois group = (/).Using the properties of / as a Galois extension, we will show that there is a one-one correspondence between the set of all intermediate subfields of / and the set of all subgroups in .Furthermore, we will give some basic properties related to Galois correspondence.

Let B be an Azumaya Galois extension or a DeMeyer-Kanzaki Galois extension with Galois group G. Equivalent conditions are given for a separable subextension of a Galois extension in the skew group ring B * G being an invariant subring of a subgroup of the Galois group G.

The aim of the present paper is to give evidence, largely numerical, in support of the non-commutative main conjecture of Iwasawa theory for the motive of a primitive modular form of weight k>2 over the Galois extension of Q obtained by adjoining to Q all p-power roots of unity, and all p-power roots of a fixed integer m>1. The predictions of the main conjecture are rather intricate in this case because there is more than one critical point, and also there is no canonical choice of periods. Nevertheless, our numerical data agrees perfectly with all aspects of the main conjecture, including Kato's mysterious congruence between the cyclotomic Manin p-adic L-function, and the cyclotomic p-adic L-function of a twist of the motive by a certain non-abelian Artin character of the Galois group of this extension.

Let K be a biquadratic field. M.-N. Gras and F. Tanoe gave a necessary and sufficient condition that K is monogenic by using a diophantine equation of degree 4 [3]. We consider algebraic extension fields of higher degree. Let F be a Galois extension field over the rationals % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaafiart1ev1aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWefv3ySLgznf % gDOjdaryqr1ngBPrginfgDObcv39gaiuaacqWFAesuaaa!40A2! $$\mathbb{Q}$$ whose Galois group is 2-elementary abelian. Then we shall prove that F of degree % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaafiart1ev1aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaai4waiaadA % eacaGG6aWefv3ySLgznfgDOjdaryqr1ngBPrginfgDObcv39gaiuaa % cqWFAesucaGGDbGaeyyzImRaaGioaaaa!4673! $$[F:\mathbb{Q}] \geqq 8$$ , is monogenic if and only if % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaafiart1ev1aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOraiabg2 % da9mrr1ngBPrwtHrhAYaqeguuDJXwAKbstHrhAGq1DVbacfaGae8Ng % HeLaaiikamaakaaabaGaeyOeI0IaaGymaaWcbeaakiaacYcadaGcaa % qaaiabgkHiTiaaikdaaSqabaGccaGGSaWaaOaaaeaacqGHsislcaaI % ZaaaleqaaOGaaiykaiabg2da9iab-PrirjaacIcacqaH2oGEdaWgaa % WcbaGaaGOmaiaaisdaaeqaaOGaaiykaaaa!5173! $$F = \mathbb{Q}(\sqrt { - 1} ,\sqrt { - 2} ,\sqrt { - 3} ) = \mathbb{Q}(\zeta _{24} )$$ under a suitable condition for the case of degree 8.

The fundamental group of Fermat and generalized Fermat curves is computed. These curves are Galois ramified covers of the projective line with abelian Galois groups H. We provide a unified study of the action of both cover Galois group H and the absolute Galois group $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ on the pro-$\ell$ homology of the curves in study. Also the relation to the pro-$\ell$ Burau representation is investigated.

Let K\k be a finite Galois extension of finite algebraic number fields with Galois group g. We denote by Gm the multiplicative group defined over the rational number field Q and put.

Let k be an algebraic number field (of finite degree) and K/k be a (finite) Galois extension with Galois group R. In connection with the class field theory, Weil [101 derived a certain canonical factor set a(o, r) of 9 in the idele-class group (K of K, which is uniquely determined by K/k in the sense of equivalence. For instance, a (mod R') -?f t r(o, A) (Ek k, essentially) (mod NK/k( RK)) is the Artin reciprocity law isomoprhism of 9/9' and Sk/NK/k( SK), where 9' is the commutator subgroup of R. A different approach to this (idele-class) factor set was given in [6]. Let, for each pair o, r, a(o, r) be a representative idele of a(o, r). Then (3a)(p, o, r) = a(o, r)a(po, r)-'a(p, o-r)a(p, oY)is, for each triple p, a, r, a principal idele, i.e. a non-zero element of K. We obtain thus a 3-cochain a(p, a, r) = (6a)(p, a, r) of 9 in the principal idele group PK of K, which is in fact a 3-cocycle. We saw, in [6], that this 3-cycocle a, or more precisely its cohomology class, attached in invariant fashion to the Galois extension K/k, has the order m/m', where m = (K: k) and m' is the least common multiple of the p-degrees of K/k, p running over all primes in k. It was shown further, in a joint paper [4] by Hochschild and the writer, that the cyclic group, of order m/m', generated by this 3-cohomology class is exactly the group of all 3-cohomology classes of 9 in PK with ceiling. This last group is in turn, according to EilenbergMacLane [1], nothing but the group of all Teichmtiller 3-cohomology classes for K/k, belonging to central simple algebras over K to which every element of ft can be extended (as automorphism). Now arises the problem to determine the exact algebra-class (though not unique) which possesses our a, attached to K/k, as its Teichmiiller-class. The present work is devoted to this problem and our solution is given in our Theorem in ?3. If a central simple algebra A over K, to which every automorphism of K/k can be extended, is given in a crossed-product form for instance, we can obtain its Teichmiiller-cocycle in a more or less explicit process involving the HilbertSpeiser theorem. On the other hand, in order to obtain our 3-cocycle a, we repeat the construction of the canonical idele-class factor set a given in [6], which is nothing but the global analogy of the local construction in Hochschild [3]1 and makes use of the idele interpretation of the principal genus theorem of Noether, but with more detailed analysis. Namely, we carry out all the processes in terms of ideles, rather than of idele-classes, preserving thus all principal idele factors which were discarded in [6]. This construction, involving the theorem of everywhere splitting algebras, the Hilbert-Speiser theorem and its idble analogy, leads to a. Though fairly explicit, these constructions of a and the Teichmfiller-

We show that there exist infinitely many quartic number fields K with large class numbers such that K∕Q is a Galois extension whose Galois group is isomorphic to a given finite group. Cho and Kim proved that there are infinitely many totally real cyclic extensions over Q of degree 4 with large class numbers. We consider all the other cases of quartic Galois extensions.