[論文レビュー] A Numerical Criterion for K-Energy maps of Algebraic Manifolds

Sean Timothy Paul|arXiv (Cornell University)|Oct 2, 2012

Geometry and complex manifolds参考文献 3被引用数 15

ひとこと要約

本稿は、滑らかで線型正規な複素射影的代数多様体のバーグマン計量上でのMabuchi Kエネルギーの一様な下界について、数値的条件を確立する。Mabuchiエネルギーがバーグマン計量の空間上で一様に下から有界であるための必要十分条件は、すべての最大トーラスに対して、X-resultantの重みポリトープがX-ハイパードゥスクリミナントの重みポリトープに含まれることに帰着され、幾何的不変量理論とHilbert-Mumfordの数値不変量を用いて、多面体的組合せ的条件に帰着される。

ABSTRACT

Let X be a projective manifold. We prove that the Mabuchi Energy of X is bounded below on all degenerations in B (the space of Bergman metrics) if and only if it is bounded below uniformly on B.

研究の動機と目的

• 滑らかで線型正規な複素射影的代数多様体に関連するバーグマン計量の空間上でのMabuchiエネルギーの一様な下界について、数値的条件を確立すること。
• Mabuchiエネルギーのグローバルな下界問題を、バーグマン計量空間内に存在する各代数的1パラメータ部分群における有界性の確認に還元すること。
• すべての最大トーラス作用の下で、X-resultantとX-ハイパードゥスクリミナントの重みポリトープの包含関係を用いて、Mabuchiエネルギーの一様有界性を特徴づけること。
• Kエネルギーの振る舞いをKempf-Ness汎関数とHilbert-Mumfordの基準を通じて、幾何的不変量理論および数値不変量と結びつけること。
• 標準的不変量の重みポリトープの相対的位置関係を通じて、K安定性の多面体的組合せ的特徴づけを提供すること。

提案手法

• 本稿では、X-resultantとX-ハイパードゥスクリミナントのペアに適用されたHilbert-Mumfordの数値基準を用いて、半安定性の条件を検討する。
• 表現におけるベクトルの重みポリトープを、最大トーラス作用の下でのその重みの支持集合の凸包として定義する。
• 数値的半安定性条件は、すべての1パラメータ部分群 $ \lambda $ に対して不等式 $ w_\lambda(w) \leq w_\lambda(v) $ として表現される。ここで $ w_\lambda $ はベクトル上で $ \lambda $ の重みを表す。
• 主な結果は、Mabuchiエネルギーがペア $ (R, \Delta) $ のKempf-Ness汎関数と関係づけられる定理4.1を適用することによって得られ、誤差はヒルベルト多項式と計量にのみ依存する定数で抑えられる。
• エネルギーの非一様下界を、すべての最大トーラスにおいて $ \mathcal{N}(R) \subset \mathcal{N}(\Delta) $ の包含関係に帰着させる。これは、エネルギーの退化における漸近的挙動を用いて実現される。
• 構成は、SL(N+1,\mathbb{C}) の既約表現への結果的および判別式写像の $ G $-同変性に依存し、明示的な最高重量の記述が与えられる。

実験結果

リサーチクエスチョン

• RQ1 滑らかで線型正規な射影的代数多様体に対して、バーグマン計量の空間上でのMabuchiエネルギーが一様に下から有界であるための条件は何か？
• RQ2 Mabuchiエネルギーのグローバルな下界を、各代数的1パラメータ部分群における有界性の確認に還元できるか？
• RQ3 X-resultantとX-ハイパードゥスクリミナントの重みポリトープの関係として、Mabuchiエネルギーの一様下界性を特徴づける明確な多面体的組合せ的条件は何か？
• RQ4 結果的および判別式の数値不変量は、Kempf-Ness汎関数を通じてKエネルギー汎関数とどのように関係するか？
• RQ5 すべての最大トーラスにおいて $ \mathcal{N}(R) \subset \mathcal{N}(\Delta) $ であることは、Mabuchiエネルギーの一様下界の必要十分条件か？

主な発見

• 滑らかで線型正規な複素射影的代数多様体 $ X $ とそのFubini-Study計量 $ \omega_{FS}|_X $ に対して、Mabuchiエネルギーがバーグマン計量の空間 $ \mathcal{B} $ 上で一様に下から有界であるための必要十分条件は、$ \mathcal{B} $ 内のすべての代数的1パラメータ部分群において有界であることである。これは、還元原理を確立する。
• 一様下界が成り立つのは、すべての最大トーラス $ H \leq SL(N+1,\mathbb{C}) $ に対して、X-resultantの重みポリトープがX-ハイパードゥスクリミナントの重みポリトープに含まれるときであり、これは補題4.1で述べられている。
• Mabuchiエネルギーは、不等式 $ |(n+1)\nu_{\omega_{FS}|_X}(\sigma) - \frac{1}{c_n^2} p_{R(X)\Delta(X)}(\sigma)| \leq M $ を通じて、ペア $ (R, \Delta) $ のKempf-Ness汎関数と関係づけられる。ここで $ M $ はヒルベルト多項式と計量にのみ依存する。
• 結果的 $ R(X) $ および判別式 $ \Delta(X) $ は、SL(N+1,\mathbb{C}) の既約表現における非ゼロの切断であり、最高重量が $ (r,\dots,r,0,\dots,0) $ として明示的に与えられる。ここで $ r $ は両不変量の共通の次数である。
• 結果的および判別式の次数 $ r $ は、$ r = d(n+1)(n(n+1)d - d\mu) $ で与えられる。ここで $ d $ は $ X $ の次数、$ \mu $ は $ \omega_{FS}|_X $ の平均スカラー曲率である。
• 写像 $ X \mapsto R(X) $ および $ X \mapsto \Delta(X) $ の $ G $-同変性により、重みポリトープが群作用の下で一貫して変換され、グローバルな基準が可能になる。