2025-11-10T02:56:47.642003

On singular Hilbert schemes of points: Local structures and tautological sheaves

We show an intrinsic version of Thomason's fixed-point theorem. Then we determine the local structure of the Hilbert scheme of at most $7$ points in $\mathbb{A}^3$. In particular, we show that in these cases, the points with the same extra dimension have the same singularity type. Using these results, we compute the equivariant Hilbert functions at the singularities and verify a conjecture of Zhou on the Euler characteristics of tautological sheaves on Hilbert schemes of points on $\mathbb{P}^3$ for at most $6$ points.

academic

On singular Hilbert schemes of points: Local structures and tautological sheaves

基本信息

论文ID: 2101.05236
标题: On singular Hilbert schemes of points: Local structures and tautological sheaves
作者: Xiaowen Hu (Great Bay University)
分类: math.AG (代数几何), math.AC (交换代数)
发表期刊: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 15
论文链接: https://arxiv.org/abs/2101.05236

摘要

本文展示了Thomason固定点定理的一个内在版本，然后确定了 $\mathbb{A}^3$ 中至多7个点的Hilbert概形的局部结构。特别地，证明了在这些情况下，具有相同额外维数的点具有相同的奇点类型。利用这些结果，计算了奇点处的等变Hilbert函数，并验证了Zhou关于 $\mathbb{P}^3$ 上至多6个点的Hilbert概形上拓扑层的Euler特征的猜想。

研究背景与动机

本文研究的核心问题是高维Hilbert概形的奇点结构，这是代数几何中的一个重要且困难的问题。

问题重要性: Hilbert概形是参数化给定Hilbert多项式的闭子概形的模空间，在代数几何中具有基础地位。虽然曲面上的点的Hilbert概形是光滑的，但高维情况下通常是奇异的。
现有局限性:
- 对于3维及以上空间中点的Hilbert概形的奇点结构了解很少
- 缺乏有效的计算工具来处理等变上同调
- Zhou关于拓扑层Euler特征的猜想缺乏验证
研究动机:
- 理解高维Hilbert概形的局部结构对于模理论具有重要意义
- 验证Zhou猜想对于理解Hilbert概形上拓扑层的上同调性质至关重要
- 发展新的计算技术以处理奇异情况下的等变理论

核心贡献

证明了Thomason局部化定理的内在版本，不需要假设全局等变嵌入到正则概形中
完全确定了 $\mathbb{A}^3$ 中至多7个点的Hilbert概形的局部结构
证明了相同额外维数的点具有相同的奇点类型这一重要现象
计算了所有相关奇点的等变Hilbert函数
验证了Zhou猜想对于 $\mathbb{P}^3$ 上至多6个点的情况
证明了 $\text{Hilb}^n(X)$ 对于 $n \leq 7$ 是正规的、Gorenstein的，对于 $n \leq 6$ 具有有理奇点

方法详解

理论框架

本文的方法基于三个核心技术：

改进的Thomason局部化定理:
- 对于具有约化孤立固定点的代数空间 $X$ 和局部自由 $T$ -层 $F$ ，有等式： $\sum (-1)^i H^i(X,F) = \sum_{x \in X^T} (F_x/m_x F_x) \cdot H(\hat{O}_{X,x}; t)$
- 其中 $H(\hat{O}_{X,x}; t)$ 是完备局部环的等变Hilbert函数
Haiman坐标系统:
- 使用Haiman的显式方程描述Hilbert概形的局部结构
- 对于 $r$ 维分割 $\lambda$ ，定义Haiman坐标 $c_i^j$ 满足特定关系
等变Hilbert函数计算:
- 对于环 $R = S/I$ ，定义等变Hilbert函数： $H(R;t) = \frac{\sum_{i=0}^d (-1)^i \text{Tor}_i^S(R,k)}{\prod_{j=1}^d (1-t^{w_j})}$