The Riemann zeta function , defined for by the formula

(1)

where are the natural numbers, and extended meromorphically to other values of s by analytic continuation, obeys the remarkable functional equation

(2)

where

(3)

is the Riemann Xi function,

(4)

is the *Gamma factor at infinity*, and the Gamma function is defined for by

(5)

and extended meromorphically to other values of s by analytic continuation.

There are many proofs known of the functional equation (2). One of them (dating back to Riemann himself) relies on the Poisson summation formula

(6)

for the reals and , where is a Schwartz function, is the usual Archimedean absolute value on , and

(7)

is the Fourier transform on , with being the standard character on . (The reason for this rather strange notation for the real line and its associated structures will be made clearer shortly.) Applying this formula to the (Archimedean) Gaussian function

, (8)

which is its own (additive) Fourier transform, and then applying the *multiplicative *Fourier transform (i.e. the Mellin transform), one soon obtains (2). (Riemann also had another proof of the functional equation relying primarily on contour integration, which I will not discuss here.) One can “clean up” this proof a bit by replacing the Gaussian by a Dirac delta function, although one now has to work formally and “renormalise” by throwing away some infinite terms. (One can use the theory of distributions to make this latter approach rigorous, but I will not discuss this here.) Note how this proof combines the additive Fourier transform with the multiplicative Fourier transform. [Continuing with this theme, the Gamma function (5) is an inner product between an additive character and a multiplicative character , and the zeta function (1) can be viewed both additively, as a sum over n, or multiplicatively, as an Euler product.]

In the famous thesis of Tate, the above argument was reinterpreted using the language of the adele ring , with the Poisson summation formula (4) on replaced by the Poisson summation formula

(9)

on , where is the rationals, , and f is now a Schwartz-Bruhat function on . Applying this formula to the adelic (or global) Gaussian function , which is its own Fourier transform, and then using the adelic Mellin transform, one again obtains (2). Again, the proof can be cleaned up by replacing the Gaussian with a Dirac mass, at the cost of making the computations formal (or requiring the theory of distributions).

In this post I will write down both Riemann’s proof and Tate’s proof together (but omitting some technical details), to emphasise the fact that they are, in some sense, the same proof. However, Tate’s proof gives a high-level clarity to the situation (in particular, explaining more adequately why the Gamma factor at infinity (4) fits seamlessly with the Riemann zeta function (1) to form the Xi function (2)), and allows one to generalise the functional equation relatively painlessly to other zeta-functions and L-functions, such as Dedekind zeta functions and Hecke L-functions.

[Note: the material here is very standard in modern algebraic number theory; the post here is partially for my own benefit, as most treatments of this topic in the literature tend to operate in far higher levels of generality than I would prefer.]

— Riemann’s proof —

Applying the Poisson summation formula (2) for to the Schwartz function (8), we see that the theta function

(10)

obeys the functional equation

(11)

for . In particular, since is rapidly decreasing as , we see that is rapidly decreasing as .

Formally, we can take Mellin transforms of (11) and conclude that

(12)

for any s, where is the standard multiplicative Haar measure on . This does not make rigorous sense, because the integrands here diverge at 0 and at infinity (which is ultimately due to the poles of the Riemann Xi function at s=0 and s=1), but let us forge ahead regardless. By making the change of variables and using (3), (4), we see that

(13)

and so from (10) and (1) we formally have

. (14)

If we casually discard the divergent integral and apply (12), we formally obtain the functional equation (2).

Of course, the above computations were totally formal in nature. Nevertheless it is possible to make the argument rigorous. For instance, when , we have a rigorous version of (14), namely

, (15)

which can be deduced from (13) and Fubini’s theorem (or by dominated convergence). Using (11) and a little undergraduate calculus, we can rewrite the left-hand side of (15) as

. (16)

Observe that this expression extends meromorphically to all of s and can thus be taken as a definition of for all , and the functional equation (2) is then manifestly obvious.

Here is a slightly different way to view the above computations. Since the Gaussian (8) is its own Fourier transform, we see for every that the Fourier transform of is . Integrating this fact against on using (13), we obtain (formally) at least that the Fourier transform of is . (Note from scaling considerations it is formally clear that the Fourier transform of must be some sort of constant multiple of ; the Gamma factors can thus be viewed as the normalisation of these multiplicative characters that is compatible with the Fourier transform.) Formally applying the Poisson summation formula (4) to this, and casually discarding the singular terms at the origin, we obtain (2). One can make the above computations rigorous using the theory of distributions, and by using Gaussians to regularise the various integrals and summations appearing here, in which case the computations become essentially equivalent to the previous ones.

