[論文レビュー] Monodromy map for tropical Dolbeault cohomology

Yifeng Liu|arXiv (Cornell University)|Apr 23, 2017

Algebraic Geometry and Number Theory参考文献 5被引用数 3

ひとこと要約

本稿は、非アーケメデス的体上の代数的多様体におけるトロピカル・ドルベオー・コホモロジーのモノドロミー写像を導入し、層レベルのスーパ ActiveForm 操作を用いて、関手的写像 $\mathrm{N}_X: H^{p,q}_{\mathrm{trop}}(X) \to H^{p-1,q+1}_{\mathrm{trop}}(X)$ を構成する。反復モノドロミー写像がホッジ同型 $H^{p,0}_{\mathrm{trop}}(X) \xrightarrow{\sim} H^{0,p}_{\mathrm{trop}}(X)$ を誘導すると予想し、重みスペクトル系列と算術幾何学を用いて特定のケースでの単射性および同型性の結果を提供する。

ABSTRACT

We define monodromy maps for tropical Dolbeault cohomology of algebraic varieties over non-Archimedean fields. We propose a conjecture of Hodge isomorphisms via monodromy maps, and provide some evidence.

研究の動機と目的

• 非アーケメデス的体上の多様体におけるトロピカル・ドルベオー・コホモロジーのモノドロミー写像を定義し、複素幾何の概念をトロピカル設定に一般化すること。
• 反復モノドロミー写像を用いた、トロピカル・ドルベオー・コホモロジーにおけるホッジ同型の予想を提示し、古典的ホッジ対称性 $H^{p,q} \simeq H^{q,p}$ の代わりにそれを置き換えること。
• 重みスペクトル系列とモノドロミー-重み予想を用いて、算術幾何的証拠を提供すること。
• 特に半安定モデルと非アーケメデス的幾何の文脈において、トロピカル・ドルベオー・コホモロジーの解析的およびコホモロジー的性質を調査すること。

提案手法

• 単体上のスターダム型積分を用いたスーパ ActiveForm と層の操作により、自然な層写像 $\mathscr{A}^{p,q}_{X^{\mathrm{an}}} \to \mathscr{A}^{p-1,q+1}_{X^{\mathrm{an}}}$ を構成する。
• モノドロミー写像 $\mathrm{N}_X$ を、層レベルの操作を通じてトロピカル・ドルベオー・コホモロジー群への関手的写像として定義する。
• 重みスペクトル系列とモノドロミー-重み予想を適用し、特定のケースでの単射性および同型性の結果を確立する。
• 非アーケメデス体上のコホモロジー群を解析するため、代数的閉包へのベースチェンジと完備化を含む算術幾何学的手法を用いる。
• 明示的な収縮写像 $\mathcal{C}_Q$ とスターダム型積分 $\mathcal{I}_Q'$ の $\mathbf{R}^{n+1}$ 上での計算に依拠し、コホモロジー的恒等式を導出する。
• モノドロミー写像をトロピカルホモロジーにおける Mikhalkin-Zharkov の $\phi \cap$ 写像と比較し、コンパクト性の仮定の下でスカラー倍の違いを除いて同値である可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 モノドロミー写像 $\mathrm{N}_X: H^{p,q}_{\mathrm{trop}}(X) \to H^{p-1,q+1}_{\mathrm{trop}}(X)$ は、トロピカル・ドルベオー・コホモロジーにおいて関手的写像として存在するか？
• RQ2 反復モノドロミー写像 $\mathrm{N}_X^{p-q}: H^{p,q}_{\mathrm{trop}}(X) \to H^{q,p}_{\mathrm{trop}}(X)$ は、$p \geq q$ のとき、同型を誘導するか？
• RQ3 $X$ が半安定モデルをもつ、かつ、正則かつ滑らかな多様体であるとき、モノドロミー写像 $\mathrm{N}_X: H^{1,0}_{\mathrm{trop}}(X) \to H^{0,1}_{\mathrm{trop}}(X)$ は同型か？
• RQ4 モノドロミー写像は、トロピカル幾何におけるホッジ同型予想とどのように関係し、複素幾何とはどのように異なるか？
• RQ5 モノドロミー写像は、特に $K = \widehat{K_0^\mathrm{a}}$ のようなケースにおいて、算術幾何学に依存せずに解析的に実現可能か？

主な発見

• $K_0 \cong k((t))$ で $k$ が有限体または標数ゼロの体であるとき、すべての $p \geq 0$ に対して、モノドロミー写像 $\mathrm{N}_X^p: H^{p,0}_{\mathrm{trop}}(X) \to H^{0,p}_{\mathrm{trop}}(X)$ は単射である。
• $K_0$ が $\mathbf{Q}_p$ の有限拡大または $k((t))$（$k$ が有限体）であるとき、かつ $X_0$ が厳密に半安定モデルをもつならば、$\mathrm{N}_X: H^{1,0}_{\mathrm{trop}}(X) \to H^{0,1}_{\mathrm{trop}}(X)$ は同型である。
• 写像 $\mathrm{N}_X^p: H^{p,0}_{\mathrm{trop}}(X) \to H^{0,p}_{\mathrm{trop}}(X)$ は、補題 3.2(1) で示されるように、反転写像 $\mathrm{J}$ と $p!$ による乗算の合成と同型である。
• モノドロミー写像は、数的ホッジダイアモンド不等式 $h^{p,0}_{\mathrm{trop}}(X) \leq h^{p-1,1}_{\mathrm{trop}}(X) \leq \cdots \geq h^{0,p}_{\mathrm{trop}}(X)$ を誘導する。これは複素幾何とは異なり、新しい結果である。
• モノドロミー写像の構成は、Mikhalkin-Zharkov のトロピカルホモロジーにおける $\phi \cap$ 写像と整合的であり、コンパクト性の仮定の下でスカラー倍の違いを除いて同値であると示唆する。
• $K = \widehat{\mathbf{C}((t))^\mathrm{a}}$ の一般には、モノドロミー写像は同型でないことが失敗する。これは、予想されるホッジ同型が普遍的に成り立たないことを示している。