English

An explicit formula for Larmour's decomposition of hermitian forms

Rings and Algebras 2024-12-17 v1

Abstract

Let KK be a complete discretely valued field whose residue field has characteristic different from 22. Let (D,σ)(D,\sigma) be a KK-division algebra with involution of the first kind, and hh be a KK-anisotropic ϵ\epsilon-hermitian form over (D,σ)(D,\sigma). By a theorem due to Larmour, there is a decomposition h=h0h1h=h_0 \perp h_1 such that the elements in a diagonalization of h0h_0 are units, the elements in a diagonalization of h1h_1 are uniformizers, and h0h_0, h1h_1 are determined uniquely up to KK-isometry. In this paper, we give an explicit description of the elements in the diagonalization of h0h_0 and h1h_1 in the case of quaternion algebras. Then we will derive explicit formulas for Larmour's isomorphism of Witt groups.

Keywords

Cite

@article{arxiv.2412.11110,
  title  = {An explicit formula for Larmour's decomposition of hermitian forms},
  author = {Amin Soofiani},
  journal= {arXiv preprint arXiv:2412.11110},
  year   = {2024}
}