[论文解读] Questions on self maps of algebraic varieties

Najmuddin Fakhruddin|ArXiv.org|Dec 16, 2002

Algebraic Geometry and Number Theory参考文献 10被引用 122

一句话总结

本文研究了代数簇的自同态，这些自同态将一个充分线丛保持在张量幂次下，重点探讨其算术与几何性质。研究证明，此类映射在射影簇上可延拓至射影空间，证明了周期点的Zariski稠密性，并将动力系统中的猜想与诸如阿贝尔簇上挠子群统一有界性等深层算术问题联系起来。

ABSTRACT

In this note we discuss some arithmetic and geometric questions concerning self maps of projective algebraic varieties.

研究动机与目标

• 理解射影簇上自同态结构与分类，这些自同态将一个充分线丛保持在张量幂次下。
• 研究此类自同态的算术影响，特别是与典范高度函数和有理点的关系。
• 探索射影空间上动力系统与算术几何中深层猜想（如阿贝尔簇上挠子群的统一有界性）之间的联系。
• 确定射影空间是否在所有代数簇中唯一地由其自同态结构表征。
• 建立此类自同态下周期点的Zariski稠密性，这是关键的动力系统性质。

提出的方法

• 利用充分线丛及其拉回理论，从簇构造到射影空间的态射。
• 应用上同调条件（全局截面上拉回映射的满射性）以确保自同态可延拓至射影空间。
• 利用像簇由次数 ≤ d 的形式截取的条件，以保证延拓为一个态射。
• 通过定义方程数量的归纳法，确保延拓映射在所有地方良定义。
• 应用平展上同调与对偶性，证明此类自同态必为有限态射。
• 使用模型论与形变理论技术，包括通过离散赋值环提升周期点，以在正特征与混合特征下证明Zariski稠密性。

实验结果

研究问题

• RQ1 每个保持充分线丛在张量幂次下的射影簇自同态是否都能延拓为射影空间的自同态？
• RQ2 此类自同态在射影空间上的动力行为在多大程度上反映或蕴含阿贝尔簇的算术性质？
• RQ3 此类自同态下周期点的集合是否在簇中Zariski稠密？
• RQ4 Morton-Silverman在射影空间上关于度数 d 的动力系统统一有界性猜想，是否能推出数域上阿贝尔簇的挠子群统一有界性？
• RQ5 射影空间是否是唯一具有给定线丛性质自同态的簇？

主要发现

• 只要嵌入满足某些上同调与集合论条件，任何满足 φ*(L) ≅ L^⊗d（d > 1）的射影簇自同态均可延拓为射影空间上的态射。
• 当簇通过一个非常充分线丛嵌入，且像由次数 ≤ d 的形式截取时，此类延拓的存在性得到保证。
• 此类自同态的周期点集合在簇中Zariski稠密，该结果通过在离散赋值环上提升论证，并结合正特征下的Hrushovski定理建立。
• 特殊纤维中周期点的有限性意味着周期点可被提升至一般纤维，从而可对超越次数进行归纳。
• 若Lang的一个猜想成立，则Morton-Silverman在P^N上关于度数 d 的动力系统统一有界性猜想，可推出数域上阿贝尔簇的挠子群统一有界性。
• 具有给定线丛性质的自同态必为有限态射，该结论通过反证法结合平展上同调与上同调群的有限维性证明。