Let be a smooth projective curve defined over the finite field ( is odd) and let be its function field. Removing one closed point results in an integral domain of , over which we consider a non-degenerate bilinear and symmetric form with orthogonal group . We show that the set of -isomorphism classes in the genus of of rank , is bijective as a pointed set to the abelian groups $H^2_{}(_{{\infty}},\underline{\mu}_2) \cong (C^)/2C^$. We then deduce that any such of rank admits the local-global Hasse principal if and only if is odd. For rank this principle holds if the integral closure of in the splitting field of is a UFD.

生成讲解博客的中文版本

生成AI智能校验的中文版本