The minima of positive quaternary Hermitian forms. (Q2606136): Difference between revisions

Für das Minimum L einer quaternären positiven \textit{Hermite}schen Form der Determinante \(\varDelta\), deren Variable alle Systeme ganzer Zahlen eines imaginären quadratischen Körpers \(K(i\sqrt m)\) (\(m\) quadratfrei) durchlaufen außer dem System \(0,0,0,0\), wird die Ungleichung \[ \frac{L^4}{\varDelta} \leqq \left\{ \begin{matrix} \l \quad &\l \;& \l \\ 16m^2 & \text{für}& m \not\equiv 3 \pmod 4, \\ m^2 &\text{für} & m \equiv 3 \pmod 4 \end{matrix} \right. \] gewonnen. Sie ergibt sich, indem man die Form als quadratische Form von acht reellen Variablen schreibt, aus einem Satz von \textit{Blichfeldt} (Math. Z. 39 (1934), 1-15; JFM 60.0924.*). Speziell für \[ m = a^2 + 2b^2 \equiv 3 \pmod 4 \quad (a, \;b \;\text{ganz rational)} \] und für \(m = 1\) ist obige Schranke genau; es werden Formen angegeben, bei denen Gleichheit gilt.