K\"ahler differentials and \mathbf{Z}_p-extensions

Abstract: Let

K

be a

p

-adic field, and let

K_{i} n f t y / K

be a Galois extension that is almost totally ramified, and whose Galois group is a

p

-adic Lie group of dimension

1

. We prove that

K_{i} n f t y

is not dense in

(m a t h b f B_{m a t h r m d R}^{+} / o p e r a t o r n a m e {F i l}^{2} m a t h b f B_{m a t h r m d R}^{+})^{o p e r a t o r n a m e G a l (o v e r l i n e K / K_{i} n f t y)}

. Moreover, the restriction of

h e t a

to the closure of

K_{i} n f t y

is injective, and its image via

h e t a

is the set of vectors of

w i d e h a t K_{i} n f t y

that are

C^{1}

with zero derivative for the action of

o p e r a t o r n a m e G a l (K_{i} n f t y / K)

. The main ingredient for proving these results is the construction of an explicit lattice of

m a t h c a l O_{K_{i} n f t y}

that is commensurable with

m a t h c a l O_{K_{i} n f t y}^{d = 0}

, where

d : m a t h c a l O_{K_{i} n f t y} o O m e g a_{m a t h c a l O_{K_{i} n f t y} / m a t h c a l O_{K}}

is the differential.

This page was built for publication: K\"ahler differentials and $\mathbf{Z}_p$-extensions