2025-11-15T10:07:11.446935

A moving lemma for cohomology with support

Schreieder
For a natural class of cohomology theories with support (including étale or pro-étale cohomology with suitable coefficients), we prove a moving lemma for cohomology classes with support on smooth quasi-projective k-varieties that admit a smooth projective compactification (e.g. if char(k)=0). This has the following consequences for such k-varieties and cohomology theories: a local and global generalization of the effacement theorem of Quillen, Bloch--Ogus, and Gabber, a finite level version of the Gersten conjecture in characteristic zero, and a generalization of the injectivity property and the codimension 1 purity theorem for étale cohomology. Our results imply that the refined unramified cohomology groups from [Sch23] are motivic.
academic

A moving lemma for cohomology with support

基本信息

  • 论文ID: 2207.08297
  • 标题: A moving lemma for cohomology with support
  • 作者: Stefan Schreieder (Leibniz University Hannover)
  • 分类: math.AG (代数几何), math.KT (K理论)
  • 发表时间: 2024年，发表于Épijournal de Géométrie Algébrique
  • 论文链接: https://arxiv.org/abs/2207.08297

摘要

本文为一类自然的带支集上同调理论（包括具有适当系数的étale或pro-étale上同调）证明了移动引理，适用于承认光滑射影紧化的光滑拟射影k-簇上的带支集上同调类（如特征零情形）。这对此类k-簇和上同调理论具有以下重要推论：Quillen、Bloch-Ogus和Gabber的effacement定理的局部和全局推广，特征零中Gersten猜想的有限层次版本，以及étale上同调的内射性质和余维数1纯性定理的推广。结果表明Sch23中的精化无分歧上同调群是motivic的。

研究背景与动机

问题背景

在代数几何中，Chow的移动引理允许将代数闭链在有理等价意义下移动到相对于闭子集S⊂X的好位置。Gersten猜想的本质内容是一个effacement定理，它等价于在特殊情况下（X是仿射的，S是有限点集）带支集类的类似移动引理。

研究动机

  1. 理论完备性：Quillen、Bloch-Ogus和Gabber的effacement定理是否是更一般移动引理的特殊情况？
  2. 技术需求：能否将带支集Z⊂X的类移动到支集Z'，使得Z'相对于任意给定闭子集S⊂X处于好位置？
  3. 应用价值：这样的移动引理将产生超越原始Gersten猜想的新应用。

现有方法局限性

  • 经典的effacement定理仅在特殊情况下成立（仿射簇，零维支集）
  • 缺乏处理高维支集S的一般理论
  • 现有方法在局部化方面表现不佳

核心贡献

  1. 主要移动引理：对承认光滑射影紧化的光滑拟射影k-簇，证明了带支集上同调类的移动引理
  2. effacement定理推广：给出Quillen、Bloch-Ogus和Gabber定理的局部和全局推广
  3. Gersten猜想有限层次版本：在特征零中建立了有限层次的Gersten猜想
  4. 纯性定理推广：推广了étale上同调的内射性质和余维数j+1纯性定理
  5. motivic性质：证明了精化无分歧上同调群的motivic性质

方法详解

任务定义

对于光滑等维代数k-概形X和闭子集S,Z⊂X（dimZ < dimX），寻找闭子集Z'⊂W⊂X使得：

  • Z⊂W，dimZ' = dimZ，dimW = dimZ+1
  • Z'和W\Z与S适当相交
  • 任意α∈H_Z(X,n)存在α'∈H_{Z'}(X,n)使得α和α'在H*_W(X,n)中有相同像

核心技术框架

1. 扭曲上同调理论

定义满足以下条件的上同调理论(X,Z) ↦ H*_Z(X,n)：

  • C1 (excision): 开浸入的相容性
  • C2 (pushforwards): 适当映射的推前映射
  • C3 (长正合列): 三元组的长正合列
  • C4 (循环作用): 代数循环的作用
  • C5 (半纯性): 维数条件下的消失性

2. 循环在开簇上的作用

对光滑射影等维概形X,Y和循环Γ∈Z^c(X×Y)，构造作用：

Γ^(W)_*: H^i_Z(U,n) → H^{i+2c-2d_X}_{Z'}(U',n+c-d_X)

其中U=X\R，U'=Y\R'是适当的开子集。

3. 移动引理证明策略

  1. 约化到射影情形：利用光滑射影紧化
  2. 应用Chow移动引理：对对角线Δ_X⊂X×X应用Levine的移动引理
  3. 利用循环作用：通过循环在上同调上的作用来移动类
  4. 处理技术困难：当X仅是射影概形的开子集时的技术处理

技术创新点

1. 统一的理论框架

将不同的上同调理论（étale、pro-étale等）统一在一个公理化框架下处理。

2. 循环作用的精细分析

详细分析了代数循环在开簇上同调中的作用，特别是：

  • 与有理等价的相容性
  • 局部化行为
  • 函子性质

3. 移动引理的全局化

将经典的仿射情形推广到一般的拟射影簇，并处理了任意维数的支集。

主要定理

