Selberg class: Difference between revisions
need to explain how the Reimann zeta fits the definition |
link technical term |
||
Line 2: | Line 2: | ||
==Definition== |
==Definition== |
||
The formal definition of the class ''S'' is the set of all Dirichlet series |
The formal definition of the class ''S'' is the set of all [[Dirichlet series]] |
||
:<math>F(s)=\sum_{n=1}^\infty \frac{a_n}{n^s}</math> |
:<math>F(s)=\sum_{n=1}^\infty \frac{a_n}{n^s}</math> |
Revision as of 06:22, 25 July 2012
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).
Definition
The formal definition of the class S is the set of all Dirichlet series
absolutely convergent for Re(s) > 1 that satisfy four axioms:
- Analyticity: the function is an entire function of finite order for some non-negative integer m;
- Ramanujan conjecture: and for any ε > 0;
- Functional equation: there is a gamma factor of the form
- Euler product: F(s) can be written as a product over primes:
Comments on definition
The condition that the real part of be positive is because there are known L-functions that do not satisfy the Riemann hypothesis when 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 is important, as the case includes the Dirichlet eta-function, which violates the Riemann hypothesis.[1]
It is a consequence of 4. that the an are multiplicative and that
Examples
The prototypical example of an element in S is the Riemann zeta function.[why?]
Another example, is the L-function of the modular discriminant Δ
where and τ(n) is the Ramanujan tau function.[2] Additionally, if F is in S and χ is a primitive Dirichlet character, then Fχ defined by
is also in S.
All known examples are automorphic L-functions, and the reciprocals of Fp(s) are polynomials in p−s of bounded degree.[3]
Basic properties
As with the Riemann zeta function, an element F of S has trivial zeroes that arise from the poles of the gamma factor γ(s). The other zeroes are referred to as the non-trivial zeroes of F. These will all be located in some strip 1 − A ≤ Re(s) ≤ A. Denoting the number of non-trivial zeroes of F with 0 ≤ Im(s) ≤ T by NF(T),[4] Selberg showed that
Here, dF is called the degree (or dimension) of F. It is given by[5]
- It can be shown that F = 1 is the only function in S whose degree is less than 1.
If F and G are in the Selberg class, then so is their product and
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. Selberg's conjectures, described below, imply that the factorization into primitive functions is unique.
Examples of primitive functions include the Riemann zeta function and Dirichlet L-functions of primitive Dirichlet characters. Assuming conjectures 1 and 2 below, L-functions of irreducible cuspidal automorphic representations that satisfy the Ramanujan conjecture are primitive.[6]
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
- is a factorization of F into primitive functions and χ is a primitive Dirichlet character, then
- and the Fiχ are primitive.
- Riemann hypothesis for S: For all F in S, the non-trivial zeroes of F all lie on the line Re(s) = 1/2.
Consequences of the conjectures
Conjectures 1 and 2 imply that if F has a pole of order m at s = 1, then F(s)/ζ(s) is entire. In particular, they imply Dedekind's conjecture.
M. Ram Murty showed in (Murty 1994) that conjectures 1 and 2 imply the Artin conjecture. In fact, Murty showed that Artin L-functions corresponding to irreducible representations of the Galois group of a solvable extension of the rationals are automorphic as predicted by the Langlands conjectures.[7]
The functions in S also satisfy an analogue of the prime number theorem: F(s) has no zeroes on the line Re(s) = 1. As mentioned above, conjectures 1 and 2 imply the unique factorization of functions in S into primitive functions. Another consequence is that the primitivity of F is equivalent to nF = 1.[8]
Notes
- ^ Conrey & Ghosh 1993, §1
- ^ Murty 2008
- ^ Murty 1994
- ^ The zeroes on the boundary are counted with half-multiplicity.
- ^ While the ωi are not uniquely defined by F, Selberg's result shows that their sum is well-defined.
- ^ Murty 1994, Lemma 4.2
- ^ Murty 1994, Theorem 4.3
- ^ Conrey & Ghosh 1993, § 4
References
- Selberg, Atle (1992), "Old and new conjectures and results about a class of Dirichlet series", Proceedings of the Amalfi Conference on Analytic Number Theory (Maiori, 1989), Salerno: Univ. Salerno, pp. 367–385, MR 1220477 Reprinted in Collected Papers, vol 2, Springer-Verlag, Berlin (1991)
- Conrey, J. Brian; Ghosh, Amit (1993), "On the Selberg class of Dirichlet series: small degrees", Duke Mathematical Journal, 72 (3): 673–693, arXiv:math.NT/9204217, MR 1253620
- Murty, M. Ram (1994), "Selberg's conjectures and Artin L-functions", Bulletin of the American Mathematical Society, New Series, 31 (1), American Mathematical Society: 1–14, arXiv:math/9407219, MR 1242382
- Chapter 8 of Murty, M. Ram (2008), Problems in analytic number theory, Graduate Texts in Mathematics, Readings in Mathematics, vol. 206 (Second ed.), Springer-Verlag, doi:10.1007/978-0-387-72350-1, ISBN 978-0-387-72349-5, MR 2376618