複素微分幾何学 · 2026-10-19

Spectral Schwarz Lemmas and Parallel Obstructions to Metric Comparison

スペクトル型Schwarz補題とHermitian計量比較の平行な障害

Xu Pang, Yao Sha, Ren Xin-An

xu-pang-1xyszxu yao-sha-1kp9u3a ren-xin-an-1xy6m7b curvature vector-bundles-sheaves positivity Positivity 正値性 Vector bundles and sheaves ベクトル束・層 Curvature geometry 曲率幾何

arXiv Abstract

In this paper, we characterize when comparison of contracted Chern curvatures implies comparison of Hermitian bundle metrics with the same constant on compact Hermitian bases. If the curvature contraction of the reference metric is semipositive, this implication holds for every Hermitian metric if and only if the kernel of this contraction contains no nonzero subbundle parallel with respect to the Chern connection of the reference metric. The equality terms of a $C^2$ spectral truncation identify the parallel summand on which comparison can fail, without regularity assumptions on the curvature kernel. We also establish a sharp operator estimate, with a constant independent of the bundle ranks, for holomorphic bundle maps on complete K\"ahler bases under curvature bounds and bounded base-map energy density. Smooth Schatten moments give global control without a separate boundedness assumption on the bundle map. Finally, we obtain rank bounds and conditions for vanishing on compact Hermitian bases from directional curvature traces over fiber subspaces. For higher-dimensional subspaces, these conditions allow mixed signs on individual fiber lines.

日本語要約

著者らは、基準計量の曲率縮約が半正値のとき、計量比較に失敗する過剰固有空間が平行な正則直和因子をなすことを示す。この因子は曲率の核に含まれ、相対計量もその上で平行となる。さらに、完備Kähler多様体上の正則束写像には鋭い作用素評価を、コンパクトHermitian基底上では多次元ファイバー部分空間の曲率traceから消滅・階数評価を得る。

In this paper, we characterize when comparison of contracted Chern curvatures implies comparison of Hermitian bundle metrics with the same constant on compact Hermitian bases. If the curvature contraction of the reference metric is semipositive, this implication holds for every Hermitian metric if and only if the kernel of this contraction contains no nonzero subbundle parallel with respect to the Chern connection of the reference metric. The equality terms of a $C^2$ spectral truncation identify the parallel summand on which comparison can fail, without regularity assumptions on the curvature kernel. We also establish a sharp operator estimate, with a constant independent of the bundle ranks, for holomorphic bundle maps on complete K\"ahler bases under curvature bounds and bounded base-map energy density. Smooth Schatten moments give global control without a separate boundedness assumption on the bundle map. Finally, we obtain rank bounds and conditions for vanishing on compact Hermitian bases from directional curvature traces over fiber subspaces. For higher-dimensional subspaces, these conditions allow mixed signs on individual fiber lines.

Hermitian束のChern曲率の縮約の比較から同じ定数で計量を比較できる条件を、曲率核内の平行部分束によって特徴づける。半正値の場合の障害を正確に記述し、完備Kähler基底上で束の階数に依存しない作用素評価と、曲率traceによる階数制約を与える。

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

原論文を開く

書誌情報

要約

Schwarz補題は曲率の比較から正則写像の伸びを制御する原理である。束の二つの計量を比較する場合、相対自己準同型の最大固有値を抑えることと、固有値の総和を抑えることは異なる。本論文はこのスペクトルの違いを利用する。

基準計量のChern曲率縮約が正値なら既知の計量比較が使えるが、半正値では核に沿う計量の拡大が障害になり得る。著者らは、比較に失敗する方向が必ず平行な正則直和因子をなすことを示し、核の階数が一定であるという仮定なしに障害を特定する。

さらに完備Kähler基底上で、正則束写像の作用素ノルムを階数に依存しない定数で評価する。多次元のファイバー部分空間に沿う曲率traceによる階数制約も得られ、各直線方向の曲率に符号が混在する状況まで扱う。

背景と問題設定

