On Greenberg's generalized conjecture

Abstract: For a number field

F

and an odd prime number

p,

let

i l d e F

be the compositum of all

m a t h b b Z_{p}

-extensions of

F

and

i l d e L a m b d a

the associated Iwasawa algebra. Let

G_{S} (i l d e F)

be the Galois group over

i l d e F

of the maximal extension which is unramified outside

p

-adic and infinite places. In this paper we study the

i l d e L a m b d a

-module

m a t h f r a k X_{S}^{(- i)} (i l d e F) := H_{1} (G_{S} (i l d e F), m a t h b b Z_{p} (- i))

and its relationship with

X (i l d e F (m u_{p})) (i - 1)^{D} e l t a,

the

D e l t a := m a t h r m G a l (i l d e F (m u_{p}) / i l d e F)

-invariant of the Galois group over

i l d e F (m u_{p})

of the maximal abelian unramified pro-

p

-extension of

i l d e F (m u_{p}) .

More precisely, we show that under a decomposition condition, the pseudo-nullity of the

i l d e L a m b d a

-module

X (i l d e F (m u_{p})) (i - 1)^{D} e l t a

is implied by the existence of a

m a t h b b Z_{p}^{d}

-extension

L

with

m a t h f r a k X_{S}^{(- i)} (L) := H_{1} (G_{S} (L), m a t h b b Z_{p} (- i))

being without torsion over the Iwasawa algebra associated to

L,

and which contains a

m a t h b b Z_{p}

-extension

F_{i n f t y}

satisfying

H^{2} (G_{S} (F_{i n f t y}), m a t h b b Q_{p} / m a t h b b Z_{p} (i)) = 0.

As a consequence we obtain a sufficient condition for the validity of Greenberg's generalized conjecture when the integer

i e q u i v 1 m o d [F (m u_{p}) : F] .

This existence is fulfilled for

(p, i)

-regular fields.

This page was built for publication: On Greenberg's generalized conjecture