On Selling's method of reduction for positive ternary quadratic forms. (Q563546)

Wenn eine ternäre quadratische Form \[ f=ax^2+by^2+cz^2+2g\, yz+2h\, xz+2k\, xy \] mit ganzen rationalen Koeffizienten durch eine lineare ganzzahlige Transformation mit der Determinante Eins in \(\bar f\) übergeführt wird, so heißen \(\bar f\) und \(f\) äquivalent. Für positiv-definite \(\bar f\) werden Normalformen (reduced forms) untersucht, die durch Ungleichungen zwischen den Koeffizienten \(\bar a,\bar b,\ldots \) festgelegt sind und die nicht äquivalent sind untereinander. Es werden zwei Normalformen betrachtet: Die von \textit{Seeber}-\textit{Eisenstein} (hier \textit{SE}-Form genannt) und die von \textit{Selling-Charve} (hier \textit{SC}-Form genannt). \textit{Selling} (1877; F. d. M. 9, 141 (JFM 09.0141.*)) führt vier neue Konstante \(d,l,m\) und \(n\) ein durch die Gleichungen \[ \begin{alignedat}{2} a+h+k+l &=0,&\quad b+g+k+m&=0,\\ c+g+h+n&=0,&\quad d+l+m+n &=0,\end{alignedat} \] und für die \textit{SC}-Form gilt dann, daß \(g,h,k,l,m\) und \(n\) nicht positiv sind. Zu einer gegebenen \(f\) ist diese \textit{SC}-Form nur bis auf Permutationen von \(x, y, z\) eindeutig. Verf. verschärft die Bedingungen durch Hinzunahme zweier weiterer Ungleichungen, so daß eine eindeutige Zuordnung entsteht. Hierbei wird von einer Hilfsform mit vier Veränderlichen Gebrauch gemacht, die auch von \textit{Charve} (1880; F. d. M. 12, 145 (JFM 12.0145.*)) benutzt wurde. In einem \S {} 3 werden die Beziehungen der \textit{SE}- und \textit{SC}-Formen zueinander durch eine Reihe von Sätzen erläutert. Zum Schlüsse werden in \S {} 4 die beiden Normalformen für automorphe Formen besprochen, wobei reichlich auf das Buch von \textit{L. E. Dickson}, ``Studies in the theory of numbers'' (1930; JFM 56.0154.*) verwiesen wird.