From Hilbert’s 13th problem to essential dimension and back

1 Introduction

The problem of solving polynomial equations in one variable, i.e., equations of the form

goes back to ancient times. Here by “solving” I mean finding a procedure or a formula which produces a solution $x$ for a given set of coefficients $a_1,\dots ,a_n$. The terms “procedure” and “formula” are ambiguous; to get a well-posed problem, we need to specify what kinds of operations we are allowed to perform to obtain $x$ from $a_1,\dots ,a_n$. In the simplest setting, we are only allowed to perform the four arithmetic operations: addition, subtraction, multiplication and division. In other words, we are asking if the polynomial (⁠1⁠) has a root $x$ which is expressible as a rational function of $a_1,\dots ,a_n$. For a general polynomial of degree $n⩾2$, the answer is clearly “no”; this was already known to the ancient Greeks. The focus then shifted to the problem of “solving polynomials in radicals”, where one is allowed to use the four arithmetic operations and radicals of any degree. Here the $m$th radical (or root) of $t$ is a solution to

Mathematicians attempted to solve polynomial equations this way for centuries, but only succeeded for $n=1$, $2$, $3$ and $4$. It was shown by Ruffini, Abel and Galois in the early 19th century that a general polynomial of degree $n⩾5$ cannot be solved in radicals. This was a ground-breaking discovery. However, the story does not end there.

Suppose we allow one additional operation, namely solving

That is, we start with $a_1,\dots ,a_n$, and at each step, we are allowed to enlarge this collection by adding one new number, which is the sum, difference, product or quotient of two numbers in our collection, or a solution to (⁠2⁠) or (⁠3⁠) for any $t$ in our collection. In 1786, Bring [⁠16⁠ A. Chen, Y.-H. He and J. McKay, Erland Samuel Bring’s “Transformation of Algebraic Equations”, arXiv:1711.09253 (2017) ] showed that every polynomial equation of degree $5$ can be solved using these operations.

Note that the coefficients of (⁠2⁠) and (⁠3⁠) only depend on one parameter $t$. Thus roots of these equations can be thought of as ”algebraic functions” of one variable. By contrast, the coefficients of the general polynomial equation (⁠1⁠) depend on $n$ independent parameters $a_1,\dots ,a_n$. With this in mind, we define the resolvent degree $\mathrm{rd}(f)$ of a polynomial $f(x)$ in (⁠1⁠) as the smallest positive integer $r$ such that every root of $f(x)$ can be obtained from $a_1,\dots ,a_n$ in a finite number of steps, assuming that at each step we are allowed to perform the four arithmetic operations and evaluate algebraic functions of $r$ variables. Let us denote the largest possible value of $\mathrm{rd}(f)$ by $\mathrm{rd}(n)$, as $f(x)$ ranges over all polynomials of degree $n$. The algebraic form of Hilbert’s 13th problem asks for the value of $\mathrm{rd}(n)$.

The actual wording of the 13th problem is a little different: Hilbert asked for the minimal integer $r$ one needs to solve every polynomial equation of degree $n$, assuming that at each step one is allowed to perform the four arithmetic operations and apply any continuous (rather than algebraic) function in $r$ variables. Let us denote the maximal possible resolvent degree in this setting by $\mathrm{crd}(n)$, where “c” stands for “continuous”. Specifically, Hilbert asked whether or not $\mathrm{crd}(7)=3$. In this form, Hilbert’s 13th problem was solved by Kolmogorov [⁠37⁠ A. N. Kolmogorov, On the representation of continuous functions of several variables by superpositions of continuous functions of a smaller number of variables. Dokl. Akad. Nauk SSSR (N.S.)108, 179–182 (1956) ] and Arnold [⁠1⁠ V. I. Arnol'd, On functions of three variables. Dokl. Akad. Nauk SSSR114, 679–681 (1957) ] in 1957.⁠¹⁠Arnold was a 19 year old undergraduate student in 1957. He later said that all of his numerous subsequent contributions to mathematics were, in one way or another, motivated by Hilbert’s 13th problem; see [⁠2⁠ V. I. Arnol'd, From Hilbert’s superposition problem to dynamical systems. Amer. Math. Monthly111, 608–624 (2004) ]. They showed that, contrary to Hilbert’s expectation, $\mathrm{crd}(n)=1$ for every $n$. In other words, continuous functions in $1$ variable are enough to solve any polynomial equation of any degree. Moreover, any continuous function in $n$ variables can be expressed as a composition of functions of one variable and addition.

