In mathematics, Dedekind sums are certain sums of products of a sawtooth function s, and are given by a function D of three integer variables. They are named after the mathematician Richard Dedekind, who introduced them to express the functional equation of the Dedekind eta function. They have subsequently been much studied in number theory, and have occurred in some problems of topology. Dedekind sums obey a large number of relationships on themselves; this article lists only a tiny fraction of these.

Contents

1 Definition 2 Alternate forms 3 Properties 4 Reciprocity law 5 References

Definition

Define the sawtooth function as

.

Then the function

D :Z³ → R

defined by

is called a Dedekind sum. For the case a=1, one often writes

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

Alternate forms

For integers b > 0 and c > 0, one can also write

and

and

where the sum extends over ω the c 'th root of unity.

Properties

Note that for c > 0,

and more generally,

for b coprime to c, that is, (b,c)=1.

If then with the same sign being taken as in the congruence. Does this equation hold for general D(a,b;c) ??

If then .

If then s(b,c) = 0.

Reciprocity law

If b > 0 and c > 0 and (b,c) = 1 then

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

If k = (3, c) then

and

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

Then one has nδ is an even integer.

References

• Tom M. Apostol, Modular functions and Dirichlet Series in Number Theory (1990), Springer-Verlag, New York. ISBN 0-387-97127-0 See chapter 3.
• Matthias Beck and Sinai Robins, Dedekind sums: a discrete geometric viewpoint, (2005 or earlier) [1]