The minima of indefinite quaternary quadratic forms. (Q5893294)

Ist \[ f = \sum a_{\varkappa\lambda} x_\varkappa x_\lambda \qquad (a_{\varkappa \lambda} = a_{\lambda \varkappa}) \] eine quadratische Form in \(n\) Veränderlichen mit reellen Koeffizienten und nicht verschwindender Determinante \(a\), so erhält man einen gewissen Wertevorrat der Form, wenn man für die Veränderlichen beliebige ganze rationale Zahlen setzt; das Wertsystem \(0, 0, \dots, 0\) wird dabei ausgeschlossen. Die Menge der absoluten Beträge des Wertevorrats hat eine untere Grenze \(L(f)\). Die Bestimmung der oberen Grenze aller \(L(f)\), falls \(f\) alle Formen mit der gleichen Determinante \(a\) durchläuft, ist das Problem, das Verf. für indefinite quaternäre Formen löst. Die Untersuchung zerfällt naturgemäß nach der Signatur der Formen in zwei Teile: Ist \(f\) eine indefinite quaternäre Form mit der Signatur 0, \(a > 0\), so ist \[ L^4(f) \leqq \frac{64}{375}\, a \] außer für die Fälle \(L^4 = \dfrac 49 a\), \ \(L^4 = \dfrac{4}{17}\, a\). Bei diesen Ausnahmen ist \(\pm \dfrac{f}{L}\) bestimmten vom Verf. angegebenen Formen äquivalent. Ist \(f\) eine indefinite Form mit der Signatur \(\pm 2\), \(a < 0\), so ist \[ L^4(f) \leqq -\frac 15 \, a \] außer in den Fällen -- \(L^4 = \dfrac 47\, a\), \(\dfrac{4}{15}\, a\), \(\dfrac 29\, a\). Auch bei diesen Ausnahmen ist \(\pm \dfrac{f}{L}\) bestimmten, vom Verf. angegebenen Formen äquivalent. Zum Beweise seiner Behauptungen nimmt Verf. durchwegs an, daß die unteren Grenzen \(L(f)\) erreicht werden; diese Annahme läßt sich aber, wie Verf. versichert, ausschalten.