On the projective geometry of a binary quartic and its Hessian. (Q1494829)

Ein Kegelschnitt \(K\) gehe durch den Koordinatenursprung \(O\) bei rechtoder schiefwinkeligen Koordinaten \(x\), \(y\); irgend ein Viereck \(P_{1}P_{2}P_{3}P_{4}\) auf \(K\) wird dann durch eine biquadratische binäre Form \(u(x,y)\) repräsentiert, so daß\ \(u=0\) die vier Geraden durch \(O\) liefert, die die Punkte des Vierecks ausschneiden. Indem man die Achsen durch \(O\) linear transformiert oder auch die Figur projiziert, wird die Form \(u\) einer linearen Transformation der Variabeln unterworfen. Sei ferner \(CHI\) das zum Viereck \(P_{1}P_{2}P_{3}P_{4}\) gehörige Hauptdreieck (Poldreieck von \(K\)), wobei die verschiedenen Realitätsfälle zu berücksichtigen sind, so schneiden die Seiten jenes Dreiecks \(K\) in drei Punktepaaren, die durch eine Gleichung sechsten Grades \(G=0\) gegeben werden, wo, wie man weiß, \(G\) die Kovariante sechster Ordnung der Form \(u\) ist. Umgekehrt existiert zu gegebenem Poldreieck \(CHI\) noch eine \(\infty^{1}\) Schar von Vierecken \(P_{1}P_{2}P_{3}P_{4}\) auf \(K\), die durch den Büschel \(\kappa u+\lambda H\) dargestellt sind, wenn \(H\) die \textit{Hesse}sche Form von \(u\) ist. Hat man irgend eine der Ecken \(P\) beliebig gewählt, so sind die drei übrigen eindeutig bestimmt. Es handelt sich um eine lineare Konstruktion des speziellen Vierecks \(H=0\), wobei zu beachten ist, daß, wenn die Wurzeln von \(u\) reell sind, die von \(H\) paarweise imaginär ausfallen, und ferner, daß\ die Korrespondenz zwischen beiden Formen keine eineindeutige ist, da umgekehrt einem gegebenen \(H\) noch zwei \(u\) entsprechen. Die Konstruktion beruht im Grunde auf der kanonischen Gestalt der Gleichung \(u=0\), bzw. des Büsches \(\kappa u+\lambda H=0\): \(4x^{2}y^{2}=\mu(x^{2}+y^{2})^{2}\), so daß\ die Gleichung \(G=0\) übergeht in \(xy(x^{4}-y^{4})=0\). Entspricht dem Werte \(\mu'\) des Parameters \(\mu\) diejenige Form des Büschels, die apolar ist zu \(u\), so gilt die einfache Relation \((2\mu-1)(2\mu'-1)=-3\), und die Gleichung \(H=0\) erhält die Gestalt \(4x^{2}y^{2}=\frac{1}{2}(2-\mu-\mu')(x^{2}+y^{2})^{2}\). Die daraus folgende Konstruktion von \(H\) wird mit allen Einzelnheiten diskutiert.