Abelian 2-class field towers over the cyclotomic {\mathbb {Z}_2}-extensions of imaginary quadratic fields

For the cyclotomic \mathbb Z₂{\mathbb Z_2}-extension k _∞ of an imaginary quadratic field k, we consider whether the Galois group G(k _∞) of the maximal unramified pro-2-extension over k _∞ is abelian or not. The group G(k _∞) is abelian if and only if the nth layer of the \mathbb Z₂{\mathbb {Z}_2}-extension has abelian 2-class field tower for all n ≥ 1. The purpose of this paper is to classify all such imaginary quadratic fields k in part by using Iwasawa polynomials.     

Toward equivariant Iwasawa theory, III

Let l be an odd prime number and K _∞/k a Galois extension of totally real number fields, with and K _∞/k _∞ finite, where k _∞ is the cyclotomic -extension of k. The ``main conjecture' of equivariant Iwasawa theory, as formulated in [RW2], is, up to its uniqueness statement, reduced to the existence of a nonabelian pseudomeasure whenever G _∞=G(K _∞/k) is an l-group and Iwasawa's μ-invariant vanishes. This follows from combining the validity of the conjecture in the maximal order case with special congruences. The main tool of proof is a generalization of the Taylor-Oliver integral group logarithm so that it applies to the setting of Iwasawa theory. We acknowledge financial support provided by NSERC and the University of Augsburg.     

On the Iwasawa Theory of p-Adic Lie Extensions

In this paper, the new techniques and results concerning the structure theory of modules over noncommutative Iwasawa algebras are applied to arithmetic: we study Iwasawa modules over p-adic Lie extensions k of number fields k 'up to pseudo-isomorphism'. In particular, a close relationship is revealed between the Selmer group of Abelian varieties, the Galois group of the maximal Abelian unramified p-extension of k as well as the Galois group of the maximal Abelian p-extension unramified outside S where S is a certain finite setof places of k. Moreover, we determine the Galois module structure of local units and other modules arising from Galois cohomology.     

Iwasawa invariants of imaginary quadratic fields

LetK be an imaginary quadratic field andp an odd prime which splits inK. We study the Iwasawa invariants for ℤ _p -extensions ofK. This is motivated in part by a recent result of Sands. The main result is the following. Assumep does not divide the class number ofK. LetK _∞ be a ℤ _p -extension ofK. SupposeK _∞ is not totally ramified at the primes abovep. Then the μ-invariant forK _∞/K vanishes. We also show that if μ=0 for all ℤ _p -extensions ofK, then the λ-invariant is bounded asK _∞ runs through all such extensions.     

Congruences between derivatives of abelian <Emphasis Type="Italic">L</Emphasis>-functions at <Emphasis Type="Italic">s</Emphasis>=0

Let K/k be a finite abelian extension of global fields. We prove that a natural equivariant leading term conjecture implies a family of explicit congruence relations between the values at s=0 of derivatives of the Dirichlet L-functions associated to K/k. We also show that these congruences provide a universal approach to the ‘refined abelian Stark conjectures’ formulated by, inter alia, Stark, Gross, Rubin, Popescu and Tate. We thereby obtain the first proofs of, amongst other things, the Rubin–Stark conjecture and the ‘refined class number formulas’ of both Gross and Tate for all extensions K/k in which K is either an abelian extension of ℚ or is a function field. Mathematics Subject Classification (1991)  Primary 11G40; Secondary 11R65; 19A31; 19B28     

Sur l'indépendance l-adique de nombres algébriques

Let l a prime number and K a Galois extension over the field of rational numbers, with Galois group G. A conjecture is put forward on l-adic independence of algebraic numbers, which generalizes the classical ones of Leopoldt and Gross, and asserts that the l-adic rank of a G submodule of K^x depends only on the character of its Galois representation. When G is abelian and in some other cases, a proof is given of this conjecture by using l-adic transcendence results.     

Mader’s Conjecture On Extremely Critical Graphs

