[論文レビュー] On the boundary behavior of the curvature of L2-metrics

Kenichi Yoshikawa|arXiv (Cornell University)|Jul 16, 2010

Geometry and complex manifolds参考文献 9被引用数 7

ひとこと要約

本稿は、一パラメータ族のコンpakto Kähler多様体の退化において、Nakano半正定ベクトルバンドルに相対 canonical バンドルをテンソル積したものの直接像層上の $L^2$-計量の曲率の境界挙動を調査する。先行研究からの $L^2$-計量特異性の漸近展開を用い、曲率形式が中心ファイバー近辺で Poincaré 型の成長を示すことを確立し、$|s|^{-2} (\log|s|)^{-2}$ を含む明確な漸近推定値を得る。これにより、解析 torsion の複素ヘッシアンの漸近挙動を導出する。

ABSTRACT

For one-parameter degenerations of compact Kähler manifolds, we determine the asymptotic behavior of the first Chern form of the direct image of a Nakano semi-positive vector bundle twisted by the relative canonical bundle, when the direct image is equipped with the L2-metric.

研究の動機と目的

• 一パラメータ族のコンパクト Kähler 多様体の退化において、パラメータ $s \to 0$ のとき、直接像層 $R^q\pi_*\omega_{X/S}(\xi)$ 上の $L^2$-計量の曲率の漸近挙動を特定すること。
• 中心ファイバー近辺における $L^2$-計量およびその曲率の特異性を定量的に評価し、特に計量展開における対数項およびべき乗項との関係を明らかにすること。
• 曲率推定値を応用して、退化族における解析 torsion の複素ヘッシアンの漸近挙動を導出すること。
• 中心ファイバーにのみ canonical 特異点を持つという仮定の下で、曲率推定値を改善し、曲率成長におけるより強い減衰を示すこと。

提案手法

• 文献 [14] から得られる、$\det R^q\pi_*\omega_{X/S}(\xi)$ の正則切断の $L^2$-ノルムの漸近展開を用い、$\log|s|^2$、$\ell_q \log(-\log|s|^2)$、$a_q \log|s|^2$ の項を含む。
• 直接像層 $R^q\pi_*\omega_{X/S}(\xi)$ 上の $L^2$-計量の Nakano 半正定性を適用し、曲率形式 $\sqrt{-1}{\mathcal{R}}(s)$ が正半定値自己準同型であることを保証する。
• 計量展開の構造と曲率公式を用いて、$0 \leq \sqrt{-1}{\mathcal{R}}(s) \leq \frac{C}{|s|^2 (\log|s|)^2} \text{Id}$ を示すことで、曲率形式の Poincaré 型成長を確立する。
• Quillen の曲率公式を用い、解析 torsion と直接像層の第一チャーン形式の関係を記述する：$-dd^c \log \tau = \sum_q (-1)^q c_1(R^q\pi_*\omega_{X/S}(\xi), h_{L^2}) + [\pi_*\{\mathrm{Td}(TX/S, h_{X/S}) \mathrm{ch}(\omega_{X/S}(\xi))\}]^{(2)}$。
• 解析 torsion $\log \tau(X/S, \omega_{X/S}(\xi))$ の漸近展開を用い、計量展開の微分により複素ヘッシアン $\partial_{s\bar{s}} \log \tau$ を導出する。
• canonical 特異点を持つ場合、$L^2$-計量がクラス $\mathcal{B}(S)$ に属することを活用し、曲率推定値に $|s|^{2r}$ 項を含めることで、より強い減衰推定値を得る。

実験結果

リサーチクエスチョン

• RQ1 一パラメータ族のコンパクト Kähler 多様体の退化において、$s \to 0$ のとき、$R^q\pi_*\omega_{X/S}(\xi)$ 上の $L^2$-計量の曲率はどのように振る舞うか？
• RQ2 従来、$\log|s|^2$ および $\log(-\log|s|^2)$ の形で記述された $L^2$-計量の漸近的特異性を用いて、明確な曲率推定値を導出できるか？
• RQ3 特異ファイバー近辺における解析 torsion $\partial_{s\bar{s}} \log \tau(X/S, \omega_{X/S}(\xi))$ の複素ヘッシアンの漸近挙動は何か？
• RQ4 中心ファイバー $X_0$ に canonical 特異点が存在する場合、$L^2$-計量の曲率成長にどのような影響を与えるか？

主な発見

• 直接像層 $R^q\pi_*\omega_{X/S}(\xi)$ 上の $L^2$-計量の曲率形式 $\sqrt{-1}{\mathcal{R}}(s)\,ds \wedge d\bar{s}$ は、$0 \leq \sqrt{-1}{\mathcal{R}}(s) \leq \frac{C}{|s|^2 (\log|s|)^2} \text{Id}$ を満たし、$s=0$ 近辺で Poincaré 型の成長を示す。
• 第一チャーン形式 $c_1(R^q\pi_*\omega_{X/S}(\xi), h_{L^2})$ は、$s \to 0$ のとき、$\left\{ \frac{\ell_q}{|s|^2 (\log|s|)^2} + O\left( \frac{1}{|s|^2 (\log|s|)^3} \right) \right\} \sqrt{-1} \, ds \wedge d\bar{s}$ の漸近展開を持つ。
• 解析 torsion の複素ヘッシアンは、$\partial_{s\bar{s}} \log \tau(X/S, \omega_{X/S}(\xi)) = \frac{\sum_{q \geq 0} (-1)^q \ell_q}{|s|^2 (\log|s|)^2} + O\left( \frac{1}{|s|^2 (\log|s|)^3} \right)$ を満たし、Poincaré 計量の挙動と一致する。
• 中心ファイバー $X_0$ にのみ canonical 特異点があるという仮定の下で、曲率はより強い境界 $0 \leq \sqrt{-1}{\mathcal{R}}(s) \leq \frac{C |s|^{2r}}{|s|^2 (\log|s|)^2} \text{Id}$ を満たす（$r > 0$）。これは改善された正則性を反映する。
• $L^2$-計量はクラス $\mathcal{B}(S)$ に属し、計量の行列式は $|s|^{2r_i} (\log|s|)^{\ell_i} \varphi_i(s)$ を含む展開を持つ。これにより、微分を用いた明確な曲率推定値が可能になる。
• 曲率推定値は、チャーン形式の主要項が正確に $\frac{\ell_q}{|s|^2 (\log|s|)^2}$ であるため、追加の仮定なしには改善できない。