Sulla irregolarità superficiale d'una varietà algebrica. (Q2578443)

Verf. gibt einen algebraisch-geometrischen Beweis des folgenden Satzes: \(V_3\) habe die Flächenirregularität \(q \geqq 0\) (\(q\) ist die größte Zahl der Art, daß in den kontinuierlichen Flächensystemen auf \(V_3\) \(\infty^q\) verschiedene lineare Flächensysteme vorkommen), \(F\) sei das allgemeine Element eines linearen, von zerfallenden Flächen freien, Flächenbüschels, unter dessen Basiskurven eine einfache irreduzible \(C\) vorkommt, die auf \(F\) ein kontinuierliches Kurvensystem des Grades \(> 0\) definiert; dann hat \(F\) ebenfalls die Irregularität \(p_g - p_a = q\). Der Beweis war bisher nur auf transzendentem Wege möglich. Verf. benötigt dabei die Theorie der Abelschen Scharen. Auf einer irreduziblen Kurve \(C\) des Geschlechtes \(p\) bezeichnet man als Abelsche Schar \(\gamma_n^r\) \(n\)-punktiger Gruppen eine algebraische irreduzible Gesamtheit linearer Vollscharen \(g_n\) derart, daß die Summe zweier derselben jede weitere Schar der Gesamtheit partiell enthält. Ist \(n \geqq p\), so ist die Gesamtheit der \(g_n\) auf \(C\) eine Abelsche Schar \(\gamma_n\), ja, bei allgemeinen Moduln sogar die einzige. Der Restsatz erlaubt, das Studium auf die abelschen \(\gamma_p\) zu beschränken. Enthält \(\gamma_n^r\) \(\infty^{p-q}\) \((q \geqq 0)\) Scharen \(g_n\), so heißt \(p - q\) ihre Irregularität; sie gestattet eine kontinuierliche abelsche Gruppe von \(\infty^{p-q}\) birationalen Transformationen in sich (daher der Name!), nämlich die Operationen \(+g^{\prime}-g^{\prime \prime}\), \((g^{\prime}, \,g^{\prime \prime} \in \gamma_n^r)\). Das einzige kontinuierliche System, in dem eine abelsche \(\gamma_n^r\) der Irregularität \(p - q\) variieren kann, ist das der \(\infty^q\) \(\gamma_n^r\), die paarweise keine lineare \(g_n\) gemein haben; fixiert man daher eine \(g_n\) von \(\gamma_n^r\), so kann \(\gamma_n^r\) nicht in einem stetigen System variierea. Diese Begriffsbildungen lassen sich auch auf vollständige kontinuierliche Systeme von Linearsystemen von \(M_{k-1}\) auf einer \(V_k\) erweitern. Sie erlauben auch die Erweiterung des eingangs genannten Satzes dahin, daß \(V_3\) durch eine \(V_k\), \(F\) durch eine \(M_{k-1}\), \(C\) durch eine Basis-\(M_{k-2}\) ersetzt wird, wobei wieder die Flächenirregularität von \(V_k\) mit der von \(M_{k-1}\) übereinstimmt. Beim Beweis wird ein Hilfssatz benutzt, der auch für sich von Interesse ist: Auf einer \(V_k\) der Irregularität \(q > 0\) wird ein irreduzibles Vollsystem \(\{|A|\}\) von \(\infty^q\) Linearsystemen \(|A|\) \((k - 1)\)-dimensionaler Mannigfaltigkeiten durch jedes beliebige seiner \(|A|\) eindeutig bestimmt.