[論文レビュー] Relative log convergent cohomology and relative rigid cohomology I

Atsushi Shiho|ArXiv.org|Jul 12, 2007

Algebraic Geometry and Number Theory参考文献 31被引用数 32

ひとこと要約

本稿は、相対的対数可換コホモロジーと相対的対数クリスタリンコホモロジーの比較を確立し、特定の状況下で整合性と対数収束性を証明する。さらに、相対的対数可換コホモロジーを相対的剛体コホモロジーと関連づけ、滑らかであるが境界を持つ対数的滑らかなコンパクト化を許容する正規の族に対して、ベルトロの整合性および過収束性に関する予想のバージョンを確認する。

ABSTRACT

In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative log crystalline cohomology, and we relates relative log convergent cohomology to relative rigid cohomology to show the validity of Berthelot's conjecture on the coherence and the overconvergence of relative rigid cohomology for proper smooth families when they admit nice proper log smooth compactification to which the coefficient extends logarithmically.

研究の動機と目的

• 境界にある対数的構造を有する滑らかであるが、正規な族に対する相対的対数可換コホモロジー理論を構築すること。
• 相対的対数可換コホモロジーの整合性および対数収束性を、相対的対数クリスタリンコホモロジーとの比較を用いて証明すること。
• 相対的対数可換コホモロジーを相対的剛体コホモロジーと関連づけ、ベルトロの予想のバージョンを検証すること。
• 「ザリスキ型」の制限付き仮定を排除することで、既存の対数可換コホモロジーの結果を一般化および簡略化すること。
• 先行研究における誤りを是正し、対数的滑らかパラメータを有する相対的設定への有限性および基底変換定理を拡張すること。

提案手法

• 対数スキームの準同型に対して、特に対数的滑らかで整であるものに注目し、相対的対数可換コホモロジーを定義する。
• コホモロジー理論の基礎的性質を確立するため、相対的対数可換ポincare補題を証明する。
• 対数的滑らか準同型に対して、相対的対数可換コホモロジーと相対的対数クリスタリンコホモロジーの間の同型比較を確立する。
• 比較定理を用いて、「対数的滑らかパラメータ」の存在を仮定した下で、相対的対数可換コホモロジーの整合性および対数収束性を導出する。
• 基底変換および解析的平坦な降下法を用いて、相対的対数可換コホモロジーと相対的剛体コホモロジーとの間の関係を構築する。
• 解析的平坦基底変換定理を適用し、完全体の状況に還元することで、フロベニウスの整合性および同型の証明を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 相対的対数可換コホモロジーが整合的かつ対数収束的であるための条件は何か？
• RQ2 滑らかで正規な族の文脈において、相対的対数可換コホモロジーは相対的剛体コホモロジーとどのように関係するか？
• RQ3 正規な対数的滑らかなコンパクト化が存在し、係数が対数的に拡張可能である場合、剛体コホモロジーの過収束性はどの程度保証されるか？
• RQ4 形式的スキームへの上げ上げなしに、相対的剛体コホモロジーの整合性および過収束性を確立できるか？
• RQ5 境界に沿った対数的構造は、相対コホモロジー理論における整合性および過収束性を保証するために果たす役割は何か？

主な発見

• 滑らかで整であるが、対数的滑らかパラメータを有する正規な対数的滑らか準同型に対して、相対的対数可換コホモロジーは整合的かつ対数収束的である。
• 対数的滑らか準同型に対して、相対的対数可換コホモロジーと相対的対数クリスタリンコホモロジーの間の同型比較が確立された。
• 正規な対数的滑らかなコンパクト化が存在し、係数が対数的に拡張可能である場合、滑らかで正規な族に対して相対的剛体コホモロジーの整合性および過収束性が導かれる。
• フロベニウスの整合性は、基底変換およびクリスタリンコホモロジーにおける $F$-スパンの理論を用いて証明された。
• 証明は完全な残余体の状況に還元され、解析的平坦基底変換定理を用いて議論を簡略化した。
• 結果として、指定されたコンパクト化条件の下で、ベルトロの予想のバージョンが相対的剛体コホモロジーの整合性および過収束性に関して確認された。