Die Mannigfaltigkeit von Perazzo als Projektion der Segreschen Mannigfaltigkeit \(M_4^6\). (Q2597624)

Die Punktepaare zweier übereinander liegender projektiver Ebenen \((x), (y)\) werden durch \(z_{ik} = x_iy_k\) auf eine Segresche \(V_4^6\) des \(R_8\) bezogen; es mögen \(x_i^{(\alpha)} = y_i^{(\alpha)}\) (\(\alpha = 1, 2, 3\)) ein Grunddreieck \(p^{(1)}p^{(2)}p^{(3)}\) der beiden Ebenen aufspannen, dessen Ecken auf der \(V_4^6\) die Grundpunkte \(P^{(\alpha)} = x_i^{(\alpha)}y_k^{(\alpha)}\) entsprechen. Den \(\infty^2\) Kollineationen mit dem Grunddreieck als Fixpunktdreieck entsprechen dann \(\infty^2\) durch die \(P^{(\alpha)}\) laufende Veronesesche Flächen \(V_2^4\) auf \(V_4^6\); jede der letzteren spannt einen durch die Ebene \(E = P^1P^2P^3\) gehenden \(R_5\) auf. Den Geraden \(p^{(\alpha)}p^{(\beta)}\) entsprechen drei reguläre Flächen zweiter Ordnung \(F^2_{(1)},F_{(2)}^2,F_{(3)}^2\), die die Räume \(R_3^{(\alpha)}\) aufspannen; letztere werden von den \(\infty^2\) \(R_5\) in den Ebenen dreier trilinear verwandter Büschel geschnitten. Die Geradenpaare durch eine Ecke \(p^{(\alpha)}\) des Grunddreiecks bilden sich auf \(\infty^2\) \(V_2^2\) durch \(P^{(\alpha)}\) ab, deren Schnittverhältnisse mit den vorangehenden Flächen leicht zu übersehen sind. Projiziert man die \(V_4^6\) von \(E\) aus in einen beliebigen \(R_5\), so erhält man eine \(V_4^3\), eben die Mannigfaltigkeit von \textit{Perazzo}. Sie trägt neun Doppelgeraden, nämlich drei Geraden \(X^{(\alpha)}\), die den Punkten \(x^{(\alpha)}\) entsprechen, drei aus \(y^{(\alpha)}\) hervorgehende Geraden \(Y^{(\alpha)}\) und drei aus den \(R_3^{(\alpha)}\) entstehende Geraden \(Z^{(\alpha)}\). Ordnet man sie in einer Matrix an, so schneidet jede dieser Doppelgeraden jede andere, die mit ihr nicht in gleicher Zeile oder Spalte steht; die Treffebenen der drei in einer Zeile oder Spalte stehenden Geraden bilden zwei Tripel von zweidimensionalen Ebenensystemen, deren jedes auf den drei Treffgeraden die Punktetripel einer trilinearen Verwandtschaft ausschneidet. Ferner liegen auf der \(V_4^3\) neun \(R_3\), die je zwei Geraden eines Tripels \(X^{(\alpha)}\) oder \(Y^{(\alpha)}\) oder \(Z^{(\alpha)}\) verbinden.