We prove the failure of the local-global principle, with respect to all discrete valuations, for isotropy of quadratic forms over a rational function field of transcendence degree at least 2 over the complex numbers. Our construction involves the generalized Kummer varieties considered by Borcea and Cynk--Hulek.
Let F be a function field in one variable over a p-adic field and D a central division algebra over F of degree n coprime to p. We prove that Suslin invariant detects whether an element in F is a reduced norm. This leads to a local-global principle for reduced norms with respect to all discrete valuations of F.
We give upper bounds for the level and the Pythagoras number of function fields over fraction fields of integral Henselian excellent local rings. In particular, we show that the Pythagoras number of $mathbb{R}((x_1,dots,x_n))$ is $leq 2^{n-1}$, which answers positively a question of Choi, Dai, Lam and Reznick.
We study local-global principles for torsors under reductive linear algebraic groups over semi-global fields; i.e., over one variable function fields over complete discretely valued fields. We provide conditions on the group and the semiglobal field under which the local-global principle holds, and we compute the obstruction to the local-global principle in certain classes of examples. Using our description of the obstruction, we give the first example of a semisimple simply connected group over a semi-global field where the local-global principle fails. Our methods include patching and R-equivalence.
The paper provides computations of the first non-vanishing $mathbb{A}^1$-homotopy sheaves of the orthogonal Stiefel varieties which are relevant for the unstable isometry classification of quadratic forms over smooth affine schemes over perfect fields of characteristic $ eq 2$. Together with the $mathbb{A}^1$-representability for quadratic forms, this provides the first obstructions for rationally trivial quadratic forms to split off a hyperbolic plane. For even-rank quadratic forms, this first obstruction is a refinement of the Euler class of Edidin and Graham. A couple of consequences are discussed, such as improved splitting results over algebraically closed base fields as well as examples where the obstructions are nontrivial.