[论文解读] Formes différentielles réelles et courants sur les espaces de Berkovich

Antoine Chambert-Loir, Antoine Ducros|arXiv (Cornell University)|Apr 27, 2012

Geometry and complex manifolds参考文献 21被引用 65

一句话总结

本文发展了伯克维奇意义下解析空间上的实微分形式与电流的理论，通过实解析框架统一了非阿基米德几何与阿基米德几何。它建立了斯托克斯公式与格林公式，定义了对热带化形式的积分，并证明了在非阿基米德设定下与测度论构造的相容性，特别是在阿莱克谢耶夫理论与向量丛上的度量背景下。

ABSTRACT

We define a theory of real $(p,q)$-forms and currents on Berkovich spaces which is parallel to the theory of differential forms on complex spaces. It is based on Lagerberg's theory of superforms in tropical geometry and on the consideration of tropicalization maps and skeleta on domains of non archimedean analytic spaces in the sense of Berkovich. We construct canonical calibrations of skeleta of analytic spaces, which give rise to integrals of $(n,n)$-forms, and a variant of Stokes formula. The theory of currents furnishes analogues of the Poincaré-Lelong formula, as well as the formulas of Bochner-Martinelli and Levine. We define a notion of plurisubharmonic functions and develop an analogue of Bedford-Taylor's theory of products of closed positive currents. Smooth metrized line bundles have a Chern form; the integrals of products of these Chern forms is compatible with numerical intersection theory. The case of psh metrics gives rise to Chern currents. In the case of formal metrics, we compute these product currents in terms of intersection numbers of the special fiber. In a final chapter, we detail how the uniformization of abelian varieties allows to study the canonical metrics on their line bundles. The theory allows to reinterpret tropical intersection theory and is presented in the general context of so-called "tropical spaces" which we introduce in a first part of the book.

研究动机与目标

• 在伯克维奇解析空间上发展实解析微分形式与电流的理论，将阿莱克谢耶夫理论推广至非阿基米德设定。
• 通过基于实微分形式的统一框架，统一处理阿基米德与非阿基米德位置的几何。
• 建立对热带化与骨架的积分理论，使其与交点理论及测度论构造相容。
• 利用实解析方法，在非阿基米德背景下定义并研究正性、曲率与拟全纯函数。
• 证明新积分理论与伯克维奇空间上现有测度（特别是离散赋值环情形）之间的相容性。

提出的方法

• 通过超形式与局部单位分解，基于热带化方法，在伯克维奇解析空间上引入类型为 (p,q) 的实微分形式。
• 利用校准与热带结构，在 p 维子空间上构造 (p,n)-形式的积分。
• 将电流定义为测试形式空间上的连续线性泛函，其积分与边界运算满足斯托克斯公式。
• 为热带化形式建立一个典范校准，确保其与底层解析空间几何的一致性。
• 将理论应用于带度量的向量丛，定义曲率电流并研究其正性与约化下的行为。
• 利用泽里斯基-莱曼空间与形式度量理论，将模型的几何与一般纤维上的解析结构联系起来。

实验结果

研究问题

• RQ1 如何在伯克维奇解析空间上发展实解析微分形式与电流的理论，以统一非阿基米德几何与阿基米德几何？
• RQ2 在此框架下，解析空间的热带化与微分形式积分之间的确切关系为何？
• RQ3 电流与积分理论能否在非阿基米德设定下推广至带度量的向量丛？其与曲率和正性有何关系？
• RQ4 所提出的伯克维奇空间上的积分理论与现有测度论构造（如文献[22]中所述）有何关联？
• RQ5 典范校准在确保对热带化形式积分的一致性方面起何作用？

主要发现

• 本文为伯克维奇空间上的实微分形式建立了斯托克斯与格林公式的版本，为积分理论提供了基础工具。
• 证明了在紧致解析空间上对 (n,n)-形式的积分与[22]中的测度论构造相容，尤其在离散赋值环情形成立。
• 对于伯克维奇空间中一点 x，其指标 [|χ(x)†| : |k†|] 等于该点对应分量在模型特殊纤维中的重数，建立了赋值群与几何重数之间的联系。
• 该理论为热带化形式定义了典范校准，确保对热带循环的积分是良定义的，并与解析结构相容。
• 在适当条件下，证明了度量线丛的曲率电流为正电流，将拟全纯函数理论扩展至非阿基米德设定。
• 本文证明：在紧致解析空间上，度量线丛的阿莱克谢耶夫理论度数与交点理论度数一致，验证了新框架与经典算术几何的相容性。