Sui sistemi di \(S_k\) a due a due incidenti e sulla generazione proiettiva di alcune varietà algebriche. (Q2578350)

In einer früheren Abhandlung (Ist. Veneto Sci. Lett. Arti, Atti, II 89 (1930), 907-926; JFM 56.1179.*) hat Verf. alle Ebenensysteme bestimmt, deren Ebenen paarweise einen Punkt gemein haben. Werden einige elementare Systeme ausgeschlossen, so findet man folgende drei Hauptsysteme: 1) das System \(\varSigma _2^{(1)}\) der Berührungsebenen einer Veroneseschen Fläche; 2) das System \(\varSigma _2^{(2)}\) der Ebenen, die auf einer Quadrik eines fünfdimensionalen Raumes liegen und derselben Schar angehören; 3) das System \(\varSigma _2^{(3)}\) der Ebenen, die die Kegelschnitte einer Veroneseschen Fläche enthalten. Dieser Satz wird hier in zwei verschiedenen Richtungen verallgemeinert. Zunächst kann man ein System von Räumen \(S_k\), betrachten, die paarweise einen \(S_{k-2}\) gemein haben. Werden immer einige \textit{elementare} \(S_k\)-Systeme ausgeschlossen (diese sind: die \(S_k\) eines \(S_{k+2}\); die \(S_k\), die durch einen festen \(S_{k-2}\) hindurchgehen; die \(S_k\) die mit einem festen \(S_k\) einen \(S_{k-1}\) gemein haben), so findet man, daß die gewünschten \(S_k\) einem \(S_{k+3}\) angehören und einen \(S_{k-3}\) gemein haben; man erhält sie, wenn man aus \(S_{k-3}\) ein Ebenensystem einer der drei obengenannten Arten projiziert. Zweitens wendet sich Verf. zur Betrachtung der \(S_k\)-Systeme, deren \(S_k\) paarweise einen Punkt gemein haben. Werden wieder einige \textit{elementare} \(S_k\)-Systeme ausgeschlossen (\(S_k\) eines \(S_{2k}\); \(S_k\), die durch die \(S_{k-m}\) eines \(S_{k-m}\)-Systems derselben Art hindurchgehen), so findet man durch einfache synthetische Überlegungen, daß die gesuchten \(S_k\)-Systeme einem Raume \(S\) einer Dimension \(\leqq N_k= \frac {1}{2}\,k(k + 3)\) angehören. Wenn die Dimension des Raumes \(S\) den Wert \(N_k\), erreicht, so wird das \(S_k\)-System ein \textit{Hauptsystem} genannt. Es gibt drei Arten von Hauptsystemen, die die drei obengenannten Arten von Hauptebenensystemen verallgemeinern. Das System \(\varSigma _k^{(1)}\) besteht aus den \(\infty ^k\) Räumen \(S_k\), die auf der Mannigfaltigkeit \(V_{2k}\) liegen, die die nicht geordneten Punktepaare eines Raumes \(S_k\) darstellt; sie entsprechen je den \(\infty ^k\) Punktepaarsystemen, die einen festen Punkt enthalten; die Schnittpunkte von zwei Räumen \(S_k^{(i)}\), \(S_k^{(j)}\) des Systems mit allen anderen entsprechen sich in einer Homographie \(\varOmega _{ij}\); kennt man \(k + 4\) paarweise inzidente \(S_k\) allgemeiner Lage, so ist \(\varSigma _k^{(1)}\) eindeutig bestimmt, denn die Homographien \(\varOmega _{ij}\) für die ersten \(k+1\) gegebenen \(S_k\) sind bekannt. Das System \(\varSigma _k^{(2)}\) besteht aus den \(\infty ^{k+1}\) Räumen \(S_k\), die auf der \(W_{2k}\) liegen, die die Geraden eines \(S_{k+1}\) auf die übliche Graßmannsche Weise darstellt; die \(S_k\) von \(\varSigma _k^{(2)}\) entsprechen den \(\infty ^{k+1}\) Geradensystemen des Raumes \(S_{k+1}\), die durch einen Punkt hindurchgehen; die Schnittpunkte von zwei Räumen \(S_k^{(i)}\), \(S_k^{(j)}\) des Systems mit den anderen entsprechen sich in einer bilinearen Verwandtschaft, für welche \(S_k^{(i)}S_k^{(j)}\) ein singulärer Punkt ist; \(\varSigma _k^{(2)}\) ist eindeutig bestimmt, sobald \(k+ 3\) seiner Räume gegeben sind. Das System \(\varSigma _k^{(3)}\) besteht aus den \(\infty ^2\) Räumen \(S_k\), die die \(\infty ^2\) rationalen normalen Kurven \(C^k\) derjenigen Fläche \(F\) enthalten, die auf eine Ebene durch das System aller ebenen \(\varGamma ^k\) abgebildet wird; die Schnittpunkte von drei Räumen \(S_k^{(i)}\), \(S_k^{(j)}\), \(S_k^{(l)}\) des Systems mit den anderen liegen auf den betreffenden Kurven \(C_i^{(k)}\), \(C_j^{(k)}\), \(C_l^{(k)}\) und entsprechen sich in einer trilinearen Verwandtschaft; \(\varSigma _k^{(3)}\) ist eindeutig bestimmt, sobald \(k + 4\) seiner Räume gegeben sind. Die Gruppen von \(2, 3,\ldots \) Räumen \(S_k\) eines Hauptsystems liefern Systeme von \(S_{2k}\), \(S_{3k-1},\ldots \), die paarweise eine Gerade, eine Ebene,\(\ldots\) gemein haben; schneidet man sie mit Räumen der Dimensionen \(N_k-1\), \(N_k-2,\ldots \), so erhält man neue Systeme paarweise inzidenter \(S_k\); Verf. nennt sie \textit{sekundäre} Systeme. Andere sekundäre Systeme bekommt man aus \(\varSigma _k^{(1)}\), \(\varSigma _k^{(2)}\), \(\varSigma _k^{(3)}\) und aus den früheren sekundären Systemen durch Dualisieren und Schneiden. Es bleibt die schwierige Frage noch unentschieden, ob die Hauptsysteme, die sekundären Systeme und ihre Projektionen alle Systeme paarweise inzidenter \(S_k\) erschöpfen.