Retract rational varieties are uniformly retract rational

技术摘要：“收缩有理簇是一致收缩有理的”

问题陈述
本文探讨了代数簇理论中关于有理簇与收缩有理簇局部结构的一个基本问题。具体而言，它研究了“收缩有理（retract rational）”这一属性是否蕴含“一致收缩有理（uniform retract rationality）”。

• 收缩有理性（Retract Rationality）： 若一个在无限域 $K$ 上的代数簇 $X$ 满足：存在一个 Zariski 稠密开集 $V \subset X$，一个自然数 $m$，一个 Zariski 开集 $U \subset K^m$，以及正则映射 $V \to U \to V$，使得这两个映射的复合在 $V$ 上为恒等映射，则称 $X$ 是收缩有理的。
• 一致收缩有理性（Uniform Retract Rationality）： 若对于 $X$ 中的每一个点 $x$，都存在一个 $x$ 的 Zariski 邻域 $V$（该邻域不一定在全局意义上是稠密的，而是局部的），满足相同的收缩条件，则称 $X$ 是一致收缩有理的。

核心问题（问题 1.7）是：所有非奇异收缩有理代数簇是否都是一致收缩有理的？

这一探究受到格罗莫夫（Gromov）椭圆性（Gromov ellipticity）更广泛背景的启发。格罗莫夫为复非奇异簇引入了“代数椭圆性（algebraic ellipticity）”的概念，该属性意味着强同伦和逼近特征。已知一致有理性（uniform rationality）蕴含代数椭圆性。由于有理簇是收缩有理簇的一个子集，因此是否所有非奇异有理复射影簇都是代数椭圆的，曾是一个开放问题（问题 1.3）。对一致收缩有理性问题的肯定回答将为解决此问题提供部分解答，因为观察 1.6 确立了在复数情形下，一致收缩有理性蕴含代数椭圆性（或在实数情形下蕴含可塑性/malleability）。

方法论
证明依赖于局部代数几何、交换代数以及多项式映射的操作。其核心策略是将局部有理映射扩展为正则丛（regular germs）。

1. 映射的局部扩展（命题 3.1）： 关键的技术工具是命题 3.1，它断言：如果一个有理映射 $F: K^n \dashrightarrow Y$ 在子簇 $X \subset K^n$ 上的点 $x_0$ 处是正则的，那么存在一个正则丛 $G: (K^n, x_0) \to Y$，使得 $G$ 在 $X$ 附近与 $F$ 一致。
2. 构造扩展： 命题 3.1 的证明利用了命题 2.2。该命题构造了一个特定的多项式映射 $\sigma: X \times K^{n-m} \to K^n$（其中 $m = \dim X$），并具有以下性质：
   • 当第二个变量为零时，它在 $X$ 上表现为恒等映射。
   • 它在基点处的导数是一个同构。
   • 它诱导的局部环上的同态在由有理映射的分母生成的特定理想模去后是满射。
     这种构造允许作者将定义在 $X$ 上的有理映射提升到周围空间 $K^n$ 上的正则映射（局部）。
3. 生成性论证： $\sigma$ 的构造依赖于引理 2.3，该引理通过对 Grassmann 流形的维数计数，确保一个泛型的线性子空间与相关理想的零集仅在原点处相交。这确保了实现扩展所需的传递性（transversality）和代数独立性。
4. 应用引理 2.4： 该引理确保了有理函数的正则性在映射的小扰动下得以保持，从而允许将构造在乘积空间上的正则丛转回到周围空间。

主要贡献与结果
本文的主要结果是定理 1.8：

设 $X$ 是无限域 $K$ 上的非奇异收缩有理代数簇。则它是一致收缩有理的。

证明过程如下：取任意点 $x_0 \in X$。由于 $X$ 是收缩有理的，存在全局的开集与收缩映射。作者将收缩映射 $r: U \to V$（其中 $V \subset X$）扩展到周围空间的有理映射。利用命题 3.1，他们在周围空间 $x_0$ 的邻域内构造了一个正则丛 $G$，该丛在 $X$ 附近限制为恒等映射。这个丛有效地提供了一致收缩有理性所需的局部收缩。

推论与意义
本文通过推论 1.9 直接得出以下结论：

非奇异有理复射影簇是代数椭圆的。

意义声明：

• 解决特定问题： 本文为问题 1.7 提供了肯定的回答，即对于非奇异簇，局部性质（一致性）由全局性质（收缩有理性）导出。
• 对格罗莫夫问题的部分回答： 通过结合定理 1.8 与观察 1.6，本文确认了所有非奇异有理复射影簇都是代数椭圆的。这解决了问题 1.3 中针对有理簇类别的第二部分。
• 澄清层级关系： 研究结果澄清了不可约非奇异复射影簇的性质层级：
  $$\text{一致有理} \implies \text{有理} \implies \text{收缩有理} \implies \text{一致收缩有理} \implies \text{代数椭圆}$$
  本文指出，反向蕴含关系在一般情况下并不成立（引用了某些椭圆簇不是有理簇或不是收缩有理簇的例子）。

本文并未声称解决了整个问题 1.3（即针对所有非奇异簇，而不只是有理簇），也没有提出新的实验性应用。其贡献纯粹是理论性的，通过代数扩展技术架起了收缩有理性与一致收缩有理性之间的桥梁。