[論文レビュー] Local systems on analytic germ complements

Nero Budur, Botong Wang|arXiv (Cornell University)|Aug 31, 2015

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

ひとこと要約

本稿では、複素解析的特異点の小さな球内における補集合上のランク1局所系のコhomologyジャンプ集合が、特性多様体における部分トーラスの torsion ずれの有限和であることを確立する。代数幾何とD-加群理論を用いて、ホッジ理論や形式的性に依存せずにこの結果を証明し、ミルナー纤维のモノドロミー固有値が単位根であるという古典的モノドロミー定理を一般化する。

ABSTRACT

We prove that the cohomology jump loci of rank one local systems on the complement in a small ball of a germ of a complex analytic set are finite unions of torsion translates of subtori. This is a generalization of the classical Monodromy Theorem stating that the eigenvalues of the monodromy on the cohomology of the Milnor fiber of a germ of a holomorphic function are roots of unity.

研究の動機と目的

• 複素解析的特異点の小さな球内における補集合上のランク1局所系のコhomologyジャンプ集合の正確な構造を特定すること。
• ミルナー纤维におけるモノドロミー固有値が単位根であるという古典的モノドロミー定理を一般化すること。
• これらの集合がホッジ理論や形式的性に依存せずに、特性多様体内での部分トーラスの torsion ずれの有限和であることを確立すること。
• 代数的閉体上でのQ-代数的モデルへの還元により、特異な環境空間上の局所系へこの構造結果を拡張すること。

提案手法

• 小球の補集合U上のランク1局所系をパラメトライズするため、H₁(U, ℤ) から ℂ* への群準同型 Hom(H₁(U, ℤ), ℂ*) として、局所系のモジュライ空間を用いる。
• コホモロジー・ジャンプ集合 Vⁱₖ(U) を、dim Hⁱ(U, L) ≥ k を満たす局所系Lの集合として定義する。
• リーマン＝ヒルベルト対応を用いて、局所系のコホモロジーとD-加群の構成（特に特別な引き戻しと近傍サイクル）を関連付ける。
• D-加群のコホモロジー・ジャンプ集合 Σⁱₖ(F, Y, O) を、Dₓ[s]fˢ ⊗ ℂ[s]/(s−α) を用いて構成し、指数写像を通じて局所系の集合と関連付ける。
• Q-bar 上でのガロア不変性を用いて、D-加群の集合がQ-bar 上で定義され、ガロア作用に対して不変であることを示す。
• 十分に負の実部を持つα ∈ ℂʳ に対して、α ∈ Σⁱₖ(F, Y, O) であることと、Exp(α) ∈ (F*)⁻¹(𝒱ⁱ⁺²ᵐ⁻ⁿₖ(U)) であることとは同値であることを示し、D-加群と局所系の集合との明確な関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 複素解析的特異点の小さな球内における補集合上のランク1局所系のコホモロジー・ジャンプ集合は、有限個の部分トーラスの torsion ずれの和集合であるか？
• RQ2 これらの集合の構造は、正則関数の特異点のミルナー纤维におけるモノドロミー作用とどのように関係しているか？
• RQ3 コホモロジー・ジャンプ集合は、ホッジ理論や形式的性に依存せずに、純粋に代数的に記述可能か？
• RQ4 ガロア不変性は、標数0の代数的閉体上でのこれらの集合の特徴付けにおいて、果たす役割は何か？
• RQ5 局所系のコホモロジー・ジャンプ集合の構造は、特異な環境空間へどの程度まで拡張可能か？

主な発見

• 複素解析的特異点の小さな球内における補集合Uのコホモロジー・ジャンプ集合 𝒱ⁱₖ(U) は、特性多様体 𝒟_B(U) 内の部分トーラスの torsion ずれの有限和である。
• 𝒱ⁱₖ(U) の各既約成分は、特性多様体の単位成分内に同型な (ℂ*)^p としての部分トーラスの torsion ずれである。
• この結果は古典的モノドロミー定理を一般化する：ミルナー纤维上のモノドロミー固有値は単位根である。これは、関数fによって誘導される写像の下で、局所系のジャンプ集合の台に一致する。
• D-加群のコホモロジー・ジャンプ集合 Σⁱₖ(F, Y, O) は、ガロア群 Gal(C/Q̄) に対して不変であり、代数的性と算術的構造を保証する。
• 十分に負の実部を持つα ∈ ℂʳ に対して、α ∈ Σⁱₖ(F, Y, O) であることと、Exp(α) がF* による引き戻し写像の下で 𝒱ⁱ⁺²ᵐ⁻ⁿₖ(U) の逆像に属することとは同値である。これにより、D-加群と局所系の集合との間の明確な関係が確立される。
• コホモロジー・ジャンプ集合の構造は、局所系の双対を取っても保たれる：Hⁱ(X, L) ≅ Hⁱ(X, L⁻¹) が成り立ち、これは、ジャンプ集合に torsion ずれ部分トーラス成分を含む空間に対して一般に成立する。