複素微分幾何学 · 2026-08-14

Uniformisation of complete Kähler surfaces with positive sectional curvature

正の断面曲率を持つ完備Kähler曲面の一意化

Ved Datar, Vamsi Pritham Pingali, Harish Seshadri

ved-datar-1fmrn4e vamsi-pritham-pingali-1b59noc harish-seshadri-1t0lkb positivity curvature uniformization Positivity 正値性 Curvature geometry 曲率幾何 Uniformization 一意化

arXiv Abstract

We prove that any complete non-compact Kähler surface with positive sectional curvature is biholomorphic to $\mathbb{C}^2$, establishing the two dimensional case of the weaker form of Yau's uniformisation conjecture. In contrast to all previous results, no assumptions are made on the geometry at infinity. The proof introduces a new approach towards Yau-type uniformisation problems, based on uniformly Lipschitz plurisubharmonic weight functions with finite Monge-Ampère mass, and weighted $L^p$ holomorphic functions. A central difficulty is that these weights are neither smooth nor proper. As a consequence of the method, we also obtain Bézout-type intersection and multiplicity estimates in considerable generality. In a different direction, we also prove a new obstruction to the existence of complete Kähler metrics with non-negative bisectional curvature on non-compact Kähler manifolds, and use it to construct new examples admitting no such metrics. We conclude by discussing possible extensions of our methods to higher dimensions and related open problems.

日本語要約

正の断面曲率を持つ完備非コンパクトKähler曲面はすべて $\mathbb C^2$ と双正則であり、Yauの一意化予想の弱形式を複素次元2で確立する。従来と異なり無限遠の幾何には追加仮定を置かない。有限Monge–Ampère質量を持つ一様Lipschitz多重劣調和重みと重み付き正則関数を用いる新手法を導入し、一般的なBézout型交点・重複度評価も得る。

We prove that any complete non-compact Kähler surface with positive sectional curvature is biholomorphic to $\mathbb{C}^2$, establishing the two dimensional case of the weaker form of Yau's uniformisation conjecture. In contrast to all previous results, no assumptions are made on the geometry at infinity. The proof introduces a new approach towards Yau-type uniformisation problems, based on uniformly Lipschitz plurisubharmonic weight functions with finite Monge-Ampère mass, and weighted $L^p$ holomorphic functions. A central difficulty is that these weights are neither smooth nor proper. As a consequence of the method, we also obtain Bézout-type intersection and multiplicity estimates in considerable generality. In a different direction, we also prove a new obstruction to the existence of complete Kähler metrics with non-negative bisectional curvature on non-compact Kähler manifolds, and use it to construct new examples admitting no such metrics. We conclude by discussing possible extensions of our methods to higher dimensions and related open problems.

正の断面曲率を持つ任意の完備非コンパクトKähler曲面が $\mathbb C^2$ と双正則であることを示し、Yau型一意化予想の弱形式を複素次元2で解決する。無限遠での体積成長や曲率上界を仮定せず、有限Monge–Ampère質量を持つLipschitz多重劣調和重みと重み付き $L^p$ 正則関数から準射影性を導く。

arXiv
2604.11220v1
初回投稿日
2026-04-13
原論文のライセンス
arXiv non-exclusive distribution license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
differential-geometry 2026

書誌情報

要約

Yauの一意化予想は、正の双正則断面曲率を持つ完備非コンパクトKähler多様体が $\mathbb C^n$ と双正則であると予想する。Green–Wuによる弱形式は、より強い正の断面曲率を仮定して同じ結論を予想する。本論文はこの弱形式を複素次元2で解決する。

従来の結果は最大体積成長、曲率減衰、曲率積分の有限性、あるいは断面曲率の上界を必要とした。ここでは無限遠でそのような条件を置かない。正の断面曲率から位相的に $\mathbb R^4$ であることは従うため、主要な課題は複素構造を制御して準射影性を示すことになる。

新しい方法は、有限Monge–Ampère質量を持つ一様Lipschitz多重劣調和関数を重みとして、種々の $L^p$ に属する正則関数を一つの次数付き代数にまとめる。重みが滑らかでもproperでもないため、Bézout型評価と重複度評価を新たに構築し、有限生成と射影空間への埋め込みを得る。

より弱い正の双正則断面曲率についても、強Stein性と可縮性を追加すれば準射影性が従う。さらに無限遠で単連結なら、Ramanujamの判定により $\mathbb C^2$ との双正則性が得られる。

背景と問題設定

最大体積成長の下では多項式増大正則関数が埋め込みを与えるが、非最大増大ではそのような関数が存在しないことが障害となる。本論文は、通常の増大度の代わりに熱流で平滑化した重み $\psi$ を使い、重み付き $L^p$ 条件を満たす切断が生成する空間 $R_q$ と次数付き代数

$$ R=\bigoplus_{q\in\mathbb N}R_q $$

を用いる。Hölder不等式により $R_qR_{q'}\subset R_{q+q'}$ となる。

主結果

完備Kähler曲面の一意化(Theorem 1)

$(X,\omega)$ を正の断面曲率を持つ完備非コンパクトKähler曲面とする。このとき

$$ X\simeq\mathbb C^2 $$

が双正則同型として成り立つ。無限遠での体積成長、曲率減衰、断面曲率の上界を仮定しない点が、Introductionで強調される進展である。

双正則断面曲率版(Theorem 2)

$(X,\omega)$ が正の双正則断面曲率を持つ完備非コンパクトKähler曲面で、(1) Lipschitz定数1以下の滑らかな多重劣調和exhaustionを持つ強Stein空間であり、(2) 可縮であるとする。このとき $X$ は準射影的である。さらに無限遠で単連結なら $X\simeq\mathbb C^2$ である。

証明の見取り図

Gromoll–Meyerにより $X$ は $\mathbb R^4$ と微分同相なので、Ramanujamの判定から準射影性を示せばよい。有限Monge–Ampère質量の重みで定めた $R$ に対し、Bézout評価から切断の消滅次数を次数 $q$ に比例して抑え、関数体の有限生成と各 $R_q$ の有限次元性を得る。

次に $R_q$ の切断から、解析集合を除いて双正則となる有理写像を作り、その像が射影曲面内でZariski開であることを示す。次数を上げて大域的なKodaira写像を構成し、局所既約性の問題を正規化へ持ち上げて埋め込みを得る。最後にSimhaの判定を用いて像の準射影性を確立する。

原論文との対応

  • Abstractページ: arXiv:2604.11220v1
  • Introduction: Section 1, pp. 2–7
  • Introduction中の主要結果: Theorems 1, 2
  • 証明概略: Section 1.1, pp. 4–6
  • 論文構成: Section 1.3, p. 7
  • 確認したarXivバージョン: v1
  • 確認したライセンス: arXiv non-exclusive distribution license
  • source_scope: Abstract and Introduction