— p-adic analogues —

The above “Archimedean” Fourier analysis on has analogues in the p-adic completions of the rationals . (This is analogous to my discussion of dyadic models, although the p-adics are still characteristic 0 and are thus not as dyadic as their function field cousins , .)

Recall that the reals are the metric completion of the rationals with respect to the metric arising from the usual Archimedean absolute value . This absolute value obeys the following basic properties:

- Positivity: we have for all x, with equality if and only if x=0.
- Multiplicativity: we have for all x, y.
- Triangle inequality: We have for all x, y.

A function from k to with the above three properties is known as an absolute value (or valuation) on k. In addition to the Archimedean absolute value, each prime p defines a p-adic absolute value on k, defined by the formula , where n is the number of times p divides x. (This number could be negative if the denominator of the rational number x contains factors of p.) Equivalently, is the unique valuation such that and whenever n is an integer coprime to p.

One easily verifies that is an absolute value; in fact it not only obeys the triangle inequality, but also the ultra-triangle inequality , making the p-adic absolute value a non-Archimedean absolute value.

A classical theorem of Ostrowski asserts that the Archimedean absolute value and the p-adic absolute values are in fact the *only* absolute values on the rationals k, up to the renormalisation of replacing an absolute value |x| with a power . If we define a place to be an absolute value up to renormalisation, we thus see that the rationals k have one Archimedean (or infinite) place , together with one non-Archimedean (or finite) place p for every prime.

One could have set to some other value between 0 and 1 than 1/p (thus replacing with some power ) and still get an absolute value; but this normalisation is natural because it allows one to write the fundamental theorem of arithmetic in the appealing form

for all (17)

where ranges over all places, and is the multiplicative group of k.

If one takes the metric completion of the rationals using a p-adic absolute value rather than the Archimedean one, one obtains the p-adic field . One can view this field as a kind of inverted version of the real field , in which p has been inverted to be small rather than large. Some illustrations of this inversion:

- In , the sequence goes to infinity as and goes to zero as ; in , it is the other way around.
- Elements of can be expressed base p as strings of digits that need not terminate to the right of the decimal point, but must terminate to the left. In , it is the other way around. (The famous ambiguity in does not occur in the p-adic field , because the latter has the topology of a Cantor space rather than a continuum.)
- In , the integers is closed and forms a discrete cocompact additive subgroup. In , the integers are not closed, but their closure (the ring of p-adic integers) forms a compact codiscrete additive subgroup.

Despite this inversion, we can obtain analogues of most of the additive and multiplicative Fourier analytic computations of the previous section for the p-adics.

Let’s first begin with the additive Fourier structure. By the theory of Haar measures, there is a unique translation-invariant measure on which assigns a unit mass to the compact codiscrete subgroup . One can check that this measure interacts with dilations in the expected manner, thus

(18)

for all absolutely integrable f and all invertible .

Just as has a standard character , we can define a standard character as the unique character (i.e. continuous homomorphism from to ) such that for all integers n (in particular, is trivial on the integers, just as is). One easily verifies that this is indeed a character. From this and the additive Haar measure , we can now define the p-adic Fourier transform

(19)

for reasonable (e.g. absolutely integrable) f, and it is a routine matter to verify all the usual Fourier-analytic identities for this transform (or one can appeal to the general theory of Fourier analysis on locally compact abelian groups).

In , we have the Gaussian function (8), which is its own Fourier transform. In , the analogous Gaussian function is given by the formula

, (20)

i.e. the p-adic Gaussian is just the indicator function of the p-adic integers. One easily verifies that this function is also its own Fourier transform.

Now we turn to the multiplicative Fourier theory for . The natural multiplicative Haar measure on is given by the formula ; the normalisation factor is natural in order for the group of units to have unit mass.

In , we see from (13) that the Gamma factor at infinity can be expressed (for ) as the Mellin transform of the Gaussian:

. (21)

In analogy with this, we can define the Gamma factor at p by the formula

. (22)

Due to the simple and explicit nature of all the expressions on the right-hand side, it is a straightforward matter to compute this factor explicitly; it becomes

(23)

for , at least; of course, one can then extend meromorphically in the obvious manner.

