Hasse principle for hermitian spaces over semi-global fields (Q290423): Difference between revisions

Let \(T\) be a complete discrete valuation ring whose residue field has characteristic different from \(2\) and with field of fractions \(K\) and let \(F\) be the function field of a smooth, projective, geometrically integral curve over \(K\). For each rank one discrete valuation on \(F\), we denote the completion of \(F\) at \(v\) by \(F_v\). For a connected linear algebraic group \(G\) over \(F\) and \(X\) a projective homogeneous space under \(G\) over \(F\), we say that the \textit{Hasse principle} holds for \(X\) if \[ \prod_{v\in \Omega} X(F_v)\neq \emptyset \Rightarrow X(F)\neq \emptyset \,, \] where \(\Omega\) is the set of all rank one discrete valutions on \(F\). In this paper ,it is shown that the Hasse principle holds for \[ G=\begin{cases} \mathrm{SU}(A,\sigma, h), & \text{ if }\sigma\text{ is of the first kind;}\\ \mathrm{U}(A,\sigma,h), & \text{ if }\sigma\text{ is of the second kind},\end{cases} \] where \(h\) is an \(\varepsilon\)-hermitian form over the finite-dimensional central simple \(F\)-algebra with involution \((A,\sigma)\), under the assumption that either the index of \(A\) is \(2\) or less, or that \(A\) has order \(2\) in the Brauer group and there are a finite number of square classes in every field extension of the residue field of \(T\). The proof of this result uses the field patching techniques and theorems of \textit{D. Harbater} et al. [Invent. Math. 178, No. 2, 231--263 (2009; Zbl 1259.12003)]. As an application, an analogue of Springer's theorem on isotropy of quadratic forms over odd degree extensions is shown for hermitian forms over function fields of curves over a \(p\)-adic field (\(p\neq 2\)). That is, it is shown that an anisotropic hermitian form over a central simple \(F\)-algebra with involution stays anisotropic after extending scalars to any odd degree extension, where \(F\) is a function field of a curve over a \(p\)-adic field.