Every rational surface is separably split (Q1824664): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 05:50, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Every rational surface is separably split |
scientific article |
Statements
Every rational surface is separably split (English)
0 references
1988
0 references
A smooth projective surface defined over a field F is called rational over F if X is birational to \({\mathbb{P}}^ 2\) over the algebraic closure of F. An extension E/F is said to split X if \(X_ E=X\otimes_ FE\) is birational with \({\mathbb{P}}^ 2\) by a sequence of monoidal transformations centered at E-points. - The main theorem of this paper asserts that every rational surface admits a splitting field E/F which is a separable extension. The principal tool of the proof is Iskovskih's classification of minimal rational surfaces, for which the following ``adjunction lemma'' is needed: if X is a minimal surface over a separably closed field with \(q=P_ 2=0\), then for any divisor D on X there exists an integer \(n_ 0\) such that \(| D+nK| =\emptyset\) for \(n\geq n_ 0\). This is proved in {\S} 1. So far the lemma had been proved for perfect ground field only. There are some misprints, which are easy to correct.
0 references
every rational surface admits a splitting field
0 references
adjunction lemma
0 references
divisor
0 references