正則束$E\to X$のHermitian計量$G,H$と、基底のHermitian計量$b$に対し、

$$ S_b(G)=\operatorname{tr}_{\omega_b}R_G,\qquad S_b(H)=\operatorname{tr}_{\omega_b}R_H $$

を考える。各曲率のファイバー添字はそれぞれ自身の計量で下げ、これらを$E$上のHermitian形式として比較する。$A=G^{-1}H$の最大固有値が$\kappa$以下であることは$H\leq\kappa G$と同値である。

主結果

半正値比較の障害（Theorem 1.1）

コンパクト連結Hermitian基底上で

$$ S_b(G)\geq0,\qquad S_b(H)\leq\kappa S_b(G),\qquad\kappa>0 $$

とする。$A$の固有値が$\kappa$を超える固有空間の和$E_+$は滑らかな正則部分束となり、$E=E_+\oplus E_+^{\perp_G}$は$G$のChern接続で保存される。さらに$S_b(G)$は$E_+$上で零で、$A|_{E_+}$は平行である。従って過剰固有値は定数となる。

特に曲率核に非零の$G$-平行部分束がなければ$H\leq\kappa G$である。固定した$G,\kappa$について、曲率条件を満たす全ての$H$に計量比較が成り立つことと、この平行部分束が存在しないことは同値となる。至る所退化していても、核が平行でなければ比較が成立する場合がある。

階数によらない作用素評価（Theorem 1.2）

$(M,g)$をRicci曲率が下に有界な完備Kähler多様体、$(N,h)$をHermitian多様体とする。正則写像$f:M\to N$を覆う正則束写像$\varphi:(E_1,G)\to(E_2,H)$について

$$ E_f=\sup_M\operatorname{tr}_{\omega_g}f^*\omega_h<\infty $$

と仮定する。$K_1,K_2>0$に対し

$$ \operatorname{tr}_{\omega_g}R_{E_1}\geq K_1\varphi^*H,\qquad R_{E_2}(w,\overline w,\eta,\overline\eta)\leq K_2|w|_h^2|\eta|_H^2 $$

が全ての対象方向で成り立つなら、

$$ \varphi^*H\leq\frac{K_2E_f}{K_1}G $$

を得る。定数に束の階数が入らず、$\varphi$自身の有界性を別途仮定しない。trace評価から最大固有値を抑える際の階数因子を除く点が強みである。

ファイバーtraceによる階数制約（Theorem 1.3）

$M$をコンパクトHermitian基底とし、$1\leq l\leq\min(r_1,r_2)$を固定する。全ての点とファイバー内の$l$次元部分空間$\sigma\subset E_1$、$\sigma'\subset E_2$について、同じ非零基底方向$v$が存在し、

$$ R_{E_1}(v;\sigma)\geq0,\qquad R_{E_2}(df(v);\sigma')\leq0 $$

を満たし、少なくとも一方が狭義であると仮定する。ここで$R(v;\sigma)$は$\sigma$のunitary基底に関するファイバーtraceである。このとき

$$ \bigwedge^l\varphi=0,\qquad \operatorname{rank}_{\mathbb C}\varphi_x<l $$

が全ての点で成立する。$l>1$では写像自体の消滅ではなく階数制約である。また二つの曲率条件を異なる方向で満たすだけでは仮定を満たさない。

証明の見取り図

半正値比較には$F=\operatorname{tr}(A-\kappa I)_+^3$を使う。三乗の正部分は閾値で$C^2$であり、固有値交差があってもtraceは$C^2$となる。スペクトルBochner公式から$\Delta_bF\geq0$を得て、コンパクト性と等号条件によって過剰部分の平行性を導く。

完備基底では$U_p=\operatorname{tr}(A^p)$という滑らかなSchatten momentを使い、非線形Omori–Yau原理から$\sup U_p\leq q(K_2E_f/K_1)^p$を得る。$p$乗根を取り$p\to\infty$とすると$q^{1/p}\to1$となり階数因子が消える。最後の階数定理には、Niの対数的な局所スペクトル支持関数を用いる。

原論文との対応