On the measure of the set of classes of positive Hermitian forms of a given discriminant in an imaginary quadratic field (Q1465316)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the measure of the set of classes of positive Hermitian forms of a given discriminant in an imaginary quadratic field |
scientific article |
Statements
On the measure of the set of classes of positive Hermitian forms of a given discriminant in an imaginary quadratic field (English)
0 references
1919
0 references
Fortsetzung der vorst. besprochenen Arbeit. Mit Dirichletschen Mitteln wird die Formel hergeleitet: \[ \sum_{l, c; x, y} \frac {1}{k_l} f_l^{-s} \left( \frac {X}{I_c}, \frac{Y}{I_c}\right) = h\sum \frac {1}{n^s}\cdot\sum \frac {1}{n^{s-1}} \cdot \prod_{(\pi)} \left[1 +\left( \frac{- \Delta}{\pi}\right) \frac {1}{\pi^{s-1}}\right]. \] Hier durchläuft \(f_l\) ein Repräsentantensystem der Klassen von Hermiteschen Formen der Diskriminante \(\Delta, I_c\) ein Repräsentantensystem der Idealklassen von \(k, n\) die ganzen, rationalen, zu \(2\Delta\) teilerfremden Zahlen, \(\pi\) die ungeraden Teiler von \(P,\) und \(X, Y\) alle diejenigen ganzen Zahlen von \(I_c,\) für die \(f \left ( \frac {X}{I_c}, \frac{Y}{I_c} \right)\) teilerfremd zu \(2\Delta\) ist, und für die der größte gemeinsame Teiler von \(X :I_c\) und \(Y :I_c\) ein Ideal der konjugierten Klasse zur Klasse von \(I_c\) ist. Daraus folgt: Die Anzahl der Darstellungen von \(m,\) die zu \(I_1, I_2, \dot s, I_h\) gehören, durch das Repräsentantensystem \(f_l\) (eine Darstellung als \(1 : k_l\) gezählt), ist das \(h\)-fache der Summte aller ganzen, positiven Teiler von \(m; h\) ist die Klassenzahl von \(k.\) Multipliziert man die obige Formel mit \((s - 2)\) und geht zur Grenze \(s = 2\) über, so ergibt sich: \[ M(\Delta)= \frac 18 P\Delta \prod_{(\delta)}\left[ 1 +\left( \frac{-P}{\delta}\right) \frac1\delta\right]\cdot \prod_{(\pi)} \left[1 +\left( \frac{-\Delta}{\pi}\right) \frac 1\pi \right], \] wo \(M(\Delta)\) das Maß\ der positiven Hermiteschen Formen im Körper \(k (\sqrt {-P})\) ist, \(\delta\) alle ungeraden Teiler von \(\Delta, \pi\) von \(P\) durchlaufen. \(\Delta\) und \(P\) sind ohne gemeinsamen ungeraden Teiler vorausgesetzt. Im Falle \(P =1\) werden auch die Resultate im Falle der uneigentlichen primitiven Formen angegeben. Im Falle \(P \equiv 3 (\text{mod.} 4)\) heißt \(axx_0 + bx_0y + b_0xy_0 + cyy_0\) eigentlich primitiv, wenn \(a, b, b_0, c\) ohne gemeinsamen Teiler sind. Die obige Gleichung bleibt wieder dieselbe, wenn \(h\) die Klassenzahl der uneigentlich primitiven binären Formen der Diskriminante \(P\) ist. Für das Maß\ ergibt sich: \[ M(\Delta)= \frac 1{24} P\Delta \prod_{(\delta)}\left[1 +\left( \frac{-P}\delta \right) \frac 1\delta\right]\cdot \prod_{(\pi)} \left[1 +\left( \frac{-\Delta}\pi\right) \frac 1\pi \right]. \] Die Formeln werden für \(P =1, \Delta =10\) und \(P = 7, \Delta =1\) angewandt. Auf entsprechende Fragen wird die Aufgabe zurückgeführt, die positive ungerade Zahl \(m\) als Summe von 6 Quadraten, d. h. durch die \textit{ternäre}, Hermitesche Form: \[ F(x, y, z) = xx_0 + yy_0 + zz_0 \] darzustellen. Es gilt die Formel: \[ \sum_{(X,Y,Z)} F^{-s}(X, Y, Z) =16\sum_{(n)} \frac 1{n^{s-2}} \cdot \sum_{(n)} \left( \frac {-1}n\right) \frac 1{n^s} - 4\sum_{(n)} \frac {1}{n^s} \cdot \sum_{(n)}\left( \frac {- 1}{n}\right) \frac {1}{n^s}-2, \] wo \(X, Y, Z\) alle ganzen Zahlen von \(k (\sqrt{-1})\) durchläuft, für die \(F(X,Y, Z)\) ungerade ist, und \(n\) alle ungeraden ganzen Zahlwerte annimmt. Daraus folgt ein arithmetischer Beweis des Satzes, daß\ die Anzahl der Darstellungen von \(m\) als Summe von 6 Quadraten Teich dem Produkt von \(\sum d^2\left( \frac {-1}{d}\right)\) (\(d\) alle Teiler von \(m\)) und \(16 \left( \frac {- 1}{m}\right)-4\) ist, eines Satzes, der sonst nur mit Hilfe elliptischer Funktionen bewiesen werden konnte.
0 references
Binary and ternary Hermitian forms
0 references
number of representations by Hermitian forms
0 references
sums of six squares
0 references