Le superficie con i generi uguali all'unità, rappresentabili in infiniti modi sopra un piano doppio. (Q2588116)

Diese Abhandlung ist als eine Fortsetzung der vorstehend besprochenen anzusehen. Es sei wieder \(F\) eine Fläche, deren Geschlechter alle den Wert 1 haben. Es werden im 1. Kap. folgende Voraussetzungen eingeführt: 1) \(F\) enthält ein Büschel elliptischer Kurven \(K\); 2) \(F\) enthält eine rationale irreduzible Kurve \(R\), die jede \(K\) nur einmal schneidet; 3) F enthält noch eine weitere Kurve \(C\), die jede \(K\) in \(s > 0\) Punkten schneidet, und zwar so, daß die Linearscharen \(g_s^{s-1}\), \(g_1^0\), die auf einer \(K\) von den Punktgruppen \((C, K)\), \((R, K)\) definiert werden, keine Äquivalenz der Form \(|\, r g_s^{s-1} \,| \equiv |\, rs g_1^0 \,|\) befriedigen (\(r\) ist eine ganze Zahl). Unter diesen Voraussetzungen gestattet \(F\) eine unendliche diskontinuierliche Schar von Abbildungen auf eine Doppelebene der Art c) der vorigen Abhandlung. Wird die rationale Kurve \(R\) durch eine rationale oder elliptische Kurve \(R\) ersetzt, die jede \(K\) zweimal schneidet, und die Äquivalenz \(|\, r g_s^{s-1} \,| \equiv |\, rs g_1^0 \,|\) ersetzt durch \(|\, r g_s^{s-1} \,| \equiv |\, t g_2^1 \,|\), wo \(r\), \(t\) ganze Zahlen bedeuten und \(g_2^1\) von der Gruppe \((R, K)\) auf \(K\) definiert wird, so gestattet \(F\) ähnlicherweise eine unendliche diskontinuierliche Schar von Abbildungen auf eine Doppelebene a\('\)) oder b). Die unendlichvielen Doppelebenen c) (oder a\('\)), oder b)), die so erhalten werden, sind birational äquivalent. Die Voraussetzung 3) ist keine Folge der Voraussetzungen 1) und 2); sie bedeutet vielmehr eine ``Erweiterung der Basis'' der Fläche \(F\); ist die Voraussetzung 3) erfüllt, so hat die Basiszahl \(\varrho\) von F. Severi und E. Picard den Wert \(\varrho = 3\) und nicht mehr den Wert \(\varrho = 2\). Im 2. Kap. wird die Doppelebene c) besonders untersucht. Es gelten immer die obigen Voraussetzungen 1) 2) 3); die Gleichung: \[ A' \equiv A + g_s^{s-1} - s \cdot (R,K) \] definiert auf jeder \(K\), und daher auf \(F\), eine birationale Transformation \(T\); die Potenzen \(T^h\) von \(T\) verwandeln \(R\) in gewisse rationale Kurven \(R^{(h)}\) die, wie \(R\), jede \(K\) nur einmal schneiden. Wenn \(F\) keine weitere Kurve enthält, die jede \(K\) nur einmal schneidet, so ist \(F\) auf eine Doppelebene a\('\)) oder b) abbildbar; im entgegengesetzten Falle kann diese neue Abbildung noch vorhanden sein, führt aber nur auf Doppelebenen a\('\)) oder b), die in besonderen Fällen der Doppelebene c) birational identisch sind. Alle diese Ergebnisse werden im 3. Kap. auf einem anderen Wege wieder bewiesen. Die Fläche \(F\) wird auf eine Fläche \(F^n\) des dreidimensionalen Raumes abgebildet, die eine \((n - 3)\)-fache Gerade \(t\) besitzt; die Kurven \(K\) sind jetzt die \(C^3\) von \(F^n\), die in den Ebenen des Büschels \(t\) liegen; die Kurve \(R\) habe die Ordnung \(m\) und schneide \(t(m - 1)\) Mal. Die Strahlenkongruenz, deren Leitlinien \(t\) und \(R^m\) sind, liefert die Abbildung von \(F^n\) auf eine Doppelebene mit einer Verzweigungskurve folgender Form: \(C^{2m+6} (O^{2m+2}, Q_1^4, Q_2^4, \ldots \!, Q_m^4)\). Es ist dann leicht zu entscheiden, wann diese Doppelebene auf die Form a\('\)) oder b) durch birationale Transformationen reduziert werden kann. Es gelingt ``im allgemeinen'' und führt zu Doppelebenen a\('\)) oder b), je nachdem \(m\) gerade oder ungerade ist; die Konstruktion gelingt nicht, wenn die Verzweigungs-\(C^{2m+6}\) einen Bestandteil der Form \(C^{\nu} (O^{\nu-1}, Q_1, Q_2, \ldots \!, Q_m)\) besitzt; in diesem Falle erhält man eine Doppelebene c). Wenn auf jeder \(C^3\) des Büschels der Tangentialpunkt \(P^{\prime}\) von \(P \equiv (C^3, R)\) konstruiert wird, und dann der Tangentialpunkt \(P^{\prime \prime}\) von \(P^{\prime}\) usw., so hat man als Örter von \(P^{\prime}\), \(P^{\prime \prime}, \ldots\) neue Kurven \(R^{\prime}\), \(R^{\prime \prime}, \ldots\), die eine geometrische Konstruktion der unendlichen Abbildungen von \(F^n\) auf Doppelebenen c) liefern.