pith. sign in

arxiv: 2101.05236 · v6 · pith:GOP5U3LEnew · submitted 2021-01-13 · 🧮 math.AG · math.AC

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

Xiaowen Hu This is my paper

Pith reviewed 2026-05-24 14:17 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords Hilbert schemes of pointssingularitiesextra dimensiontautological sheavesequivariant Hilbert functionsEuler characteristicsZhou conjectureThomason fixed-point theorem
0
0 comments X

The pith

The local structure of Hilbert schemes of at most 7 points in affine 3-space is determined solely by an extra dimension parameter.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves an intrinsic version of Thomason's fixed-point theorem and applies it to describe the local structure of the Hilbert scheme of n points in A^3 for n at most 7. It establishes that points sharing the same extra dimension value have identical singularity types. These local descriptions are then used to compute the equivariant Hilbert functions at the singular points and to confirm a conjecture of Zhou on the Euler characteristics of tautological sheaves on the Hilbert scheme of points on P^3 for n at most 6.

Core claim

An intrinsic version of Thomason's fixed-point theorem determines the local structure of the Hilbert scheme of at most 7 points in A^3, showing that points with the same extra dimension have the same singularity type. This classification yields explicit equivariant Hilbert functions at the singularities and verifies Zhou's conjecture on the Euler characteristics of tautological sheaves for Hilbert schemes of points on P^3 when there are at most 6 points.

What carries the argument

The extra dimension parameter, which classifies all singularity types in the Hilbert scheme of n≤7 points in A^3 once the intrinsic Thomason fixed-point theorem is applied.

If this is right

  • Equivariant Hilbert functions at the singularities become explicitly computable from the extra dimension.
  • Zhou's conjecture on Euler characteristics of tautological sheaves holds for n≤6 on P^3.
  • The singularity type is uniform across all points with a fixed extra dimension value when n≤7.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same extra-dimension classification might extend to n>7 if the intrinsic theorem continues to apply without additional obstructions.
  • The local uniformity could be tested on Hilbert schemes of points on other three-dimensional varieties beyond A^3 and P^3.
  • Explicit formulas for the Hilbert functions might simplify further calculations of invariants on these singular loci.

Load-bearing premise

That the intrinsic Thomason fixed-point theorem applies directly to the Hilbert scheme of points in A^3 and reduces the classification of singularities to the extra dimension parameter alone.

What would settle it

Finding two distinct points in the Hilbert scheme of 7 points in A^3 that share the same extra dimension but exhibit different local singularity types.

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper establishes an intrinsic version of Thomason's fixed-point theorem. It then determines the local structures of the Hilbert scheme Hilb^n(A^3) for n ≤ 7, proving in particular that points with the same extra dimension share the same singularity type. These results are used to compute equivariant Hilbert functions at the singularities and to verify Zhou's conjecture on the Euler characteristics of tautological sheaves on Hilb^n(P^3) for n ≤ 6.

Significance. If the claims hold, the work supplies an explicit classification of singularities in low-order Hilbert schemes of points on affine 3-space together with concrete computational consequences for equivariant invariants and a conjecture verification. The intrinsic reformulation of Thomason's theorem is a technical contribution that may apply more broadly to equivariant K-theory on moduli spaces. The explicit verification for n ≤ 6 provides a concrete check that can inform generalizations.

major comments (2)
  1. [local structures section] The section on local structures (following the intrinsic Thomason theorem): the claim that the theorem directly implies that equal extra dimension forces isomorphic local rings (hence identical singularity types) for all points arising in Hilb^n(A^3), n ≤ 7, requires an explicit argument that the output invariant separates all isomorphism classes of local rings that occur; if the invariant is coarser than the full local ring, the classification used for the Hilbert-function computations would not follow.
  2. [Zhou conjecture verification] The verification of Zhou's conjecture (final computational section): the Euler-characteristic calculations for n = 6 rely on the preceding classification of singularities by extra dimension; any incompleteness in the separation property of the Thomason datum would propagate directly into these values.
