[论文解读] 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 猜想的反例，该猜想认为任意复非常仿射概形（$(\mathbb{C}^*)^n$ 的闭不可约子概形）的带符号欧拉特征值乘以 $(-1)^{\dim X}$ 后非负。作者显式构造了奇数 $n$ 的奇异曲面 $U_n \subset (\mathbb{C}^*)^4$，其欧拉特征值为 $\chi(U_n) = \frac{3-n}{2}$，当 $n$ 增大时该值可趋于任意负，从而在局部完全交集情形之外推翻了该猜想。

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）情形之外依然成立。
• 构造非常仿射概形的显式例子，其带符号欧拉特征值违反了猜想中的非负性。
• 利用群作用与商构造方法分析这些概形的拓扑结构与奇点。

提出的方法

• 将光滑曲面 $U \subset (\mathbb{C}^*)^4$ 定义为方程 $w+y=1$ 与 $x+z=1$ 的零点集。
• 在 $({\mathbb{C}}^*)^4$ 上引入 $\mathbb{Z}/n\mathbb{Z}$-作用，定义为 $\xi(w,x,y,z) = (\xi w, \xi x, \xi^{-1}y, \xi^{-1}z)$，其中 $\xi$ 为本原 $n$ 次单位根。
• 构造商映射 $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$ 中两个光滑曲面的横截相交。
• 利用 $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 该猜想 $(-1)^{\dim X}\chi(X) \geq 0$ 是否对所有复非常仿射概形（而不仅限于局部完全交集）成立？
• RQ2 能否构造具有任意负欧拉特征值的非常仿射概形？
• RQ3 在有限群作用下，具有孤立不动点的光滑非常仿射概形的商的拓扑结构如何？
• RQ4 商概形的奇点如何影响其欧拉特征值？

主要发现

• 非常仿射概形的带符号欧拉特征值并非总是非负，从而在局部完全交集情形之外推翻了 Huh-Sturmfels 猜想。
• 对于奇数 $n$，曲面 $U_n \subset (\mathbb{C}^*)^4$ 的欧拉特征值为 $\chi(U_n) = \frac{3-n}{2}$，当 $n$ 增大时该值可趋于任意负。
• $U_n$ 恰好具有 $\frac{n-1}{2}$ 个孤立奇点，每个奇点在局部解析上等价于 $\mathbb{C}^4$ 中两个光滑曲面的横截相交。
• 当 $n=5$ 时的反例给出 $\chi(U_5) = -1$，这是首个违反该猜想的已知例子。
• 该构造依赖于 $({\mathbb{C}}^*)^4$ 上的 $\mathbb{Z}/n\mathbb{Z}$-作用以及商映射 $p_n$，该映射保持仿射群结构。
• 该 $U_n$ 的正规化同构于原始光滑曲面 $U$，从而确认奇点完全源于商构造。