Local-global compatibility
Agreement between the localization of a global Galois representation and the local Langlands parameter of an automorphic component.
Let be a number field and let
be an restricted tensor product defining an algebraic automorphic representation, and let be an associated -adic Galois representation. Local–global compatibility at asserts that the restriction of to a decomposition group at matches the local Langlands parameter of , after choosing an identification between complex and -adic coefficient fields and applying the stated normalization.
Away from ell
For , the comparison for is commonly written
with the twist altered if a different local Langlands normalization is used. The superscript denotes Frobenius semisimplification: replace the Frobenius action in the Weil–Deligne representation by its semisimple part while retaining monodromy. Some theorems prove only ordinary semisimplification and therefore do not identify the monodromy operator.
At an unramified place, the statement reduces to equality of the Frobenius conjugacy class with the Satake parameter.
At places above ell
For , the comparison uses -adic Hodge theory: the Galois representation should be de Rham, its Hodge–Tate cocharacters should match the archimedean algebraic weights through the chosen embedding, and its potentially semistable Weil–Deligne parameter should match . This is a different and generally harder assertion than compatibility away from .
Status must be qualified
There is no single theorem giving full local–global compatibility for every reductive group and every algebraic automorphic representation. Strong theorems exist for broad regular algebraic cuspidal families on , with hypotheses depending on the number field, polarization, and place. A statement must specify whether it preserves monodromy and whether .