On the fibration method for zero-cycles and rational points (Q5962628)
From MaRDI portal
scientific article; zbMATH DE number 6541586
Language | Label | Description | Also known as |
---|---|---|---|
English | On the fibration method for zero-cycles and rational points |
scientific article; zbMATH DE number 6541586 |
Statements
On the fibration method for zero-cycles and rational points (English)
0 references
15 February 2016
0 references
Let \(X\) be a smooth, proper algebraic variety defined over a number field \(k\) and let \(A_k\) be the adele ring of \(k\). The authors study compatibility of the following two conjectures with fibrations, for fibrations into rationally connected varieties over a curve. Conjecture 1. If \(X\) is geometrically irreducible and rationally connected, then \(X(k)\) is dense in \(X(A_k)^{Br(x)}\). Let \(C\) and \(C_A\) be the profinite completions of the Chow group \(\mathrm{CH}_0(X)\) of zero-cycles of \(X\) up to rational equivalence and of the ``adelisation'' \(\mathrm{CH}_{0,A}(X)\) of that group, respectively. Conjecture 2. If \(X\) is geometrically irreducible, then the following naturally defined sequence \(C\to C_A\to \Hom(\mathrm{Br}(X), \mathbb{Q}/\mathbb{Z})\) is exact. Let \(f: X\to\mathbb{P}^1\) be a dominant morphism with rationally connected geometric generic fibre and suppose that the smooth fibres of morphism \(f\) satisfy conjecture 2, the authors prove then that variety \(X\) also satisfies that conjecture. Their result implies, in particular, that conjecture 2 holds true for the, hypersurface defined by the equation \(F(x)= P(t)\), where \(P(t)\in k[t]\), \(P(t)\neq 0\), and \(F(x)\), \(x:= (x_1,\dots,x_n)\), is a norm-form associated to a finite extension \(K\mid k\) of degree \(n\in\mathbb{N}\). They also prove several theorems, relating to conjecture 1. Let us cite one of their results in this direction. Let \(X\) be a smooth, proper, irreducible variety defined over \(\mathbb{Q}\) and suppose that generic fibre of morphism \(f: X\to\mathbb{P}^1\) is birationally equivalent to a homogeneous space of a connected linear algebraic group, with connected geometric stabilizers. If the non-split fibres of \(f\) lie over points in \(P^1(\mathbb{Q})\), then \(X(\mathbb{Q})\) is dense in \(X(A_{\mathbb{Q}})^{\mathrm{Br}(X)}\).
0 references
Brauer-Manin obstruction
0 references
Chow group of zero-cycles
0 references
fibration method
0 references
rational points
0 references