Abstract
We show that the second residue map for hermitian Witt groups of an Azumaya algebra A with involution \(\tau \) of first- or second kind over a semilocal Dedekind domain R is surjective. This proves a generalization to hermitian Witt groups of an exact sequence for Witt groups of quadratic forms due to Springer. If R is a complete discrete valuation ring and \(\tau \) is of the first kind we show that our short exact sequence of hermitian Witt groups is split. As a corollary we prove a purity theorem for hermitian Witt groups of Azumaya algebras with involutions over a regular semilocal domain of dimension two.
Similar content being viewed by others
References
Balmer, P.: Triangular Witt groups I: the 12-term localization exact sequence. \(K\)-Theory 19, 311–363 (2000)
Balmer, P.: Triangular Witt groups II: from usual to derived. Math. Z. 236, 351–382 (2001)
Balmer, P., Preeti, R.: Shifted Witt groups of semi-local rings. Manuscr. Math. 117, 1–27 (2005)
Balmer, P., Walter, C.: A Gersten–Witt spectral sequence for regular schemes. Ann. Sci. École Norm. Sup. (4) 35, 127–152 (2002)
Bruns, W., Herzog, J.: Cohen–Macaulay Rings. Cambridge University Press, Cambridge (1993)
Cibils, C.: Groupe de Witt d’une algèbre avec involution. Enseign. Math. (2) 29, 27–43 (1983)
DeMeyer, F., Ingraham, E.: Separable Algebras over Commutative Rings. Springer, Berlin (1971)
Gille, S.: On Witt groups with support. Math. Ann. 322, 103–137 (2002)
Gille, S.: A Gersten–Witt complex for hermitian Witt groups of coherent algebras over schemes I: involution of the first kind. Compos. Math. 143, 271–289 (2007)
Gille, S.: A Gersten–Witt complex for hermitian Witt groups of coherent algebras over schemes II: involution of the second kind. J. \(K\)-Theory 4, 347–377 (2009)
Gille, S.: On coherent hermitian Witt groups. Manuscr. Math. 141, 423–446 (2013)
Knus, M.: Quadratic and Hermitian Forms Over Rings. Springer, Berlin (1991)
Matsumura, H.: Commutative Ring Theory. Cambridge University Press, Cambridge (1986)
Milnor, J., Husemoller, D.: Symmetric Bilinear Forms. Springer, New York (1973)
Quebbemann, H., Scharlau, W., Schulte, M.: Quadratic and Hermitian forms in additive and abelian categories. J. Algebra 59, 264–289 (1979)
Reiner, I.: Maximal Orders. Academic Press, London (1975)
Riehm, C.: Orthogonal, Symplectic, and Unitary Representations of Finite Groups. AMS, Providence (2011)
Scharlau, W.: Quadratic and Hermitian Forms. Springer, Berlin (1985)
Springer, T.: Quadratic forms over fields with discrete valuations I. Equivalence classes of definite forms. Nederl. Akad. Wetensch. Proc. Ser. A 58 Indag. Math. A 17, 352–362 (1955)
Acknowledgements
I would like to thank Uriya First and Stephen Scully for useful discussions and comments on earlier versions of this work, and the referee for comments and corrections.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work has been supported by an NSERC grant
Rights and permissions
About this article
Cite this article
Gille, S. A hermitian analog of a quadratic form theorem of Springer. manuscripta math. 163, 125–163 (2020). https://doi.org/10.1007/s00229-019-01155-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-019-01155-4