nLab Artin L-function

Contents

Contents

Idea

An Artin L-function L σL_\sigma (Artin 23) is an L-function associated with a number field KK and induced from the choice of an nn-dimensional Galois representation, hence a linear representation

σ:Gal(L/K)GL n() \sigma\;\colon\; Gal(L/K) \longrightarrow GL_n(\mathbb{C})

of the Galois group for some finite Galois extension LL of KK: it is the product (“Euler product”) over all prime ideals 𝔭\mathfrak{p} in the ring of integers of KK, of, essentially, the characteristic polynomials of the Frobenius homomorphism Frob pFrob_p regarded (see here) as elements of Galois group

L K,σ:s𝔭det(id(N(𝔭)) sσ(Frob 𝔭)) 1 L_{K,\sigma} \colon s \mapsto \underset{\mathfrak{p}}{\prod} det \left( id - (N (\mathfrak{p}))^{-s} \sigma(Frob_{\mathfrak{p}}) \right)^{-1} \,

(e.g. Gelbhart 84, II.C.2, Snyder 02, def. 2.1.3).

discussion of ramified primes needs to be added

For σ=1\sigma = 1 the trivial representation then the Artin L-function reduces to the Dedekind zeta function (see below). So conversely one may think of Artin L-functions as being Dedekind zeta functions which are “twisted” by a Galois representation. (Notice that Galois representations are the analog in arithmetic geometry of flat connections/local systems of coefficients).

For σ\sigma any 1-dimensional Galois representation (hence the case n=1n = 1) then there is a Dirichlet character χ\chi such that the Artin L-function L σL_\sigma is equal to the Dirichlet L-function L χL_\chi – this relation is part of Artin reciprocity.

For σ\sigma any nn-dimensional representation for n1n \geq 1 then the conjecture of Langlands correspondence is that for each nn-dimensional Galois representation σ\sigma there is an automorphic representation π\pi such that the Artin L-function L σL_\sigma equals the automorphic L-function L πL_\pi (e.g Gelbhart 84, pages 5-6).

Properties

For irreducible representations – Artin’s conjecture

Artin’s conjecture is the statement that for a nontrivial irreducible representation σ\sigma the Artin L-function L K,σL_{K,\sigma} is not just a meromorphic function on the complex plane, but in fact an entire holomorphic function.

e.g. (Ram Murty 94, p. 3)

or rather with at most a pole at s=1s = 1 Murty-Murty 12, page 29 in chapter 2

For induced representations

Let HGal(L/K)H \hookrightarrow Gal(L/K) be subgroup of the Galois group GGal(L/K)G \coloneqq Gal(L/K) and write L HLL^H \hookrightarrow L for the subfield of elements fixed by HH. Let σ\sigma be a representation of H=Gal(L/L H)H = Gal(L/L^H) and write Ind H GσInd_H^G\sigma for the induced representation of GG. Then the corresponding Artin L-functions are equal:

L K,Ind H Gσ=L L H,σ. L_{K,{Ind_H^{G}\sigma}} = L_{L^H, \sigma} \,.

(e.g. (Murty-Murty 12, equation (2) in chapter 2)).

Relation to the Dedekind zeta function

For σ=1\sigma = 1 the trivial representation then σ(Frob 𝔭)=id\sigma(Frob_{\mathfrak{p}}) = id identically, and hence in this case the definition of the Artin L-function becomes verbatim that of the Dedekind zeta function ζ K\zeta_K:

L L,1=ζ L. L_{L,1} = \zeta_L \,.

If L/KL/K is a Galois extension, the by the behaviour of Artin L-functions for induced representation as above this is also the Artin L-function of KK itself for the regular representation of Gal(L/K)Gal(L/K)

ζ L=L L,1=L K,Ind 1 Gal(L/K)1 \zeta_L = L_{L,1} = L_{K,{Ind_1^{Gal(L/K)}1}}

(e.g. (Murty-Murty 12, below (2) in chapter 2))

Analogy with Selberg/Ruelle zeta-functions

The Frobenius morphism Frob pFrob_p giving an element in the Galois group means that one may think of it as an element of the fundamental group of the given arithmetic curve (see at algebraic fundamental group). There is a direct analogy between Frobenius elements at prime numbers in arithmetic geometry and parallel transport along prime geodesics in hyperbolic geometry (Brown 09, p. 6).

Under this interpretation, a Galois connection corresponds to a flat connection (local system of coefficients) on an arithmetic curve, and its Artin L-function is a product of characteristic polynomials of the monodromies/holonomies of that flat connection.

Now, in differential geometry, given a suitable odd-dimensional hyperbolic manifold equipped with an actual flat bundle over it, then associated with it is the Selberg zeta function and Ruelle zeta function. Both are (by definition in the latter case and by theorems in the former) Euler products of characteristic polynomials of monodromies/holonomies. See at Selberg zeta function – Analogy with Artin L-function and at Ruelle zeta function – Analogy with Artin L-function for more on this.

See also (Brown 09, page 6, Morishita 12, remark 12.7).

(The definition also has some similarity to that of the Alexander polynomial, see at arithmetic topology.)

