[论文解读] Totally invariant divisors of endomorphisms of projective spaces

Hoering, Andreas|arXiv (Cornell University)|Jan 24, 2016

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

一句话总结

该论文利用对数微分形式与陈类计算，建立了在射影空间自同态下完全不变的素除子的非正规点集的次数下界。证明了在 P³ 中，任意完全不变的素除子必为超平面，从而在该情形下证实了线性猜想，并表明由于奇点约束，次数为 n 的除子无法完全不变。

ABSTRACT

Totally invariant divisors of endomorphisms of the projective space are expected to be always unions of linear spaces. Using logarithmic differentials we establish a lower bound for the degree of the non-normal locus of a totally invariant divisor. As a consequence we prove the linearity of totally invariant divisors for $P^3$.

研究动机与目标

• 解决关于自同态 f: Pⁿ → Pⁿ 的完全不变子簇恒为线性子空间的猜想，尤其关注除子的情形。
• 理解射影空间中完全不变素除子的几何与上同调约束。
• 证明在 P³ 中，任意完全不变的素除子必为超平面，从而在三维情形下证实线性猜想。
• 建立此类除子非正规点集次数的精确下界，表明高次除子无法完全不变，除非其奇点以受控方式分布。

提出的方法

• 使用对数余切丛 ΩPⁿ(log D) 分析完全不变素除子 D 的奇点。
• 应用对数分歧公式，将 Pⁿ 的 canonical 除子与除子的拉回及分歧除子 R 关联起来。
• 利用余数正合列与正规化映射 ν: ˜D → D，计算 ΩPⁿ(log D) ⊗ OPⁿ(1) 的一阶与二阶陈类。
• 借助 Bott 定理与 ΩPⁿ(log D) ⊗ OPⁿ(1) 的整体截面，构造从 O⊕ⁿ⁺¹Pⁿ 到对数丛的态射。
• 应用关于丛态射陈类的关键引理，在一般曲面 S = f⁻¹(P²) 上比较拉回丛与原丛的 c₂。
• 利用 f 是极化的（f*H ≡ mH）事实，并通过迭代 f 确保非正规点集 Z 的不变性，从而通过次数论证比较陈类。

实验结果

研究问题

• RQ1 在 Pⁿ 中，是否存在度数 d ≥ 2 的完全不变素除子是非线性的，尤其在 P³ 中？
• RQ2 对数微分形式与陈类对这类除子的非正规点集施加了何种约束？
• RQ3 在 Pⁿ 中，是否存在度数 d = n 的曲面是某个自同态的完全不变除子？
• RQ4 完全不变除子的非正规点集的次数是否被 n 与 d 的函数下界所控制？
• RQ5 在 P³ 中，完全不变子簇的线性猜想是否可被证实？

主要发现

• 在 Pⁿ 中，若完全不变素除子 D 的度数 d ≥ 2，则其非正规点集 Z 的次数满足 deg(Z) > (d − 1)² − n(n − 1)/2。
• 在 P³ 中，任意完全不变的素除子必为超平面，因为该不等式迫使 deg(Z) > 1，但当 d = 4 时，平面曲线的 deg(Z) 上界为 1，除非 D 为光滑或线性，否则导致矛盾。
• 当 d = n 时，不等式 deg(Z) > ½(n − 2)(n − 1) 与已知的不可约平面曲线 deg(Z) ≤ ½(n − 1)(n − 2) 上界矛盾，从而证明不存在度数为 n 的不可约除子是完全不变的。
• 该结果优于先前工作，表明度数为 n 的奇异正规曲面无法从 Pⁿ 延拓出自同态。
• 次数界中的严格不等式至关重要：若取等号，将导致陈类项渐近行为的矛盾，从而证明该界是精确的。
• 该方法在 P³ 中证实了线性猜想，并为通过对数几何与层论不变量研究完全不变子簇提供了通用框架。