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

Basic Information

• Paper ID: 2101.05236
• Title: On singular Hilbert schemes of points: Local structures and tautological sheaves
• Author: Xiaowen Hu (Great Bay University)
• Classification: math.AG (Algebraic Geometry), math.AC (Commutative Algebra)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 15
• Paper Link: https://arxiv.org/abs/2101.05236

Abstract

This paper presents an intrinsic version of Thomason's fixed point theorem, then determines the local structures of the Hilbert scheme of at most 7 points in $\mathbb{A}^3$. In particular, it is proven that points with the same codimension defect possess the same singularity type. Using these results, the equivariant Hilbert functions at singular points are computed, and Zhou's conjecture on the Euler characteristic of tautological sheaves on the Hilbert scheme of at most 6 points on $\mathbb{P}^3$ is verified.

Research Background and Motivation

The core problem addressed in this paper concerns the singularity structure of higher-dimensional Hilbert schemes, which is an important and difficult problem in algebraic geometry.

1. Problem Importance: The Hilbert scheme is a moduli space parametrizing closed subschemes with a given Hilbert polynomial and occupies a foundational position in algebraic geometry. While the Hilbert scheme of points on surfaces is smooth, it is typically singular in higher dimensions.
2. Existing Limitations:
   • Little is known about the singularity structure of Hilbert schemes of points in 3-dimensional and higher-dimensional spaces
   • Lack of effective computational tools for handling equivariant cohomology
   • Zhou's conjecture on the Euler characteristic of tautological sheaves lacks verification
3. Research Motivation:
   • Understanding the local structure of higher-dimensional Hilbert schemes is crucial for moduli theory
   • Verifying Zhou's conjecture is essential for understanding the cohomological properties of tautological sheaves on Hilbert schemes
   • Developing new computational techniques to handle equivariant theory in singular cases

Core Contributions

1. Proved an intrinsic version of Thomason's localization theorem, eliminating the need to assume global equivariant embedding into a regular scheme
2. Completely determined the local structures of the Hilbert scheme of at most 7 points in $\mathbb{A}^3$
3. Proved the important phenomenon that points with the same codimension defect possess the same singularity type
4. Computed the equivariant Hilbert functions for all relevant singularities
5. Verified Zhou's conjecture for at most 6 points on $\mathbb{P}^3$
6. Proved that $\text{Hilb}^n(X)$ is normal and Gorenstein for $n \leq 7$, and has only rational singularities for $n \leq 6$

Methodology in Detail

Theoretical Framework

The paper's approach is based on three core techniques:

1. Improved Thomason Localization Theorem:
   • For an algebraic space $X$ with reduced isolated fixed points and a locally free $T$-sheaf $F$, the equality holds: $\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)$
   • where $H(\hat{O}_{X,x}; t)$ is the equivariant Hilbert function of the completed local ring
2. Haiman Coordinate Systems:
   • Employs Haiman's explicit equations to describe the local structure of Hilbert schemes
   • For an $r$-dimensional partition $\lambda$, defines Haiman coordinates $c_i^j$ satisfying specific relations
3. Equivariant Hilbert Function Computation:
   • For a ring $R = S/I$, defines the equivariant Hilbert function: $H(R;t) = \frac{\sum_{i=0}^d (-1)^i \text{Tor}_i^S(R,k)}{\prod_{j=1}^d (1-t^{w_j})}$

Core Algorithm

Algorithm 4.21 (Simplifying Haiman Equations):

1. Find the glove $\mu$ of partition $\lambda$ and minimal lattice points
2. Define Haiman equations
3. Perform simple elimination on non-minimal coordinates
4. Continue elimination on remaining coordinates
5. Re-index variables

Technical Innovations

1. Localization theorem without global embedding: Avoids the difficulty of finding global equivariant embeddings through étale local charts
2. Unipotent isomorphism technique: Introduces the concept of unipotent isomorphism in Definition 4.8 to simplify complex algebraic operations
3. Singularity type classification: Discovers the important concept of "tripod ideals," revealing regularities in singularity structure

Experimental Setup

Computational Tools

• Macaulay2: For implementing Algorithm 4.21 and related computations
• Mathematica: For verifying equation (5.9)
• GitHub Repository: Provides complete computational code

