On Teissier's example of an equisingularity class that cannot be defined over the rationals

技术摘要：关于 Teissier 关于无法在有理数域上定义的等奇异类示例的研究

问题陈述
本文探讨了奇异性理论中一个特定的问题，即等奇异族在有理数域 ($\mathbb{Q}$) 上的可定义性。虽然已知每个复奇异性在某种意义上（强于 Whitney 意义）都与由系数在代数数域中的多项式方程定义的奇异性是等奇异的，但一个悬而未决的问题是：是否存在这样一个奇异性，它无法通过拓扑等奇异变形为定义在 $\mathbb{Q}$ 上的奇异性。

Bernard Teissier 在其 1990 年的笔记 [T90] 中提出了一个反例：一个源自经典凸几何示例（Grünbaum 的直线排列）的 $\mathbb{C}^3$ 中的曲面奇异性，该奇异性与任何定义在 $\mathbb{Q}$ 上的奇异性都不满足 Whitney 等奇异性。然而，原始示例包含两个缺陷：

1. 引用的来自 Grünbaum 工作的特定直线排列实际上可以由具有有理系数的多项式方程定义，因此无法作为反例。
2. 其证明依赖于 Lê 和 Teissier [LT1] 关于曲面向其切锥变形的一个定理，而该定理的陈述是错误的。

方法论
作者 Parusiński 和 Păunescu 利用代数几何和分层理论来修正该示例，并对 Teissier 的底层结果提供严谨的证明。

1. 几何示例的修正：

   • 作者重新审视了 Grünbaum 在实射影空间中的 9 条直线排列。他们证明了原始排列 $C'$（及其等构型变体）确实可以定义在 $\mathbb{Q}$ 上，这是由于直线集的伽罗瓦不变性。
   • 为了打破这种对称性，他们构造了一个新的排列，记作 $C'$，通过在原始配置中添加第 10 条直线 ($HE$)。
   • 利用伽罗瓦理论，他们证明了定义这个新的 10 条直线排列的线性形式之积在由坐标生成的扩域的伽罗瓦群下是不变量。因此，该排列无法定义在 $\mathbb{Q}$ 上。

2. 解析证明的修正：

   • 作者指出，[T90] 中的原始证明依赖于 [LT1, 定理 (2.1.1)]，该定理错误地声称：若变形到切锥是等奇异的，当且仅当该奇异性没有“例外切线”（exceptional tangents）。
   • 作者在第 4 节中提供了一个反例，展示了一个没有例外切线的奇异性，但其向切锥的变形并非等奇异（具体表现为奇异轨迹发生拓扑分裂）。
   • 作者并未依赖于这一有缺陷的定理，而是通过使用 Whitney 分层和法锥（normal cones）理论提供了直接证明。他们分析了曲面奇异性族 $f(x, y)$ 及其切锥 $C_{X,Y}$。

主要贡献与结果

• 精炼的反例 (命题 2.2)： 作者证明，在其修正后的 10 条直线排列 ($C'$) 之上的锥体产生了一个在 $\mathbb{C}^3$ 中的曲面奇异性 $X_0$，该奇异性无法定义在 $\mathbb{Q}$ 上。
• 主定理 (定理 3.5)： 本文建立了一个关于法锥等奇异性的新结果。作者证明，如果一系列曲面奇异性 $(X_{reg}, \Sigma \setminus Y, Y)$ 构成 Whitney 分层，那么：
  1. 纤维 $X_y$ 没有例外切线。
  2. 法锥 $C_{X,Y}$ 满足 Whitney 条件。
  3. 法锥的奇异轨迹恰好是奇异轨迹的法锥（$C_{\Sigma, Y} = (C_{X,Y})_{sing}$）。
  4. 对 $((C_{X,Y})_{reg}, C_{\Sigma, Y} \setminus Y, Y)$ 构成 Whitney 分层。
• 对 Teissier 结果的应用： 通过应用定理 3.5，作者表明，如果原始奇异性 $X_0$（修正后排列之上的锥体）与定义在 $\mathbb{Q}$ 上的奇异性是 Whitney 等奇异的，那么变形族的切锥也应当是等奇异的。然而，修正后排列的切锥在射影意义上等价于该排列本身，而该排列无法定义在 $\mathbb{Q}$ 上。这一矛盾证明了原始奇异性与任何定义在 $\mathbb{Q}$ 上的奇异性都不是 Whitney 等奇异的。
• 对 [LT1] 的反例 (第 4.1 节)： 作者构造了一个特定的奇异性 $f(x,y,z) = z(zx - y^2 + x^3)$，以证明仅靠不存在例外切线不足以保证向切锥的变形是等奇异的。在该示例中，奇异轨迹从一条尖点（cusp）分裂为一条双线（double line），违反了拓扑平凡性。

意义
本文的主要意义在于对 Teissier 1990 年结果的严谨修正与完成。它提供了一个有效的、显式的复曲面奇异性示例，该奇异性无法通过 Whitney 等奇异变形变为一个有理奇异性。此外，它澄清了例外切线与向法锥变形的等奇异性之间的关系，修正了领域内此前被接受但错误的定理。这项工作确保了基于 $\mathbb{Q}$ 上可定义性来区分等奇异类的理论基础是可靠的。