Brauer Obstructions to Rational Points over Surface Function Fields

Definitions and mathematical statement

Let $S$ be an integral algebraic surface over a field $k$, let $K=k(S)$, and let $X$ be a variety over $K$. Its geometric generic fiber is $X_{\overline K}=X\times_K\overline K$, or equivalently the geometric generic fiber of a model over $S$. The source asks for geometric hypotheses on this fiber which ensure that the Brauer obstruction is the only obstruction to $X(K)\ne\varnothing$. It does not specify $k$, characteristic, properness, smoothness, the model, or the meaning of "Brauer obstruction".

One necessary Brauer-theoretic condition can be stated without choosing local data. For the structural map $\pi:X\to\operatorname{Spec}K$, a rational point $x$ gives \[ x^*\circ\pi^*=\operatorname{id}_{\operatorname{Br}(K)},\qquad \operatorname{Br}(X)=H^2_{\mathrm{\acute et}}(X,\mathbb G_m)_{\mathrm{tors}}. \] Consequently $\ker(\operatorname{Br}(K)\to\operatorname{Br}(X))\ne0$ obstructs a rational point. This kernel obstruction is not automatically the source's intended complete Brauer obstruction. A Brauer--Manin formulation would require specified local fields, a space of local points, invariant maps and a reciprocity pairing; these are not determined merely by saying "function field of a surface". Elementary or descent obstructions are also distinct notions and must not be substituted silently.

After the intended Brauer obstruction $\mathcal O_{\mathrm{Br}}(X)$ and geometric class $\mathcal C$ have been fixed, the requested sufficient statement has the form \[ X_{\overline K}\in\mathcal C\quad\text{and}\quad \mathcal O_{\mathrm{Br}}(X)=0 \quad\Longrightarrow\quad X(K)\ne\varnothing, \] with all field and model hypotheses quantified as part of the theorem. This is a formulation of the research target, not a claimed theorem for every variety with vanishing Brauer kernel.

The supplied assessment checked 21 August 2026 records substantial rational-point results for rationally simply connected varieties and relevant period--index and Serre-conjecture cases, while calling the broad characterization for rationally $1$-connected fibers open. In this context rational simple connectedness concerns rational curves and their moduli, not just triviality of an ordinary topological fundamental group; precise variants and hypotheses are absent. The linked global-function-field results must not be treated without further hypotheses as an unrestricted theorem over every surface function field.

Short English statement

Which geometric conditions make a specified Brauer obstruction the complete obstruction to a rational point over a surface function field? The ground field and obstruction mechanism are missing. The supplied assessment reports important rational-simple-connectedness results but no full characterization of the broad class requested.

Sources

• Local UnsolvedMath registry, permanent ID 30000073, exact source code catalogue entry; Brauer Obstructions to Rational Points over Surface Function Fields. Proposed year 2004, status partially_solved, exact supplied wording.
• Supplied report citation: Classical Algebraic Geometry (2005), Oberwolfach Reports, DOI 10.4171/owr/2004/31, pp. 1657--1702, https://doi.org/10.4171/owr/2004/31. The title year differs from DOI/proposed year.
• Supplied literature assessment checked 2026-08-21: "original Oberwolfach Report 31/2004", https://doi.org/10.4171/owr/2004/31; "rational points over global function fields", https://doi.org/10.5802/ahl.65; "families over surfaces and torsors", https://arxiv.org/abs/0809.5224. This dated OWR-derived curation requires independent verification of time-sensitive status and cited claims.