[論文レビュー] Rigid analytic reconstruction of Hyodo--Kato theory

Veronika Ertl, Kazuki Yamada|arXiv (Cornell University)|Jul 25, 2019

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

ひとこと要約

本稿では、対数的剛体コホロロジーを用いて、ハイドー–カトウコホロロジーおよびハイドー–カトウ写像の新しい剛体解析的構成を提示する。この構成により、均一化子の選択に依存せず、$p$-進対数関数の分岐にのみ依存する。構成は明示的であり、Čechコサイクルを用いた計算が可能で、古典的クラリスチンハイドー–カトウ理論およびグロッセ＝クレーネの剛体的アプローチと両方とも整合する。

ABSTRACT

We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato cohomology and the Hyodo--Kato map.)

研究の動機と目的

• ハイドー–カトウコホロロジーの計算的に明示的で幾何学的に直感的な剛体解析的バージョンを構築すること。
• ハイドー–カトウ写像における均一化子の選択依存性を排除し、$p$-進対数関数の分岐に依存するものに置き換えること。
• 古典的クラリスチンハイドー–カトウ理論およびグロッセ＝クレーネの剛体解析的構成と両方の整合性を確立すること。
• 対数的過収束 $F$-等長コホロロジーに係数をとるコホロロジーへの一般化が可能な枠組みを提供すること。

提案手法

• 著者たちは、キムとヘインのインスピレーションを受けて、開単位ディスク上のダガー空間上の複体 $\omega^{\bullet}_{\mathcal{Z}/W^{\varnothing},\mathbb{Q}}[u]$ を用い、剛体ハイドー–カトウコホロロジーを定義する。
• 彼らは、ダガー空間の剛体コホロロジーからド・ラームコホロロジーへの自然な準同型を用いて、剛体ハイドー–カトウ写像 $\Psi_{\pi,q}$ を定義し、Čechコサイクルによる明示的計算を可能にする。
• この構成は対数的剛体コホロロジーおよび擬似-weakly cwg代数を備えた弱形式的スキームに依存し、弱完全性の相対的概念を可能にする。
• $\Psi_{\pi,q}$ が均一化子 $\pi$ に依存せず、$V$ の極大イデアルに属する $0$ でない要素 $q$ によって符号化された $p$-進対数関数の分岐にのみ依存することを示す。
• 単体的対数スキームの剛体コホロロジーとその特別化ファイバーを結ぶ可換図式を用いて、新規写像と古典的およびグロッセ＝クレーネの構成との比較を行う。
• 剛体複体の公理的定式化におけるフロベニウスの整合性と函子性を用いて、新規写像が古典的セクション $s_\pi$ と一致することを証明し、整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ハイドー–カトウコホロロジーは、計算的に明示的でかつ均一化子の選択に依存しない剛体解析的設定でどのように再構成できるか？
• RQ2 ハイドー–カトウ写像の、$p$-進対数関数の分岐の選択に依存する正確な関係は何か？
• RQ3 新しい剛体解析的構成は、古典的クラリスチンハイドー–カトウ理論およびグロッセ＝クレーネの剛体解析的アプローチと両方整合するか？
• RQ4 新しい構成は、対数的過収束 $F$-等長コホロロジーに係数をとるコホロロジーへ拡張可能か？

主な発見

• 剛体ハイドー–カトウコホロロジー $R\Gamma_{\mathrm{HK}}^{\mathrm{rig}}(\mathcal{X})$ はダガー空間上の複体を用いて構成され、Čechコサイクルを用いた明示的計算が可能である。
• 剛体ハイドー–カトウ写像 $\Psi_{\pi,q}$ は均一化子 $\pi$ に依存せず、$V$ の極大イデアルに属する $0$ でない要素 $q$ によって定義される $p$-進対数関数の分岐にのみ依存する。
• 写像 $\Psi_{\pi,q}$ の構成は、古典的クラリスチンハイドー–カトウ写像 $\Psi_{\pi}^{\mathrm{cris}}$ と整合する。これは、準同型写像とフロベニウスの整合性を含む可換図式によって示される。
• $q = \pi$ の場合、写像 $\Psi_{\pi,q}$ はグロッセ＝クレーネの剛体ハイドー–カトウ写像と一致し、従来の剛体解析的アプローチと一貫性を保つ。
• 新しい構成はフロベニウス作用と整合し、図式内の写像の合成はフロベニウスと可換であり、$(\varphi,N)$-加群における $\varphi$-構造と整合性を保つ。
• 著者たちは、図式内の写像の合成が特異化写像のセクションであることを証明し、フロベニウスの整合性により、古典的セクション $s_\pi$ と一致することを示した。これにより、完全な整合性が証明された。