Questions tagged [zeta-functions]

Zeta functions are typically analogues or generalizations of the Riemann zeta function. Examples include Dedekind zeta functions of number fields, and zeta functions of varieties over finite fields. They are typically initially defined as formal generating functions, but often admit analytic continuations.

Filter by
Sorted by
Tagged with
106 votes
7 answers
19k views

What is the field with one element?

I've heard of this many times, but I don't know anything about it. What I do know is that it is supposed to solve the problem of the fact that the final object in the category of schemes is one-...
Benjamin Antieau's user avatar
104 votes
6 answers
18k views

Why does the Riemann zeta function have non-trivial zeros?

This is a very basic question of course, and exposes my serious ignorance of analytic number theory, but what I am looking for is a good intuitive explanation rather than a formal proof (though a ...
gowers's user avatar
  • 28.5k
74 votes
4 answers
9k views

Fake integers for which the Riemann hypothesis fails?

This question is partly inspired by David Stork's recent question about the enigmatic complexity of number theory. Are there algebraic systems which are similar enough to the integers that one can ...
Timothy Chow's user avatar
  • 76.9k
72 votes
10 answers
17k views

Why does the Gamma-function complete the Riemann Zeta function?

Defining $$\xi(s) := \pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)$$ yields $\xi(s) = \xi(1 - s)$ (where $\zeta$ is the Riemann Zeta function). Is there any conceptual explanation - or ...
Peter Arndt's user avatar
63 votes
3 answers
7k views

Is there a "Basic Number Theory" for elliptic curves?

Tate's thesis showed how to profitably analyze $\zeta$ functions of number fields in terms of adelic points on the multiplicative group. In particular, combining Fourier analysis and topology, Tate ...
David E Speyer's user avatar
56 votes
4 answers
5k views

Are there refuted analogues of the Riemann hypothesis?

The classical Riemann Hypothesis has famous analogues for function fields and finite fields which have been proved. It has by now very many analogues, many of them still open. Are there important ...
Colin McLarty's user avatar
48 votes
3 answers
6k views

The Hardy Z-function and failure of the Riemann hypothesis

David Feldman asked whether it would be reasonable for the Riemann hypothesis to be false, but for the Riemann zeta function to only have finitely many zeros off the critical line. I very rashly ...
David Hansen's user avatar
  • 12.9k
41 votes
3 answers
4k views

From Zeta Functions to Curves