In , we showed (formally, at least) that and were Fourier transforms of each other. One can similarly show that and are Fourier transforms of each other in .

On the other hand, there is no obvious analogue of the Poisson summation formula manipulations for , because (unlike ), lacks a discrete cocompact subgroup.

— Tate’s proof —

We have just performed some “local” additive and multiplicative Fourier analysis at a single place. (This use of “local” may seem unrelated to the topological or analytical notion of “local”, as in “in the vicinity of a single point”, but it is actually much the same concept; compare for instance the formal power series in p for a p-adic number with the Taylor series expansion in of a function f(t) around a point . Indeed one can view local analysis at a place p as being the analysis of the integers or rationals when p is “close to zero”; one can make this precise using the language of schemes, but we will not do so here.)

In his famous thesis, Tate observed that all these local Fourier-analytic computations could be unified into a single global Fourier-analytic computation, using the languge of the adele ring . This ring is the set of all tuples , where ranges over places and , and furthermore all but finitely many of the lie in their associated ring of integers . (Equivalently, the adele ring is the tensor product of the rationals with the ring of integral adeles .) This restriction that the consists mostly of integers in is important for a large variety of analytic and algebraic reasons; for instance, it keeps the adele ring -compact.

Many of the structures and objects on the local fields can be multiplied together to form corresponding global structures on the adele ring. For instance:

- The commutative ring structures on the multiply together to give a commutative ring structure on .
- The locally compact Hausdorff structures on the multiply together to give a locally compact Hausdorff structure on .
- The local additive Haar measures on the multiply together to give a global additive Haar measure on .
- The local characters on the multiply together to give a global character (here it is essential that most components of an adele are integers, and so are trivial with respect to their local character).
- The local additive Fourier transforms on the then multiply to form a global additive Fourier transform on , defined as for reasonable f.
- The local absolute values on multiply to form a global absolute value on , though with the important caveat that |x| can vanish for non-zero x (indeed, a simple calculation using Euler’s observation shows that almost every x does this, with respect to additive Haar measure). The x for which |x| is non-zero are invertible and known as ideles, and form a multiplicative group ; the ideles have measure zero inside the adeles.
- The local gaussians multiply together to form a global gaussian , which is its own Fourier transform.
- The embeddings at each place multiply together to form a diagonal embedding . This embedding is both discrete (by the fundamental theorem of arithmetic) and cocompact (this is basically because the integers are cocompact in the adelic integers).
- The local multiplicative Haar measures multiply together to form a global multiplicative Haar measure , though one should caution that this measure is supported on the ideles rather than the adeles .
- The local Gamma factors for each place multiply together to form the Riemann Xi function (3) (for at least), thanks to the Euler product formula .

Recall that the local Gamma factors were the local Mellin transforms of the local Gaussians. Multiplying this together, we see that the Riemann Xi function is the global Mellin transform of the global Gaussian:

. (24)

Our derivation of (24) used the Euler product formula. Another way to establish (24) using the original form (1) of the zeta function is to observe (thanks to the fundamental theorem of arithmetic) that the set is a fundamental domain for the action of on , thus

. (25)

Partitioning (24) using (25) and then using (13) and (1) one can give an alternate derivation of (24). (The two derivations are ultimately the same, of course, since the Euler product formula is itself essentially a restatement of the fundamental theorem of arithmetic.)

In his thesis, Tate established the Poisson summation formula (9) for the adeles for all sufficiently nice f (e.g. any f in the Schwartz-Bruhat class would do). Applying this to the global gaussian g, we conclude that the global Theta function obeys the functional equation

(26)

for all ideles t. This formally implies that

(27),

which on applying (25) and (24) (and casually discarding the singular contributions of ) yields the functional equation (2). One can make this formal computation rigorous in exactly the same way that Riemann’s proof was made rigorous in previous sections.

Recall that Riemann’s proof could also be established by inspecting the Fourier transforms of . A similar approach can work here. If we (very formally!) apply the Poisson summation formula (9) to the measure , one obtains

. (28)

Unpacking this summation using (25) (and (17)), and casually discarding the a=0 term, we formally conclude that

. (29)

Rescaling this, we formally conclude that the Fourier transform of is . Inserting this into (24), the functional equation (2) formally follows from Parseval’s theorem; alternatively, one can derive it by multiplying together all the local facts that the Fourier transform of in is . These arguments can be made rigorous using the theory of distributions (and a lot of care), but we will not do so here.

