Essential dimension of inseparable field extensions

DOI10.2140/ANT.2019.13.513zbMATH Open1415.12004arXiv1806.08425OpenAlexW2939088478WikidataQ117360729 ScholiaQ117360729MaRDI QIDQ1736433FDOQ1736433

Zinovy Reichstein, Abhishek Shukla

Publication date: 26 March 2019

Published in: Algebra \& Number Theory (Search for Journal in Brave)

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 $S_n$. 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 $S_n$ is replaced by a certain group scheme $G_{n,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 $S_n$. Our main result is a simple formula for au(n, e).

Full work available at URL: https://arxiv.org/abs/1806.08425

zbMATH Keywords

essential dimensioninseparable field extensiongroup scheme in prime characteristic

Mathematics Subject Classification ID

Algebraic field extensions (12F05) Cohomology theory for linear algebraic groups (20G10) Inseparable field extensions (12F15) Transcendental field extensions (12F20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Essential Dimensions of Algebraic Groups and a Resolution Theorem for G-Varieties
• The essential dimension of the normalizer of a maximal torus in the projective linear group
• Versality of algebraic group actions and rational points on twisted varieties
• Essential dimensions of \(A_7\) and \(S_7\)
• Algebraic Groups
• Inseparable Körpererweiterungen
• On the essential dimension of infinitesimal group schemes
• The minimum number of generators for inseparable algebraic extensions
• Automorphism scheme of a finite field extension

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Indices of inseparability in towers of field extensions
• From Hilbert's 13th problem to essential dimension and back
• Title not available (Why is that?)

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)