A characterization of complex projective space via the Calabi curvature operator

書誌情報

• arXiv: arXiv:2608.23778v1
• 著者: Hasan M. El-Hasan, Xiaolong Li, Jan Nienhaus, Peter Petersen, James Stanfield, Matthias Wink
• 初回投稿日: 2026-08-24
• 最終更新日: 2026-08-24
• 主分類・副分類: math.DG（主分類）; 副分類なし
• ライセンス: arXiv.org perpetual, non-exclusive license

要約

曲率作用素の固有値にどの程度の正値性を課せば、多様体の等長型まで決まるのか。本論文は、閉Kähler–Einstein多様体に対してCalabi曲率作用素を使うTachibana型の剛性定理を証明する。

条件はCalabi作用素そのものの非負性ではなく、Ricci定数によってずらした作用素の「小さい固有値の部分和」の非負性である。この条件から、複素射影空間のFubini–Study計量か平坦計量に限られる。

そのために、曲率テンソルのBochner公式に現れる零階項をCalabi作用素で書き直す。コホモロジーの消滅だけでなく等長型を回収する一方、任意の代数的Kähler–Einstein曲率テンソルに対する符号問題は残される。

背景と問題設定

$S^{2,0}\subset T^{1,0}\otimes T^{1,0}$上の自己共役作用素$\mathcal C$がCalabi曲率作用素である。Kähler曲率の対称性により

$$ \langle\mathcal C(Z_\alpha\otimes Z_\beta),\overline Z_\gamma\otimes\overline Z_\delta\rangle =R_{\alpha\bar\gamma\beta\bar\delta} $$

から定義される。Fubini–Study計量では恒等作用素の定数倍となる。

固有値$\sigma_1\leq\cdots\leq\sigma_m$の自己共役作用素が$k$-非負とは

$$ \sigma_1+\cdots+\sigma_{\lfloor k\rfloor} +(k-\lfloor k\rfloor)\sigma_{\lfloor k\rfloor+1}\geq0 $$

であることをいう。整数でない$k$にも定義される部分和条件である。

主結果

等長型の剛性（Theorem A）

$(M,g)$を複素次元$n\geq2$の閉Kähler–Einstein多様体、$\operatorname{Ric}(g)=\lambda g$、$\lambda\geq0$とする。

$$ \mathcal C-\frac{\lambda}{n+1}\operatorname{id} \quad\text{が}\quad\frac{2(n+1)}5\text{-非負} $$

なら、$(M,g)$はFubini–Study計量を持つ複素射影空間、または平坦である。Einstein定数に応じた計量の尺度を含めて理解する。

$\mathcal C$の平均固有値は$2\lambda/(n+1)$であり、上のずらしはtraceを半分だけ除く操作に当たる。一般の代数的作用素について、$\mathcal C$の全固有値が正でもこの条件を保証しない点に注意が必要である。

Bochner公式の曲率項（Theorem B）

Kähler–Einstein多様体で$\lambda\in\mathbb R$とし、$\mathcal C(S_A)=\sigma_AS_A$となる$S^{2,0}$のユニタリ固有基底を取る。このとき

$$ \operatorname{Ric}_L(R,R) =4\sum_A\sigma_A|S_AR|^2 +16\operatorname{tr}(\mathcal C^3)-16\lambda\operatorname{tr}(\mathcal C^2) $$

が成り立つ。$S_AR$は対称テンソルの曲率テンソルへの自然な作用である。曲率が調和的であるKähler–Einsteinの場合のBochner公式

$$ \Delta_{\mathbb C}|R_{\alpha\bar\beta\gamma\bar\delta}|^2 =|\nabla_\mu R_{\alpha\bar\beta\gamma\bar\delta}|^2 +|\nabla_{\bar\mu}R_{\alpha\bar\beta\gamma\bar\delta}|^2 +\frac18\operatorname{Ric}_L(R,R) $$

の零階項を、固有値と作用素のtraceから解析できるようにする。

未解決の代数的符号問題

IntroductionのQuestion Aは、$\mathcal C$自体の$k$-非負性が任意の代数的Kähler–Einstein曲率テンソルについて$\operatorname{Ric}_L(R,R)\geq0$を強制する最大の$k(n)$を問う。全固有値非負の場合の符号さえ、Problem Bとして残す。閉多様体の分類から得られる大域的制約と、任意の代数的テンソルの性質を混同しない。

証明の見取り図

新しい公式の項を$\mathcal C-\lambda/(n+1)\operatorname{id}$に関して組み直し、部分的非負性をBochner法に投入する。従来のCalabi作用素による原始コホモロジーの消滅とは異なり、曲率テンソルそのものを扱うことが等長型の剛性につながる。Introductionは作用素だけで零階項の符号を直接読む難しさも強調している。

原論文との対応

• Abstractページ: 公式arXivページ
• Introduction: PDF — Section 1, pp. 1–3（Section 2の前まで）
• Introduction中で言及された主要結果: Theorems A–B；Question AとProblem Bは未解決問題
• 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
• 確認したarXivバージョン: 2608.23778v1
• 確認したライセンス: arXiv.org perpetual, non-exclusive license
• source_scope: Abstract and Introduction