Top Qs
Timeline
Chat
Perspective
Selberg class
Axiomatic definition of a class of L-functions From Wikipedia, the free encyclopedia
Remove ads
In mathematics, the Selberg class is an axiomatic definition of a 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 (Selberg 1992), who preferred not to use the word "axiom" that later authors have employed.[1]

Remove ads
Definition
Summarize
Perspective
The formal definition of the class S is the set of all Dirichlet series
absolutely convergent for Re(s) > 1 that satisfy four axioms (or assumptions as Selberg calls them):
- Analyticity: has a meromorphic continuation to the entire complex plane, with the only possible pole (if any) when s equals 1.
- Ramanujan conjecture: a1 = 1 and for any ε > 0;
- Functional equation: there is a gamma factor of the form
where Q is real and positive, Γ the gamma function, the ωi real and positive, and the μi complex with non-negative real part, as well as a so-called root number
- ,
such that the function
satisfies
- Euler product: For Re(s) > 1, F(s) can be written as a product over primes:
with
and, for some θ < 1/2,
Comments on definition
- Without the condition there would be which violates the Riemann hypothesis.
- Functional equation does not have to be unique. By duplication formula for function new factors with different real constant can be produced. However, Selberg proven that the sum: is independent on choice of functional equation.
- The condition that the real part of μi be non-negative is because there are known L-functions that do not satisfy the Riemann hypothesis when μi is negative. Specifically, there are Maass forms associated with exceptional eigenvalues, for which the Ramanujan–Petersson conjecture holds, and have a functional equation, but do not satisfy the Riemann hypothesis.
- The condition that θ < 1/2 is important, as the θ = 1 case includes whose zeros are not on the critical line.
Remove ads
Properties
Summarize
Perspective
Selberg class is closed to multiplication of functions, F and G are in the Selberg class, then so is their product.
From Ramanujan conjecture follows that for every , , hence Dirichlet series is absolutely convergent in half-plane .
Despite unusual version of Euler product in axioms, by exponentiation of Dirichlet series, one can deduce that the an is multiplicative function and that:
Real nonnegative number:
is called the degree (or dimension) of F. Since this sum is independent on choice of functional equation, it is well-defined for any function F. If F and G are in the Selberg class, then so is their product and:
It can be shown that F = 1 is the only function in S whose degree is . Kaczorowski and Perelli shown that only cases of are Dirichlet L-functions for primitive Dirichlet characters (including the Riemann zeta-function).[2]
From Euler product and Ramanujan conjecture follows that for functions in Selberg class are non-vanishing. From functional equation every pole of gamma factor γ(s) in must be cancelled by zero of F. That zeroes are called trivial zeroes, the other zeroes of F are called non-trivial zeroes. All nontrivial zeroes are located in critical strip: and by functional equation nontrivial zeroes are symmetrical with respect to axis: . Denoting the number of non-trivial zeroes of F with 0 ≤ Im(s) ≤ T by NF(T),[3] Selberg showed that:
An explicit version of the result was proven by Palojärvi.[4]
It was proven by Kaczorowski & Perelli that for F in Selberg class for is equivalent to:
where is real number and is prime-counting function. This result can be thought as generalization of prime number theorem for Selberg class.[5]
Nagoshi & Steuding shown that function satisfying prime-number theorem condition have universality property for strip: , where: . It generalizes universality property of zeta function and Dirichlet L-functions.[6]
A function F ≠ 1 in S is called primitive if whenever it is written as F = F1F2, with Fi in S, then F = F1 or F = F2. If dF = 1, then F is primitive. Every function F ≠ 1 of S can be written as a product of primitive functions, however uniqueness of such factorization is still open problem.
Remove ads
Examples
Summarize
Perspective
The prototypical example of an element in S is the Riemann zeta function.[7] Also most of generalizations of zeta function like Dirichlet L-functions or Dedekind zeta functions belong to Selberg class.
Examples of primitive functions include the Riemann zeta function and Dirichlet L-functions of primitive Dirichlet characters or Artin L-functions for irreducible representations.
Another example, is the L-function of the modular discriminant Δ
where and is the Ramanujan tau function.[8] This example can be considered as "normalized" or "shifted" L-function for original Ramanujan L-function defined:
whose coefficients satisfy inequality: , have functional equation:
and is expected to have all nontrivial zeroes on line: .
All known examples are automorphic L-functions, and the reciprocals of Fp(s) are polynomials in p−s of bounded degree.[9]
Remove ads
Conjectures
Summarize
Perspective
Selberg's conjectures
In (Selberg 1992), Selberg made conjectures concerning the functions in S:
- Conjecture 1: For all F in S, there is an integer nF such that and nF = 1 whenever F is primitive.
- Conjecture 2: For distinct primitive F, F′ ∈ S,
- Conjecture 3: If F is in S with primitive factorization χ is a primitive Dirichlet character, and the function is also in S, then the functions Fiχ are primitive elements of S (and consequently, they form the primitive factorization of Fχ).
- Generalized Riemann hypothesis for S: For all F in S, the non-trivial zeroes of F all lie on the line Re(s) = 1/2.
The first two Selberg conjectures are often colectively called Selberg orthogonality conjecture.
Other conjectures
It is conjectured that Selberg class is equal to class of automorphic L-functions.
It is conjectured that all reciprocals of factors of Euler product: Fp(s) are polynomials in p−s of bounded degree.
It is conjectured that for any F in Selberg class is nonnegative integer number. The best particular result due to Kaczorowski & Perelli shows it only for .
Consequences of the conjectures
Selberg orthogonality conjecture have numerous consequences for functions in Selberg class:
- Factorization of function F in S into primitive fuctions is unique.
- If is factorization of F in S into primitive fuctions, then: . Particularly, this implies that if and only if F is primitive function.[10]
- The functions in S have no zeroes on . This implies that they satisfy generalization of prime number theorem and have universality property.
- If F has a pole of order m at s = 1, then F(s)/ζ(s)m is entire. In particular, they imply Dedekind's conjecture.[11]
- M. Ram Murty showed in (Murty 1994) that orthogonality conjecture imply the Artin conjecture. [12]
- L-functions of irreducible cuspidal automorphic representations that satisfy the Ramanujan conjecture are primitive.[13]
Generalized Riemann Hypothesis for S implies many different generalizations of original Riemann Hypothesis, the most notable being generalized Riemann hypothesis for Dirichlet L-functions and extended Riemann Hypothesis for Dedekind zeta functions, with multiple consequences in analytic number theory, algebraic number theory, class field theory and numerous branches of mathematics.
Combined with the Generalized Riemann hypothesis, different versions of orthogonality conjecture imply certain growth rates for the function and its logarithmic derivative.[14][15][16]
If Selberg class equals class of automorphic L-functions, then Riemann hypothesis for S would be equivalent to Grand Riemann hypothesis.
Remove ads
See also
Notes
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads