[论文解读] Multiplier Submodule Sheaves and a problem of Lempert

Zhuo Liu, Xiao, Bo+2 more|arXiv (Cornell University)|Nov 26, 2021

Geometry and complex manifolds参考文献 21被引用 5

一句话总结

该论文建立了全纯向量丛上具有奇异Nakano半正度量的乘子子模层的强开性与稳定性性质，推广了乘子理想层的结果。通过利用Deng-Ning-Wang-Zhou（2021）提出的最优L²估计条件，该研究正面回答了Lempert提出的问题：C²度量若具有非负Nakano曲率，则必为Nakano半正，从而解决了该问题。

ABSTRACT

In this article, we establish an $L^2$ extension theorem for Nakano semi-positive singular Hermitian metrics on holomorphic vector bundles, and the strong openness and stability properties of the multiplier submodule sheaves associated to Nakano semi-positive singular Hermitian metrics on holomorphic vector bundles. We solve affirmatively a question of Lempert on the preservation of Nakano semi-positivity under limit of an increasing metrics based on Deng-Ning-Wang-Zhou's characterization of Nakano positivity.

研究动机与目标

• 将乘子理想层的强开性与稳定性性质推广至全洁向量丛上的乘子子模层设置。
• 解决Lempert关于C²度量具有非负Nakano曲率与Nakano半正性之间等价性的开放问题。
• 利用最优L²估计条件，将乘子子模层理论扩展至奇异Nakano半正度量。
• 在奇异Nakano半正度量背景下，建立强开性性质的有效性结果。
• 证明奇异Nakano半正性在解析奇点下保持不变，即使度量在某个真解析子集上奇异。

提出的方法

• 利用Deng-Ning-Wang-Zhou（2021）提出的最优L²估计条件，刻画光滑Hermitian度量下的Nakano正性。
• 应用Stein域上的L²扩张理论与∂̄-方程理论，推导乘子子模层的有效性结果。
• 通过使用Stein坐标图与解析集的移除，采用局部化论证，将∂̄-解扩展至奇点处。
• 通过全纯截面Fα的外积和构造平凡全纯向量丛上的奇异Hermitian度量h，确保h为奇异Griffiths半负。
• 证明当s ≥ min{n,r}时，h/(det h)^s为奇异Nakano半正，借助关于行列式线丛与曲率正性的已知结果。
• 利用Nakano半正性在度量递减极限与局部测度收敛下的稳定性，将强开性性质推广至奇异度量。

实验结果

研究问题

• RQ1 对于全纯向量丛上奇异Nakano半正度量相关的乘子子模层，强开性性质是否成立？
• RQ2 若C² Hermitian度量的Nakano曲率非负，是否必然为标准意义下的Nakano半正？
• RQ3 强开性性质能否实现有效性，即能否显式界定度量的衰减速率以确保其属于乘子子模？
• RQ4 当度量在某个真解析子集上奇异，但整体为Griffiths半正时，奇异Nakano半正性是否仍保持？
• RQ5 能否通过具有受控增长的全纯截面族构造全纯向量丛上的奇异Nakano半正度量？

主要发现

• 对于奇异Nakano半正度量相关的乘子子模层，强开性性质成立：⋃_{β>0} ℰ(h e^{-βφ}) = ℰ(h)，其中φ = -log det h。
• 建立了有效性结果：对任意F ∈ ℰ(h)且L²范数有限，若θ(β) > ∫_D |F|_h² / C_{F,c^F_o(h)^+}(D)，则F ∈ ℰ(h e^{-βφ})_o，其中θ(β)通过涉及g_β(t)的积分定义。
• Lempert提出的问题得到肯定解答：若C²度量的Nakano曲率非负，则其必为Nakano半正，依据Deng-Ning-Wang-Zhou的最优L²估计刻画。
• 若度量在整体上为奇异Griffiths半正且在奇异子集外为Nakano半正，则奇异Nakano半正性在真解析子集上的奇点下仍保持。
• 对秩为r的平凡全纯向量丛E，度量h = ∑_α F_α ⊗ F̄_α诱导出奇异Griffiths半负度量，且当s ≥ min{n,r}时，h/(det h)^s为奇异Nakano半正。
• 通过全纯截面{F_α}的构造，满足∑|F_α|²在紧致收敛且在真解析子集外满秩，可自然生成一类奇异Nakano半正度量。