arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2406.19785math.NTmath.AGmath.DG
收藏

典范高度、周期与赫尔维茨 zeta 函数

Canonical heights, periods and the Hurwitz zeta function

Rolf Andreasson, Robert J. Berman

AI总结:

本文为相对丰富的对数典范线丛引入典范高度,证明其与 K-稳定性及 Kähler-Einstein 度量高度的关系,并用周期极限公式显式计算算术对数曲面等情形,应用于志村曲线整模型和 Arakelov 度量界。

摘要:

设 (X,D) 是数域整数环上的射影对数偶,使得对数典范线丛 K_(X,D) 或其对偶 -K_(X,D) 相对丰富。我们引入 K_(X,D)(以及 -K_(X,D))的典范高度,该高度有限当且仅当 K_(X,D)(以及 -K_(X,D))的复化是 K-半稳定的。当复化是 K-多重稳定时,典范高度就是 K_(X,D)(以及 -K_(X,D))相对于其复化上任意体积归一化 Kähler-Einstein 度量的高度。证明典范高度具有若干有用的变分性质。此外,它可以表示为 X 的复化的 N 重积上周期在 N 趋于无穷时的极限。特别地,利用该极限公式,对整数环上的算术对数曲面 (P_1,D)(其中 D 至多有三个分支)的典范高度,用赫尔维茨 zeta 函数及其在 s=-1 处的导数显式计算。将该显式公式与四元数志村曲线的已有高度公式结合,可得到提取某些志村曲线的典范整模型信息(例如野分歧)的方法。进一步得到扭曲费马曲线的典范高度的显式公式,从而推出 Arakelov 度量的显式 Parshin 型界。

英文摘要:

Let (X,D) be a projective log pair over the ring of integers of a number field such that the log canonical line bundle K_(X,D) or its dual -K_(X,D) is relatively ample. We introduce a canonical height of K_(X,D) (and -K(X,D)) which is finite precisely when the complexifications of K_(X,D) (and -K(X,D)) are K-semistable. When the complexifications are K-polystable, the canonical height is the height of K_(X,D) (and -K(X,D)) wrt any volume-normalized Kähler-Einstein metric on the complexifications of K_(X,D) (and -K(X,D)) The canonical height is shown to have a number of useful variational properties. Moreover, it may be expressed as a limit of periods on the N-fold products of the complexifications of X, as N tends to infinity. In particular, using this limit formula, the canonical height for the arithmetic log surfaces (P_1,D) over the integers, where D has at most three components, is computed explicitly in terms of the Hurwitz zeta function and its derivative at s=-1. Combining this explicit formula with previous height formulas for quaternionic Shimura curves yields a procedure for extracting information about the canonical integral models of some Shimura curves, such as wild ramification. Furthermore, explicit formulas for the canonical height of twisted Fermat curves are obtained, implying explicit Parshin type bounds for the Arakelov metric.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