Definitions

# Selberg class

In mathematics, the Selberg class S is an axiomatic definition of the class of L-functions. The members of the class are Dirichlet series which obey four axioms that seem to capture the essential properties satisfied by most functions that are commonly called L-functions or zeta-functions. Although the exact nature of the class is conjectural, the hope is that the definition of the class will lead to a classification of its contents and an elucidation of its properties, including insight into their relationship to automorphic forms and the Riemann hypothesis. The class was defined by Atle Selberg in 1991.

## Definition

The formal definition of the class S is the set of all Dirichlet series

$F\left(s\right)=sum_\left\{n=1\right\}^infty frac\left\{a_n\right\}\left\{n^s\right\}$

that satisfy four axioms:

(i) Analyticity: the function $\left(s-1\right)^mF\left(s\right)$ is an entire function of s for some non-negative integer m.

(ii) Ramanujan conjecture: the elements show limited growth, so that $a_n < n^\left\{r+epsilon\right\}$ for some fixed positive real number r and any ε > 0.

(iii) Functional equation: there is a gamma factor of the form

$gamma\left(s\right)=e^\left\{iphi\right\}Q^s$
prod_{i=1}^n Gamma (omega_is+mu_i)
where φ is real, Q real and positive, Γ is the gamma function, the eigenvalues $omega_i$ real and positive, and the $mu_i$ complex with non-negative imaginary part, so that the function

$Phi\left(s\right) = gamma\left(s\right) F\left(s\right),$

satisfies

$Phi\left(s\right)=overline\left\{Phi\left(1-overline\left\{s\right\}\right)\right\}.$

(iv) Euler product: The coefficients $a_n$ are a multiplicative series, with $a_1=1$ and $F\left(s\right)$ can be written as a product over primes:

$F\left(s\right)=prod_\left\{p inmathbb\left\{P\right\}\right\} F_p\left(s\right),$

when Re s > 1 and $mathbb\left\{P\right\}$ is the set of all primes, with $F_p\left(s\right)$ being expressible as

$F_p\left(s\right)=sum_\left\{n=0\right\}^infty frac\left\{a_\left\{p^n\right\}\right\}\left\{p^\left\{ns\right\}\right\}$

when Re s > 0. In addition, when re-written in the form

$log F\left(s\right)=sum_\left\{n=1\right\}^infty b_n n^\left\{-s\right\}$,

one must have the condition that

## Discussion

The condition that the real part of $mu_i$ be positive is because there are known L-functions that do not satisfy the Riemann hypothesis when $mu_i$ is zero or negative. Specifically, there are Maass cusp forms associated with exceptional eigenvalues, for which the Ramanujan-Peterssen conjecture holds, and have a functional equation, but do not satisfy the Riemann hypothesis.

The condition that $theta<1/2$ is important, as the $theta=1/2$ case includes the Dirichlet eta-function, which violates the Riemann hypothesis.

Note that for the case of automorphic L-functions, the $F_p\left(s\right)$ are polynomials of degree independent of p.

## References

• Atle Selberg, Old and new conjectures and results about a class of Dirichlet series, Collected Papers, vol 2, Springer-Verlag, Berlin (1991)
• J. Brian Conrey and Amit Ghosh, , Duke Math. J. 72 no.3 (1993) pp. 673-693
• M. Ram Murty, , Bull. Amer. Math. Soc. 31 (1994), 1-14.

Related Articles

Search another word or see Selberg_classon Dictionary | Thesaurus |Spanish