In spite of this achievement, Wikipedia lists the 13th problem as “unresolved”. While this designation is subjective, it reflects the view of many mathematicians that Hilbert’s true intention was to ask about $\mathrm{rd}(n)$, not $\mathrm{crd}(n)$. They point to the body of work on $\mathrm{rd}(n)$ going back centuries before Hilbert (see, e.g., [⁠21⁠ J. Dixmier, Histoire du 13e problème de Hilbert. In Analyse diophantienne et géométrie algébrique, Cahiers Sém. Hist. Math. Sér. 2, Univ. Paris VI, Paris, 85–94 (1993) ]) and to Hilbert’s own 20th century writings, where only $\mathrm{rd}(n)$ was considered (see, e.g., [⁠31⁠ D. Hilbert, Über die Gleichung neunten Grades. Math. Ann.97, 243–250 (1927) ]). Arnold himself was a strong proponent of this point of view [⁠13⁠ F. E. Browder (ed.), Mathematical developments arising from Hilbert problems, Proceedings of Symposia in Pure Mathematics, Vol. XXVIII, American Mathematical Society, Providence (1976) , pp. 45–46], [⁠2⁠ V. I. Arnol'd, From Hilbert’s superposition problem to dynamical systems. Amer. Math. Monthly111, 608–624 (2004) ].

Progress on the algebraic form of Hilbert’s 13th problem has been slow. From what I said above, $\mathrm{rd}(n)=1$ when $n⩽5$; this was known before Hilbert and even before Galois. The value of $\mathrm{rd}(n)$ remains open for every $n⩾6$, and the possibility that $\mathrm{rd}(n)=1$ for every $n$ has not been ruled out. The best known upper bounds on $\mathrm{rd}(n)$ are of the form $\mathrm{rd}(n)⩽n-\alpha (n)$, where $\alpha (n)$ is an unbounded but very slow growing function of $n$. The list of people who have proved inequalities of this form includes some of the leading mathematicians of the past two centuries: Hamilton, Sylvester, Klein, Hilbert, Chebotarev, Segre, Brauer. Recently, their methods have been refined and their bounds sharpened by Wolfson [⁠63⁠ J. Wolfson, Tschirnhaus transformations after Hilbert. Enseign. Math.66, 489–540 (2020) ], Sutherland [⁠60⁠ A. J. Sutherland, Upper bounds on resolvent degree and its growth rate. arXiv:2107.08139 (2021) ] and Heberle–Sutherland [⁠30⁠ C. Heberle and A. J. Sutherland, Upper bounds on resolvent degree via sylvester’s obliteration algorithm. arXiv:2110.08670 (2021) ].

There is another reading of the 13th problem, to the effect that Hilbert meant to allow global multi-valued continuous functions; see [⁠2⁠ V. I. Arnol'd, From Hilbert’s superposition problem to dynamical systems. Amer. Math. Monthly111, 608–624 (2004) , p. 613]. These behave in many ways like algebraic functions. If we denote the resolvent degree in this sense by $\mathrm{Crd}(n)$, where “C” stands for “global continuous”, then

As far as I am aware, nothing else is known about $\mathrm{Crd}(n)$ or $\mathrm{rd}(n)$ for $n⩾6$.

On the other hand, in recent decades, considerable progress has been made in studying a related but different invariant, the essential dimension.⁠²⁠The term “essential dimension” was coined by Joe Buhler. The term “resolvent degree” was introduced by Richard Brauer in [⁠8⁠ R. Brauer, On the resolvent problem. Ann. Mat. Pura Appl. (4)102, 45–55 (1975) ]. Joe Buhler and I [⁠14⁠ J. Buhler and Z. Reichstein, On the essential dimension of a finite group. Compositio Math.106, 159–179 (1997) ] introduced this notion in the late 1990s. In special instances, it came up earlier, e.g., in the work of Kronecker [⁠38⁠ L. Kronecker, Ueber die Gleichungen fünften Grades. J. Reine Angew. Math.59, 306–310 (1861) ], Klein [⁠35⁠ F. Klein, Lectures on the icosahedron and the solution of equations of the fifth degree. Revised ed., Dover Publications, New York (1956) ], Chebotarev [⁠15⁠ N. G. Chebotarev, The problem of resolvents and critical manifolds. Bull. Acad. Sci. URSS. Sér. Math. [Izvestia Akad. Nauk SSSR]7, 123–146 (1943) ], Procesi [⁠48⁠ C. Procesi, Non-commutative affine rings. Atti Accad. Naz. Lincei Mem. Cl. Sci. Fis. Mat. Natur. Sez. Ia (8)8, 237–255 (1967) ]⁠³⁠Procesi asked about the minimal number of independent parameters required to define a generic division algebra of degree $n$. In modern terminology, this number is the essential dimension of the projective linear group ${\mathrm{PGL}}_n$. and Kawamata [⁠34⁠ Y. Kawamata, Minimal models and the Kodaira dimension of algebraic fiber spaces. J. Reine Angew. Math.363, 1–46 (1985) ]⁠⁴⁠Kawamata defined an invariant $\mathrm{Var}(f)$ of an algebraic fiber space $f:X\to S$, which he informally described as “the number of moduli of fibers of $f$ in the sense of birational geometry”. In modern terminology, $\mathrm{Var}(f)$ is the essential dimension of $f$.. Our focus in [⁠14⁠ J. Buhler and Z. Reichstein, On the essential dimension of a finite group. Compositio Math.106, 159–179 (1997) ] was on polynomials and field extensions. It later became clear that the notion of essential dimension is of interest in other contexts: quadratic forms, central simple algebras, torsors, moduli stacks, representations of groups and algebras, etc. In each case, it poses new questions about the underlying objects and occasionally leads to solutions of pre-existing open problems.

This paper has two goals. The first is to survey some of the research on essential dimension in Sections ⁠2⁠–⁠7⁠. This survey is not comprehensive; it is only intended to convey the flavor of the subject and sample some of its highlights. My second goal for this paper is to define the notion of resolvent degree of an algebraic group in Section ⁠8⁠, building on the work of Farb and Wolfson [⁠25⁠ B. Farb and J. Wolfson, Resolvent degree, Hilbert’s 13th problem and geometry. Enseign. Math.65, 303–376 (2019) ] but focusing on connected, rather than finite groups. The quantity $\mathrm{rd}(n)$ defined above is recovered in this setting as $\mathrm{rd}({\mathrm{S}}_n)$. For more comprehensive surveys of essential dimension and resolvent degree, see [⁠41⁠ A. S. Merkurjev, Essential dimension: a survey. Transform. Groups18, 415–481 (2013) , ⁠51⁠ Z. Reichstein, Essential dimension. In Proceedings of the International Congress of Mathematicians, Vol. II (Hyderabad, India, 2010), Hindustan Book Agency, New Delhi, 162–188 (2011) ] and [⁠25⁠ B. Farb and J. Wolfson, Resolvent degree, Hilbert’s 13th problem and geometry. Enseign. Math.65, 303–376 (2019) ], respectively.

2 Essential dimension of a polynomial

Let $k$ be a base field, $K$ be a field containing $k$ and $L$ be a finite-dimensional $K$-algebra (not necessarily commutative, associative or unital). We say that $L$ descends to an intermediate field $k\subset K_0\subset K$ if there exists a finite-dimensional $K_0$-algebra $L_0$ such that $L=L_0{\otimes }_{K_0}K$. Equivalently, recall that, for any choice of an $K$-vector space basis $e_1,\dots ,e_n$ of $L$, one can encode multiplication in $L$ into the $n^3$ structure constants $c_{ij}^h\in K$ given by $e_i{e}_j={\sum }_{h=1}^n{c}_{ij}^h{e}_h$. Then $L$ descends to $K_0\subset K$ if and only if there exists a basis $e_1,\dots ,e_n$ such that all of the structure constants $e_{ij}^h$ with respect to this basis lie in $K_0$. The essential dimension ${\mathrm{ed}}_k(L/K)$ is defined as the minimal value of the transcendence degree ${\mathrm{trdeg}}_k(K_0)$, where $L$ descends to $K_0$. If the reference to the base field $k$ is clear from the context, we will write $\mathrm{ed}$ in place of ${\mathrm{ed}}_k$.

If $f(x)=x^n+a_1{x}^{n-1}+\cdots +a_n$ is a polynomial over $K$, for some $a_1,\dots ,a_n$, as in (⁠1⁠), we define ${\mathrm{ed}}_k(f)$ as ${\mathrm{ed}}_k(L/K)$, where $L=K[x]/(f(x))$. Note that if $f(x)$ (or equivalently, $L$) is separable over $K$, then $L$ descends to $K_0$ if and only if there exists an element $\overline{y}\in L$ which generates $L$ as an $K$-algebra and such that the minimal polynomial $g(y)=y^n+b_1{y}^{n-1}+\cdots +b_n$ of $\overline{y}$ lies in $K_0[y]$.

In classical language, the passage from $f(x)$ to $g(y)$ is called a Tschirnhaus transformation. Note that

for some $c_0,c_1,\dots ,c_{n-1}\in K$. Here $\overline{x}\in L$ is $x$ modulo $(f(x))$. Tschirnhaus’ strategy for solving polynomial equations in radicals by induction on degree was to transform $f(x)$ to a simpler polynomial $g(y)$, find a root of $g(y)$ and then recover a root of $f(x)$ from (⁠4⁠) by solving a polynomial equation of degree $⩽n-1$. In his 1683 paper [⁠62⁠ E. W. Tschirnhaus, A method for removing all intermediate terms from a given equation. ACM SIGSAM Bulletin, 37, 1–3 (2003) ], Tschirnhaus successfully implemented this strategy for $n=3$ but made a mistake in implementing it for higher $n$. Tschirnhaus did not know that a general polynomial of degree $⩾5$ cannot be solved in radicals or that his method for solving cubic polynomials had been discovered by Cardano a century earlier.

Let us denote the maximal value of $\mathrm{ed}(f)$ taken over all field extensions $K/k$ and all separable polynomials $f(x)\in K[x]$ of degree $n$ by ${\mathrm{ed}}_k(n)$. Kronecker [⁠38⁠ L. Kronecker, Ueber die Gleichungen fünften Grades. J. Reine Angew. Math.59, 306–310 (1861) ] and Klein [⁠35⁠ F. Klein, Lectures on the icosahedron and the solution of equations of the fifth degree. Revised ed., Dover Publications, New York (1956) ] showed that

This classical result is strengthened in [⁠14⁠ J. Buhler and Z. Reichstein, On the essential dimension of a finite group. Compositio Math.106, 159–179 (1997) ] as follows.

I recently learned that a variant of the inequality ${\mathrm{ed}}_{\mathbb{C}}(n)⩾\lfloor \frac{n}{2}\rfloor$ was known to Chebotarev [⁠15⁠ N. G. Chebotarev, The problem of resolvents and critical manifolds. Bull. Acad. Sci. URSS. Sér. Math. [Izvestia Akad. Nauk SSSR]7, 123–146 (1943) ] as far back as 1943.

The problem of finding the exact value of $\mathrm{ed}(n)$ may be viewed as being analogous to Hilbert’s 13th problem with $\mathrm{rd}(n)$, $\mathrm{crd}(n)$ or $\mathrm{Crd}(n)$ replaced by $\mathrm{ed}(n)$. Since Hilbert specifically asked about $\mathrm{rd}(7)$, the case where $n=7$ is of particular interest.

The proof of Theorem ⁠2⁠ relies on the same general strategy as Klein’s proof of (⁠5⁠); I will discuss it further it in Section ⁠6⁠. Combining Theorem ⁠2⁠ with the inequality ${\mathrm{ed}}_k(n+2)⩾{\mathrm{ed}}_k(n)+1$ from Theorem ⁠1⁠, we can slightly strengthen (⁠6⁠) in characteristic $0$ as follows:

Beyond (⁠7⁠), nothing is known about ${\mathrm{ed}}_{\mathbb{C}}(n)$ for any $n⩾8$. I will explain where I think the difficulty lies in Section ⁠5⁠.

Analogous questions can be asked about polynomials that are not separable, assuming $\mathrm{char}(k)=p>0$. In this setting, the role of the degree is played by the “generalized degree” $(n,\mathbf{e})$. Here $n=[S:K]$, where $S$ is the separable closure of $K$ in $L=K[x]/(f(x))$ and $\mathbf{e}=(e_1,\dots ,e_r)$ is the so-called type of the purely inseparable algebra $L/S$ defined as follows. Given $x\in L$, let us define the exponent $\exp (x,S)$ to be the smallest integer $e$ such that $x^{p^e}\in S$. Then $e_1$ is the largest value of $\exp (x,S)$ as $x$ ranges over $L$. Choose an $x_1\in L$ of exponent $e_1$, and define $e_2$ as the largest value of $\exp (x,S[x_1])$. Now choose $x_2\in L$ of exponent $e_2$, and define $e_3$ as the largest value of $\exp (x,S[x_1,x_2])$, etc. We stop when $S[x_1,\dots ,x_r]=L$. By a theorem of Pickert, the resulting integer sequence $e_1,\dots ,e_r$ satisfies $e_1⩾\cdots ⩾e_r⩾1$ and does not depend on the choice of the elements $x_1,\dots ,x_r$. One can now define ${\mathrm{ed}}_k(n,\mathbf{e})$ by analogy with ${\mathrm{ed}}_k(n)$: ${\mathrm{ed}}_k(n,\mathbf{e})$ is the maximal value of ${\mathrm{ed}}_k(f)$, as $K$ ranges over all field extension of $k$ and $f(x)\in K[x]$ ranges over all polynomials of generalized degree $(n,\mathbf{e})$. Surprisingly, the case where $\mathbf{e}\ne \varnothing$ (i.e., the polynomials $f(x)$ in question are not separable) turns out to be easier. We refer the reader to [⁠53⁠ Z. Reichstein and A. K. Shukla, Essential dimension of inseparable field extensions. Algebra Number Theory13, 513–530 (2019) ], where an exact formula for $\mathrm{ed}(n,\mathbf{e})$ is obtained.

3 Essential dimension of a functor

Following Merkurjev [⁠6⁠ G. Berhuy and G. Favi, Essential dimension: a functorial point of view (after A. Merkurjev). Doc. Math.8, 279–330 (2003) ], we will now define essential dimension for a broader class of objects, beyond polynomials or finite-dimensional algebras. Let $k$ be a base field, which we assume to be fixed throughout, and $\mathcal{F}$ be a covariant functor from the category of field extensions $K/k$ to the category of sets. Any object $\alpha \in \mathcal{F}(K)$ in the image of the natural (“base change”) map $\mathcal{F}(K_0)\to \mathcal{F}(K)$ is said to descend to $K_0$. The essential dimension ${\mathrm{ed}}_k(\alpha )$ is defined as the minimal value of ${\mathrm{trdeg}}_k(K_0)$, where the minimum is taken over all intermediate fields $k\subset K_0\subset K$ such that $\alpha$ descends to $K_0$.

For example, consider the functor ${\mathrm{Ass}}_n$ of $n$-dimensional associative algebras given by

For $A\in {\mathrm{Ass}}_n(K)$, the new definition of ${\mathrm{ed}}_k(A)$ is the same as the definition in the previous section. Recall that, after choosing a $K$-basis for $A$, we can describe $A$ completely in terms of the $n^3$ structure constants $c_{ij}^h$. In particular, $A$ descends to the subfield $K_0=k(c_{ij}^h)$ of $K$, and consequently, ${\mathrm{ed}}_k(A)⩽n^3$.

Another interesting example is the functor of non-degenerate $n$-dimensional quadratic forms,

For simplicity, let us assume that the base field $k$ is of characteristic different from $2$. Under this assumption, a quadratic form $q$ on $K^n$ is the same thing as a symmetric bilinear form $b$. One passes back and forth between $q$ and $b$ using the formulas

for any $v,w\in K^n$. The form $q$ (or equivalently, $b$) is called degenerate if the linear form $b(v,\ast )$ is identically zero for some $0\ne v\in K^n$. A variant of the Gram–Schmidt process shows that there exists an orthogonal basis of $K^n$ with respect to $b$. In other words, in some basis $e_1,\dots ,e_n$ of $K^n$, $q$ can be written as

for some $a_1,\dots ,a_n$ in $K$. In particular, we have that $q$ descends to $K_0=k(a_1,\dots ,a_n)$, and thus ${\mathrm{ed}}_k(q)⩽n$. Note that $q$ is non-degenerate if and only if $a_1,\dots ,a_n\ne 0$.

Yet another interesting example is provided by the functor of elliptic curves,

For simplicity, assume that $\mathrm{char}(k)\ne 2$ or $3$. Then every elliptic curve $X$ over $K$ is isomorphic to the plane curve cut out by a Weierstrass equation $y^2=x^3+ax+b$ for some $a,b\in K$. Hence, $X$ descends to $K_0=k(a,b)$ and $\mathrm{ed}(X)⩽2$.

Informally, we think of $\mathcal{F}$ as specifying the type of algebraic object under consideration (e.g., algebras or quadratic forms or elliptic curves), $\mathcal{F}(K)$ as the set of objects of this type defined over $K$, and ${\mathrm{ed}}_k(\alpha )$ as the minimal number of parameters required to define $\alpha$. In most cases, essential dimension varies from object to object, and it is natural to consider what happens under a “worst case scenario”, i.e., how many parameters are needed to define the most general object of a given type. This number is called the essential dimension of the functor $\mathcal{F}$. That is,

as $K$ varies over all fields containing $k$ and $\alpha$ varies over $\mathcal{F}(K)$. Note that ${\mathrm{ed}}_k(\mathcal{F})$ can be either a non-negative integer or $\infty$. In particular, the arguments above yield

One can show that the last two of these inequalities are, in fact, sharp. The exact value of $\mathrm{ed}({\mathrm{Ass}}_n)$ is unknown for most $n$; however, for large $n$,

Similarly,

where ${\mathrm{Lie}}_n$ and ${\mathrm{Comm}}_n$ are the functors of $n$-dimensional Lie algebras and commutative algebras, respectively. These formulas are deduced from the formulas for the dimensions of the varieties of structure constants for $n$-dimensional associative, Lie and commutative algebras due to Neretin [⁠44⁠ Y. A. Neretin, An estimate for the number of parameters defining an n-dimensional algebra. Izv. Akad. Nauk SSSR Ser. Mat.51, 306–318, 447 (1987) ].⁠⁵⁠Note the resemblance of these asymptotic formulas to the classical theorem of Higman and Sims, which assert that the number of finite $p$-groups of order $p^n$ (up to isomorphism) is asymptotically $p^{2n^3/27+O(n^{8/3})}$. This is not an accident; see [⁠45⁠ B. Poonen, The moduli space of commutative algebras of finite rank. J. Eur. Math. Soc. (JEMS)10, 817–836 (2008) ].

This brings us to the functor $H^1(\ast ,G)$, where $G$ is an algebraic group defined over $k$. The essential dimension of this functor is a numerical invariant of $G$. This invariant has been extensively studied; it will be our main focus in the next section. The functor $H^1(\ast ,G)$ associates to a field $K/k$, the set $H^1(K,G)$ of isomorphism classes of $G$-torsors $T$ over $K$. Recall that a $G$-torsor over $T$ over $K$ is an algebraic variety with a $G$-action defined over $K$ such that, over the algebraic closure $\overline{K}$, $T$ becomes equivariantly isomorphic to $G$ acting on itself by left translations. If $T$ has a $K$-point $x$, then $G\to T$ taking $g$ to $g\cdot x$ is, in fact, an isomorphism over $K$. In this case, the torsor $T$ is called “trivial” or “split”. The interesting (non-trivial) torsors over $K$ have no $K$-points. For example, if $G=C_2$ is a cyclic group of order $2$ and $\mathrm{char}(k)\ne 2$, then every $C_2$-torsor is of the form $T_a$, where $T_a$ is the subvariety of ${\mathbb{A}}^1$ cut out by the quadratic equation $x^2-a=0$ for some $a\in K$. Informally, $T_a$ is a pair of points (roots of this equation) permuted by $C_2$; it is split if and only if these points are defined over $K$ (i.e., $a$ is a complete square in $K$). In fact, $H^1(K,C_2)$ is in bijective correspondence with $K^{\ast }/(K^{\ast }{)}^2$ given by $T_a\mapsto a\mathrm{mod}(K^{\ast }{)}^2$, where $K^{\ast }$ is the multiplicative group of $K$. Note that, in this example, $H^1(K,G)$ is, in fact, a group. This is the case whenever $G$ is abelian. For a non-abelian algebraic group $G$, $H^1(K,G)$ carries no natural group structure; it is only a set with a marked element (the trivial torsor).

For many linear algebraic groups $G$, the functor $H^1(\ast ,G)$ parametrizes interesting algebraic objects. For example, when $G$ is the orthogonal group ${\mathrm{O}}_n$, $H^1(\ast ,{\mathrm{O}}_n)$ is the functor ${\mathrm{Quad}}_n$ we considered above. When $G$ is the projective linear group ${\mathrm{PGL}}_n$, $H^1(K,{\mathrm{PGL}}_n)$ is the set of isomorphism classes of central simple algebras of degree $n$ over $K$. When $G$ is the exceptional group of type $G_2$, $H^1(K,G_2)$ is the set of isomorphism classes of octonion algebras over $K$.

4 Essential dimension of an algebraic group

The essential dimension of the functor $H^1(\ast ,G)$ is abbreviated as ${\mathrm{ed}}_k(G)$. Here $G$ is an algebraic group defined over $k$. This number is always finite if $G$ is linear but may be infinite if $G$ is an abelian variety [⁠12⁠ P. Brosnan and R. Sreekantan, Essential dimension of abelian varieties over number fields. C. R. Math. Acad. Sci. Paris346, 417–420 (2008) ]. If $G$ is the symmetric group ${\mathrm{S}}_n$, then

where ${\mathrm{ed}}_k(n)$ is the quantity we defined and studied in Section ⁠2⁠. Indeed, $H^1(K,{\mathrm{S}}_n)$ is the set of étale algebras $L/K$ of degree $n$. Étale algebras of degree $n$ are precisely the algebras of the form $K[x]/(f(x))$, where $f(x)$ is a separable (but not necessarily irreducible) polynomial of degree $n$ over $K$. Thus (⁠8⁠) is just a restatement of the definition of ${\mathrm{ed}}_k(n)$.

Another interesting example is the general linear group $G={\mathrm{GL}}_n$. Elements of $H^1(K,{\mathrm{GL}}_n)$ are the $n$-dimensional vector spaces over $K$. Since there is only one $n$-dimensional $K$-vector space up to $K$-isomorphism, we see that $H^1(K,{\mathrm{GL}}_n)=\{1\}$. In particular, every object of $H^1(K,{\mathrm{GL}}_n)$ descends to $k$, and we conclude that ${\mathrm{ed}}_k({\mathrm{GL}}_n)=0$. I will now give a brief summary of three methods for proving lower bounds on ${\mathrm{ed}}_k(G)$ for various linear algebraic groups $G$.

4.1 Cohomological invariants

Let $\mathcal{F}$ be a covariant functor from the category of field extensions $K/k$ to the category of sets, as in the previous section. A cohomological invariant of degree $d$ for $\mathcal{F}$ is a morphism of functors

for some discrete $\mathrm{Gal}(k)$-module $M$. In many interesting examples, $M={\mu }_m$ is the module of $m$th roots of unity with a natural $\mathrm{Gal}(k)$-action (trivial if $k$ contains a primitive $m$-th root of unity). The following observation is due to J.-P. Serre.

The proof is an immediate consequence of the Serre vanishing theorem. Cohomological invariants of an algebraic group $G$ (or equivalently, of the functor $H^1(\ast ,G)$) were introduced by Serre and Rost in the early 1990s, and have been extensively studied since then; see [⁠57⁠ J.-P. Serre, Cohomological invariants, Witt invariants, and trace forms. In Cohomological invariants in Galois cohomology, Univ. Lecture Ser. 28, American Mathematical Society, Providence, 1–100 (2003) ]. These invariants give rise to a number of interesting lower bounds on ${\mathrm{ed}}_k(G)$ for various groups $G$; in particular,

1. $\mathrm{ed}({\mathrm{O}}_n)⩾n$,

2. $\mathrm{ed}({\mathrm{SO}}_n)⩾n-1$ for every $n⩾3$,

3. $\mathrm{ed}(G_2)⩾3$,

4. $\mathrm{ed}(F_4)⩾5$,

5. $\mathrm{ed}({\mathrm{S}}_n)⩾\lfloor \frac{n}{2}\rfloor$.

Inequalities (1), (2) and (3) turn out to be exact; (4) is best known, and (5) is best known for even $n$; see (⁠7⁠).

4.2 Finite abelian subgroups

Note that both parts are vacuous if $A$ lies in a maximal torus $T$ of $G$. Indeed, in this case, the centralizer $C_G(A)$ contains $T$, so $d⩾r$. In other words, only non-toral finite abelian subgroups $A$ of linear algebraic groups are of interest here. These have been much studied and catalogued, starting with the work of Borel in the 1950s. Theorem ⁠4⁠ yields the best known lower bound on $\mathrm{ed}(G)$ in many cases, such as $\mathrm{ed}(E_7)⩾7$ and $\mathrm{ed}(E_8)⩾9$, where $E_7$ denotes the split simply connected exceptional group of type $E_7$ and similarly for $E_8$.

4.3 The Brauer class bound

Consider a linear algebraic group $G$ defined over our base field $k$. Suppose $G$ fits into a central exact sequence of algebraic groups (again, defined over $k$)

where $D$ is diagonalizable over $k$. For every field extension $K/k$, this sequence gives rise to the exact sequence of pointed sets

Every element $\alpha \in H^2(K,D)$ has an index, $\mathrm{ind}(\alpha )$, defined as follows. If $D\simeq {\mathbb{G}}_m$, then $\alpha$ is a Brauer class over $K$, and $\mathrm{ind}(\alpha )$ denotes the Schur index of $\alpha$, as usual. In general, we consider the character group $X(D)$ whose elements are homomorphisms $x:D\to {\mathbb{G}}_m$. Note that $X(D)$ is a finitely generated abelian group and each character $x\in X(D)$ induces a homomorphism

The index of $\alpha \in H^2(K,D)$ is defined as the minimal value of

as $\{x_1,\dots ,x_r\}$ ranges over generating sets of $X(D)$. Here each $(x_i{)}_{\ast }(\alpha )$ lies in $H^1(K,{\mathbb{G}}_m)$, and $\mathrm{ind}(x_i{)}_{\ast }(\alpha )$ denotes its Schur index, as above. We now define $\mathrm{ind}(G,D)$ as the maximal index of $\alpha \in \partial (H^1(K,\overline{G}))\subset H^2(K,D)$, where the maximum is taken over all field extensions $K/k$, as $\alpha$ ranges over the image $H^1(K,\overline{G})$ in $H^2(K,D)$.

Part (1) is known as Merkurjev’s index formula. The inequality of part (2) is based on Karpenko’s incompressibility theorem. Part (b) first appeared in [⁠9⁠ P. Brosnan, Z. Reichstein and A. Vistoli, Essential dimension and algebraic stacks. arXiv:math/0701903 (2007) ] in the special case where $D={\mathbb{G}}_m$ or ${\mu }_{p^r}$ and in [⁠26⁠ M. Florence, On the essential dimension of cyclic p-groups. Invent. Math.171, 175–189 (2008) ] in an even more special case, where $D={\mu }_p$. It was proved in full generality in [⁠33⁠ N. A. Karpenko and A. S. Merkurjev, Essential dimension of finite p-groups. Invent. Math.172, 491–508 (2008) ].

Theorem ⁠5⁠ is responsible for some of the strongest results in this theory, including the exact formulas for the essential dimension of a finite $p$-group (Theorem ⁠6⁠ below), the essential $p$-dimension of an algebraic torus, and the essential dimension of spinor groups ${\mathrm{Spin}}_n$. The latter turned out to increase exponentially in $n$:

This inequality was first proved in [⁠9⁠ P. Brosnan, Z. Reichstein and A. Vistoli, Essential dimension and algebraic stacks. arXiv:math/0701903 (2007) ]. The exact value of $\mathrm{ed}({\mathrm{Spin}}_n)$ subsequently got pinned down in [⁠10⁠ P. Brosnan, Z. Reichstein and A. Vistoli, Essential dimension, spinor groups, and quadratic forms. Ann. of Math. (2)171, 533–544 (2010) , ⁠18⁠ V. Chernousov and A. Merkurjev, Essential dimension of spinor and Clifford groups. Algebra Number Theory8, 457–472 (2014) ] in characteristic $0$, [⁠28⁠ S. Garibaldi and R. M. Guralnick, Spinors and essential dimension. Compos. Math.153, 535–556 (2017) ] in characteristic $p\ne 2$ and [⁠61⁠ B. Totaro, Essential dimension of the spin groups in characteristic 2. Comment. Math. Helv.94, 1–20 (2019) ] in characteristic $2$. When $n⩾15$, inequality (⁠9⁠) is sharp for $n\not\equiv 0$ modulo $4$, and is off by $2^{{\nu }_2(n)}$ otherwise. Here $2^{{\nu }_2(n)}$ is the largest power of $2$ dividing $n$.

The exponential growth of $\mathrm{ed}({\mathrm{Spin}}_n)$ came as a surprise. Prior to [⁠9⁠ P. Brosnan, Z. Reichstein and A. Vistoli, Essential dimension and algebraic stacks. arXiv:math/0701903 (2007) ], the best known lower bounds on $\mathrm{ed}({\mathrm{Spin}}_n)$ were linear (see [⁠19⁠ V. Chernousov and J.-P. Serre, Lower bounds for essential dimensions via orthogonal representations. J. Algebra305, 1055–1070 (2006) , Section 7]), on the order of $\frac{n}{2}$. Moreover, the exact values of $\mathrm{ed}({\mathrm{Spin}}_n)$ for $n⩽14$ obtained by Rost and Garibaldi [⁠27⁠ S. Garibaldi, Cohomological invariants: exceptional groups and spin groups. Mem. Amer. Math. Soc.200, xii+81 (2009) ] appeared to suggest that these linear bounds should be sharp. The fact that $\mathrm{ed}({\mathrm{Spin}}_n)$ increases exponentially in $n$ has found interesting applications in the theory of quadratic forms. For details, see [⁠10⁠ P. Brosnan, Z. Reichstein and A. Vistoli, Essential dimension, spinor groups, and quadratic forms. Ann. of Math. (2)171, 533–544 (2010) , ⁠18⁠ V. Chernousov and A. Merkurjev, Essential dimension of spinor and Clifford groups. Algebra Number Theory8, 457–472 (2014) ].

5 Essential dimension at $p$

Once again, fix a base field $k$, and let $\mathcal{F}$ be a covariant functor from the category of field extensions $K/k$ to the category of sets. The essential dimension ${\mathrm{ed}}_k(\alpha ;p)$ of an object $\alpha \in \mathcal{F}(K)$ at a prime $p$ is defined as the minimal value of ${\mathrm{ed}}_k({\alpha }^{\prime };p)$, where the minimum ranges over all finite field extensions $K^{\prime }/K$ of degree prime to $p$ and ${\alpha }^{\prime }$ denotes the image of $\alpha$ under the natural map $\mathcal{F}(K)\to \mathcal{F}(K^{\prime })$. Finally, the essential dimension ${\mathrm{ed}}_k(\mathcal{F};p)$ of $\mathcal{F}$ at $p$ is the maximal value of ${\mathrm{ed}}_k(\alpha )$, as $K$ ranges over all fields containing $k$ and $\alpha$ ranges over $\mathcal{F}(K)$. When $\mathcal{F}=H^1(\ast ,G)$ for an algebraic group $G$, we write ${\mathrm{ed}}_k(G;p)$ in place of ${\mathrm{ed}}_k(\mathcal{F};p)$. Once again, if the reference to the base field is clear from the context, we will abbreviate ${\mathrm{ed}}_k$ as $\mathrm{ed}$. By definition, $\mathrm{ed}(\alpha ;p)⩽\mathrm{ed}(\alpha )$ and $\mathrm{ed}(\mathcal{F};p)⩽\mathrm{ed}(\mathcal{F})$.

The reason to consider $\mathrm{ed}(\mathcal{F};p)$ in place of $\mathrm{ed}(\mathcal{F})$ is that the former is often more accessible. In fact, most of the methods we have for proving a lower bound on ${\mathrm{ed}}_k(\alpha )$ (respectively, ${\mathrm{ed}}_k(\mathcal{F})$) turn out to produce a lower bound on ${\mathrm{ed}}_k(\alpha ;p)$ (respectively, ${\mathrm{ed}}_k(\mathcal{F};p)$) for some prime $p$. For example, the lower bound in Theorem ⁠5⁠ (b) is really ${\mathrm{ed}}_k(G;p)⩾\mathrm{ind}(G,D)-\dim (G)$. In Theorem ⁠4⁠, one can usually choose $A$ to be a $p$-group, in which case the conclusion can be strengthened to $\mathrm{ed}(G;p)⩾r$ in part (a) and $\mathrm{ed}(G;p)⩾r-d$ in part (b). In Theorem ⁠3⁠, if $M$ is $p$-torsion (which can often be arranged), then $\mathrm{ed}(G;p)⩾d$.

This is a special case of a general meta-mathematical phenomenon: many problems concerning algebraic objects (such as finite-dimensional algebras or polynomials or algebraic varieties) over fields $K$ can be subdivided into two types. In type 1 problems, we are allowed to pass from $K$ to a finite extension $K^{\prime }/K$ of degree prime to $p$, for one prime $p$, whereas in type 2 problems this is not allowed. For example, given an algebraic variety $X$ defined over $K$, deciding whether or not $X$ has a $0$-cycle of degree 1 is a type 1 problem (it is equivalent to showing that there is a $0$-cycle of degree prime to $p$, for every prime $p$), whereas deciding whether or not $X$ has a $K$-point is a type 2 problem. As I observed in [⁠51⁠ Z. Reichstein, Essential dimension. In Proceedings of the International Congress of Mathematicians, Vol. II (Hyderabad, India, 2010), Hindustan Book Agency, New Delhi, 162–188 (2011) , Section 5], most of the technical tools we have are tailor-made for type 1 problems, whereas many long-standing open questions across several areas of algebra and algebraic geometry are of type 2.

In the context of essential dimension, the problem of computing $\mathrm{ed}(G;p)$ for a given algebraic group $G$ and a given prime $p$ is of type 1, whereas the problem of computing $\mathrm{ed}(G)$ is of type 2. For simplicity, let us assume that $G$ is a finite group. In this case, ${\mathrm{ed}}_k(G;p)={\mathrm{ed}}_k(G_p;p)$, where $G_p$ is the Sylow $p$-subgroup of $G$. In other words, the problem of computing ${\mathrm{ed}}_k(G;p)$ reduces to the case where $G$ is a $p$-group. In this case, we have the following remarkable theorem of Karpenko and Merkurjev [⁠32⁠ N. Karpenko and Z. Reichstein, A numerical invariant for linear representations of finite groups. Comment. Math. Helv.90, 667–701 (2015) ].

Theorem ⁠6⁠ reduces the computation of ${\mathrm{ed}}_k(G;p)$ to ${\mathrm{rdim}}_k(G_p)$. For a given finite $p$-group $P$, one can often (though not always) compute ${\mathrm{rdim}}_k(P)$ in closed form using the machinery of character theory; see, e.g., [⁠3⁠ M. Bardestani, K. Mallahi-Karai and H. Salmasian, Kirillov’s orbit method and polynomiality of the faithful dimension of p-groups. Compos. Math.155, 1618–1654 (2019) , ⁠36⁠ H. Knight, The essential p-dimension of finite simple groups of Lie type. arXiv:2109.02698 (2021) , ⁠42⁠ A. Meyer and Z. Reichstein, Some consequences of the Karpenko–Merkurjev theorem. Doc. Math. 445–457 (2010) , ⁠43⁠ A. Moreto, On the minimal dimension of a faithful linear representation of a finite group. arXiv:2102.01463 (2021) ].

The situation is quite different when computing ${\mathrm{ed}}_k(G)$ for an arbitrary finite group $G$. Clearly, ${\mathrm{ed}}_k(G)⩾{\max }_p{\mathrm{ed}}_k(G;p)$, where $p$ ranges over the prime integers. In those cases, where ${\mathrm{ed}}_k(G)$ is strictly larger than ${\max }_p{\mathrm{ed}}_k(G;p)$, the exact value of ${\mathrm{ed}}_k(G)$ is usually difficult to establish. The only approach that has been successful to date relies on classification results in algebraic geometry, which are currently only available in low dimensions. I will return to this topic in the next section.

To illustrate the distinction between type 1 and type 2 problems, consider the symmetric group $G={\mathrm{S}}_n$. For simplicity, assume that $k=\mathbb{C}$ is the field of complex numbers. Here the type 1 problem is solved completely: ${\mathrm{ed}}_{\mathbb{C}}({\mathrm{S}}_n;p)=\lfloor \frac{n}{p}\rfloor$ for every prime $p$. Thus ${\max }_p{\mathrm{ed}}_{\mathbb{C}}({\mathrm{S}}_n;p)=\lfloor \frac{n}{2}\rfloor$, and (⁠7⁠) tells us that

The remaining type 2 problem is to bridge the gap between $\lfloor \frac{n}{2}\rfloor$ and the true value of ${\mathrm{ed}}_{\mathbb{C}}({\mathrm{S}}_n)$. This problem has only been solved for $n⩽7$; see Theorems ⁠1⁠, ⁠2⁠ and (⁠8⁠).

Note that the algebraic form of Hilbert’s 13th problem is also of type 2 in the sense that

for any prime $p$, every field $K$ and every separable polynomial $f(x)\in K[x]$.⁠⁶⁠For the precise definitions of $\mathrm{rd}(f)$ and $\mathrm{rd}(f;p)$, see Section ⁠8⁠. Indeed, denote the Galois group of $f(x)$ by $G$. Then, after passing from $K$ to a finite extension $K^{\prime }/K$ whose degree $[K^{\prime }:K]=[G:G_p]$ is prime to $p$, we may replace $G$ by its $p$-Sylow subgroup $G_p$. Since every $p$-group is solvable, this means that $f(x)$ becomes solvable in radicals over $K^{\prime }$, and hence its resolvent degree becomes $⩽1$, as desired.

Inequality (⁠10⁠) accounts, at least in part, for the difficulty of showing that $\mathrm{rd}(n)⩾2$ for any $n$. The methods used to prove lower bounds on the essential dimension of algebraic groups in Section ⁠4⁠, and anything resembling these methods, cannot possibly work here; otherwise, we would also be able to prove that $\mathrm{rd}(f;p)⩾2$ for some prime $p$, contradicting (⁠10⁠).

A similar situation arises in computing the essential dimension of a finite $p$-group $G$ over a field $k$ of characteristic $p$. Superficially this problem looks very different from Hilbert’s 13th problem (where one usually works over $k=\mathbb{C}$); the common feature is that both are type 2 problems. Indeed, it is shown in [⁠54⁠ Z. Reichstein and A. Vistoli, Essential dimension of finite groups in prime characteristic. C. R. Math. Acad. Sci. Paris356, 463–467 (2018) ] that ${\mathrm{ed}}_k(G;p)=1$ for every non-trivial $p$-group $G$. Using the method described in the next section, one can often show that ${\mathrm{ed}}_k(G)⩾2$, but we are not able to prove that ${\mathrm{ed}}_k(G)>2$ for any $p$-group $G$ and any field $k$ of characteristic $p$. On the other hand, Ledet [⁠39⁠ A. Ledet, On the essential dimension of p-groups. In Galois theory and modular forms, Dev. Math. 11, Kluwer Acad. Publ., Boston, MA, 159–172 (2004) ] conjectured that

for any prime $p$ and any infinite field $k$ of characteristic $p$. Here $C_{p^n}$ denotes the cyclic group of order $p^n$. Ledet showed that ${\mathrm{ed}}_k(C_{p^n})⩽n$ for every $n⩾1$ and that equality holds when $n⩽2$.

My general feeling is that type 2 problems arising in different contexts are linked in some way, and that solving one of them (e.g., proving Ledet’s conjecture) can shed light on the others (e.g., Hilbert’s 13th problem). The only bit of evidence I have in this direction is the following theorem from [⁠11⁠ P. Brosnan, Z. Reichstein and A. Vistoli, Essential dimension in mixed characteristic. Doc. Math.23, 1587–1600 (2018) ] linking a priori unrelated type 2 problems in characteristic $p$ and in characteristic $0$.

The following family of examples is particularly striking. Let $p$ be a prime and $n$ a positive integer. Choose a positive integer $m$ such that $q=m{p}^n+1$ is a prime. Note that, by Dirichlet’s theorem on primes in arithmetic progressions, there are infinitely many such $m$. Let $C_q$ be a cyclic group of order $q$. Then $\mathrm{Aut}(C_q)$ is cyclic of order $m{p}^n$; let $C_{p^n}\subseteq \mathrm{Aut}(C_q)$ denote the unique subgroup of order $p^n$. Applying Theorem ⁠7⁠ to $G=C_q⋊C_{p^n}$, we obtain the following.

Note that, since the Sylow subgroups of $C_q⋊C_{p^n}$ are all cyclic,

for every prime $l$, so the inequality of Corollary ⁠8⁠ is a type 2 result. An unconditional proof of this inequality or even of the weaker inequality ${\mathrm{ed}}_{\mathbb{C}}(C_q⋊C_{p^n})>3$ is currently out of reach for any specific choice of $q$ and $p^n$.