[论文解读] Canonical singular hermitian metrics on relative logcanonical bundles

Hajime Tsuji|arXiv (Cornell University)|Aug 9, 2010

Advanced Algebra and Geometry参考文献 23被引用 10

一句话总结

本文引入了相对对数 canonical 线丛上具有最小奇异性的超规范奇异 Hermitian 度量（即超规范奇异 Hermitian 度量）——其曲率非负——适用于对数对 KLT 对具有伪有效对数 canonical 除子的情形。通过归纳性地延拓截面与乘子理想层，作者建立了对数 plurigenera 在投影变形下的不变性，并证明了对数 canonical 系列的直接像的半正性，将经典情形下的结果推广至对数情形。

ABSTRACT

This supersedes 0704.0566. We prove the invariance of logarithmic plurigenera for a projective family of KLT pairs and the adjoint line bundle of KLT line bundles. The proof uses the canonical singular hermitian metrics on relative logcanonical bundles.

研究动机与目标

• 在具有伪有效对数 canonical 除子的 KLT 对的相对对数 canonical 线丛上定义一个具有最小奇异性的规范奇异 Hermitian 度量。
• 在相对对数 canonical 线丛上构造一个具有非负曲率和最小奇异性的超规范 AZD（解析 Zariski 分解）。
• 证明 KLT 对在投影变形下对数 plurigenera 的不变性。
• 将规范 AZD 理论从经典情形推广至对数 canonical 情形，包括伴随线丛。
• 通过构造的度量建立对数 plurigenera 系列直接像的半正性和局部自由性。

提出的方法

• 对具有伪有效 canonical 除子的光滑射影簇 $K_X$ 构造一个奇异 Hermitian 度量 $\hat{h}_{\text{can}}$，利用下半连续包络并实现对奇异纤维的延拓。
• 应用乘子理想层 $\mathcal{I}(h^m)$ 的理论，确保对所有 $m \geq 0$ 有 $H^0(X, \mathcal{O}_X(mK_X) \otimes \mathcal{I}(\hat{h}_{\text{can}}^m)) \simeq H^0(X, \mathcal{O}_X(mK_X))$，满足 AZD 条件。
• 通过 $m$ 和 $\ell$ 的归纳法，利用整体生成性与渐近邻接公式，将截面从纤维延拓至全空间。
• 通过 $L^2$-估计与延拓定理，构造 $mM + H + \ell K_X + \Delta_1 + \cdots + \Delta_\ell$ 上具有代数奇异性的度量 $h_{m,\ell}$，其曲率非负。
• 应用 Hölder 不等式并取 $\epsilon \to 0$ 的极限，证明 $\hat{h}_{\text{can},D}(A,h_A)|X_s = O(\hat{h}_{\text{can},D,s}((A,h_A)|X_s))$，确保在退化下的相容性。
• 通过将 $kD = \Delta_1 + \cdots + \Delta_{k-1}$ 分解为具有简化法线相交的约化除子，并应用乘子理想层的邻接理论，将构造推广至 KLT 对。

实验结果

研究问题

• RQ1 能否在具有伪有效对数 canonical 除子的 KLT 对的相对对数 canonical 线丛上构造一个具有最小奇异性和非负曲率的规范奇异 Hermitian 度量？
• RQ2 该超规范 AZD 在投影变形下的变化是否蕴含对数 plurigenera 的不变性？
• RQ3 如何将规范 AZD 理论从经典情形推广至对数 canonical 情形，包括伴随线丛？
• RQ4 在何种条件下，pluri 对数 canonical 系列的直接像为局部自由且携带 Griffiths 半正度量？
• RQ5 该构造能否推广至非紧复流形，如 $\mathbb{C}^n$ 中的有界域？

主要发现

• 对于具有伪有效 canonical 除子的光滑射影簇，$K_X$ 上的超规范 AZD $\hat{h}_{\text{can}}$ 唯一确定，曲率非负，且对所有 $m \geq 0$ 满足 $H^0(X, \mathcal{O}_X(mK_X) \otimes \mathcal{I}(\hat{h}_{\text{can}}^m)) \simeq H^0(X, \mathcal{O}_X(mK_X))$。
• 光滑射影簇在具有伪有效 canonical 除子的投影变形下，$\hat{h}_{\text{can}}$ 的变化给出了 plurigenera 不变性的新证明。
• 对于具有伪有效对数 canonical 除子的 KLT 对 $(X_s, D_s)$，$K_{X/S} + A + D$ 上的超规范 AZD $\hat{h}_{\text{can},D}$ 在每个纤维上诱导出一个具有最小奇异性和非负曲率的规范度量。
• 通过对相对对数 canonical 线丛上构造超规范 AZD，建立了对数 plurigenera 的不变性，推广了经典情形。
• 直接像层 $\mu_* \mathcal{O}_X(m(K_{X/S} + A + D))$ 局部自由，并携带一个 Griffiths 半正度量，其曲率当前沿在 Demailly 意义下非负。
• 该构造可推广至非紧复流形，如 $\mathbb{C}^n$ 中的有界域，暗示其在非紧 Kähler 流形上 canonical 度量研究中的应用前景。