## 46 comments

Comments feed for this article

27 July, 2008 at 6:58 pm

Chandan Singh Dalawat> their function field cousins {\Bbb F}_p(t), {\Bbb F}_p(t)[1/t].

You mean {\Bbb F}_p[[t]] and {\Bbb F}_p((t)).

27 July, 2008 at 8:06 pm

Terence TaoThanks for the correction!

27 July, 2008 at 9:18 pm

Richard BorcherdsAndre Weil gave a neat explanation for the mysterious gamma factor (p-adic or real). The key point is that for each degree (=character of k^*), there is a unique distribution (up to a constant) that is homogeneous of that degree. (This is obvious at non-zero points; one has to think a bit about what happens at 0.) The gamma factor is what one has to multiply the “obvious homogeneous distributions” |x|^s and so on by to get a function that is holomorphic for ALL complex s. (The gamma factor is uniquely determined by this given some normalization and growth conditions.) The functional equation then follows trivially becuase the Fourier transform of a homogeneous distribution is also homogeneous (of some other degree).

In higher rank groups, the analogue of Weil’s description of the gamma factor gives

the local L-factor of an automorphic form.

28 July, 2008 at 1:57 am

andersThanks for a very nice post. I was wondering, once you have Tate’s machinery in place, how much extra work is necessary in order to calculate the residue at 1 of the Xi function (in most textbooks dealing with Tate’s thesis the analytic class number formula seems to be proven more or less concurrently with the functional equation).

More generally do you always get results regarding special values of the zeta-function at suitable integers, when you have a Tate-style (=harmonic analysis on adele/idele) proof of the functional equation?

28 July, 2008 at 2:01 am

andersI mean zeta-functions of more general arithmetic objects in my follow-up question.

28 July, 2008 at 10:04 am

DavidHi Anders,

The special values of zeta and L-functions are a very subtle business. But a few words in response to your question:

1. When an L-function has a pole, this is expected to always be for a ‘good reason.’ For example, a cusp form on GL(2n) (satisfying some auxiliary conditions) is known to be a functorial lifting from either SO(2n) or SO(2n+1) according to whether its symmetric square or exterior square L-function has a pole, respectively. Another example arises in the Tate conjecture, whereby an L-function attached to the etale cohomology of a variety is expected to have a pole whose order equals the dimension of a certain group of algebraic cycles.

2. The question of determining at which points an L-function takes interesting or arithmetically significant values is a subtle business. There is a formalism due to Deligne which characterizes these critical points in terms of the archimedian Langlands parameters; so for example, the Riemann zeta function is interesting at n=2,4,6,8… while the Dirichlet L-function attached to the real character of conductor 4 is interesting at n=1,3,5,7…. because these two L-functions have different gamma factors. And to the best of my knowledge, proofs of special value formulae almost never arise from the Tate-style proof of analytic continuation, with Dedekind zeta functions and the associated analytic class number formula being a notable exception.

28 July, 2008 at 1:43 pm

Anders KarlssonHi,

I could add that Euler’s formula for the special values of the Riemann zeta at n=2,4,6,… in fact follows from Riemann’s approach taking a Laplace transform on (11) instead of the Mellin transform, and series expand both sides. See “Applications of heat kernels on abelian groups: ζ(2n), quadratic reciprocity, Bessel integrals” which is a preprint on my webpage for details. It’s the only reference for this that I know of. The approach generalizes.

28 July, 2008 at 3:29 pm

Anonymousis there a nice way to save a blog leaving out the links on the side?

29 July, 2008 at 8:35 am

AnonymousDear Anonymous,

I have found the best way to save (or print) these entries is to cut and paste the text into a word processor. Most of the newer ones (MS Word, for example) will preserve the formatting and tex images.

29 July, 2008 at 1:33 pm

Terence TaoDear Richard: Thanks for the comment! I can sort of see why the analyticity criterion would uniquely determine the Gamma factor (by Weierstrass factorisation) though it is not so obvious to me why there would be existence for this Gamma factor (unless one already possessed a “gaussian” function that was its own Fourier transform and had good decay and regularity properties, as in the post). Still, it is a very pretty way to canonically define these things.

