Article ID Journal Published Year Pages File Type
4593312 Journal of Number Theory 2016 14 Pages PDF
Abstract

Let C   be a smooth projective curve defined over the finite field FqFq (q   is odd) and let K=Fq(C)K=Fq(C) be its function field. Removing one closed point Caf=C−{∞}Caf=C−{∞} results in an integral domain O{∞}=Fq[Caf]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{∞}O{∞}-isomorphism classes in the genus of f   of rank n>2n>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 CafCaf. We then deduce that any such f   of rank n>2n>2 admits the local-global Hasse principal if and only if |Pic (Caf)||Pic (Caf)| is odd. For rank 2 this principle holds if the integral closure of O{∞}O{∞} in the splitting field of O_V⊗O{∞}K is a UFD.

Related Topics
Physical Sciences and Engineering Mathematics Algebra and Number Theory
Authors
,