[论文解读] Weight filtration on the cohomology of algebraic varieties

Masaki Hanamura, Morihiko Saito|ArXiv.org|May 23, 2006

Algebraic Geometry and Number Theory参考文献 13被引用 6

一句话总结

本文在任意代数闭域上的代数簇的上同调的紧支集上建立了典范权重滤子，证明了Borel-Moore同调的中间权重部分是紧化后交重重合的商。关键结果是：从扭曲交重重合到Borel-Moore同调的加权分量的典范态射是满射，其推导源于交重重合的Gabber纯化定理。

ABSTRACT

We show that the etale cohomology (with compact supports) of an algebraic variety $X$ over an algebraically closed field has the canonical weight filtration $W$, and prove that the middle weight part of the cohomology with compact supports of $X$ is a subspace of the intersection cohomology of a compactification $X'$ of X, or equivalently, the middle weight part of the (so-called) Borel-Moore homology of $X$ is a quotient of the intersection cohomology of $X'$. We are informed that this has been shown by A. Weber in the case $X$ is proper (and $k=\bC$) using a theorem of G. Barthel, J.-P. Brasselet, K.-H. Fieseler, O. Gabber and L. Kaup on morphisms between intersection complexes. We show that the assertion immediately follows from Gabber's purity theorem for intersection complexes.

研究动机与目标

• 在任意代数闭域上，建立代数簇的紧支集上同调的典范权重滤子的存在性。
• 证明Borel-Moore同调的中间权重部分是紧化后交重重合的商。
• 通过证明从扭曲交重重合到Borel-Moore同调的加权分量的典范态射是满射，改进了早期关于周期类提升的结果。
• 提供Gabber纯化定理的直接新证明，适用于任意代数闭域，证明交重重合之间态射的定理，无需依赖 $k=\mathbb{C}$ 或额外几何假设。

提出的方法

• 利用Gabber对交重重合的纯化定理，在任意代数闭域上建立上同调的权重滤子。
• 应用Borel-Moore同调与紧支集上同调之间的对偶性，将上同调的权重滤子与同调的加权分量联系起来。
• 构造从扭曲交重重合 $\mathrm{IH}^{2n-j}(\overline{X})(n)$ 到加权分量 $\mathrm{Gr}^{W}_{-j}H_{j}^{\mathrm{BM}}(X)$ 的典范态射，并证明其满射性。
• 利用分解定理和 perverse 丛的性质，证明该态射通过权重滤子，利用纯 perverse 丛的半单性。
• 在 $k=\mathbb{C}$ 的情况下应用混合Hodge结构理论和比较定理，验证与已知结果的一致性。
• 证明该态射的满射性可直接由Gabber的纯化定理推出，避免了早期的归纳或几何论证。

实验结果

研究问题

• RQ1 在任意代数闭域（包括正特征）上，代数簇的紧支集上同调的权重滤子是否存在？
• RQ2 Borel-Moore同调的中间权重部分是否自然地是紧化后交重重合的商？
• RQ3 能否利用纯化定理证明从扭曲交重重合到Borel-Moore同调加权分量的典范态射是满射？
• RQ4 Gabber的纯化定理是否能提供交重重合之间态射的直接证明，而无需依赖 $k=\mathbb{C}$ 或额外几何假设？
• RQ5 在何种条件下，正规态射下 perverse 丛的直接像会给出涉及交重重合的典范分解？

主要发现

• 在任意代数闭域上，代数簇的紧支集上同调的权重滤子是典范且良定义的。
• 典范态射 $\mathrm{IH}^{2n-j}(\overline{X})(n) \to \mathrm{Gr}^{W}_{-j}H_{j}^{\mathrm{BM}}(X)$ 是满射，意味着Borel-Moore同调的中间权重部分是交重重合的商。
• 该态射的满射性可直接由交重重合的Gabber纯化定理推出，提供了概念性且普遍的证明。
• 该定理通过证明代数周期类可非典范地提升至交重重合，现在在典范权重理论框架下得到改进，超越了Barthel等人早期的结果。
• 态射 $\mathrm{Gr}^{W}_{j}H_{c}^{j}(X) \to \mathrm{IH}^{j}(\overline{X})$ 是单射，为主定理中的满射的对偶。
• 在解析态射 $f: X \to Y$ 的情况下，权重谱序列表明 $\mathrm{Gr}^{W}_{n}H^{n}(Y)$ 嵌入 $H^{n}(X)$，从而嵌入 $\mathrm{IH}^{n}(Y)$，与已知的Hodge理论结果一致。