Algebraic surfaces invariant under an infinite discontinuous group of birational transformations. (Second Paper.). (Q1477738): Difference between revisions

Man vgl. die ``erste'' Abhandlung (F. d. M. 41, 739 (JFM 41.0739.*), 1910). \textit{Rosenblatt} (F. d. M. 43, 711 (JFM 43.0711.*), 1912) gibt zwei Beispiele algebraischer Flächen, die gegenüber einer unendlichen diskontinuierlichen Gruppe \(G\) birationaler Transformationen invariant sind, ohne Enveloppen von \( F_2\) zu sein. Die vom Verf. früher untersuchten, zu solchen \(G\) gehörenden Flächen waren jene, die eine gewöhnliche elliptische Korrespondenz (2, 2) bestimmen. Die \textit{Rosenblatt} schen Flächen besitzen einen Büschel elliptischer Kurven; die Koordinaten eines Flächenpunktes sind rational darstellbar durch zwei Parameter \(u, v\) elliptischer Funktionen, und die Transformationen sind linear in den \(u, v.\) Der Verf. betrachtet eine Fläche, deren Gleichung von der Gestalt ist: \[ \sum_{k=0}^n F^{n-k} x^k \varphi_{2k} (z, t) = 0, \] wo \( F\equiv x^3 - ty(y - z),\) und \( \varphi_{2k}\) eine binäre Form der Ordnung \( 2k \) ist. Die Fläche besitzt drei \(n\)-fach zählende Geraden, deren gemeinsamen Punkt (0, 0, 0, 1) ein uniplanarer Punkt der Ordnung \( n \) ist. Der Ebenenbüschel \(t =mz\) durch die Gerade \( z = 0, t = 0\) schneidet die Fläche in \( n \) kubischen Kurven eines Büschels \( B, \) dessen Basispunkte auf der Geraden \( z = 0, t = mz \) liegen. In den Punkten \(S(0, 0, 1, m)\) und \(T(0, 1, 1, m) \) schneiden sich die Kurven des Büschels \( B \) einfach, in \( U(0, 1, 0, 0)\) hat jede Kurve einen Wendepunkt mit gemeinsamer Wendetangente. Jeder Punkt \( P(x_1, y_1, z_1, t_1)\) der Fläche bestimmt eine Ebene des Büschels \(t = mz,\) in der eine einzige, durch \( P \) gehende, auf der Fläche befindliche kubische Kurve liegt. Es bedeute \(S\) die birationale Operation, die \( P \) auf diese Kurve von \( S \) aus projiziert, so daß\ \(S^2 = 1.\) Die Projektion jeder Büschelkurve von \( T \) oder \( U \) aus auf sie selbst sei \( T, \) resp. \( U, \) sodaß\ \( T^2 = 1, U^2 = 1.\) Aus dem Paare \( S, T, \) oder dem Tripel \( S, T, U \) läßt sich eine unendliche Gruppe erzeugen, wo die erstere eine Untergruppe der letzteren ist. Bedeutet dann \( F' \) das Produkt von \( F \) mit irgendeiner brnären Form der Ordnung \( p \) in \( z, t,\) so bestimmt die Gleichung \[ \sum_{k=0}^n F^{n-k} x^k \varphi_{2k+p} (z, t) = 0 \] eine Fläche, die gegenüber den beiden Gruppen invariant ist. Es werden die erzeugenden Operationen der beiden Gruppen explizit aufgestellt.