[論文レビュー] Pseudo-effective and numerically flat reflexive sheaves

Xiaojun Wu|arXiv (Cornell University)|Apr 30, 2020

Geometry and complex manifolds参考文献 29被引用数 6

ひとこと要約

この論文は、コンパクト・カハラー多様体上の強いたる擬効果的（s.psef）な自己双対層の概念を導入し、そのような層が最初のチャーン類をもつ場合に数値的に平坦であることを証明する。主な技術的進歩は、セグレ類を表す正の電流を用いたセグレ電流の構成であり、特異的メトリックの正則化と、Lelong数の制御を通じたネフ性の確立を可能にし、射影幾何学から一般のカハラー幾何学への結果の拡張を実現する。

ABSTRACT

In this note, we discuss the concept of pseudoeffective vector bundle and also introduce pseudoeffective torsion-free sheaves over compact Kähler manifolds. We show that a pseudoeffective reflexive sheaf over a compact Kähler manifold with vanishing first Chern class is in fact a numerically flat vector bundle. A proof is obtained through a natural construction of positive currents representing the Segre classes of pseudoeffective vector bundles.

研究の動機と目的

• 射影幾何学からコンパクト・カハラー多様体への、最初のチャーン類が消えるベクトル束の分類を拡張すること。
• 擬効果的ベクトル束の自然な一般化として、強いたる擬効果的な全純的自由層を定義し、それらを研究すること。
• 最初のチャーン類が0である強いたる擬効果的自己双対層が数値的に平坦であることを確立し、射影幾何学からの結果を一般化すること。
• 射影的でない状況下で特異的正則性とLelong数を制御するための、セグレ電流を用いたコhomological枠組みを構築すること。

提案手法

• O(1) の曲率電流の楔積の直接像として、解析的特異性を持つメトリックを用いて、セグレ電流を構成する。
• メトリックの特異的集合の余次元条件を用いて、セグレ電流の構成の定義可能性を保証する。
• Demaillyの正則化定理を適用し、セグレ電流のLelong数を制御することで、ベクトル束上の特異的メトリックを滑らかにする。
• c₁(E) に属する唯一の（半）正の電流がゼロ電流であるという事実を用い、重み関数のLelong数が一様にゼロに近づくことを示す。
• π_* (c₁(O(1)) + επ*ω)^{r+k-1} のコhomology類におけるセグレ電流の正の性質を用いて、束のネフ性を導出する。
• Bogomolovの不等式とチャーン類の恒等式を適用し、c₂(E) = 0 を示し、半安定性の仮定の下で平坦性を導く。

実験結果

リサーチクエスチョン

• RQ1 コンパクト・カハラー多様体上に最初のチャーン類が消える強いたる擬効果的ベクトル束が、必然的にネフ構造をもつのか？
• RQ2 解析的特異性を用いて、射影多様体を超えてセグレ電流の構成をコンパクト・カハラー多様体へ一般化できるか？
• RQ3 Lelong数は、自己双対層上の特異的メトリックの正則性を制御する上で果たす役割は何か？
• RQ4 双有理変換の下で、自己双対層のチャーン類はどのように振る舞い、数値的平坦性にどのような影響を及えるか？
• RQ5 c₁の消滅と強いたる擬効果性が、層の平坦性または半安定性を示唆するのはどのような条件下か？

主な発見

• 最初のチャーン類が0であるコンパクト・カハラー多様体上の強いたる擬効果的自己双対層は、数値的に平坦である。これは、射影幾何学からカハラー幾何学への結果の一般化である。
• コhomology類における正の電流としてのセグレ電流の構成により、特異的メトリックのLelong数を制御でき、正則化が可能になる。
• E 上の特異的メトリックの重み関数のLelong数は一様にゼロに近づくため、メトリックを正則化可能である。
• 第二セグレ類 π_* (c₁(O(1)))^{r+1} は正であり、c₁(E) = 0 のとき、Bogomolovの不等式より c₂(E) = 0 を導く。
• S^{[m]}F ⊗ L が強いたるpsef で c₁ = 0 ならば、F はベクトル束であり、F⟨−1/m L⟩ はQ-twistedネフである。
• 層F は局所自由であり、射影的平坦なグラデュエート部を持つ部分束のフィルトレーションをもつ。また、すべてのスロープが等しいため、一般化された平坦構造が確認される。