Isotropy of unitary involutions (Q392791): Difference between revisions

From MaRDI portal
Changed label, description and/or aliases in en, and other parts
Merged Item from Q1934448
aliases / en / 0aliases / en / 0
 
Hyperbolicity of unitary involutions
description / endescription / 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
Timestamp+2013-01-28T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
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
  • Hyperbolicity of unitary involutions

Statements

Isotropy of unitary involutions (English)
0 references
Hyperbolicity of unitary involutions (English)
0 references
0 references
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
0 references
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

Identifiers

0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references