[論文レビュー] Cohomology jump loci of quasi-compact Kähler manifolds

Nero Budur, Botong Wang|arXiv (Cornell University)|Feb 7, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 5

ひとこと要約

この論文は、準コンパact Kähler多様体のコhomologyジャンプlocusが、翻訳された部分トーラスの有限個の和集合であることを確立し、コンパクトおよび準射影的Kähler多様体に対する先行研究を一般化する。指数関数的Ax-Lindemann定理と、新たなベティ-ド・ラーム集合枠組みを用いて、実ホモトピー論とホッジ理論を通じてド・ラームとベティのモジュライ空間を関連させることで、これらのlocusの線形性を証明する。

ABSTRACT

We give two applications of the exponential Ax-Lindemann Theorem to local systems. One application is to show that for a connected topological space, the existence of a finite model of the real homotopy type implies linearity of the cohomology jump loci around the trivial local system. Another application is the linearity of the cohomology jump loci of rank one local systems on quasi-compact Kähler manifolds.

研究の動機と目的

• H^1にホッジ構造の純粋性を仮定しない準コンパクトKähler多様体に対するArapuraのコhomologyジャンプlocusに関する結果を一般化すること。
• 準コンパクトKähler多様体上のランク1局所系のコhomologyジャンプlocusの線形性を確立すること。
• 有限型の実ホモトピー型を持つ空間のコhomologyジャンプlocusが、自明な局所系の近傍で線形であることを示すこと。
• コhomologyジャンプlocusの既約成分が、トーラスの平行移動であることを示し、その成分にトーラス点が存在するという予想を支持すること。

提案手法

• Simpsonの構成を準コンパクトKähler多様体へ一般化するべく、ベティ-ド・ラーム集合を導入・利用する。
• Riemann-Hilbert対応を介して、ド・ラームとベティのモジュライ空間を結ぶために、指数関数的Ax-Lindemann定理を適用する。
• 良いコンパクト化のGysinモデルを用いて、準コンパクトKähler多様体の実ホモトピー型を表現する。
• H^1(X,\mathbb{Z})上のホッジ構造を介して、ド・ラームモジュライ空間と複素トーラスとの同型写像を構成する。
• Riemann-Hilbert写像におけるコhomologyジャンプlocusの振る舞いを分析し、ド・ラームモジュライ空間におけるそれらの逆像が閉解析的集合であることを示す。
• コhomologyジャンプlocusの既約成分が、既に知られている有限個の翻訳された部分トーラスの和集合であるベティ-ド・ラーム集合であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 H^1に純粋性の仮定がない場合でも、準コンパクトKähler多様体のコhomologyジャンプlocusは常に翻訳された部分トーラスの有限個の和集合であるか？
• RQ2 有限次元の実ホモトピー型が存在することは、コhomologyジャンプlocusが自明な局所系の近傍で線形であることを示唆するか？
• RQ3 ベティ-ド・ラーム集合枠組みを非射影的準コンパクトKähler多様体へ拡張できるか？ その場合、コhomologyジャンプlocusの線形性を証明できるか？
• RQ4 ベティモジュライ空間におけるコhomologyジャンプlocusのすべての既約成分に、予想通りトーラス点が存在するか？
• RQ5 ホモトピー型が任意の準射影的多様体と同値でない準コンパクトKähler多様体は存在するか？

主な発見

• 定理1.1は、任意の連結な準コンパクトKähler多様体Xに対して、各コhomologyジャンプlocus Σ^i_k(X) が、M_B(X)における翻訳された部分トーラスの有限個の和集合であることを確立し、H^1(X,\mathbb{C})に純粋性の仮定を必要としない。
• 証明は、Σ^i_k(X) ∩ M_B^0(X) がベティ-ド・ラーム集合であることを示すことにより行われ、これはそれが翻訳された部分トーラスの有限個の和集合であることを示唆する。
• 定理1.3(1)は、Xが有限次元の実ホモトピー型を持つ場合、Σ^i_k(X) を通るすべての既約成分が部分トーラスであることを示す。
• 定理1.3(2)は、この結果を任意の点ρ ∈ M_B(X) に一般化し、微分代数対 (Ω_{DR}^\bullet( X), Ω_{DR}^\bullet( L_ρ )) が有限次元モデルとホモトピー同値である限り有効である。
• 著者らは、Σ^i_k(X) ∩ M_B^0(X) がΛ_\mathbb{C}/Λ_0と同型であることを示し、ここでΛ = H^1(X,\mathbb{Z})である。
• この結果は、実ホモトピー型が有限次元であるという仮定の下で、コhomologyジャンプlocusの既約成分がトーラス点を含むという予想を裏付ける。