[論文レビュー] Monodromy Filtration and Positivity

Morihiko Saito|ArXiv.org|Jun 21, 2000

Algebraic Geometry and Number Theory参考文献 12被引用数 6

ひとこと要約

この論文は、Lefschetz型構造と標準予想を用いて、混合特異度におけるDeligneのモノドロミー・ウェイトフィルトレーション予想を、原始的コホモロジー上の標準的双対性の非退化性に還元する。この予想が、Cech制限写像およびco-Cech Gysin写像の像上でこれらの双対性が非退化である場合に成り立つことを証明し、一般には標準予想からその成立が従うことを示している。

ABSTRACT

We study Deligne's conjecture on the monodromy weight filtration on the nearby cycles in the mixed characteristic case, and reduce it to the nondegeneracy of certain pairings in the semistable case. We also prove a related conjecture of Rapoport and Zink which uses only the image of the Cech restriction morphism, if Deligne's conjecture holds for a general hyperplane section. In general we show that Deligne's conjecture is true if the standard conjectures hold.

研究の動機と目的

• 混合特異度におけるDeligneのモノドロミー・ウェイトフィルトレーション予想を、原始的コホモロジー上の標準的双対性の非退化性に還元すること。
• 一般の超平面切断についてDeligneの予想を仮定したもとで、Cech制限写像の像のみを用いてRapoportとZinkの関連予想を証明すること。
• 関連する多様体およびその積について標準予想が成り立つものと仮定したもとで、Deligneの予想の正当性を確立すること。
• Frobenius作用のコホモロジー上での性質を分析し、固有値の重複度が1である場合に予想が成り立つことを示すこと。
• $ l $-進コホモロジーの文脈において正則性の役割を明確にし、標準予想およびGalois表現と結びつけること。

提案手法

• RapoportとZinkの重みスペクトル系列を用い、$ E_1 $-項は特殊ファイバー $ X_0 $ の成分の交わりの $ l $-進コホモロジー、Tateシフトを施したもので与えられる。
• 微分 $ d_1 $ をCech制限写像 $ \rho $ とco-Cech Gysin写像 $ \gamma $ の合成として解析し、スペクトル系列を定義する。
• Poincaré双対性およびハードLefschetz定理を用いて、$ Y_{\overline{k}}^{(i)} $ の原始的コホモロジー上に標準的双対性を定義し、分析の中心的役割を果たす。
• モノドロミー分類予想を、$ \operatorname{Im} \rho $ および $ \operatorname{Im} \gamma $ に制限したこの双対性の非退化性に還元する。これは定理0.2で述べられている。
• Galois理論およびTchebotarevの密度定理を用いて、無限個の素数 $ l $ に対してFrobenius多項式 $ P_j(T) $ が $ E_v $ 上で既約であることを示し、固有値の重複度を制御可能にする。
• Lefschetzのトレース公式および対応の性質を適用し、Frobeniusの固有値を交差数と関連づけ、標準予想とモノドロミー分類を結びつける。

実験結果

リサーチクエスチョン

• RQ1 混合特異度において、近傍サイクル上のモノドロミー・ウェイトフィルトレーションは、いつ shifted モノドロミー分類と一致するか？
• RQ2 原始的コホモロジー上の標準的双対性の非退化性が、Deligneのモノドロミー分類予想を示唆する条件となるか？
• RQ3 Hodge指数型標準予想は、Deligneのモノドロミー分類予想の正当性とどのように関係するか？
• RQ4 co-Cech Gysin写像を含まずに、Cech制限写像の像のみを用いて、いつ予想を証明できるか？
• RQ5 Frobeniusの原始的コホモロジー上での固有値が重複度1である場合、いつDeligneの予想が成り立つか？

主な発見

• 定理0.2は、原始的コホモロジー上の標準的双対性が $ \operatorname{Im} \rho $ および $ \operatorname{Im} \gamma $ に制限されて非退化である場合に、Deligneの予想が成り立つことを確立する。
• $ n = 3 $ の場合、定理0.2の逆が成り立ち、$ \operatorname{Im} \gamma $ に関する条件は自動的に満たされるため、予想は $ \operatorname{Im} \rho $ 上での双対性の非退化性に正確に還元される。
• 定理0.3は、一般の超平面切断についてDeligneの予想が成り立つと仮定した場合、双対性の非退化性を $ \operatorname{Im} \rho $ のみで確認すれば十分であることを示し、基準を単純化する。
• 定理0.4は、$ Y^{(i)} $、$ Y^{(i)} \times_k Y^{(i)} $ について標準予想が成り立ち、かつ $ i > 0 $ に対して $ Y^{(i)} \times_k Y^{(i+1)} $ で数値的同値とホモロジー同値が一致する場合、Deligneの予想が成り立つことを証明する。
• 命題5.4は、特定のFrobenius多項式が $ E_v $ 上で既約であるような素数 $ l $ に対して、原始的コホモロジー上のFrobeniusの各固有値が重複度1であれば、予想が成り立つことを確立する。
• 固有値が重複度1である場合、正則性に依存せず、問題を標準予想 $ D $ または $ B $ に還元できる。