Contents
Context
Theta functions
Arithmetic geometry
number theory
number
- natural number, integer number, rational number, real number, irrational number, complex number, quaternion, octonion, adic number, cardinal number, ordinal number, surreal number
arithmetic
arithmetic geometry, function field analogy
Arakelov geometry
Contents
Idea
An Artin L-function (Artin 23) is an L-function associated with a number field and induced from the choice of an -dimensional Galois representation, hence a linear representation
of the Galois group for some finite Galois extension of : it is the product (“Euler product”) over all prime ideals in the ring of integers of , of, essentially, the characteristic polynomials of the Frobenius homomorphism regarded (see here) as elements of Galois group
(e.g. Gelbhart 84, II.C.2, Snyder 02, def. 2.1.3).
discussion of ramified primes needs to be added
For 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 any 1-dimensional Galois representation (hence the case ) then there is a Dirichlet character such that the Artin L-function is equal to the Dirichlet L-function – this relation is part of Artin reciprocity.
For any -dimensional representation for then the conjecture of Langlands correspondence is that for each -dimensional Galois representation there is an automorphic representation such that the Artin L-function equals the automorphic L-function (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 the Artin L-function 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 Murty-Murty 12, page 29 in chapter 2
For induced representations
Let be subgroup of the Galois group and write for the subfield of elements fixed by . Let be a representation of and write for the induced representation of . Then the corresponding Artin L-functions are equal:
(e.g. (Murty-Murty 12, equation (2) in chapter 2)).
Relation to the Dedekind zeta function
For the trivial representation then identically, and hence in this case the definition of the Artin L-function becomes verbatim that of the Dedekind zeta function :
If 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 itself for the regular representation of
(e.g. (Murty-Murty 12, below (2) in chapter 2))
Analogy with Selberg/Ruelle zeta-functions
The Frobenius morphism 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 analogy | theta function | zeta function (= Mellin transform of ) | L-function (= Mellin transform of ) | eta function | special values of L-functions |
---|
physics/2d CFT | partition function as function of complex structure of worldsheet (hence polarization of phase space) and background gauge field/source | analytically continued trace of Feynman propagator | analytically continued trace of Feynman propagator in background gauge field : | analytically continued trace of Dirac propagator in background gauge field | regularized 1-loop vacuum amplitude / regularized fermionic 1-loop vacuum amplitude / vacuum energy |
Riemannian geometry (analysis) | | zeta function of an elliptic differential operator | zeta function of an elliptic differential operator | eta function of a self-adjoint operator | functional determinant, analytic torsion |
complex analytic geometry | section of line bundle over Jacobian variety in terms of covering coordinates on | zeta function of a Riemann surface | Selberg zeta function | | Dedekind eta function |
arithmetic geometry for a function field | | Goss zeta function (for arithmetic curves) and Weil zeta function (in higher dimensional arithmetic geometry) | | | |
arithmetic geometry for a number field | Hecke theta function, automorphic form | Dedekind zeta function (being the Artin L-function for the trivial Galois representation) | Artin L-function of a Galois representation , 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 regulator |
arithmetic geometry for | Jacobi theta function ()/ Dirichlet theta function ( a Dirichlet character) | Riemann zeta function (being the Dirichlet L-function for Dirichlet character ) | Artin L-function of a Galois representation , 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 -function for a threefold, 2004 pdf