Essential \(p\)-dimension of the normalizer of a maximal torus. (Q413928): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Let \(p\) be a prime, \(G\) be a split simple algebraic group over a field \(F\) of characteristic \(\neq p\) and let \(N\) be the normalizer of a split maximal torus in \(G\). The goal of the paper under review is to compute the essential \(p\)-dimension \(\mathrm{ed}_p(N)\) of \(N\), extending upon the paper by \textit{A. Meyer} and \textit{Z. Reichstein} [Algebra Number Theory 3, No. 4, 467-487 (2009; Zbl 1222.11056)], which covers the case \(G=\mathrm{PGL}_n\). As the connected component of \(N\) is a torus, general lower and upper bounds on \(\mathrm{ed}_p(N)\) are provided by a recent paper of the author, \textit{A. Meyer, Z. Reichstein} and the reviewer [J. Reine Angew. Math. 677, 1-13 (2013; Zbl 1354.14071)] in terms of dimensions of representations of \(N\) with finite kernel of order prime to \(p\). In a detailed case-by-case analysis these bounds are worked out explicitly for all split simple groups \(G\). As a result the author obtains the exact value of \(\mathrm{ed}_p(N)\) in most cases. The only case where the lower bound differs from the upper bound by more than one is the case \(G=\mathrm{Sp}_{2n}\), where \(n\leq\mathrm{ed}_p(N)\leq 2n\). As a further result, the author obtains an upper bound on the essential \(p\)-dimension of any torus contained in a (not necessarily split) simple algebraic group \(G\). He shows that this bound is optimal in the sense, that (in characteristic 0) a ``generic maximal torus'' inside \(G_K\) for some field extension \(K/k\) achieves the bound. Moreover the inequality \(\mathrm{ed}_p(G)\leq\mathrm{ed}_p(N)\) is applied to obtain new upper bounds on \(\mathrm{ed}_p(G)\) for various split simple algebraic groups \(G\), improving upon previously known results. | |||
Property / review text: Let \(p\) be a prime, \(G\) be a split simple algebraic group over a field \(F\) of characteristic \(\neq p\) and let \(N\) be the normalizer of a split maximal torus in \(G\). The goal of the paper under review is to compute the essential \(p\)-dimension \(\mathrm{ed}_p(N)\) of \(N\), extending upon the paper by \textit{A. Meyer} and \textit{Z. Reichstein} [Algebra Number Theory 3, No. 4, 467-487 (2009; Zbl 1222.11056)], which covers the case \(G=\mathrm{PGL}_n\). As the connected component of \(N\) is a torus, general lower and upper bounds on \(\mathrm{ed}_p(N)\) are provided by a recent paper of the author, \textit{A. Meyer, Z. Reichstein} and the reviewer [J. Reine Angew. Math. 677, 1-13 (2013; Zbl 1354.14071)] in terms of dimensions of representations of \(N\) with finite kernel of order prime to \(p\). In a detailed case-by-case analysis these bounds are worked out explicitly for all split simple groups \(G\). As a result the author obtains the exact value of \(\mathrm{ed}_p(N)\) in most cases. The only case where the lower bound differs from the upper bound by more than one is the case \(G=\mathrm{Sp}_{2n}\), where \(n\leq\mathrm{ed}_p(N)\leq 2n\). As a further result, the author obtains an upper bound on the essential \(p\)-dimension of any torus contained in a (not necessarily split) simple algebraic group \(G\). He shows that this bound is optimal in the sense, that (in characteristic 0) a ``generic maximal torus'' inside \(G_K\) for some field extension \(K/k\) achieves the bound. Moreover the inequality \(\mathrm{ed}_p(G)\leq\mathrm{ed}_p(N)\) is applied to obtain new upper bounds on \(\mathrm{ed}_p(G)\) for various split simple algebraic groups \(G\), improving upon previously known results. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Roland Lötscher / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20G15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14L30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11E72 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6031639 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
simple algebraic groups | |||
Property / zbMATH Keywords: simple algebraic groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
essential dimension | |||
Property / zbMATH Keywords: essential dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
normalizers | |||
Property / zbMATH Keywords: normalizers / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
maximal tori | |||
Property / zbMATH Keywords: maximal tori / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00031-011-9157-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2036769458 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Essential dimension: A functorial point of view (after A. Merkurjev) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999894 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4345956 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Another Proof of Totaro's Theorem on <i>E</i><sub>8</sub>-Torsors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Essential \(p\)-dimension of split simple groups of type \(A_n\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Low-dimensional lattices. I. Quadratic forms of small determinant / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Low-dimensional lattices. II. Subgroups of<i>GL(n, ℤ)</i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Essential dimensions of \(A_7\) and \(S_7\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tori and essential dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3587297 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4003858 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3800267 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Essential dimension of finite \(p\)-groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Essential dimension of algebraic groups and integral representations of Weyl groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Essential dimension of algebraic tori / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomological invariants of odd degree Jordan algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The essential dimension of the normalizer of a maximal torus in the projective linear group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some consequences of the Karpenko-Merkurjev theorem. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4671768 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Essential Dimensions of Algebraic Groups and a Resolution Theorem for G-Varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5648549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3506242 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:34, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Essential \(p\)-dimension of the normalizer of a maximal torus. |
scientific article |
Statements
Essential \(p\)-dimension of the normalizer of a maximal torus. (English)
0 references
8 May 2012
0 references
Let \(p\) be a prime, \(G\) be a split simple algebraic group over a field \(F\) of characteristic \(\neq p\) and let \(N\) be the normalizer of a split maximal torus in \(G\). The goal of the paper under review is to compute the essential \(p\)-dimension \(\mathrm{ed}_p(N)\) of \(N\), extending upon the paper by \textit{A. Meyer} and \textit{Z. Reichstein} [Algebra Number Theory 3, No. 4, 467-487 (2009; Zbl 1222.11056)], which covers the case \(G=\mathrm{PGL}_n\). As the connected component of \(N\) is a torus, general lower and upper bounds on \(\mathrm{ed}_p(N)\) are provided by a recent paper of the author, \textit{A. Meyer, Z. Reichstein} and the reviewer [J. Reine Angew. Math. 677, 1-13 (2013; Zbl 1354.14071)] in terms of dimensions of representations of \(N\) with finite kernel of order prime to \(p\). In a detailed case-by-case analysis these bounds are worked out explicitly for all split simple groups \(G\). As a result the author obtains the exact value of \(\mathrm{ed}_p(N)\) in most cases. The only case where the lower bound differs from the upper bound by more than one is the case \(G=\mathrm{Sp}_{2n}\), where \(n\leq\mathrm{ed}_p(N)\leq 2n\). As a further result, the author obtains an upper bound on the essential \(p\)-dimension of any torus contained in a (not necessarily split) simple algebraic group \(G\). He shows that this bound is optimal in the sense, that (in characteristic 0) a ``generic maximal torus'' inside \(G_K\) for some field extension \(K/k\) achieves the bound. Moreover the inequality \(\mathrm{ed}_p(G)\leq\mathrm{ed}_p(N)\) is applied to obtain new upper bounds on \(\mathrm{ed}_p(G)\) for various split simple algebraic groups \(G\), improving upon previously known results.
0 references
simple algebraic groups
0 references
essential dimension
0 references
normalizers
0 references
maximal tori
0 references
0 references