minor comments (2)
  1. Notation for the extra-dimension parameter should be introduced once with a clear definition and used consistently thereafter.
  2. A brief comparison table of the singularity types obtained for each n ≤ 7 would improve readability of the classification results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [local structures section] The section on local structures (following the intrinsic Thomason theorem): the claim that the theorem directly implies that equal extra dimension forces isomorphic local rings (hence identical singularity types) for all points arising in Hilb^n(A^3), n ≤ 7, requires an explicit argument that the output invariant separates all isomorphism classes of local rings that occur; if the invariant is coarser than the full local ring, the classification used for the Hilbert-function computations would not follow.

    Authors: We agree that the manuscript would benefit from an explicit argument confirming that the invariant arising from the intrinsic Thomason theorem separates all isomorphism classes of local rings that appear in Hilb^n(A^3) for n≤7. In the revised version we will insert a short subsection immediately after the statement of the intrinsic theorem. This subsection will recall the explicit list of monomial ideals (or their deformations) that realize each extra dimension for n≤7 and verify case-by-case that distinct local rings produce distinct Thomason data; the argument relies only on the already-computed Hilbert functions and the definition of the intrinsic fixed-point invariant, so no new computations are required. revision: yes

  2. Referee: [Zhou conjecture verification] The verification of Zhou's conjecture (final computational section): the Euler-characteristic calculations for n = 6 rely on the preceding classification of singularities by extra dimension; any incompleteness in the separation property of the Thomason datum would propagate directly into these values.

    Authors: The dependence is acknowledged. Once the separation argument described above is added, the classification by extra dimension becomes rigorously justified, and the Euler-characteristic values for n=6 will rest on a complete separation of the relevant local rings. We will also add a brief remark in the computational section cross-referencing the new subsection to make the logical dependence explicit. revision: yes

Circularity Check

0 steps flagged

No circularity; classification and computations rest on external Thomason theorem plus explicit local analysis

full rationale

The paper first proves an intrinsic version of Thomason's fixed-point theorem (external reference), then applies it to determine local rings of Hilb^n(A^3) for n≤7 by direct computation of the extra-dimension invariant. The claim that equal extra dimension implies equal singularity type is a derived statement, not a definition. Downstream Hilbert-function calculations and Zhou-conjecture verification are explicit evaluations on the classified singularities. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are identifiable from the provided text.

