[論文レビュー] From complex to non-Archimedean geometry: an approach to the YTD conjecture

Sébastien Boucksom, Mattias Jonsson|arXiv (Cornell University)|Feb 11, 2026

Geometry and complex manifolds被引用数 0

ひとこと要約

複雑な代数幾何学/解析幾何学とBerkoヴィッチ非アーキメディアン幾何学を関連付け、制約付きスカラー曲率Kähler計量のYau–Tian–Donaldson予想のバージョンを定式化し、ハットK-stabilityの下でAut^0(X,L)が自明なとき存在を証明する概要を描く

ABSTRACT

These notes expand on talks given by the authors at the 2025 Summer Research Institute in Algebraic Geometry in Fort Collins, Colorado. We discuss the relation between algebraic, analytic, and non-Archimedean geometry over the complex numbers, and sketch a proof of a version of the Yau--Tian--Donaldson conjecture for constant scalar curvature Kähler metrics.

研究の動機と目的

• 複雑代数多様体、解析幾何学、ベルコヴィッチ非アーキメデス空間の関係を説明する。
• Mabuchi汎関数と有限エネルギー空間への拡張を通じたcscK計量への変分アプローチの概略。
• Mabuchi汎関数の非アーキメデス類似物と安定性 notionsの説明。
• 非アーキメデスおよびフィルトレーションの視点を通じて幾何学的安定性と代数幾何的安定性を結ぶ。

提案手法

• 豊かさラインルードの滑らかな正の計量空間を研究し、それをc1(L)におけるカähler形の空間と同一視する。
• この空間の完備に向けてMabuchi汎関数をテートゥータルL1計量を用いて拡張し、有限エネルギーpsh計量のE1空間と関係づける。
• Berkovich解析化とL_na上の計量のna-spaceを用いて非アーキメデス pluripotential理論を展開する。
• 非アーキメデス Mabuchi汎関数M_naを用いてhat K-stabilityを定義し、幾何学的安定性との関係を結ぶ。
• 複素設定におけるMabuchi汎関数のリーレを沿う勾配（蒸留）を研究することで、地平線の傾斜に対する比率計算によってgeodesic stabilityとhat K-stabilityの同値性を示す（Liの結果とその強化）。
• hat K-stabilityは全部分のセクション環のフィルトレーションや divisorial valuations の組み合わせを用いて検証できることを示す。

実験結果

リサーチクエスチョン

• RQ1 c1(L)におけるcscK計量の存在が非アーキメデス幾何学で表現される純粋な代数幾何的条件で特徴づけられるか？
• RQ2 Mabuchi汎関数の幾何学的安定性geodesic stabilityが極化多様体に対する非アーキメデス安定性(hat K-stability)と同値か？
• RQ3 複素解析的エネルギー汎関数と非アーキメデス対応物をどのように翻訳してYTD型結果を証明できるか？
• RQ4 一様なhat K-stabilityを無限次元データ全体ではなくフィルトレーションや評価値で検証できるか？
• RQ5 自動同型群の還元性と自明成分の役割はcscK存在と安定性の等価性にどのように影響するか？

主な発見

• Aut0(X,L)が自明な場合、c1(L)におけるcscK計量は(X,L)がhat K-stableであるときのみ存在する。
• hat K-stabilityの概念は、完備空間hat H_na上の非アーキメデス Mabuchi汎関数M_naによって定義される。
• hat HのRayに沿ったMabuchi汎関数の幾何的安定性は無限遠での勾配（slope）計算を介してhat K-stabilityに対応する。
• 完備空間hat Hは有限エネルギーpsh計量のE1空間と同一視され、cscK計量への変分的アプローチを可能にする。
• 非アーキメデスのオブジェクトを複素解析的エネルギー空間の幾何的 Ray空間の空間へcanonicalに埋め込むことで、フィルトレーションと評価値を安定性に結びつける。
• 一様 hat K-stability は hat K-stability に同値であり、フィルトレーションまたは divisorial valuations で検証できる。