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

Abstract: Let

C

be a smooth projective curve defined over the finite field

m a t h b b F_{q}

(

q

is odd) and let

K = m a t h b b F_{q} (C)

be its function field. Removing one closed point

C^{e} x t a f = C - i n f t y

results in an integral domain

m a t h c a l O_{i n f t y} = m a t h b b F_{q} [C^{e} x t a f]

of

K

, over which we consider a non-degenerate bilinear and symmetric form

f

with orthogonal group

u n d e r l i n e {e x t b f O}_{V}

. We show that the set

e x t {C l}_{i} n f t y (u n d e r l i n e {e x t b f O}_{V})

of

m a t h c a l O_{i n f t y}

-isomorphism classes in the genus of

f

of rank

n > 2

, is bijective as a pointed set to the abelian groups

H_{e x t' e t}^{2} (m a t h c a l O_{i n f t y}, u n d e r l i n e {m u}_{2}) c o n g e x t P i c (C^{e} x t a f) / 2

, i.e. is an invariant of

C^{e} x t a f

. We then deduce that any such

f

of rank

n > 2

admits the local-global Hasse principal if and only if

| e x t P i c (C^{e} x t a f) |

is odd. For rank

2

this principle holds if the integral closure of

m a t h c a l O_{i n f t y}

in the splitting field of

u n d e r l i n e {e x t b f O}_{V} o t i m e s_{m a t h c a l O_{i n f t y}} K

is a UFD.

Recommendations

Cites Work

Cited In (4)

This page was built for publication: The Hasse principle for bilinear symmetric forms over a ring of integers of a global function field