Dear Anders: I don’t really have a good answer to your question, but once one has a functional equation, one can compute the values at positive integers from the values at negative integers, which have a more “polynomial” nature to them and so would presumably be able to be computable explicitly in many cases. For instance, I believe one can extract the value of for integer k by computing the asymptotics for partial sums like , or perhaps for a suitable cutoff function , and discarding the leading (or “archimedean”) term. The explicit formulae for these sums involve Bernoulli numbers and so it is not terribly surprising that the same is true for the zeta function (though it is unfortunate that one does not get any non-trivial result when k is even).

Dear anonymous #1: If you “print preview” a page from this blog then you can get a version of that page without the sidebar, which you should then be able to save to a file using your browser.

31 July, 2008 at 5:11 am

Yong-HuiSome Questions:

If we fixed the Gamma factors, the L-functions with these fixed Gamma factors will form a linear space over C. Is that linear space finite dimension?

The answer is positive for automorphic L-function, because of the analytic strong multiplicity one theorem for automorphic forms.

It says, if the analytic conductor (conductor \times parameter in Gamma factors) is fixed, then the automorphic L-function is determined by its finite coefficients.

But is that possible to determine the basis?

31 July, 2008 at 6:12 am

Gergely HarcosYong-Hui, the space is not finite dimensional. For example, L-functions corresponding to even primitive Dirichlet characters all share the same Gamma factor, yet they do not form a finite dimensional space. Maybe your definition of the gamma factor differs from mine. At any rate, the strong multiplicity theorem implies that even when you don’t fix the analytic conductor, an automorphic L-function is still determined by its finite coefficients. You can even omit any finite number of local factors at various places, the remaining partial L-function still determines the underlying automorphic representation. Finally, “determining” an L-function is a vague concept. Most automorphic L-functions don’t even have algebraic coefficients, at least this is what we conjecture.

31 July, 2008 at 10:06 am

Emmanuel KowalskiIt’s not even clear to me what

“the L-functions with these fixed Gamma factors will form a linear space over C”

really means. If L-functions are assumed to have an Euler product (as is often assumed to be part of the definition), then they do not form a vector space.

31 July, 2008 at 11:54 am

Gergely HarcosMaybe he/she meant the vector space generated by these objects, at least this is what I had in mind in my comment.

1 August, 2008 at 2:12 am

Yong-HuiThanks for the comments of Harcos and Kowalski. Though they have answered my questions, I should still be responsible for clarifing my question in detail:

1. If we only consider the functional equation, (not Euler product), does the L-functions with the same Gamma factors form a linear space? Harcos has given the negative answer by the example of even Dirichlet L-function. Maybe I should add a further condition: also with the same conductors, that is, does the L-functions with the same type of functional equation form a linear space?

2. At a first glance, it seems to be true. But as Kowalski commented, if we assume that these L-functions also have an Euler Product, then they do not form a vector space. For example, look the classical Hecke modular form, the coefficients must obey

a(n)a(m)=a(mn) if (m,n)=1,

which shows the addition and scalar multiplication is not closed in that space.

1 August, 2008 at 2:53 am

Yong-Hui3. So take the classical holomorphic cusp form as the example:

a) is a linear space, and hence the corresponding L-functions also form a linear space of finite dimension.

b) has a basis consists of Hecke eigenfunctions, but the Hecke eigenfunctions does not form a linear space. That is, if the corresponding functions with assumption of Euler products does not form a linear space.

I remember that, it will be very difficult to find a basis in , even , is that true?

1 August, 2008 at 10:06 am

AnonymousFinding a basis in the case that is equal to the full modular group is actually very simple (one can give a basis quite explicitly in terms of Eisenstein series, and then linear algebra is essentially all that is required to find a basis of Hecke eigenforms). I suspect that it is not much different in the general case.

2 August, 2008 at 12:40 pm

Ijon TichySorry to butt in with a monumental display of ignorance, but I was wondering what is the difference between and ?

2 August, 2008 at 3:26 pm

AnonymousThe symbol $:=$ means ‘is defined to be.’ It’s usually used only when one is introducing a function or notation for the first time. Mathematically, it is equivalent to the more commonplace $=$.

2 August, 2008 at 5:02 pm

Ijon TichyThank you, Anonymous.

4 August, 2008 at 4:14 pm

bad mathematicianTerry, you are amazing! I will never be able to understand what you did there even with a Ph.D in maths!

You are true genious and my hero!

5 August, 2008 at 6:42 am

Pedro Lauridsen RibeiroJust trying to understand Prof. Borcherds’s comment a bit better

(probably at the cost of some redundancy, but anyway): if I recall

correctly the discussion on homogeneous distributions on,

