[論文レビュー] A remark on semipositivity theorems

Taro Fujisawa|arXiv (Cornell University)|Oct 3, 2017

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

ひとこと要約

本稿は、以前に主張された半正定性定理の欠陥を克服するため、新しいカテゴリーのフィルター付きベクトル束、FPVHS(X,D)_{\mathbb{R}} を導入する。制限写像の関手的性を保証し、制限下でもヒッグス場の条件が保存されるようにカテゴリーを再定義することにより、修正された半正定性定理（定理 4.2）を証明する。この定理は [1] の定理 1.8 を回復し、元の主張を無効にした反例に対しても解決をもたらす。

ABSTRACT

We propose a new class of filtered vector bundles, which is related to variation of (mixed) Hodge structures and give a slight generalization of the Fujita--Zucker--Kawamata semipositivity theorem.

研究の動機と目的

• 文献 [1] の定理 4.5 に内在する深刻な欠陥に対処すること。この定理は例 4.6 により偽であることが示された。
• 元の枠組みでは、ヒッグス場の核条件が制限下で保存されないという問題を解決すること。
• 境界 divisor D の対 (X,D) 上のフィルター付きベクトル束のフル部分カテゴリーとして、FPVHS(X,D)_{\mathbb{R}} を構成し、制限関手の関手的性を回復すること。
• 定理 4.2 として修正された半正定性定理を証明し、[1] の定理 1.8 をその推論として回復すること。
• 商束におけるヒッグス場の条件が制限下でも保存されることを保証し、帰納的証明を可能にすること。

提案手法

• log 対 (X,D) 上のフィルター付きベクトル束のフル部分カテゴリーとして、FPVHS(X,D)_{\mathbb{R}} を定義し、対象が追加データ (W,...) を備えたフィルター付きベクトル束 (V,F) を持つようにする。
• 射には重みフィルター W に制約を課さないよう定義し、D のストラタへの制限関手が適切に定義され、関手的であることを保証する。
• Z^∞ という大きな添字集合を用いることで問題を引き起こした [1] の問題を避けるために、重みフィルターの精密化を制御された方法で用いる。
• 境界 divisor D のストラタへの制限関手を構成し、ホッジおよび重みフィルターと整合するようにする。
• ストラタの次元に基づく帰納的議論を用い、商束におけるヒッグス場条件が制限下でも保存されることに依存する。
• 極限におけるフィルターおよびヒッグス場の振る舞いを分析するために、標準的拡張および極小変動ホッジ構造の性質を用いる。

実験結果

リサーチクエスチョン

• RQ1 文献 [1] の定理 4.5 の元の証明が、部分多様体への制限においてなぜ失敗するのか。特に、ヒッグス場の核条件に関しては。
• RQ2 制限写像の関手的性を回復するとともに、重要な幾何的条件を保存するように、フィルター付きベクトル束の新しいカテゴリーをどのように定義できるか。
• RQ3 商束におけるヒッグス場条件が制限下でも保存されることを保証することで、修正された半正定性定理を証明できるか。
• RQ4 文献 [1] の定理 1.8 は、新しい枠組みにおける修正された半正定性定理の系として回復可能か。
• RQ5 重みフィルターの精密化は、ホッジ構造およびヒッグス場と整合性を保つために果たす役割は何か。

主な発見

• カテゴリー FPVHS(X,D)_{\mathbb{R}} は、フィルター付きベクトル束のフル部分カテゴリーとして定義され、制限関手が適切に定義され、関手的であることが保証される。
• Gr_F V の商束 A をストラタに制限したとき、Gr^W A がヒッグス場の核に含まれるという条件が、元の枠組みとは異なり、保存される。
• 例 4.6 の反例は、[1] の定理 4.5 を無効にしている。なぜなら、A ≃ O_X(-C_0) の双対束が、C_0^2 = -n < 0 であるため半正定でないからである。
• 定理 4.2 は、FPVHS(X,D)_{\mathbb{R}} の対象に対して修正された半正定性定理を確立し、制限下でも重要な条件が保存されることを示している。
• [1] の定理 1.8 は、定理 4.2 の系として回復され、新しい枠組みにおいてその正しさが裏付けられる。
• ブリュネバーブにインspiredされた制限関手の構成は、重みフィルター W に制約を課さないようカテゴリーを再定義することにより、関手的であるようにされている。