Abstract:In this paper, we will show that strong approximation with Brauer-Manin obstruction holds for certain quadratic fibration such that none of fibers satisfies strong approximation with Brauer-Manin obstruction. Moreover, we develop the representation theory of quadratic Diophantine equations and explain that the representability of quadratic polynomials is equivalent to the classical result of representability of quadratic forms with congruent conditions and extend the classical result over number fields.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the study of the strong approximation property of specific quadric fibrations under the condition of compact fibers. Specifically, the article explores whether the equation of the form \(q(x_1, \cdots, x_n)=p(t)\) can achieve strong approximation when satisfying the Brauer - Manin obstruction.
### Core of the problem
1. **Background of the equation**:
- The equation \(q(x_1, \cdots, x_n)+\sum_{i = 1}^{n}a_i(t)x_i + b(t)=0\) can be transformed into \(q(x_1, \cdots, x_n)=p(t)\), where \(q(x_1, \cdots, x_n)\) is a quadratic form and \(p(t)\) is a polynomial.
- This transformation makes the study of the strong approximation property of \(q(x_1, \cdots, x_n)=p(t)\) provide a basis for the solvability of the original equation.
2. **Strong approximation and Brauer - Manin obstruction**:
- Strong approximation means whether local solutions can be approximated by global solutions on an algebraic variety.
- The Brauer - Manin obstruction is a reason for explaining why some algebraic varieties cannot satisfy strong approximation.
3. **Main contributions**:
- The article proves that when \(n\geq3\) and the total set of real points is not a compact set, the equation \(q(x_1, \cdots, x_n)=p(t)\) satisfies strong approximation and the Brauer - Manin obstruction.
- For the positive definite quadratic form \(q\), the article provides specific examples to show that in this case, no fiber satisfies strong approximation and the Brauer - Manin obstruction.
### Applications and significance
- This result generalizes the previous classical results on quadratic form representations and extends them to general quadratic polynomials.
- The article also explains the equivalence relationship between the representability of quadratic Diophantine polynomials and the representability of quadratic forms with congruence conditions.
- Finally, the results of the article directly derive the conclusions of G.L. Watson's early work, further verifying the effectiveness of its theoretical framework.
Through these studies, the article provides a new perspective for understanding the strong approximation properties of quadratic fibrations and lays a theoretical foundation for subsequent research.