Return to search

Mixed Witt rings of algebras with involution

Although there is no natural internal product for hermitian forms over an algebra with involution of the first kind, we describe how tomultiply two ε-hermitian forms to obtain a quadratic form over the base field. This allows to define a commutative graded ring structure by taking together bilinear forms and ε-hermitian forms, which we call the mixedWitt ring of an algebra with involution. We also describe a less powerful version of this construction for unitary involutions, which still defines a ring, but with a grading over Z instead of the Klein group. We first describe a general framework for defining graded rings out of monoidal functors from monoidal categories with strong symmetry properties to categories of modules. We then give a description of such a strongly symmetric category Brₕ(K, ι) which encodes the usual hermitian Morita theory of algebras with involutions over a field K. We can therefore apply the general framework to Brₕ(K, ι) and theWitt group functors to define our mixed Witt rings, and derive their basic properties, including explicit formulas for products of diagonal forms in terms of involution trace forms, explicit computations for the case of quaternion algebras, and reciprocity formulas relative to scalar extensions. We intend to describe in future articles further properties of those rings, such as a λ-ring structure, and relations with theMilnor conjecture and the theory of signatures of hermitian forms.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:90505
Date04 April 2024
CreatorsGarrel, Nicolas
PublisherCambridge University Press
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/publishedVersion, doc-type:article, info:eu-repo/semantics/article, doc-type:Text
Rightsinfo:eu-repo/semantics/openAccess
Relation1496-4279, 10.4153/S0008414X22000104

Page generated in 0.0017 seconds