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

特異なヒルベルト点スキームについて：局所構造と標準層

基本情報

論文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個の点のヒルベルトスキームの局所構造を決定する。特に、これらの場合において、同じ余次元を持つ点が同じ特異点型を持つことを証明する。これらの結果を利用して、特異点における等変ヒルベルト関数を計算し、 $\mathbb{P}^3$ 上の最大6個の点のヒルベルトスキーム上の位相層のオイラー特性に関するZhouの予想を検証する。

研究背景と動機

本論文の研究の中心的問題は、高次元ヒルベルトスキームの特異点構造であり、これは代数幾何学における重要かつ困難な問題である。

問題の重要性: ヒルベルトスキームは与えられたヒルベルト多項式を持つ閉部分スキームをパラメータ化するモジュライ空間であり、代数幾何学において基礎的な地位を占める。曲面上の点のヒルベルトスキームは滑らかであるが、高次元の場合は通常特異である。
既存の限界:
- 3次元以上の空間における点のヒルベルトスキームの特異点構造についての理解が不足している
- 等変コホモロジーを扱うための有効な計算ツールが欠けている
- 位相層のオイラー特性に関するZhouの予想の検証が不足している
研究の動機:
- 高次元ヒルベルトスキームの局所構造の理解はモジュライ理論にとって重要である
- Zhouの予想の検証はヒルベルトスキーム上の位相層のコホモロジー性質の理解に不可欠である
- 特異な場合の等変理論を扱うための新しい計算技術の開発

核心的貢献

Thomasonの局所化定理の内在的バージョンを証明し、正則スキームへの全体的等変埋め込みの仮定を必要としない
$\mathbb{A}^3$ における最大7個の点のヒルベルトスキームの局所構造を完全に決定
同じ余次元を持つ点が同じ特異点型を持つという重要な現象を証明
すべての関連する特異点の等変ヒルベルト関数を計算
$\mathbb{P}^3$ 上の最大6個の点の場合についてZhouの予想を検証
$\text{Hilb}^n(X)$ が $n \leq 7$ に対して正規でありGorenstein的であり、 $n \leq 6$ に対して有理特異点を持つことを証明

方法の詳細

理論的枠組み

本論文の方法は3つの核心的技術に基づいている：

改良された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)$ は完備局所環の等変ヒルベルト関数である
Haimanの座標系:
- Haimanの明示的方程式を使用してヒルベルトスキームの局所構造を記述
- $r$ 次元分割 $\lambda$ に対して、Haiman座標 $c_i^j$ が特定の関係を満たすように定義
等変ヒルベルト関数の計算:
- 環 $R = S/I$ に対して、等変ヒルベルト関数を以下のように定義： $H(R;t) = \frac{\sum_{i=0}^d (-1)^i \text{Tor}_i^S(R,k)}{\prod_{j=1}^d (1-t^{w_j})}$