Compatibility of canonical \ell-adic local systems on Shimura varieties

Abstract: For a Shimura variety

(G, X)

in the superrigid regime and neat level subgroup

K_{0}

, we show that the canonical family of

e l l

-adic representations associated to a number field point

y i n m a t h r m {S h}_{K_{0}} (G, X) (F)

, [ left{ ho_{y, ell} colon mathrm{Gal}(overline{mathbb{Q}}/F) o G^{mathrm{ad}}(mathbb{Q}_{ell}) ight}_{ell}, ] form a compatible system of

G^{m a t h r m a d} (m a t h b b Q_{e l l})

-representations: there is an integer

N (y)

such that for all

e l l

,

h o_{y, e l l}

is unramified away from

N (y) e l l

, and for all

e l l e q e l l^{'}

and

v m i d N (y) e l l e l l^{'}

, the semisimple parts of the conjugacy classes of

h o_{y, e l l} (m a t h r m {F r o b}_{v})

and

h o_{y, e l l^{'}} (m a t h r m {F r o b}_{v})

are (

m a t h b b Q

-rational and) equal. We deduce this from a stronger compatibility result for the canonical

G (m a t h b b Q_{e l l})

-valued local systems on connected Shimura varieties inside

m a t h r m {S h}_{K_{0}} (G, X)

. Our theorems apply in particular to Shimura varieties of non-abelian type and represent the first such independence-of-

e l l

results in non-abelian type.

This page was built for publication: Compatibility of canonical $\ell$-adic local systems on Shimura varieties