On trivialization of discriminant algebras of hyperbolic quadratic modules (Q1943368): Difference between revisions
From MaRDI portal
Latest revision as of 07:44, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On trivialization of discriminant algebras of hyperbolic quadratic modules |
scientific article |
Statements
On trivialization of discriminant algebras of hyperbolic quadratic modules (English)
0 references
19 March 2013
0 references
The author considers discriminant algebras of hyperbolic quadratic modules. He pursues their trivialization. He gives a critical overview of the topic as it developed. The starting point is N.~Bourbaki (1959, 1970), followed by contributions from M.-A.~Knus (1991), U.~Haag (1991), more importantly by O.~Loos (1997) and recently by H.~Ikai (2010, 2011). Clifford algebras, Pfaffians, and the discriminant are some of the important topics that are involved in the theory. The two main results that the author proves are the following two theorems: 1. Let \(M\) be a finitely generated projective module and let \(\Phi\) be a bilinear form on it. For elements \(v,w\) in \(\Lambda^2(M^\ast)\), each \(\kappa_{\Phi+\tilde{v},\Phi+\tilde{w}}^{(n)}\) is equal to the degree-\(2n\)-component of the image of \(\exp(a_\Phi)\wedge(\kappa(v)-\kappa(w))\) under the isomorphism \(\Theta_\wedge\). 2. As a bilinear representative of the hyperbolic quadratic form \(x \oplus f \mapsto \langle x,f \rangle\) on \(P \oplus P^\ast\), choose \(\Phi(x \oplus f, y \oplus g) := \langle x,g \rangle\). For the bilinear form \(\Phi\) and for any \(v\) in \(\Lambda^2(M^\ast)\), one has \(z_{\Phi+\tilde{v}}(\omega_0) = \eta(v){\text{ Id}_{\Lambda+P} \oplus (1+\eta(v))\text{ Id}_{\Lambda-P}}.\)
0 references
discriminant algebra
0 references
hyperbolic quadratic module
0 references
Pfaffian cocycle
0 references
Clifford algebra
0 references
projective module
0 references
bilinear form
0 references