[論文レビュー] Nonabelian mixed Hodge structures

Ludmil Katzarkov, Tony Pantev+1 more|ArXiv.org|Jun 28, 2000

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

ひとこと要約

本稿では、滑らかで射影的な多様体 $ X $ と非アーベル混合Hodge構造 $ V $ に対して、重みフィルトレーションを定義し、非アーベルコホモロジー $ H = \mathrm{Hom}(X_M, V) $ を構成することにより、非アーベル混合Hodge構造（namhs）の新しい枠組みを導入する。主な貢献は、$ V $ が複素化された2次元球面 $ \mathbb{P}^1 $ のホモトピー型を持つ場合、得られるコホモロジー $ H $ が実際にnamhsであることを証明することであり、理論の基礎的例を確立する。

ABSTRACT

We propose a definition of ``nonabelian mixed Hodge structure'' together with a construction associating to a smooth projective variety $X$ and to a nonabelian mixed Hodge structure $V$, the ``nonabelian cohomology of $X$ with coefficients in $V$'' which is a (pre-)nonabelian mixed Hodge structure denoted $H=Hom(X_M, V)$. We describe the basic definitions and then give some conjectures saying what is supposed to happen. At the end we compute an example: the case where $V$ has underlying homotopy type the complexified 2-sphere, and mixed Hodge structure coming from its identification with $\pp ^1$. For this example we show that $Hom (X_M,V)$ is a namhs for any smooth projective variety $X$.

研究の動機と目的

• 古典的な混合Hodge理論を高次のホモトピー型と非アーベル係数へ拡張する非アーベル混合Hodge構造（namhs）の概念を定義すること。
• 非アーベルホモトピー理論において重みフィルトレーションが欠落していること、これが高次のファンクター理論的性質や族における変動の研究を阻害していることに対処すること。
• 滑らかで射影的な多様体 $ X $ と混合Hodge構造を備えた非アーベル係数 $ V $ に対して、高次のホモトピー情報を混合Hodge構造で符号化するコホモロジー理論 $ H = \mathrm{Hom}(X_M, V) $ を構築すること。
• 特定の係数対象 $ \mathcal{V} $ がホモトピー型 $ S^2_\mathbb{C} $ を持つ場合、得られるコホモロジーがnamhsであることを証明し、理論の基礎的例を提供すること。

提案手法

• フィルター付き $ n $-スタックと $ \mathbb{G}_m $--equivariant 完全複体を用いた非アーベル混合Hodge構造の定義を提案する。
• Dold-Puppe線形化を用いて、フィルター付き複体から前namhsを構成し、重みフィルトレーションを分析する。
• 混合Hodge複体と線形化の理論を適用し、コホモロジースタック $ \underline{\mathrm{Hom}}(X_B, T) $ を非アーベルコホモロジー対象として定義する。
• カップ積と重みシフトに由来する二次的準同型 $ Q'_{\mathcal{H},0} $ のゼロ部分スキームを介して、コホモロジースタックの構造を分析する。
• コホモロジースタックがnamhsの公理を満たすために、平坦性およびイデアル条件（A1–A3）を確立する。
• 問題を、$ \mathbb{A}^1_{\text{hod}} $ 上での自明化を用いて、二次錐と除数のスキーム的和集合への還元する。

実験結果

リサーチクエスチョン

• RQ1 非アーベルホモトピー型に対して、古典的な混合Hodge理論を拡張する意味のある重みフィルトレーションを定義することは可能か？
• RQ2 滑らかで射影的な多様体 $ X $ と非アーベル混合Hodge構造 $ V $ を係数に持つ非アーベルコホモロジー $ \mathrm{Hom}(X_M, V) $ は、実際にnamhsであるか？
• RQ3 古典的な変動が定数である場合、2次のKodaira-Spencer写像はどのように高次のHodge構造の変動を検出するか？
• RQ4 $ V $ が $ \mathbb{P}^1 $ のホモトピー型を持つ場合、コホモロジースタックの構造はどのようなものであり、namhsの公理を満たすか？
• RQ5 この構成は、$ \mathbb{P}^n $ やグラスマンニアンなどの他の多様体へ一般化可能か？

主な発見

• $ V $ が複素化された2次元球面 $ S^2_\mathbb{C} $ のホモトピー型を持つ場合、コホモロジースタック $ \mathrm{Hom}(X_M, V) $ は明示的計算により非アーベル混合Hodge構造であることが示された。
• 得られるコホモロジーは線形化された前namhsの滑らかな準同型であり、カップ積に由来する二次的準同型のゼロ部分スキームによってその構造が決定される。
• コホモロジースタック $ \mathcal{H} $ はHodgeパrameter空間 $ \mathbb{A}^1_{\text{hod}} $ 上で平坦であり、そのイデアル構造はnamhsに必要な公理A1–A3を満たす。
• 二次的準同型のゼロ部分スキームとして定義されるスタック $ \mathcal{K} $ はHodge方向に自明化可能であり、二次錐と除数の逆像の和集合に分解される。
• 重みパrameter $ t $ の annihilator イデアルは、二次錐を定義するイデアルと同型であり、このイデアルは部分混合Hodge構造をなしており、条件A3を満たす。
• 全構成はHodge分解および重みフィルトレーションと整合しており、コホモロジースタックがwell-definedなnamhs構造を引き継ぐことが確認された。