[论文解读] Polynomials with general C^2-fibers are variables. I

Shulim Kaliman|ArXiv.org|Dec 7, 1999

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

一句话总结

本文证明，若一个光滑仿射三维簇 $X'$ 满足 $H_3$ 平凡、单位群平凡，且存在一个扎里斯基开子集 $Z$ 映射到一条曲线，其一般纤维同构于 $\mathbb{C}^2$，则当 $X' \setminus Z$ 不含非孤立奇点时，$X'$ 同构于 $\mathbb{C}^3$。因此，任何在 $\mathbb{C}^3$ 上具有通有 $\mathbb{C}^2$-纤维的多项式都是一个变量，从而将 Gutwirth 的结果推广到三维情形。

ABSTRACT

Suppose that X' is a smooth affine algebraic variety of dimension 3 with H_3(X')=0 which is a UFD and whose invertible functions are constants. Suppose that Z is a Zariski open subset of X which has a morphism p : Z -> U into a curve U such that all fibers of p are isomorphic to C^2. We prove that X' is isomorphic to C^3 iff none of irreducible components of X'-Z has non-isolated singularities. Furthermore, if X' is C^3 then p extends to a polynomial on C^3 which is linear in a suitable coordinate system. As a consequence we obtain the fact formulated in the title of the paper.

研究动机与目标

• 建立 Gutwirth 定理在三维的类比，该定理在二维情形分类了具有通有 $\mathbb{C}$-纤维的多项式为变量。
• 解决 $\mathbb{C}^3$ 嵌入猜想的一个特例，该猜想提出：具有 $\mathbb{C}^2$-纤维的不可约多项式为变量。
• 通过拓扑与代数不变量，刻画具有 $\mathbb{C}^2$-柱结构的仿射三维簇何时同构于 $\mathbb{C}^3$。
• 阐明 Makar-Limanov 不变量在区分标准 $\mathbb{C}^3$ 结构与非标准代数结构中的作用。

提出的方法

• 利用 Makar-Limanov 不变量检测仿射三维簇中的非平凡性，特别是当 $\mathbb{C}^2$-柱的补集具有非孤立奇点时。
• 应用局部幂零导子（LND）理论及其在全空间 $X'$ 上的推广，特别通过 $d$-滤子与相应的分次结构。
• 利用 $X'$ 是 UFD、单位群平凡且 $e(X')=1$ 的事实，在适当条件下推出 $X'$ 同构于 $\mathbb{C}^3$。
• 应用 Miyanishi 定理在三维簇中 $\mathbb{C}^2$-柱的加强版本，将其扩展至包含将态射 $p: Z \to U$ 延拓为 $X'$ 上的正则函数。
• 利用环 $A' = \mathcal{O}(X')$ 的结构及其嵌入 $\mathbb{C}[x,y,z,1/f(x)]$ 来分析导子及其核的行为。
• 证明若 $X'$ 光滑且 $H_3(X')=0$，则当 $X' \setminus Z$ 中无非孤立奇点时，有 $X' \cong \mathbb{C}^3$；而当存在非孤立奇点时，则产生具有非平凡 ML-不变量的奇异结构。

实验结果

研究问题

• RQ1 在何种条件下，一个光滑仿射三维簇 $X'$ 具有 $\mathbb{C}^2$-柱结构时同构于 $\mathbb{C}^3$？
• RQ2 从扎里斯基开子集 $Z \subset X'$ 上的态射 $p: Z \to U$（其纤维为 $\mathbb{C}^2$）何时可延拓为 $X'$ 上的正则函数？
• RQ3 Makar-Limanov 不变量在区分 $\mathbb{R}^6$ 上的标准 $\mathbb{C}^3$ 与奇异代数结构中起什么作用？
• RQ4 在温和的拓扑与代数条件下，能否建立 Gutwirth 定理的三维版本——即具有通有 $\mathbb{C}^2$-纤维的多项式为变量？
• RQ5 当 $X' \setminus Z$ 的奇点影响 $X'$ 的同构类型及其自同构群结构时，其作用如何？

主要发现

• 若 $X'$ 是一个光滑仿射三维簇，满足 $H_3(X')=0$、单位群平凡，且存在扎里斯基开子集 $Z \subset X'$，使得 $Z$ 是曲线 $U$ 上的 $\mathbb{C}^2$-柱，则 $X' \cong \mathbb{C}^3$ 当且仅当 $X' \setminus Z$ 的每个不可约分支至多有孤立奇点。
• 具有 $\mathbb{C}^2$-纤维的态射 $p: Z \to U$ 可延拓为 $X'$ 上的正则函数，且该函数在 $\mathbb{C}^3$ 的某个多项式坐标系中为一个变量。
• 若 $X' \setminus Z$ 包含具有非孤立奇点的分支，则 $X'$ 是 $\mathbb{C}^3$ 的奇异代数结构，微分同胚于 $\mathbb{R}^6$ 但不与 $\mathbb{C}^3$ 同构，且其 Makar-Limanov 不变量非平凡。
• 此类奇异 $X'$ 的 Makar-Limanov 不变量非平凡，特别地，有 $\mathrm{ML}(A') = \mathbb{C}[x]|_{X'}$，表明 $x$ 在所有正则 $\mathbb{C}_+$-作用下固定不动。
• 结果确认了 $\mathbb{C}^3$ 上任意具有通有纤维同构于 $\mathbb{C}^2$ 的多项式均为变量，从而将 Gutwirth 的二维结果推广至三维。
• 证明依赖于将局部幂零导子从子环延拓至整个正则函数环，利用 $d$-滤子与相应的分次结构分析导子的核。