Abstract:A cubic hypersurface in $\mathbb{P}^n$ defined over $\mathbb{Q}$ is given by the vanishing locus of a cubic form $f$ in $n+1$ variables. It is conjectured that when $n \geq 4$, such cubic hypersurfaces satisfy the Hasse principle. This is now known to hold on average due to recent work of Browning, Le Boudec, and Sawin. Using this result, we determine the proportion of cubic hypersurfaces in $\mathbb{P}^n$, ordered by the height of $f$, with a rational point for $n \geq 4$ explicitly as a product over primes $p$ of rational functions in $p$. In particular, this proportion is equal to 1 for cubic hypersurfaces in $\mathbb{P}^n$ for $n \geq 9$; for $100\%$ of cubic hypersurfaces, this recovers a celebrated result of Heath-Brown that non-singular cubic forms in at least 10 variables have rational zeros. In the $n=3$ case, we give a precise conjecture for the proportion of cubic surfaces in $\mathbb{P}^3$ with a rational point.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
The paper "How Often Does a Cubic Hypersurface Have a Rational Point?" attempts to solve the probability problem of whether a cubic hypersurface has rational points over the field of rational numbers. Specifically, the paper focuses on the cubic hypersurface \(X_f\) defined in the projective space \(\mathbb{P}^n\), where \(f\) is a cubic form in \(n + 1\) variables. The main objective of the paper is to determine the proportion of these cubic hypersurfaces that have rational points when \(n\geq4\), and to give specific calculation methods and results.
### Main contributions
1. **Verification of the Hasse principle**:
- For cubic hypersurfaces with \(n\geq4\), the paper verifies that these hypersurfaces satisfy the Hasse principle in most cases. The Hasse principle states that if an algebraic variety has solutions in all local fields (i.e., all \(p\)-adic fields and the real field), then it also has solutions in the field of rational numbers.
2. **Explicit calculation of the proportion**:
- The paper gives an explicit expression for the proportion of cubic hypersurfaces having rational points when \(n\geq4\) by calculating local factors. Specifically, this proportion can be expressed as a product of rational functions in terms of the prime number \(p\).
- For \(n\geq9\), this proportion is equal to 1, which means that almost all cubic hypersurfaces have rational points in this dimension.
3. **Treatment of special cases**:
- For the case of \(n = 3\), the paper proposes a conjecture about the proportion of cubic surfaces having rational points and gives an explicit expression for this proportion.
- For the cases of \(n = 1\) and \(n = 2\), the results of the paper are consistent with the known results, verifying the effectiveness of the method.
### Formulas and calculations
- **Calculation of local factors**:
- The paper obtains the local factor \(\rho_{3,n}(p)\) by calculating the probability that the cubic hypersurface has \(p\)-adic points at each local place (i.e., each prime number \(p\)). These local factors can be represented in the form of rational functions.
- For example, for \(n\geq4\), the local factor can be expressed as:
\[
\rho_{3,n}(p)=\begin{cases}
1-\frac{g_n(p)}{h_n(p)}&\text{if }4\leq n\leq8\\
1&\text{if }n\geq9
\end{cases}
\]
- where \(g_n(t)\) and \(h_n(t)\) are specific polynomials, and their explicit expressions can be found in section 6 of the paper.
- **Calculation of the global proportion**:
- By multiplying all local factors, the paper obtains the global proportion \(\rho_{3,n}\) of cubic hypersurfaces having rational points.
- For example, for \(n = 3\), the paper gives a specific conjecture:
\[
\rho_{3,3}=\prod_p\left(1-\frac{3p^{26}+p^{24}+p^{23}+4p^{22}-3p^{21}+3p^{20}+2p^{19}+2p^{18}-p^{17}+p^{14}+p^{13}-2p^{12}+3p^{11}+3p^7}{9(p^{13}-1)(p^7 + 1)(p^7-1)(p^6+1)(p^5-1)(p^3+1)(p^3-1)(p^2+1)(p + 1)^2(p - 1)^4}\right)