Trilinear forms. (Q2588089)

Den Untersuchungen liegt zugrunde eine trilineare Form \[ \nomultlinegap \begin{multlined} T(m,n,p)=(\alpha x)(\beta y)(\gamma z)=\textstyle \sum a_{ijk}x_iy_jz_k,\\ (i=0,\dots,m;\;j=0,\dots,n;\;k=0,\dots,p)\end{multlined} \] wobei die drei Räume \([m]\), \([n]\), \([p]\) von \(m\), \(n\), \(p\) Dimensionen der resp. Veränderlichen \(x_i\), \(y_j\) und \(z_{k}\) als voneinander unabhängig gedacht werden. Bei der durch \(T = 0\) dargestellten Korrespondenz spielen die sogenannten ``neutralen Punktepaare'' eine wichtige Rolle. Es wird \[ 1\leqq m\leqq n\leqq p \] angenommen und vorausgesetzt, daß \(T\) keine neutralen Punkte besitzt, also z. B. kein Punkt \(x_i=x_i^0\) existiert mit \(T(x^0, y, z)\equiv 0\) für alle \(y\) und \(z\). Im besonderen wird der Fall \(p + 1 = m + n\) und davon wieder die Form \(T(2, n, n+1)\) behandelt. Hier gibt es \(N_n=\displaystyle {n+2\choose 2}\) neutrale Paare \(p_{h}\), \(q_{h}\), für welche \(T(p_h, q_h, z)\) für alle \(z\) verschwindet. Diese Paare bestehen aus \(N_n\) Punkten \(P_{N_{ n}}^2\) im binären \(x\)-Raum und ebensovielen Punkten \(Q_{N_{ n}}^n\) im \([n]\) der \(y\). Die damit verknüpften Figuren, Varietäten, Kongruenzen usw. werden untersucht, wobei von den Resultaten von Room ausgiebig Gebrauch gemacht wird. (\textit{T. G. Room}, The geometry of determinantal loci, Cambridge 1938; JFM 64.0693.*).