[论文解读] Pseudo-effective and numerically flat reflexive sheaves

Xiaojun Wu|arXiv (Cornell University)|Apr 30, 2020

Geometry and complex manifolds参考文献 29被引用 6

一句话总结

本文引入了紧致凯勒流形上强伪有效（s.psef）对称层的观念，并证明此类层若一阶陈类为零，则为数值平坦。关键技术突破在于通过代表塞格雷类的正当前置构造塞格雷当前，从而实现奇异度量的正则化，并通过Lelong数控制建立拟正性，将射影几何中的结果推广至一般凯勒几何。

ABSTRACT

In this note, we discuss the concept of pseudoeffective vector bundle and also introduce pseudoeffective torsion-free sheaves over compact Kähler manifolds. We show that a pseudoeffective reflexive sheaf over a compact Kähler manifold with vanishing first Chern class is in fact a numerically flat vector bundle. A proof is obtained through a natural construction of positive currents representing the Segre classes of pseudoeffective vector bundles.

研究动机与目标

• 将向量丛在射影几何中一阶陈类为零的分类结果从射影情形推广至紧致凯勒流形。
• 定义并研究强伪有效无扭层，作为伪有效向量丛的自然推广。
• 建立强伪有效反射层在 c₁ = 0 时为数值平坦的结论，推广射影几何中的结果。
• 发展一种上同调框架，利用塞格雷当前控制无射影性时的奇点与Lelong数。

提出的方法

• 通过 P(E) 上 O(1) 的曲率当前的楔积的直接像构造塞格雷当前，使用具有解析奇点的度量。
• 利用度量奇点集的余维数条件，确保塞格雷当前构造的良定义性。
• 应用Demailly的正则化定理，通过控制塞格雷当前的Lelong数，对向量丛上的奇异度量进行光滑化。
• 利用 c₁(E) 中唯一的（半）正当前置为零当前的事实，证明权函数的Lelong数一致趋于零。
• 利用上同调类 π_* (c₁(O(1)) + επ*ω)^{r+k-1} 中塞格雷当前的正性，推断丛的拟正性。
• 应用Bogomolov不等式与陈类恒等式，证明 c₂(E) = 0，从而在半稳定假设下得出平坦性。

实验结果

研究问题

• RQ1 在紧致凯勒流形上，强伪有效向量丛若一阶陈类为零，是否必然具有拟正结构？
• RQ2 能否在使用解析奇点的前提下，将塞格雷当前构造从射影流形推广至紧致凯勒流形？
• RQ3 Lelong数在控制反射层上奇异度量正则性中起何种作用？
• RQ4 反射层的陈类在双有理变换下如何变化？这对数值平坦性有何影响？
• RQ5 在何种条件下，c₁ 的消失与强伪有效性可推出层的平坦性或半稳定性？

主要发现

• 在紧致凯勒流形上，若强伪有效反射层满足 c₁(E) = 0，则其为数值平坦，推广了射影几何中的结果。
• 作为上同调类中正当前置的塞格雷当前构造，可控制奇异度量的Lelong数，从而实现正则化。
• E 上奇异度量权函数的Lelong数一致趋于零，表明该度量可被正则化。
• 第二塞格雷类 π_* (c₁(O(1)))^{r+1} 为正，当 c₁(E) = 0 时，结合Bogomolov不等式可推出 c₂(E) = 0。
• 若 S^{[m]}F ⊗ L 为强 psef 且 c₁ = 0，则 F 为向量丛，且 F⟨−1/m L⟩ 为 Q-扭拟正。
• 层 F 局部自由，且存在子丛滤子，其射影平坦的梯度部分具有相等斜率，确认了广义平坦结构。