[論文レビュー] The signed Euler characteristic of very affine varieties

Nero Budur, Botong Wang|arXiv (Cornell University)|Mar 18, 2014

Algebraic Geometry and Number Theory参考文献 3被引用数 4

ひとこと要約

この論文は、HuhとSturmfelsが提起した予想（任意の複素多様体の非常にアフィンな部分多様体 $X \subset (\mathbb{C}^*)^n$ に対して、$(-1)^{\dim X}\chi(X) \geq 0$ が成り立つ）の反例を構成する。著者らは、$n$ が奇数であるような特異な曲面 $U_n \subset (\mathbb{C}^*)^4$ を明示的に構築し、$\chi(U_n) = \frac{3-n}{2}$ であることを示す。$n$ が増加するにつれてこの値は任意に負に傾き、したがって局所的完全交差（lci）の場合を除く予想は反証される。

ABSTRACT

A conjecture of J. Huh and B. Sturmfels predicts that the sign of the Euler characteristic of a complex very affine variety depends only on the parity of the dimension. The conjecture is true for locally complete intersections. Beyond this case, we construct counterexamples with arbitrarily bad failure.

研究の動機と目的

• HuhとSturmfelsが提唱した予想、すなわち任意の複素多様体の非常にアフィンな部分多様体 $X \subset (\mathbb{C}^*)^n$ に対して $(-1)^{\dim X}\chi(X) \geq 0$ が成り立つかどうかを検証すること。
• 既知の局所的完全交差（lci）の場合を除く、この予想が成り立つかどうかを特定すること。
• 署名付きオイラー特徴数が予想される非負性を破るような非常にアフィン多様体の具体的な例を構築すること。
• 群作用と商構成を用いて、これらの多様体の位相的性質と特異点を分析すること。

提案手法

• $(\mathbb{C}^*)^4$ 内の滑らかな曲面 $U$ を、$w+y=1$ および $x+z=1$ の零点集合として定義する。
• $n$ 乗根 $\xi$ が存在する $\mathbb{Z}/n\mathbb{Z}$-作用を $({\mathbb{C}}^*)^4$ に導入する。$\xi(w,x,y,z) = (\xi w, \xi x, \xi^{-1}y, \xi^{-1}z)$ と定義する。
• $p_n: (\mathbb{C}^*)^4 \to (\mathbb{C}^*)^4$ を $(w,x,y,z) \mapsto (w^n, w/x, wy, wz)$ で与えられる商写像として構成し、$U$ の像を $U_n$ とする。
• $U_n$ が $(\mathbb{C}^*)^4$ の特異的かつ既約な部分多様体であり、$\frac{n-1}{2}$ 個の孤立特異点を持つことを示す。各特異点は $\mathbb{C}^4$ 内の2つの滑らかな曲面の横断的交わりと解析的に同値である。
• $U$ が $({\mathbb{C}}\setminus\{0,1\})^2$ に同型であることから $\chi(U) = 1$ であり、特異点補正により $\chi(U_n) = 1 - \frac{n-1}{2}$ を計算する。
• $n=5$ のとき $\chi(U_5) = -1$ であることを確認し、予想に対する最初の反例を提供する。

実験結果

リサーチクエスチョン

• RQ1 局所的完全交差（lci）の場合を除く、すべての複素多様体の非常にアフィンな部分多様体に対して、$(-1)^{\dim X}\chi(X) \geq 0$ が成り立つかどうか。
• RQ2 任意に負のオイラー特徴数をもつ非常にアフィン多様体を構築できるか。
• RQ3 有限群作用によって固定点が孤立するとき、滑らかな非常にアフィン多様体の商の位相的構造はいかなるものか。
• RQ4 商多様体の特異点がオイラー特徴数に与える影響は何か。

主な発見

• 非常にアフィン多様体の署名付きオイラー特徴数は常に非負ではない。これは、Huh-Sturmfels予想がlciの場合を除いて反証されることを示している。
• 奇数 $n$ に対して、$(\mathbb{C}^*)^4$ 内の曲面 $U_n$ のオイラー特徴数は $\chi(U_n) = \frac{3-n}{2}$ であり、$n$ が増加するにつれて任意に負に傾く。
• $U_n$ は正確に $\frac{n-1}{2}$ 個の孤立特異点を持ち、それぞれ $\mathbb{C}^4$ 内の2つの滑らかな曲面の横断的交わりと解析的に同値である。
• $n=5$ の反例では $\chi(U_5) = -1$ であり、これは予想を破る最初の既知の例である。
• この構成は、$({\mathbb{C}}^*)^4$ 上の $\mathbb{Z}/n\mathbb{Z}$-作用と写像 $p_n$ に依存しており、アフィン群構造を保つ。
• $U_n$ の正規化は元の滑らかな曲面 $U$ に同型であり、特異点がすべて商構成に起因することを確認する。