Die Invarianten der allgemeinen Fläche dritter Ordnung. (Q1526293)

Durch eine Gerade \(a\) der Fläche dritter Ordnung \(F^3\) gehen fünf dreifach berührende Tangentialebenen \(\mathfrak E_1\), \(\mathfrak E_2\), ..., \(\mathfrak E_5\), die noch je ein Geradenpaar \(b_1c_1\), \(b_2c_2\), ..., \(b_5c_5\) der Fläche enthalten. Auf \(a\) liegen ferner die Punktepaare einer Involution, die von den in den Ebenen des Büschels \(a\) enthaltenen Kegelschnitten von \(F^3\) ausgeschnitten werden. Haben nun zwei auf einander bezogene Flächen dritter Ordnung \(F^3(b_i,c_i,\mathfrak E_i)\), \(F'^3(b_i',c_i',\mathfrak E_i')\) gleiche Invarianten, werden sie also nur durch eine einzige Collineation in einander übergeführt, so ist dies mit der Bedingung identisch, dass die Doppelverhältnisse \((\mathfrak E_1\mathfrak E_2\mathfrak E_3\mathfrak E_4)\), \((\mathfrak E_1\mathfrak E_2\mathfrak E_3\mathfrak E_5)\), \((\mathfrak E_1\mathfrak E_2\mathfrak E_3\mathfrak D_1)\), \((\mathfrak E_1\mathfrak E_2\mathfrak E_3\mathfrak D_2)\) den entsprechenden von \(F'^3\) gleichen, wobei die Ebenen \(\mathfrak D_1\), \(\mathfrak D_2\) des Büschels \(a\) diejenigen Kegelschnitte von \(E^3\) enthalten, die \(a\) berühren.