A non-complete graph G is called an (n,k)-graph if it is n-connected but G—X is not (n−|X|+1)-connected for any X ⊂V (G) with |X|≤k. Mader conjectured that for k≥3 the graph K_2k+2−(1−factor) is the unique (2k,k)-graph(up to isomorphism). Here we prove this conjecture.     

On the Strong Product of a k-Extendable and an l-Extendable Graph

 Let G ₁⊗G ₂ be the strong product of a k-extendable graph G ₁ and an l-extendable graph G ₂, and X an arbitrary set of vertices of G ₁⊗G ₂ with cardinality 2[(k+1)(l+1)/2]. We show that G ₁⊗G ₂−X contains a perfect matching. It implies that G ₁⊗G ₂ is [(k+1)(l+1)/2]-extendable, whereas the Cartesian product of G ₁ and G ₂ is only (k+l+1)-extendable. As in the case of the Cartesian product, the proof is based on a lemma on the product of a k-extendable graph G and K ₂. We prove that G⊗K ₂ is (k+1)-extendable, and, a bit surprisingly, it even remains (k+1)-extendable if we add edges to it. Received: February 17, 1997 Final version received: June 14, 2000     

On some special measures on βG

LetG be a discrete abelian group,Ĝ the character group ofG, andl ^∞(G)^* the conjugate ofl ^∞(G) equipped with an Arens product. In many cases, we can find unitary functionsf such that χf is almost convergent to zero for all χ∈Ĝ. Some of these functions are then used to produce elements μ∈l ^∞(G)^* such that γμ=0 whenever γ is an annihilator ofC ₀(G). Regarded as Borel measures on βG, these elements satisfyxμ=0 for allx∈βG/G. They belong to the radical ofl ^∞(G)^*, and each of them generates a left ideal ofl ^∞(G)^* that contains no minimal left ideal.     

