[论文解读] Arithmetic geometry of toric varieties. Metrics, measures and heights

José Ignacio Burgos Gil, Patrice Philippon+1 more|arXiv (Cornell University)|May 27, 2011

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文建立了一种公式，将关于toric度量线丛的toric代数簇的高度表示为在多面体上对一个adèlic凹函数族的积分。通过利用Arakelov几何与凸分析，作者将toric代数簇上的度量、测度与高度联系到诸如Legendre-Fenchel对偶性、实Monge-Ampère测度与多面复形等对象，从而以分段仿射函数与线性形式的形式，提供了高度的闭式计算方法。

ABSTRACT

We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fenchel duality. We also present a closed formula for the integral over a polytope of a function of one variable composed with a linear form. This allows us to compute the height of toric varieties with respect to some interesting metrics arising from polytopes. We also compute the height of toric projective curves with respect to the Fubini-Study metric, and of some toric bundles.

研究动机与目标

• 将关于toric度量线丛的toric代数簇高度表示为在多面体上的积分。
• 建立toric代数簇的Arakelov几何与凸分析之间的桥梁。
• 开发用于计算高度的工具，利用凹函数族及其对偶的adèlic族。
• 在几何上有意义的特定情形（如Fubini-Study度量与toric曲线）下，提供高度的显式公式。
• 将高度理论推广至离散赋值环上的toric概形，并研究T- Cartier除子的正性性质。

提出的方法

• 在adèlic域上的toric代数簇上使用度量线丛，区分阿基米德与非阿基米德情形。
• 应用Berkovich解析空间来建模非阿基米德度量，并定义相应的测度。
• 运用Legendre-Fenchel对偶性，将几何数据转化为凸分析对象，如凹函数及其上微分。
• 引入关于多面体上线性形式复合的单变量函数的积分的闭式公式。
• 使用分段仿射凹函数及其V-表示来计算混合Monge-Ampère测度。
• 通过实Monge-Ampère测度，将toric代数簇的高度与多面体上凹函数族的积分联系起来。

实验结果

研究问题

• RQ1 如何用凸几何与adèlic函数来表达toric代数簇的高度？
• RQ2 toric代数簇上的度量线丛与多面体上凹函数之间的确切关系是什么？
• RQ3 Legendre-Fenchel对偶性与Monge-Ampère测度在toric Arakelov几何背景下如何自然出现？
• RQ4 能否为特定度量（如Fubini-Study度量）下的toric代数簇高度推导出显式公式？
• RQ5 在toric概形与T-Cartier除子上，确保高度不变量良定义的正性与可积性条件是什么？

主要发现

• 关于toric度量线丛的toric代数簇高度，由多面体上adèlic凹函数族的积分给出。
• 推导出关于多面体上线性形式复合单变量函数的积分的闭式公式，从而实现高度的显式计算。
• 利用积分公式，显式计算了关于Fubini-Study度量的toric射影曲线的高度。
• toric丛与极化toric代数簇的高度通过多面复形上凹函数的混合Monge-Ampère测度表达。
• 作者通过Legendre-Fenchel对偶性，建立了toric代数簇上半正度量与凹函数之间的对应关系。
• 证明了多面体上凹函数的实Monge-Ampère测度，与半正度量线丛相关的测度一致。