Definition

Let FF be a . A Weil–Deligne representation on a finite-dimensional complex VV is a pair (r,N)(r,N), where

r:WFGL(V)r:W_F\longrightarrow\operatorname{GL}(V)

is a representation of the , continuous with open kernel on the , NEnd(V)N\in\operatorname{End}(V) is nilpotent, and

r(w)Nr(w)1=wFN(wWF).r(w)Nr(w)^{-1}=|w|_F N \qquad(w\in W_F).

Morphisms intertwine both rr and NN. This is the representation-theoretic form of a representation of the .

Frobenius semisimplification

The pair is Frobenius-semisimple if r(FrF)r(\operatorname{Fr}_F) is . Replacing the Frobenius action by its semisimple part gives the Frobenius semisimplification. Local Langlands for GLn\operatorname{GL}_n is normally stated using isomorphism classes of Frobenius-semisimple Weil–Deligne representations.

Local factor

With geometric Frobenius and inertia IFI_F, the standard local factor is

L(s,r,N)=det ⁣(1qFsr(FrF)(kerN)IF)1.L(s,r,N)= \det\!\left( 1-q_F^{-s}r(\operatorname{Fr}_F) \mid(\ker N)^{I_F} \right)^{-1}.

Changing to arithmetic Frobenius changes the displayed convention, not the underlying representation.

The corresponding and enter the local functional equation.

Monodromy-free case

The condition N=0N=0 gives an ordinary Weil-group representation. If inertia also acts trivially, the representation is unramified and is determined by the semisimple of Frobenius.

References
  1. Pierre Deligne, “Les constantes des équations fonctionnelles des fonctions LL,” in Modular Functions of One Variable II, Lecture Notes in Mathematics 349, 1973. DOI.
  2. Michael Harris, “On the local Langlands correspondence,” 2003, §2. arXiv.