Abstract:We study lines on smooth cubic surfaces over the field of $p$-adic numbers, from a theoretical and computational point of view. Segre showed that the possible counts of such lines are $0,1,2,3,5,7,9,15$ or $27$. We show that each of these counts is achieved. Probabilistic aspects are also investigated by sampling both $p$-adic and real cubic surfaces from different distributions and estimating the probability of each count. We link this to recent results on probabilistic enumerative geometry. Some experimental results on the Galois groups attached to $p$-adic cubic surfaces are also discussed.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the number of straight lines on smooth cubic surfaces, especially their distribution in the \(p\)-adic numbers and the real number field. Specifically, the paper explores how to study the number of these straight lines from theoretical and computational perspectives, and samples smooth cubic surfaces in the \(p\)-adic numbers and the real number field through different probability distributions to estimate the probability of each number of straight lines occurring. In addition, the paper also discusses some experimental results, involving Galois groups related to \(p\)-adic cubic surfaces.
### Main research contents:
1. **Study of the number of straight lines**:
- The paper first reviews the historical background of the number of straight lines on smooth cubic surfaces, including the classical results of Cayley and Schläfli on the number of straight lines in the complex number field and the real number field, as well as Segre's results on the possible number of straight lines in any field.
- The paper proves that in the \(p\)-adic number field \(\mathbb{Q}_p\), a smooth cubic surface can contain 0, 1, 2, 3, 5, 7, 9, 15, or 27 straight lines, and each number can be realized.
2. **Probability calculation**:
- Through numerical experiments, the paper samples smooth cubic surfaces in the \(p\)-adic number field \(\mathbb{Q}_7\) and the real number field \(\mathbb{R}\) respectively, and calculates the probability of each number of straight lines occurring.
- For the \(p\)-adic number field, the paper uses four different probability measures (Haar measure, Blow - up measure, Tropical measure, and Tropical Generic measure), and gives the distribution of the number of straight lines under different measures.
- For the real number field, the paper considers a family of Gaussian distributions and draws the curve of the probability distribution of the number of straight lines.
3. **Study of Galois groups**:
- The paper also explores the Galois groups on smooth cubic surfaces, and experimental results show that these Galois groups are usually small and usually Abelian groups.
- The paper proposes some open problems about the Galois groups of smooth cubic surfaces in the \(p\)-adic number field, especially which subgroups can appear as Galois groups and how these subgroups depend on \(p\).
### Main conclusions:
- The paper proves that in the \(p\)-adic number field \(\mathbb{Q}_p\), a smooth cubic surface can contain 0, 1, 2, 3, 5, 7, 9, 15, or 27 straight lines, and each number can be realized.
- Through numerical experiments, the paper gives the distribution of the number of straight lines on smooth cubic surfaces in the \(p\)-adic number field \(\mathbb{Q}_7\) and the real number field \(\mathbb{R}\) under different probability measures.
- Experimental results show that the Galois groups on smooth cubic surfaces are usually small and usually Abelian groups.
### Open problems:
- Which subgroups can appear as Galois groups of smooth cubic surfaces in the \(p\)-adic number field?
- How do these subgroups depend on \(p\)?
Through these studies, the paper provides new perspectives and methods for understanding the geometric structure and algebraic properties of smooth cubic surfaces.