[论文解读] Solution to a non-Archimedean Monge-Ampère equation

Sébastien Boucksom, C. Favre+1 more|arXiv (Cornell University)|Dec 30, 2011

Geometry and complex manifolds参考文献 33被引用 6

一句话总结

本文证明了在残数特征为零的完备离散赋值域上的光滑射影Berkovich空间上，关于一个正则线丛，存在唯一（至多相差一个缩放因子）连续的半正度量，其非阿基米德Monge-Ampère测度等于给定的全质量正Radon测度。该解通过受复Monge-Ampère理论启发的变分法构造，依赖于容量估计与奇异半正度量的紧致性，其技术假设为测度被限制在SNC模型的对偶复形上。

ABSTRACT

Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, and assume that X is defined over a function field admitting K as a completion. Let further m be a positive measure on X and L be an ample line bundle such that the mass of m is equal to the degree of L. Then we show the existence a continuous semipositive metric whose associated measure is equal to m in the sense of Zhang and Chambert-Loir. This we do under a technical assumption on the support of m, which is, for instance, fulfilled if the support is a finite set of divisorial points. Our method draws on analogues of the variational approach developed to solve complex Monge-Ampère equations on compact Kähler manifolds by Berman, Guedj, Zeriahi and the first named author, and of Kołodziej's continuity estimates. It relies in a crucial way on the compactness properties of singular semipositive metrics, as defined and studied in a companion article.

研究动机与目标

• 在非阿基米德域上的射影簇上，求解复Monge-Ampère方程的非阿基米德类比。
• 建立在正则线丛上存在连续半正度量，其关联的Monge-Ampère测度匹配给定的全质量正Radon测度。
• 将复几何中的变分法与容量方法推广至非阿基米德设置，尤其在Berkovich空间与SNC模型的背景下。
• 证明解在乘法常数意义下唯一，将复几何中的结果推广至非阿基米德情形。
• 为研究算术与非阿基米德几何中的退化Monge-Ampère方程提供基础框架。

提出的方法

• 将Berman、Guedj、Zeriahi与Boucksom在复Monge-Ampère理论中使用的变分方法，适配至非阿基米德设置。
• 利用容量与准连续性估计，控制次解的增长并建立等连续性。
• 通过比较原理与能量估计，控制有界函数上的Monge-Ampère算子。
• 依赖于在附录论文中建立的奇异半正度量的紧致性，提取收敛子序列。
• 应用Kołodziej型$C^0$-估计，控制次解的振幅，确保极限度量的连续性。
• 利用SNC（简单法向相交）模型表示对偶复形，测度被假设支持于其上。

实验结果

研究问题

• RQ1 在何种条件下，非阿基米德Monge-Ampère方程对给定的全质量正测度存在连续解？
• RQ2 复几何中的变分法能否被适配以解决非阿基米德设置下的退化Monge-Ampère方程？
• RQ3 测度的支撑在解的存在性与正则性中起何种作用？
• RQ4 当簇在函数域上代数化时，如何影响方程的可解性？
• RQ5 解是否在缩放意义下唯一，其与非阿基米德背景下Monge-Ampère测度的关系如何？

主要发现

• 在残数特征为零的完备离散赋值域上的光滑射影Berkovich空间上，正则线丛上存在连续半正度量。
• 所构造度量的Monge-Ampère测度等于给定的全质量正Radon测度。
• 解在乘法常数意义下唯一，此结果由Yuan与Zhang建立。
• 存在性结果在技术假设下成立，即测度被限制在SNC模型的对偶复形上。
• 该方法关键依赖于簇的代数化性质，以确保构造中所需的紧致性与有限性。
• 解是连续的，但不一定是光滑的，因此当测度被限制在有限个除子点上时，更高正则性问题仍开放。