Essential dimension of generic symbols in characteristic p

DOI10.1017/FMS.2017.11zbMATH Open1390.16017arXiv1705.01609OpenAlexW2963800441MaRDI QIDQ5280252FDOQ5280252

Authors: Kelly McKinnie 

Publication date: 20 July 2017

Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)

Abstract: In this article the $p$-essential dimension of generic symbols over fields of characteristic $p$ is studied. In particular, the $p$-essential dimension of the length $ell$ generic $p$-symbol of degree $n+1$ is bounded below by $n+ell$ when the base field is algebraically closed of characteristic $p$. The proof uses new techniques for working with residues in Milne-Kato $p$-cohomology and builds on work of Babic and Chernousov in the Witt group in characteristic 2. Two corollaries on $p$-symbol algebras (i.e, degree 2 symbols) result from this work. The generic $p$-symbol algebra of length $ell$ is shown to have $p$-essential dimension equal to $ell+1$ as a $p$-torsion Brauer class. The second is a lower bound of $ell+1$ on the $p$-essential dimension of the functor $mathrm{Alg}_{p^{e}ll,p}$. Roughly speaking this says that you will need at least $ell+1$ independent parameters to be able to specify any given algebra of degree $p^{ell}$ and exponent $p$ over a field of characteristic $p$ and improves on the previously established lower bound of 3.

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

Recommendations

• Essential dimension, symbol length and \(p\)-rank
• An upper bound on the essential dimension of a central simple algebra.
• A lower bound on the essential dimension of simple algebras.
• Essential dimension of central simple algebras.
• Essential dimension of simple algebras in positive characteristic.

zbMATH Keywords

\(p\)-torsion Brauer classgeneric \(p\)-symbolsMilne-Kato \(p\)-cohomology

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Finite-dimensional division rings (16K20) Cohomology theory for linear algebraic groups (20G10) Valuations and their generalizations for commutative rings (13A18)

Cites Work

• Cohomology of number fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unramified cohomology of classifying varieties for classical simply connected groups1
• Title not available (Why is that?)
• Central simple algebras and Galois cohomology
• Cyclic and elementary abelian subfields of Malcev-Neumann division algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symmetric bilinear forms, quadratic forms and Milnor K-theory in characteristic two
• On the notion of essential dimension for algebraic groups
• Essential dimension: a survey
• Essential dimension of algebraic groups, including bad characteristic
• Title not available (Why is that?)
• Essential dimension of simple algebras in positive characteristic.
• Lower bounds for essential dimensions in characteristic 2 via orthogonal representations
• Invariants of simple algebras.
• Title not available (Why is that?)
• Differential forms and bilinear forms under field extensions
• Exponent and index of nonramified central simple algebras (with an appendix by Ofer Gabber).
• Title not available (Why is that?)
• The cohomological dimension of \(C_r\) fields of characteristic \(p\)
• Basic commutative algebra

Cited In (4)

• Sur la corestriction des p-symboles
• Essential dimension of central simple algebras of degree 8 and exponent 2 in characteristic 2
• Essential dimension, symbol length and \(p\)-rank
• Symbol \(p\)-algebras of prime degree and their \(p\)-central subspaces

This page was built for publication: Essential dimension of generic symbols in characteristic \(p\)

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