On the fibration method for zero-cycles and rational points (Q5962628): Difference between revisions

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)}\).