context/function field analogytheta function θ\thetazeta function ζ\zeta (= Mellin transform of θ(0,)\theta(0,-))L-function L zL_{\mathbf{z}} (= Mellin transform of θ(z,)\theta(\mathbf{z},-))eta function η\etaspecial values of L-functions
physics/2d CFTpartition function θ(z,τ)=Tr(exp(τ(D z) 2))\theta(\mathbf{z},\mathbf{\tau}) = Tr(\exp(-\mathbf{\tau} \cdot (D_\mathbf{z})^2)) as function of complex structure τ\mathbf{\tau} of worldsheet Σ\Sigma (hence polarization of phase space) and background gauge field/source z\mathbf{z}analytically continued trace of Feynman propagator ζ(s)=Tr reg(1(D 0) 2) s= 0 τ s1θ(0,τ)dτ\zeta(s) = Tr_{reg}\left(\frac{1}{(D_{0})^2}\right)^s = \int_{0}^\infty \tau^{s-1} \,\theta(0,\tau)\, d\tauanalytically continued trace of Feynman propagator in background gauge field z\mathbf{z}: L z(s)Tr reg(1(D z) 2) s= 0 τ s1θ(z,τ)dτL_{\mathbf{z}}(s) \coloneqq Tr_{reg}\left(\frac{1}{(D_{\mathbf{z}})^2}\right)^s = \int_{0}^\infty \tau^{s-1} \,\theta(\mathbf{z},\tau)\, d\tauanalytically continued trace of Dirac propagator in background gauge field z\mathbf{z} η z(s)=Tr reg(sgn(D z)|D z|) s\eta_{\mathbf{z}}(s) = Tr_{reg} \left(\frac{sgn(D_{\mathbf{z}})}{ { \vert D_{\mathbf{z}} } \vert }\right)^s regularized 1-loop vacuum amplitude pvL z(1)=Tr reg(1(D z) 2)pv\, L_{\mathbf{z}}(1) = Tr_{reg}\left(\frac{1}{(D_{\mathbf{z}})^2}\right) / regularized fermionic 1-loop vacuum amplitude pvη z(1)=Tr reg(D z(D z) 2)pv\, \eta_{\mathbf{z}}(1)= Tr_{reg} \left( \frac{D_{\mathbf{z}}}{(D_{\mathbf{z}})^2} \right) / vacuum energy 12L z (0)=Z H=12lndet reg(D z 2)-\frac{1}{2}L_{\mathbf{z}}^\prime(0) = Z_H = \frac{1}{2}\ln\;det_{reg}(D_{\mathbf{z}}^2)
Riemannian geometry (analysis)zeta function of an elliptic differential operatorzeta function of an elliptic differential operatoreta function of a self-adjoint operatorfunctional determinant, analytic torsion
complex analytic geometrysection θ(z,τ)\theta(\mathbf{z},\mathbf{\tau}) of line bundle over Jacobian variety J(Σ τ)J(\Sigma_{\mathbf{\tau}}) in terms of covering coordinates z\mathbf{z} on gJ(Σ τ)\mathbb{C}^g \to J(\Sigma_{\mathbf{\tau}})zeta function of a Riemann surfaceSelberg zeta functionDedekind eta function
arithmetic geometry for a function fieldGoss zeta function (for arithmetic curves) and Weil zeta function (in higher dimensional arithmetic geometry)
arithmetic geometry for a number fieldHecke theta function, automorphic formDedekind zeta function (being the Artin L-function L zL_{\mathbf{z}} for z=0\mathbf{z} = 0 the trivial Galois representation)Artin L-function L zL_{\mathbf{z}} of a Galois representation z\mathbf{z}, expressible “in coordinates” (by Artin reciprocity) as a finite-order Hecke L-function (for 1-dimensional representations) and generally (via Langlands correspondence) by an automorphic L-function (for higher dimensional reps)class number \cdot regulator
arithmetic geometry for \mathbb{Q}Jacobi theta function (z=0\mathbf{z} = 0)/ Dirichlet theta function (z=χ\mathbf{z} = \chi a Dirichlet character)Riemann zeta function (being the Dirichlet L-function L zL_{\mathbf{z}} for Dirichlet character z=0\mathbf{z} = 0)Artin L-function of a Galois representation z\mathbf{z} , expressible “in coordinates” (via Artin reciprocity) as a Dirichlet L-function (for 1-dimensional Galois representations) and generally (via Langlands correspondence) as an automorphic L-function

References

The original article is

  • Emil Artin, Über eine neue Art von L Reihen. Hamb. Math. Abh. 3. (1923) Reprinted in his collected works, ISBN 0-387-90686-X. English translation in (Snyder 02, section A)

Reviews include

  • Wikipedia, Artin L-function

  • M. Ram Murty, V. Kumar Murty, Non-vanishing of L-functions and applications, Modern Birkhäuser classics 2012 (chapter 2 pdf)

  • Noah Snyder, Artin L-Functions: A Historical Approach, 2002 (pdf)

and in the context of the Langlands program

  • Stephen Gelbart, An elementary introduction to the Langlands program, Bull. Amer. Math. Soc. (N.S.) 10 (1984), no. 2, 177–219 (web)

Further development includes

  • M. Ram Murty, Selberg’s conjectures and Artin -functions, Bull. Amer. Math. Soc. 31 (1994), 1-14 (web)

The analogy with the Selberg zeta function is discussed in

  • Darin Brown, Lifting properties of prime geodesics, Rocky Mountain J. Math. Volume 39, Number 2 (2009), 437-454 (euclid)

  • Masanori Morishita, section 12.1 of Knots and Primes: An Introduction to Arithmetic Topology, 2012 (web)

The analogies between Alexander polynomial and L-functions and touched upon in

  • Ken-ichi Sugiyama, The properties of an L-function from a geometric point of view, 2007 pdf; A topological L\mathrm{L} -function for a threefold, 2004 pdf

Last revised on December 18, 2017 at 09:23:18. See the history of this page for a list of all contributions to it.