On two of Liouville's quaternary forms (Q1119679): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3250671 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zeta-functions of binary Hermitian forms and special values of Eisenstein series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5511020 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über die Klassenzahl des Körpers \(P(\sqrt{-2p})\) mit einer Primzahl \(p\ne 2\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5801410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5675772 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the 2-part of the class number of imaginary quadratic number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3909097 / rank | |||
Normal rank |
Revision as of 15:03, 19 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On two of Liouville's quaternary forms |
scientific article |
Statements
On two of Liouville's quaternary forms (English)
0 references
1990
0 references
The quaternary forms referred to in the title are \(x^ 2+2y^ 2+3z^ 2+6t^ 2\) and \(x^ 2+y^ 2+6z^ 2+6t^ 2.\) The generating theta series of these forms are decomposed into Eisenstein series and the cusp eigenform \(H(z)=\eta (z)\eta (2z)\eta (3z)\eta (6z),\) where \(\eta\) denotes Dedekind's eta function. This yields Liouville's and Kloosterman's formulas for the numbers L(n) and K(n) of representations of n by these forms and, in particular, \(K(p)=L(p)=p+1+\lambda (p)\) for all primes \(p>3\), where \(\lambda\) (p) is the p-th Fourier coefficient of H(z). An analysis of L(p) and K(p) modulo small powers of 2 and the theory of ternary quadratic forms yield results on class numbers \(h(-n)\) of imaginary quadratic fields \({\mathbb{Q}}(\sqrt{-n}).\) One of the results is \[ h(-3p)\equiv h(-6p)\equiv (p+1+\lambda (p))(mod 16)\quad for\quad primes\quad p\equiv -1(mod 24).\quad This\quad implies\quad a\quad wea\ker \quad assertion\quad on\quad the\quad sum\quad \] \(h(-3p)+h(-6p)\) which is contained as a special case in \textit{A. Pizer}'s work [J. Number Theory 8, 184-192 (1976; Zbl 0329.12003)].
0 references
representation of integers
0 references
quaternary forms
0 references
theta series
0 references
Eisenstein series
0 references
cusp eigenform
0 references
Dedekind's eta function
0 references
Liouville's and Kloosterman's formulas
0 references
class numbers
0 references
imaginary quadratic fields
0 references