Abstract:For every $n\ge 6$, we give an example of a finite subset of $\mathbb{P}^{2}$ of degree $n$ which does not descend to any Brauer-Severi surface over the field of moduli. Conversely, for every $n\le 5$ we prove that a finite subset of degree $n$ always descends to a $0$-cycle on $\mathbb{P}^{2}$ over the field of moduli.
What problem does this paper attempt to address?
This paper mainly discusses the descent problem of planar point sets over the field of moduli. Specifically:
For any \(n \geq 6\), the author gives an example of a finite subset \(S \subset \mathbb{P}^2\) with degree \(n\), and these subsets cannot descend to any Brauer - Severi surface over the field of moduli. Conversely, for every \(n \leq 5\), the author proves that when a finite subset \(S\) has degree \(n\), it can always descend to a 0 - cycle on \(\mathbb{P}^2\) over the field of moduli.
### Problems the paper attempts to solve:
1. **Descent problem over the field of moduli**: Given a finite subset \(S \subset \mathbb{P}^2(K)\) with its field of moduli \(k_S\), study whether \(S\) can descend to \(\mathbb{P}^2_{k_S}\) or, more generally, to some Brauer - Severi surface over the field of moduli \(k_S\).
2. **Point sets of specific degrees**: Pay special attention to point sets \(S\) of different degrees \(n\), especially the cases of \(n \leq 5\) and \(n \geq 6\).
### Main results:
- For \(n \leq 5\), the finite subset \(S\) can always descend to a 0 - cycle on \(\mathbb{P}^2\) over the field of moduli \(k_S\).
- For \(n \geq 6\), there exists a subset \(S \subset \mathbb{P}^2(\mathbb{C})\) whose field of moduli is \(\mathbb{R}\), but it cannot descend to \(\mathbb{P}^2_{\mathbb{R}}\), nor can it descend to any Brauer - Severi surface over the field of moduli \(\mathbb{R}\).
### Specific case analysis:
- **\(n \leq 5\)**:
- When \(n = 4\), if all four points are on a straight line, the conclusion can be drawn from known results.
- When \(n = 5\), according to the positions of the points, it is divided into three cases: containing four points in general position, containing points on two straight lines, and containing points on one straight line and one point. In each case, it is proved that \(S\) can descend to \(\mathbb{P}^2\) over the field of moduli.
- **\(n \geq 6\)**:
- Specific counterexamples are constructed. By choosing appropriate complex numbers \(a_1,\ldots,a_m\), two point sets \(S\) and \(S'\) are constructed, whose fields of moduli are both \(\mathbb{R}\), but they cannot descend to \(\mathbb{R}\).
Through these results, the paper explores in detail the properties of planar point sets over the field of moduli and the possibility of their descent.