Artin L-function

In mathematics, an Artin "L"-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group "G". These functions were introduced in the 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin "L"-functions into a larger framework, such as is provided by automorphic forms and Langlands' philosophy. So far, only a small part of such a theory has been put on a firm basis.

Definition

Given $ho$, a representation of $G$ on a finite-dimensional complex vector space $V$, where $G$ is the Galois group of the finite extension $L/K$ of number fields, the Artin $L$-function: $L(\; ho,s)$ is defined by an Euler product. For each prime ideal $mathfrak\; P$, there is an Euler factor, which is easiest to define in the case where $mathfrak\; P$ is unramified in $L$ (true of almost all $mathfrak\; P$). In that case, the Frobenius element $mathbf\{Frob\}\; (mathfrak\; P)$ is defined as a conjugacy class in $G$. Therefore the characteristic polynomial of $ho(\; mathbf\{Frob\}\; (mathfrak\{P\}))$ is well-defined. The Euler factor for $mathfrak\{P\}$ is a slight modification of the characteristic polynomial, equally well-defined,

:$operatorname\{charpoly\}(\; ho(mathbf\{Frob\}(mathfrak\{P\})))^\{-1\}\; =\; operatorname\{det\}\; left\; [\; I\; -\; t\; ho(\; mathbf\{Frob\}(\; mathfrak\{P\}))\; ight\; ]\; ^\{-1\}$,

as rational function in "t", evaluated at $t\; =\; N\; (mathfrak\{P\})^\{-s\}$, with $s$ a complex variable in the usual Riemann zeta function notation. (Here "N" is the field norm of an ideal.)

When $mathfrak\{P\}$ is ramified, and "I" is the inertia group which is a subgroup of "G", a similar construction is applied, but to the subspace of "V" fixed (pointwise) by "I". (Pedantic note: there are reasons to think instead about the coinvariants, the largest quotient space fixed by "I", but the result here will be the same. Cf. Hasse-Weil L-function for a similar situation.)

The Artin L-function $L(\; ho,s)$ is then the infinite product over all prime ideals $mathfrak\{P\}$ of these factors. As Artin reciprocity shows, when "G" is an abelian group these "L"-functions have a second description (as Dirichlet "L"-functions when "K" is the rational number field, and as Hecke "L"-functions in general). Novelty comes in with non-abelian "G" and their representations.

One application is to give factorisations of Dedekind zeta-functions, for example in the case of a number field that is Galois over the rational numbers. In accordance with the decomposition of the regular representation into irreducible representations, such a zeta-function splits into a product of Artin "L"-functions, for each irreducible representation of "G". For example, the simplest case is when "G" is the symmetric group on three letters. Since "G" has an irreducible representation of degree 2, an Artin "L"-function for such a representation occurs, squared, in the factorisation of the Dedekind zeta-function for such a number field, in a product with the Riemann zeta-function (for the trivial representation) and an "L"-function of Dirichlet's type for the signature representation.

Functional equation

Artin L-functions satisfy a functional equation. The function "L"("s", ρ) is related in its values to "L"(1 − "s", ρ*), where ρ* denotes the complex conjugate representation. More precisely "L" is replaced by Λ("s", ρ), which is "L" multiplied by certain gamma factors, and then there is an equation of meromorphic functions

:Λ("s", ρ) = "W"(ρ)Λ"L"(1 − "s", ρ*)

with a certain complex number "W"(ρ) of absolute value 1. It is the Artin root number. It has been studied deeply with respect to two types of properties. Firstly a factorisation into "local constants" has been established; this is significant in relation to conjectural relationships to automorphic representations. Also the case of ρ and ρ* being equivalent representations is exactly the one in which the functional equation has the same L-function on each side. It is, algebraically speaking, the case when ρ is a real representation or quaternionic representation. The Artin root number is, then, either +1 or −1. The question of which sign occurs has been shown to be linked to Galois module theory. (See EoM external link.)

The Artin conjecture

The Artin conjecture on Artin L-functions states that the Artin L-function L(ρ,"s") of a non-trivial irreducible representation ρ is analytic in the whole complex plane.

This is known for one-dimensional representations — the L-functions being then associated to Hecke characters — and in particular for Dirichlet L-functions. More generally the Artin conjecture is true for all representations induced from 1-dimensional representations. If the Galois group is supersolvable then all representations are of this form so the Artin conjecture holds.

André Weil proved the Artin conjecture in the case of function fields.

Two dimensional representations are classified by the nature of the image subgroup: it may be cyclic, dihedral, tetrahedral, octahedral, or icosahedral. The Artin conjecture for the cyclic or dihedral case follows easily from Hecke's work. Langlands did the tetrahedral case, and Tunnell extended his work to cover the octahedral case; these cases were used by Wiles in his proof of the Taniyama-Shimura conjecture. Some progress on the (non-solvable) icosahedral case has been made by Richard Taylor and others; this is an active area of research. Khare proved the icosahedral case.

Brauer's theorem on induced characters implies that all Artin L-functions are meromorphic in the whole complex plane, and can in fact be written as products of positive and negative powers of Hecke L-functions.

The Artin conjecture is known to follow from strong enough results from the Langlands philosophy, relating to the L-functions associated to automorphic representations for GL(n) for all $n\; geq\; 1$. More precisely, the Langlands conjectures associate an automorphic representation of the adelic group GL_n("A"_Q) to every "n"-dimensional irreducible representation of the Galois group, which is a cuspidal representation if the Galois representation is non-trivial, such that the Artin L-function of the Galois representation is the same as the automorphic L-function of the automorphic representation. The Artin conjecture then follows immediately from the known fact that the L-functions of cuspidal automorphic representations are holomorphic. This was one of the major motivations for Langlands' work. (See for example [http://sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/rice-ps.pdf this PDF] of Langlands from 1970.)

References

*E. Artin, "Über eine neue Art von L Reihen", Hamb. Math. Abh., (3) 1923, reprinted in his collected works, ISBN 0-387-90686-X
*Tunnell, Jerrold "Artin's conjecture for representations of octahedral type." Bull. Amer. Math. Soc. (N.S.) 5 (1981), no. 2, 173--175.
*Gelbart, Stephen "Automorphic forms and Artin's conjecture." Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn., Bonn, 1976), pp. 241--276. Lecture Notes in Math., Vol. 627, Springer, Berlin, 1977.

External links

*springer|first=R.|last= Perlis|id=a/a120270|title=Artin root numbers