A counterexample to the PIA conjecture for minimal log discrepancies

以下是 Yusuke Nakamura 和 Kohsuke Shibata 的论文《最小对数分歧的一个反例（PIA 猜想）》的详细技术总结。

1. 问题陈述

本文探讨了PIA（精确邻接反转）猜想，这是关于**最小对数分歧（mld）**的双有理几何中的一个基本假设。

• 背景：最小对数分歧是衡量奇点严重程度的数值不变量。PIA 猜想断言，在正规 Cartier 除子 $D$ 上的一点 $x$ 处，对 $(X, D + \Delta)$ 的 mld 与限制对 $(D, \Delta|_D)$ 在同一点 $x$ 处的 mld 之间存在精确的等式关系。
• 猜想内容：具体而言，猜想 1.3 指出，对于对数对 $(X, \mathfrak{a})$ 以及不包含在 $\mathfrak{a}$ 的余支撑集中的正规 Cartier 素除子 $D$：
  $$\text{mld}_x(X, \mathfrak{a} \mathcal{O}_X(-D)) = \text{mld}_x(D, \mathfrak{a} \mathcal{O}_D)$$
• 已知状态：不等式"$\leq$"已知总是成立。该猜想断言反向不等式"$\geq$"也成立。它已在以下情况中得到证明：
  • $\dim X = 2$（Shokurov）。
  • $X$ 是光滑的（Ein, Mustață, Yasuda）。
  • $X$ 是局部完全交（Ein, Mustață）。
  • $\dim X = 3$（本文证明）。
  • $X$ 具有商奇点且 $D$ 在 $x$ 处是 klt（Kawamata 对数终端）的（Nakamura, Shibata）。
• 缺口：该猜想对于更高维（$\dim X \geq 4$）的情况，以及关键地，对于除子 $D$ 本身具有非 klt 奇点的情况，此前一直是开放的。

2. 方法论

作者结合了商奇点理论、群作用和弧空间理论来构造反例。

A. 反例的构造

作者利用循环群作用定义了一族特定的簇：

• 设定：设 $k$ 是特征为零的代数闭域。设 $\xi$ 为三次本原单位根。
• 空间：考虑 $A^{n+3}_k = \text{Spec}(k[x_1, \dots, x_{n+3}])$。
• 群作用：定义循环群 $G = \langle \gamma \rangle \cong \mathbb{Z}/3\mathbb{Z}$，通过对角矩阵 $\gamma = \text{diag}(1, \xi, \xi^2, \xi, \dots, \xi)$ 作用于该空间。
• 商簇：
  • $A_n = A^{n+3}_k / G$。
  • $B_n$ 是 $A^{n+3}_k$ 中由 $f = x_1^3 + x_2^3 + x_3^3 = 0$ 定义的超曲面，$\bar{B}_n = B_n / G$ 是其在商空间中的像。
• 目标：在原点 $x_0$ 处的对 $(\bar{A}_n, \bar{B}_n)$。

B. “拟自由”作用的概念

主要的理论贡献是引入了**“拟自由”（virtually free）**群作用的概念，以解释为何在此构造中 mld 表现出反常行为。