pith-pipeline@v0.9.0 · 5607 in / 1159 out tokens · 28636 ms · 2026-05-24T14:17:05.931874+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Unrestrictions and concise secant varieties

    math.AG 2026-04 unverdicted novelty 7.0

    Concise secant varieties are defined as modular partial desingularizations of secant varieties to Segre embeddings that are birational to abstract secant varieties with points corresponding exactly to concise minimal ...

  2. The Hilbert scheme of points on a threefold: broken Gorenstein structures and linkage

    math.AG 2024-09 unverdicted novelty 7.0

    Introduces broken Gorenstein structures that guarantee smoothness on the Hilbert scheme of points on threefolds, with characterizations for monomial ideals and proofs of Hu's conjectures.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 2 Pith papers

  1. [1]

    The ´ etale local stru cture of algebraic stacks

    [AHD19] Alper, Jarod; Hall, Jack; Rydh, David. The ´ etale local stru cture of algebraic stacks. arXiv preprint arXiv:1912.06162. 6 [Bay82] Bayer, David. The division algorithm and the Hilbert scheme, P h.D. thesis, Harvard Univ., Boston, MA,

    work page arXiv 1912

  2. [2]

    Computation of Hilbert functions

    12 [BS92] Bayer, Dave; Stillman, Mike. Computation of Hilbert functions . J. Symbolic Comput. 14 (1992), no. 1, 31–50. 10 [BBS13] Behrend, Kai; Bryan, Jim; Szendr˝ oi, Bal´ azs. Motivic degr ee zero Donaldson-Thomas in- variants. Invent. Math. 192 (2013), no. 1, 111–160. 34 [Ber12] Bertin, Jos´ e. The punctual Hilbert scheme: an introduct ion. Geometric m...

    work page 1992

  3. [3]

    Hilbert schemes of 8 points

    6 [CEVV09] Cartwright, Dustin A.; Erman, Daniel; Velasco, Mauricio; Vir ay, Bianca. Hilbert schemes of 8 points. Algebra Number Theory 3 (2009), no. 7, 763–795. 15 [DJNT17] Douvropoulos, Theodosios; Jelisiejew, Joachim; Nødland, Bernt Ivar Utstøl; Teitler, Zach. The Hilbert scheme of 11 points in A3 is irreducible. Combinatorial algebraic geom- etry, 321–...

    work page 2009

  4. [4]

    Nonabelian localization in equivariant K-theory and Riemann-Roch for quotients

    43 [EG05] Edidin, Dan; Graham, William. Nonabelian localization in equivariant K-theory and Riemann-Roch for quotients. Adv. Math. 198 (2005), no. 2, 547–

    work page 2005

  5. [5]

    On t he cobordism class of the Hilbert scheme of a surface

    43, 44 [EGL01] Ellingsrud, Geir; G¨ ottsche, Lothar; Lehn, Manfred. On t he cobordism class of the Hilbert scheme of a surface. J. Algebraic Geom. 10 (2001), no. 1, 81–100 . 2 [God61] Godement, Roger. Groupes lin´ eaires alg´ ebriques sur un corps parfait. S´ eminaire Bourbaki, Vol. 6, Exp. No. 206, 11–32, Soc. Math. France, Paris,

    work page 2001

  6. [6]

    The Betti numbers of the Hilbert scheme of points on a smooth projective surface

    15 [G¨ ot90] G¨ ottsche, Lothar. The Betti numbers of the Hilbert scheme of points on a smooth projective surface. Math. Ann. 286 (1990), no. 1-3, 193–207. 2 [GS93] G¨ ottsche, Lothar; Soergel, Wolfgang. Perverse sheave s and the cohomology of Hilbert schemes of smooth algebraic surfaces. Math. Ann. 296 (1993), n o. 2, 235–245. 2 [Got78] Gotzmann, Gerd. E...

    work page 1990

  7. [7]

    An inclusion-exclusion principle for tautological s heaves on Hilbert schemes of points

    22 72 [Hu21] Hu, Xiaowen. An inclusion-exclusion principle for tautological s heaves on Hilbert schemes of points. arXiv:2101.05179. 4, 43 [Hui06] Huibregtse, Mark E. An elementary construction of the mult igraded Hilbert scheme of points. Pacific J. Math. 223 (2006), no. 2, 269–315. 3, 16, 17 [Iar72] Iarrobino, A. Reducibility of the families of 0-dimensi...

    work page arXiv 2006

  8. [8]

    A fixed point formula for action of tori on algebraic varieties

    12 [Ive72] Iversen, Birger. A fixed point formula for action of tori on algebraic varieties. Invent. Math. 16 (1972), 229–236. 12 [Jel20] Jelisiejew, Joachim. Pathologies on the Hilbert scheme of point s. Invent. Math. 220 (2020), no. 2, 581–610. 4, 15 [Kat94] Katz, Sheldon. The desingularization of Hilb 4(P3) and its Betti numbers. Zero-dimensional scheme...

    work page 1972

  9. [9]

    Rational, log canonical, Du Bois singular ities: on the conjectures of Koll´ ar and Steenbrink

    4, 23 [Kov99] Kov´ acs, S´ andor J. Rational, log canonical, Du Bois singular ities: on the conjectures of Koll´ ar and Steenbrink. Compositio Math. 118 (1999), no. 2, 123–1

    work page 1999

  10. [10]

    Remarks on the derived McKay correspon dence for Hilbert schemes of points and tautological bundles

    49 [Kru18] Krug, Andreas. Remarks on the derived McKay correspon dence for Hilbert schemes of points and tautological bundles. Math. Ann. 371 (2018), no. 1-2, 461–486. 2, 3 [LB15] Lakshmibai, V.; Brown, Justin. The Grassmannian variety. Ge ometric and representation- theoretic aspects. Developments in Mathematics,

    work page 2018

  11. [11]

    Cohomology of the Hilbert scheme of points on a surface with values in repre- sentations of tautological bundles

    9, 12 [Sca09] Scala, Luca. Cohomology of the Hilbert scheme of points on a surface with values in repre- sentations of tautological bundles. Duke Math. J. 150 (2009), no . 2, 211–267. 2, 3, 43 [Sta78] Stanley, Richard P. Hilbert functions of graded algebras. A dvances in Math. 28 (1978), no. 1, 57–83. 11 [Ste03] Stevens, Jan. Deformations of singularities...

    work page 2009

  12. [12]

    Equivariant completion

    23 [Sum75] Sumihiro, Hideyasu. Equivariant completion. II. J. Math. Ky oto Univ. 15 (1975), no. 3, 573–605. 9 [Tho83] Thomason, R. W. Algebraic K-theory of group scheme actio ns. Algebraic topology and algebraic K-theory (Princeton, N.J., 1983), 539–563, Ann. of Mat h. Stud., 113, Princeton Univ. Press, Princeton, NJ,

    work page 1975

  13. [13]

    5 73 [Tho86] Thomason, R. W. Lefschetz-Riemann-Roch theorem and c oherent trace formula. Invent. Math. 85 (1986), no. 3, 515–543. 5 [Tho92] Thomason, R. W. Une formule de Lefschetz en K-th´ eorie ´ equivariante alg´ ebrique. Duke Math. J. 68 (1992), no. 3, 447–462. 5, 7, 9, 12 [WZ14] Wang, Zhilan; Zhou, Jian. Tautological sheaves on Hilbert sch emes of po...

    work page 1986