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

This paper establishes an intrinsic version of Thomason's fixed-point theorem to analyze the local structure and singularity types of Hilbert schemes of up to seven points in $\mathbb{A}^3$, ultimately computing equivariant Hilbert functions at singularities to verify Zhou's conjecture on the Euler characteristics of tautological sheaves for up to six points on $\mathbb{P}^3$.

The Gist

Imagine you are an architect trying to build a city where every building represents a specific arrangement of "points" (like tiny dots) in space. In mathematics, this city is called a Hilbert Scheme.

Usually, when you arrange a few points on a flat sheet of paper (2D), the city is smooth and perfect, like a pristine park. But when you move into 3D space (like a skyscraper city), things get messy. The buildings can develop cracks, sharp corners, or weird "singularities" where the geometry breaks down.

This paper by Xiaowen Hu is like a detective story where the author investigates the local structure of these 3D point-cities, specifically for small numbers of points (up to 7). Here is the breakdown of what they found, using everyday analogies:

1. The "Magic Mirror" (Localization Theorem)

The author starts by fixing a broken mirror. In math, there's a famous tool called Thomason's Localization Theorem that helps calculate properties of these cities by looking only at the "fixed points" (the most stable, unmoving spots).

• The Problem: The old mirror only worked if the city was perfectly smooth and could be embedded in a bigger, perfect world. But our 3D point-cities are often cracked and irregular.
• The Fix: The author invented a new, more flexible version of the mirror. It allows them to look at the "cracked" spots directly, without needing the city to be perfect first. This is like being able to measure the stability of a crumbling house just by looking at its foundation, without needing to rebuild the whole neighborhood first.

2. The "Blueprints" (Haiman Equations)

To understand the cracks, the author used a set of complex blueprints called Haiman Equations. These are like the mathematical DNA of the point-cities.

• The Challenge: These blueprints are incredibly complicated, filled with thousands of variables.
• The Trick: The author found a way to simplify these blueprints. They realized that many of the complicated equations could be "folded" or transformed into much simpler shapes.
• The Discovery: For points with 6 or fewer "extra dimensions" (a measure of how weird the crack is), the messy blueprints actually simplify into a very famous, elegant shape: the Grassmannian Cone.
  • Analogy: Imagine trying to describe a twisted, knotted piece of rope. The author realized that if you untie it just right, it's actually just a perfect, smooth cone made of a specific type of fabric (the Grassmannian). This means all these "cracked" points are actually the same type of crack, just in different locations.

3. The "Tripod" and the "Pyramid"

The author categorized the different types of cracks based on the shape of the points:

• Pyramids: These are the most symmetric arrangements. The author found that even these "perfect" pyramids can have cracks, but the cracks follow a very predictable pattern (like a critical point on a hill).
• Tripods: These are arrangements where the points look like a three-legged stool. The author found that almost all the "weird" cracks in these cities happen at Tripod-like spots.
• The "Non-Borel" Mystery: There is one specific, very tricky arrangement (the "Non-Borel" ideal) that is hard to untangle. The author couldn't find a perfect "untying" formula for it yet, but they proved that if you assume a certain pattern holds, the math works out. It's like solving a puzzle where you have to guess the shape of the missing piece to finish the picture.

