A variety representing pairs of points of space. (Q576327): Difference between revisions

Aus den Koordinaten \(x_1, x_2, x_3, x_4\) und \(y_1, y_2, y_3, y_4\) zweier Punkte \(X\) und \(Y\) des dreidimensionalen Raumes \(S (x)\) werden die zehn Größen \[ g_{ij}=x_iy_j+x_jy_i\quad (i, j = 1, 2, 3, 4) \tag{1} \] gebildet. Nach Einführung der Linienkoordinaten \(p_{ij}\) der Geraden \(XY\) gelangt Verf. mittels elementarer Rechnung zu den Gleichungen \[ \begin{alignedat}{2} &2y_4x_4=g_{44},&&\quad 2y_4x_1=g_{41}-\sqrt{\frac{g_2g_3}{g_1}},\\ &&&\tag{2}\\ &2y_4x_2=g_{42}-\sqrt{\frac{g_3g_1}{g_2}},&&\quad 2y_4x_3=g_{43}-\sqrt{\frac{g_1g_2}{g_3}} \end{alignedat} \] und \[ g_{11}g_{44}=g_{41}^2-\frac{g_2g_3}{g_1},\;g_{22}g_{44}=g_{42}^2-\frac{g_3g_1}{g_2},\;g_{33}g_{44}=g_{43}^2-\frac{g_1g_2}{g_3}. \tag{3} \] Hierin ist zur Abkürzung gesetzt: \[ g_{42}g_{43}-g_{44}g_{23}=g_1,\;g_{43}g_{41}-g_{44}g_{31}=g_2,\;g_{41}g_{42}-g_{44}g_{12}=g_3. \] Die Vorzeichen der Wurzeln aus (1) sind alle positiv oder alle negativ zu nehmen. Deutet man die \(g_{ij}\) als Punktkoordinaten eines \(S_9\), so lehrt (3), daß die Gesamtheit der Punktepaare \(X\), \(Y\) aus \(S (x)\) durch die Beziehung (1) auf eine rationale Mannigfaltigkeit \(V_6\) des \(S_9\) abgebildet wird. Die Gleichungen (3) bilden die \(V_6\) auf den \(S_6 (g_{41},g_{42},g_{43},g_{44},g_{23},g_{31},g_{12})\) ab. Zwischen diesem \(S_6\) und dem dreidimensionalen Raum \(S (x)\) wird durch die Beziehung (2) eine \((2, 1)\)-Korrespondenz definiert. Sind \(X\) und \(Y\) ein Paar zugeordneter Punkte in einer kubischen Involution, so bestehen bei geeigneter Wahl des Koordinatentetraeders die Gleichungen \[ \begin{aligned} g_{23}&=a_1 g_{41}+a_2 g_{42}+a_3 g_{43},\\ g_{31}&=b_1 g_{41}+b_2 g_{42}+b_3 g_{43},\\ g_{12}&=c_1 g_{41}+c_2 g_{42}+c_3 g_{43}. \end{aligned} \tag{4} \] Die Punktepaare \(X\), \(Y\) werden dann auf eine \(V_3\) abgebildet. (2) stellt dann eine \((1, 2)\)-Korrespondenz zwischen \(S (x)\) und \(S_3 (g_{41}, g_{42},g_{43}, g_{44})\) dar. Diese \((1, 2)\)-Korrespondenz diskutiert Verf. in der vorliegenden Arbeit näher. Die Geraden, die ein Punktepaar \(X\), \(Y\) der kubischen Involution verbinden, gehören einem kubischen Komplex an. Die Gleichung dieses Komplexes erhält Verf. durch Nullsetzen der Determinante eines linearen Gleichungssystems für die \(g_{41}\), \(g_{42}\), \(g_{43}\), \(g_{44}\), \(g_{23}\), \(g_{31}\), \(g_{12}\), in dem als Koeffizienten die Linienkoordinaten \(p_{ij}\) auftreten. An weiteren linearen Gleichungen zeigt Verf., daß jeder Komplexgeraden eine Zahlenreihe \(g_{41}, g_{42},g_{43}, g_{44}\) und umgekehrt zugeordnet werden kann. Der Komplex ist daher abbildbar auf den \(S_3 (g_{41}, g_{42},g_{43}, g_{44})\).