[论文解读] Uniformity for integral points on surfaces, positivity of log cotangent sheaves and hyperbolicity

Kenneth Ascher, Kristin DeVleming+1 more|arXiv (Cornell University)|Jul 16, 2018

Algebraic Geometry and Number Theory参考文献 34被引用 1

一句话总结

本文证明了具有正对数余切丛的准射影概族的子簇属于对数一般型，且证明了具有正且全局生成的对数余切丛层的光滑准射影概族具有有限多个整点——扩展了Moriwaki的结果。此外，在Lang–Vojta猜想下，进一步表明对数一般型且具有正对数余切丛的曲线与曲面的稳定整点数量是统一有界的。

ABSTRACT

We show that all subvarieties of a quasi-projective variety with positive log cotangent bundle are of log general type. In addition, we show that smooth quasi-projective varieties with positive and globally generated log cotangent have finitely many integral points, generalizing a theorem of Moriwaki. Finally, we prove that the Lang-Vojta conjecture implies the number of stably integral points on curves of log general type, and surfaces of log general type with positive log cotangent sheaf are uniformly bounded.

研究动机与目标

• 建立具有正对数余切丛的准射影概族的所有子簇均为对数一般型。
• 通过证明具有正且全局生成的对数余切丛层的光滑准射影概族具有有限多个整点，推广Moriwaki关于整点有限性的结果。
• 在Lang–Vojta猜想下，研究对数一般型且具有正对数余切丛的曲线与曲面的稳定整点数量是否统一有界。

提出的方法

• 以对数余切丛的正性作为核心几何条件，以约束子簇的双有理类型。
• 应用对数几何与代数几何中正性理论的技术，尤其聚焦于对数典范与对数一般型子簇。
• 利用准射影概族上整点的理论，借助对数典范模型的结构。
• 将Lang–Vojta猜想作为假设，以推导对稳定整点数量的统一有界性。
• 依赖于对数余切丛的全局生成性与正性，以控制整点的几何结构。

实验结果

研究问题

• RQ1 具有正对数余切丛的准射影概族的所有子簇是否均为对数一般型？
• RQ2 具有正且全局生成的对数余切丛层的光滑准射影概族是否具有有限多个整点？
• RQ3 在Lang–Vojta猜想下，具有正对数余切丛的对数一般型曲线与曲面的稳定整点数量是否统一有界？
• RQ4 何种几何条件可确保高维对数一般型概族中整点的有限性与统一有界性？
• RQ5 对数余切丛的正性如何与子簇的双有理几何相关联？

主要发现

• 具有正对数余切丛的准射影概族的所有子簇均为对数一般型。
• 具有正且全局生成的对数余切丛层的光滑准射影概族具有有限多个整点，扩展了Moriwaki定理。
• 在Lang–Vojta猜想下，具有正对数余切丛的对数一般型曲线与曲面的稳定整点数量是统一有界的。
• 对数余切丛的正性在指定几何设定下，是整点有限性与统一有界性的充分条件。
• 结果在整点的背景下，建立了对数余切丛正性与算术双曲性之间的强关联。