Essential dimension: A functorial point of view (after A. Merkurjev)

Berhuy, Grégory ; Favi, Giordano

Documenta mathematica, Tome 8 (2003), pp. 279-330.

Résumé

Summary: In these notes we develop a systematic study of the essential dimension of functors. This approach is due to A. Merkurjev and can be found in his unpublished notes citeMe. The notion of essential dimension was earlier introduced for finite groups by J. Buhler and Z. Reichstein in citeBR and for an arbitrary algebraic group over an algebraically closed field by Z. Reichstein in citeRe. This is a numerical invariant depending on the group $G$ and the field $k$. This number is denoted by $\ed_k(G)$. In this paper we insist on the behaviour of the essential dimension under field extension $k'/k$ and try to compute $\ed_k(G)$ for $\it $any $k$. This will be done in particular for the group $\Z/n$ when $n\leq5$ and for the circle group. Along the way we define the essential dimension of functor with versal pairs and prove that all the different notions of essential dimension agree in the case of algebraic groups. Applications to finite groups are given. Finally we give a proof of the so-called homotopy invariance, that is $\ed_k(G)=\ed_{k(t)}(G)$, for an algebraic group $G$ defined over an infinite field $k$.

Détail

Classification : 11E72, 12G05, 14L15, 14L30
Keywords: essential dimension, algebraic groups, Galois cohomology, cohomological invariants, group scheme actions, torsors