[论文解读] Lifting harmonic morphisms I: metrized complexes and Berkovich skeleta

Omid Amini, Matthew Baker+2 more|arXiv (Cornell University)|Mar 20, 2013

Polynomial and algebraic computation参考文献 22被引用 15

一句话总结

本文通过Berkovich骨架，建立了非阿基米德域上代数曲线的有限态射与度量图的调和态射之间的深刻联系。证明了此类态射可提升为度量曲线复形的有限调和态射，提供了Liu–Lorenzini、Coleman和Liu的同步稳定化约化定理的解析证明，并通过构造反例解决了Ribet提出的问题：即诱导的Néron分量群映射未必是满射。

ABSTRACT

Abstract Let K be an algebraically closed, complete non-Archimedean field. The purpose of this paper is to carefully study the extent to which finite morphisms of algebraic K -curves are controlled by certain combinatorial objects, called skeleta . A skeleton is a metric graph embedded in the Berkovich analytification of X . A skeleton has the natural structure of a metrized complex of curves. We prove that a finite morphism of K -curves gives rise to a finite harmonic morphism of a suitable choice of skeleta. We use this to give analytic proofs of stronger 'skeletonized' versions of some foundational results of Liu-Lorenzini, Coleman, and Liu on simultaneous semistable reduction of curves. We then consider the inverse problem of lifting finite harmonic morphisms of metrized complexes to morphisms of curves over K . We prove that every tamely ramified finite harmonic morphism of Λ -metrized complexes of k -curves lifts to a finite morphism of K -curves. If in addition the ramification points are marked, we obtain a complete classification of all such lifts along with their automorphisms. This generalizes and provides new analytic proofs of earlier results of Saïdi and Wewers. As an application, we discuss the relationship between harmonic morphisms of metric graphs and induced maps between component groups of Néron models, providing a negative answer to a question of Ribet motivated by number theory. This article is the first in a series of two. The second article contains several applications of our lifting results to questions about lifting morphisms of tropical curves.

研究动机与目标

• 理解非阿基米德域上代数曲线的有限态射如何由骨架等组合结构所控制。
• 为Liu–Lorenzini、Coleman和Liu的同步稳定化约化定理提供解析证明，并将其推广至非离散赋值的域。
• 解决从度量曲线复形的有限调和态射反向提升为曲线态射的逆问题。
• 阐明度量图的调和态射与Néron模型分量群上诱导映射之间的关系，回答Ribet提出的问题。

提出的方法

• 通过三角剖分与稳定模型，将曲线的Berkovich解析化骨架构造为带穿孔的度量图。
• 将度量曲线复形定义为在顶点处附着曲线的度量图，以捕捉稳定模型的几何结构。
• 利用开环与球面上映射的解析性质，证明曲线的有限态射诱导出合适骨架上的有限调和态射。
• 建立一个提升定理：每个在Λ-度量曲线复形上、且为适度分支的有限调和态射，均可提升为K-曲线上的有限态射。
• 利用正规化雅可比函子与单值配对，将调和态射与Néron模型分量群的映射联系起来。
• 应用下降技巧与解析方法，避免依赖经典稳定化约化理论。

实验结果

研究问题

• RQ1 K-曲线的有限态射在多大程度上可由其在骨架上诱导的态射完全控制？在何种条件下成立？
• RQ2 在何种程度上，度量曲线复形的调和态射可被提升为K-曲线上的态射？
• RQ3 在半稳定曲线的有限态射下，Néron模型分量群上的诱导映射是否总是满射？
• RQ4 解析方法能否替代经典代数几何方法来证明同步稳定化约化定理？
• RQ5 度量图的调和态射与Néron分量群上诱导映射之间的精确关系是什么？

主要发现

• 每个在Λ-度量曲线复形上、且为适度分支的有限调和态射，均可提升为K-曲线上的有限态射。
• 当标记分支点时，可获得所有提升及其自同构的完整分类。
• Néron模型分量群上的诱导映射，通过正规化雅可比函子，同构于骨架上调和态射所诱导的映射。
• 构造了一个反例，表明Néron分量群上的诱导映射未必是满射，从而以否定方式回答了Ribet的问题。
• 分量群上的映射φ∗为单射，当且仅当正规化雅可比上的映射φ∗为满射，这是由于单值配对下的对偶性。
• 本文为任意非阿基米德域上的同步稳定化约化定理提供了解析证明，不仅限于离散赋值的域。