Ramification filtration via deformations

Abstract: Let

m a t h c a l K

be a field of formal Laurent series with coefficients in a finite field of characteristic

p

,

m a t h c a l G_{< p}

-- the maximal quotient of

o p e r a t o r n a m e G a l (m a t h c a l K_{s e p} / m a t h c a l K)

of period

p

and nilpotent class

< p

and

{m a t h c a l G_{< p}^{(v)}}_{v g e q s l a n t 0}

-- its filtration by ramification subgroups in the upper numbering. Let

m a t h c a l G_{< p} = G (m a t h c a l L)

be the identification of nilpotent Artin-Schreier theory: here

G (m a t h c a l L)

is the group obtained from a suitable profinite Lie

m a t h b b F_{p}

-algebra

m a t h c a l L

via the Campbell-Hausdorff composition law. We develop a new technique to describe the ideals

m a t h c a l L^{(v)}

such that

G (m a t h c a l L^{(v)}) = m a t h c a l G_{< p}^{(v)}

and to find their generators. Given

v_{0} g e q s l a n t 1

we construct epimorphism of Lie algebras

and an action

O m e g a_{U}

of the formal group of order

p

,

a l p h a =_{p} = o p e r a t o r n a m e S p e c, m a t h b b F_{p} [U]

,

U^{p} = 0

, on

. Suppose

d O m e g a_{U} = B^{d a g} U

, where

, and

is the ideal of

generated by the elements of

. The main result of the paper states that

. In the last sections we relate this result to the explicit construction of generators of

m a t h c a l L^{(v_{0})}

obtained earlier by the author, develop its more efficient version and apply it to the recovering of the whole ramification filtration of

m a t h c a l G_{< p}

from the set of its jumps.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Ramification filtration via deformations