Hostname: page-component-cd9895bd7-7cvxr Total loading time: 0 Render date: 2024-12-26T00:45:23.556Z Has data issue: false hasContentIssue false

Hermitian forms over odd dimensional algebras

Published online by Cambridge University Press:  20 January 2009

D. W. Lewis
Affiliation:
Department of MathematicsUniversity CollegeBelfieldDublin 4, Ireland
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let L be an odd degree extension field of the field K, char K ≠ 2. Let U* denote the natural extension map from W(K) to W(L) where W(K), resp. W(L) denotes the Witt group of quadratic forms over K, resp. L. It is well-known that U* is injective [4, p. 198]. In fact Springer [10] proved a stronger theorem, namely that if φ is anisotropic over K then it remains anisotropic on extension to L. Rosenberg and Ware [8] proved that if L is a Galois extension then the image of U* is precisely the subgroup of W(L) fixed by the Galois group of L over K, this Galois group having a natural action on W(L). See [4, p. 214] and [3] for a quick proof. See also Dress [1] who extended these results to equivariant forms. In this article we investigate the corresponding map U* when we replace the field L by a central simple K-algebra of odd degree and indeed more generally by any finite dimensional K-algebra which becomes odd-dimensional on factoring out by the radical. Our algebras are equipped with an involution of the second kind, i.e. one which is non-trivial on the centre, and we replace quadratic forms by hermitian forms with respect to the involution. We show that U* is injective for all the algebras mentioned above and that a weaker version of Springer's theorem holds for central simple algebras of odd degree provided we make a suitable restriction on the nature of the involution. We show that the analogue of the Rosenberg-Ware result is valid for hermitian forms over odd-dimensional Galois field extensions but that for central simple algebras of odd degree a result as nice as the Rosenberg–Ware one cannot hold. Indeed the group of all K-automorphisms of such an algebra which commute with the involution fixes all of the Witt group. However the map U* is not surjective in general even for division algebras of odd degree.

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 1989

References

REFERENCES

1.Dress, Andreas, A note on Witt rings, Bull. Amer. Math. Soc. 79 (1973), 738740.CrossRefGoogle Scholar
2.Jacobson, Nathan, Basic Algebra II (W. H. Freeman, San Francisco, 1980).Google Scholar
3.Knebusch, M. and Scharlau, W., Uber das Verhalten der Witt-Gruppe bei galoischen Korperweiterungen, Math. Ann. 193 (1971), 189196.CrossRefGoogle Scholar
4.Lam, T. Y., The algebraic theory of quadratic forms (Benjamin, Reading, Mass., 1973).Google Scholar
5.Landherr, W., Liesche Ringe von Typus A uber einem algebraischen Zahlkorper und hermitesche Formen uber einem Schiefkorper, Abh. Math. Sem. Univ. Hamburg 12 (1938), 200241.CrossRefGoogle Scholar
6.Lewis, D. W., Forms over real algebras and the multisignature of a manifold, Adv. in Math. 23 (1977), 272284.CrossRefGoogle Scholar
7.Ramanathan, K. G., Quadratic forms over involutorial division algebras, J. Indian Math. Soc. 20 (1956), 227257.Google Scholar
8.Rosenberg, Alex and Ware, Roger, The zero-dimensional Galois cohomology of Witt rings, Invent. Math. 11 (1970), 6572.CrossRefGoogle Scholar
9.Scharlau, W., Quadratic and hermitian forms (Springer-Verlag, Berlin, Heidelberg, 1985).Google Scholar
10.Springer, T. A., Sur les formes quadratiques d'indice zero, C. R. Acad. Sci. Paris 234 (1952), 15171519.Google Scholar