The Brauer-Manin obstruction for constant curves over global function fields (Q2152462): Difference between revisions

Let \(\mathbb{F}\) be a finite field and let \(C\), \(D\) be smooth, geometrically irreducible, proper curves over \(\mathbb{F}\). We denote by \( K = \mathbb{F}(D)\) the function field of \(D\). We consider the curve \(C\otimes_{\mathbb{F}}D \) which we also denote by \(C\). The curve \(C\) may be embedded in its Jacobian \(J\) since it has a 0-cycle of degree 1 defined over \(\mathbb{F}\) and that the Tate-Shafarevich group of \(J\) is finite. Let \(\mathbb{F}_v\) be the residue field at the prime \(v\) of \(K\) and \(S_C\) the set of primes of good reduction for (some model of) \(C\). We denote by \(C^{\text{MW-Sieve}}\) the intersection of the topological closures of the images of \(J(K)\) and \(\prod_{v\in S_C} C(\mathbb{F}_v)\) inside \(\prod_{v\in S_C} J(\mathbb{F}_v)\), and by \(C(A_K)^{\mathrm{Br}}\) the set of adelic points orthogonal to the Brauer group of \(C\). The main result of the paper is that the following equality holds: \[C(A_K)^{\mathrm{Br}} = C(K) \cup C^{\text{MW-Sieve}}.\] The proof of this result uses the connection between the Brauer-Manin and finite abelian descent obstructions developed in [\textit{M. Stoll}, Algebra Number Theory 1, No. 4, 349--391 (2007; Zbl 1167.11024)]. Several interesting consequences of this result are given.