Abstract:We investigate weak approximation for a class of biquadratic fourfolds inside $\mathbb{P}^3 \times \mathbb{P}^2$, some of which appear in the recent work of Hassett--Pirutka--Tschinkel.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the validity of weak approximation on specific four - dimensional quadric surface bundles. Specifically, the paper focuses on a class of biquadratic fourfolds defined in the projective space \(P^2\times P^3\), and these varieties appear in the recent work of Hassett - Pirutka - Tschinkel in some cases.
### Main research questions:
1. **Validity of weak approximation**: The main objective of the paper is to confirm whether the Brauer - Manin obstruction is the only factor hindering weak approximation for this class of four - dimensional varieties. Weak approximation means that in the set of adele points \(X(\mathbb{A}_k)\), the image of the set of rational points \(X(k)\) is dense in the product topology.
2. **Brauer - Manin obstruction**: The author explores whether the Brauer - Manin obstruction can fully explain the phenomenon of weak approximation failure on these four - dimensional varieties. The Brauer - Manin obstruction is a subset \(X(\mathbb{A}_k)^{Br}\) defined by the Brauer group \(Br(X)\), and it sometimes hinders weak approximation.
### Specific research objects:
The specific object studied in the paper is a class of four - dimensional varieties \(X\) defined in \(P^2\times P^3\), and its equation form is:
\[ xy t_1^2+xz t_2^2+yz t_3^2 + F(x, y, z)t_4^2 = 0,\]
where \(F\) is a non - degenerate ternary quadratic form.
### Main results:
- **Theorem 1.1**: For the four - dimensional variety \(X\) defined above, the Brauer - Manin obstruction is the only factor hindering weak approximation.
- **Theorem 1.2**: Further, the paper discusses in detail that when \(F\) takes positive values, weak approximation always holds; otherwise, for the real place \(ν\), \(X(k_ν)\) has two connected components, one of which satisfies weak approximation, while the other may not.
### Methods and techniques:
- **Fibration method**: The paper uses the fibration method, especially Harari's fibration method with smooth sections, to prove the main results.
- **Calculation of Brauer group**: By calculating the Brauer group and its unramified cohomology group, the paper determines the non - trivial elements in the Brauer group and proves that these elements do indeed affect the validity of weak approximation.
### Conclusion:
Through detailed mathematical analysis, the paper proves that under specific conditions, the Brauer - Manin obstruction is the only factor hindering weak approximation, thus providing an important theoretical basis for understanding the arithmetic properties of this class of four - dimensional varieties.