Lipschitz Geometry of Mixed Pham-Brieskorn Singularities

技术摘要：混合 Pham-Brieskorn 奇点的 Lipschitz 几何

问题陈述
本文研究了 Pham-Brieskorn 型混合奇点的 Lipschitz 几何。这些奇点由如下形式的函数芽 $f_{a,b}: (\mathbb{C}^n, 0) \to (\mathbb{C}, 0)$ 定义：
$$f_{a,b} = z_1^{a_1+b_1}\bar{z}_1^{b_1} + \dots + z_n^{a_n+b_n}\bar{z}_n^{b_n}$$
其中 $a = (a_1, \dots, a_n)$ 和 $b = (b_1, \dots, b_n)$ 为整数向量，满足 $0 < a_1 \le \dots \le a_n$ 且 $b_i \ge 0$。相关的全纯 Pham-Brieskorn 多项式为 $g_a = z_1^{a_1} + \dots + z_n^{a_n}$。

尽管 $f_{a,b}$ 与 $g_a$ 之间的拓扑关系已得到充分确立（在特定条件下它们拓扑等价，且 $f_{a,b}$ admits 一个 Milnor 纤维化），但本文旨在填补拓扑分类与解析分类之间的空白。具体而言，它试图确定在何种条件下两个混合 Pham-Brieskorn 芽是双 Lipschitz 等价的。核心问题在于：双 Lipschitz 类型是否仅由指数向量 $a$ 和 $b$ 决定，以及在此族中拓扑等价是否蕴含双 Lipschitz 等价。

方法论
作者运用了 Lipschitz 几何、奇点理论以及加权齐次芽理论的工具。方法论通过以下几个关键步骤展开：

1. 拓扑正规形：本文利用同胚 $\phi$ 将 $f_{a,b}$ 与“拓扑正规形”联系起来。若对所有 $i$ 有 $a_i \ge 1$，则 $f_{a,b}$ 拓扑等价于 $g_a$。若某些 $a_i=0$，则它等价于涉及实范数 $\|z_i\|^{2b_i}$ 的混合形式。
2. 重数与分裂：为了分析双 Lipschitz 等价性，作者调整了适用于奇点的“分裂引理”版本。定理 4.1 表明，对于具有分离变量且孤立奇点的光滑函数芽，如果各分量的重数严格有序，则在双 Lipschitz 等价芽中，对应分量的重数必须匹配。
3. 切锥与不变量：针对混合曲面情形（$n=2$），本文分析了零集 $X_{a,b} = f_{a,b}^{-1}(0)$ 的切锥。它引入了不变量 $\mu_{a,b} = \frac{a_2 + 2b_2}{a_1 + 2b_1}$ 来分类切锥的几何结构。
4. 弧接触与内/外度量：内双 Lipschitz 几何的分类依赖于半代数弧的接触阶（使用 Birbrair 的 $\beta$-horn 分类）。对于外几何，本文考察了 Lipschitz 法向嵌入性质以及连接奇点不同分支上点的路径行为。

主要贡献与结果

• 混合 Pham-Brieskorn 芽的双 Lipschitz 分类：
  本文证明了 $f_{a,b}$ 的双 Lipschitz 类型由向量 $a$ 和 $b$ 决定。

  • 定理 4.3：若 $f_{a,b}$ 与 $f_{c,d}$ 双 Lipschitz 等价，则指数向量必须满足特定的置换关系。具体而言，若 $a_i, c_i \ge 2$，则 $a=c$，且对于某个置换 $\sigma$，和 $a_i + 2b_i$ 必须等于 $c_{\sigma(i)} + 2d_{\sigma(i)}$。
  • 推论 4.4：混合多项式 $f_{a,b}$ 与其全纯对应物 $g_c$ 双 Lipschitz 等价，当且仅当 $b=0$（即混合项消失），除非在拓扑次浸入情形下满足特定的线性关系。

• 拓扑平凡性与不同的 Lipschitz 类型：
  一项主要贡献是构造了无限族的混合奇点，它们在拓扑上是平凡的（等价于标准形），但具有不同的双 Lipschitz 类型。

  • 命题 5.1：对于固定的向量 $a$，存在 $f_{a,b}$ 的子族（变化 $b$），它们都拓扑等价于同一个正规形，但包含无限多个不同的双 Lipschitz 类。这表明 Lipschitz 几何捕捉到了比单纯拓扑更精细的不变量。

• 混合曲面（$n=2$）的几何：
  对于由 $f_{a,b}: (\mathbb{C}^2, 0) \to (\mathbb{C}, 0)$ 定义的曲面，本文基于不变量 $\mu_{a,b}$ 提供了详细的分类：

  • 切锥：切锥 $C(X_{a,b}, 0)$ 的结构由 $\mu_{a,b}$ 以及 $a_1, a_2$ 的值决定。例如，若 $\mu_{a,b} > 1$ 且 $a_1 \ge 1$，则切锥为平面 $\{z_1=0\}$。
  • Lipschitz 法向嵌入：本文精确确定了这些曲面何时为 Lipschitz 法向嵌入（即内度量与外度量等价）。
    • “类型 (2)"和“类型 (5)"的曲面（具有孤立奇点的齐次曲面）是法向嵌入的。
    • 满足 $a_2 \ge 2$ 的“类型 (4)"曲面不是法向嵌入的。
    • 满足 $a_1 + 2b_1$ 为偶数的“类型 (1)"曲面不是法向嵌入的。
  • 外几何不变量：定理 6.8 确立，对于类型 (1) 的曲面，值 $\mu_{a,b}$ 是次解析外双 Lipschitz 几何的不变量。若 $\mu_{a,b} \neq \mu_{c,d}$，则这些曲面不是外双 Lipschitz 等价的。

• 内几何：
  本文表明，大多数混合曲面在内双 Lipschitz 意义下等价于标准度量锥（$\beta=1$ 的 $\beta$-horn）。然而，类型 (3) 的曲面（其中 $a_1=0$ 且 $\mu_{a,b} > 1$）内等价于 $\beta = \mu_{a,b}$ 的 $\beta$-horn，从而为该特定情形提供了完整的内分类。

意义与主张
本文声称提供了一个利用 Lipschitz 不变量区分混合 Pham-Brieskorn 奇点的严格框架。它强调，尽管这些奇点通常与其全纯对应物（或简单的实形式）共享相同的拓扑类型，但其度量几何要丰富得多，且对特定的指数 $a$ 和 $b$ 更为敏感。

其意义在于：

1. 细化分类：超越拓扑等价，表明"Lipschitz 领域”严格介于拓扑与解析几何之间，提供了一组新的不变量（如 $\mu_{a,b}$ 和特定的和 $a_i + 2b_i$）。
2. 直觉的反例：证明了即使在高度结构化的多项式族中，拓扑平凡性也不蕴含双 Lipschitz 平凡性。
3. 几何不变量：将 $\mu_{a,b}$ 确定为混合曲面外几何的具体、可计算的不变量，该不变量完全由指数决定。

该工作依赖于 Milnor 纤维化、切锥理论（Whitney, Seade, Ruas）以及半代数曲面分类（Birbrair）的既有成果，并将它们扩展到混合函数语境中。它并未提出新的实验应用，而是深化了对奇点几何的理论理解。