On ternary Hermitian forms in an imaginary quadratic field (fields \(\sqrt {-1}\) and \(\sqrt {-2})\). (Q5967579)

Eine Hermitesche Form \(f(x, y, z)\) mit ganzen Koeffizienten \(a_{gh}\) aus dem Körper \(\sqrt {-1}\) bzw. \(\sqrt {-2}\) heißt primitiv, wenn die \(a_{gh}\) keinen gemeinsamen reellen ganzen Teiler haben, eigentlich primitiv, wenn nicht alle drei \(a_{ff}\) gerade sind. Ist \(D (\neq 0)\) die Determinante der gegebenen Form und \(\varOmega (\geqq 1)\) der größte gemeinsame ganze rationale Teiler der Minoren zweiter Ordnung von \(||a_{gh}||\), so bilden die Formen \(f(x, y, z)\) mit gleichen \(D\) und \(\varOmega \) eine ``Ordnung''. Durchläuft nun \(F(x, y, z)\) alle eigentlich primitiven Formen einer gegebenen Ordnung, so läßt sich die zugehörige \(Z\)-Funktion \(\varSigma F(x, y, z)^{-s}\) auf Grund Hermitescher Sätze in eine gewöhnliche Dirichletsche Reihe mit angebbarem Bau der Koeffizienten entwickeln, woraus nun wiederum wichtige zahlentheoretische Schlüsse gezogen werden können. Unter anderem werden so verschiedene, bisher z. T. anscheinend unbewiesene, Liouvillesche Theoreme erledigt, z. B.: 1. die Anzahl der Darstellungen einer ungeraden Zahl \(m\) durch \(m_1^2 +\cdots +m_4^2+ 2(m_5^2+m_6^2)\) ist gleich \( 8\sum _{nn'=m}\Bigl(\dfrac {-1}{n'}\Bigr)n^2\); 2. die gleiche Darstellungsanzahl durch \(2(m_1^2 +\cdots +m_4^2)+ m_5^2+m_6^2\) ist halb so groß; 3. diejenige durch \(m_1^2 +\cdots + m_5^2+2m_6^2\) ist \(\dfrac {2}{3}\Bigl[ 16-\Bigl(\dfrac {-2}{m}\Bigr)\Bigr] \sum \Bigl(\dfrac {-2}{n'}\Bigr)n^2\). Ein ähnlicher Satz des Verf. selbst gilt z. B. für die Darstellungsanzahl \(\mu \) von \(m= 2m'+1\) durch \(m_1^2 +\cdots + m_6^2\): \(\mu =4\Bigl[ 4-\Bigl(\dfrac {-1}{m}\Bigr)\Bigr] \sum \Bigl(\dfrac {-1}{n'}\Bigr)n^2\). Verschiedene Klassenanzahlausdrücke werden aus den zugehörigen Dirichletschen Reihen nach bekanntem Paradigma gewonnen. Die Fülle der Resultate läßt sich in Kürze nicht gut wiedergeben.