Essential dimension of inseparable field extensions

From MaRDI portal
Publication:1736433




Abstract: Let k be a base field, K be a field containing k and L/K be a field extension of degree n. The essential dimension ed(L/K) over k is a numerical invariant measuring "the complexity" of L/K. Of particular interest is au(n) = max { ed(L/K) | L/K is a separable extension of degree n}, also known as the essential dimension of the symmetric group Sn. The exact value of au(n) is known only for n leq 7. In this paper we assume that k is a field of characteristic p > 0 and study the essential dimension of inseparable extensions L/K. Here the degree n = [L:K] is replaced by a pair (n, e) which accounts for the size of the separable and the purely inseparable parts of L/K respectively, and au(n) is replaced by au(n, e) = max { ed(L/K) | L/K is a field extension of type (n, e)}. The symmetric group Sn is replaced by a certain group scheme Gn,e over k. This group is neither finite nor smooth; nevertheless, computing its essential dimension turns out to be easier than computing the essential dimension of Sn. Our main result is a simple formula for au(n, e).









This page was built for publication: Essential dimension of inseparable field extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1736433)