The Hasse principle for bilinear symmetric forms over a ring of integers of a global function field

Abstract

Listen

Translate article

Let C be a smooth projective curve defined over the finite field Fq (q is odd) and let K=Fq(C) be its function field. Removing one closed point Caf=C−{∞} results in an integral domain O{∞}=Fq[Caf] of K, over which we consider a non-degenerate bilinear and symmetric form f with orthogonal group O_V. We show that the set Cl∞(O_V) of O{∞}-isomorphism classes in the genus of f of rank n>2 is bijective as a pointed set to the abelian groups Hét2(O{∞},μ_2)≅Pic (Caf)/2, i.e. it is an invariant of Caf. We then deduce that any such f of rank n>2 admits the local-global Hasse principal if and only if |Pic (Caf)| is odd. For rank 2 this principle holds if the integral closure of O{∞} in the splitting field of O_V⊗O{∞}K is a UFD.