Wiki. “l-进层” [l-进层]

定义代数簇上的 $\mathbb{Z}_\ell$-层为平展景上的一系列局部常值 (或关于某个分层结构为可构造的) $\mathbb{Z}/\ell^m$-层. 消灭其中的挠层 (torsion sheaf), 就得到所谓 $\mathbb{Q}_{\ell}$-层.

类似地可以对 $\mathbb{Q}_{\ell}$ 的有限扩张 $E$ 定义 $E$-层.

最后, 取所有 $E$-层的范畴的 (有向) 余极限. 这个范畴中的对象称为 $\ell$-进局部系统 ($\ell$-adic local system).

所谓 Galois 表示可理解为 $\ell$-进局部系统.

相关概念