Mehrfach transitive Operationen algebraischer Gruppen
Mehrfach transitive Operationen algebraischer Gruppen
复制标题
Mehrfach 及物代数运算群
DOI:
10.1007/bf01207571
复制
发表时间:
1983
影响因子:
0.6
通讯作者:
F. Knop
中科院分区:
文献类型:
--
作者:
F. Knop
In dieser Arbeit werden alle algebraisehen Gruppen bestimmt, die fiber einem algebraiseh abgesehlossenen K6rper k definiert sind und die auf den rationalen Punkten einer Variet~t biregul/~r und zweifaeh transitiv operieren. Diese Aufgabe ist sehon yon Tits ffir Liegruppen, insbesondere also fiir k -- C gelSst worden ([87). Daher Iiegt das Augenmerk dieser Arbeit auf den K6rpern positiver Charakteristik. Das Haupthilfsmittel ist dabei eine Invariante, die im Prinzip in [11 definiert worden ist und in der Regel gleieh der Euler-Poinear6 Charakteristik sein dfirfte. Aueh wenn sie wesentlieh nut im Punkt 9 des Beweises yon Satz 2 gebraueht wird, ist sie aueh an weiteren Stellen sehr niitzlieh. Das Endergebnis der Klassifikation ist im wesent- lichen das gleiehe wie im komplexen Fall, und nur fiir char k = 2 kommt noeh eine Gruppe hinzu. Als Teil des I-Iauptergebnisses werden alle Gruppen bestimmt, die auf einer Vektorgruppe operieren und dabei transitiv auf den yon Null versehiedenen Elementen wirken (Satz 1). Bezeichnungen. Alle Varietgten sind im folgenden fiber einem algebraiseh abge- sehlossenen K6rper k beliebiger Charakteristik p definiert. Variet/~ten brauehen nieht irreduzibel zu sein. Reduktive Gruppen sind zusammenMngend. 1. Sei M eine Varietgt und M =i= UM~ eine disjunkte Zerlegung yon M in end- lieh viele Untervariet/~ten Ml, die alle zu einem affinen Raum A n~ isomorph sind. Dann hgngt naeh [t] Th. 4.5 die Anzahl b2m der i mit dim Mi ---- ni = m nut yon M und nieht yon der Zerlegung (M dab. Ist M augerdem noeh projektiv, so gilt b2m ~ 1 fflr m =- 1, ..., dim M ([1] Prop. 4.7). Insbesondere ist r eine Invariante yon M, die im folgenden mit g (M) bezeiehnet wird. Ftir projektive M gilt die Un- gleiehung : (1) z(M) ~ dim M-k 1. Sei nun U eine unipotente zusammenh~ngende Gruppe, die auf der Variet/~t M operiert. Naeh [3] IV, w 4.3.16 ist jede Bahn yon U in M isomorph zu einem affinen Raum. Gibt es also nur endlieh viele Bahnen, so definiert dies eine Zerlegung wie oben und Z (M) ist einfaeh die Anzahl der Bahnen. Konkret ist jeder projektive homogene Raum einer reduktiven Gruppe G yon dieser Art; Seien T ein maximaler Torus, B eine T enthaltende Boreluntergruppe,