Birational transformations with a fundamental surface. (Q2583918)

Die Arbeit setzt zwei vorangehende (Proc. Edinburgh math. Soc. (2) 5 (1938), 117-124; Proc. Cambridge philos. Soc. 34 (1938), 144-155; F. d. M. \(64_{\text{I}}\), 669) desselben Verf. fort, in denen das Verhalten des kanonischen Systems einer algebraischen Mannigfaltigkeit gegenüber birationalen Transformationen \(T\) mit isolierten Fundamental (F.-) punkten oder -kurven untersucht wurde. Hier wird die gleiche Aufgabe unter der Annahme, daß \(T\) eine nichtsinguläre F.-fläche aufweist, behandelt und versucht, das Ergebnis auf den Fall beliebiger F.-mannigfaltigkeiten zu erweitern. \(T\) sei eine birationale Abbildung zwischen \(V_d\), \(V^\prime_d\) (\(d \geqq 4\)), habe auf \(V_d\) keine F.-elemente, hingegen auf \(V^\prime_d\) eine irreduzible nichtsinguläre F.-Fläche \(F^\prime\); die Umgebung jedes Punktes \(P^\prime\) von \(F^\prime\) bilde sich auf eine \(V_{d-3}(P^\prime)\) ab, die mit veränderlichem \(P^\prime\) eine irreduzible \(V_{d-1} = \varPhi\) auf \(V_d\) beschreibe. Man kann zunächst ohne Einschränkung der Untersuchung annehmen, daß \(V_{d-3} (P^\prime)\) ein linearer \(S_{d-3}\) sei. Bezeichnet \(\varPhi (c^\prime)\) den \(V_{d-2}\) der aus den Bild-\(V_{d-3}\) der Punkte einer Kurve \(c^\prime\) auf \(F^\prime\) besteht, und ebenso \(\varPhi (\gamma^\prime)\) den \(V_{d-3}\), der aus den Bild-\(V_{d-3}\) der Punkte einer Punktgruppe \(\gamma^\prime\) auf \(F^\prime\) besteht, so gilt für eine \(V_h\) auf \(\varPhi\) die Äquivalenz \[ V_h \equiv a\cdot \varPhi^{d-h} + \left( \varPhi (c^\prime ) \cdot \varPhi^{d-h-1}\right)_\varPhi + \left( \varPhi (\gamma^\prime ) \cdot \varPhi^{d-h-2}\right)_{\varPhi}, \tag{a} \] wobei für \(h \geqq 2\) die Zahl \(a\) eindeutig bestimmt, \(c^\prime\), \(\gamma^\prime\) bis auf Äquivalenzen auf \(F^\prime\) ebenfalls eindeutig bestimmt sind. Ziel ist die Bestimmung der Transformation der kanonischen Systeme von \(V^\prime_d\) in der Bezeichnung der obengenannten Besprechungen. Es ergibt sich durch Induktion nach \(d\) und Benutzung von (1) \[ X_{d-1} (V_d) \equiv T \{ X_{d-1} (V_d^\prime)\} a_{d-1}\varPhi, \] \[ X_{d-2} (V_d) \equiv T \{ X_{d-2} (V_d^\prime)\} a_{d-2}(\varPhi^2) - \varPhi (c^\prime_{d-2}), \] \[ X_{h} (V_d) \equiv T \{ X_{h} (V_d^\prime)\} a_{h}(\varPhi^{d-h}) -( \varPhi (c^\prime_{h}) \cdot \varPhi^{d-h-1})_\varPhi ( \varPhi (\alpha^\prime_{h}) \cdot \varPhi^{d-h-2})_\varPhi, \] \[ (h < d-2); \] dabei ist gesetzt: \[ \begin{matrix} \l \quad & \l \\ \lambda^p_q = \left(p \atop q \right) \left(p \atop {q-1} \right); & a_h = \lambda_{h-1}^{d-2}, \qquad c_h^\prime \equiv \lambda_{h}^{d-2}x_1^\prime \lambda_{h-1}^{d-3}v^\prime,\\ & a_h^\prime \equiv \lambda_{h+1}^{d-2} \cdot X_0 (F^\prime) \lambda_{h}^{d-3}( v^\prime \cdot x_1^\prime) + \lambda_{h-1}^{d-4}\theta^\prime; \end{matrix} \] \(x_1^\prime =\) kanonische Kurve auf \(F^\prime\) und \(v^\prime = Y_1 (F^\prime, V^\prime_d)\), \(\theta^\prime = Y_0(F^\prime, V_d^\prime)\) in der Bezeichnung des Referates F. d. M. 66, 793 (JFM 66.0793.*) zu \textit{Todd}, Proc. London math. Soc. (2) 46 (1940), 199-230. Die infolge eines mangelnden Äquivalenzgesetzes nicht voll bewiesene Verallgemeinerung auf den Fall, daß \(T\) auf \(V^\prime_d\) eine \(k\)-dimensionale F.-mannigfaltigkeit \(F^\prime\) hat, deren Punkten in \(V_d\) Räume \(V_{d-k-1}\) zugeordnet werden, die eine \(V_{d-1} = \varPhi\) erfüllen, lautet \[ X_h (V_d) \equiv T\{X_h (V_d^\prime)\} - \sum_{r=t}^k (\varPhi (\varGamma^\prime_{r,h})\cdot \varPhi^{d-h+k+r})_\varPhi, \] mit \[ t= \max (0,h + k - d+1) \] und \[ \varGamma^\prime_{r,h} \equiv \sum_{s=0}^{k -r} (-1)^s \lambda_{h+1 - r - s}^{d-k-s} (Y_{k-s} (F^\prime, V_d^\prime) \cdot X_{r+s} (F^\prime))_{F^\prime}, \] wobei \(\varPhi (\varGamma^\prime_{r,h})\) den Ort der den Punkten von \(\varGamma^\prime_{r,h}\) entsprechenden \(V_{d-k-1}\) bezeichnet.