Division Algebras and Quadratic Forms over Fraction Fields of Two-dimensional Henselian Domains

Abstract

Let $K$ be the fraction field of a 2-dimensional, henselian, excellent local domain with finite residue field $k$. When the characteristic of $k$ is not 2, we prove that every quadratic form of rank $\ge 9$ is isotropic over $K$ using methods of Parimala and Suresh, and we obtain the local-global principle for isotropy of quadratic forms of rank 5 with respect to discrete valuations of $K$. The latter result is proved by making a careful study of ramification and cyclicity of division algebras over the field $K$, following Saltman's methods. A key step is the proof of the following result, which answers a question of Colliot-Thélène--Ojanguren--Parimala: For a Brauer class over $K$ of prime order $q$ different from the characteristic of $k$, if it is cyclic of degree $q$ over the completed field $K_v$ for every discrete valuation $v$ of $K$, then the same holds over $K$. This local-global principle for cyclicity is also established over function fields of $p$-adic curves with the same method.

Final version, 31 pages, may be slightly different from the published version

References in corpus (2)

• Applications of patching to quadratic forms and central simple algebras
• $p$-adic Zeros of Systems of Quadratic Forms

Cited by in corpus (4)

• Refinements to patching and applications to field invariants
• The Pythagoras number and the $u$-invariant of Laurent series fields in several variables
• On the Rost divisibility of henselian discrete valuation fields of cohomological dimension 3
• A cohomological Hasse principle over two-dimensional local rings