Birational transformations possessing fundamental curves. (Q2597548)

Die Arbeit untersucht den Einfluß der Fundamentalelemente bei birationalen Transformationen einer algebraischen Mannigfaltigkeit \(V_d\) in eine \(V_d^{\prime}\) auf die Abbildung der mit diesen Mannigfaltigkeiten verknüpften kanonischen Systeme \(X_h\) bzw. \(X_h^{\prime}\). Sie beschränkt sich auf den Fall, daß auf \(V_d^{\prime}\) lediglich eine isolierte Fundamentalkurve \(C'\) und keine weiteren Fundamentalelemente vorkommen. \(C'\) soll nicht singulär, irreduzibel sein, und jedem Punkte \(P'\) von \(C'\) sollen auf \(V_d\) die Punkte einer \(V_{d-2}=F(P')\) entsprechen; die \(F(P')\) erfüllen mit wanderndem \(P'\) eine \(V_{d-1}=C\), die \(C'\) entspricht. Dann entspricht jeder Punkt von \(F(P')\) den Punkten von \(V_d^{\prime}\) in der Umgebung von \(P'\), die in einer bestimmten Ebene \(\pi'\) liegen; \(\pi'\) geht durch die Tangente in \(P'\) an \(C'\) und liegt in dem \(V_d^{\prime}\) berührenden \(S_d\). Die Beziehung zwischen den Punkten von \(F(P')\) und den Ebenen \(\pi'\) ist ausnahmslos eineindeutig. Also ist \(F(P')\) rational und kann mittels eines basisfreien Linearsystems von Hyperflächen auf einen \(S_{d-2}\) birational abgebildet werden. Bei dieser Abbildung entspricht jedem Unterraum \(S_h\) des \(S_{d-2}\) eine Mannigfaltigkeit \(F_h\) auf \(F(P')\). Ferner sei \(C_h\) die virtuelle \(h\)-dimensionale Mannigfaltigkeit, die durch Schnitt von \(d - h\) auf \(V_d\) zu \(C\) äquivalenten Mannigfaltigkeiten entsteht; dann lassen sich durch die \(C_h\) und \(F_h\) die kanonischen Systeme auf \(C\) ausdrücken. Verf. beweist nämlich die allgemeine Formel: \[ X_h(C) \equiv \binom {d-1}h C_h + (-1)^{d-h} \left\{ \binom {d-2}h \xi' + \binom {d-2}{h+1} \varkappa' \right\} F_h; \] darin bedeutet \(\varkappa'\) eine Gruppe der kanonischen Schar von \(C'\) und \(\xi'\) eine Schnittgruppe von \(C'\) mit einer kanonischen \(X_{d-1}^{\prime}\) auf \(V_d^{\prime}\), und \(\xi' F_h\) (bzw. \(\varkappa' F_h\)) einen Satz von \(F_h\), die in den \(F(P')\) liegen, welche den Punkten \(P'\) aus \(\xi'\) (bzw. \(\varkappa'\)) auf \(V_d\) entsprechen. Setzt man nun \[ \begin{aligned} & \lambda_q^{(p)} = \binom pq - \binom p{q-1}, \quad a_h=-\lambda_h^{(d-1)}, \\ & \beta_h^{\prime} \equiv (-1)^{d-1} \{ \lambda_h ^{(d-2)} \xi' + \lambda_{h+1}^{(d-2)} \varkappa' \}, \end{aligned} \] so kann man die Bildsysteme der kanonischen Systeme \(X_h^{\prime}\) von \(V_d^{\prime}\) auf \(V_d\) ermitteln. Verf. beweist, daß das Bildsystem von \(X_h^{\prime}\) äquivalent zu \(X_h-a_h C_h-(-1)^h \beta_h^{\prime} F_h\) \((0 \leqq h < d-1)\), das von \(X_{d-1}^{\prime}\) äquivalent zu \(X_{d-1}-a_{d-1}C_h\) ist. In dieser Formel sind als Spezialfälle Ergebnisse anderer Autoren enthalten; es folgt z. B., daß für \(d \leqq 6\) bei einer Transformation der betrachteten Art die relative Invariante \(P_a\) ungeändert bleibt, und für die Beziehung zwischen den Zeuthen-Segreschen Invarianten von \(V_d\) und \(V_d^{\prime}\) leitet man die Gleichung \[ J'=J+(-1)^d\, 2(d-2)\,(p-1) \] her.