English

Hilbert's 13th Problem for Algebraic Groups

Group Theory 2022-04-29 v1 Commutative Algebra Algebraic Geometry

Abstract

The algebraic form of Hilbert's 13th Problem asks for the resolvent degree rd(n)\text{rd}(n) of the general polynomial f(x)=xn+a1xn1++anf(x) = x^n + a_1 x^{n-1} + \ldots + a_n of degree nn, where a1,,ana_1, \ldots, a_n are independent variables. The resolvent degree is the minimal integer dd such that every root of f(x)f(x) can be obtained in a finite number of steps, starting with C(a1,,an)\mathbb C(a_1, \ldots, a_n) and adjoining algebraic functions in d\leq d variables at each step. Recently Farb and Wolfson defined the resolvent degree rdk(G)\text{rd}_k(G) of any finite group GG and any base field kk of characteristic 00. In this setting rd(n)=rdC(Sn)\text{rd}(n) = \text{rd}_{\mathbb C}(S_n), where SnS_n denotes the symmetric group. In this paper we define rdk(G)\text{rd}_k(G) for every algebraic group GG over an arbitrary field kk, investigate the dependency of this quantity on kk and show that rdk(G)5\text{rd}_k(G) \leq 5 for any field kk and any connected group GG. The question of whether rdk(G)\text{rd}_k(G) can be bigger than 11 for any field kk and any algebraic group GG over kk (not necessarily connected) remains open.

Keywords

Cite

@article{arxiv.2204.13202,
  title  = {Hilbert's 13th Problem for Algebraic Groups},
  author = {Zinovy Reichstein},
  journal= {arXiv preprint arXiv:2204.13202},
  year   = {2022}
}

Comments

40 pages

R2 v1 2026-06-24T11:00:53.135Z