Dedekind sum

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.

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
:

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 .

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]

NodeWorks boosts web surfing!

Page Returned in 0.171 seconds - HTML Compressed 68.2%

This article is from Wikipedia. All text is available
under the terms of the GNU Free Documentation License.