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.
Unirationality of certain universal families of cubic fourfolds
这篇短文的目的是在它们的模空间的某些轨迹上定义\it泛立方四重\rm。然后,我们提出了两种方法来证明它在$8\leq d \leq 42$范围内的Hassett因子$\mathcal{C}_d$上是单有理的。通过归纳应用这个论点,我们能够表明,在相同值域内,$\mathcal{C}_{d,n}$是单理性的所有整数值的$n$。最后,我们观察到,对于$d$的显式无穷多个值,$\mathcal{C}_d$上的泛三次四重不可能是单有理的。