Langlands–Deligne local constant

From HandWiki
Short description: Elementary function in mathematics

In number theory, the Langlands–Deligne local constant, named after Robert Langlands and Pierre Deligne, also known as the local epsilon factor,[1] is a function associated with a representation ρ of the Weil group of a local field. The functional equation

L(ρ,s)=ε(ρ,s)L(ρv,1−s)

of the Artin L-function associated to ρ has a function ε(ρ,s) appearing in it, equal to a constant called the Artin root number times an elementary real function of s, and Langlands discovered that ε(ρ,s) can be written in a canonical way as a product

ε(ρ,s)=∏ε(ρv,s,ψv)

of local constants ε(ρv,s,ψv) associated to primes v.

In his thesis, John Tate proved the existence of the local constants in the case that ρ is one-dimensional. Bernard Dwork proved the existence of the local constant ε(ρv,s,ψv) up to sign.[2] The original proof of the existence of the local constants by (Langlands 1970) used local methods and was rather long and complicated, and never published. Deligne later discovered a simpler proof using global methods.[3]

Properties

The local constants ε(ρ,s,ψv) depend on a representation ρ of the Weil group and a choice of character ψE of the additive group of E[clarification needed]. They satisfy the following conditions:

  • If ρ is one-dimensional then ε(ρ,s,ψE) is the constant associated to it by Tate's thesis as the constant in the functional equation of the local L-function.
  • ε(ρ1⊕ρ2,s,ψE)=ε(ρ1,s,ψE)ε(ρ2,s,ψE).As a result, ε(ρ,s,ψE) can also be defined for virtual representations ρ.
  • If ρ is a virtual representation of dimension 0 and E contains K then ε(ρ,s,ψE)=ε(IndE/Kρ,s,ψK).

Brauer's theorem on induced characters implies that these three properties characterize the local constants.

Deligne showed that the local constants are trivial for real (orthogonal) representations of the Weil group.[4]

Notational conventions

There are several different conventions for denoting the local constants.

  • The parameter s is redundant and can be combined with the representation ρ, because ε(ρ, s, ψE) = ε(ρ⊗||s, 0, ψE) for a suitable character ||.
  • Deligne includes an extra parameter dx consisting of a choice of Haar measure on the local field. Other conventions omit this parameter by fixing a choice of Haar measure: either the Haar measure that is self dual with respect to ψ (used by Langlands), or the Haar measure that gives the integers of E measure 1. These different conventions differ by elementary terms that are positive real numbers.

References

  1. ↑ Kramer, K.; Tunnell, J. (1982). "Elliptic curves and local ϵ-factors". Compositio Mathematica 46 (3): 307–352. https://www.numdam.org/item/CM_1982__46_3_307_0.pdf. 
  2. ↑ Dwork, Bernard (1956). "On the Artin root number". American Journal of Mathematics 78 (2): 444–472. doi:10.2307/2372524. 
  3. ↑ Deligne, Pierre (1973). "Les constantes des équations fonctionnelles des fonctions L". in Deligne, Pierre. Modular Functions of One Variable II. Springer Berlin, Heidelberg. pp. 501–597. doi:10.1007/978-3-540-37855-6_7. ISBN 978-3-540-06558-6. 
  4. ↑ Deligne, Pierre (1976). "Les constantes locales de l'équation fonctionnelle de la fonction L d'Artin d'une représentation orthogonale". Inventiones Mathematicae 35: 299–316. doi:10.1007/BF01390143.