[论文解读] Remarks on Localizing Futaki-Morita Integrals At Isolated Degenerate Zeros

Luke Cherveny|arXiv (Cornell University)|Nov 15, 2016

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

一句话总结

本文通过利用格罗滕迪克留数和幂级数展开，推导出福塔基-莫里塔积分的闭式公式，将博特定理推广至具有孤立退化零点的全纯向量场。关键贡献是在 $ℝ\mathbb{C}P^n$ 上对极大退化零点给出一个单一、显式的不变量公式，消除了对不动点求和的需要，并在特殊情形下恢复了已知结果。

ABSTRACT

In this note we study the localization of Futaki-Morita integrals at isolated degenerate zeros by giving a streamlined exposition in the spirit of Bott and implement the localization procedure for a holomorphic vector field on $CP^n$ with a maximally degenerate zero, giving an essentially unique formula for the Futaki-Morita integral invariants without using a summation over multiple points. In a coming paper we will apply similar calculations to the Calabi-Futaki invariant of a Kähler blowup.

研究动机与目标

• 将博特定理推广至全纯向量场具有孤立退化零点的情形，此时标准的非退化假设不成立。
• 通过推导单一全局公式，消除福塔基-莫里塔积分计算中对多个不动点求和的需要。
• 为复几何中的局部化技术，特别是退化零点情形，提供一种简明、自包含的阐述。
• 为计算凯勒流形的爆破上福塔基不变量奠定基础，因为在这些情形中退化零点自然出现。
• 通过在 $ℝ\mathbb{C}P^n$ 上对极大退化向量场进行显式计算，展示公式的有效性。

提出的方法

• 对福塔基-莫里塔积分应用博特的传导论证，结合曲率与自同态项的幂级数展开。
• 利用博赫纳-马蒂内利核的格罗滕迪克留数表示，将积分表达为孤立退化零点处的留数。
• 通过计算 $ℝ\phi(DX) \det B$ 在原点的高阶偏导数，推导出一般公式（定理 1.3），其中 $B$ 编码局部零点结构。
• 从向量场的局部方程 $z_i^{\alpha_i+1} = \sum B_{ij} X_j$ 显式构造矩阵 $B$，并利用强希尔伯特零点定理确保其存在性。
• 通过将公式应用于 $ℝ\mathbb{C}P^n$ 上的极大退化全纯向量场，利用单项式的递归因式分解验证公式。
• 利用行列式恒等式与导数计算简化最终表达式，分离出在 $z=0$ 处非零的项。

实验结果

研究问题

• RQ1 是否可以在不求和多个不动点的情况下，将福塔基-莫里塔积分局部化于孤立退化零点？
• RQ2 当零点为极大退化时（如在 $ℝ\mathbb{C}P^n$ 上），局部化公式的精确形式是什么？
• RQ3 格罗滕迪克留数形式化在全holomorphic向量场的退化零点流形背景下如何推广？
• RQ4 该公式是否能恢复已知不变量，如 $ℝ\mathbb{C}P^n$ 上的欧拉示性数和第一陈类积分？
• RQ5 当提升后的向量场在例外除子中具有退化零点时，福塔基不变量在爆破下的行为如何？

主要发现

• 提出一种新的局部化公式（定理 1.3），将福塔基-莫里塔积分表示为退化零点处的单一闭式导数表达式，避免了对不动点的求和。
• 对于 $ℝ\mathbb{C}P^n$ 上的极大退化向量场，公式给出 ${n+k \choose n} f_\phi(X) = \frac{(-1)^{n+k}}{n!} \left( \frac{\partial^n \phi(DX)}{\partial z_1^n} + \sum_{j=2}^n \frac{\partial}{\partial z_1^n \partial z_j} (\phi(DX) \cdot z_1^j) \right) \big|_{z=0}$，如命题 4.1 所示。
• $ℝ\mathbb{C}P^n$ 的欧拉示性数被正确计算为 $n+1$，证实了公式的拓扑一致性。
• $ℝ\mathbb{C}P^n$ 上的第一陈类积分 $\int_{\mathbb{C}P^n} c_1^n$ 的值为 $(n+1)^n$，与陈-韦伊理论的预期值一致。
• 当 $ℝ\phi(A) = [\operatorname{Tr}(A)]^{n+1}$ 时，福塔基不变量为零，与 $ℝ\mathbb{C}P^n$ 在法布尼-斯蒂迪度量下的凯勒爱因斯坦性质一致。
• 该公式对 $ℝ\phi(A) = \operatorname{Tr}(A) \det A$ 也正确给出零值，确认了福塔基对这类不变量的已知零化结果。