Descent obstructions and Brauer-Manin obstruction in positive characteristic
type: Item
instance of: scholarly article
zbMATH Open document ID: 1331.11047
DOI: 10.1017/S1474748012000758
author: David Harari
author: José Felipe Voloch
published in: Journal of the Institute of Mathematics of Jussieu
publication date: 2013-07-30T00:00:00Z
Mathematics Subject Classification ID: 11G35
Mathematics Subject Classification ID: 14G17
Mathematics Subject Classification ID: 14F22
zbMATH DE Number: 6192530
zbMATH Keywords: Artin-Schreier covering
zbMATH Keywords: Brauer-Manin obstruction
zbMATH Keywords: global field of positive characteristic
MaRDI profile type: MaRDI publication profile
cites work: Q3413444
cites work: The Brauer–Manin obstruction for integral points on curves
cites work: La descente sur les variétés rationnelles. II. (The descent on rational varieties. II)
cites work: Non-abelian cohomology and rational points
cites work: Failure of the Hasse principle for Châtelet surfaces in characteristic 2
cites work: Insufficiency of the Brauer-Manin obstruction applied to étale covers
cites work: Hilbert's tenth problem for fields of rational functions over finite fields
title: Descent obstructions and Brauer-Manin obstruction in positive characteristic
review text: The authors prove that the Brauer-Manin obstruction is the only obstruction to the existence of integral points on affine varieties over global function fields.NEWLINENEWLINELet \(K\) be a global function field of characteristic \(p > 0\) with completions \(K_v\), \(S\) a non-empty set of primes of \(K\) and \(\mathcal{O}_S \subset K\) the ring of \(S\)-integers.NEWLINENEWLINE``\textbf{Definition 1.1.} Let \(G\) be a \(K\)-group scheme. Let \(Y \to X\) be an \(X\)-torsor under \(G\). We say that a point \((x_v) \in \prod_vX(K_v)\) is \textit{unobstructed} by \(Y\) if the evaluation \([Y]((x_v)) \in \prod_vH^1(K_v,G)\) comes from a global element \(a \in H^1(K,G)\) through the diagonal map.''NEWLINENEWLINE``\textbf{Definition 1.2.} Let \(X\) be a \(K\)-variety. An \textit{Artin-Schreier torsor} over \(X\) is a torsor under the étale group scheme \(\mathbf{F}_s\) (for some \(s = q^e\), \(e > 0\)) given by the equation \(z^s - z = g\) for some \(g \in K[T]\).''NEWLINENEWLINE``\textbf{Theorem 2.2.} Let \(\mathcal{X}\) be an affine \(\mathcal{O}_S\)-scheme of finite type with generic fibre \(X\). Let \((x_v) \in \prod_{v\not\in S}\mathcal{X}(\mathcal{O}_v) \times \prod_{v\in S}X(K_v)\). Assume that \((x_v)\) is unobstructed by every Artin-Schreier torsor \(Y \to X\). Then \((x_v) \in \mathcal{X}(\mathcal{O}_S)\).''NEWLINENEWLINE``\textbf{Corollary 3.2.} Let \(X\) be an affine variety over \(K\). Assume that \((a_v)_v \in \prod_vX(K_v)\) is unobstructed by every \(\alpha_p\)-torsor. Then \((a_v) \in X(K)\).''NEWLINENEWLINE``\textbf{Definition 4.1.} Let \(X\) be a \(K\)-variety. Set \(\mathrm{Br}_0(X) := \mathrm{Im}(\mathrm{Br}(K) \to \mathrm{Br}(X))\). For each \(e > 0\), we define a subgroup \(B_{AS,e}(X)\) of the Brauer group \(\mathrm{Br}(X)\) as the subgroup generated by \(\mathrm{Br}_0(X)\) and the cup-products \((a \cup [Y])\), where \(Y\) runs over all Artin-Schreier \(X\)-torsors under \(\mathbf{F}_{q^e}\) and \(a\) runs over all elements of \(H^1(K,G_{q^e})\). Th…
reviewed by: Timo Keller
description: scientific article; zbMATH DE number 6192530