Let $C$ be a nonsingular projective curve of genus $g \geq 0$ over a finite field $\mathbb{F}_q$ with $q$ elements. From this curve, we define the zeta function $$Z_{C/{\mathbb{F}}_q}(u) = \exp\left(\...
Peter Humphries's user avatar
39 votes
10 answers
6k views

Why are functional equations important?

People who talk about things like modular forms and zeta functions put a lot of emphasis on the existence and form of functional equations, but I've never seen them used as anything other than a ...
Qiaochu Yuan's user avatar
39 votes
2 answers
2k views

Is there a "quantum" Riemann zeta function?

Occasionally I find myself in a situation where a naive, non-rigorous computation leads me to a divergent sum, like $\sum_{n=1}^\infty n$. In times like these, a standard approach is to guess the ...
Theo Johnson-Freyd's user avatar
38 votes
5 answers
7k views

Is $\zeta(3)/\pi^3$ rational?

Apery proved in 1976 that $\zeta(3)$ is irrational, and we know that for all integers $n$, $\zeta(2n)=\alpha \pi^{2n}$ for some $\alpha\in \mathbb{Q}$. Given these facts, it seems natural to ask ...
Thomas Bloom's user avatar
  • 6,598
37 votes
8 answers
11k views

How does one motivate the analytic continuation of the Riemann zeta function?

I saw the functional equation and its proof for the Riemann zeta function many times, but usually the books start with, e.g. tricky change of variable of Gamma function or other seemingly unmotivated ...
36min's user avatar
  • 3,738
34 votes
2 answers
3k views

The work of E. Artin and F. K. Schmidt on (what are now called) the Weil conjectures.

I was reading Dieudonne's "On the history of the Weil conjectures" and found two things that surprised me. Dieudonne makes some assertions about the work of Artin and Schmidt which are no doubt ...
Kevin Buzzard's user avatar
33 votes
1 answer
1k views

What does this connection between Chebyshev, Ramanujan, Ihara and Riemann mean?

It all started with Chris' answer saying returning paths on cubic graphs without backtracking can be expressed by the following recursion relation: $$p_{r+1}(a) = ap_r(a)-2p_{r-1}(a)$$ $a$ is an ...
draks ...'s user avatar
  • 457
29 votes
5 answers
6k views

What is the difference between a zeta function and an L-function?

I've been learning about Dedekind zeta functions and some basic L-functions in my introductory algebraic number theory class, and I've been wondering why some functions are called L-functions and ...
David Corwin's user avatar
  • 14.9k
29 votes
4 answers
5k views

What is Ricardo Pérez-Marco's eñe product? Does it explain his statistical results on differences of zeta zeros?

The number theory community here at University of Michigan is abuzz with talk of this paper recently posted to the arxiv. If you haven't seen it already, the punch line is that the global differences ...
Gene S. Kopp's user avatar
  • 2,190
29 votes
4 answers
5k views

Good uses of Siegel zeros?

The short version of my question goes: What is known to follow from the existence of Siegel zeros? A longer version to give an idea of what I have in mind: The "exceptional zeros" of course first ...
Kálmán Kőszegi's user avatar
28 votes
3 answers
2k views

Motivation for zeta function of an algebraic variety

If $p$ is a prime then the zeta function for an algebraic curve $V$ over $\mathbb{F}_p$ is defined to be $$\zeta_{V,p}(s) := \exp\left(\sum_{m\geq 1} \frac{N_m}{m}(p^{-s})^m\right). $$ where $N_m$ is ...
Rdrr's user avatar
  • 841
28 votes
1 answer
890 views

Relation between Schanuel's theorem and class number equation

(Crossposted on math stack exchange: https://math.stackexchange.com/questions/4040249/relation-between-schanuels-theorem-and-class-number-equation) It was recently brought to my attention that there ...
Tristan Phillips's user avatar
27 votes
1 answer
2k views

A puzzling remark of Manin (ICM 1978)

Manin ends his 1978 ICM talk with this remark: I would also like to mention I. M. Gel'fand's suggestion that the $\zeta$-functions of certain special differential operators should have an arithmetic ...
David Feldman's user avatar
26 votes
4 answers
3k views

Why do we care about the eigenvalues of the Frobenius map?

The Riemann hypothesis for finite fields can be stated as follows: take a smooth projective variety X of finite type over the finite field $\mathbb{F}_q$ for some $q=p^n$. Then the eigenvalues $\...
Doron Grossman-Naples's user avatar
26 votes
3 answers
1k views

Universality of zeta- and L-functions

Voronin´s Universality Theorem (for the Riemann zeta-Function) according to Wikipedia: Let $U$ be a compact subset of the "critical half-strip" $\{s\in\mathbb{C}:\frac{1}{2}<Re(s)<1\}$ with ...
M.G.'s user avatar
  • 6,643
25 votes
2 answers
2k views

Hodge theory (after Deligne)

In an interview with Deligne on the Simons Foundation website, I heard Robert MacPherson say that at the time Deligne's papers on Hodge theory were being published, the results seemed absolutely ...
THC's user avatar
  • 4,025
24 votes
4 answers
3k views

The class number formula, the BSD conjecture, and the Kronecker limit formula

If K is a number field then the Dedekind zeta function Zeta_K(s) can be written as a sum over ideal classes A of Zeta_K(s, A) = sum over ideals I in A of 1/N(I)^s. The class number formula follows ...
Jonah Sinick's user avatar
  • 6,882
22 votes
1 answer
817 views

Why is the regulator of the degree 11 extension of $\mathbb{Q}$ so large?

Let $K_\infty/\mathbb{Q}$ denote the $\hat{\mathbb{Z}}$-extension of $\mathbb{Q}$. Then for each $n\geq1$, $K_\infty$ has a unique subfield $K_n$ of degree $n$ over $\mathbb{Q}$. The fields $K_n$ are ...
Thomas Browning's user avatar
21 votes
3 answers
2k views

How was the importance of the zeta function discovered?

This question is similar to Why do zeta functions contain so much information? , but is distinct. If the answers to that question answer this one also, I don't understand why. The question is this: ...
20 votes
4 answers
6k views

Establishing zeta(3) as a definite integral and its computation.

I am a 19 yr old student new to all these ideas. I made the transformation $X(z)=\sum_{n=1}^\infty z^n/n^2$. Therefore $X(1)=\pi^2/6$ as we all know (it is $\zeta(2)$). To calculate $X(1)$, I ...
vamsi krishna's user avatar
19 votes
2 answers
2k views

Dedekind Zeta function: behaviour at 1

Let $\zeta_F$ denote the Dedekind zeta function of a number field $F$. We have $\zeta_F(s) = \frac{\lambda_{-1}}{s-1} + \lambda_0 + \dots$ for $s-1$ small. Class number formula: We have $\lambda_{-...
Marc Palm's user avatar
  • 11k
19 votes
3 answers
2k views

Refinements of the Riemann hypothesis

I have often read that the Riemann hypothesis is somewhat a statement like: The primes are as regularly distributed as we can hope for. For example $\pi(x) = Li(x)+ O(x^{\sigma+\epsilon})$ for ...
wood's user avatar
  • 2,714
19 votes
3 answers
2k views

Computing (on a computer) the first few (non-trivial) zeros of the zeta function of a number field.

Let $M$ be the splitting field of x^8 + 3*x^7 + 13*x^6 + 17*x^5 + 45*x^4 + 37*x^3 + 11*x^2 + 112*x + 108 over the rationals. If I've understood some tables ...
Kevin Buzzard's user avatar
18 votes
2 answers
1k views

Can the Dedekind zeta function distinguish between real and imaginary quadratic number fields?

Suppose I am given a machine that gives me the coefficients $a_1$, $a_2$, $a_3$, ... of a Dirichlet series $$\sum_1^{\infty} \frac{a_n}{n^s} $$ and assume that I know that this Dirichlet series is the ...
Andreas Holmstrom's user avatar
18 votes
1 answer
556 views

Weil conjectures for higher dimensional cycles?

Let $X$ be a smooth projective variety over $\mathbb{F}_{q}$. For each pair of positive integers $n$ and $d$, let $\text{Chow}_{n,d}(X)$ denote the (coarse) moduli space of $n$-cycles of degree $d$ on ...
Tyler Foster's user avatar
18 votes
1 answer
999 views

stable homotopy groups and zeta function

I have heard during a discussion that there is a well known relation between the stable homotopy groups of a sphere (more precisely the order of stable homotopy groups of localized sphere spectrum ...
Max's user avatar
  • 1,607
17 votes
3 answers
4k views

Dwork's use of p-adic analysis in algebraic geometry

Using p-adic analysis, Dwork was the first to prove the rationality of the zeta function of a variety over a finite field. From what I have seen, in algebraic geometry, this method is not used much ...
teil's user avatar
  • 4,231
17 votes
1 answer
3k views

Values of zeta at odd positive integers and Borel's computations

Someone recently quoted to me this recent article that claims to prove that $\zeta(2n+1) \notin (2\pi )^{2n+1} \mathbb{Q}$. [Edit: published reference: Musha, Takaaki. Negation of the conjecture for ...
AFK's user avatar
  • 7,317
17 votes
2 answers
911 views

Analogues of the Riemann zeta function that are more computationally tractable?

Many years ago, I was surprised to learn that Andrew Odlyzko does not consider the existing computational evidence for the Riemann hypothesis to be overwhelming. As I understand it, one reason is as ...
Timothy Chow's user avatar
  • 76.9k
16 votes
8 answers
4k views

Brownian bridge interpreted as Brownian motion on the circle

Is it reasonable to view the Brownian bridge as a kind of Brownian motion indexed by points on the circle? The Brownian bridge has some strange connections with the Riemann zeta function (see Williams'...
Simon Lyons's user avatar
  • 1,636
16 votes
3 answers
1k views

PNT for general zeta functions, Applications of.

When I read it for the first time, I found the whole slog towards proving the Prime Number Theorem and the final success to be magnificent. So I am curious about more general results. We talk of ...
Anweshi's user avatar
  • 7,232
16 votes
2 answers
2k views

Analogues of the Riemann-Roch Theorem

In his thesis, Tate derives a Poisson formula on the adeles and a theorem which he calls the "Riemann-Roch Theorem". More specifically, given a continuous, $L^1$ function $f$ on the adeles such that ...
Larry Rolen's user avatar
16 votes
0 answers
838 views

L-Functions of Varieties, Zeta Functions of Their Models

Let $k$ denote a number field, with algebraic closure $\bar{k}$. Take a smooth, projective variety $X$ over $k$. If $\mathfrak{p}$ is a prime of $k$, and $l$ is a rational prime different to the ...
Tom163's user avatar
  • 643
15 votes
2 answers
1k views

Evaluating the integral $\int_{1}^{\infty}\frac{\{u\}}{u^{2}}\left(\log u\right)^{k}du.$

I am trying to find a formula for the following integral for non-negative integer $k$: $$\int_1^{\infty}\frac{\{u\}}{u^{2}}\left(\log u\right)^{k}du.$$ My first thought was to use the formula $$\...
Eric Naslund's user avatar
  • 11.2k
15 votes
1 answer
2k views

Does this sum equal zeta(3)?

Does: $$\sum_{1 \leq i<j} \frac{1}{i j^2} = \sum_{1 \leq k} \frac{1}{k^3}?$$ Motivation: Call the above sum $S$, and let $$T := \sum_{ GCD(i,j)=1} \frac{1}{\max(i,j) i j}.$$ The sum $T$ came up ...
David E Speyer's user avatar
15 votes
2 answers
787 views

Can the failure of the multiplicativity of Euler factors at bad primes be corrected?

Warning: This one of those does-anyone-know-how-to-fix-this-vague-problem questions, and not an actual mathematics question at all. If $X$ is a scheme of finite type over a finite field, then the ...
JBorger's user avatar
  • 9,238
14 votes
1 answer
929 views

How do functional equations for zeta functions arise from the structure of a homology group?

I have read in various disparate sources that certain zeta functions satisfy functional equations as a consequence of some structure on some homology group. Here is an example of a quote in this ...
Julian Chaidez's user avatar
14 votes
1 answer
579 views

Growth of $\zeta_{\mathbf Q[\cos(\frac{\pi}{2^{n+1}})]}(2)$

Let $K_n$ be the field $\mathbf Q[\cos(\frac{\pi}{2^{n+1}})]$ (the real subfield of the cyclotomic field $\mathbf Q[e^{\frac{i\pi}{2^{n+1}}}]$). Is there anything known about the growth of the ...
few_reps's user avatar
  • 1,980
14 votes
1 answer
1k views

Is there an elegant algebraic proof of this formula for quadratic field discriminants?

Consider the Dirichlet series counting discriminants of real quadratic fields. Quadratic field discriminants are "basically" squarefree integers, so the associated Dirichlet series $\sum D^{-s}$ is "...
Frank Thorne's user avatar
  • 7,091
14 votes
2 answers
943 views

What are zeta functions good for?

I know a couple of answers to the above question: They can be used for point counting over finite fields/estimating the distribution of primes in characteristic 0. There are various conjectures/...
14 votes
3 answers
945 views

Zeta function of Abelian variety over finite field

Let $A/\mathbf{F}_q$ be an Abelian variety of dimension $g$. Suppose one knows $|A(\mathbf{F}_{q^n})|$ for all $1 \leq n \leq g$. Does one know then $\zeta(A,s)$ (equivalently, $|A(\mathbf{F}_{q^n})|$ ...
user avatar
14 votes
1 answer
998 views

On meromorphic continuation of zeta function(s) and special values at negative integers

Euler developped (at least) two different approaches in order to calculate the values $\zeta(-m)$ of the zeta function $$\zeta(s) = \sum_{n\geq 1} \frac{1}{n^s}$$ at non-positive integers. In one ...
user5831's user avatar
  • 2,009
14 votes
1 answer
1k views

Dirichlet's regulator vs Beilinson's regulator

Consider a number field $F$ with ring of integers $O_F$. The Beilinson regulator can in this particular setting be viewed as a map from $K_n(O_F)$ to a suitable real vector space. Here $n$ is any ...
Andreas Holmstrom's user avatar

1
2 3 4 5 6