English

Generalized Steinberg Relations

Number Theory 2022-09-23 v2

Abstract

We consider a field FF and positive integers nn, mm, such that mm is not divisible by Char(F)\mathrm{Char}(F) and is prime to n!n!. The absolute Galois group GFG_F acts on the group Un(Z/m)\mathbb{U}_n(\mathbb{Z}/m) of all (n+1)×(n+1)(n+1)\times(n+1) unipotent upper-triangular matrices over Z/m\mathbb{Z}/m cyclotomically. Given 0,1zF0,1\neq z\in F and an arbitrary list ww of nn Kummer elements (z)F(z)_F, (1z)F(1-z)_F in H1(GF,μm)H^1(G_F,\mu_m), we construct in a canonical way a quotient Uw\mathbb{U}_w of Un(Z/m)\mathbb{U}_n(\mathbb{Z}/m) and a cohomology element ρz\rho^z in H1(GF,Uw)H^1(G_F,\mathbb{U}_w) whose projection to the superdiagonal is the prescribed list. This extends results by Wickelgren, and in the case n=2n=2 recovers the Steinberg relation in Galois cohomology, proved by Tate.

Keywords

Cite

@article{arxiv.2109.13519,
  title  = {Generalized Steinberg Relations},
  author = {Ido Efrat},
  journal= {arXiv preprint arXiv:2109.13519},
  year   = {2022}
}

Comments

Final version. To appear in "Research in Number Theory"

R2 v1 2026-06-24T06:25:13.767Z