[论文解读] K-equivalence in Birational Geometry and Characterizations of Complex Elliptic Genera

Chin-Lung Wang|arXiv (Cornell University)|Mar 9, 2001

Advanced Algebra and Geometry参考文献 6被引用 7

一句话总结

本文证明了复椭圆亏格是光滑复射影代数簇的双有理几何中在 $K$-等价关系下保持不变的最一般陈数不变量。通过基于留数的、关于沿光滑中心的爆破的变量替换公式，本文证明了 $K$-等价蕴含复椭圆亏格相等，推广了Totaro的结果，并表明在复复 bordism 环中，经典翻转的理想与更大的 $K$-等价理想一致。

ABSTRACT

We show that for smooth complex projective varieties the most general combinations of chern numbers that are invariant under the K-equivalence relation consist of the complex elliptic genera. Combined with a recent result of Totaro, we deduce that up to complex cobordism any K-equivalence can be decomposed into a sequence of classical flops.

研究动机与目标

• 表征在光滑复射影代数簇的双有理几何中，关于 $K$-等价关系保持不变的最一般陈数不变量。
• 将Totaro的结果（即复椭圆亏格在经典翻转模下为不变量）推广至更广泛的 $K$-等价关系。
• 建立沿光滑中心爆破时关于亏格的变量替换公式，从而通过留数恒等式表征复椭圆亏格。
• 证明复复 bordism 环模 $K$-等价关系恰好由复椭圆亏格生成，表明经典翻转的理想与 $K$-等价理想相等。

提出的方法

• 推导沿光滑中心爆破时亏格上推的留数公式，将全空间上的积分与中心和例外除子上的积分联系起来。
• 使用Hirzebruch的乘法序列形式化方法，结合形式幂级数 $Q(x) = x/f(x)$ 来定义亏格并分析其在双有理映射下的变换。
• 引入一个关于形式幂级数 $f(x)$ 的函数方程，以表征复椭圆亏格，该方程与Weierstrass椭圆函数及其不变量相关联。
• 应用留数定理，证明仅复椭圆亏格满足沿光滑中心爆破时的一阶变量替换公式。
• 通过维数与余维数的归纳法，证明扭曲 $\chi_y$ 亏格与 $\mathcal{O}(\ell D) \otimes \Omega^p$ 的欧拉示性数在 $K$-等价下保持不变。
• 利用复复 bordism 环的结构，证明 $K$-等价生成的理想与经典翻转生成的理想相同，从而表明复椭圆亏格是此类不变量的普遍形式。

实验结果

研究问题

• RQ1 哪些陈数的组合在光滑复射影代数簇的 $K$-等价关系下保持不变？
• RQ2 复椭圆亏格能否被表征为在 $K$-等价关系下保持不变的最一般亏格，从而将Totaro关于经典翻转的结果推广至 $K$-等价关系？
• RQ3 是否存在沿光滑中心爆破时关于亏格的变量替换公式？何种关于幂级数 $f(x)$ 的条件可保证其有效性？
• RQ4 复复 bordism 环中由 $K$-等价对生成的理想是否等于由经典翻转生成的理想？
• RQ5 对于基点自由除子，$\chi(X, \mathcal{O}(\ell D) \otimes \Omega^p)$ 等不变量是否在 $K$-等价下保持不变？

主要发现

• 复椭圆亏格是唯一满足沿任意余维数的光滑中心爆破时一阶变量替换公式的亏格。
• 函数方程 $\frac{1}{f(x)f(y)} = \frac{A(x)}{f(x)f(y-x)} + \frac{A(y)}{f(y)f(x-y)}$ 且 $A(0) = 1$ 恰好表征复椭圆亏格。
• 对于一般参数，幂级数 $f(x) = e^{(k + \zeta(z))x} \frac{\sigma(x)\sigma(z)}{\sigma(x+z)}$ 及其相关雅可比因子 $A(t,r)$ 满足余维数为 $r$ 的爆破的变量替换公式，但在 $r$-挠点处失效。
• 复复 bordism 环中由 $K$-等价对生成的理想等于由经典翻转生成的理想，表明复椭圆亏格是 $K$-等价下的普遍不变量。
• 对于 $K$-等价的光滑代数簇，若具有基点自由除子 $D$ 与 $D'$，则对所有 $\ell \in \mathbb{Z}$ 与 $p \geq 0$，欧拉示性数 $\chi(X, \mathcal{O}(\ell D) \otimes \Omega^p)$ 相等，该结论通过维数与余维数的归纳法证明。
• 在双有理良极小模型的情形下，不变量 $\chi(X, K_X^{\otimes \ell} \otimes \Omega^p)$ 在 $K$-等价下保持不变，提示对所有 $\ell \in \mathbb{Z}$，其上同调群可能存在同构。