say, Section 3.2 of Hörmander’s 4-volume book on linear PDE, the

gamma function appears because it has

simple poles at precisely the location of the dimensional poles

of (that is, the poles of

seen as a function of , where is any test

function), which are _also _simple, and also because the Gamma

function has no zeroes. Wouldn’t the normalization of at each pole $a$,

together with the above remark, uniquely determine the Gamma

factor by some, say, Mittag-Leffler-type argument?

If all of the above is true, I wonder how to go from this to

non-Archimedean valuations, or even the adèle ring…

30 January, 2009 at 1:22 pm

AnonymousBy the way, an interesting proof of the Riemann hypothesis on the zeros of the zeta function is submitted to arXiv. Personally I could not find any errors in this proof.

1 February, 2009 at 9:04 am

Terence TaoDear anonymous,

I took a look at the preprint. The strategy, at least, is clear (in contrast to some other attempts at the problem): create a class of holomorphic functions on a strip whose zeroes are necessarily on the real line, and show that the Riemann Xi function (a close cousin of the zeta function) is in this class. But there are three problems with this, in increasing order of generality:

1. The author’s claim that Xi is in this class (page 2) is incorrect: the function has the required super-Gaussian decay as , but not as .

2. More generally, the class of functions specified is in fact empty. This can be seen by combining the Paley-Wiener theorem with Hardy’s uncertainty principle (a non-trivial function and its Fourier transform cannot both decay at super-Gaussian rates). (It is likely that the author’s own arguments can also be modified to achieve this result.) This of course helps explain point 1. above.

3. More generally still, the conditions used to define the class are essentially linear (for any f, g in the class, f+tg will be in the class for all but at most one value of t), whereas the condition of having all zeroes on the real line is extremely nonlinear (for any f, g with zeroes on the real line, and not scalar multiples of each other, f+tg will have a zero off the real line for uncountably many t). So the only classes of this type for which all zeroes are real have to be at most one-dimensional (e.g. scalar multiples of the Xi function, assuming RH). This helps explain point 2. above.

1 February, 2009 at 10:48 am

ADamHi Terry,

Can it be shown that 2/3 of the zeros are on the 1/2 line? Surely a nonlinear delay equation expert could get 9/10.

1 February, 2009 at 1:19 pm

Anonymous> More generally, the class of functions specified is in fact empty.

What about the function ?

1 February, 2009 at 2:44 pm

Terence TaoHmm, fair enough; I managed to mis-apply the Paley-Wiener theorem, and so points 1. and 2. no longer apply. But point 3 is still valid: by taking a suitable linear combination of , , and , for instance, one can create a zero off the real line without violating any of the hypotheses of the theorem, so something must be wrong with the proof of that theorem.

2 February, 2009 at 1:32 pm

AnonymousActually point 3. applies if the author considers complex-valued functions.

6 February, 2009 at 4:36 am

BithHi ADam,

Lord Cherwell encountered y'(x) = – log2 y(x-1) [1+y(x)] in his application of probability methods to the distribution of prime numbers. However, it is not clear how to attack this model with \alpha \geq 37/24 replacing log2.

9 February, 2009 at 10:51 am

ref2BBHi Terry,

What do you think about the R\'{e}dei zeta function for finite abelian groups? E.g., K. S. Alexander, K. Baclawski, G.-C. Rota, Proc. Nat. Acad. Sci. U.S.A. 90.

6 April, 2009 at 2:58 pm

245C, Notes 2: The Fourier transform « What’s new[…] Another example of an LCA group, of importance in number theory, is the adele ring , discussed in this earlier blog post. […]

13 July, 2009 at 5:55 pm

