Abstract:We establish a Galois-theoretic trichotomy governing Diophantine stability for genus $0$ curves. We use it to prove that the curve associated to the Hilbert symbol is Diophantine stable with probability $1$. Our asymptotic formula for the second order term exhibits strong bias towards instability.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the statistical properties of Diophantine stability, especially for genus 0 curves. Specifically, the authors explore the following issues:
1. **Diophantine stability of genus 0 curves**: The paper proves that 100% of smooth, projective, genus 0 curves are Diophantine stable under the finite extension \( L/\mathbb{Q} \) and gives an asymptotic formula for the error term. In addition, they also study the logarithmic exponent of the second - order term and find that it has a Galois - theoretic interpretation.
2. **Probability and proportion of instability**: The authors define a proportion \( r_L \) to measure the proportion of apparently unstable curves among all unstable curves. They give a trichotomy of \( r_L \) through Galois theory and explore the situation when \( r_L=\infty \), that is, the so - called "completely unstable".
3. **Application of high - dimensional sieve method**: The paper introduces the geometric - large sieve and applies it to estimate the number of certain varieties in the case of everywhere locally soluble. This method can ignore some special cases, thus simplifying the handling of the problem.
### Main Conclusions
- **Theorem 1.1**: For any finite number field extension \( L/\mathbb{Q} \), and any constants \( A>0 \) and vectors \( (a, b)\in \{1, - 1\}^2 \), when \( B\geq3 \), the number of integer pairs \( (s, t) \) satisfying specific conditions has the following asymptotic formula:
\[
\# \left\{ (s, t)\in \mathbb{Z}^2 : - B\leq s, t\leq B, \text{sign}(s) = a, \text{sign}(t) = b, C_{s,t} \text{ Diophantine stable over } L \right\}
\approx B^2 - c_L B^2 \frac{(\log B)^{\delta_L}}{1 + O\left(\frac{1}{(\log \log \log B)^A}\right)}
\]
where,
\[
c_L=\frac{1}{\Gamma(1 - \delta_L/2)^2}\cdot\left(1 + \mathbf{1}_{\delta_L = 1} \prod_{p\in A_L}(2\mu_p - 1)\right)\prod_{p = 2}^{\infty}\left(\frac{1 - 1/p}{1 - p^{-\delta_L}}\right)
\]
- **Theorem 1.3 (Trichotomy)**: According to Galois theory, \( r_L \) can be divided into three cases:
- \( r_L = 1 \) if and only if \( |A_L|\leq1 \)
- \( 1 < r_L < \infty \) if and only if \( 2\leq |A_L|<\infty \)
- \( r_L=\infty \) if and only if \( |A_L|=\infty \)
These results not only reveal the Diophantine stability of genus 0 curves under different number field extensions, but also provide new tools and methods for studying more complex varieties.