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

Rony A. Bitan

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

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_VO{∞}K is a UFD.

Original languageEnglish
Pages (from-to)346-359
Number of pages14
JournalJournal of Number Theory
Volume168
DOIs
StatePublished - 1 Nov 2016

Bibliographical note

Publisher Copyright:
© 2016 Elsevier Inc.

Keywords

  • Bilinear forms
  • Global function field
  • Hasse principle
  • Étale cohomology

Fingerprint

Dive into the research topics of 'The Hasse principle for bilinear symmetric forms over a ring of integers of a global function field'. Together they form a unique fingerprint.

Cite this