Generalized Steinberg Relations

Publication date 28 September 2021

Abstract: We consider a field

F

and positive integers

n

,

m

, such that

m

is not divisible by

m a t h r m C h a r (F)

and is prime to

n!

. The absolute Galois group

G_{F}

acts on the group

m a t h b b U_{n} (m a t h b b Z / m)

of all

(n + 1) i m e s (n + 1)

unipotent upper-triangular matrices over

m a t h b b Z / m

cyclotomically. Given

0, 1 e q z i n F

and an arbitrary list

w

of

n

Kummer elements

(z)_{F}

,

(1 - z)_{F}

in

H^{1} (G_{F}, m u_{m})

, we construct in a canonical way a quotient

m a t h b b U_{w}

of

m a t h b b U_{n} (m a t h b b Z / m)

and a cohomology element

h o^{z}

in

H^{1} (G_{F}, m a t h b b U_{w})

whose projection to the superdiagonal is the prescribed list. This extends results by Wickelgren, and in the case

n = 2

recovers the Steinberg relation in Galois cohomology, proved by Tate.

This page was built for publication: Generalized Steinberg Relations