Dedekind sum

Template:More footnotes needed In mathematics, Dedekind sums are certain finite sums of products of a sawtooth function. Dedekind introduced them in the 1880's to express the functional equation of the Dedekind eta function, in a commentary to Bernhard Riemann's collected papers.. They have subsequently been much studied in number theory but also occur in some results in topology, geometric combinatorics, algebraic geometry, and computational complexity. Dedekind sums have been generalized in various directions, satisfying a large number of functional equations; this article lists only a small fraction of these.

Definition

Define the sawtooth function $(()):ℝ\to ℝ$ as

$((x))=\{\begin{array}{cc}x-\lfloor x\rfloor -1/2,& \text{if }x\in ℝ\setminus \mathbb{Z};\\ 0,& \text{if }x\in \mathbb{Z}.\end{array}$

We then define the Dedekind sum

$D:{\mathbb{Z}}^2\times {\mathbb{Z}}_{>0}\to \mathbb{Q}$

by

$D(a,b;c)=\sum _{n=1}^{c-1}\left(\left(\frac{an}{c}\right)\right)\left(\left(\frac{bn}{c}\right)\right).$

For the case a = 1, one often writes

s(b, c) = D(1, b; c).

Simple formulae

Note that D is symmetric in a and b, i.e.,

$D(a,b;c)=D(b,a;c),$

and that, by the oddness of (( )),

D(−a, b; c) = −D(a, b; c).

By the periodicity of D in its first two arguments, the third argument being the length of the period for both,

D(a, b; c) = D(a+kc, b+lc; c), for all integers k,l.

If d is a positive integer, then

D(ad, bd; cd) = dD(a, b; c),

D(ad, bd; c) = D(a, b; c), if (d, c) = 1,

D(ad, b; cd) = D(a, b; c), if (d, b) = 1.

There is a proof for the last equality making use of

$\sum _{n=1}^{c-1}\left(\left(\frac{n+x}{c}\right)\right)=((x)),\mathrm{\forall }x\in ℝ.$

Furthermore, az = 1 (mod c) implies D(a, b; c) = D(1, bz; c).

Alternative forms

If b and c are coprime, we may write s(b, c) as

$s(b,c)=\frac{-1}{c}\sum _{\omega }\frac{1}{(1-{\omega }^b)(1-\omega )}+\frac{1}{4}-\frac{1}{4c},$

where the sum extends over the c-th roots of unity other than 1, i.e., over all $\omega$ such that ${\omega }^c=1$ and $\omega ≠1$.

Equivalently, if b and c are coprime, then

$s(b,c)=\frac{1}{4c}\sum _{n=1}^{c-1}\cot \left(\frac{\pi n}{c}\right)\cot \left(\frac{\pi nb}{c}\right).$

This reformulation mirrors the fact that the above cotangent function is the discrete Fourier transform of the sawtooth function.

The reciprocity law

Dedekind proved that, if b and c are coprime positive integers then

$s(b,c)+s(c,b)=\frac{1}{12}(\frac{b}{c}+\frac{1}{bc}+\frac{c}{b})-\frac{1}{4}.$

There exist several proofs from first principles, and Dedekind's reciprocity law is equivalent to quadratic reciprocity.

Rewriting the reciprocity law as

$12bc(s(b,c)+s(c,b))=b^2+c^2-3bc+1,$

it follows that the number 6c s(b,c) is an integer.

If k = (3, c) then

$12bcs(c,b)=0modkc$

and

$12bcs(b,c)=b^2+1modkc.$

A relation that is prominent in the theory of the Dedekind eta function is the following. Let q = 3, 5, 7 or 13 and let n = 24/(q − 1). Then given integers a, b, c, d with ad − bc = 1 (thus belonging to the modular group), with c chosen so that c = kq for some integer k > 0, define

$\delta =s(a,c)-\frac{a+d}{12c}-s(a,k)+\frac{a+d}{12k}.$

Then $n\delta$ is an even integer.

Rademacher's generalization of the reciprocity law

Hans Rademacher found the following generalization of the reciprocity law for Dedekind sums: If a, b, and c are pairwise coprime positive integers, then

$D(a,b;c)+D(b,c;a)+D(c,a;b)=\frac{1}{12}\frac{a^2+b^2+c^2}{abc}-\frac{1}{4}.$

Hence, the above triple sum vanishes if and only if (a, b, c) is a Markov triple, i.e., a solution of the Markov equation

$a^2+b^2+c^2=3abc.$

Further reading

• Tom M. Apostol, Modular functions and Dirichlet Series in Number Theory (1990), Springer-Verlag, New York. Template:ISBN (See chapter 3.)