Abstract:We study Brauer-Manin obstructions to the Hasse principle and to weak approximation with special regard to effectivity questions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the **effectiveness of the Brauer - Manin obstruction**. Specifically, the authors Andrew Kresch and Yuri Tschinkel studied the impact of the Brauer - Manin obstruction on the **Hasse principle** and **weak approximation**, with particular attention to the aspect of effectiveness.
### Background Introduction
In arithmetic geometry, an important problem is to find an effective method to determine whether a smooth projective algebraic variety \(X\) has a \(k\)-rational point, that is, \(X(k)\neq\emptyset\). A necessary condition is that \(X\) has a non - empty point set in all completions \(k_v\) of \(k\), that is, \(X(k_v)\neq\emptyset\) for all \(v\). This condition can be effectively tested as long as the defining equations of \(X\) are given.
The Hasse principle states that:
\[X(k)\neq\emptyset\Leftrightarrow X(k_v)\neq\emptyset\quad\forall v\]
When \(X\) is a quadratic hypersurface over the field of rational numbers, the Hasse principle was proved by Hasse in his doctoral dissertation in 1921. Hasse's main insight was to connect the existence of solutions of equations over number fields with the existence of solutions over completion fields (i.e., \(v\)-adic number fields).
Another related problem is to find \(k\)-rational points on \(X\) that match local data, that is, to determine whether \(X(k)\) is dense in the adele space \(X(\mathbb{A}_k)\). In this case, \(X\) is said to satisfy weak approximation.
### Challenges of the Problem
The Hasse principle and weak approximation do not always hold for general projective varieties. For example, cubic curves and cubic surfaces may not satisfy these properties. All known obstructions to the Hasse principle and weak approximation are based on the Brauer - Manin obstruction or can be reduced to the Brauer - Manin obstruction under a finite étale cover.
### Brauer - Manin Obstruction
The Brauer - Manin obstruction is based on the Brauer group \(\text{Br}(X)\) of \(X\) and the class field theory of \(k\). It cuts out a subspace \(X(\mathbb{A}_k)^{\text{Br}}\) of the adele space \(X(\mathbb{A}_k)\) with the property that \(X(k)\subset X(\mathbb{A}_k)^{\text{Br}}\). In particular, if \(X(\mathbb{A}_k)\neq\emptyset\) and \(X(\mathbb{A}_k)^{\text{Br}}=\emptyset\), then \(X(k)=\emptyset\) and \(X\) does not satisfy the Hasse principle. If \(X(k)\neq\emptyset\) and \(X(\mathbb{A}_k)^{\text{Br}}\neq X(\mathbb{A}_k)\), then weak approximation fails for \(X\).
### Main Contributions of the Paper
In this paper, the authors prove a general procedure for computing the Brauer - Manin obstruction, provided that the geometric Picard group is finitely generated, torsion - free, and known through explicitly represented cycles and an explicit Galois action. The specific steps include:
1. **Selecting a Splitting Field**: Select a finite Galois extension \(K/k\) such that all cycle representatives are defined over \(K\).
2. **Computing Galois Cohomology Groups**: Identify the first Galois cohomology group of the geometric Picard group and compute the generators.
3. **Obtaining Cohomology Data of Brauer Group Elements**: Compute 2 - cocycles of Brauer group elements from the generators.
4. **Computing the Subspace of the Adele Space Cut Out by Brauer Group Elements**.