Sulle varietà di \textit{Segre}. (Q1487279)

Sind \(R_{p_1},R_{p_2},\dots,R_{p^n}\) \(n\) lineare Räume der Dimensionen \(p_1,p_2,\dots,p_n\) und bedeuten \(x_0^{(i)},x_1^{(i)},\dots,x_{p_i}^{(i)}\) die homogenen Koordinaten eines beliebigen Punktes von \(R_{p_i}\); setzt man ferner (I) \(X_{i_1i_2\dots i_n}=x_{i_1}^{(1)}x_{i_2}^{(2)}\dots x_{i_n}^{(n)}\) \((i_j=0,1,\dots,p_j; j=0,1,\dots,n)\), und betrachtet man die Größen \(X_{(i_1i_2\dots i_n}\) als die homogenen Koordinaten eines Punktes von \(R_{(p_1+1)\dots (p_n+1)-1}\), so können die Gleichungen (I) als die parametrische Darstellung einer Mannigfaltigkeit angesehen werden, die der Verf. ``\textit{Segre}sche Mannigfaltigkeit'' nennt, um daran zu erinnern, daß \textit{Segre} sie zuerst betrachtet und erforscht hat (vgl. F. d. M. 23, 696, 1891, JFM 23.0696.01). \(p_1,p_2,\dots,p_n\) sind die ``Indizen'' der Mannigfaltigkeit, während \(p_1+p_2+\cdots +p_n\) ihre Dimension und \(\frac{(p_1+p_2+\cdots +p_n)!}{p_1!p_2!p\dots p_n!}\) ihre Ordnung ist. Es sei \(R_{p-1}\) eine beliebige Hyperebene des Raumes \(R_{p_i}\), und man bezeichne durch \(\Phi_{hk}\), die \textit{Segre}sche Mannigfaltigkeit, welche durch \(R_{p_h-1}\) und \(R_{p_k-1}\) in Verbindung mit allen gegebenen \(R_{p_i}\) erzeugt wird, mit Ausnahme von \(R_{p_h}\) und \(R_{p_k}\), und durch \(\Phi\) die Mannigfaltigkeit, die aus allen \(\Phi_{hk}\) \((h,k=1,2,\dots,n)\) zusammengesetzt ist, so gehört \(\Phi\) einem Raume \(\omega\) an, dessen Dimension wie folgt ausgedrückt ist: \((p_1+1)(p_2+1)\cdots(p_n+1)-(p_1+p_2+\cdots +p_n)-2\); die Projektion der gegebenen Mannigfaltigkeit aus \(\omega\) auf einen \(R_{p_1+p_2+\cdots+p_n}\) ist im allgemeinen eindeutig. Von der so erhaltenen Korrespondenz werden vom Verf. die Haupteigenschaften bestimmt; die erhaltenen Resultate finden sogleich eine wichtige Anwendung zur Bestimmung der in einer \textit{Segre}schen Mannigfaltigkeit enthaltenen linearen Räume, ferner zur Aufstellung des folgenden wichtigen Satzes: Eine Mannigfaltigkeit \(V\) des Raumes \(R_{(p_1+1)(p_2+1)\cdots(p_n+1)}\) habe die Dimension \(p_1+p_2+\cdots+p_n+1\) und die Ordnung \(\frac{(p_1+p_2+\cdots +p_n)!}{p_1!p_2!\cdots p_n!}\); sie werde durch jede Hyperebene in einer \textit{Segre}schen Mannigfaltigkeit geschnitten, welche die Indizen \(p_1,p_2,\dots,p_n\) hat; dann ist sie entweder ein Kegel, der eine \textit{Segre}sche Mannigfaltigkeit aus ihrem Kegel projiziert, oder wenn \(n=2\) und \(p_1=p_2=1\), eine allgemeine Quadrifläche des vierdimensionalen Raumes.