Sulle curve ellitiche singolari. (Q1468976)

\textit{Torelli} hat die Frage aufgeworfen und für elliptische Kurven mit allgemeinen Modul beantwortet: Welches sind auf einer elliptischen Kurve die identischen birationalen Involutionen? Der Verf. untersucht die Frage vollständig; es handelt sich im wesentlichen um die geometrische Deutung bekannter Fundamentalsätze aus der Theorie dr elliptischen Funktionen mit komplexer Multiplikation. Die Frage nach einer birational identischen Involution \(\gamma_{\nu}^1\) der Ordnung \(\nu\) auf einer elliptischen Kurve \(C\) deckt sich mit der nach einer \((\nu, 1)\)-Korrespondenz \(T\). Umgekehrt führt eine \(T(\nu, 1)\) auf \(C\) zu einer bestimmten \(\gamma_{\nu}^1\) auf ihr, diese \(\gamma_{\nu}^1\) gehört aber zugleich zu unendlich vielen Korrespondenzen \((\nu, 1)\), die aus \(T\) durch Multiplikation mit irgendeiner birationalen Transformation von \(C\) in sich selbst hervorgehen. Sind nun \(z\) und \(z'\) die vermöge \(T\) auf \(C\) sich entsprechenden Werte des mit \(C\) verbunden elliptischen Integrals \(I\), so ist: \(z'=\alpha z+\beta\), während die birationalen Transformationen von \(C\) in sich durch: \(z'=\eta z+c (\eta=\pm 1)\) dargestellt werden. Somit liefert \(z'=\eta\alpha z+c\) die obigen \((\nu, 1)\)-Korrespondenzen, die zu \(\gamma_{\nu}^1\) gehören. Jeder Involution \(\gamma_{\nu}^1\) auf \(C\) entspricht somit eine Gruppe von assoziierten Multiplikatoren \(\eta\alpha\) und vice versa. Um also alle \(\gamma_{\nu}^1\) auf \(C\) zu bestimmen, hat man nur alle Multiplikatoren \(\alpha\) zu ermitteln. Die Kurve \(C\) ist dann und nur dann singulär, wenn \(I\) eine komplexe Multiplikation zuläßt, wenn also die Perioden \(\omega, \omega'\) einer ganzzahligen Gleichung \(P\omega^2+Q\omega\omega'+R{\omega'}^2=0\) genügen, mit \(Q^2- 4PR<0\). Ist \(D\) die Determinante von \(C\), so existieren unendlich viele \(\gamma_{\nu}^1\) mit Ordnungen von der Form \(c^2+\frac{D}{4}\varrho^2\), resp. \(c^2+c\varrho+\frac{D+1}{4}\varrho^2\), je nachdem \(C\) von der ersten oder zweiten Art ist: Bei nichtsingulären \(C\) sind die Ordnungen der \(\gamma_{\nu}^1\) einfach die Quadrate der natürlichen Zahlen. (IV 6 C, D.)