Die Invarianten der endlichen Untergruppen vonGL (2, ℂ)
Die Invarianten der endlichen Untergruppen vonGL (2, ℂ)
复制标题
Die Invarianten der endlichen Untergruppen vonGL (2, ℂ)
DOI:
10.1007/bf01214732
复制
发表时间:
1977
期刊:
影响因子:
--
通讯作者:
O. Riemenschneider
中科院分区:
文献类型:
--
作者:
O. Riemenschneider
Es sei G~ GL (2,•) eine endliche Untergruppe, die wir in kanonischer Weise auf S= C~ u, v] operieren lassen. Ziel dieser Arbeit ist es, ein minimales Erzeugendensystem ftir die invariante Algebra SG anzugeben. Da diese Algebra nach einem Satz yon Chevalley [4] fiir Spiegelungsgruppen wieder isomorph zu S ist, k6nnen wir uns dabei auf sogenannte kleine, dh spiegelungsfreie Gruppen beschr~ inken. Diese sind (bis auf Konjugation) wohlbekannt (vgl. zB,[3], p. 94-112,[2], p. 346); wir bezeichnen sie als zyklische Gruppen C,, q, Diedergruppen D,,~, Tetraedergruppen T,,~, Oktaedergruppen Oh, und Ifcosaedergruppen i,,~(zur Definition vgl. w 1). Fiir die C,,, q und D,, q liegen die gewfinschten Ergebnisse schon vor ([8] und [1]); sie werden der Vollst~ indigkeit halber noch einmal kurz dargestellt. Die restlichen F~ ille k6nnen in einfacher Weise auf die schon von Klein [5] behandelten Untergruppen yon SL (2, C)(in unserer Bezeichnungsweise T1, O 1 und I1) zuriickgeftihrt werden. Die notwendigen Rechnungen werden fiir die Tetraedergruppen im Detail mitgeteilt; bei den fibrigen begniigen wir uns mit einer Aufz~ ihlung der Resultate.Der urspriingliche Zweck dieser Untersuchung war es,/ihnlich wie in [8] aus der Kenntnis der Invarianten die Gleichungen der zugeh6rigen Quotientensingularit~ it zu gewinnen. Wegen des neuen Resultats yon Wahl fiber die allgemeine Struktur der Gleichungen einer beliebigen rationalen Singularit~ it ([10], Theorem 2.1) ist dies nunmehr eine einfache Ubungsaufgabe, der wir uns aul3er in den schon bekannten F~ tllen der zyklischen Quotienten und der Diedersingularit~ iten nut noch im Fall der Tetraedergruppen und der Determinantensingularitiiten unter den Quotientensingularit~ iten unterzogen haben. Die letzteren sind genau diejenigen Quotienten der Einbettungsdimension e> 3, in deren minimaler Aufl6sung eine rationale Kurve mit Selbstschr~ ittzahl-(el) auftritt ([t0], Corollary 3.7). Unter ihnen kommen also insbesondere, wie wohlbekannt ist, die Tripelpunkte vor. Ihre Gleichungen findet man auch in [10] und im Fall der Tripelpunkte schon bei Tjurina [9]. Es sollte dem interessierten Leser nicht schwerfallen, die tibrigen Gleichungssysteme selbst aufzufinden.