Every rational surface is separably split (Q1824664): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q57556835, #quickstatements; #temporary_batch_1706389175803 |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
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