Abstract:Let S be a smooth del Pezzo surface that is defined over a field K and splits over a Galois extension L. Let G be either the split reductive group given by the root system of $S_L$ in Pic $S_L$, or a form of it containing the Néron-Severi torus. Let $\mathcal{G}$ be the G-torsor over $S_L$ obtained by extension of structure group from a universal torsor $\mathcal{T}$ over $S_L$. We prove that $\mathcal{G}$ does not descend to S unless $\mathcal{T}$ does. This is in contrast to a result of Friedman and Morgan that such $\mathcal{G}$ always descend to singular del Pezzo surfaces over $\mathbb{C}$ from their desingularizations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether there exist natural G - torsors on non - split smooth del Pezzo surfaces, where G is a reductive algebraic group of a specific type. Specifically, the paper explores whether a G - torsor related to the Néron - Severi torsor can be constructed on a given smooth del Pezzo surface \(S\). These torsors may not exist in some cases, especially in the non - split case.
### Background
- **del Pezzo surface**: A special algebraic surface with rich geometric structure. For a del Pezzo surface defined over a non - algebraically closed field, there exists a finite Galois extension \(L/K\) such that the base change \(S_L\) is split.
- **Néron - Severi torsor**: A special torsor that is closely related to the Picard group of the surface. In the split case, the existence and uniqueness of these torsors are known.
- **G - torsor**: A torsor related to a reductive algebraic group \(G\). Friedman and Morgan once proposed that in some cases, G - torsors can be used to replace Néron - Severi torsors, especially on singular del Pezzo surfaces.
### Main contributions of the paper
- **Main result**: The paper proves that on non - split smooth del Pezzo surfaces, if the Néron - Severi torsor does not exist, then the corresponding G - torsor does not exist either. Even if it exists, these G - torsors are no more canonical than the Néron - Severi torsors.
- **Technical means**: By studying the relationship between G - torsors and Néron - Severi torsors, the author uses the methods of Galois covering and descent theory to prove the above conclusion.
### Specific problems
- **Question**: On non - split smooth del Pezzo surfaces, do natural G - torsors exist?
- **Answer**: The paper proves that such G - torsors exist only when the Néron - Severi torsor exists, and even if they exist, they are no more canonical than the Néron - Severi torsors.
### Formula summary
- **Root system**:
\[
\Phi_S=\{\alpha\in\Lambda_S\mid(\alpha,\alpha) = - 2,(\alpha,-K_{S_L})=0\}
\]
\[
\Phi^\vee_S=\{\alpha^\vee\in\Lambda^\vee_S\mid\alpha\in\Phi_S\}
\]
- **Weyl group**:
\[
W_S\subset\text{Aut}(\Lambda_S)
\]
- **Type of G - torsor**:
\[
\tau:\Lambda_T\rightarrow\Lambda_S
\]
Through these formulas and theories, the paper explores in detail the relationship between G - torsors and Néron - Severi torsors and finally arrives at the above conclusion.