2025-11-10T02:30:52.157455

Upper bound on the multiplicity of rational and Du Bois singularities

Park

This paper resolves a question of Huneke and Watanabe by proving a sharp upper bound for the multiplicity of Du Bois singularities: at a point of a $d$-dimensional variety with Du Bois singularities and embedding dimension $e$, the multiplicity is at most $\binom{e}{d}$. Additionally, the result recovers the previously known upper bound for the multiplicity of rational singularities.

academic

Upper bound on the multiplicity of rational and Du Bois singularities

基本信息

论文ID: 2509.21807
标题: Upper bound on the multiplicity of rational and Du Bois singularities
作者: Sung Gi Park (Princeton University & Institute for Advanced Study)
分类: math.AG (代数几何)
发表时间: 2025年10月17日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2509.21807

摘要

本文解决了Huneke和Watanabe提出的一个问题，证明了Du Bois奇点重数的一个尖锐上界：在具有Du Bois奇点的d维簇的一点处，若嵌入维数为e，则重数至多为 $\binom{e}{d}$ 。此外，该结果还恢复了先前已知的有理奇点重数上界。

研究背景与动机

问题起源: 该研究源于Fujita猜想的研究。Helmke在试图证明关于伴随线性系统自由性的Fujita猜想时，获得了对数典范对(X,D)的对数典范中心重数上界。
理论背景:
- Kollár-Kovács的重要结果表明任何对数典范中心的并都具有Du Bois奇点
- Kawamata的子伴随公式意味着最小对数典范中心具有有理奇点
- 这些结果促使人们期望将Helmke的重数界推广到具有Du Bois或有理奇点的簇
具体问题: Huneke-Watanabe使用交换代数方法证明了有理奇点的上界 $\text{mult}_x(X) \leq \binom{e-1}{d-1}$ ，并提出问题：对于Du Bois奇点是否有上界 $\text{mult}_x(X) \leq \binom{e}{d}$ ？
研究意义: 重数界在代数几何中具有重要意义，特别是在奇点理论和双有理几何中，为理解奇点的复杂性提供定量工具。

核心贡献

主要定理: 证明了Du Bois奇点和有理奇点重数的尖锐上界
方法创新: 基于奇点解消中的Koszul复形论证，结合一维情况的重数界
问题解决: 完全解决了Huneke-Watanabe提出的开放问题
理论统一: 用统一方法处理了Du Bois奇点和有理奇点两种情况
猜想提出: 基于最小对数差异提出了更一般的重数界猜想

方法详解

任务定义

给定d维簇X上一点x，其中X在x处具有Du Bois奇点（或有理奇点），嵌入维数 $e = \dim m_x/m_x^2$ ，目标是证明重数 $\text{mult}_x X$ 的上界。

核心方法架构

1. 一维基础引理 (Lemma 2.1)

对于满足S₁条件的曲线C和闭点x∈C，若存在自然包含： $\mu_*\mathcal{O}_{\text{Bl}_x C}(-k E_x) \subset \mathcal{O}_C$ 则有重数界： $\text{mult}_x C \leq \binom{e+k-1}{k}$

2. Koszul复形构造

利用Cartier除子 $D_1, \ldots, D_r$ 构造Koszul复形： $K_\bullet(\phi): 0 \to \bigwedge^r E \to \cdots \to E \to \mathcal{O}_X \to 0$ 其中 $E = \bigoplus_{i=1}^r \mathcal{O}_X(-D_i)$

有理奇点情况的证明策略

设置: 取x∈X为有理奇点， $f: \text{Bl}_x X \to X$ 为爆破， $g: \tilde{X} \to \text{Bl}_x X$ 为奇点解消
超平面截面: 选择一般超平面截面 $H_1, \ldots, H_{d-1}$ 通过x，得到曲线 $C = H_1 \cap \cdots \cap H_{d-1}$
Koszul复形比较: 构造两个Koszul复形的态射： $K_\bullet(\psi) \otimes \mathcal{O}_{\tilde{X}}(-(d-1)\tilde{E}_x) \to K_\bullet(\phi)$
有理奇点性质: 利用 $R\mu_*\mathcal{O}_{\tilde{X}} = \mathcal{O}_X$ 得到自然包含
应用一维结果: 得到重数界 $\binom{e-1}{d-1}$

Du Bois奇点情况的证明策略

嵌入设置: 将X嵌入光滑簇W中，在x处爆破W
对数解消: 取对数解消使得 $(f \circ g)^{-1}(X) = E + F$ 为约化简单正规交叉除子
Du Bois复形: 利用Du Bois复形的拟同构： $R\mu_*\Omega^0_{\tilde{W},E \cup F} = \Omega^0_{W,X}$
理想层关系: 当W和X都是Du Bois时，得到： $R\mu_*\mathcal{O}_{\tilde{W}}(-F-E) = I_{W,X}$
Koszul复形构造: 构造包含 $\mathcal{O}_{\tilde{W}}(-F-E)$ 的更复杂Koszul复形
最终界: 通过类似论证得到重数界 $\binom{e}{d}$

技术创新点

统一框架: 用Koszul复形提供了处理两种奇点的统一方法
维数约化: 巧妙地将高维问题约化为一维曲线的重数计算
几何与代数结合: 将几何的奇点解消与代数的Koszul复形理论结合
自然包含构造: 通过复形态射构造关键的自然包含关系

实验设置

理论验证

作为纯数学理论论文，本文不涉及数值实验，而是通过严格的数学证明验证结果。

边界例子

Du Bois奇点的边界例子:

在仿射空间 $A^e$ 中，取X为d个坐标轴张成的d维平面的并
X是 $\binom{e}{d}$ 个d维平面的并
可证明X具有Du Bois奇点且 $\text{mult}_x X = \binom{e}{d}$
这表明定理中的上界是尖锐的

界的尖锐性: 通过明确的边界例子证明了上界的最优性
方法的普适性: 同一套方法可以处理两种不同类型的奇点
与已有结果的关系:
- 恢复了Huneke-Watanabe的有理奇点结果
- 推广了Helmke在对数典范中心上的工作
- 确认了Shibata在Cohen-Macaulay情况下的部分结果