4. The "Tautological Sheaves" (The City's Inventory)

The paper also checks a famous guess (conjecture) made by Jian Zhou.

• The Guess: Zhou predicted a formula that calculates the "total inventory" (Euler characteristic) of the city's resources based on the number of points.
• The Result: Using their new "magic mirror" and the simplified blueprints, the author proved this formula is true for cities with up to 6 points.
• The 7-Point Problem: For 7 points, the formula should work, but the author hit a wall. They couldn't fully untangle the blueprints for the trickiest 7-point arrangement yet. They are 99% sure it works, but they need one more piece of the puzzle (Conjecture 4.23) to be 100% certain.

5. The Big Picture: Why Does This Matter?

• Normality and Gorenstein: The author proved that for up to 7 points, these messy 3D cities are actually "well-behaved." They are "Normal" (no hidden holes) and "Gorenstein" (they have a kind of mathematical symmetry that makes them easier to study).
• Rational Singularities: For up to 6 points, the cracks are "rational." In plain English, this means the cracks aren't too bad; you can smooth them out without losing too much information. It's like a scratch on a car that can be buffed out, rather than a dent that ruins the frame.

Summary

Think of this paper as a geological survey of a strange new planet.

1. The planet (Hilbert Scheme) is full of jagged, broken terrain.
2. The author built a new tool (the revised Localization Theorem) to map it.
3. They discovered that the jagged rocks aren't random; they are all made of the same special crystal (the Grassmannian cone).
4. They proved that the planet's "inventory" (the Euler characteristic) follows a specific, beautiful rule for small populations.
5. They left a note for the next explorer: "The rule probably works for 7 points too, but I need a better map to prove it."

This work bridges the gap between the messy reality of 3D geometry and the elegant, predictable formulas mathematicians love, showing that even in chaos, there is hidden order.

Technical Summary

Here is a detailed technical summary of the paper "On singular Hilbert schemes of points: Local structures and tautological sheaves" by Xiaowen Hu.

1. Problem Statement

The paper addresses two interconnected problems in algebraic geometry concerning Hilbert schemes of points on higher-dimensional varieties, specifically focusing on the singular case of $\text{Hilb}^n(\mathbb{A}^3)$ (and by extension, smooth 3-folds).

• The Singularity Problem: While Hilbert schemes of points on smooth surfaces ($\text{Hilb}^n(\mathbb{A}^2)$) are smooth, those on varieties of dimension $\ge 3$ are generally singular, non-reduced, and reducible. The paper aims to determine the local structure of these singularities for small $n$ (specifically $n \le 7$).
• The Tautological Sheaf Conjecture: The author investigates a conjecture proposed by Jian Zhou (and Wang) regarding the generating functions of Euler characteristics of tautological sheaves on Hilbert schemes. Specifically, for a smooth projective scheme $X$ and line bundles $K, L$, the conjecture posits a specific exponential formula relating the Euler characteristics of exterior powers of tautological bundles on $\text{Hilb}^n(X)$ to the Euler characteristics of the bundles on $X$. The paper seeks to verify this conjecture for smooth proper toric 3-folds, where the Hilbert schemes are singular.

2. Methodology

The author employs a combination of equivariant localization, explicit algebraic geometry computations, and combinatorial analysis of monomial ideals.

• Equivariant Localization (Thomason's Theorem):

  • The paper establishes an intrinsic version of Thomason's fixed-point theorem for singular schemes with torus actions.
  • Crucially, the author removes the requirement for a global equivariant embedding into a regular scheme. Instead, the formula for the Euler characteristic is expressed in terms of the equivariant Hilbert functions of the completed local rings at the fixed points.
  • Formula: $\sum (-1)^i H^i(X, \mathcal{F}) = \sum_{x \in X^T} (\mathcal{F}_x / \mathfrak{m}_x \mathcal{F}_x) \cdot H(\widehat{\mathcal{O}}_{X,x}; t)$.

• Haiman's Equations and Local Structures:

  • The local structure of $\text{Hilb}^n(\mathbb{A}^3)$ at monomial ideals is described using Haiman's defining equations.
  • The author distinguishes between Borel ideals (fixed by the Borel subgroup of $GL(3)$) and non-Borel ideals.
  • A systematic algorithm (Algorithm 4.21) is used to simplify Haiman equations via unipotent isomorphisms and change of variables. This involves eliminating variables and reducing the defining ideals to simpler forms.

• Superpotentials and Critical Loci:

  • For specific partitions (pyramids), the local rings are shown to be isomorphic to the critical locus of a superpotential function $F$.
  • The author explicitly constructs these superpotentials for various cases.

• Grassmannian Connections:

  • A key finding is that for many singular points (specifically those with "extra dimension" 6), the local structure is isomorphic to the cone over the Grassmannian $\mathbb{G}(2,6)$ times an affine space ($\widehat{\mathbb{G}}(2,6) \times \mathbb{A}^k$).
  • The author verifies this by transforming the simplified Haiman ideals into the Plücker ideal of $\mathbb{G}(2,6)$ via explicit (often fractional) change of variables.

• Computational Verification:

  • Extensive computations were performed using Macaulay2 to handle the complex Gröbner basis calculations and change of variables, particularly for non-Borel ideals where explicit formulas are difficult to derive by hand.

3. Key Contributions and Results

A. Local Structure of $\text{Hilb}^n(\mathbb{A}^3)$ for $n \le 7$

• Proposition 1.5 / Theorem 1.6: For $n \le 7$, if a point $z \in \text{Hilb}^n(\mathbb{A}^3)$ has an embedded dimension of $3n+6$, its local structure is isomorphic to an open subset of$\widehat{\mathbb{G}}(2,6) \times \mathbb{A}^{3n-9}$.
• Singularity Types: The paper shows that points with the same "extra dimension" (a measure of singularity defined as $\dim T_z \text{Hilb}^n - 3n$) share the same singularity type.
  • For $n \le 6$, $\text{Hilb}^n(X)$ is normal, Gorenstein, and has only rational singularities.
  • For $n=7$, the scheme is normal and Gorenstein, but the rationality of singularities is expected but not fully proven (requires Conjecture 4.23).
• Non-Borel Ideals: The author provides an explicit equivariant isomorphism for the unique non-Borel monomial ideal of colength 6 ($\lambda_{1311}$), showing it also fits the $\widehat{\mathbb{G}}(2,6)$ pattern. For colength 7 non-Borel ideals, the author proposes Conjecture 4.23, asserting a similar structure.

B. Verification of Zhou's Conjecture

• Theorem 1.7: The paper verifies Zhou's conjecture (Conjecture 1.1) for smooth proper toric 3-folds modulo $Q^7$.
• Conditional Result: Assuming Conjecture 4.23 (regarding the local structure of non-Borel ideals of colength 7), the conjecture is verified modulo $Q^8$.
• Generalization: Using degeneration techniques from previous work, the result extends to all smooth proper 3-folds.

C. Equivariant Hilbert Functions

• The paper computes the equivariant Hilbert functions $H(A_\lambda; t)$ for the local rings at singular fixed points.
• These functions are shown to satisfy a self-reciprocal law (related to the Gorenstein property) and are expressed in terms of the character of the Grassmannian cone.

D. Phenomenology and Conjectures

• Tripod Ideals: The author introduces "tripod ideals" and conjectures that Borel ideals with extra dimension 6 are precisely these tripod ideals.
• Similar Shapes: A conjecture is proposed that partitions with "similar shapes" (relative positions of minimal lattices) and the same extra dimension yield singularities of the same type.

4. Significance

• Resolution of Singularities: The paper provides the first comprehensive classification of local structures for Hilbert schemes of points on 3-folds up to $n=7$, revealing a surprising uniformity (the $\widehat{\mathbb{G}}(2,6)$ pattern) among seemingly different singularities.
• Computational Algebraic Geometry: It demonstrates the power of combining theoretical localization theorems with heavy computational algebra (Macaulay2) to solve problems where explicit geometric descriptions are intractable.
• Progress on Tautological Sheaves: By verifying Zhou's conjecture for 3-folds, the paper bridges the gap between the well-understood 2-dimensional case (where Hilbert schemes are smooth) and the complex higher-dimensional singular case. It suggests that the combinatorial formulas for Euler characteristics hold even when the underlying moduli space is singular.
• McKay Correspondence: The work connects the geometry of Hilbert schemes to the McKay correspondence and stacky Riemann-Roch, providing evidence for the validity of K-theoretical pushforwards in singular settings.

In summary, this paper significantly advances the understanding of the geometry of Hilbert schemes in dimension 3, establishing that despite their singular nature, they possess a highly structured local geometry that allows for the computation of global invariants like Euler characteristics.