Demba Barry, Alexandre Masquelein, Anne Qu'eguiner-Mathieu
{"title":"单位对合的3次相对不变量","authors":"Demba Barry, Alexandre Masquelein, Anne Qu'eguiner-Mathieu","doi":"10.2140/akt.2022.7.549","DOIUrl":null,"url":null,"abstract":". Using the Rost invariant for non split simply connected groups, we define a relative degree 3 cohomological invariant for pairs of orthogonal or unitary involutions having isomorphic Clifford or discriminant algebras. The main purpose of this paper is to study general properties of this invariant in the unitary case, that is for torsors under groups of outer type A . If the underlying algebra is split, it can be reinterpreted in terms of the Arason invariant of quadratic forms, using the trace form of a hermitian form. When the algebra with unitary involution has a symplectic or orthogonal descent, or a symplectic or orthogonal quadratic extension, we provide comparison theorems between the corresponding invariants of unitary and orthogonal or symplectic types. We also prove the relative invariant is classifying in degree 4, at least up to conjugation by the non-trivial automorphism of the underlying quadratic extension. In general, choosing a particular base point, the relative invariant also produces absolute Arason invariants, under some additional condition on the underlying algebra. Notably, if the algebra has even co-index, so that it admits a hyperbolic involution, which is unique up to isomorphism, we get a so-called hyperbolic Arason invariant. Assuming in addition the algebra has degree 8, we may also define a decomposable Arason invariant. It generally does not coincide with the hyperbolic Arason invariant, as the hyperbolic involution need not be totally decomposable.","PeriodicalId":42182,"journal":{"name":"Annals of K-Theory","volume":" ","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2022-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Degree 3 relative invariant for unitary\\ninvolutions\",\"authors\":\"Demba Barry, Alexandre Masquelein, Anne Qu'eguiner-Mathieu\",\"doi\":\"10.2140/akt.2022.7.549\",\"DOIUrl\":null,\"url\":null,\"abstract\":\". Using the Rost invariant for non split simply connected groups, we define a relative degree 3 cohomological invariant for pairs of orthogonal or unitary involutions having isomorphic Clifford or discriminant algebras. The main purpose of this paper is to study general properties of this invariant in the unitary case, that is for torsors under groups of outer type A . If the underlying algebra is split, it can be reinterpreted in terms of the Arason invariant of quadratic forms, using the trace form of a hermitian form. When the algebra with unitary involution has a symplectic or orthogonal descent, or a symplectic or orthogonal quadratic extension, we provide comparison theorems between the corresponding invariants of unitary and orthogonal or symplectic types. We also prove the relative invariant is classifying in degree 4, at least up to conjugation by the non-trivial automorphism of the underlying quadratic extension. In general, choosing a particular base point, the relative invariant also produces absolute Arason invariants, under some additional condition on the underlying algebra. Notably, if the algebra has even co-index, so that it admits a hyperbolic involution, which is unique up to isomorphism, we get a so-called hyperbolic Arason invariant. Assuming in addition the algebra has degree 8, we may also define a decomposable Arason invariant. It generally does not coincide with the hyperbolic Arason invariant, as the hyperbolic involution need not be totally decomposable.\",\"PeriodicalId\":42182,\"journal\":{\"name\":\"Annals of K-Theory\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2022-07-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annals of K-Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.2140/akt.2022.7.549\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annals of K-Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2140/akt.2022.7.549","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
Degree 3 relative invariant for unitary
involutions
. Using the Rost invariant for non split simply connected groups, we define a relative degree 3 cohomological invariant for pairs of orthogonal or unitary involutions having isomorphic Clifford or discriminant algebras. The main purpose of this paper is to study general properties of this invariant in the unitary case, that is for torsors under groups of outer type A . If the underlying algebra is split, it can be reinterpreted in terms of the Arason invariant of quadratic forms, using the trace form of a hermitian form. When the algebra with unitary involution has a symplectic or orthogonal descent, or a symplectic or orthogonal quadratic extension, we provide comparison theorems between the corresponding invariants of unitary and orthogonal or symplectic types. We also prove the relative invariant is classifying in degree 4, at least up to conjugation by the non-trivial automorphism of the underlying quadratic extension. In general, choosing a particular base point, the relative invariant also produces absolute Arason invariants, under some additional condition on the underlying algebra. Notably, if the algebra has even co-index, so that it admits a hyperbolic involution, which is unique up to isomorphism, we get a so-called hyperbolic Arason invariant. Assuming in addition the algebra has degree 8, we may also define a decomposable Arason invariant. It generally does not coincide with the hyperbolic Arason invariant, as the hyperbolic involution need not be totally decomposable.