Abstract:Given a smooth curve $C/\mathbb{Q}$ with genus $\geq 2$, we know by Faltings' Theorem that $C(\mathbb{Q})$ is finite. Here we ask the reverse question: given a finite set of rational points $S\subseteq \mathbb{P}^n(\mathbb{Q})$, does there exist a smooth curve $C/\mathbb{Q}$ contained in $\mathbb{P}^n$ such that $C(\mathbb{Q})=S$? We answer this question in the affirmative by providing an effective algorithm for constructing such a curve.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Given a finite set \(S\subseteq \mathbb{P}^n(\mathbb{Q})\) of rational points, does there exist a smooth projective curve \(C /\mathbb{Q}\) such that \(C(\mathbb{Q})=S\)? Specifically, the author hopes to prove that for any given finite set \(S\) of rational points, a smooth projective curve \(C\) can be constructed such that it contains exactly these rational points and no other rational points.
### Main Conclusions
The main conclusion of the paper is to answer the above question affirmatively and provide an effective algorithm to construct such a curve. Specifically:
- **Theorem 1**: For any \(n\geq2\), given any finite set \(S\subset \mathbb{P}^n(\mathbb{Q})\) of rational points, there exists a smooth projective curve \(C /\mathbb{Q}\) in \(\mathbb{P}^n\) such that \(C(\mathbb{Q}) = S\).
### Research Background
According to Faltings' theorem, for any smooth projective curve \(C /\mathbb{Q}\) of genus \(g\geq2\), its set \(C(\mathbb{Q})\) of rational points is finite. Therefore, it is natural to ask the inverse problem: Given a finite set \(S\) of rational points, can a curve \(C\) be found such that \(C(\mathbb{Q})=S\)?
### Construction Methods
To construct such a curve, the author mainly uses the following steps:
1. **Construction of hyperelliptic curves**: First, consider constructing a hyperelliptic curve \(C:y^d = f(x)\) in the affine plane, where \(f(x)\) is a polynomial such that the set of rational points of \(C\) is exactly the given set \(S\).
2. **Lagrange interpolation polynomial**: Use the Lagrange interpolation polynomial \(L(X)\) to ensure that the constructed curve passes through the given point set \(S\).
3. **Selection of a suitable prime number**: Select a suitable prime number \(\ell\) such that the constructed polynomial \(f_{S,B}(X)\) satisfies certain conditions, in particular, to ensure that the corresponding curve is smooth and has no additional rational points.
4. **Splicing curves**: For higher - dimensional projective spaces \(\mathbb{P}^n\), by appropriately changing coordinates and splicing multiple hyperelliptic curves, finally construct the required smooth projective curve \(C\).
### Key Technologies
- **Hilbert's irreducibility theorem**: Used to ensure the irreducibility of polynomials.
- **Newton polygon theory**: Used to analyze the properties of the roots of polynomials and ensure that the constructed curve is smooth.
- **Mordell - Weil theorem**: Used to handle the structure of rational points on elliptic curves.
Through these techniques and methods, the author successfully proves Theorem 1 and provides an effective method to construct a smooth projective curve with a specified set of rational points.