Objects of Analysis

• Borel ideals: For colength at most 6
• Non-Borel ideals: Focusing on colength 6 and 7
• Pyramid ideals: Analyzed as special cases

Computational Strategy

1. Use explicit variable substitution for Borel ideals
2. Employ truncation techniques for non-Borel ideals to avoid high-degree terms
3. Verify results through isomorphisms with Grassmannian cones

Experimental Results

Main Results

Theorem 1.6: For a smooth quasi-projective 3-fold $X$:

• $\text{Hilb}^n(X)$ is normal and Gorenstein for $n \leq 7$
• $\text{Hilb}^n(X)$ has only rational singularities for $n \leq 6$

Theorem 1.7: Zhou's conjecture modulo $Q^7$ holds for smooth proper toric 3-folds

Singularity Classification Results

Proposition 4.30: For $n \leq 7$, if a point $z$ has embedding dimension $3n+6$, there exists an open neighborhood $U$ and an open immersion $U \hookrightarrow \hat{G}(2,6) \times \mathbb{A}^{3n-9}$

Equivariant Hilbert Functions

For key singularity types, the paper provides explicit equivariant Hilbert function formulas, such as:

In Corollary 5.2: Complex expressions like $H(A_{\lambda_{121}}; t)$ involving character theory of Grassmannians.

Verification of Zhou's Conjecture

Proposition 5.8: Through brute-force computation, verifies that equation (5.9) holds modulo $Q^7$ for 3-dimensional toric varieties.

Related Work

Historical Development

1. Classical Results: Fogarty proved smoothness of Hilbert schemes in the surface case
2. Haiman's Work: Provided explicit local equations
3. Wang-Zhou: Studied tautological sheaves on $\text{Hilb}^3(\mathbb{P}^3)$

Positioning of This Paper's Contributions

• Extends known results to higher dimensions and more points
• Provides systematic computational methods
• Reveals deeper regularities in singularity structure

Conclusions and Discussion

Main Conclusions

1. Structure Theorem: Singularities with the same codimension defect possess the same type, revealing deep regularities in Hilbert scheme singularities
2. Computational Achievement: Successfully computed complex equivariant Hilbert functions
3. Conjecture Verification: Provides strong evidence for Zhou's conjecture

Limitations

1. Computational Complexity: Handling non-Borel ideals still relies on complex fractional variable substitution
2. Dimensional Restriction: Methods primarily apply to the 3-dimensional case
3. Point Number Restriction: Complete results only reach 7 points

Future Directions

1. Higher Dimensions: Extend to 4-dimensional and higher-dimensional spaces
2. More Points: Study cases with 8 or more points
3. Conceptual Approaches: Seek more conceptual proofs avoiding brute-force computation

In-Depth Evaluation

Strengths

1. Technical Innovation: The improved version of Thomason's theorem has important theoretical value
2. Computational Breakthrough: Achieves substantial progress on technically extremely difficult problems
3. Structural Insight: Discovers regularities in singularity types, an unexpected and important finding
4. Completeness: Provides complete computational code and verification

Weaknesses

1. Computational Dependence: Some results rely heavily on computation, lacking conceptual understanding
2. Conjecture Dependence: Complete results for 7 points depend on unproven Conjecture 4.23
3. Technical Threshold: Method complexity limits its applicability

Impact

1. Theoretical Contribution: Provides new tools and insights for Hilbert scheme theory
2. Computational Methods: Establishes a paradigm for handling complex equivariant computations
3. Future Research: Lays foundation for research on related problems

Applicable Scenarios

• Moduli space research in algebraic geometry
• Applications of equivariant cohomology theory
• Development of computational algebraic geometry methods

References

This paper cites important literature in the field, including:

• Haiman's pioneering work on Hilbert scheme equations
• Thomason's equivariant localization theorem
• Wang-Zhou's research on tautological sheaves
• Related computational algebraic geometry literature

Overall Assessment: This is a technically profound and challenging paper that achieves important progress on the core problem of Hilbert scheme theory. While the methods are complex, the results have significant theoretical value, providing new perspectives for understanding the singularity structure of higher-dimensional moduli spaces.