[论文解读] Simple birational extensions of the polynomial ring $\C^{[3]}$

Sh. Kaliman, Vénéreau+1 more|ArXiv.org|Apr 20, 2001

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

一句话总结

本文研究四维空间中的Abhyankar-Sathaye嵌入问题，聚焦于由形式为 p = f(x,y)u + g(x,y,z) 的多项式定义的 ℂ³ → ℂ⁴ 的嵌入。在无圈性及其他几何条件成立时，证明了此类 p 是 ℂ[x,y,z,u] 中的变量，即可以扩展为 ℂ⁴ 上的多项式自同构。该结果将 Sathaye 在 ℂ³ 中的结果推广至 ℂ⁴，并提供了判断这些超曲面是否同构于 ℂ³ 或异样 ℂ³ 的准则。

ABSTRACT

The Abhyankar-Sathaye Problem asks whether any biregular embedding of affine spaces $A^m_k o A^n_k$ can be rectified, that is, is equivalent to a linear embedding up to an automorphism of the target space. Here we study this problem for the embeddings $C^3 o C^4$ whose image $X$ is given in $C^4$ by an equation $p=f(x,y)u+g(x,y,z)=0$, where $f\in C[x,y],$ $f eq 0$ and $g\in C[x,y,z]$. Under certain additional assumptions we show that, indeed, the polynomial $p$ is a variable of the polynomial ring $C[x,y,z,u]$ (i.e., a coordinate of a polynomial automorphism of $C^4$). This is an analog of a theorem due to Sathaye which concerns the case of embeddings $C^2 o C^3$. Besides, we generalize a theorem of Miyanishi giving, for a polynomial $p$ as above, a criterion for as when $X$ is isomorphic to $C^3$.

研究动机与目标

• 确定由 p = f(x,y)u + g(x,y,z) 定义的超曲面 X = p⁻¹(0) ⊂ ℂ⁴ 是否同构于 ℂ³。
• 研究此类 p 是否为多项式环 ℂ[x,y,z,u] 中的坐标（变量），以解决四维空间中的 Abhyankar-Sathaye 嵌入问题。
• 通过仿射变换和柱面除子，将 Sathaye 在 ℂ³ 中关于无圈曲面的结果推广至 ℂ⁴ 中的三维流形。
• 基于变换的中心 C 上的投影 π: C → Γ，提供无圈性与同构于 ℂ³ 的判别准则。
• 探讨几何与代数条件，使得态射 ρ = (x,p): ℂ⁴ → ℂ² 构成平凡纤维丛，且所有纤维同构于 ℂ²。

提出的方法

• 使用唯一分解整环（UFD）的仿射变换，特别是沿柱面除子的简单变换。
• 应用无圈簇的理论，并研究 Makar-Limanov 不变量与 Derksen 不变量的行为，以检测自同构的非平凡性。
• 采用剩余 x-变量与 x-变量的概念，分析多项式环中 p = f(x,y)u + g(x,y,z) 的结构。
• 将问题约化为分析投影 π: C → Γ，其中 C = D(f) ∩ D(g) 且 Γ = f⁻¹(0) ⊂ ℂ²，利用在零点集上诱导的态射。
• 通过在 y 上的次数进行归纳，证明满足条件 (41) 的 f 必须具有形式 f = Φ(x, a(x)y + zQ(x,z))，从而推出 p 是 x-变量。
• 利用 Quillen-Suslin 定理与 Dolgachev-Weissfeiler 猜想，讨论纤维丛的局部平凡性及可能的可化简性。

实验结果

研究问题

• RQ1 在何种条件下，由 p = f(x,y)u + g(x,y,z) 定义的超曲面 X = p⁻¹(0) ⊂ ℂ⁴ 是无圈的，即在同调意义下可缩？
• RQ2 何时此类超曲面 X 同构于 ℂ³，何时为异样 ℂ³（微分同胚于 ℝ⁶ 但不与 ℂ³ 同构）？
• RQ3 多项式 p = f(x,y)u + g(x,y,z) 是否为 ℂ[x,y,z,u] 中的变量，即能否扩展为 ℂ⁴ 上的多项式自同构？
• RQ4 当 X ≅ ℂ³ 时，态射 ρ = (x,p): ℂ⁴ → ℂ² 是否构成纤维全同构于 ℂ² 的平凡纤维丛？
• RQ5 p 为剩余 x-变量的条件是否可推出其为 x-变量，特别是当 f 与 g 满足函数条件 (40) 时？

主要发现

• 若由 p = f(x,y)u + g(x,y,z) 定义的超曲面 X = p⁻¹(0) ⊂ ℂ⁴ 是无圈的，则其微分同胚于 ℝ⁶。
• 当 X 同构于 ℂ³ 时，所有纤维 X_λ = p⁻¹(λ) 同构于 ℂ³，且态射 ρ = (x,p): ℂ⁴ → ℂ² 的所有纤维同构于 ℂ²。
• 若 p = f(x,y)u + g(x,y,z) 是剩余 x-变量，则在 f 与 g 满足文献 [15] 中的函数条件 (40) 时，p 是 ℂ[x,y,z,u] 中的 x-变量。
• 证明表明，在条件 (41) 下，f 必须具有形式 f = Φ(x, a(x)y + zQ(x,z))，从而推出 p 是 x-变量。
• 本文基于投影 π: C → Γ（其中 C = {f = g = 0} 且 Γ = f⁻¹(0) ⊂ ℂ²）提供了无圈性与同构于 ℂ³ 的判别准则。
• 在许多情形下，本文确认了 p 是 ℂ⁴ 中的变量，且纤维丛 ρ 是局部平凡的，但一般情形仍为开放问题。