[论文解读] On the structure of nonarchimedean analytic curves

Matthew Baker, Sam Payne+1 more|arXiv (Cornell University)|Apr 1, 2014

advanced mathematical theories参考文献 22被引用 8

一句话总结

本文通过稳定顶点集及其相关骨架——嵌入解析化空间 $X^{ m an} \setminus X(K)$ 的有限度量图——在非阿基米德解析曲线 $X^{ m an} \setminus X(K)$ 上建立了规范度量。它证明了一个广为人知的定理，将稳定顶点集与稳定模型联系起来，并通过证明亚纯函数的对数值在骨架上是分段仿射且调和的（且每一点的总外向斜率为零），从而推导出图伊勒的非阿基米德 Poincaré-Lelong 公式。

ABSTRACT

Let K be an algebraically closed, complete nonarchimedean field and let X be a smooth K-curve. In this paper we elaborate on several aspects of the structure of the Berkovich analytic space X^an. We define semistable vertex sets of X^an and their associated skeleta, which are essentially finite metric graphs embedded in X^an. We prove a folklore theorem which states that semistable vertex sets of X are in natural bijective correspondence with semistable models of X, thus showing that our notion of skeleton coincides with the standard definition of Berkovich. We use the skeletal theory to define a canonical metric on H(X^an) := X^an - X(K), and we give a proof of Thuillier's nonarchimedean Poincaré-Lelong formula in this language using results of Bosch and Lütkebohmert.

研究动机与目标

• 在伯克维奇解析化空间 $X^{\rm an}$ 中定义并刻画稳定顶点集及其相关骨架作为有限度量图。
• 在 $X$ 的稳定顶点集与 $X$ 的稳定模型之间建立双射对应，从而证明骨架的分析定义是合理的。
• 在 $\mathbf{H}(X^{\rm an}) = X^{\rm an} \setminus X(K)$ 上构造一个规范度量，使其局部上同构于 $\mathbf{R}$-树。
• 在骨架的语言中证明图伊勒的非阿基米德 Poincaré-Lelong 公式，表明 $\log|f|$ 在骨架上是分段仿射且调和的。

提出的方法

• 将稳定顶点集 $V$ 定义为一类有限个类型-2 点的集合，使得 $X^{\rm an} \setminus V$ 是若干个开球与有限个开环形区域的不相交并集。
• 将骨架 $\Sigma(X,V)$ 构造为 $V$ 与各环形区域骨架的并集，其边长等于内半径的赋值。
• 利用形变重收缩映射 $X^{\rm an} \to \Sigma(X,V)$ 证明 $\Sigma(X,V)$ 是连通的度量图。
• 利用稳定 $R$-模型 $\mathcal{X}$ 的约化映射 $\operatorname{red}: X^{\rm an} \to \mathcal{X}_k$，将解析点与形式纤维联系起来，并定义度量。
• 应用博施与吕特克博赫特关于形式模型的结果，证明 $\log|f|$ 在边上是仿射的，在顶点处是调和的，且总外向斜率为零。
• 利用 $\log|f|$ 在类型-4 点附近为常数、在边上为仿射的性质，证明其分段仿射性与调和性。

实验结果

研究问题

• RQ1 如何在不依赖模型论的前提下，内在地定义伯克维奇解析化空间 $X^{\rm an}$ 中的稳定顶点集？
• RQ2 稳定顶点集与 $X$ 的稳定模型之间的确切对应关系是什么？
• RQ3 能否通过骨架在 $\mathbf{H}(X^{\rm an}) = X^{\rm an} \setminus X(K)$ 上定义一个规范度量？
• RQ4 复域上亚纯函数的对数值是否满足非阿基米德 Poincaré-Lelong 公式？若是，调和性如何表达？

主要发现

• $X^{\rm an}$ 的稳定顶点集与 $X$ 的稳定模型之间存在自然的双射对应，证实了骨架的分析定义是合理的。
• 与稳定顶点集 $V$ 关联的骨架 $\Sigma(X,V)$ 是一个有限度量图，其顶点为 $V$，边对应于 $X^{\rm an} \setminus V$ 中开环形区域的骨架。
• 非零亚纯函数 $f$ 的对数值 $F = \log|f|$ 在 $\Sigma(X,V)$ 上是分段仿射的，且在每条边上具有恒定斜率。
• $F = \log|f|$ 在 $\Sigma(X,V)$ 上是调和的，即任意点的外向斜率之和为零，这正是非阿基米德 Poincaré-Lelong 公式所要求的。
• $\mathbf{H}(X^{\rm an})$ 上的规范度量在局部上同构于 $\mathbf{R}$-树，骨架提供了形变重收缩与自然的度量结构。
• $\log|f|$ 在类型-2 点处的调和性源于光滑射影曲线上的亚纯函数的除子的次数为零，结合形式纤维上 $\operatorname{ord}_\xi(\widetilde{f}_x)$ 的行为。