Formal Summation and Dirichlet L-functions

Recall the classical Riemann zeta function:

\zeta(s) = \sum_{n\geq 1}\frac{1}{n^s}

and the Dirichlet L-functions for a character \chi: \mathbb Z \to \mathbb C:

S(s,\chi) = \sum_{n\geq 1}\frac{\chi(n)}{n^s}.

defined for \Re(s) > 1.  These functions can be analytically continued to the entire complex plane (except a pole at s=1 in the case of \zeta(s)). In particular, the values at non positive integers carry great arithmetic significance and enjoy many properties.

For instance, L(s,\chi) is an algebraic integer and in fact equal to B_{k+1,\chi}/(k+1) where B_{k,\chi} are the generalized Bernoulli numbers. Moreover, these values satisfy p-adic congruences and integrality properties such as the Kummer congruence (and generalizations to the L-functions).

The standard proof of these proceeds by showing that L(s,\chi) satisfies a functional equation that relates L(1-s,\chi) to L(s,\overline{\chi}) and then computing the values L(n,\chi) for n \geq 1 integral using analytic techniques (such as Fourier analysis).

Proving the p-adic properties is then by working directly with the definition of the generalized Bernoulli numbers instead of the L-functions. However, the L-functions are clearly the fundamental object here and it would be nice to have a way to directly work with the values at negative integers (without using the functional equation).

One might be tempted to extend the series definition to the negative integers and say:

\zeta(-k)  "="  1^k + 2^k + 3^k + \dots

For instance, consider the following (bogus) computation:

\zeta(0)\frac{t^0}{0!} = 1^0\frac{t^0}{0!} + 2^0\frac{t^0}{0!} + \dots

\zeta(-1)\frac{t^1}{1!} = 1^1\frac{t^1}{1!} + 2^0\frac{t^1}{1!} + \dots

\zeta(-2)\frac{t^2}{2!} = 1^2\frac{t^2}{2!} + 2^2\frac{t^2}{2!} + \dots

. . .

and let us “sum” the columns first:

\sum_{k\geq 0}\zeta(-k)\frac{t^{k}}{k!} = e^{t} + e^{2t} + \dots = \frac{e^t}{1 + e^t}

which, remarkably enough, is the right generating function for \zeta(-k)! We have exchanged the summation over two divergent summations and ended up with the right answer.

In fact, it is possible to rigorously justify this procedure of divergent summation and moreover, one can use it to prove a lot of arithmetic properties of these values rather easily (like the Kummer congruence). I learnt the basic method from some lecture notes of Prof. Akshay Venkatesh here: Section 3, Analytic Class Number formula and L-functions.

I then discovered that one could use these techniques to compute the explicit values (along the outline above) and prove some more stuff. I wrote this up in an article (that also explains the basic technique and should be (almost) self contained) here: Divergent Series and Dirichlet L-functions.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s