Semisimple group schemes over complete curves (Q2536759): Difference between revisions
From MaRDI portal
Latest revision as of 10:46, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semisimple group schemes over complete curves |
scientific article |
Statements
Semisimple group schemes over complete curves (English)
0 references
1968
0 references
,,Diese Arbeit entstand aus einem Versuch, die folgende Vermutung zu beweisen: Sei \(K\) ein eindimensionaler Funktionenkörper über einem endlichen Konstantenkörper \(F_q\). Sei \(G/K\) eine halbeinfache, einfach zusammenhängende algebraische Gruppe. Dann ist \(H^1(K,G) =0\).'' In dieser Arbeit wird folgendes untersucht: Seien \(k\) ein Körper, \(Y/k\) eine glatte, projektive Kurve über \(k\), und \(K/k\) der Funktionenkörper von \(Y/k\). Verf. will in dieser Arbeit halbeinfache Gruppenschemata \(G/Y\), die lokal bezüglich der Zariskitopologie zerfallen, studieren. Er nennt sie rational trivial, denn es sind genau diejenigen, für die \(G\times_FK\) ein Chevalleyschema ist [Verf., ibid. 4, 165--191 (1967; Zbl 0158.39502)]. ,,Die ersten. beiden Paragraphen sind dem systematischen Studium der Boreluntergruppen rational trivialer Gruppenschemata gewidmet. Jeder Boreluntergruppe \(B\) eines rational trivialen Gruppenschemas \(G/Y\) werden wir ein \(r\)-Tupel ganzer Zahlen \(n_1(B),\ldots, n_r(B)\) zuordnen, wobei \(r\) der Rang von \(G/Y\) ist. (Jeder einfachen Wurzel \(a_1,\ldots,a_r\) von \(B\) ist ein inversibler \(\mathcal O_F\)-Modul \(U_i\) zugeordnet, und dessen Grad \(c(U_i)\) ist \(n_i(B)\).) Hauptergebnisse dieser Arbeit sind (\S 2): Sei \(g\) das Geschlecht der Kurve \(Y/k\), sei \(h>0\) die kleinste Zahl, so daß es einen inversiblen \(\mathcal O_Y\)-Modul vom Grad \(g\) über \(Y\) gibt, dann gibt es stets eine Boreluntergruppe \(B\) in \(G/Y\), so daß \(n_i(B)>-2g -2(h-1)\). (Eine solche Boreluntergruppe \(B\) wird reduziert genannt.) Sind für eine reduzierte Boreluntergruppe \(B\) einige der Invarianten \(n_{i_1}(B)\) ,,sehr groß'', so sind für jede reduzierte Boreluntergruppe \(B_1\) von \(G/Y\) die gleichen Invarianten \(n_{i_1}(B_1),\ldots, n_{i_n}(B_1)\) auch ,,sehr groß''. Sei unter den gleichen Voraussetzungen \(P\supset B\) die parabolische Untergruppe vom Typ \[ t(P) = \{a_1,\ldots, a_r\} \backslash \{a_{i_1}, \ldots, a_{i_n}\}; \] dann ist auch \(B_1\supset P\). In \S 3 wenden wir unsere Resultate auf den Fall an, daß \(Y\) die projektive Gerade \(\mathrm P_k^1/k\) ist. Falls \(k\) die Charakteristik 0 hat, erhalten wir dann gerade die Ergebnisse von \textit{A. Grothendieck} in [Am. J. Math. 79, 121--138 (1957; Zbl 0079.17001)], die hier für beliebige Charakteristik von \(k\) bewiesen werden. Wir werden dann noch einige ,,arithmetische'' Anwendungen geben, indem wir Strukturaussagen über beliebige Gruppenschemata \(G/Y\) machen werden, wobei \(Y/k\) eine glatte projektive Kurve vom Geschlecht 0 ist. Damit haben wir in einem sehr speziellen Fall unser eingangs formuliertes Problem teilweise gelöst. Zu dieser Arbeit wird ein zweiter Teil mit dem Titel ,,Minkowskische Reduktionstheorie über Funktionenkörpern'' [Invent. Math. 7, 33--54 (1969; Zbl 0242.20046)] erscheinen.''
0 references
algebraic geometry
0 references