[论文解读] Non cancellation for smooth contractible affine threefolds

Adrien Dubouloz, Lucy Moser-Jauslin+1 more|arXiv (Cornell University)|Apr 27, 2010

Advanced Differential Equations and Dynamical Systems参考文献 14被引用 5

一句话总结

该论文为不同的复参数 $a \neq b$ 构造了两个非同构的光滑收缩仿射三维簇 $X_a$ 和 $X_b$，证明其柱状空间 $X_a \times \mathbb{A}^1$ 与 $X_b \times \mathbb{A}^1$ 同构，从而为光滑收缩仿射三维簇的广义取消问题提供了首个反例。尽管代数结构不同，这些三维簇作为复解析簇是双全纯同构的，从而首次给出了双全纯同构但非代数同构的奇异 $\mathbb{A}^3$ 的例子。

ABSTRACT

We construct two non isomorphic contractible affine threefolds X and Y with isomorphic cylinders, showing that the generalized Cancellation Problem has a negative answer in general for contractible affine threefolds. We also establish that X and Y are actually biholomorphic as complex analytic varieties, providing the first example of a pair of biholomorphic but not isomorphic exotic affine 3-spaces.

研究动机与目标

• 通过构造满足 $X \times \mathbb{A}^1 \cong Y \times \mathbb{A}^1$ 但 $X \not\cong Y$ 的反例，解决光滑收缩仿射三维簇的广义取消问题。
• 研究奇异 $\mathbb{A}^3$（即光滑、收缩且不与 $\mathbb{A}^3$ 同构）是否可以作为复解析簇双全洁同构。
• 对由方程 $x^n y + z^2 + t^3 + x p(x) = 0$ 定义的一族仿射三维簇 $X_{n,p}$ 按同构与柱状同构进行分类。
• 证明对收缩簇而言，已知可保证取消的对数 Kodaira 维数条件在三维情形下不足以防止取消失败。

提出的方法

• 构造一个单参数族的光滑仿射三维簇 $X_a \subset \mathbb{A}^4$，其定义方程为 $x^4 y + z^2 + t^3 + x + x^2 + a x^3 = 0$，参数 $a \in \mathbb{C}$，并证明其为收缩簇且不与 $\mathbb{A}^3$ 同构。
• 利用 $\mathbb{G}_a$-作用与平展平凡化的理论分析柱状空间 $X_a \times \mathbb{A}^1$ 的结构，证明其通过公共商空间 $\mathfrak{S}$ 同构。
• 通过构造显式的 Čech 1-上循环并利用 $x, \lambda, v$ 上的有理函数证明其为上边界，从而证明 $X_a$ 和 $Y_a$（一相关族）上的 $\mathbb{G}_a$-丛是平凡的。
• 证明商映射 $X_a \times \mathbb{A}^1 \to \mathfrak{S}$ 与 $Y_a \times \mathbb{A}^1 \to \mathfrak{S}$ 是平凡的 $\mathbb{G}_a$-丛，从而推出存在公共概形 $W$ 使得 $X_a \times \mathbb{A}^1 \cong W \cong Y_a \times \mathbb{A}^1$，故柱状空间同构。
• 利用 Dimca 的结果（即这些簇微分同胚于 $\mathbb{R}^6$）得出它们为奇异 $\mathbb{A}^3$，并进一步通过显式解析同构证明其为双全洁同构。
• 借助 $\mathbb{A}^1$-纤维化分类及因子三焦点中退化纤维的结构，证明对不同的 $a$，$X_a$ 之间非同构。

实验结果

研究问题

• RQ1 广义取消问题是否可能在光滑收缩仿射三维簇中失效，即使簇本身不同构但其柱状空间同构？
• RQ2 是否存在一对奇异 $\mathbb{A}^3$，它们作为复解析簇双全洁同构但作为代数簇不同构？
• RQ3 对由 $x^4 y + z^2 + t^3 + x + x^2 + a x^3 = 0$ 定义的族 $X_a$，其柱状空间 $X_a \times \mathbb{A}^1$ 的结构如何？它与其他此类簇有何关联？
• RQ4 即使 $X_a$ 对于不同参数 $a$ 两两不同构，其柱状空间 $X_a \times \mathbb{A}^1$ 的同构类是否仍保持不变？
• RQ5 在三维情形中，即使簇是因子且收缩的，取消失败的现象是否仍存在，与二维情形中行为相反？

主要发现

• 由方程 $x^4 y + z^2 + t^3 + x + x^2 + a x^3 = 0$ 定义的三维簇 $X_a$ 对任意 $a \in \mathbb{C}$ 均为光滑、收缩且不与 $\mathbb{A}^3$ 同构，因此为奇异 $\mathbb{A}^3$。
• 对所有 $a \in \mathbb{C}$，柱状空间 $X_a \times \mathbb{A}^1$ 相互同构，从而为光滑收缩仿射三维簇的广义取消问题提供了首个反例。
• 对 $a \neq b$，$X_a$ 与 $X_b$ 作为代数簇两两不同构，尽管其柱状空间同构。
• 所有 $X_a$ 作为复解析流形彼此双全洁同构，从而首次给出了非同构但双全洁同构的奇异 $\mathbb{A}^3$ 的例子。
• 柱状空间 $X_a \times \mathbb{A}^1$ 的同构类型与参数 $a$ 无关，这通过公共商 $\mathfrak{S}$ 与 $X_a$ 和 $Y_a$ 上 $\mathbb{G}_a$-丛的平凡化（显式 Čech 上循环的上边界条件）得以证明。
• 该构造表明，虽在低维情形可保证取消的对数 Kodaira 维数条件，在三维收缩簇中不足以防止取消失败。