Isotropy of unitary involutions (Q392791): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Merged Item from Q1934448 |
||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
Hyperbolicity of unitary involutions | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 6131960 | |||||||||||||||
Property / title | |||||||||||||||
Hyperbolicity of unitary involutions (English) | |||||||||||||||
Property / title: Hyperbolicity of unitary involutions (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1274.14056 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1007/s11425-012-4364-4 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Science China. Mathematics / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
28 January 2013
| |||||||||||||||
Property / publication date: 28 January 2013 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / review text | |||||||||||||||
The main object of the paper under review is a central simple \(K\)-algebra \(A\) with an \(F\)-linear unitary involution \(\sigma\) (\(K/F\) denotes a separable quadratic field extension). A right ideal \(I\) of \(A\) is called isotropic if \(\sigma (I)\cdot I=0\). The involution \(\sigma\) is called hyperbolic if there exists an isotropic ideal of reduced dimension \(\dim (A)/2\). (By definition, the reduced dimension of \(I\) is \(\dim_KI/\sqrt{\dim_KA}\).) Assuming that the characteristic of \(F\) is different from 2, the author proves that if \(\sigma\) is not hyperbolic, then for some field extension \(F'/F\), such that \(K'=K\otimes_FF'\) is a splitting field for \(A\), the extension of \(\sigma\) to the central simple \(K'\)-algebra \(A'=A\otimes_FF'\) is an \(F'\)-linear unitary involution which is still not hyperbolic. This result can be viewed as a stronger analogue of the orthogonal and symplectic hyperbolicity theorems proved by the author and \textit{J.-P.~Tignol}, respectively [Doc. Math., J. DMV Extra Vol., 371--392 (2010; Zbl 1258.14007)]. Recently, in a joint paper of the author with \textit{M. Zhykhovich} [``Isotropy of unitary involutions'', \url{arxiv:1103.5777}, to appear in Acta Math.), an even stronger statement, a unitary isotropy theorem, was proved: if \(\sigma\) is anisotropic over any finite odd degree field extension of \(F\), then for some field extension \(F'/F\), such that \(K'=K\otimes_FF'\) is a splitting field for \(A\), the extension of \(\sigma\) to the central simple \(K'\)-algebra \(A'=A\otimes_FF'\) is an \(F'\)-linear unitary involution which is still anisotropic. As in the orthogonal case, the proof is based on motivic decompositions of certain algebraic varieties related to \(A\), which generalize classical Severi-Brauer varieties. | |||||||||||||||
Property / review text: The main object of the paper under review is a central simple \(K\)-algebra \(A\) with an \(F\)-linear unitary involution \(\sigma\) (\(K/F\) denotes a separable quadratic field extension). A right ideal \(I\) of \(A\) is called isotropic if \(\sigma (I)\cdot I=0\). The involution \(\sigma\) is called hyperbolic if there exists an isotropic ideal of reduced dimension \(\dim (A)/2\). (By definition, the reduced dimension of \(I\) is \(\dim_KI/\sqrt{\dim_KA}\).) Assuming that the characteristic of \(F\) is different from 2, the author proves that if \(\sigma\) is not hyperbolic, then for some field extension \(F'/F\), such that \(K'=K\otimes_FF'\) is a splitting field for \(A\), the extension of \(\sigma\) to the central simple \(K'\)-algebra \(A'=A\otimes_FF'\) is an \(F'\)-linear unitary involution which is still not hyperbolic. This result can be viewed as a stronger analogue of the orthogonal and symplectic hyperbolicity theorems proved by the author and \textit{J.-P.~Tignol}, respectively [Doc. Math., J. DMV Extra Vol., 371--392 (2010; Zbl 1258.14007)]. Recently, in a joint paper of the author with \textit{M. Zhykhovich} [``Isotropy of unitary involutions'', \url{arxiv:1103.5777}, to appear in Acta Math.), an even stronger statement, a unitary isotropy theorem, was proved: if \(\sigma\) is anisotropic over any finite odd degree field extension of \(F\), then for some field extension \(F'/F\), such that \(K'=K\otimes_FF'\) is a splitting field for \(A\), the extension of \(\sigma\) to the central simple \(K'\)-algebra \(A'=A\otimes_FF'\) is an \(F'\)-linear unitary involution which is still anisotropic. As in the orthogonal case, the proof is based on motivic decompositions of certain algebraic varieties related to \(A\), which generalize classical Severi-Brauer varieties. / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / reviewed by | |||||||||||||||
Property / reviewed by: Boris Kunyavskiĭ / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 14L17 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 14C25 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6131960 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
algebraic groups | |||||||||||||||
Property / zbMATH Keywords: algebraic groups / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
involutions | |||||||||||||||
Property / zbMATH Keywords: involutions / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
projective homogeneous varieties | |||||||||||||||
Property / zbMATH Keywords: projective homogeneous varieties / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Chow groups and motives | |||||||||||||||
Property / zbMATH Keywords: Chow groups and motives / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Steenrod operations | |||||||||||||||
Property / zbMATH Keywords: Steenrod operations / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W3101339063 / rank | |||||||||||||||
Normal rank |
Revision as of 11:51, 29 April 2024
scientific article; zbMATH DE number 6131960
- Hyperbolicity of unitary involutions
Language | Label | Description | Also known as |
---|---|---|---|
English | Isotropy of unitary involutions |
scientific article; zbMATH DE number 6131960 |
|
Statements
Isotropy of unitary involutions (English)
0 references
Hyperbolicity of unitary involutions (English)
0 references
15 January 2014
0 references
28 January 2013
0 references
The authors study the isotropy problem for algebras with involution. Let \(K\) be a field of characteristic different from two, \(A\) -- a central simple algebra over \(K\) and \(\tau\) -- an involution of \(A\) (assumed to be an anti-automorphism of \(A\) ). Let \(F=K^{\tau}\) be the subfield of \(K\) of \({\tau}\)-invariant elements of \(K\). The authors prove the isotropy theorem which asserts that if \({\tau}\) becomes isotropic over any field extension of \(F\) that splits \(A\), then \({\tau}\) becomes isotropic over a finite odd-degree extension of \(F.\) As the authors remark in the case of symplectic \({\tau}\) the word ``splitting'' should be replaced by the phrase ``almost splitting''. The proof uses in essential way the symmetric and Steenrod operations in the appropriate Chow groups as well as the study of the quasi-split unitary Grassmannians. The isotropy theorem generalizes known results on isotropy of orthogonal and symplectic involutions.
0 references
The main object of the paper under review is a central simple \(K\)-algebra \(A\) with an \(F\)-linear unitary involution \(\sigma\) (\(K/F\) denotes a separable quadratic field extension). A right ideal \(I\) of \(A\) is called isotropic if \(\sigma (I)\cdot I=0\). The involution \(\sigma\) is called hyperbolic if there exists an isotropic ideal of reduced dimension \(\dim (A)/2\). (By definition, the reduced dimension of \(I\) is \(\dim_KI/\sqrt{\dim_KA}\).) Assuming that the characteristic of \(F\) is different from 2, the author proves that if \(\sigma\) is not hyperbolic, then for some field extension \(F'/F\), such that \(K'=K\otimes_FF'\) is a splitting field for \(A\), the extension of \(\sigma\) to the central simple \(K'\)-algebra \(A'=A\otimes_FF'\) is an \(F'\)-linear unitary involution which is still not hyperbolic. This result can be viewed as a stronger analogue of the orthogonal and symplectic hyperbolicity theorems proved by the author and \textit{J.-P.~Tignol}, respectively [Doc. Math., J. DMV Extra Vol., 371--392 (2010; Zbl 1258.14007)]. Recently, in a joint paper of the author with \textit{M. Zhykhovich} [``Isotropy of unitary involutions'', \url{arxiv:1103.5777}, to appear in Acta Math.), an even stronger statement, a unitary isotropy theorem, was proved: if \(\sigma\) is anisotropic over any finite odd degree field extension of \(F\), then for some field extension \(F'/F\), such that \(K'=K\otimes_FF'\) is a splitting field for \(A\), the extension of \(\sigma\) to the central simple \(K'\)-algebra \(A'=A\otimes_FF'\) is an \(F'\)-linear unitary involution which is still anisotropic. As in the orthogonal case, the proof is based on motivic decompositions of certain algebraic varieties related to \(A\), which generalize classical Severi-Brauer varieties.
0 references
central simple algebra
0 references
involution, symmetric algebra
0 references
Steenrod algebra
0 references
Grassmannian
0 references
algebraic groups
0 references
involutions
0 references
projective homogeneous varieties
0 references
Chow groups and motives
0 references
Steenrod operations
0 references