On the main conjecture of Iwasawa theory for certain non-cyclotomic Z_p-extensions

Abstract: Let

K = m a t h b b Q (s q r t - q)

, where

q

is any prime number congruent to

7

modulo

8

, with ring of integers

m a t h c a l O

and Hilbert class field

H

. Suppose

p m i d [H : K]

is a prime number which splits in

K

, say

p m a t h c a l O = m a t h f r a k p m a t h f r a k p^{*}

. Let

H_{i} n f t y = H K_{i} n f t y

where

K_{i} n f t y

is the unique

m a t h b b Z_{p}

-extension of

K

unramified outside

m a t h f r a k p

. Write

M (H_{i} n f t y)

for the maximal abelian

p

-extension of

H_{i} n f t y

unramified outside the primes above

m a t h f r a k p

, and set

X (H_{i} n f t y) = m a t h r m G a l (M (H_{i} n f t y) / H_{i} n f t y)

. In this paper, we establish the main conjecture of Iwasawa theory for the Iwasawa module

X (H_{i} n f t y)

. As a consequence, we have that if

X (H_{i} n f t y) = 0

, the relevant

L

-values are

m a t h f r a k p

-adic units. In addition, the main conjecture for

X (H_{i} n f t y)

has implications toward (a) the BSD Conjecture for a class of CM elliptic curves; (b) weak

m a t h f r a k p

-adic Leopoldt conjecture.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: On the main conjecture of Iwasawa theory for certain non-cyclotomic \(\mathbb{Z}_p\)-extensions