Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The functional equations for Dedekind zeta functions (zeta functions attached to rings of integers in algebraic number fields) come from functional equations of theta functions like $\sum_{n \in \mathbb{Z}} q^{n^2}$, where $q = e^{2 \pi i z}$, which in turn come from the Poisson summation formula for lattices in Euclidean spaces.

The functional equations for zeta functions attached to curves over finite fields come from the Riemann Roch theorem and Serre Duality (see, e.g. Chapter 2 of Sam Raskin's write-up).

Rings of integers of algebraic number fields and curves over finite fields are analogous, (see, e.g. Jordan Ellenberg's discussion of Weil's three columns).

Is there a known uniform proof of the functional equations that covers both cases?

share|improve this question
Tate's thesis... –  Daniel Litt Feb 20 '13 at 19:57
This reference derives the Riemann-Roch theorem from a Poisson summation formula. –  plusepsilon.de Feb 20 '13 at 20:09
add comment

1 Answer 1

up vote 2 down vote accepted

Have a look at Bump Automorphic representations. The adelic picture is given there as does Tate's Thesis. I think Bump works in the global field context there. The main difference is that the adelic norm map has discrete image in the function field case, but that doesn't harm much.

Although Tate's proof works as well in characteristic p, he assumes the number field setting right from the start. It is a simple exercise to extent everything to global fields and Tate actually refers to Riemann Roch as an equivariant version of Poisson summation in his thesis. Certainly, also Weil's basic number theory is worth a look.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.