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

Atsushi Shiho|ArXiv.org|Jul 12, 2007

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

この論文は、混合特異度における固有かつ滑らかなファミリーに対して、相対的剛体コホロロジーの過収束性に関するベルトレ・予想のヴァージョンを、相対的対数収束コホロロジー（半径λ）とハイパーカバーテクニックを用いて証明する。基底上でのq次の剛体コホロロジー過収束F-イソスクリスタルの存在および一意性を、基底の滑らかさを仮定しない条件下で確立するが、これは基底が正の特性の完全体上に滑らかである場合を含む。

ABSTRACT

In this paper, we develop the theory of relative log convergent cohomology of radius $λ$ ($0 < λ\leq 1$), which is a generalization of the notion of relative log convergent cohomology in the previous paper. By comparing this cohomology with relative log crystalline cohomology, relative rigid cohomology and its variants and by using some technique of hypercovering, we prove a version of Berthelot's conjecture on the overconvergence of relative rigid cohomology for proper smooth families.

研究の動機と目的

• 混合特異度における固有かつ滑らかなファミリーに対して、相対的剛体コホロロジーの過収束性に関するベルトレの予想のヴァージョンを証明すること。
• 基底スキーム上でのq次の剛体コホロロジー過収束F-イソスクリスタルの存在および一意性を確立すること。
• 相対的対数収束コホロロジー（半径λ）の理論を一般化し、相対的剛体コホロロジーおよびクリスタリンコホロロジーと関連付けること。
• ハイパーカバー技法と変形を用いて、問題を基底が滑らかまたは良い対数構造を備えた写像である場合に還元すること。
• 基底が完全離散付値環の形式的スペクトラムである場合に、Frobenius構造を備えた状況に結果を拡張すること。

提案手法

• 従来の理論の一般化として、相対的対数収束コホロロジー（半径λ）を構築すること。
• ハイパーカバーの系列を通じて、このコホロロジーを相対的対数クリスタリンおよび剛体コホロロジーと比較すること。
• ハイパーカバー技法を用いて、問題を基底が滑らかまたは良い対数構造を備えた写像である場合に還元すること。
• 滑らかなスキーム上での過収束F-イソスクリスタルの制限関手の全忠実性を用いて、圏の同値性を証明すること。
• 変形理論および形式的スキームの理論を用いて特異点を扱い、滑らかな状況に還元すること。
• ハイパーカバー降下を用いて、局所的データを貼り合わせることで基底上での過収束F-イソスクリスタルを構成し、関手的および一意性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 固有かつ滑らかな写像の下での過収束F-イソスクリスタルの高次直接像は、基底上に自然な過収束F-イソスクリスタル構造をもつか？
• RQ2 基底スキームにFrobeniusの持ち上げがない状況でも、ベルトレの過収束予想を証明できるか？
• RQ3 ハイパーカバーを介して、特定の三つ組への制限によって、q次の剛体コホロロジー過収束F-イソスクリスタルが一意に定まるか？
• RQ4 基底が完全離散付値環の形式的スペクトラムである場合に、Frobenius構造を備えた状況に結果を拡張できるか？
• RQ5 Tsuzukiの全忠実性予想が、基底の滑らかさを仮定しない状況でも過収束結果を導くか？

主な発見

• 定理0.3は、基底が正の特性の完全体上に滑らかである場合に、Frobeniusの持ち上げを仮定しないまま、q次の剛体コホロロジー過収束イソスクリスタルが基底上に存在し一意に定まることを確立する。
• 定理0.4は、基底にFrobeniusの持ち上げがあるという追加仮定の下で、同じ結果をF-イソスクリスタルの場合に拡張する。
• 定理5.2は、写像が良い対数構造を備え、係数が局所的に自由である場合に、基底の滑らかさを仮定しないまま予想が成り立つことを示す。
• 定理7.4は、基底を縮小することで、非滑らか写像に対しても結果を拡張するが、再び基底の滑らかさを仮定しない。
• 定理7.8は、Tsuzukiの全忠実性予想を仮定することで、基底の滑らかさを仮定しない状況でも結果を証明する。
• 定理7.10は、基底が完全離散付値環の形式的スペクトラムであり、係数にFrobenius構造がある場合に、q次の剛体コホロロジー過収束F-イソスクリスタルに自然なFrobenius構造が存在することを確立する。