[论文解读] The combinatorial part of the cohomology of a singular variety

Donu Arapura, Parsa Bakhtary+1 more|ArXiv.org|Feb 24, 2009

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

一句话总结

本文將奇異複代數簇的上同調之組合部分識別為 Deligne 重量濾過的第一步，W₀Hⁱ_c(X)，並建立一個緊緻的上界：dim(KHⁱ(f⁻¹(y), ℂ)) ≤ dim((Rⁱf₊*𝒪_X)_y ⊗ 𝒪_y/m_y)。此結果表示，對於有理奇異點的解析，組合上同調會消失，從而確認 Stepanov 的猜想，並透過 Hodge 理論方法對奇異點施加強烈的拓撲約束。

ABSTRACT

We study the first step of the weight filtration on the cohomology of a proper complex algebraic variety, which we call the combinatorial part. We obtain a natural upper bound on its size, which gives rather strong information about the topology of rational singularities.

研究动机与目标

• 定義並特徵化緊支撐上同調的組合部分 KHⁱ_c(X)，作為在正則映射下保持不變的自然子空間。
• 以結構層的纖維上同調為基礎，建立此子空間維數的緊緻上界。
• 透過顯示有理奇異點解析中例外除子的組合上同調消失，驗證 Stepanov 的猜想。
• 透過單純化解析，將組合上同調連結至 Deligne 重量濾過的第一步與 Hodge 理論不變量。

提出的方法

• 透過三個公理定義 KHⁱ_c(X)：在正則拉回下不變性 (K1)，在光滑完全概形上平凡性 (K2)，以及與切除序列相容性 (K3)。
• 使用單純化解析計算組合上同調，將 KHⁱ_c(X) 與 Deligne 重量濾過的第一步 W₀Hⁱ_c(X) 進行識別。
• 利用 Hodge 濾過與單純化解析的譜序列中的邊緣同態，將 KHⁱ 與 Hⁱ(X,𝒪_X) 連結。
• 構造一個自然映射 κ: Hⁱ(X,ℂ) → Hⁱ(X,𝒪_X)，其透過 Gr⁰_F Hⁱ(X,ℂ) 因子分解，顯示 W₀Hⁱ(X,ℂ) 單射嵌入至 Hⁱ(X,𝒪_X)。
• 應用形式函數定理與極限論證，將結構層的纖維上同調與纖的組合上同調連結。
• 使用 Kawamata-Viehweg 消去定理與 Serre 对偶性，證明當 Y 具有孤立的正常 Cohen-Macaulay 奇異點時，Rⁱf₊*𝒪_X 在 0 < i < dim Y − 1 時消失。

实验结果

研究问题

• RQ1 奇異概形上同調的組合部分具有何種精確的幾何與上同調意義？
• RQ2 如何以結構層的層上同調為基礎，界定纖 f⁻¹(y) 的組合上同調維數？
• RQ3 如 Stepanov 所猜想，有理奇異點解析中，組合上同調是否消失？
• RQ4 W₀Hⁱ(X,ℂ) 上的 Hodge 濾過在多大程度上反映 Hⁱ(X,𝒪_X) 的代數結構？
• RQ5 能否透過單純化解析明確計算重量濾過？其與結構層上同調有何關聯？

主要发现

• 透過單純化解析技術，組合上同調 KHⁱ_c(X) 可自然識別為重量濾過的第一步 W₀Hⁱ_c(X)。
• 對於任意正則態射 f:X→Y，纖 f⁻¹(y) 的組合上同調維數有上界：dim((Rⁱf₊*𝒪_X)_y ⊗ 𝒪_y/m_y)。
• 包含映射 W₀Hⁱ(X,ℂ) ↪ Gr⁰_F Hⁱ(X,ℂ) 可透過 Hⁱ(X,𝒪_X) 因子分解，因此 W₀Hⁱ(X,ℂ) 單射嵌入至 Hⁱ(X,𝒪_X)。
• 對於有理奇異點的解析，KHⁱ(f⁻¹(y),ℂ) = 0 對所有 i > 0 成立，從而確認 Stepanov 的猜想。
• 對於具有孤立正常 Cohen-Macaulay 奇異點的 Y，當 0 < i < dim Y − 1 時，Rⁱf₊*𝒪_X 消失，因此在該範圍內 KHⁱ(f⁻¹(y),ℂ) = 0。