相容的 $\ell$-adic 层系

我们为概形上的有界可构造 $\ell$-adic 平展层复形族 $(\mathcal{F}_{\ell})_{\ell}$ 引入了一种相容性的概念。对于域上的有限型概形，该概念在通常的六函子作用下保持不变。我们证明了族的相容性在邻近循环函子以及作者最近引入的线性化 $\varepsilon$-因子下得以保持。我们确立了相容族的特征循环和特征 $\varepsilon$-循环对 $\ell$ 的独立性。