Die projektiven Invarianten von vier Ebenen im \(R_5\). (Q2622667)

Wie \textit{R. Weitzenböck} gezeigt hat (Proceedings Amsterdam 35 (1932,) 1026-1029; F. d. M. 58), haben vier Ebenen \(a_{ikl},\;\alpha _{ikl}, p_{ikl}\) und \(\pi _{ikll}\) des projektiven \(R_5\) sieben Invarianten: sechs von der Gestalt \[ A_{12} = (a^3 \alpha ^3) = 36 \sum a_{123} \alpha _{456} \] (deren Verswchwinden aussagt, daß sich die Ebenen \(a\) und \(\alpha \) schneiden) und eine Invariante \[ I_{1234} = \left (a^3 \alpha ^2 p\right )\left (\alpha p^2 \pi ^3\right ). \] Diese letztere kann durch \[ S = I_{1234} - \frac {1}{6} A_{12} A_{34} + \frac {1}{18} a_{13} A_{42} - \frac {1}{18} A_{14} A_{23} \] ersetzt werden, wobei \(S\) symmetrisch in den vier Ebenen ist. Es wird für \(S=0\) eine geometrische Deutung gegeben. Je drei der Ebenen im \(R_5\) bestimmen durch ihre gemeinsamen Treffgeraden eine \textit{Segres}che Mannigfaltigkeit \(M_3^3\) die auch von \(\infty ^1\) Ebenen erzeugt werden kann. Im binären Gebiete dieser erzeugenden Ebenen entsprechen die drei erstgenannten Ebenen den Nullpunkten einer binären kubischen Form. Das Verschwinden von \(S\) ist dann die notwendige und hinreichende Bedingung dafür, daß die von drei der Ebenen aufgespannte \textit{Segres}che \(M_3^3\) von der vierten Ebene in einem Ebenentripel geschnitten wird, das zu der kubischen Kovariante des ersten Ebenentripels konjugiert ist. (V 5 F.)