[論文レビュー] An overview of Morihiko Saito's theory of mixed Hodge modules

Christian Schnell|arXiv (Cornell University)|May 13, 2014

Algebraic Geometry and Number Theory参考文献 25被引用数 36

ひとこと要約

本稿は、複素多様体上の混合Hodgeモジュールの理論である斎藤守彦の理論について、包括的な概説を提供する。主に、フィルターを施した右D加群と六関手形式主義を用いた定式化に焦点を当て、特異的かつ非コンパクトな空間への古典的Hodge理論の一般化を説明する。また、消失サイクルと双対性を用いた分解定理のHodge理論的証明を含む、主要な結果も提示する。

ABSTRACT

After explaining the definition of pure and mixed Hodge modules on complex manifolds, we describe some of Saito's most important results and their proofs, and then discuss two simple applications of the theory.

研究の動機と目的

• 複素多様体上の純粋および混合Hodgeモジュールの基礎的定義を、フィルターを施したD加群を用いて説明すること。
• 斎藤の主な結果、特に双対性と消失サイクル関手を用いた分解定理のHodge理論的証明を提示し、その証明を示すこと。
• 2つの具体的な応用を通じて理論の有用性を示すこと：特異的または非コンパクトな空間のコホモロジー、および部分多様体上の混合Hodgeモジュールの構成。
• フィルターを施したD加群および右D加群の選択が、特に直接像関手と双対性関手の形式主義において果たす役割を明確にすること。
• Hodge理論と perverse sheaf形式主義の橋渡しをすることにより、混合Hodgeモジュールが一様な枠組みの中でさまざまなコホモロジー的状況を統合する仕組みを示すこと。

提案手法

• 理論は、重みフィルターとHodgeフィルターがコア構造を形成する、フィルターを施した右D加群を用いて展開される。
• 混合Hodgeモジュールに六関手形式主義（引き戻し、押し出しなど）を適用し、下位の可解層への作用がHodge構造に引き上げられることを保証する。
• 消失サイクル関手は、除数に沿ったV-フィルターを用いて構成され、[ψ₁M → φ₁M[1]]のような複体のコホモロジーが、特異的局所に混合Hodgeモジュールをもたらす。
• 構成は、除数に沿ったD加群の準正則性と正則性に依存しており、V-フィルター下でのよい定義された順次的成分を保証する。
• t∂ₜが gr₀ᵛM および gr₋₁ᵛM に作用する仕組みを用いて、局所座標に依存しない標準的なD_Y-加群構造を定義する。
• 一般の準同型 f: Y → X に対して、関手 f* および f! は、f = p₂∘i によるグラフ分解を用いて定義され、D加群構造との適合性を保つために次元 Y だけコホモロジーをずらす。

実験結果

リサーチクエスチョン

• RQ1 特異的または非コンパクトな複素多様体上で、フィルターを施したD加群を用いて、混合Hodgeモジュールを体系的に定義する方法は何か？
• RQ2 V-フィルターおよび gr₋₁ᵛM と gr₀ᵛM に誘導されるフィルターが、部分多様体上の混合Hodgeモジュールの構成において果たす役割は何か？
• RQ3 斎藤の理論は、退化や混合Hodge構造の適切な変動を含む古典的Hodge理論をどのように拡張するか？
• RQ4 混合Hodgeモジュールにおける六関手形式主義は、 perverse sheaf のそれとどのように類似しているか？また、Hodge理論的構造をどのように保っているか？
• RQ5 混合Hodgeモジュールの文脈において、双対性と消失サイクルを用いて、分解定理のHodge理論的証明をどのように達成できるか？

主な発見

• 混合Hodgeモジュールは、重みフィルターと特定の適合条件を満たす良いフィルターを施した、正則的で特徴的ホロノミックなD加群として定義される。
• 消失サイクル関手は、i⁻¹K、ψ₁K、φ₁K を含む、区別された三角形をもたらし、これは j ∈ {−1, 0} に対して MHM(Y) 内のコホモロジー加群 Hʲi⁎M を定義するために用いられる。
• 混合Hodgeモジュールの導来圏における複体 [ψ₁M → φ₁M[1]] は、F•M から誘導されるフィルターを施したD加群の複体に対応する。
• 複体 [gr₋₁ᵛM → gr₀ᵛM[1]] のコホモロジーは、局所定義関数 t の選択に依存しない、よい定義された混合Hodgeモジュールを Y 上に与える。
• gr₀ᵛ𝒟_X を t∂ₜ で割った商は、自然に 𝒟_Y に同型であり、∂ₜ の核および余核に標準的な 𝒟_Y-加群構造をもたらす。
• 一般の準同型 f: Y → X に対して、関手 f* および f! は、グラフ埋め込みを用いて定義され、次元 Y だけのシフトによりD加群構造との適合性が保たれ、カテゴリ MHM(Y) が保存される。