The local Langlands correspondence in families and Ihara's lemma for U(n)
详细信息    查看全文
文摘
The goal of this paper is to reformulate the conjectural Ihara lemma for U(n) in terms of the local Langlands correspondence in families View the MathML source, as developed by Emerton and Helm. The reformulation roughly takes the following form. Suppose we are given an irreducible mod ℓ   Galois representation View the MathML source, which is modular of full level (and small weight), and a finite set of places Σ, none of which divides ℓ  . Then View the MathML source exists, and has a global realization as a localized module of ℓ  -integral algebraic modular forms, where rm is the universal deformation of View the MathML source of type Σ. This is unconditional for n=2, where Ihara's lemma is an almost trivial consequence of the strong approximation theorem. We emphasize that throughout we will work with banal   primes ℓ>n. That is, those for which #k(v)i≢1 (mod ℓ  ), where 1≤i≤n, for v∈Σ. A weakening of this assumption (quasi-banal) is ubiquitous in [CHT] (particularly in their Chapter 5 on the non-minimal case and Ihara), where the mod ℓ   representation theory of View the MathML source plays a pivotal role. We will need actual banality, to ensure the functors we define are exact. Banality also removes many of the subtleties in the Emerton–Helm correspondence. For example, in yet unpublished work [Hel13], Helm shows that local Langlands in families do exist in the banal case, although we do not use his result. We should stress that our main result has been common knowledge among experts for some time, but its proof has never appeared in print.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700