Sur la structure des points unis des involutions cycliques appartenant à une surface algébrique. (Q2597554)

Trägt eine algebraische Fläche \(F\) eine zyklische Involution \(J_p\) von Primzahlordnung \(p\) mit nur endlich vielen Fixpunkten, so kann man die letzteren in vollkommene und unvollkommene einteilen, je nachdem die \(J_p\) erzeugende birationale Transformation \(T\) von \(F\) in sich selbst in der Umgebung eines Fixpunktes \(A\) die Identität induziert oder nicht. Ist \(\varPhi\) eine Bildfläche der Involutionsgruppen und \(A'\) der \(A\) entsprechende Verzweigungspunkt auf \(\varPhi\), dann ist im ersten Falle \(A'\) äquivalent einer rationalen Kurve vom Grade -- \(p\), im zweiten dagegen einem Satz rationaler Kurven, die näher zu bestimmen sind. Ist \(A\) unvollkommen, so induziert \(T\) in seiner Umgebung eine zyklische Involution mit zwei zu \(A\) benachbarten Fixpunkten \(A_1\) und \(A_2\); \(A_1\) ist wieder vollkommen oder nicht, je nachdem \(T\) in der zu \(A_1\) benachbarten Umgebung zweiter Ordnung von \(A\) die Identität induziert oder nicht; im letzten Falle liegen zu \(A_1\) zwei Fixpunkte \(A_{11}\), \(A_{12}\) benachbart usw. Der so gewonnene vollständige Baum der Fixpunkte heißt die Struktur von \(A\); er endet notwendig mit vollkommenen Fixpunkten. Man kann stets annehmen, daß den Hyperebenenschnitten von \(\varPhi\) auf \(F\) ein Linearsystem \(C\) entspricht, das mittels \(J_p\) zusammengesetzt ist; die durch \(A\) gehenden Kurven \(C'\) desselben haben in \(A\) eine zwischen 1 und \(p\) liegende Vielfachheit und die Tangenten \(A A_1\) und \(A A_2\) sowie eine Reihe weiterer Punkte des Strukturbaumes gemein. Mittels dieser Kurven \(C'\) und Spezialisierungen derselben kann man die Struktur von \(A\) untersuchen. In der vorliegenden Arbeit behandelt Verf. den Spezialfall, in dem die Kurven \(C'\) in \(A\) einen dreifachen Punkt besitzen, von dem zwei Tangenten mit \(A A_1\) die dritte mit \(A A_2\) zusammenfallen. Der Punkt \(A'\) auf \(\varPhi\) ist dann ein dreifacher Punkt, dessen Tangentialkegel in eine Ebene und einen Kegel zweiter Ordnung zerfällt, die sich längs einer Geraden schneiden. Ist \(p = 4\eta + 3\), so folgen auf \(A'\) noch \(\eta\) Doppelpunkte, deren letzter konisch, die restlichen aber biplanar sind; ist \(p = 4\eta + 5\), so folgen auf \(A'\) noch \(\eta\) Doppelpunkte, die alle biplanar sind. \(A'\) ist bei birationalen Abbildungen von \(\varPhi\) äquivalent einer Reihe rationaler Kurven, deren eine vom Grade -- 3, die andern aber vom Grade -- 2 sind; die kanonischen Kurven von \(\varPhi\) treffen die erste in je einein Punkte, die letzten überhaupt nicht. Diese Ergebnisse erhält Verf. dadurch, daß er die von \(T\) in der Tangentialebene von \(A\) an \(F\) induzierte Homographie und die Struktur ihres Fixpunktes \(A\) untersucht.