[論文レビュー] Logarithmic De Rham, Infinitesimal and Betti Cohomologies

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

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

ひとこと要約

本稿は、複素数体ℂ上の細かつ飽和（fs）な対数スキームに対して、対数De Rham、無限小、およびBettiコホモロジーの同型を確立する。形式的対数de Rham複体を構成し、Kato-Nakayama位相空間を用いることで、対数解析空間上の定数層ℂのコホモロジーが代数的対数De Rhamコホモロジーに同型であることを証明し、古典的な比較定理を対数的設定へと拡張する。

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の対数De Rhamコホモロジーを定義し、その性質を調べること。
• Kato-Nakayama位相空間の形式的類似物およびその関連する対数de Rham複体を構成すること。
• 対数解析空間Y^{an}_{log}のBettiコホモロジーがYの代数的対数De Rhamコホモロジーに同型であることを証明すること。
• 形式的Poincaré補題を用いて、解析的および代数的対数De Rhamコホモロジーの間の比較同型を確立すること。

提案手法

• 形式的対数解析空間(X|̂Y)^{an}に付随する環付き位相空間(X|̂Y)^{log}を導入し、環の層𝒪^{log}_{(X|̂Y)^{an}}を定義する。
• 複体ω^{.,log}_{(X|̂Y)^{an}}を、X^{an}_{log}上のKato-Nakayama対数de Rham複体の形式的類似物として定義する。
• 正則交叉特異点を持つ場合の形式的Deligne-Poincaré留数写像を構成し、それが同型であることを証明する。
• 対数形式的Poincaré補題を証明する：H^•(Y^{an}_{log}, ℂ) ≅ ℍ^•((X|̂Y)^{an}, ω^{.,log}_{(X|̂Y)^{an}})。
• Kato-Nakayama写像τ: Y^{an}_{log} → Y^{an}を用いて、ω^{.}_{(X|̂Y)^{an}}がℝτ_*ω^{.,log}_{(X|̂Y)^{an}} ≅ ℝτ_*ℂ_{Y^{log}}に準同型的であることを示す。
• トーリックモノイドの場合への還元と基底変換を用いて、主要な比較同型：ℍ^•(Y, ω^{.}_{X|̂Y}) ≅ ℍ^•(Y^{an}, ω^{.}_{(X|̂Y)^{an}})を確立する。

実験結果

リサーチクエスチョン

• RQ1 特異スキームに対して、代数的および解析的コホモロジーの古典的比較同型を、対数的設定へとどのように拡張できるか。
• RQ2 特にYが滑らかでない場合に、ℂ上のfs対数スキームYの正しい対数De Rhamコホモロジーの定義は何か。
• RQ3 Kato-Nakayama空間Y^{an}_{log}のBettiコホモロジーは、Yの代数的対数De Rhamコホモロジーに同型か。
• RQ4 形式的Poincaré留数同型を構成することで、形式的対数de Rham複体のコホモロジーと、Y^{an}_{log}上の定数層ℂのコホモロジーとの関係をどのように結ぶことができるか。
• RQ5 解析的対数de Rham複体ω^{.}_{(X|̂Y)^{an}}が、X|̂Y上の代数的対数de Rham複体と同じコホモロジーを計算するか。

主な発見

• 本稿は、Yの対数無限小コホモロジーとその対数De Rhamコホモロジーの間の自然な同型を確立する：H^•(Y^{log}_{inf}, 𝒪_{Y^{log}_{inf}}) ≅ H^•_{DR,log}(Y/ℂ)。
• Y^{an}_{log}のBettiコホモロジーがYの対数De Rhamコホモロジーに同型であることを証明する：H^•(Y^{an}_{log}, ℂ) ≅ H^•_{DR,log}(Y/ℂ)。
• 形式的Poincaré補題が確立される：H^•(Y^{an}_{log}, ℂ) ≅ ℍ^•((X|̂Y)^{an}, ω^{.,log}_{(X|̂Y)^{an}})，これにより形式的対数de Rham複体の位相的解釈が得られる。
• 解析的および代数的対数De Rhamコホモロジーが同型であることを示す：ℍ^•(Y, ω^{.}_{X|̂Y}) ≅ ℍ^•(Y^{an}, ω^{.}_{(X|̂Y)^{an}})，これはトーリックモノイド上の基底変換を用いた。
• 主な技術的ステップは、ℝτ_*ℂ_{Y^{log}} ≅ ℂ ⊗_ℤ ∧^q(M_X^{gp}/𝒪_X^*)|_Y を証明することであり、これによりBettiコホモロジーが対数de Rham複体の各次元成分と一致することが特定される。
• 主結果は、完全な比較定理である：H^•(Y^{an}_{log}, ℂ) ≅ H^•_{DR,log}(Y/ℂ)，これは対数的設定における三つのコホモロジー理論を統合する。