[論文レビュー] On parametrization, optimization and triviality of test configurations

Yuji Odaka|arXiv (Cornell University)|Jan 3, 2012

Geometry and complex manifolds参考文献 9被引用数 4

ひとこと要約

本稿は、球面的ビルディングを介した極付付多様体のテスト配置のパrametrizationを確立し、KempfおよびRousseauの結果を用いて最適な不安定化テスト配置の存在を証明する。『ほぼ自明』な病理的テスト配置は、K-安定性の再定義により解消され、それらは球面的ビルディングの稠密な部分集合に対応し、修正定義のもとで除外される。これにより、Odaka (2011) の形式的枠組みが正当化される。

ABSTRACT

We give a parametrization of test configurations in the sense of Donaldson via spherical buildings, and show the existence of "optimal" destabilizing test configurations for unstable varieties, in the wake of Mumford and Kempf. We also give an account of the recent slight amendment to definition of K-stability after Li-Xu, from two other viewpoints: from the one parameter subgroups and from the author's blow up formalism.

研究の動機と目的

• 古典的GITのアイデアを拡張するため、球面的ビルディングを用いたテスト配置の幾何的パrametrizationを提供すること。
• 不安定な極付付多様体に対して、Harder-Narasimhan層の類似である一意的な最適な不安定化テスト配置の存在を確立すること。
• 『ほぼ自明』なテスト配置——K-安定性から除外すべき病理的ケース——の役割を、球面的ビルディングの形式的枠組みを用いて明確化すること。
• Li-Xuによる修正後のK-安定性の定義を、1パラメータ部分群とOdakaの吹き上げ形式的枠組みの両方の観点から一致させること。
• 病理的テスト配置の集合が球面的ビルディングにおいて稠密な部分集合をなすことの証明により、安定性理論におけるそれらの除外が正当化されること。

提案手法

• Titsの理論を活用し、指数1のテスト分岐のパrameter空間として、球面的ビルディング Δ(GL(H⁰(X,L))) を用いる。
• Titsの中心予想（Rousseau-Kempfの定理）を適用し、正規化された重み関数の唯一の最小化者の存在を証明する。
• テスト分岐とテスト類を形成するために、テスト配置上の同値関係（T同値、U同値）を定義する。
• GIT重みとWeyl不変ノルムで正規化された重み関数 ν を、球面的ビルディングの幾何的実現から導出する。
• 『ほぼ自明』なテスト配置の集合は、複数の最小重みが現れる点に対応する S′(T,ℚ) の像として特定される。
• MumfordおよびKempfによる重み関数の下半連続性を用い、|Δ(G)|_ℚ 上での ν の連続性および下半連続性を証明する。

実験結果

リサーチクエスチョン

• RQ1 極付付多様体のテスト配置は、球面的ビルディングのような既知の幾何的対象を用いて一様にパrametrized可能だろうか？
• RQ2 すべての不安定な極付付多様体は、Harder-Narasimhan層に類似した一意的な最適な不安定化テスト配置を有するだろうか？
• RQ3 『ほぼ自明』なテスト配置の幾何的・代数的性質は何か？ なぜそれらはK-安定性の定義の修正を必要とするのか？
• RQ4 球面的ビルディングの形式的枠組みは、1パラメータ部分群とK-安定性の関係をどのように明確化するのか？
• RQ5 病理的テスト配置を除外する修正定義のもとで、Odakaの吹き上げ形式的枠組みは正当化可能だろうか？

主な発見

• 非常に豊かな極付付多様体 (X,L) に対して、指数1のテスト分岐は、球面的ビルディング Δ(GL(H⁰(X,L))) の有理点によってパrametrizedされる。
• Kempf-Rousseauの定理を球面的ビルディングパラメータ空間に適用することで、最適な不安定化テスト配置の存在と一意性が導かれる。
• 『ほぼ自明』なテスト配置の集合は、自然な写像のもとで ∪_T S′(T,ℚ) の像として、球面的ビルディングの稠密な部分集合に対応する。
• これらの病理的配置は、修正されたK-安定性の定義のもとで除外され、これによりOdaka (2011) の吹き上げ形式的枠組みと整合的になる。
• 正規化されたChow重み関数 ν は、球面的ビルディングの幾何的実現上で連続的かつ下半連続的であり、最小化者の存在を保証する。
• 最適な不安定化テスト配置は、|Δ(G)|_ℚ 内で負の正規化重みが最小となる点として実現され、GIT重み関数によって一意に定まる。