[论文解读] Thom polynomials of Morin singularities and the Green-Griffiths-Lang conjecture

Gergely Bérczi|arXiv (Cornell University)|Nov 21, 2010

Algebraic Geometry and Number Theory参考文献 4被引用 8

一句话总结

该论文通过利用莫林奇点的代数模型构造一个紧化不变 jet 微分丛，建立了莫林奇点的 Thom 多项式与格林-格里菲斯-朗（GGL）猜想之间的联系。它通过等变局部化方法构造了一个迭代留数公式，证明了在莫林奇点的 Thom 多项式满足一个正性猜想的前提下，GGL 猜想对度数 > 2n¹⁰ 的一般射影超曲面成立。

ABSTRACT

The Green-Griffiths-Lang conjecture says that for every complex projective algebraic variety $X$ of general type there exists a proper algebraic subvariety of $X$ containing all nonconstant entire holomorphic curves $f:\mathbb{C} o X$. We construct a compactification of the invariant jet differentials bundle over complex manifolds motivated by an algebraic model of Morin singularities and we develop an iterated residue formula using equivariant localisation for tautological integrals over it. We show that the polynomial GGL conjecture for a generic projective hypersurface of degree $\mathrm{deg}(X)>2n^{10}$ follows from a positivity conjecture for Thom polynomials of Morin singularities.

研究动机与目标

• 建立格林-格里菲斯-朗猜想与莫林奇点 Thom 多项式之间的联系。
• 基于莫林奇点的代数模型，发展一种不变 jet 微分丛的新紧化方法。
• 利用等变局部化方法，为紧化丛上的典型积分构造一个迭代留数公式。
• 将一般超曲面上 GGL 猜想的证明归约为莫林奇点 Thom 多项式的正性猜想。
• 为 GGL 猜想提供一个多项式度数界，优于以往的指数界。

提出的方法

• 论文基于莫林奇点的代数模型，构造了一个紧化不变 jet 微分丛。
• 应用等变局部化技术，推导出紧化丛上典型积分的迭代留数公式。
• 该方法涉及以陈类和单项式系数表示莫林奇点 Thom 多项式结构的分析。
• 作者利用留数公式将 Thom 多项式系数与紧化丛上的交点数联系起来。
• 他们将 jet 微分的全局截面存在性归约为这些系数的正性条件。
• 该方法用更高效的代数模型替代了 Demailly-Semple 层次结构，从而改进了度数界。

实验结果

研究问题

• RQ1 莫林奇点 Thom 多项式的正性猜想是否蕴含对足够高次的一般超曲面的 GGL 猜想？
• RQ2 通过等变局部化构造的迭代留数公式能否有效应用于紧化不变 jet 微分丛上的典型积分？
• RQ3 莫林奇点的代数模型在建立全纯曲线的代数退化性方面，是否比 Demailly-Semple 层次结构更高效？
• RQ4 当 GGL 猜想被归约为 Thom 多项式的正性时，其最优度数界是多少？
• RQ5 莫林奇点 Thom 多项式的系数在单项式代换下如何变化？这对收敛性与正性有何含义？

主要发现

• 在莫林奇点 Thom 多项式正性猜想成立的前提下，GGL 猜想对度数 > 2n¹⁰ 的一般射影超曲面成立。
• 作者证明了当 zj = j² 时，级数 ∑s=0∞ Tp_i+s(el−em) z^i+s(el−em) 收敛，支持了正性猜想。
• 对于 k ≤ 8，所有 Thom 多项式 Tp_k⁰ 中的系数均为正，为猜想 1.2(1) 提供了强有力证据。
• 当 k=3 时，Tp_i+el−em / Tp_i 的比值上界为 9，支持了正性猜想的第二部分。
• 留数公式表明，Tp_k⁰ 中 c_i1…c_ik 的系数等于某些移位 Thom 多项式之和，将组合学与几何联系起来。
• 本文证明了当 zj = j² 时级数的收敛性蕴含正性猜想，表明猜想 1.2(2) 中的不等式成立。