Ueber binäre Formenbüschel mit Combinanteneigenschaften. (Q1539740)

Die Functionaldeterminante \(f\) eines allgemeinen Büschels \(\kappa\varphi+\mu\psi\) von binären Formen \(n^{\mathrm ter}\) Ordnung ist eine allgemeine binäre Form der Ordnung \(2\nu-2\); nimmt man daher letztere als eine beliebig gegebene Form gerader Ordnung \(f\) an, so wird eine endliche Anzahl verschiedener (d. h. linear in einander nicht überführbarer) Formenbüschel existiren, deren Functionaldeterminante mit \(f\) zusammenfällt. Diese (zuerst vom Referenten angegebene, weiterhin von Schubert und Stephanos auf anderem Wege bestätigte) Anzahl hat den Wert \(\frac{(2\nu-2)!}{(\nu-1)!\nu!}\). Der Verfasser unternimmt die wirkliche Aufstellung der Gleichung (des nämlichen Grades), von der die gemeinten Büschel abhängen; seine Methode erscheint dabei als Ausfluss allgemeinerer Betrachtungen, die er in seiner Habilitationsschrift (vgl. das Referat S. 111 ff. (JFM 19.0111.01)) entwickelt hat. Damit zwei Formen \(\varphi\) und \(\psi\) von der Ordnung \(n\) beziehungsweise zu zwei Büscheln mit der nämlichen Functionaldeterminante \(f\) gehören, ist es notwendig und hinreichend, dass eine gewisse Combinantinvariante \(J_n\) von \(\varphi\) und \(\psi\) verschwindet. Man kann \(J_n\) mittels einer Recursionsformel successive berechnen. Ist nun \(v\) eine weitere Form \(n^{\mathrm ter}\) Ordnung, so stellt das Product \(J(\varphi, \psi) J(\varphi, v)\) eine neue Simultaninvariante \(S\) von \(f, \varphi, v\) dar, mit der Eigenschaft, dass die Form \(\varphi\) des Büschels \(\kappa\varphi+\mu\psi\) nach Anwendung des invarianten Processes \(S\) ein Resultat ergiebt, welches, abgesehen von der Proportionalitätsconstanten \[ \lambda=J(\varphi,\psi), \] von den anderen Formen \(\psi\) des Büschels unabhängig ist. Diese Identität \[ S(f,\varphi,v)=\lambda J(\varphi,v) \] liefert durch Vergleichung der Coefficienten eine Gleichung \(\varDelta(\lambda)=0\), wo \(\varDelta(\lambda)\) selbst wieder die \((n-1)^{\mathrm te}\) Potenz eines Ausdruckes \(\varDelta_1(\lambda)\) vom Grade \(N = \frac{(2n-2)!}{(n-1)!n!}\) ist. Die Gleichung \(\varDelta_1(\lambda)=0\) löst das gestellte Problem, da einer jeden ihrer Wurzeln einer der gesuchten Formenbüschel entspricht. Die zweite Abhandlung beschäftigt sich mit einer nahe verwandten Frage. Der Büschel \(\kappa\varphi +\mu\psi\) \(n^{\mathrm ter}\) Ordnung enthält \(2n-2\) Formen mit doppeltem Linearfactor; das Product dieser Linearfactoren ist eben die Functionaldeterminante \(f\) des Büschels, während man die jenen Formen entsprechenden \(2n-2\) Parameterverhältnisse \(\frac{\kappa}{\mu}\) durch Nullsetzen der Discriminante \(\delta(\kappa,\mu)\) des Büschels findet. Diese Form \(\delta(\kappa,\mu)\) ist nun gleichfalls eine allgemeine Form der Ordnung \(2n-2\), und man kann wiederum \(\delta\) als eine beliebig gegebene Form gerader Ordnung ansehen und nach den zugehörigen (linear verschiedenen) Büscheln \(\kappa\varphi+\mu\psi\) fragen. Die aufgeworfene Frage findet für die einfachsten Fälle \(n = 2, 3, 4\) ihre Erledigung. Für \(n = 4\) kommt man dabei auf die bekannte Aufgabe zurück, eine binäre Form sechster Ordnung als Summe eines Kubus und eines Quadrats darzustellen. Jeder dieser (vierzig) Darstellungen entsprechen dann immer noch drei verschiedene Büschel \(\kappa\varphi+\mu\psi\). Allgemein wird dagegen der Satz bewiesen, dass die Discriminante der Discriminante \(\delta\) in drei wesentlich verschiedene Factoren zerfällt.