arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1503.05207math.AG
收藏

整体函数域的整数环上双线性对称形式的Hasse原理

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

Rony A. Bitan

摘要:

设$C$是定义在有限域$\mathbb{F}_q$($q$是奇数)上的光滑射影曲线,$K=\mathbb{F}_q(C)$是它的函数域.去掉一个闭点$C^\text{af} = C-\{\infty\}$得到$K$的整环$\mathcal{O}_{\{\infty\}} = \mathbb{F}_q[C^\text{af}]$,在该整环上我们考虑了具有正交群$\underline{\textbf{O}}_V$的非退化双线性对称形式$f$.我们证明了秩为$\mathcal{O}_{\{\infty\}}$的亏格中的同构类的集合$\text{Cl}_\infty(\underline{\textbf{O}}_V)$作为阿贝尔群$H^2_{\text{ét}}(\mathcal{O}_{\{\infty\}},\underlineμ_2) \cong \text{Pic}(C^\text{af})/2$的点集是双射的,即是$C^\text{af}$的不变量.然后,我们推出,任何这样的$f$秩$n>2$承认局部-整体哈塞主当且仅当$|\text{Pic}(C^\text{af})|$是奇数。对于秩$2$,如果$\mathcal{O}_{\{\infty\}}$在$\underline{\textbf{O}}_V \otimes_{\mathcal{O}_{\{\infty\}}} K$的分裂场中的积分闭包是UFD,则该原理成立。

英文摘要:

Let $C$ be a smooth projective curve defined over the finite field $\mathbb{F}_q$ ($q$ is odd) and let $K=\mathbb{F}_q(C)$ be its function field. Removing one closed point $C^\text{af} = C-\{\infty\}$ results in an integral domain $\mathcal{O}_{\{\infty\}} = \mathbb{F}_q[C^\text{af}]$ of $K$, over which we consider a non-degenerate bilinear and symmetric form $f$ with orthogonal group $\underline{\textbf{O}}_V$. We show that the set $\text{Cl}_\infty(\underline{\textbf{O}}_V)$ of $\mathcal{O}_{\{\infty\}}$-isomorphism classes in the genus of $f$ of rank $n>2$, is bijective as a pointed set to the abelian groups $H^2_{\text{ét}}(\mathcal{O}_{\{\infty\}},\underlineμ_2) \cong \text{Pic}(C^\text{af})/2$, i.e. is an invariant of $C^\text{af}$. We then deduce that any such $f$ of rank $n>2$ admits the local-global Hasse principal if and only if $|\text{Pic}(C^\text{af})|$ is odd. For rank $2$ this principle holds if the integral closure of $\mathcal{O}_{\{\infty\}}$ in the splitting field of $\underline{\textbf{O}}_V \otimes_{\mathcal{O}_{\{\infty\}}} K$ is a UFD.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