[论文解读] Resultant and conductor of geometrically semi-stable self maps of the projective line over a function field

Lucien Szpiro, Michael Tepper+1 more|arXiv (Cornell University)|Oct 25, 2010

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文研究了函数域上射影直线自同态的最小结果除子与导子，建立了椭圆曲面最小判别式由其导子有界这一经典定理的动力系统类比。研究发现，直接类比不成立（通过反例证明），但若改用“临界不良约化”作为导子的支集，则修正版本依然有效，从而提供了一个精炼的动力系统类比版本的算术定理。

ABSTRACT

ABSTRACT. We study the minimal resultant divisor of self-maps of the projective line over a function field, and its relation to the conductor. The guiding focus is the exploration of a dynamical analog to Theorem 1, which bounds the degree of the minimal discriminant of an elliptic surface in terms of the conductor. We study minimality and semi-stability, considering what conditions imply minimality (Theorem 22) and whether semi-stable models and presentations are minimal (Theorem 24). We prove the singular reduction of a semi-stable presentation coincides with the bad reduction (Theorem 11). Given an elliptic curve over a function field with semi-stable bad reduction, we show the associated Lattes map has unstable bad reduction (Theorem 16). Degree 2 maps in normal form with semi-stable bad reduction are used to construct a counterexample (Theorem 3) to a natural dynamical analog to Theorem 1. Finally, we consider the notion of “critical bad reduction, ” and show that a dynamical analog to Theorem 1 may still be possible using the locus of critical bad reduction to define the conductor (Theorem 26). 1. BACKGROUND Throughout, let k be an algebraically closed field of characteristic 0.

研究动机与目标

• 开发椭圆曲面中导子与最小判别式关系的经典定理的动力系统类比。
• 研究函数域上射影直线自同态的极小性与半稳定条件。
• 确定半稳定模型与表示是否极小，以及奇异约化是否与不良约化一致。
• 研究具有半稳定不良约化的椭圆曲线所关联的Lattes映射的行为。
• 探讨通过临界不良约化定义的修正导子是否能恢复经典定理的可行动力系统类比。

提出的方法

• 分析函数域上射影直线自同态的最小结果除子，以理解约化类型。
• 应用半稳定约化与标准型理论，对不良约化行为进行分类。
• 利用处于标准型的2次映射构造一个反例，以证明导子-判别式定理的朴素动力系统类比不成立。
• 引入“临界不良约化”的概念，作为动力系统中定义导子的精炼支集。
• 运用特征零下的函数域上的代数几何，分析约化与极小性。
• 依赖算术动力系统与椭圆曲面的结果，比较动力系统与算术不变量。

实验结果

研究问题

• RQ1 对于函数域上射影直线的自同态，是否存在导子-判别式有界关系的动力系统类比？
• RQ2 在何种条件下，半稳定表示是极小的？
• RQ3 半稳定表示的奇异约化是否与不良约化一致？
• RQ4 对于具有半稳定不良约化的椭圆曲线，其关联的Lattes映射的约化类型如何？
• RQ5 通过临界不良约化定义的导子是否能恢复经典定理的可行动力系统类比？

主要发现

• 自然的动力系统类比版本的导子-判别式定理不成立，已通过使用处于标准型的2次映射且具有半稳定不良约化的反例证明。
• 半稳定表示的奇异约化与不良约化一致，确认了该设定下的自洽性（定理11）。
• 对于函数域上具有半稳定不良约化的椭圆曲线，其关联的Lattes映射表现出不稳定不良约化（定理16）。
• 半稳定模型与表示不一定是极小的，表明半稳定与极小性之间存在区别（定理24）。
• 通过临界不良约化支集定义的修正导子支持一个可行的动力系统类比版本的经典定理（定理26）。
• 最小结果除子被证明与不良约化的几何密切相关，尤其是在半稳定表示的背景下。