[论文解读] Logarithmic De Rham, Infinitesimal and Betti Cohomologies

Bruno Chiarellotto, Marianna Fornasiero|ArXiv.org|Jul 23, 2004

Algebraic Geometry and Number Theory参考文献 17被引用 4

一句话总结

本文建立了复数域上细且饱和（fs）对数概形的对数德里哈姆、无穷小与贝尔蒂上同调之间的同构关系。通过构造形式对数德里哈姆复形并利用加藤-中谷拓扑空间，证明了对数解析空间上常值层 ℂ 的上同调同代数对数德里哈姆上同调同构，将经典比较定理推广至对数设定。

ABSTRACT

In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb C$), its Log Infinitesimal Cohomology $H^{^.}(Y^{log}_{inf}, \mathcal O_{Y^{log}_{inf}})$, and its Log Betti Cohomology, which is the Cohomology of its associated Kato-Nakayama topological space $Y^{an}_{log}$, and we prove that they are isomorphic. These results are the log scheme analogues of two classical comparison theorems.

研究动机与目标

• 将代数与解析上同调之间的经典比较定理推广至复数域上 fs 对数概形的对数设定。
• 通过光滑对数概形 X 的形式完成，定义并研究对数概形 Y 的对数德里哈姆上同调。
• 构造加藤-中谷拓扑空间的形式类比及其关联的对数德里哈姆复形。
• 证明对数解析空间 Y^{an}_{log} 的贝尔蒂上同调同构于 Y 的代数对数德里哈姆上同调。
• 通过形式庞加莱引理，建立解析与代数对数德里哈姆上同调之间的比较同构。

提出的方法

• 引入与形式对数解析空间 (X|̂Y)^{an} 关联的环化拓扑空间 (X|̂Y)^{log}，其环层为 𝒪^{log}_{(X|̂Y)^{an}}。
• 将复形 ω^{.,log}_{(X|̂Y)^{an}} 定义为 X^{an}_{log} 上加藤-中谷对数德里哈姆复形的形式类比。
• 在法向交截除子情形下，构造形式德利涅-庞加莱留数映射，并证明其为同构。
• 证明对数形式庞加莱引理：H^•(Y^{an}_{log}, ℂ) ≅ ℍ^•((X|̂Y)^{an}, ω^{.,log}_{(X|̂Y)^{an}})。
• 证明 ω^{.}_{(X|̂Y)^{an}} 与 ℝτ_*ω^{.,log}_{(X|̂Y)^{an}} ≅ ℝτ_*ℂ_{Y^{log}} 通过加藤-中谷映射 τ: Y^{an}_{log} → Y^{an} 之间存在拟同构。
• 通过约化至扇形幺半群情形与基变换，建立关键比较同构：ℍ^•(Y, ω^{.}_{X|̂Y}) ≅ ℍ^•(Y^{an}, ω^{.}_{(X|̂Y)^{an}})。

实验结果

研究问题

• RQ1 如何将代数与解析上同调之间的经典比较同构关系推广至奇异对数概形的对数设定？
• RQ2 对于复数域上非光滑的 fs 对数概形 Y，对数德里哈姆上同调的正确定义是什么？
• RQ3 加藤-中谷空间 Y^{an}_{log} 的贝尔蒂上同调是否同构于 Y 的代数对数德里哈姆上同调？
• RQ4 能否构造形式化的庞加莱留数同构，以关联形式对数德里哈姆复形的上同调与 Y^{an}_{log} 上常值层 ℂ 的上同调？
• RQ5 在 (X|̂Y)^{an} 上的解析对数德里哈姆复形是否计算出与 X|̂Y 上代数对数德里哈姆复形相同的上同调？

主要发现

• 本文建立了 Y 的对数无穷小上同调与对数德里哈姆上同调之间的自然同构：H^•(Y^{log}_{inf}, 𝒪_{Y^{log}_{inf}}) ≅ H^•_{DR,log}(Y/ℂ)。
• 证明了加藤-中谷空间 Y^{an}_{log} 的贝尔蒂上同调同构于 Y 的对数德里哈姆上同调：H^•(Y^{an}_{log}, ℂ) ≅ H^•_{DR,log}(Y/ℂ)。
• 确立了形式庞加莱引理：H^•(Y^{an}_{log}, ℂ) ≅ ℍ^•((X|̂Y)^{an}, ω^{.,log}_{(X|̂Y)^{an}})，为形式对数德里哈姆复形提供了拓扑解释。
• 通过扇形幺半群上的基变换论证，证明了解析与代数对数德里哈姆上同调的同构：ℍ^•(Y, ω^{.}_{X|̂Y}) ≅ ℍ^•(Y^{an}, ω^{.}_{(X|̂Y)^{an}})。
• 关键技术步骤是证明 ℝτ_*ℂ_{Y^{log}} ≅ ℂ ⊗_ℤ ∧^q(M_X^{gp}/𝒪_X^*)|_Y，从而将贝尔蒂上同调与对数德里哈姆复形的分次项联系起来。
• 主要结果为完整的比较定理：H^•(Y^{an}_{log}, ℂ) ≅ H^•_{DR,log}(Y/ℂ)，统一了对数设定下的三种上同调理论。