{{Short description|Meromorphic function on the complex plane}} {{Expand German|L-Funktion|date=March 2024}} {{DISPLAYTITLE:''L''-function}} [[File:Riemann-Zeta-Func.png|right|thumb|300px|The Riemann zeta function can be thought of as the archetype for all ''L''-functions.<ref>{{cite web |first=Jörn |last=Steuding |title=An Introduction to the Theory of ''L''-functions |work=Preprint |date=June 2005 |url=https://www.scribd.com/document/230217684/An-Introduction-to-the-Theory-of-L-Functions }}</ref>]]
An '''''L''-function''' is a meromorphic function on the complex plane, and one out of several categories of mathematical objects studied in analytic number theory and related fields. L-functions share fundamental properties and characteristics with the Riemann zeta function, which serves as the prototypical example of an L-function; therefore, L-functions are generalisations of the Riemann zeta function. Some important conjectures involving L-functions are, consequently, the Riemann hypothesis and its generalisations.
A Dirichlet series, usually convergent on a half-plane, that may give rise to an ''L''-function via analytic continuation, is called an '''''L''-series'''.
Fundamental subclasses of L-functions were built on the work of Leonhard Euler (which is now known as the Riemann zeta function). Most notably, the mathematicians Bernhard Riemann (1826-1866), Richard Dedekind (1831-1916), Erich Hecke (1887-1947) and Emil Artin (1898-1962) investigated the subclasses of L-functions, discovering eponymous L-functions each.
The terms "L-function" and "zeta-function" are often used synonymously due to the fundamentally similar and derivative nature of the work, however, not all zeta-functions are L-functions. Most notably, the Prime zeta function is not an L-function, since they cannot be analytically extended to the entire complex plane.
== Definition ==
As one might infer from the introduction, there is still no general and widely accepted definition of an L-function and its construction. Various constructions and definitions as per various prominent authors can be found as follows.
=== Iwaniec and Kowalski's ''Analytic Number Theory'', 2004 === This definition is abstract and incomplete in the sense that it doesn't specify the arithmetic objects to which he assigns L-functions, nor the exact mechanism of this assignment. However, it includes properties generally expected of L-functions.
The definition is extended and starts by defining 6 preliminary definitions, as follows:
==== Dirichlet Series and Euler Product ==== The arithmetic object <math>\textstyle f</math> is associated with a Dirichlet series:
:<math>\sum_{n\in\mathbb N} \lambda(f,n) n^{-s}</math>,
which is also called an ''L-series'', and an Euler product:
:<math>\prod_{p\in\mathbb P} (1-\alpha_1(f,p)p^{-s})^{-1}\cdot\cdots\cdot (1-\alpha_d(f,p)p^{-s})^{-1}</math>.
Here, <math>\textstyle \lambda(f,n)\in\mathbb C</math> for all natural numbers <math>\textstyle n\in\mathbb N</math>, and <math>\textstyle \lambda(f,1)=1</math>. <math>\textstyle \mathbb P</math> denotes the set of all prime numbers.
The natural number <math>\textstyle d\in\mathbb N</math> is called the “degree” of the L-function or the Euler product <math>\textstyle L(f,s)</math>. For every prime number <math>\textstyle p</math> and every <math>\textstyle i\in\{1,\ldots,d\}</math>, we have <math>\textstyle \alpha_i(f,p)\in\mathbb C</math>.
The complex numbers <math>\textstyle \alpha_i(f,p)\in\mathbb C</math> are called ''local roots'' or ''local parameters'' of <math>\textstyle L(f,s)\in\mathbb C</math> at <math>\textstyle p\in\mathbb P</math>.
For a given <math>p\in\mathbb P</math>, the expression : <math>(1-\alpha_1(f,p)p^{-s})^{-1}\cdot\cdots\cdot (1-\alpha_d(f,p)p^{-s})^{-1}</math>, that is, the <math>p</math><sub>th</sub> factor in the Euler product, which is called the ''Euler factor of'' <math>L(f,s)</math> ''at'' <math>p</math>.
==== Gamma Factor ====
The object <math>\textstyle f</math> is assigned a so-called ''gamma factor'':
:<math> \gamma(f,s)=\pi^{-ds/2} \prod_{j=1}^d \Gamma\left(\frac{s+\kappa_j}{2}\right) </math> where <math>\textstyle \Gamma</math> denotes the gamma function, <math>\textstyle \pi</math> denotes the automorphic number, and <math>\textstyle d</math> denotes the degree of the L-function mentioned above. The parameters <math>\textstyle \kappa_j</math> are complex numbers. They are called the local parameters of <math>\textstyle L(f,s)</math> ''at infinity'', or at the ''infinite prime point''.
==== Leader (Conductor) ====
A natural number is also assigned to the object <math>\textstyle f</math> :<math> q(f)\in\mathbb N </math>, This is the so-called “leader” or “conductor” of the L-function <math>\textstyle L(f,s)</math>. The prime numbers <math>p\in\mathbb P</math> that do not divide <math>\textstyle q(f)</math> are called ''unbranched'' with respect to the L-function <math>\textstyle L(f,s)</math>.
==== Complete L-Function ====
Using the Dirichlet series, the gamma factor, and the leading coefficient associated with <math>\textstyle f</math>, we can now define the so-called ''complete L-function'' of <math>\textstyle f</math>: :<math> \Lambda(f,s) = q(f)^{s/2} \gamma(f,s) L(f,s). </math>
==== Root ====
Furthermore, the object <math>\textstyle f</math> is associated with a complex number :<math> \epsilon(f)\in\mathbb C </math> This complex number is called the ''root'' of the L-function <math>\textstyle L(f,s)</math>.
==== Dual, Arithmetic Object ====
Now, the arithmetic object <math>\textstyle f</math> is associated with another arithmetic object (which is not specified in detail within the framework of this abstract definition). It is called the ''dual'' of <math>\textstyle f</math> and is denoted by <math>\textstyle \bar{f}</math>. As in the case of <math>\textstyle f</math>, <math>\textstyle \bar{f}</math> is also a Dirichlet series :<math> \sum_{n\in\mathbb N} \lambda(\bar{f},n) n^{-s} </math>, an Euler product :<math> \prod_{p\in\mathbb P} (1-\alpha_1(\bar{f},p)p^{-s})^{-1}\cdot\ldots\cdot (1-\alpha_{\bar{d}}(\bar{f},p)p^{-s})^{-1} </math> with <math>\textstyle \bar{d}\in\mathbb N</math>, a gamma factor <math>\textstyle \gamma(\bar{f},s)</math>, a leading term <math>\textstyle q(\bar{f})</math>, and a complete L-function <math>\textstyle \Lambda(\bar{f},s)</math>.
If <math>\textstyle f=\bar{f}</math>, then <math>\textstyle L(f,s)</math> is called ''self-dual'', which means nothing other than <math>\textstyle \lambda(f,n)\in\mathbb R</math> for all <math>\textstyle n\in\mathbb N</math>.<ref>Iwaniec, Kowalski: ''Analytic Number Theory.'' 2004, Chapter 5, Section 1, p. 95.</ref>
==== Conditions to satisfy ==== The objects mentioned above, associated with the arithmetic object <math>\textstyle f</math>, must now satisfy the following conditions so that <math>\textstyle L(f,s)</math> satisfies the definition of an L-function according to Iwaniec and Kowalski: {| class="wikitable" |+Conditions to satisfy for the arithmetic object <math>f</math> !Index !Condition !Description |- |1 |Absolute value of local parameters for <math>\textstyle p</math> |For every prime number <math>\textstyle p</math> and every <math>\textstyle i\in\{1,\ldots,d\}</math>, we have <math>\textstyle |\alpha_i(f,p)|<p</math>. |- |2 |Values of local parameters for ''unbranched'' <math>\textstyle p</math> |For all primes <math>\textstyle p</math> that are unramified with respect to <math>\textstyle L(f,s)</math>, and for all <math>\textstyle i\in\{1,\ldots,d\}</math>, we have <math>\textstyle \alpha_i(f,p)\neq 0</math>. |- |3 |Requirements for the local parameters at infinity |The parameters <math>\textstyle \kappa_j</math> are either real or appear in the form of complex conjugate pairs in the gamma factor <math>\textstyle \gamma(f,s)</math>. Furthermore, <math>\textstyle \Re(\kappa_j)>-1</math> for every <math>\textstyle j\in\{1,\ldots,d\}</math>. This last condition ensures that <math>\textstyle \gamma(f,s)</math> has no zeroes in <math>\textstyle \mathbb C</math> and no poles with <math>\textstyle \Re(s)\ge 1</math>. <math>\textstyle \Re</math> denotes the real part of a complex number. |- |4 |Absolute convergence of the Dirichlet Series and the Euler product |Both the Dirichlet series and the Euler product associated with <math>\textstyle f</math> must converge absolutely for <math>\textstyle \Re(s)>1</math>. |- |5 |Agreement between the L-function, the Dirichlet series, and the Euler product in a complex half-plane |The L-function, the Dirichlet series, and the Euler product associated with <math>\textstyle f</math> must coincide in the complex half-plane <math>\textstyle \Re(s)>1</math>: :<math> L(f,s)= \sum_{n\in\mathbb N} \lambda(f,n) n^{-s}= \prod_{p\in\mathbb P} (1-\alpha_1(f,p)p^{-s})^{-1}\cdot\cdots\cdot (1-\alpha_d(f,p)p^{-s})^{-1}. </math> |- |6 |Analytic Continuity and Pole Points |It follows from the conditions that the <math>\textstyle f</math> must satisfy that the Dirichlet series is holomorphic in the half-plane <math>\textstyle \Re(s)>1</math>. However, this must also be analytically extendable to a meromorphic function of order 1 on the entire <math>\mathbb C</math>, which has poles at most at <math>\textstyle s=0</math> and <math>\textstyle s=1</math>. |- |7 |Absolute value of the root number |The root number <math>\textstyle \epsilon(f)\in\mathbb C</math> has the absolute value 1. Thus, <math>\textstyle |\epsilon(f)|</math> must equal 1. |- |8 |Requirements for the objects associated with the dual of <math>\textstyle f</math> |With regard to the dual <math>\textstyle \bar{f}</math> of <math>\textstyle f</math>, the following must hold: :<math>\textstyle \lambda(\bar{f},n) = \bar{\lambda}(f,n)</math> for all :<math>\textstyle n\in\mathbb N</math>, as well as :<math>\textstyle \gamma(\bar{f},s)=\gamma(f,s)</math> and :<math>\textstyle q(\bar{f})=q(f)</math>.
These imply that in the Dirichlet series associated with <math>\textstyle \bar{f}</math>, the <math>\textstyle \lambda</math> coefficients are precisely the complex conjugates of the <math>\textstyle \lambda</math> coefficients in the Dirichlet series associated with <math>\textstyle f</math>. The gamma factors and leaders associated with <math>\textstyle f</math> and <math>\textstyle \bar{f}</math>, respectively, must coincide. |- |9 |Functional equation |The two complete L-functions associated with <math>\textstyle f</math> and <math>\textstyle \bar{f}</math>, respectively, satisfy the functional equation :<math> \Lambda(f,s)=\epsilon(f) \Lambda(\bar{f},1-s) </math> for all <math>\textstyle s\in\mathbb C</math>. |}
Iwaniec and Kowalski’s definition reflects the fact that a function that is considered an L-function typically appears as a mapping of the L-function to a mathematical object (e.g., a Dirichlet character or an algebraic number field). Their definition is abstract and incomplete, as it leaves open the question of exactly what those mathematical objects are and how that mapping is to be carried out.
=== Alte Selberg in the ''Amalfi Conference on Analytic Number Theory'', 1992 ===
The definition proposed by the Norwegian-American mathematician Atle Selberg in 1989 is independent of other mathematical objects. In a non-abstract, unambiguous definition, he specifies a subset of the set of all Dirichlet series whose elements must satisfy certain properties: absolute convergence of the Dirichlet series, analytic continuation, functional equation, Ramanujan conjecture<ref group="Note." >The Ramanujan conjecture refers to the coefficients <math>\textstyle\lambda(f,n)</math> of the Dirichlet series. It states: For any <math>\textstyle\epsilon > 0</math>, <math>\textstyle \lambda(f,n)=O(n^\epsilon)</math>. Here, the implicit constant in the Landau symbol <math>\textstyle O</math> may depend on <math>\textstyle \epsilon</math>.</ref> and Euler product. This subset is today referred to as the Selberg class. <ref>Atle Selberg: ''Old and new conjectures and results about a class of Dirichlet-series.'' In: Enrico Bombieri et al. (eds.): ''Proceedings of the Amalfi Conference on Analytic Number Theory.'' 1992, pp. 367–385; ''Collected Papers.'' Vol. II, Springer, 1991, pp. 47–63.</ref>
The overarching hypothesis and the motivating background for the definition of the Selberg class is the so-called Great Riemann Hypothesis. Applied to the Selberg class, this hypothesis states that no zero of an analytic continuation of a Dirichlet series in the Selberg class has a real part greater than 1/2. In the case of the (supposedly) simplest element of the Selberg class (the Riemann Dirichlet series together with its analytic continuation to the Riemann zeta function), this conjecture corresponds to the Riemann Hypothesis, which to this day has been neither proven nor disproven.
It is against this backdrop that the remaining shortcomings in the definition of the term L-function must be viewed: one would like to define the term "L-function" in such a way that L-functions verifiably satisfy the Great Riemann Hypothesis. Yet, on the other hand, one has not even been able to prove the simplest case (the Riemann Hypothesis for the Riemann zeta function), which could be a sign of a lack of understanding of the Riemann zeta function and thus makes it difficult to provide a clear definition of the generalized concept of a L-function.
== Examples ==
This section provides an overview of basic examples of L-functions.
=== Riemann Zeta Function ===
{{Main article|Riemann zeta function}} The simplest example of an L-function, and at the same time the fundamental basis for any definition of the term L-function based on the work of Leonhard Euler, is the Riemann zeta function <math>\textstyle\zeta</math>.<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 1, 1992, p. 439 ff.</ref>
One of the possible “arithmetic objects” <math>\textstyle f</math> in the sense of the definition approach by Iwaniec and Kowalski, to which this L-function can be assigned, is the field <math>\textstyle \mathbb Q</math> of the rational numbers. Its Dirichlet series :<math>\sum_{n\in\mathbb N} \frac{1}{n^s}\, ,</math> that is :<math>\lambda(\mathbb Q,n)=1</math> for all <math>\textstyle n\in\mathbb N</math>, converges absolutely for <math>\textstyle\Re(s)>1</math>. Together with its Euler product, which is also absolutely convergent, the following holds for <math>\textstyle\Re(s)>1</math>:<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 1, Theorem 1.1, 1992, p. 439.</ref> :<math> \zeta(s)=L(\mathbb Q,s)= \sum_{n\in\mathbb N} \frac{1}{n^s}= \prod_{p\in\mathbb P} (1-p^{-s})^{-1}. </math> alt=Riemann zeta function ζ ( s ) {\displaystyle \zeta (s)} : Contour lines for the real part ( ζ {\displaystyle \zeta } (s))=0, blue, and the imaginary part ( ζ {\displaystyle \zeta } (s))=0, lilac, for −5<Re(s)<3 and −25<Im(s)<65, as well as the “critical line” Re(s)=1/2, brown. For Re(s)<1, the points of intersection of the blue and lilac contour lines are zeros of the Riemann zeta function.|thumb|Riemann zeta function <math>\zeta(s)</math>: Contour lines for the real part (<math>\zeta</math>(s))=0, blue, and the imaginary part (<math>\zeta</math>(s))=0, lilac, from −5<Re(s)<3 and −25<Im(s)<65, as well as the “critical line” Re(s)=1/2, brown. For Re(s)<1, the points of intersection of the blue and lilac contour lines are zeros of the Riemann zeta function.Since all <math>\textstyle \lambda(\mathbb Q,n)</math> are real, namely equal to 1, <math>\textstyle \zeta(s)</math> is self-dual. The object dual to <math>\textstyle f=\mathbb Q</math> is therefore also <math>\textstyle\mathbb Q</math>, so <math>\textstyle \bar{f}=\mathbb Q</math>. The degree of the Euler product of the Riemann zeta function is :<math>d=1</math>. For its local parameters at <math>\textstyle p</math>, the following holds: :<math>\alpha(\mathbb Q,p)=1</math> for all <math>\textstyle p\in\mathbb P</math>. Usually, the following gamma factor is used for the Riemann zeta function: :<math> \gamma(\mathbb Q,s)=\pi^{-\frac{s}{2}}\,\Gamma\left(\frac{s}{2}\right). </math>
The local parameter <math>\textstyle\kappa</math> at infinity is therefore 0. The conductor of <math>\textstyle\zeta</math> is :<math>\textstyle q(\mathbb Q)=1</math>, so that the complete Riemann zeta function takes the form :<math> \Lambda(\mathbb Q,s) := \gamma(\mathbb Q,s) L(\mathbb Q,s)= \pi^{-\frac{s}{2}}\,\Gamma\left(\frac{s}{2}\right)\zeta(s) </math>
This definition is only valid for <math>\textstyle\Re(s)>1</math>, since the Riemann zeta function can be defined via its Dirichlet series or its Euler product only in this half-plane. However, the complete Riemann zeta function has an analytic continuation to a meromorphic function on the entire complex plane. This extension is holomorphic except for two simple poles at <math>\textstyle s=0</math> and <math>\textstyle s=1</math> with residues of −1 and 1, respectively.<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 1, Theorem 1.6, 1992, p. 445.</ref> If we also denote the continued, complete Riemann zeta function by <math>\textstyle \Lambda</math>, then it satisfies the root number
:<math>\epsilon(\mathbb Q)=1</math> the functional equation<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 1, Theorem 1.6, 1992, p. 445.</ref> :<math> \Lambda(\mathbb Q,s) = \Lambda(\mathbb Q,1-s). </math> Thus, the Riemann zeta function, initially defined only for <math>\textstyle \Re(s)>1</math> via its Dirichlet series or Euler product, now has an analytic continuation to a meromorphic function on <math>\mathbb C</math>, which is undefined only at <math>\textstyle s=1</math>, since it has a simple pole with the residue 1 there. If we retain the notation <math>\textstyle \zeta</math> for the continued Riemann zeta function as well, it satisfies the functional equation<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Paragraph 1, Corollary 1.7, 1992, p. 446.</ref> :<math> \pi^{-\frac{s}{2}}\,\Gamma\left(\frac{s}{2}\right)\zeta(s)= \pi^{-\frac{1-s}{2}}\,\Gamma\left(\frac{1-s}{2}\right)\zeta(1-s). </math>
The (analytically extended) Riemann zeta function raises one of the most important questions in analytic number theory: the question of the exact location of its so-called ''non-trivial zeros''. These lie in the “critical strip” <math>\textstyle 0<\Re(s)<1</math>. The Riemann Hypothesis from 1859—which remains neither proven nor disproven to this day—posits that all non-trivial zeros of the Riemann zeta function have a real part of <math>1/2</math>. A proof of this hypothesis would allow for particularly accurate estimates of the distribution of prime numbers.
=== Dirichlet L-functions === {{Main article|Dirichlet L-function}} The closest relatives of the Riemann zeta function are the Dirichlet L-functions, which include the Riemann zeta function as a special case. While in the Dirichlet series associated with the Riemann zeta function all <math>\lambda</math> coefficients are equal to 1, in Dirichlet L-functions these are defined using a Dirichlet character. They thus take complex values with absolute value 1 or are equal to 0. Let <math>\textstyle m \in \mathbb{N}</math> be an integer, and let <math>\chi</math> be a Dirichlet character modulo <math>\textstyle m</math>: alt=Peter Gustav Lejeune Dirichlet (1805–1859)|thumb|Peter Gustav Lejeune Dirichlet (1805–1859) <math> \chi: (\mathbb{Z}/m)^\times \longrightarrow S^1 := \{z \in \mathbb{C} : |z| = 1\} </math>
is given, i.e., a group homomorphism from the group of elements that are invertible with respect to multiplication in the residue class ring <math>\textstyle\mathbb Z/m</math> to the circle group <math>\textstyle S^1</math> of the complex numbers with absolute value 1. Such a Dirichlet character <math>\textstyle \chi</math> is called ''primitive'', and <math>\textstyle m</math> is the ''generator of'' <math>\textstyle \chi</math> if it is not already given by a composition :<math> (\mathbb Z / m)^\times \longrightarrow (\mathbb Z / m')^\times \;\stackrel{\chi'}{\longrightarrow}\; S^1 </math> follows from a Dirichlet character <math>\textstyle\chi'</math> modulo <math>\textstyle m'</math> with a proper divisor <math>\textstyle m'</math> of <math>\textstyle m</math>. Using such a Dirichlet character <math>\textstyle \chi</math>, one defines the following mapping, which is also denoted by <math>\textstyle \chi</math> and referred to as a Dirichlet character modulo <math>\textstyle m</math>:<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Paragraph 2, 1992, p. 454 ff.</ref>
:<math>\chi:\text{ }\mathbb{Z} \to \mathbb{C},\text { } \chi(n) = \begin{cases}\chi(n\operatorname{mod} m) & \text{if}\quad\operatorname{gcd}(n,m)=1 \\ 0 & \text{if}\quad\operatorname{gcd}(n,m)>1. \end{cases} </math> [[File: DirichletLFunction mod7 ind2.png|thumbnail|Dirichlet L-function for the Dirichlet character <math>\textstyle\chi</math> modulo 7 with <math>\textstyle \chi(3) = \exp (i\pi/3)</math> for complex s with −7 < Re(s) < 8 and −20 < Im(s) < 20: The similarity to the Riemann zeta function is striking. Nevertheless, there are clear differences: Since <math>\chi</math> is a non-trivial Dirichlet character, the function depicted is ''entire''. Thus, it has no pole at <math>s=1</math>, unlike the Riemann zeta function. Compared to the Riemann zeta function, the real (trivial) zeros are shifted one unit to the right. They are visible as black dots at −1, −3, −5, etc., in the graph.<ref>Tom M. Apostol: ''Note on the trivial zeros of Dirichlet L-functions.'' In: ''Proceedings of the American Mathematical Society.'' Vol. 94, No. 1, pp. 29–30. doi:10.1090/S0002-9939-1985-0781049-8.</ref> The black dots in the vertical strip 0<Re(s)<1 belong to the infinitely many non-real (non-trivial) zeros of this Dirichlet L-function. The Great Riemann Hypothesis predicts that each of these non-trivial zeros lies on the vertical line Re(s)=1/2.]]
The ''trivial Dirichlet characters'' <math>\textstyle \chi^0</math> modulo <math>m</math> take the value 1 if <math>\textstyle \operatorname{gcd}(n,m)=1</math>, and 0 otherwise. The trivial Dirichlet character modulo 1 is called the '''principal character.''' It satisfies <math>\chi(n)=1</math> for all <math>n\in\N</math>.
Now, if <math>\textstyle\chi: \mathbb{Z} \to \mathbb{C}</math> is a primitive Dirichlet character modulo <math>\textstyle m</math>, then an L-function is assigned to this arithmetic object <math>\chi</math> as follows: With :<math>\lambda(\chi,n):=\chi(n)</math> the Dirichlet series (also called the Dirichlet L-series)
:<math> L(\chi,s):=\sum_{n\in\mathbb N} \frac{\lambda(\chi,n)}{n^s}=\sum_{n\in\mathbb N} \frac{\chi(n)}{n^s} </math>
for <math>\textstyle \Re(s)>1</math> is absolute.<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 2, Theorem 2.1, 1992, p. 455.</ref> With the local parameters for <math>\textstyle p</math>
:<math>\alpha(\chi,p):=\chi(p)</math>
this also holds for the corresponding Euler product, and we have the identity<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 2, Theorem 2.1, 1992, p. 455.</ref>
:<math> L(\chi,s)= \sum_{n\in\mathbb N} \frac{\chi(n)}{n^s}= \prod_{p\in\mathbb P} (1-\chi(p)p^{-s})^{-1} </math>
for <math>\textstyle \Re(s)>1</math>. As with the Riemann zeta function, :<math>d=1</math> is the order of the Euler product. If we set <math>\textstyle \kappa=0</math> when <math>\textstyle\chi(-1)=1</math> (in this case, <math>\textstyle\chi</math> is called “even”), and <math>\textstyle \kappa=1</math> if <math>\textstyle\chi(-1)=-1</math> (in this case, <math>\textstyle\chi</math> is called “odd”), then
:<math> \gamma(\chi,s)=\pi^{-\frac{s}{2}}\,\Gamma\left(\frac{s+\kappa}{2}\right) </math>
the gamma factor associated with <math>\textstyle\chi</math>. That <math>\textstyle\kappa\in\{0, 1\}</math> is thus the local parameter at the infinite prime point. The leader <math>\textstyle m</math> of the primitive Dirichlet character <math>\textstyle\chi</math> is also the leader of the Dirichlet L-function:
:<math>q(\chi)=m</math>.
The complete Dirichlet L-function thus has the form<ref>Neukirch: ''Algebraic Number Theory.'' ' Chapter 7, Paragraph 2, 1992, p. 457.</ref> :<math> \Lambda(\chi,s) := q(\chi)^\frac{s}{2} \gamma(\chi,s) L(\chi,s)= \left(\frac{m}{\pi}\right)^{\frac{s}{2}} \Gamma\left(\frac{s+\kappa}{2}\right)\sum_{n\in\mathbb N} \frac{\chi(n)}{n^s}, </math>
A definition that holds only for <math>\textstyle\Re(s)>1</math>, since the Dirichlet series used converges only there. However, such a complete Dirichlet L-function can be analytically extended to <math>\textstyle\mathbb C</math>. This results in an integral function if <math>\textstyle\chi</math> is a non-trivial Dirichlet character.<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 2, Theorem 2.8, 1992, p. 461.</ref> Otherwise, the extended function has a simple pole at <math>\textstyle s=1</math> with residue 1.<ref>Iwaniec, Kowalski: ''Analytic Number Theory.'' 2004, Chapter 5, Section 9, p. 119. </ref> The object dual to <math>\textstyle\chi</math> is <math>\overline{\chi}</math>, i.e., the Dirichlet character obtained from <math>\textstyle\chi</math> by complex conjugation of the function values of <math>\textstyle\chi</math>, i.e.,
:<math>\textstyle\overline{\chi}(n)=\overline{\chi(n)}</math>
for all <math>\textstyle n\in\mathbb N</math>. The root number <math>\textstyle\epsilon(\chi)</math> can be determined using the Gaussian sum<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 2, Definition 2.5, 1992, p. 459.</ref>
:<math> \tau(\chi)= \sum_{x \operatorname{mod} q(\chi)} \chi(x)\exp(2 \pi i x/q(\chi)) </math>
where the summation extends over all residue classes modulo the generator <math>\textstyle q(\chi)=m</math> and <math>\textstyle\pi</math> denotes the circular number, <math>\textstyle i</math> denotes the imaginary unit, and <math>\exp</math> denotes the exponential function. With
:<math>\epsilon(\chi) = \begin{cases} \frac{\tau(\chi)}{\sqrt{q(\chi)}} & \text{if}\quad\chi(-1)=1 \\ \frac{\tau(\chi)}{i\sqrt{q(\chi)}} & \text{if}\quad\chi(-1)=-1 \end{cases} </math>
then the extended, complete Dirichlet L-function satisfies the functional equation<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 2, Theorem 2.8, 1992, p. 461.</ref>
:<math> \Lambda(\chi,s) = \epsilon(\chi)\Lambda(\overline{\chi},1-s). </math> As required by the root number theorem, <math>\textstyle |\epsilon(\chi)|=1</math>, since <math>\textstyle |\tau(\chi)|=\sqrt{q(\chi)}</math>.<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 2, Theorem 2.6, 1992, p. 459, Theorem 2.8, p. 461.</ref> The Dirichlet L-functions include the Riemann zeta function, since it arises from the trivial Dirichlet character modulo 1, i.e., the principal character.<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 2, 1992, p. 455.</ref>
In 1837, the German mathematician Peter Gustav Dirichlet used the Dirichlet L-functions, named after him, to prove the Dirichlet's prime number theorem, according to which in every arithmetic sequence (also called an ''arithmetic progression'')
:<math> a, a\pm n, a\pm 2n, a\pm 3n, \ldots, \text{ with }\operatorname{gcd}(a,n)=1, </math> where <math>a,n\in\mathbb N</math>
Namely, that in every residue class <math>\textstyle a\operatorname{mod} n</math>, there are infinitely many prime numbers. <ref>P. G. L. Dirichlet: ''Proof of the theorem that every infinite arithmetic progression whose first term and common difference are integers with no common factor contains infinitely many prime numbers.'' In: ''Abhand. Ak. Wiss. Berlin.'' (1837), pp. 45–81; Works I (1889), pp. 313–342.</ref> <ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 5, Theorem 5.14, 1992, p. 490.</ref> The decisive argument in the proof of Dirichlet’s prime number theorem is the realization that <math>\textstyle \Lambda(\chi,1)\neq 0</math> holds for every non-trivial Dirichlet character <math>\textstyle\chi</math>.<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 5, Theorem 5.13, 1992, p. 490.</ref>
=== Dedekind L-functions ===
{{Main article|Dedekind zeta function}} The Riemann zeta function is defined on the field <math>\textstyle \mathbb Q</math> of rational numbers, the simplest algebraic number field. Dedekind L-functions generalize this reference to arbitrary algebraic number fields, i.e., finite field extensions of <math>\textstyle \mathbb Q</math>, such as <math>\textstyle \mathbb Q(\sqrt[3]{2})</math>. Let <math>K</math> be an algebraic number field and let <math>n_K=[K:\mathbb Q]\in\mathbb N</math> be its degree of extension over <math>\mathbb Q</math>. Let <math>\mathcal O_K</math> be its integral domain and <math>d_K\in\Z</math> its discriminant. Furthermore, let <math>n_1\in\mathbb N_0</math> be the number of real embeddings and <math>n_2\in\mathbb N_0</math> the number of pairs of complex embeddings of <math>K</math>. Thus, <math>n_K=n_1+2 n_2</math>. thumbnail|Richard Dedekind (1831–1916)
The Dedekind L-function (also known as the Dedekind zeta function) with respect to <math>K</math> is defined for <math>\Re(s)>1</math> by<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 5, Definition 5.1, 1992, p. 478.</ref>
:<math> \zeta_K(s):=L(K,s):=\sum_{0\neq\mathfrak{a}\subset\mathcal O_K} \frac{1}{\mathcal N(\mathfrak{a})^s}. </math>
In the sum, <math>\mathfrak{a}</math> runs through all integer ideals of <math>\mathcal O_K</math> that are distinct from the zero ideal <math>\{0\}</math>. <math>\mathcal N(\mathfrak{a})\in\N</math> denotes the absolute norm of <math>\mathfrak{a}</math>. The coefficients of the Dirichlet series
:<math> \sum_{0\neq\mathfrak{a}\subset\mathcal O_K} \frac{1}{\mathcal N(\mathfrak{a})^s} = \sum_{n\in\N} \frac{\lambda(K,n)}{n^s} </math>
are thus<ref>Steuding: ''Value-Distribution of L-Functions.'' 2007, Chapter 13, Section 1, p. 250.</ref>
:<math> \lambda(K,n)= \#\{0\neq\mathfrak{a}\subset\mathcal O_K \mid \mathcal N(\mathfrak{a})=n \}\in\N_0. </math>
For every <math>n\in\N</math>, they specify the number of integral ideals of <math>\mathcal O_K</math> with absolute norm <math>n</math>. In particular, all coefficients <math>\lambda(K,n)</math> are real, and therefore <math>L(K,s)</math> is self-dual. That Dirichlet series converges absolutely for <math>\Re(s)>1</math>, as does the corresponding Euler product
:<math> \prod_{0\neq\mathfrak{p}\subset\mathcal O_K} \frac{1}{1-\mathcal N(\mathfrak{p})^{-s}}. </math>
Here, the product extends over all prime ideals <math>\mathfrak{p}</math> of <math>\mathcal O_K</math> that are distinct from the zero ideal. For <math>\Re(s)>1</math>, the following identity holds<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Paragraph 5, Theorem 5.2, 1992, p. 478.</ref>
:<math> L(K,s)= \sum_{0\neq\mathfrak{a}\subset\mathcal O_K} \frac{1}{\mathcal N(\mathfrak{a})^s}= \sum_{n\in\N} \frac{\lambda(K,n)}{n^s}= \prod_{0\neq\mathfrak{p}\subset\mathcal O_K} \frac{1}{1-\mathcal N(\mathfrak{p})^{-s}}. </math>
This form of the Euler product does not yet show the individual Euler factors <math> (1-\alpha_1(K,p)p^{-s})^{-1}\cdot\ldots\cdot (1-\alpha_d(K,p)p^{-s})^{-1} </math>. In any case, the degree of the Euler product is equal to the degree of the field extension <math>K/\mathbb Q</math>: <ref>Iwaniec, Kowalski: ''Analytic Number Theory.'' 2004, Chapter 5, Section 10, p. 125.</ref>
:<math> d=[K:\mathbb Q]=n_K=n_1+2 n_2. </math>
The local parameters <math>\alpha_j(K,p)</math> depend on the ''decomposition behavior'' of the ideals <math> (p):=p\mathcal O_K </math> : every ideal <math>(p)</math> has a “prime ideal decomposition” that is unique up to the order of the factors
:<math> (p)=\prod_{\mathfrak{p}} \mathfrak{p}^{e_\mathfrak{p}} </math>
in prime ideals <math>0\neq\mathfrak{p}\subset\mathcal O_K</math>, where the following holds: <math>e_\mathfrak{p}\in\N_0</math> and <math>e_\mathfrak{p}>0</math> for only finitely many prime ideals <math>\mathfrak{p}</math>. For at most <math>n_K</math> prime ideals <math>\mathfrak{p}</math>, <math>e_\mathfrak{p}>0</math> may hold. Such <math>\mathfrak{p}</math> ''divide'' <math>(p)</math>, and we write <math>\mathfrak{p}|(p)</math>. The exponent <math>e_\mathfrak{p}</math> in the prime ideal decomposition of <math>(p)</math> is called the ''branching index of <math>\mathfrak{p}</math> over <math>p</math>''. If <math>\mathfrak{p}|(p)</math>, then <math> \mathcal N(\mathfrak{p})=p^{f_\mathfrak{p}} </math> for some <math>f_\mathfrak{p}\in\N</math>, which is called the ''inertia index of <math>\mathfrak{p}</math> over <math>p</math>''. For every <math>p\in\mathbb P</math>, the branching and inertia indices associated with the ideal <math>(p)</math> satisfy the following relation with respect to the degree of <math>K/\mathbb Q</math>:
:<math> \sum_{\mathfrak{p}|(p)} e_\mathfrak{p} f_\mathfrak{p} = n_K. </math>
Using the knowledge of the inertia indices for every <math>p\in\mathbb P</math>, the local parameters <math>\alpha_j(K,p)</math> can now be determined, namely via the factors <math>(1-p^{-s f_\mathfrak{p}})^{-1}</math> in the identity<ref>Steuding: ''Value-Distribution of L-Functions.'' 2007, Chapter 13, Section 1, p. 250.</ref>
:<math> \prod_{0\neq\mathfrak{p}\subset\mathcal O_K} \frac{1}{1-\mathcal N(\mathfrak{p})^{-s}} = \prod_{p\in\mathbb P}\;\prod_{\mathfrak{p}|(p)} (1-p^{-s f_\mathfrak{p}})^{-1}, </math>
by factoring the polynomials <math>X^{f_\mathfrak{p}}-1</math> in the polynomial ring <math>\Complex[X]</math>.
The gamma factor with respect to <math>L(K,s)</math> is<ref>Iwaniec, Kowalski: ''Analytic Number Theory.'' 2004, Chapter 5, Section 10, p. 125.</ref>
:<math> \gamma(K,s)= \pi^{-\frac{s\cdot n_K}{2}}\, \Gamma\left(\frac{s}{2}\right)^{n_1+n_2}\, \Gamma\left(\frac{s+1}{2}\right)^{n_2}. </math>
The value of the discriminant of <math>K</math> is the conductor of <math>L(K,s)</math>: <ref>Iwaniec, Kowalski: ''Analytic Number Theory.'' 2004, Chapter 5, Section 10, p. 125.</ref>
:<math> q(K)=|d_K|. </math>
Thus, the complete L-function of <math>K</math> for <math>\Re(s)>1</math> is given by
:<math> \Lambda(K,s):= q(K)^\frac{s}{2}\,\gamma(K,s)\,L(K,s)= \left(\frac{|d_K|}{\pi^{n_K}}\right)^\frac{s}{2}\, \Gamma\left(\frac{s}{2}\right)^{n_1+n_2}\, \Gamma\left(\frac{s+1}{2}\right)^{n_2}\, \sum_{0\neq\mathfrak{a}\subset\mathcal O_K} \frac{1}{\mathcal N(\mathfrak{a})^s}. </math>
This function has an analytic continuation to the complex plane with simple poles at <math>s=0</math> and <math>s=1</math>, and residues there of <math>-\frac{2^r h R}{w}</math> and <math>\frac{2^r h R}{w}</math>, respectively. Here, <math>r=n_1+n_2</math> is the number of infinite digits, <math>h\in\N</math> is the class number, <math>R\in\R</math> is the regulator of <math>K</math>, and <math>w\in\N</math> is the number of unit roots in <math>K</math>. <ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 5, Corollary 5.10, 1992, p. 487.</ref>
Dedekind L-functions always have a root of 1: <ref>Iwaniec, Kowalski: ''Analytic Number Theory.'' 2004, Chapter 5, Section 10, p. 125.</ref>
:<math> \epsilon(K)=1. </math>
Thus, the analytically extended, complete L-function of <math>K</math> satisfies the functional equation<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 5, Corollary 5.10, 1992, p. 487.</ref>
:<math> \Lambda(K,s)=\Lambda(K,1-s). </math>
The analytically extended function <math>\Lambda(K,s)</math> now also allows for the analytic extension of <math>L(K,s)</math>, namely via the definition<ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 5, 1992, p. 488.</ref>
:<math> L(K,s):=\frac{\Lambda(K,s)}{ |d_k|^\frac{s}{2}\,\gamma(K,s)}= \left(\frac{\pi^{n_K}}{|d_K|}\right)^\frac{s}{2}\cdot \frac{\Lambda(K,s)}{ \Gamma\left(\frac{s}{2}\right)^{n_1+n_2}\, \Gamma\left(\frac{s+1}{2}\right)^{n_2}}. </math>
This makes <math>L(K,s)</math> a meromorphic function on <math>\Complex</math> with a simple pole at <math>s=1</math>. One of its fascinating properties is the so-called ''analytic class number formula'', according to which the residue of <math>L(K,s)</math> at <math>s=1</math> takes the following form: <ref>Neukirch: ''Algebraic Number Theory.'' Chapter 7, Section 5, Corollary 5.11, 1992, p. 488.</ref>
:<math> \operatorname{Res}_{s=1}\, L(K,s) = \frac{2^{n_1}(2\pi)^{n_2}}{w\sqrt{|d_K|}}\,h R. </math>
== Conjectural information ==
One can list characteristics of known examples of ''L''-functions that one would wish to see generalized:
* location of zeros and poles; * functional equation, with respect to some vertical line Re(''s'') = constant; * interesting values at integers related to quantities from algebraic ''K''-theory.
Detailed work has produced a large body of plausible conjectures, for example about the exact type of functional equation that should apply. Since the Riemann zeta function connects through its values at positive even integers (and negative odd integers) to the Bernoulli numbers, one looks for an appropriate generalisation of that phenomenon. In that case results have been obtained for ''p''-adic ''L''-functions, which describe certain Galois modules.
The statistics of the zero distributions are of interest because of their connection to problems like the generalized Riemann hypothesis, distribution of prime numbers, etc. The connections with random matrix theory and quantum chaos are also of interest. The fractal structure of the distributions has been studied using rescaled range analysis.<ref name="Shanker">{{cite journal|author=O. Shanker|year=2006|title=Random matrices, generalized zeta functions and self-similarity of zero distributions|journal=J. Phys. A: Math. Gen.|volume=39|issue=45 |pages=13983–13997 | doi = 10.1088/0305-4470/39/45/008|bibcode=2006JPhA...3913983S|s2cid=54958644 }}</ref> The self-similarity of the zero distribution is quite remarkable, and is characterized by a large fractal dimension of 1.9. This rather large fractal dimension is found over zeros covering at least fifteen orders of magnitude for the Riemann zeta function, and also for the zeros of other ''L''-functions of different orders and conductors.
== Birch and Swinnerton-Dyer conjecture == {{main|Birch and Swinnerton-Dyer conjecture}}
One of the influential examples, both for the history of the more general ''L''-functions and as a still-open research problem, is the conjecture developed by Bryan Birch and Peter Swinnerton-Dyer in the early part of the 1960s. It applies to an elliptic curve ''E'', and the problem it attempts to solve is the prediction of the rank of the elliptic curve over the rational numbers (or another global field): i.e. the number of free generators of its group of rational points. Much previous work in the area began to be unified around a better knowledge of ''L''-functions. This was something like a paradigm example of the nascent theory of ''L''-functions.
== Rise of the general theory ==
This development preceded the Langlands program by a few years, and can be regarded as complementary to it: Langlands' work relates largely to Artin ''L''-functions, which, like Hecke ''L''-functions<!-- intentional link to DAB page -->, were defined several decades earlier, and to ''L''-functions attached to general automorphic representations.
Gradually it became clearer in what sense the construction of Hasse–Weil zeta functions might be made to work to provide valid ''L''-functions, in the analytic sense: there should be some input from analysis, which meant ''automorphic'' analysis. The general case now unifies at a conceptual level a number of different research programs.
==Notes== {{reflist|group=Note.}}
==See also== {{Div col|colwidth=25em}} *Generalized Riemann hypothesis *Dirichlet ''L''-function *Automorphic ''L''-function *Modularity theorem *Artin conjecture *Special values of ''L''-functions *Explicit formulae for ''L''-functions *Shimizu ''L''-function {{Div col end}}
==References== {{reflist}}
* {{Neukirch ANT}}
==External links== * {{cite web | url = http://www.lmfdb.org | title = LMFDB, the database of ''L''-functions, modular forms, and related objects }} *{{SpringerEOM|title=L-function|id=L-function&oldid=19281|last=Lavrik|first=A.F.|mode=cs1}} ;Articles about a breakthrough third degree transcendental ''L''-function :*{{cite news | url = http://www.physorg.com/news124636003.html | title = Glimpses of a new (mathematical) world | date = March 13, 2008 | work = Physorg.com | department = Mathematics | agency = American Institute of Mathematics}} :*{{cite news | url = http://www.sciencenews.org/view/generic/id/9542/title/Math_Trek__Creeping_Up_on_Riemann | title = Creeping Up on Riemann | work = Science News | date = April 2, 2008 | first = Julie | last = Rehmeyer | access-date = August 5, 2008 | archive-date = February 16, 2012 | archive-url = https://web.archive.org/web/20120216201232/http://www.sciencenews.org/view/generic/id/9542/title/Math_Trek__Creeping_Up_on_Riemann | url-status = dead }} :*{{cite news | url = http://www.physorg.com/news137248087.html | title = Hunting the elusive ''L''-function | date = August 6, 2008 | work = Physorg.com | department = Mathematics | agency = University of Bristol }} {{L-functions-footer}} {{Authority control}}
{{DEFAULTSORT:L-Function}} *