# Axioms for zeta functions

The Selberg class is an axiomatization of arithmetically significant zeta functions (a.k.a. L-functions) by a few analytic properties (functional equation etc.) However there do exist other zeta functions that do not seem to come from arithmetic, but instead from geometry, for example. Some of these are known to have zeros on the real axis to the right of the critical line, but are otherwise expected to satisfy an analogue of the Riemann Hypothesis.

Have any attempt been made to write down axioms for such more general zeta functions that are expected to satisfy an appropriately modified Riemann Hypothesis?

• @Marius: Can you give an example to the following: "Some of these are known to have zeros on the real axis to the right of the critical line, but are otherwise expected to satisfy an analogue of the Riemann Hypothesis." – GH from MO Aug 9 '11 at 14:42
• @GH: Actually, I was quoting Atle Selberg from a long interview that he gave about a year before he died. I have to scratch around for the interview, but suspect that he was thinking of the Selberg zeta function for a generic compact Riemann surface. I will report back. – Marius Overholt Aug 9 '11 at 14:55
• (There are also dynamical zeta functions: ams.org/notices/200208/fea-ruelle.pdf ) – Qfwfq Aug 9 '11 at 15:05
• @GH: It was the way I thought I remembered it. Selberg made the remark in part 3 of the interview, about the Riemann Hypothesis and the trace formula. The interviewers were Nils A. Baas and Christian F. Skau. I translate their question from Norwegian into English: Have you considered whether there exists any kind of geometrical analogies to the primes in a fundamental sense? Selberg's answer translated from the Norwegian: – Marius Overholt Aug 10 '11 at 6:03
• If you look at a compact Riemannian surface with the hyperbolic metric, and consider the closed geodesics, you can say that their lengths correspond to the logarithms of the primes. In the compact case one knows that the Riemann Hypothesis essentially holds, except that in some particular cases we have some zeros between 1/2 and 1 on the real axis, which I do not think can happen with those functions that we usually consider in number theory. Though I know that some have believed that there may be quadratic L-functions with zeros between 1/2 and 1. – Marius Overholt Aug 10 '11 at 6:11

For an unconditional example, the Hasse-Weil L-function of elliptic curves over $\mathbb{Q}$ are known to be in the Selberg class (ultimately this follows from the modularity theorem of Breuil-Conrad-Taylor-Wiles).
The only class of L-functions more general than Selberg's that (as far as I know) has been studied in some depth is the extended Selberg class $S♯$, which removes the Ramanujan and Euler product restrictions (see, for example Kaczorowski & Perelli (2002) On the structure of the Selberg class, V)