[论文解读] $L^2$ estimates and vanishing theorems for holomorphic vector bundles equipped with singular Hermitian metrics

Takahiro Inayama|arXiv (Cornell University)|Feb 28, 2018

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

一句话总结

该论文为具有奇异 Hermitian 度量的全纯向量丛建立了 $L^2$ 估计与上同调消失定理，聚焦于射影流形上的严格 Griffiths 正度量。通过规避奇异情形下 Nakano 正性的普遍定义的缺失，证明了 $\bar{\partial}$-闭形式的 $L^2$ 估计，并在 Lelong 数条件下推导出 $H^q(X, K_X \otimes E \otimes \det E)$ 的消失结果，将经典 Griffiths 消失定理由光滑情形推广至奇异情形。

ABSTRACT

We investigate singular Hermitian metrics on vector bundles, especially strictly Griffiths positive ones. $L^2$ esitimates and vanishing theorems usually require an assumption that vector bundles are Nakano positive. However there is no general definition of the Nakano positivity in singular settings. In this paper, we show various $L^2$ estimates and vanishing theromes by assuming that the vector bundle is strictly Griffiths positive and the base manifold is projective.

研究动机与目标

• 解决向量丛上奇异 Hermitian 度量下 Nakano 正性缺乏普遍定义的问题。
• 在严格 Griffiths 正的奇异 Hermitian 度量下，建立 $L^2$ 估计与上同调消失定理。
• 将经典 $L^2$ 估计与消失定理（如 Griffiths 消失定理）推广至射影流形上奇异度量情形。
• 通过上同调障碍提供某些奇异 Hermitian 度量不存在性的判别准则。

提出的方法

• 为向量丛上的奇异 Hermitian 度量引入严格 Griffiths $\delta_\omega$-正性的概念，通过对偶丛的曲率电流定义。
• 对收敛于奇异度量 $h$ 的逼近光滑度量 $h_\nu$ 应用 Hörmander 的 $L^2$ 估计，收敛于相对紧子集上点态收敛。
• 利用若 $h$ 为严格 Griffiths $\delta$-正，则 $h \otimes \det h$ 的行为类似 Nakano 正度量，从而可对 $E \otimes \det E$-值形式建立 $L^2$ 估计。
• 采用弱极限论证，从逼近光滑度量过渡至奇异度量，确保 $L^2$ 有界性得以保持。
• 应用 Skoda 的可积性定理，证明当 $\nu(-\log \det h, x) < 1$ 时，有 $1/\det^2 h^\star \in L^1_{\text{loc}}$，从而保证权函数的可积性。
• 利用 Serre 对偶性与 $\mathbb{P}^n$ 上已知的上同调计算导出矛盾，证明特定度量的不存在性。

实验结果

研究问题

• RQ1 当 Nakano 正性在奇异 Hermitian 度量下缺乏普遍定义时，能否为具有奇异 Hermitian 度量的全纯向量丛建立 $L^2$ 估计与消失定理？
• RQ2 奇异 Hermitian 度量的严格 Griffiths 正性是否蕴含 $\bar{\partial}$-闭形式取值于 $E \otimes \det E$ 的 $L^2$ 估计？
• RQ3 当 $-\log \det h$ 的 Lelong 数满足何种条件时，$H^q(X, K_X \otimes E \otimes \det E)$ 消失？
• RQ4 能否利用上同调障碍证明具有特定曲率与可积性性质的 Griffiths 半正奇异 Hermitian 度量的不存在性？

主要发现

• 定理 1.1 建立了 $E$-值 $(n,n)$-形式的 $L^2$ 估计：$\int_X |g|^2_{h,\omega} dV_\omega \leq \frac{1}{\delta n} \int_X |f|^2_{h,\omega} dV_\omega$，其中 $\bar{\partial}g = f$。
• 推论 1.2 表明若对所有 $x \in X$ 有 $\nu(-\log \det h, x) < 2$，则 $H^n(X, K_X \otimes E) = 0$。
• 定理 1.3 提供了 $E \otimes \det E$-值 $(n,q)$-形式的 $L^2$ 估计：$\int_X |g|^2_{h \otimes \det h, \omega} dV_\omega \leq \frac{1}{\delta q r} \int_X |f|^2_{h \otimes \det h, \omega} dV_\omega$。
• 推论 1.4 证明若对所有 $x \in X$ 有 $\nu(-\log \det h, x) < 1$，则对所有 $q > 0$ 有 $H^q(X, K_X \otimes E \otimes \det E) = 0$。
• 例 5.2 表明，$\mathbb{P}^n$ 上的商丛 $Q$ 不存在满足 $\nu(-\log \det h, x) < 1$ 处处成立的 Griffiths 半正奇异 Hermitian 度量，原因在于其上同调非零。
• 本文证明了即使缺乏奇异 Nakano 正性的正式定义，$h \otimes \det h$ 在 $L^2$ 估计中仍表现出类似 Nakano 正度量的行为。