[論文レビュー] 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$-同値性のもとで保存される最も一般なチャーン数不変量が、複素楕円的生成であることを確立する。滑らかな中心に沿った blow-up における残留に基づく変数変換公式を用いて、$K$-同値性が複素楕円的生成の等値を導くことを証明し、トタロの結果を一般化し、古典的フロップのイデアルが複素コボルディズム環における $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$-同値性のもとで保存される最も一般なチャーン数不変量を特徴づける。
• 古典的フロップに関するトタロの結果（複素楕円的生成が不変量である）を、より広い $K$-同値性関係へと拡張する。
• 滑らかな中心に沿った blow-up における生成の変数変換公式を確立し、残留理論的恒等式を用いて複素楕円的生成の特徴づけを可能にする。
• 複素コボルディズム環における $K$-同値性による商環が、正確に複素楕円的生成によって生成されることを証明し、古典的フロップのイデアルと $K$-同値性イデアルが一致することを示す。

提案手法

• 滑らかな中心に沿った blow-up における生成のプッシュフォワードに関する残留公式を導出し、全空間上の積分を中心および例外除集合上の積分に関連付ける。
• 生成を定義し、双有理写像におけるその変換を分析するために、Hirzebruch の乗法的系列形式的で、$Q(x) = x/f(x)$ を用いる。
• 複素楕円的生成を特徴付けるための、関数方程式を導入し、$f(x)$ のべき級数に対して、ワイエルシュトラス楕円関数とその不変量とを関連付ける。
• 残留定理を適用して、滑らかな中心に沿った blow-up において、第一段階の変数変換公式を満たすのは複素楕円的生成に限ることを示す。
• 次元および余次元に関する帰納法を用いて、$K$-同値性のもとで、$\chi_y$ 生成および $\mathcal{O}(\ell D) \otimes \Omega^p$ のオイラー次元が不変であることを証明する。
• 複素コボルディズム環の構造を用いて、$K$-同値性が古典的フロップのイデアルと同一のイデアルを生成することを示し、複素楕円的生成が $K$-同値性のもとでの普遍的不変量であることを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかな複素射影多様体に対して、$K$-同値性のもとで不変となるチャーン数の組み合わせは何か？
• RQ2 複素楕円的生成は、古典的フロップから $K$-同値性へと拡張された $K$-同値性のもとで不変な最も一般な生成として特徴づけられるか？
• RQ3 滑らかな中心に沿った blow-up において、生成の変数変換公式は存在するか？ また、その有効性を保証するべきべき級数 $f(x)$ の条件は何か？
• RQ4 $K$-同値性ペアが生成する複素コボルディズム環におけるイデアルは、古典的フロップが生成するイデアルと等しいか？
• RQ5 基点自由な除集合 $D$ に対して、$\chi(X, \mathcal{O}(\ell D) \otimes \Omega^p)$ のような不変量は $K$-同値性のもとで不変であるか？

主な発見

• 滑らかな任意の余次元の中心に沿った blow-up において、第一段階の変数変換公式を満たす唯一の生成は複素楕円的生成である。
• 関数方程式 $\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$ の blow-up において変数変換公式を満たすが、$r$- torsion 点で失敗する。
• $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}$ に対して、コホモロジー群に同型が存在する可能性を示唆する。