The geometry of the Weddle manifold \(W_{p}\). (Q2613213)

In einer früheren Arbeit (\textit{A. B. Coble}, Amer. Journ. of Math. 52 (1930), 439-500; F. d. M. \(56_{\text{I}}\), 564) ist als Verallgemeinerung der \textit{Weddle}schen Fläche eine Mannigfaltigkeit \(W_{p}\) im Raume \(S_{2p-1}\) ungerader Dimension der Ort der Ruhepunkte einer gewissen \textit{Cremona}involution erklärt worden, die mit einem symmetrischen System von \(2p + 2\) Fundamentalpunkten \(P_{2p+2}^{2p-1}\) verbunden ist. Durch diese Punkte läuft eine einzige rationale Normalkurve \(N^{2p-1}\). Der auf ihr ausgebreitete binäre Parameter dient als Grundlage der analytischen Behandlung. Die Mannigfaltigkeit \(W_p\) wird nicht nur um ihrer selbst wegen, sondern wegen ihres Zusammenhanges mit der verallgemeinerten \textit{Kummer}schen Mannigfaltigkeit \(K_p\) behandelt. Die den Zusammenhang vermittelnde Abbildung der \(W_p\) auf die \(K_p\) wird durch ein System \(\varSigma \) von \(\infty ^{2p-1}\) Mannigfaltigkeiten \(M_{2p-2}^p\) vermittelt, die in jedem der Fundamentalpunkte einen \((p - 1)\)-fachen Punkt haben. In \S\ 1 werden von diesem System Untersysteme solcher Mannigfaltigkeiten \(M_{2p-2}^p\) behandelt, die gewisse, durch die Fundamentalpunkte bestimmte Fundamentalräume in vorgeschriebener Multiplizität enthalten. Gewisse diese Untersysteme betreffende Resultate geben, in den Raum der \(K_{p}\) übertragen, den Satz: Die hyperelliptische \(K_p\) im Raume \(S_{2p-1}\) besitzt \(p\) Systeme singulärer linearer Räume \(\varSigma ^{(j)}(j=1, 2, \dots, p)\). Jedes System besteht aus \(2^{2p}\) Räumen. Jeder Raum \(\varSigma ^{(j)}\) schneidet \(K_p\) in einer Mannigfaltigkeit von der Dimension \(p - j\). Jeder Raum \(\varSigma ^{(j)}\) enthält \(2p+2\) Räume \(\varSigma ^{(j+1)}\) und ist selbst in \(2p + 2\) Räumen \(\varSigma ^{(j-1)}\) enthalten. \S\ 2 beschäftigt sich mit einer Parameterdarstellung der \(W_p\). Diese wird, wie in der oben zitierten Arbeit, durch die Bemerkung gewonnen, daß das System der \(2p + 2\) Punkte auf der Normalkurve und eines Punktes \(x\) allgemeiner Lage der \(W_p\) zu dem System der \(2p+2\) Verzweigungspunkte und dem mehrfachen Punkt \(O\) einer ebenen hyperelliptischen Kurve \(H_p\) von der Ordnung \(p + 2\) mit \(p\)-fachem Punkt in \(O\) assoziiert ist, deren Verzweigungslinien in \(O\) einen zum Parametersystem der Punkte \(P_{2p+2}^{2p-p}\) auf \(N^{2p-1}\) projektiven Wurf besitzen. Hat diese Kurve die Gleichung \[ H_p=y_0^2f_p(y_1,y_2)+2y_0f_{p+1}(y_1,y_2)+f_{p+2}(y_1,y_2)=0, \] wo \(f_{p}\), \(f_{p+1}\), \(f_{p+2}\) binäre Formen in \(y_1\), \(y_2\) von den Ordnungen \(p\), \(p + 1\), \(p+2\) bezeichnen, und stellt man den Punkt \(x\) der \(W_p\) durch die Form \((\alpha t)^{2p-1}\) dar, die er auf der Normkurve bestimmt, so wird: \[ (\alpha t)^{2p-1}=\textstyle \sum\limits_{i=1}^{2p+2} \displaystyle f_{p+1}(t_i)\cdot (tt_i)^{2p-1}/f_p(t_i)\cdot \omega '(t_i). \] Darin bezeichnen \(t_{1}\),\dots, \(t_{2p+2}\) die Parameter der Fundamentalpunkte, und \(\omega (t)\) ist die Form \((t_1t)\) \((t_2t)\)\dots \((t_{2p-2},t)\). Mit Hilfe dieser und einer zweiten Parameterdarstellung wird der Satz abgeleitet: Ist \(x\) ein Punkt der \(W_p\), so schneidet der \(p\)-Sekantenraum \(S_{p-1}\) von \(N^{2p-1}\) durch \(x\) die \(W_p\) außerdem in \(2^{p-1}-1\) Punkten. Diese bestimmen zusammen mit \(x\) ein System von \(2^{p-1}\) Punkten, die zu einer Kollineationsgruppe der Ordnung \(2^{p-1}\) in \(S_{p-1}\) gehören. Diese Gruppe besteht aus der Identität und den harmonischen Perspektivitäten, die von den Punkten und gegenüberliegenden Räumen des Simplexes bestimmt werden, das \(S_{p-1}\) aus \(N^{2p-1}\) ausschneidet. Der Satz verallgemeinert die für die \textit{Weddle}sche Fläche \(W_{2}\) bekannte Tatsache, daß eine Sehne der \(C^3\) die \(W_2\) in zwei weiteren Punkten schneidet, die zu dem Punktepaar auf \(C^3\) harmonisch liegen. -- Die Form \((\alpha t)^{2p-1}\) ist zu \(f_{p}\) und zu \(f_{p+1}\) apolar. Der Sonderfall, daß \((\alpha t)^{2p-1}\) auch zu \(f_{p+2}\), apolar ist, wird ausführlich behandelt. \S\ 3 bringt andere Ausdrücke der Form \((\alpha t)^{2p-1}\) für Punkte allgemeiner Lage auf \(W_p\) und für die Punkte auf einer Schnittkurve der \(W_{p}\) mit einem \((p + 1)\)-Sekantenraume \(S_{p}\) von \(N^{2p-1}\). Die Abbildung eines speziellen Resultates gibt (\S\; 4) für \(K_{p}\) die Verallgemeinerung eines bekannten Satzes über die \textit{Kummer}sche Fläche: Die \(2^{2p}\) singulären Räume \(S_{p}\) von \(K_{p}\) schneiden \(K_{p}\) in rationalen Normalkurven \(N^p\). Jede Normalkurve \(N^p\) enthält \(2p + 2\) singuläre Punkte, und jeder Punkt liegt auf \(2p + 2\) Normalkurven \(N_{p}\). Auf jeder \(N_{p}\) ist der Wurf der \(2p + 2\) singulären Punkte projektiv zum Parametersystem \(t_1\),\dots, \(t_{2p+2}\). \S\ 5 behandelt den Schnitt der \(W_{p}\) mit einem Raume \(S_{p}\), der \(N^{2p-1}\) in \(j + 2\) Fundamentalpunkten \(t_{a}\) und \(p - j - 1\) Punkten \(s_{c}\) allgemeiner Lage schneidet, und eine gewisse, mit dem irreduziblen Teile dieser Schnittkurve \([W_{p}, S_{p}(t_{a}, s_c)]\) verbundene Konfiguration. Aus der Existenz dieser Konfiguration folgt, daß schon im Falle der \textit{Weddle}schen Fläche der ebene Schnitt nicht eine allgemeine Kurve vierter Ordnung ist. In \S\ 6 wird der Begriff der Involutionskurve eingeführt. Es sei für ein Büschel von binären Formen \(n\)-ter Ordnung \((\alpha t)^n+\lambda (\beta t)^n=f_pf_{n-p}\). Dann bilden die so erklärten Formen \(p\)-ter Ordnung ein einparametriges algebraisches System. Eine algebraische Kurve, die sich mit einem solchen System in (1, 1)-Korrespondenz befindet, heißt Involutionskurve \(I_n^{(p)}\). Der einfachste Fall einer Involutionskurve \(I_n^{(p)}\) ist die Normalkurve \(N^p\). Es zeigt sich nun, daß der irreduzible Teil der Schnittkurve \([W_{p}, S_{p}(t_{a}, s_c)]\) eine Involutionskurve \(I_{2p+j}^{(p)}\) ist, und es wird die Frage untersucht, unter welchen Umständen sie von dem einfachsten Typus \([I_{2p-j}^{(p)}, N_p]\) ist und wie sie, im anderen Falle, mit Kurven von diesem Typus zusammenhängt. \S\ 7 gibt Anwendungen auf die einfachsten Spezialfälle \(W_{2}\), \(W_{3}\), \(W_{4}\). Zuerst wird die Schnittkurve von \(W_{2}\) mit einer Ebene behandelt. Dann zeigt sich, daß \(W_{3}\) in \(S_5\) von der Ordnung 19 ist, die Kurve \(N^5\) und ebenso die Geraden \(p_ip_j\) dreifach enthält. Der Tangentialkegel in einem Punkte \(s\) von \(N^5\) enthält die Bisekanten der \(N^5\) durch \(s\). Für den Schnitt der \(W_{3}\) mit einem Quadrisekanten -\(S_{3}\) (\(s_1\),\dots, \(s_4\)) der \(N^{5}\) ergibt sich eine Kurve \(C^{19}\) mit den Punkten \(s_{i}\) als dreifachen Punkten und den Tangenten \(s_is_j\) in dem dreifachen Punkte \(s_i\). Diese Kurve enthält \(\infty ^1\) eingeschriebene Konfigurationen von 56 Punkten, 70 Geraden und 56 Ebenen derart, daß jeder Punkt mit 5 Geraden und 10 Ebenen, jede Ebene mit 5 Geraden und 10 Punkten, jede Gerade mit 4 Punkten, 16 Geraden und 4 Ebenen inzident ist. Wenn die Punkte, in denen der Quadrisekanten-\(S_{3}\) die \(N^5\) schneidet, speziell gewählt werden, ergeben sich Ausartungen. Der \(S_1\,(p_4,\dots, p_8)\) schneidet \(W_{3}\), von 10 Ebenen abgesehen, in einer Fläche 9-ter Ordnung, die ein lineares System von \textit{Lüroth}-Kurven 4-ter Ordnung enthält. \(W_{4}\) in \(S_{7}\) hat die Ordnung 96 und enthält \(N^7\) und die 45 Geraden \(p_ip_j\) als 16-fache Kurven. Den Schluß der Arbeit bildet die Untersuchung der Schnitte von \(W_{4}\) mit den 5-Sekanten-\(S_{4}\) der \(N^7\). (V 5 C.)