Persistence of the Brauer-Manin obstruction on cubic surfaces

DOI10.4310/MRL.2022.V29.N6.A11MaRDI QIDQ6043372zbMATH OpenOpenAlexFDO

Authors Carlos Rivera, Bianca Viray

Publication date 5 May 2023

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2111.03546

zbMATH Keywords

Brauer-Manin obstructionCassels-Swinnerton-Dyer conjecturecubic surfaceglobal field

Mathematics Subject Classification ID

Varieties over global fields (11G35) Hasse principle, weak and strong approximation, Brauer-Manin obstruction (14G12)

Abstract: Let $X$ be a cubic surface over a global field $k$. We prove that a Brauer-Manin obstruction to the existence of $k$-points on $X$ will persist over every extension $L/k$ with degree relatively prime to $3$. In other words, a cubic surface has nonempty Brauer set over $k$ if and only if it has nonempty Brauer set over some extension $L/k$ with $3mid[L:k]$. Therefore, the conjecture of Colliot-Th'el`ene and Sansuc on the sufficiency of the Brauer-Manin obstruction for cubic surfaces implies that $X$ has a $k$-rational point if and only if $X$ has a $0$-cycle of degree $1$. This latter statement is a special case of a conjecture of Cassels and Swinnerton-Dyer.

Review text

In the article under review, the authors study the Cassels and Swinnerton-Dyer conjecture for a smooth cubic surface \(X\) over a global field \(k\). Recall, that the conjecture predicts that \(X\) has a rational point if and only if it admits a degree \(1\) zero cycle. (See [\textit{D. R. Coray}, Acta Arith. 30, 267--296 (1976; Zbl 0294.14012)] for more details and discussion.) In the present article, the authors prove that if \(L/k\) is a finite extension with degree relatively prime to \(3\), then the Brauer set \(X(\mathbb{A}_L)^{\operatorname{Br}}\) is non-empty if and only if the Brauer set \(X(\mathbb{A}_k)^{\operatorname{Br}}\) is non-empty. As a consequence of this result, the authors deduce that if the Brauer-Manin obstruction is the only obstruction to the local-to-global principle for \(X\), then \(X\) has a \(k\)-rational point if and only if it admits a degree \(1\) zero cycle. A key technical step in the proof of the authors' main result is a refined Bertini type theorem that applies to embeddings of del Pezzo surfaces over characteristic \(2\) global fields.

Recommendations

• Brauer-Manin obstruction for zero-cycles on certain varieties
• Local-global principle for 0-cycles on fibrations over rationally connected bases
• Zero-cycles on del Pezzo surfaces. Variations on a theme by Daniel Coray
• Local-global principles for zero-cycles on homogeneous spaces over arithmetic function fields
• Arithmetic of rational points and zero-cycles on products of Kummer varieties and \(K3\) surfaces
• Local-global principle for zero-cycles on certain fibrations over the projective space
• Hasse principle and weak approximation for pencils of Severi-Brauer and similar varieties.
• Applications of the fibration method to the Brauer–Manin obstruction to the existence of zero-cycles on certain varieties
• Compatibility of weak approximation for zero-cycles on products of varieties
• Index of fibrations and Brauer classes that never obstruct the Hasse principle

Cited in

(6)

• On the Brauer-Manin obstruction for cubic surfaces
• Cubic points on cubic curves and the Brauer--Manin obstruction on K3 surfaces
• Brauer group and integral points of two families of affine cubic surfaces
• Arithmetic of Châtelet surface bundles revisited
• Evaluating Azumaya algebras on cubic surfaces
• Galois invariants of finite abelian descent and Brauer sets

This page was built for publication: Persistence of the Brauer-Manin obstruction on cubic surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6043372)