On unramified Galois extensions constructed using Galois representations

 For a field k, We denote the maximal abelian extension of k by k _ab and (K _ab ^r−1 _ab by k _ab ^r . In this paper, unramified Galois extensions over k _ab ^r are constructed using Galois representations of arbitrary dimension with larger coefficient rings. Received: 31 August 2001 / Revised version: 22 March 2002 Mathematics Subject Classification (2000): 11R21     

Cyclicity of the unramified Iwasawa module

For a number field k and a prime number p, let k _?? be the cyclotomic Z _p -extension of k with finite layers k _n . We study the finiteness of the Galois group X _?? over k _?? of the maximal abelian unramified p-extension of k _?? when it is assumed to be cyclic. We then focus our attention to the case where p?=?2 and k is a real quadratic field and give the rank of the 2-primary part of the class group of k _n . As a consequence, we determine the complete list of real quadratic number fields for which X _?? is cyclic non trivial. We then apply these results to the study of Greenberg??s conjecture for infinite families of real quadratic fields thus generalizing previous results obtained by Ozaki and Taya.     

On Galois groups of unramified pro-p extensions

Let p be an odd prime satisfying Vandiver’s conjecture. We consider two objects, the Galois group X of the maximal unramified abelian pro-p extension of the compositum of all Z _p -extensions of Q(μ _p ) and the Galois group of the maximal unramified pro-p extension of Q . We give a lower bound for the height of the annihilator of X as an Iwasawa module. Under some mild assumptions on Bernoulli numbers, we provide a necessary and sufficient condition for to be abelian. The bound and the condition in the two results are given in terms of special values of a cup product pairing on cyclotomic p-units. We obtain in particular that, for p  <  1,000, Greenberg’s conjecture that X is pseudo-null holds and is in fact abelian.     

How often can a finite group be realized as a Galois group over a field?

Let G be any finite group and any class of fields. By we denote the minimal number of realizations of G as a Galois group over some field from the class . For G abelian and the class of algebraic extensions of ℚ we give an explicit formula for . Similarly we treat the case of an abelian p-group G and the class which is conjectured to be the class of all fields of characteristic ≠p for which the Galois group of the maximal p-extension is finitely generated. For non-abelian groups G we offer a variety of sporadic results. Received: 27 October 1998 / Revised version: 3 February 1999     

On the structure theory of the Iwasawa algebra of a p-adic Lie group

This paper is motivated by the question whether there is a nice structure theory of finitely generated modules over the Iwasawa algebra, i.e. the completed group algebra, Λ of a p-adic analytic group G. For G without any p-torsion element we prove that Λ is an Auslander regular ring. This result enables us to give a good definition of the notion of a pseudo-nullΛ-module. This is classical when G=ℤ ^k _p for some integer k≥1, but was previously unknown in the non-commutative case. Then the category of Λ-modules up to pseudo-isomorphisms is studied and we obtain a weak structure theorem for the ℤ _p -torsion part of a finitely generated Λ-module. We also prove a local duality theorem and a version of Auslander-Buchsbaum equality. The arithmetic applications to the Iwasawa theory of abelian varieties are published elsewhere. Received May 12, 2001 / final version received July 5, 2001?Published online September 3, 2001     

Exterior algebras and two conjectures on finite abelian groups

Let G be a finite abelian group with |G| > 1. Let a ₁, …, a _k be k distinct elements of G and let b ₁, …, b _k be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation π on {1, …,k} such that a ₁ b _π(1), …, a _k b _π(k) are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Károlyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily’s conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.     

On Tate-Shafarevich groups over galois extensions

LetA be an abelian variety defined over a number fieldK. LetL be a finite Galois extension ofK with Galois groupG and let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups ofA overK and ofA overL. Assuming these groups are finite, we compute [III(A/L) ^G ]/[III(A/K)] and [III(A/K)]/[N(III(A/L))], where [X] is the order of a finite abelian groupX. Especially, whenL is a quadratic extension ofK, we derive a simple formula relating [III(A/L)], [III(A/K)], and [III(A ^x/K)] whereA x is the twist ofA by the non-trivial characterχ ofG.     

Uniform Boundedness of Torsion Subgroups of Linear Groups

The torsion conjecture says： for any abelian variety A defined over a number field k, the order of the torsion subgroup of A（k） is bounded by a constant C（k,d） which depends only on the number field k and the dimension d of the abelian variety. The torsion conjecture remains open in general. However, in this paper, a short argument shows that the conjecture is true for more general fields if we consider linear groups instead of abelian varieties. If G is a connected linear algebraic group defined over a field k which is finitely generated over Q,Г is a torsion subgroup of G（k）. Then the order of Г is bounded by a constant C＇（k, d） which depends only on k and the dimension d of G.     

On the Iwasawa invariants of certain non-cyclotomic ℤ2-extensions

Let k be an imaginary quadratic field in which the prime 2 splits. We consider the Iwasawa invariants of a certain non-cyclotomic ℤ₂-extension of k and give some sufficient conditions for the vanishing of λ- and μ-invariants.     

The iwasawa invariant μ in the composite of two Zl-extensions

Let k₀ be a finite extension field of the rational numbers, and assume k₀ has at least two Z_l-extensions. Assume that at least one Z_l-extension $\text{K}\text{k}{}_0$ has Iwasawa invariant μ = 0, and let L be the composite of K and some other Z_l-extension of k₀. In this paper we find an upper bound for the number of Z_l-extensions of k₀ contained in L with nonzero μ.     

On J. H. C. Whitehead's aspherical question I

A connected, finite two-dimensional CW-complex with fundamental group isomorphic toG is called a [G, 2] _f -complex. LetL⊲G be a normal subgroup ofG. L has weightk if and only ifk is the smallest integer such that there exists {l ₁,…,l _k}⊆L such thatL is the normal closure inG of {l ₁,…,l _k}. We prove that a [G, 2] _f -complexX may be embedded as a subcomplex of an aspherical complexY=X∪{e ₁ ² ,…,e _k ² } if and only ifG has a normal subgroupL of weightk such thatH=G/L is at most two-dimensional and defG=defH+k. Also, ifX is anon-aspherical [G, 2] _f -subcomplex of an aspherical 2-complex, then there exists a non-trivial superperfect normal subgroupP such thatG/P has cohomological dimension ≤2. In this case, any torsion inG must be inP.