Conjectures on the dilogarithm (Q917598): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q123314100, #quickstatements; #temporary_batch_1707232231678 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: John H. Loxton / rank | |||
Property / reviewed by | |||
Property / reviewed by: John H. Loxton / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tabulation of the Function ψ(θ) = ∑ n = 1 ∞ sinnθ n 2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3205398 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5521595 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4744449 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Sylow 2-subgroups of K2OF for quadratic number fields F. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The inner structure of the dilogarithm in algebraic fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3253375 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Primitive divisors of the expression An - Bn in algebraic number fields. / rank | |||
Normal rank |
Latest revision as of 10:05, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Conjectures on the dilogarithm |
scientific article |
Statements
Conjectures on the dilogarithm (English)
0 references
1989
0 references
This intriguing paper explains a connection between K-theory and the dilogarithm function D(z). Let F be the imaginary quadratic field of discriminant d and let \(O_ F\) denote its ring of integers. By a conjecture of Lichtenbaum, \[ \#K_ 2O_ F=\frac{| d|}{D_ F}\sum_{1\leq j\leq | d| /2}(\frac{d}{j})D(\zeta^ j_{| d|}), \] where \(\zeta_ n=e^{2\pi i/n}\) and \(D_ F\) is a constant which can, in principle, be expressed as a linear combination of values of the dilogarithm. Although \(D_ F\) is not known for any field F, it turns out that ideas of Lewin can be used to find linear combinations of dilogarithms which, on the basis of Lichtenbaum's conjecture, are integral multiples of \(D_ F\). In the 15 cases in which {\#}K\({}_ 2O_ F\) is known, this gives a conjectural relation between values of the dilogarithm. The paper lists over 50 relations derived in this way, all of which check numerically, but few of which have been proved. The relation for \(D_ F\) is found by means of Lewin's cyclotomic equations, that is equations of the shape \(\prod (1-x^ r)^{a_ r}=x^{a_ 0}.\) The author describes a systematic method for finding quadratic irrationalities satisfying such an equation and lists the corresponding relations for the dilogarithm. To give one example, \(x=\frac{1}{4}(1+\sqrt{-15})\) satisfies a cyclotomic equation and leads to the relation \[ 5CL_ 2(t)-5CL_ 2(\pi -2t)-Cl_ 2(5t)=0,\quad t=\cos^{-1}\frac{1}{4}, \] where \(Cl_ 2\) denotes Clausen's function, \(Cl_ 2(t)=\sum^{\infty}_{n=1}\sin nt/n^ 2\), which can be expressed simply in terms of the dilogarithm. (In particular, \(D(z)=Cl_ 2(\arg_ z)\) when \(| z| =1\).)
0 references
K-theory
0 references
dilogarithm function
0 references
imaginary quadratic field
0 references
Lichtenbaum's conjecture
0 references
Lewin's cyclotomic equations
0 references
Clausen's function
0 references