Sulle relazioni che legano i caratteri invarianti di due superficie in corrispondenza algebrica. (Q1504696)

Besteht zwischen zwei Kurven \(C\), \(C'\) eine Korrespondenz \((1, n)\), so hat \textit{Castelnuovo} (F. d. M. \( 23\), 750, 1891, JFM 23.0750.01) zwischen den ``kanonischen Scharen'' beider Kurven eine funktionale Verknüpfung hergestellt, die nichts anderes ist als eine geometrische Interpretation der ``\textit{Zeuthen}schen Formel''. Der Verf. geht von hier aus über zu einer beliebigen Korrespondenz \((n, n')\) zwischen beiden Kurven und erhält die erweiterte Verknüpfung zwischen den kanonischen Scharen, deren arithmetisches Äquivalent wiederum die allgemeine \textit{Zeuthen}sche Formel ist. Mit Hülfe der Eigenschaften der \textit{Jacobi}schen Gruppe einer Schar von Punktgruppen auf \(C\) (d. i. der Gruppe von deren Doppelpunkten), sowie der kanonischen Gruppen ergibt sich nämlich: ``Die Transformierte einer kanonischen Gruppe von \(C\), vermehrt um die Doppelpunkte der Korrespondenz auf \(C'\), ist korresidual zum \(n\)-fachen einer kanonischen Gruppe von \(C'\), vermehrt um die Verzweigungspunkte der Korrespondenz auf \(C'\).'' Bezeichnen andrerseits \(y' ,y\) resp. die Anzahl der Doppelpunkte und die der Verzweigungspunkte auf \(C\), ferner \(n, p\), resp. \(n', p'\) Ordnung und Geschlech von \(C\), resp. \(C'\), so führt die obige Verknüpfung unmittelbar zu der Gleichheit: \[ y-y'=2n(p'-1)-2n'(p-1), \] d. i. aber die \textit{Zeuthen}sche Formel für eine Korrespondenz \((n,n')\) zwischen den Kurven \(C, C'\). Nach diesen Vorbereitungen für Kurven wendet sich der Verf. nunmehr zu den entsprechenden Fragen für Flächen. Die Ausdehnung des obigen Satzes von \textit{Castelnuovo} auf eine Korrespondenz \((1, n)\) zwischen zwei Flächen \(F, F'\) gab \textit{Enriques} (F. d. M. \(25\), 1212, 1893/4, JFM 25.1212.01) und leitete daraus die Beziehung zwischen deren linearen Geschlechtern her. Der Verf. vertieft diese Untersuchungen und überträgt sie zugleich auf eine beliebige Korrespondenz \((n, n')\). Die Grundlage bildet der Satz, daß\ dann einem linearen System von Kurven auf \(F\) ein algebraisches, jedoch ganz in einem linearen System enthaltenes System auf \(F'\) entspricht. Wesentlich auf Grund der Eigenschäften der Fundamentalpunkte einer Korrespondenz, der kanonischen Kurven und der Ausnahmekurven auf einer Fläche gelingt es, nicht nur die verallgemeinerte Beziehung zwischen den linearen Geschlechtern von \(F, F'\) abzuleiten, sondern auch eine zweite, tiefer liegende zwischen den arithmetischen Geschlechtern. Es genüge hier, die erstere anzugeben: \[ \text{(I)}\qquad \begin{cases} n(\varOmega'-1)-n'(\varOmega-1)= \varrho-\varrho'+\frac 32(\vartheta-\vartheta') \\ + \varSigma(s+\sigma-1)-\varSigma(s'+\sigma'-1). \end{cases} \] Dabei ist \(n\) die Ordnung von \(F,\varOmega\) ein von \textit{Enriques} und \textit{Castelnuovo} (F. d. M. \(32\), 622, 1901, JFM 32.0622.01) eingeführter invarianter Charakter von \(F\). Ferner bedeutet \(\varrho\) das Geschlecht der Verzweigungskurve \(D\) auf \(F,\vartheta\) einen gewissen invarianten Charakter von \(D, s\) die Multiplizität von \(D\) in einem der Fundamentalpunkte der Korrespondenz, \(\sigma\) das Geschlecht der diesem Punkte entsprechenden Fundamentalkurve. Endlich gibt der Akzent stets die jeweiligen analogen Anzahlen für \(F'\) an. Die Invarianten \(\varOmega,\varOmega'\) von \(F,F'\) treten in der Formel (I) an die Stelle der linearen Geschlechter, um damit die Formel auch auf Regelflächen anwendbar zu machen.