複素微分幾何学 · 2026-11-12

Local Rigidity of Bergman Logarithmic Flatness on Compact Hermitian Symmetric Spaces

コンパクトHermite対称空間上のBergman対数平坦性の局所剛性

Zhiqin Lu, Yuang Shi

zhiqin-lu-1wk2yex yuang-shi-10ka6z3 cr-geometry curvature Curvature geometry 曲率幾何 CR geometry CR幾何

arXiv Abstract

We prove the local rigidity of Bergman logarithmic flatness near the standard metrics associated with fixed invariant positive polarizations on compact Hermitian symmetric spaces. Every sufficiently small smooth deformation preserving Bergman logarithmic flatness is induced by a holomorphic automorphism and a constant rescaling. This establishes a Bergman analogue of the local rigidity results for Szegő logarithmic flatness obtained by Lu--Tian (Duke Math. J., 2004) and, more recently, Loi--Palmieri--Zuddas (2026).

日本語要約

対称空間上の標準的な正の線束計量を、Bergman核の境界対数項の消滅によって局所的に特徴づける。対象の計量を十分小さく変形してもその消滅が保たれるなら、変形は正則自己同型による引き戻しと定数倍から生じる。結果はコンパクト型の既約因子の積に加え、平坦トーラス因子を含む場合にも及ぶ。Szegő対数平坦性について知られた局所剛性に対応するBergman側の定理である。

We prove the local rigidity of Bergman logarithmic flatness near the standard metrics associated with fixed invariant positive polarizations on compact Hermitian symmetric spaces. Every sufficiently small smooth deformation preserving Bergman logarithmic flatness is induced by a holomorphic automorphism and a constant rescaling. This establishes a Bergman analogue of the local rigidity results for Szegő logarithmic flatness obtained by Lu--Tian (Duke Math. J., 2004) and, more recently, Loi--Palmieri--Zuddas (2026).

固定した正の偏極をもつコンパクトHermite対称空間で、Bergman対数平坦性を保つ小変形が自己同型と定数倍に限られることを示す。無限個の係数消滅を有限個の連続した係数条件へ置き換え、線形化に残る対称性以外の方向を非線形障害で排除する。

arXiv
2611.14507v1
初回投稿日
2026-11-10
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
differential-geometry 2026

原論文を開く

書誌情報

要約

正の線束の双対側に作る円板束では、Bergman核の境界展開に対数項が現れる。その対数項が無限位数で消えるという条件が、底空間の計量をどこまで決めるかが本論文の問題である。

固定した不変な正の偏極を備えるコンパクトHermite対称空間では、標準計量の十分小さい変形がBergman対数平坦性を保つなら、正則自己同型と定数倍による変形に限られる。しかも、対数平坦性に相当する無限個の条件を全て課す必要はなく、有限個の連続したBergman係数の消滅で足りる。

線形化だけで証明が終わるとは限らない。対称性から来ない無限小変形が残る型があり、それらが実際の変形へ積分できないことを非線形の障害で示す。積や平坦トーラス因子を許す拡張でも、変形ポテンシャル自体に因子ごとの分離を仮定しない。

背景と問題設定

正の線束 $(L,h)$ の曲率を $\omega=-i\partial\bar\partial\log h$ とする。標準束で捩ったBergman核の展開を

$$ B_k^{K_M}\sim\left(\frac{k}{2\pi}\right)^n\sum_{j\ge0}a_j^{K_M}k^{-j} $$

と書く。IntroductionのTheorem 1.1として引用される既知の結果では、円板束境界のBergman対数平坦性は $a_{n+2+j}^{K_M}=0$ が全ての $j\ge0$ で成り立つことと同値である。

基準計量 $h_0$ に対して $h_\varphi=h_0e^{-\varphi}$、$\omega_\varphi=\omega_0+i\partial\bar\partial\varphi$ と置く。既約コンパクト型では $L=\mathcal O_M(1)$ を豊富生成元とし、標準計量を基準とする。

主結果

既約空間の局所剛性（Theorem 1.3）

既約コンパクトHermite対称空間で、十分小さい滑らかな変形が適切な有限個の係数を消すなら

$$ h_\varphi=C F^\ast h_0,\qquad C>0,\quad F\in\operatorname{Aut}_0(M,L) $$

となる。正確には、任意の $0<\alpha<1$ に対し $J\ge n+2$、$s\ge2$、$\varepsilon>0$ が存在し、$\omega_\varphi>0$、$\Vert\varphi\Vert_{C^{s,\alpha}}<\varepsilon$ および

$$ a_{n+2}^{K_M}(h_\varphi)=\cdots=a_J^{K_M}(h_\varphi)=0 $$

を仮定すればよい。十分小さいという局所性と固定した偏極の条件を外した大域的分類ではない。

共通線形化核（Theorem 1.4）

根系のパラメータを $(r,a,b)$ とし、球面的表現の実部分を $V_{\mathbf s}^{\mathbb R}$ と書く。共通線形化核は、$a$ が奇数なら

$$ \mathbb R1\oplus V_{(1)}^{\mathbb R}, $$

偶数なら

$$ \mathbb R1\oplus V_{(1)}^{\mathbb R}\oplus\bigoplus_{q=2}^{r}V_{(1^q)}^{\mathbb R} $$

となる。初めの二項は定数倍と正則自己同型の方向である。偶数の場合の追加項が、線形化の核だけから剛性を結論できない理由となる。

係数ブロックの始点（Theorem 1.5）

既約の場合、任意に指定した $q\ge n+2$ から始まる有限ブロック $a_q^{K_M},\ldots,a_J^{K_M}$ の消滅でも同じ剛性が成り立つ。必要な $J,s,\varepsilon$ は始点 $q$ に依存してよい。

積とトーラス因子（Theorem 1.6）

$M=T\times M_1\times\cdots\times M_l$ とし、$T$ は平坦複素トーラス、各 $M_i$ は既約コンパクト型とする。正の偏極と基準計量を

$$ L=L_T\boxtimes L_1^{d_1}\boxtimes\cdots\boxtimes L_l^{d_l},\qquad h_0=h_T\boxtimes h_1^{d_1}\boxtimes\cdots\boxtimes h_l^{d_l} $$

と固定する。$h_T$ の曲率は平行移動不変である。この一般の場合も、任意の始点 $q\ge n+2$ に対する有限係数条件から同じ結論を得る。純粋なトーラス $M=T$ では一つの係数、すなわち $J=q$ で十分であり、結論は $h_\varphi=Ch_0$ に強まる。

証明の見取り図

まず多重度自由な表現分解でBergman係数の線形化を球面的成分ごとに計算し、その共通核を決定する。楕円性を用いて無限系と同じ核をもつ有限次数方程式を作り、対称性の方向を除いた後、陰関数定理で問題を有限次元の実解析的なグラフへ移す。

余分な核がない場合はここで剛性が得られる。残る場合には、最高ウェイトとToeplitz作用素のCartan積恒等式を使い、非自明な変形曲線に沿うBergman核のTaylor係数が特定の極をもつことを示す。一方、有限個の連続した係数の消滅はその極を排除する。実解析的曲線選択を介したこの矛盾が、無限小解の非線形障害となる。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1, pp. 1–7
  • Introduction中で言及された主要結果: Theorems 1.3–1.6（Theorem 1.1は既知の判定条件）
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2611.14507v1
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction