Cremona transformations with an invariant rational sextic. (Q2592419): Difference between revisions

Es ist bekannt, daß eine ebene Cremona-Abbildung \(T\) mit 10 oder weniger Fundamentalpunkten (F. P.) eine rationale \(C_6\) wieder in eine solche überführt, wenn die F. P. alle in Knotenpunkte der \(C_6\) fallen. Es fragt sich, ob es darunter nicht-identische \(T\) gibt, die eine solche \(C_6\) punktweise festlassen. \textit{Pompilj} (Rend. Sem. mat. Univ. Roma (4) 2 (1938), 47-87; F.~d.~M. 64\(_{\text{II}}\)) hat die Konstruktion einer solchen \(T\) entwickelt; Verf. weist nach, daß sie falsch ist. Die \(C_6\) habe die Knotenpunkte \(p_1, \ldots \!, p_7, \,A, \,B, \,C\). Man konstruiert das Büschel \(H_1\) der elliptischen \(C_6\) mit den Knoten \(p_1, \ldots \!, p_7, \,B, \,C\); entsprechend \(H_2\), \(H_3\) durch Auslassung von \(B\) und \(C\); \(H_1\) wird durch \(C_6\) und die doppelt gezählte \(C_3\) durch \(p_1, \ldots \!, p_7, \,B, \,C\) bestimmt. Auf einer Kurve \((H_1)\) aus \(H_1\) bezeichnen \(g_B\), \(g_C\) die nach \(B\) und \(C\) fallenden Punktpaare, dann wird auf jeder \((H_1)\) durch die Äquivalenz \(P' - P \equiv g_B-g_C\) eine birationale Korrespondenz in sich erzeugt, die eine Cremonaabbildung \(T_1\) liefert. Ebenso erhält man aus den Büscheln \(H_2\), \(H_3\) die Transformationen \(T_2\), \(T_3\). Die Transformation \(R=T_3T_2T_1\) führt nun nicht, wie Pompilj angibt, die rationale \(C_6\) punktweise in sich über. Vielmehr untersucht Verf. \(R\) genauer: Die Transformation hat die Ordnung 2305 und die \(p_1, \ldots \!, p_7\) zu F. P. der Ordnung 768, während \(A\), \(B\), \(C\) F. P. der Ordnungen 1008, 384, 144 sind; auch die weiteren Fundamentalelemente werden angegeben.