English

On the classification of quadratic forms over an integral domain of a global function field

Algebraic Geometry 2017-05-31 v2

Abstract

Let CC be a smooth projective curve defined over the finite field Fq\mathbb{F}_q (qq is odd) and let K=Fq(C)K=\mathbb{F}_q(C) be its function field. Any finite set SS of closed points of CC gives rise to an integral domain OS:=Fq[CS]\mathcal{O}_S:=\mathbb{F}_q[C-S] in KK. We show that given an OS\mathcal{O}_S-regular quadratic space (V,q)(V,q) of rank n3n \geq 3, the set of genera in the proper classification of quadratic OS\mathcal{O}_S-spaces isomorphic to (V,q)(V,q) in the flat or \'etale topology, is in 1:11:1 correspondence with 2Br(OS){_2\text{Br}}(\mathcal{O}_S), thus there are 2S12^{|S|-1} such. If (V,q)(V,q) is isotropic, then Pic(OS)/2\text{Pic}(\mathcal{O}_S)/2 classifies the forms in the genus of (V,q)(V,q). For n5n \geq 5 this is true for all genera, hence the full classification is via the abelian group Heˊt2(OS,μ2)H^2_{\text{\'et}}(\mathcal{O}_S,\underline{\mu}_2).

Keywords

Cite

@article{arxiv.1611.01924,
  title  = {On the classification of quadratic forms over an integral domain of a global function field},
  author = {Rony A. Bitan},
  journal= {arXiv preprint arXiv:1611.01924},
  year   = {2017}
}

Comments

19 pages, no figures