[论文解读] Zariski decomposition of curves on algebraic varieties

Brian Lehmann, Jian Xiao|arXiv (Cornell University)|Jul 15, 2015

Geometry and complex manifolds参考文献 43被引用 3

一句话总结

本文为代数簇上的曲线类引入了Zariski分解，从而实现了对曲线体积函数的精细化理论。利用该分解，作者建立了基本的正性结果，包括Morse型不等式，并揭示了曲线体积与移动性之间的意外联系，进而推动了双有理几何中的应用，并给出了移动曲线锥的精细结构定理。

ABSTRACT

We introduce a Zariski decomposition for curve classes and use it to develop the theory of the volume function for curves defined by the second named author. For toric varieties and for hyperk\ahler manifolds the Zariski decomposition admits an interesting geometric interpretation. With the decomposition, we prove some fundamental positivity results for curve classes, such as a Morse-type inequality. We compare the volume of a curve class with its mobility, yielding some surprising results about asymptotic point counts. Finally, we give a number of applications to birational geometry, including a refined structure theorem for the movable cone of curves.

研究动机与目标

• 为代数簇上的曲线类发展Zariski分解理论。
• 利用该分解将曲线的体积函数扩展至原始定义之外。
• 为曲线类建立新的正性结果，例如Morse型不等式。
• 在特殊情形（如 торические 变量和超凯勒流形）中探索分解的几何解释。
• 将曲线类的体积与其移动性联系起来，从而在渐近点计数中获得新见解。

提出的方法

• 引入类似于经典除子Zariski分解的曲线类Zariski分解。
• 利用该分解通过线性系统极限过程来定义并分析曲线的体积函数。
• 将该分解应用于 торические 变量和超凯勒流形，以揭示各分量的几何解释。
• 通过分析分解中拟正部分与负部分的正性性质，推导出Morse型不等式。
• 通过渐近点计数比较曲线类的体积与移动性。
• 利用该分解在双有理几何中细化移动曲线锥的结构。

实验结果

研究问题

• RQ1 在曲线情形下缺乏除子类比的情况下，如何为曲线类有意义地定义Zariski分解？
• RQ2 在 торические 变量或超凯勒流形等特殊代数簇中，曲线的Zariski分解提供了哪些几何洞见？
• RQ3 曲线类的体积在渐近点计数中如何与移动性相关联？
• RQ4 从该分解中可推导出哪些新的正性性质，例如Morse型不等式？
• RQ5 该分解如何在双有理几何中细化移动曲线锥的结构？

主要发现

• 曲线类的Zariski分解提供了将曲线类唯一分解为拟正部分与负部分的canonical分解，从而使得体积函数具备强正性性质。
• 为曲线类建立了Morse型不等式，推广了经典情形下关于曲线正性的不等式。
• 研究发现曲线类的体积与移动性相关，导致点计数中出现意外的渐近行为。
• 在 торические 变量和超凯勒流形中，Zariski分解具有与底层几何紧密相关的自然几何解释。
• 该分解导出了移动曲线锥的精细结构定理，深化了对双有理几何的理解。
• 研究结果表明，在渐近情形下，体积与移动性并非可直接比较，挑战了先前的预期。