带支集上同调的一个移动引理

对于一类自然的有支集上同调理论（包括具有适当系数的étale或pro-étale上同调），我们证明了在允许光滑射影紧化的光滑拟射影k-簇（例如当char(k)=0时）上，关于带支集上同调类的移动引理。这对于此类k-簇和上同调理论有如下推论：Quillen、Bloch–Ogus和Gabber的消去定理的局部与全局推广、特征零下Gersten猜想的有限层版本，以及étale上同调的注入性性质和余维1纯度定理的推广。我们的结果意味着[Sch23]中精细的无分歧上同调群是动机性的。