[论文解读] The area is a good enough metric

Matteo Costantini, Martin Möller+1 more|arXiv (Cornell University)|Oct 30, 2019

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文将阿贝尔微分的层的光滑紧化推广至 $k$-微分，证明了在有限面积 $k$-微分的射影化层上，平坦面积度量在典范线丛上诱导出一个其曲率形式代表第一陈类的赫米特度量。该结果验证了在 $k$-微分的陈-韦伊理论中使用面积度量的合理性，从而支持了在动力系统与体积计算中的应用。

ABSTRACT

In the first part we extend the construction of the smooth normal-crossing divisors compactification of projectivized strata of abelian differentials given by Bainbridge, Chen, Gendron, Grushevsky and Moeller to the case of k-differentials. Since the generalized construction is closely related to the original one, we mainly survey their results and justify the details that need to be adapted in the more general context. In the second part we show that the flat area provides a canonical hermitian metric on the tautological bundle over the projectivized strata of finite area k-differentials whose curvature form represents the first Chern class. This result is useful in order to apply Chern-Weyl theory tools. It has already been used as an assumption in the work of Sauvaget for abelian differentials and is also used in a paper of Chen, Möller and Sauvaget for quadratic differentials.

研究动机与目标

• 将阿贝尔微分层的光滑横截紧化推广至 $k$-微分的情形。
• 证明在有限面积 $k$-微分的射影化层上，典范丛上的平坦面积度量可提供一个其曲率代表第一陈类的赫米特度量。
• 通过验证面积度量在陈-韦伊理论中的充分性，支持其在动力系统与体积计算中的应用。
• 通过使用典范覆盖和扰动周期坐标，形式化从阿贝尔微分到 $k$-微分的构造扩展。
• 为在 $k$-微分背景下计算如西格尔-维奇常数和马苏尔-维奇体积等不变量提供基础。

提出的方法

• 采用贝因奇等对阿贝尔微分的构造方法，通过典范覆盖和扭 $k$-微分将构造推广至 $k$-微分。
• 引入棱匹配与层级旋转环面，以处理紧化过程中出现的退化情形。
• 构建一个具有横截边界除子的多尺度 $k$-微分的紧化模空间的拓扑空间。
• 使用扰动周期坐标作为局部坐标系，以在紧化上定义复结构。
• 应用极坐标下的估计与积分界，证明边界分量上的积分在极限下趋于零，从而确保度量曲率的良态性。
• 通过参数个数的归纳法，证明涉及 $x_{(-i),j}$ 变量的积分在截断 $\delta \to 0$ 时趋于零，从而确认度量的正则性。

实验结果

研究问题

• RQ1 阿贝尔微分层的光滑紧化能否推广至具有相同结构性质的 $k$-微分？
• RQ2 在 $k$-微分的射影化层上，典范丛上的平坦面积度量是否诱导出一个其曲率代表第一陈类的赫米特度量？
• RQ3 尽管面积度量在边界上不光滑延拓，它是否仍足以支持在 $k$-微分背景下陈-韦伊理论的应用？
• RQ4 扰动周期坐标与构成块积分在退化极限下行为如何？它们是否保持有限？
• RQ5 在截断 $\delta \to 0$ 时，边界分量上涉及 $x_{(-i),j}$ 变量的积分行为如何？

主要发现

• 多尺度 $k$-微分的模空间 $\Xi^{k}\overline{\mathcal{M}}_{g,n}(\mu)$ 是一个具有横截边界除子的复轨道丛。
• 射影化紧化 $\mathbb{P}\Xi^{k}\overline{\mathcal{M}}_{g,n}(\mu)$ 是 $k$-微分射影化层的紧化。
• 平坦面积度量在典范线丛 $\mathcal{O}(-1)$ 上诱导出一个赫米特度量，其曲率形式代表第一陈类。
• 涉及 $x_{(-i),j}$ 变量的边界分量上的积分在极限 $\delta \to 0$ 时趋于零，从而确认了度量的正则性。
• 扰动周期坐标提供了一个行为良好的局部坐标系，使得紧化上的复结构得以构造。
• 该结果验证了在 $k$-微分的陈-韦伊理论中使用面积度量的合理性，支持了体积计算与动力不变量的研究。