• 定义：$G$ 在正规簇 $X$ 上的作用被称为拟自由的，如果对于任何从正规簇 $Y$ 到 $X$ 的 $G$-等变真双有理态射 $Y \to X$，该作用在 $Y$ 上是余维数为 1 自由的。
• 性质：
  • 它严格介于“自由”和“余维数为 1 自由”之间。
  • 命题 3.5：如果 $G$-作用是拟自由的，则商映射保持最小对数分歧：$\text{mld}_x(X, \mathfrak{a}) = \text{mld}_{x'}(X/G, \mathfrak{a})$。
  • 定理 3.10：如果 $X$ 是 klt 的，则“拟自由”等价于“自由”。这解释了为何无法利用 klt 簇构造反例（因为此时作用必须是自由的，从而保持标准行为）。

C. mld 的计算

作者计算了所构造示例的 mld：

1. 对于环境空间：利用商奇点的年龄公式（age formula），他们确定 $\text{mld}_{x_0}(\bar{A}_n) = 2 + n/3$。
2. 对于除子：他们证明了 $B_n$ 上的作用是拟自由的（引理 4.1）。因此，$\text{mld}_{x_0}(\bar{B}_n) = \text{mld}_{x_0}(B_n)$。由于 $B_n$ 是曲面奇点与仿射空间的乘积，$\text{mld}_{x_0}(B_n) = n$。
3. 分歧：
   • $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq \text{mld}_{x_0}(\bar{A}_n) - 1 = 1 + n/3$。
   • $\text{mld}_{x_0}(\bar{B}_n) = n$。
   • 对于 $n \geq 2$，有 $n > 1 + n/3$。因此，$\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) < \text{mld}_{x_0}(\bar{B}_n)$，这违反了 PIA 猜想。

3. 主要贡献

1. 证伪 PIA 猜想：本文提供了 $\dim X \geq 5$ 时 PIA 猜想的第一个反例。

   • 结果：对于 $n \geq 2$，对 $(\bar{A}_n, \bar{B}_n)$ 等式不成立。
   • 意义：这表明如果除子 $D$ 不是 klt 的，PIA 猜想对于具有商奇点的簇并不普遍成立。

2. 引入“拟自由”作用：

   • 这一新概念解释了即使群作用不是自由的，$\text{mld}(X/G) = \text{mld}(X)$ 这一现象发生的原因。
   • 它填补了自由作用（mld 保持不变）与非自由作用（mld 通常会下降）之间的空白。

3. 针对族的下半连续性（LSC）猜想的反例：

   • 作者利用类似的构造证伪了族的 LSC（下半连续性）猜想（猜想 5.3）。
   • 他们构造了一个平坦族，其中特殊纤维（$t=0$）的 mld 严格小于一般纤维（$t \neq 0$）的 mld，从而违反了下半连续性。
   • 关键条件：这种失效具体发生在纤维非 klt 的情况下。

4. 三维情形下 PIA 的证明：

   • 作者证明了 PIA 猜想对于 $\dim X = 3$ 成立（命题 6.1），填补了文献中的空白。

4. 结果总结

维度	PIA 猜想状态	条件
$\dim X = 2$	成立	一般情况（Shokurov）
$\dim X = 3$	成立	一般情况（本文证明）
$\dim X = 4$	开放	问题 6.2
$\dim X \geq 5$	不成立	提供了反例（定理 1.5）
一般情况	成立	若 $D$ 在 $x$ 处是 klt（Nakamura-Shibata）
一般情况	不成立	若 $D$ 非 klt（反例）

具体反例数值（对于 $n \geq 2$）：

• $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq 1 + \frac{n}{3}$
• $\text{mld}_{x_0}(\bar{B}_n) = n$
• 由于 $n > 1 + n/3$，猜想失效。

5. 意义

• 修正猜想：本文迫使人们重新评估 PIA 猜想。它表明该猜想需要附加假设，即除子 $D$ 在感兴趣的点处必须是klt的。如果没有这一假设，“精确”的等式将失效。
• 奇点理论：它突显了在存在非 klt 奇点和非自由群作用的情况下，最小对数分歧表现出的病态行为。
• 族与形变：针对族的 LSC 猜想的反例阐明了奇点形变不变性的局限。它表明，虽然终端/典范奇点具有良好的形变性质，但具有非 klt 纤维的族中 mld 的行为是不稳定的。
• 未来方向：本文留下了四维情形的开放性，并提出了关于是否可以通过限制到 klt 除子来挽救该猜想的问题（问题 6.4）。

总之，Nakamura 和 Shibata 通过证明 PIA 猜想对于非 klt 除子在高维情形下失效，从根本上改变了人们对 PIA 猜想的理解；他们引入了“拟自由”作用的概念来解释其背后的几何结构，并为三维情形提供了严格的证明。