Essential dimension of finite \(p\)-groups.
type: Item
instance of: scholarly article
title: Essential dimension of finite \(p\)-groups.
zbMATH Open document ID: 1200.12002
author: Nikita Karpenko
author: Alexander Merkurjev
published in: Inventiones Mathematicae
publication date: 2008-05-27T00:00:00Z
review text: Let \(F\) be a field and \(G\) a finite group. The essential dimension \(\text{ed}_F(G)\) of \(G\) over \(F\) is defined to be the smallest integer \(d\geq 0\) such that one requires \(d\) algebraically independent parameters to define a Galois \(G\)-algebra over any finite extension of \(F\). This notion was introduced by \textit{J. P. Buhler} and \textit{Z. Reichstein} in their paper ``On essential dimension of a finite group'', [Compos. Math. 106, No. 2, 159--179 (1997; Zbl 0905.12003)]. The computation of \(\text{ed}_F(G)\) is a hard problem for even specific finite groups. \textit{M. Florence}, in a recent paper [Invent. Math. 171, No. 1, 175--189 (2008; Zbl 1136.14035)], calculated the exact value of \(\text{ed}_F(C)\) for a cyclic \(p\) group \(C\), assuming that \(F\) contains a primitive \(p\)th root of unity and subsequently \textit{P. Brosnan, Z. Reichstein} and \textit{A. Vistoli} computed \(\text{ed}_F(G)\) for a class of nonabelian \(p\)-groups [''Essential dimension and algebraic stacks'', preprint, \url{arXiv:math/0701903}]. In the paper under review the authors prove a generalization of these results. Theorem 4.1: Let \(G\) be a finite \(p\)-group and \(F\) be a field containing a primitive \(p\)th root of unity. Then \(\text{ed}_F(G)\) is the smallest integer \(n\) such that \(G\) has a faithful representation \(G\rightarrow \text{GL}_n(F)\). The authors prove as a corollary (Theorem 5.2) that \[ \text{ed}_F(G_1\times G_2)=\text{ed}_F(G_1)+\text{ed}_F(G_2) \] for any two \(p\)-groups \(G_1\) and \(G_2\). Some results of independent interest on central simple algebras and Brauer-Severi varieties are also proven in the paper.
Mathematics Subject Classification ID: 12F10
Mathematics Subject Classification ID: 20G15
Mathematics Subject Classification ID: 16K20
Mathematics Subject Classification ID: 14C35
zbMATH DE Number: 5279042
zbMATH Keywords: essential dimension
zbMATH Keywords: finite \(p\) groups
zbMATH Keywords: central simple algebras
zbMATH Keywords: Brauer-Severi varieties
reviewed by: Maneesh Thakur
MaRDI profile type: Publication
full work available at URL: s00222-007-0106-6
OpenAlex ID: W2043914985
cites work: Essential dimension: A functorial point of view (after A. Merkurjev)
cites work: On the notion of canonical dimension for algebraic groups
cites work: Essential dimension of moduli of curves and other algebraic stacks
cites work: Q4345956
cites work: On the essential dimension of cyclic \(p\)-groups
cites work: Q5632701
cites work: Q4870249
cites work: Q4488712
cites work: Essential dimension of quadrics
cites work: Canonical \(p\)-dimension of algebraic groups
cites work: Maximal indexes of Tits algebras
cites work: Q3871006
cites work: Higher algebraic K-theory: I
cites work: Essential Dimensions of Algebraic Groups and a Resolution Theorem for G-Varieties
cites work: Q4040049
cites work: Intersection theory on algebraic stacks and on their moduli spaces
cites work: Q4071851
DOI: 10.1007/S00222-007-0106-6
Recommended article: On the essential dimension of cyclic groups
Recommended article: Some consequences of the Karpenko-Merkurjev theorem.
Recommended article: On the Essential Dimension of Some Semi-Direct Products
Recommended article: A central extension theorem for essential dimensions
Recommended article: The essential \(p\)-dimension of the split finite quasi-simple groups of classical Lie type
Recommended article: Groups with essential dimension one
Recommended article: An upper bound on the essential dimension of a central simple algebra.
Recommended article: Essential dimension of finite groups in prime characteristic
Recommended article: A numerical invariant for linear representations of finite groups
Recommended article: Essential Dimension of Projective Orthogonal and Symplectic Groups of Small Degree
description: scientific article; zbMATH DE number 5279042