Le curve razionali di sesto ordine invarianti rispetto a gruppi finiti di cillineazioni quaternarie. (Q1498697)

Der Verf. hat sich früher mit der Bestimmung der rationalen Raumkurven dritter, vierter und fünfter Ordnung beschäftigt, die endliche Gruppen von quaternären Kollineationen in sich gestatten (F. d. M. 33, 668, 1902, JFM 33.0668.01; 35, 651, 1904, JFM 35.0651.03 u. JFM 35.0651.04). Mit ähnlichen Hülfsmitteln werden hier in gleichem Sinne die rationalen Kurven sechster Ordnung \(C_6\) behandelt. Die bezügliche quaternäre Gruppe bestimmt auf der \(C_6\) eine entsprechende binäre Gruppe, und diese ist holoedrisch isomorph der Reihe nach mit den bekannten Gruppen des Dieders, des Doppeldieders und der regulären Körper. Zu einer jeden solchen Gruppe läßt sich dann eine einfache Darstellung der zugehörigen \(C_6\) in Parametergestalt angeben. Der interessanteste Fall ist der der Ikosaedergruppe; die ihr gegenüber invaviante \(C_6\) ist auf eigentümliche Weise mit der Geometrie des Pentaeders verknüpft, insbesondere die abwickelbare rationale Fläche sechster Klasse, die durch die Tritangentialebenen der \(C_6\) erzeugt wird. Damit ist zugleich ein, wie es scheint, erstes Beispiel einer irreduzibeln Raumkurve mit \(\infty^1\) Tritangentialebenen gegeben. Wir führen zunächst das Resultat über die Tetraedergruppe an. Die \(C_6\) ist von der Gestalt: \(x_1=\lambda^6+\mu^6+15m(\lambda^2\mu^4+\lambda^4\mu^2)\), \(x_2=\lambda^6-\mu^6+15n (\lambda^2\mu^4-\lambda^4\mu^2)\), \(x_3=6(\lambda^5\mu +\lambda\mu^5)+20p\lambda^3\mu^3\), \(x_4=6(\lambda^5\mu -\lambda \mu^5)\). Hier sind die Parameter \(m,n,p\) an zwei unabhängige Relationen gebunden, die z. B. die Auflösung \(m=\frac {p-1}{5p+3}\), \(n=\frac {p+1}{5p-3}\) zulassen. Diese \(C_6\) ist invariant in bezug auf eine quaternäre Gruppe, die mit der Gruppe der Rotationen des regulären Tetraeders nicht nur holoedrisch isomorph, sondern auch projektiv identisch ist. Bei der Oktaedergruppe existieren zwei projektiv verschiedene Fälle: (a) \(x_1=\lambda^6+\mu^6-5(\lambda^2\mu^4+\lambda^4\mu^2)\), \(x_2=\lambda^6-\mu^6+5(\lambda^4\mu^2-\lambda^2\mu^4)\), \(x_3=\lambda^5\mu +\lambda\mu^5\), \(x_4=\lambda^5\mu -\lambda\mu^5\); (b) \(x_1=(\lambda^2+\mu^2)\), \(x_2=(\lambda^2-\mu^2)^3\), \(x_3=\lambda^3\mu^3\), \(x_4=\lambda^5\mu-\lambda\mu^5\). Für die erstere gilt das Entsprechende wie bei der Tetraedergruppe; die \(C_6\) besitzt keine Doppelpunkte. Bei der zweiten \(C_6\) ist zwar die quaternäre Gruppe holoedrisch isomorph mit der Oktaedergruppe, ist aber projektiv von ihr verschieden; sie besteht aus den Kollineationen, die auf alle möglichen Arten vier Punkte oder vier Ebenen vertauschen, während ein fünftes Element (Ebene oder Punkt) fest bleibt. In der Gruppe existieren sechs harmonische Homologien, d. h. die Kurve ist auf sechs verschiedene Arten harmonisch-homolog. Die \(C_6\) besitzt vier Doppelpunkte, und eben diese werden durch die zugehörige Gruppe vertauscht, während eine Ebene und ein Punkt fest bleiben, die in bezug auf das Tetraeder der Doppelpunkte polar sind. Projiziert man von dem festbleibenden Punkte das Tetraeder, so sind die drei Diagonalebenen bioskulatorische der Kurve, und die sechs Oskulationspunkte liegen auf einem Kegelschnitte, der der festen Ebene angehört.