Selberg’s limit theorem for the Riemann zeta function on the critical line « What’s new[…] can be viewed as a consequence of the Poisson summation formula, see e.g. my blog post on this topic) we know that there are no zeroes for either (except for the trivial zeroes at negative even […]

14 June, 2010 at 2:04 am

Essay on Tate’s thesis « Motivic stuff[…] Posted by Andreas Holmstrom on June 14, 2010 Many years ago I wrote an essay on Tate’s thesis, which is now (finally) available here. This is the “baby case” of the global Langlands correspondence, and involves lots of interesting mathematics. Obviously there are many other introductions to Tate’s thesis on the web, for example on the blog of Terry Tao. […]

22 September, 2010 at 6:46 am

Paul-Olivier DehayeI think in equation (18), you need to clarify that you want the p-adic valuation of t, not the usual absolute value.

[Corrected, thanks – T.]2 June, 2011 at 12:19 am

局部紧群上的Fourier分析 « Fight with Infinity[…] Atiyah在谈到20世纪的数学时举出了几个趋势：从有限维到无穷维，从交换到非交换等等。Peter-Weyl定理保证拓扑群的所有不可约表示都是有限维的，这绝对依赖于的紧性，故可以视为一个“非交换却有限”的结果。如果我们限定是交换的，作为补偿，可以将对的紧性要求放宽为局部紧性。此时得到的理论推广了经典意义下的Fourier分析。特别的，整个类域论和自守形式理论都可以包括到这个框架里来（这方面的奠基性工作可以参考Tao Tate’s proof of the functional equation)。研究其非交换推广是当前数学的核心，这一研究涉及Langlands纲领，表示论，算子代数乃至数学物理等广阔的领域。 […]

15 May, 2014 at 11:51 am

Some articles on Tate’s Thesis | My Math Diary[…] Analysis on Number Fields has a bit about Langland Terry Tao on Tate’s proof of the function equation An Introduction to Tate’s Thesis brief Introduction to L-function I: Tate’s thesis: […]

31 May, 2014 at 10:00 am

HASSINE SAIDANEQuestion: Is the Rieman Zeta function absolutely convergent in the critical strip?

I can’t find an wxplicit answer to the question above.

Thanks

[No, the Dirichlet series for the Riemann zeta function is not absolutely convergent in the critical strip. http://en.wikipedia.org/wiki/Riemann_zeta_function -T]1 January, 2015 at 8:44 am

AnonymousThis is a convenient formula to keep in mind, because it holds for real values of s greater than 0, not just real values of s greater than 1:

\zeta(s) = \frac{1}{1 – 2^{1-s}} \sum_{n=1}^\infty (-1)^{n-1} \frac{1}{n^s}

I also pasted the code in case the website doesn’t compile it.

28 August, 2014 at 12:01 am

mikeHi:

I am not a professional mathematician but really love math.

I am looking for information on the in-depth analysis of Huseynov’s 2009 preprint titled” On a class of entire functions, all the zeros of which are real”. The latest version (v3) has been withdrawn by the author, due to an error in the inequality after the inequality (31)..

I downloaded v2.

I guess that there might be something useful if one applies similar approach but with different family of function $f_m(x)$.

My questions are the following,

(1) which inequality after the inequality (31) has an error ?

(2) suppose that this inequality is correct, can the rest of derivation follows through to the end?

thanks-

mike

3 January, 2015 at 7:43 pm

George SandsTerry, You make a comment, I believe in the zeta function notes somewhere about certain functions which decay rapidly (go to zero very quickly as x grows large). I just can’t recall your use of language, which obviously comes from an extant literature. Consider the integral, which I think is an example of the phenomenon you were alluding to, for . I don’t think that this integral, for any a suitably large and positive can equal zero….but that part may not have been included in what you said.

I wanted to make a note of it, but I failed to bookmark it, which is what would have been smart. If you can direct me, I’d appreciate it. Hope this jogs your memory. Best I can do.

3 January, 2015 at 7:46 pm

George SandsPlease note — the example I posted does, I think, equal zero for some a. One might need a more rapidly declining function than by which to multiply , but it is not a particular example with which I am concerned, but the language you used, which I can’t bring back to my own memory.

3 January, 2015 at 7:47 pm

George SandsFor some reason, I think it was on a December 16 post, and I can’t remember if it was in the main post in the comments and replies. Could be wrong, however, about the date.

24 September, 2016 at 9:21 am

Anderson de AraujoDear,

There is some importance in proving the result based on Riemann’s observation that if denotes the number of roots in the range . Then

for large enough, where ?

22 November, 2016 at 1:10 pm

anonymousDear Prof. Tao,

I think in equations (13) – (15) the domain of integration should be the nonzero field elements.

[Corrected, thanks – T.]23 November, 2016 at 6:46 am

AnonymousFormula (15) does not parse.

[Corrected, thanks – T.]7 December, 2016 at 2:42 pm

hOn “we see that \Theta_\infty(x_\infty) – 1/x_\infty is rapidly decreasing as x_\infty \to 0”: maybe a bracket on “\Theta_\infty(x_\infty) – 1” would make things clearer.

[Edited, thanks – T.]