定理1.1 (移动引理)

设X是承认光滑射影紧化的光滑等维k-概形，S,Z⊂X是闭子集且dimZ < dimX。则存在闭子集Z'⊂W⊂X满足：

  • Z⊂W，dimZ' = dimZ，dimW = dimZ+1
  • Z'和W\Z与S适当相交
  • 对任意α∈H_Z(X,n)，存在α'∈H_{Z'}(X,n)使得α和α'在H*_W(X,n)中有相同像

推论1.2 (全局effacement)

在上述条件下，如果dimS + dimZ < dimX，则存在S的邻域U⊂X和闭子集W⊂X使得复合映射：

H*_Z(X,n) → H*_W(X,n) → H*_W(U,n)

为零。

推论1.5 (Gersten猜想有限层次版本)

对特征零域上的光滑仿射簇X，给定点链Z_c = {x} ⊂ Z_ ⊂ ⋯ ⊂ Z_1 ⊂ Z_0 = X_x，经适当细化后，以下复形正合：

0 → H^i(X_x,n) → H^i_{BM}(X_x\Z_1) → ⋯ → H^0_{BM}(Z_i\Z_{i+1}) → 0

应用与结果

1. 精化无分歧上同调的motivic性质

推论1.7：对光滑射影等维概形X,Y，存在双可加配对：

CH^c(X×Y) × H^i_{j,nr}(X,n) → H^{i+2c-2d_X}_{j+c-d_X,nr}(Y,n+c-d_X)

且关于对应的复合是函子性的。

2. 射影丛公式

推论6.12：存在标准同构：

⊕_{l=0}^{min(j,n)} H^{i-2l}_{j-l,nr}(Y,m-l) ≃ H^i_{j,nr}(Y×ℙ^n_k,m)

3. 双有理不变性

推论6.14：若f: X ⤏ Y是在余维数c中为同构的双有理映射，则对j ≤ c：

f*: H^i_{j,nr}(Y,n) ≃ H^i_{j,nr}(X,n)

技术细节

Pro-étale上同调

论文详细验证了pro-étale上同调满足所需的公理C1-C5。关键技术包括：

  • Poincaré对偶性：f*_(d)2d ≃ f!
  • 纯性：i*_(-c)-2c ≃ i!
  • 六函子形式主义：完整的推拉函子体系

循环类映射

构造了循环类映射：

cl^X_Z(Γ) ∈ H^{2c}_Z(X,ℤ_ℓ(c))

满足：

  • 线性性
  • 与推拉映射的相容性
  • 杯积公式

相关工作

经典结果

  • Chow移动引理 Cho56：代数循环的移动
  • Quillen Qui73：K-理论的effacement
  • Bloch-Ogus BO74：étale上同调的Gersten猜想
  • Gabber Gab94：一般情况的证明

现代发展

  • Levine Lev98,Lev05：高阶Chow群的移动引理
  • 精化无分歧上同调 Sch23：作者之前的工作

结论与讨论

主要结论

  1. 建立了带支集上同调的一般移动引理
  2. 统一并推广了多个经典结果
  3. 证明了精化无分歧上同调的motivic性质
  4. 提供了Gersten猜想的有限层次版本

局限性

  1. 需要光滑射影紧化的存在性（如特征零）
  2. 移动后的子集Z'一般不能很好地局部化
  3. 某些技术条件（如适当相交）的验证可能复杂

未来方向

  1. 推广到更一般的基概形
  2. 与motivic同伦理论的联系
  3. 在算术几何中的应用

深度评价

优点

  1. 理论统一性：将多个看似独立的结果统一在一个框架下
  2. 技术创新：循环作用的精细分析和移动引理的全局化
  3. 应用广泛：从抽象理论到具体计算都有重要应用
  4. 证明完整：技术细节处理得当，特别是pro-étale上同调的验证

不足

  1. 技术复杂性：证明涉及大量技术细节，可能影响可读性
  2. 适用范围：对基域的特征有一定限制
  3. 计算困难：实际应用中的计算可能仍然困难

影响力

  1. 理论贡献：为代数几何中的上同调理论提供了新工具
  2. 实用价值：在motivic理论和算术几何中有潜在应用
  3. 可复现性：理论结果，验证相对容易

适用场景

  1. 代数几何中的上同调计算
  2. Motivic理论的研究
  3. 算术几何中的应用
  4. K-理论和循环理论

参考文献

主要参考文献包括：

  • Cho56 W.-L. Chow, "On equivalence classes of cycles in an algebraic variety"
  • BO74 S. Bloch and A. Ogus, "Gersten's conjecture and the homology of schemes"
  • Qui73 D. Quillen, "Higher algebraic K-theory, I"
  • BS15 B. Bhatt and P. Scholze, "The pro-étale topology of schemes"
  • Sch23 S. Schreieder, "Refined unramified cohomology of schemes"

本论文在代数几何的上同调理论方面做出了重要贡献，不仅统一了多个经典结果，还为进一步的研究提供了强有力的工具。其技术创新和理论深度使其成为该领域的重要文献。