Sull'unirazionalità dell'ipersuperficie algebrica di qualunque ordine e dimensione sufficientemente alta. (Q2578446): Difference between revisions

Die Arbeit beweist den wichtigen Satz, daß die allgemeine Hyperfläche \(V_{r-1}^n\) des \(S_r\) bei im Verhältnis zu \(n\) genügend großem \(r\) unirational ist, d. h. die Koordinaten \(x_i\) \((i = 0, \,1,\ldots \!, r)\) ihrer Punkte rational durch \(r - 1\) Parameter \(\xi_1,\ldots \!,\xi_{r-1}\) ausdrückbar sind, ohne daß i. a. die \(\xi_{\nu}\) rational durch die \(x_i\) ausdrückbar zu sein brauchen. Anders gedeutet: Die \(V_{r-1}^n\) ist birational äquivalent einer gewissen Involution \(I_{\nu}\) im Raume \(S_{r-1}\) mit den inhomogenen Koordinaten \(\xi_1,\ldots \!,\xi_{r-1}\). Es genügt für die Gültigkeit, daß \(r>r_n={n+r_{n-1}\choose n}\), \(r_2 = 2\) sei. Der Satz war für \(n = 2\), \(r \geqq 2\); \(n= 3\), \(r \geqq 3\); \(n=4\), \(r \geqq 7\); \(n=5\), \(r \geqq 17\) (vgl. Verf., Atti Accad. naz. Lincei, Rend., Cl. Sci. fis. mat. natur., (6) 27 (1938), 330-332; F.~d.~M. 64\(_{\text{I}}\), 698) bereits bekannt. Der Beweis wird durch Induktion nach \(n\) geführt und geht von der Tatsache aus, daß auf \(V_{r-1}^n\) für \(r \geqq r_n\) lineare Räume \(S_{r_{n-1}}\) existieren. Die durch einen bestimmten \(S_{r_{n-1}}^0\) unter ihnen gelegten \(S_{r_{n-1}+1}\) schneiden außerhalb desselben auf \(V_{r-1}^n\) ein System von \(V_{r_{n-1}}^{n-1}\) aus. Dieses System schneidet seinerseits in \(S_{r_{n-1}}^0\) die Gesamtheit aller \(V_{r_{n-1}-1}^{n-1}\) aus. Im \(S_{r_{n-1}}^0\) wähle man nun ein rationales, \(r_{n-1}\)-dimensionales System \(\varSigma\) von \(S_{r_{n-2}}\) aus, dann enthält die allgemeine Hyperfläche \(V_{r_{n-1}-1}^{n-1}\) des \(S_{r_{n-1}}^0\) nur eine endliche Anzahl \(\nu\) von Elementen aus \(\varSigma\). Hieraus und aus der angenommenen Unirationalität von \(V_{r_{n-1}-1}^{n-1}\) ergibt sich die Abbildbarkeit von \(V_{r-1}^n\) auf eine Involution \(I_{\nu}\) des \(S_{r-1}\).