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

Alessio Sammartano; Joachim Jelisiejew; Ritvik Ramkumar

arxiv: 2409.17009 · v2 · submitted 2024-09-25 · 🧮 math.AG · math.AC

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

Joachim Jelisiejew , Ritvik Ramkumar , Alessio Sammartano This is my paper

Pith reviewed 2026-05-23 20:25 UTC · model grok-4.3

classification 🧮 math.AG math.AC

keywords Hilbert scheme of pointsbroken Gorenstein structuresmoothnessthreefoldlinkagemonomial idealsdeformation theorynested Hilbert schemes

0 comments

The pith

A broken Gorenstein structure on a finite scheme guarantees that its point on the Hilbert scheme of a smooth threefold is smooth.

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

The paper defines a broken Gorenstein structure for finite schemes supported on a smooth threefold. It proves that the existence of this structure ensures the corresponding point lies at a smooth point of the Hilbert scheme. The authors conjecture that the condition is also necessary, so that every smooth point admits such a structure. They give an explicit list of the smooth monomial ideals in the affine case and prove several earlier conjectures on the singular locus. The work also yields results on linkage classes and nested Hilbert schemes.

Core claim

We introduce the notion of a broken Gorenstein structure for finite schemes and prove that its presence implies smoothness of the point in the Hilbert scheme of points on a smooth threefold. We conjecture that this condition is necessary as well as sufficient.

What carries the argument

The broken Gorenstein structure, a new notion for finite schemes that is compatible with their deformation theory and forces the point on the Hilbert scheme to be smooth.

If this is right

The smooth points on the Hilbert scheme of A^3 that correspond to monomial ideals admit an explicit combinatorial characterization.
Several conjectures of Hu on the singular locus of these Hilbert schemes are settled.
New results are obtained on linkage classes of finite schemes and on the geometry of nested Hilbert schemes.
An auxiliary vector bundle is constructed on the Hilbert scheme of a surface.

Where Pith is reading between the lines

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

If the conjecture is true, the existence of a broken Gorenstein structure could serve as a practical test for smoothness.
The same notion might supply a uniform criterion for smoothness in other moduli spaces of zero-dimensional schemes.
The linkage results could be used to study Gorenstein linkage in settings of higher codimension.

Load-bearing premise

The threefold is smooth and the broken Gorenstein structure is compatible with the standard deformation theory of finite schemes.

What would settle it

A point on the Hilbert scheme that is smooth yet admits no broken Gorenstein structure, or a point equipped with such a structure that turns out to be singular.

Figures

Figures reproduced from arXiv: 2409.17009 by Alessio Sammartano, Joachim Jelisiejew, Ritvik Ramkumar.

read the original abstract

We investigate the Hilbert scheme of points on a smooth threefold. We introduce a notion of broken Gorenstein structure for finite schemes, and show that its existence guarantees smoothness on the Hilbert scheme. Moreover, we conjecture that it is exhaustive: every smooth point admits a broken Gorenstein structure. We give an explicit characterization of the smooth points on the Hilbert scheme of A^3 corresponding to monomial ideals. We investigate the nature of the singular points, and prove several conjectures by Hu. Along the way, we obtain a number of additional results, related to linkage classes, nested Hilbert schemes, and a bundle on the Hilbert scheme of a surface.

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.

Desk Editor's Note private letter to a colleague

The paper defines broken Gorenstein structures on finite schemes, proves they imply smoothness on the Hilbert scheme of points on a smooth threefold, conjectures the converse, gives explicit monomial characterizations in A^3, and settles some of Hu's conjectures.

read the letter

The core advance is the introduction of broken Gorenstein structures. The authors show that when a finite subscheme carries one, the corresponding point on the Hilbert scheme is smooth. They conjecture the structure is also necessary for smoothness and supply an explicit list of which monomial ideals in A^3 satisfy the condition. They further prove several conjectures of Hu and record side results on linkage classes, nested Hilbert schemes, and a vector bundle on the surface case. These pieces are concrete and directly usable. The monomial classification in particular gives something a reader can check by hand or code. The linkage and bundle statements look like they could feed into other calculations without much extra work. The setup assumes a smooth threefold, which is the usual context, and the definition is framed to mesh with standard deformation theory of finite schemes. No obvious circularity or post-hoc fitting appears in the claims. The main limitation is that the converse remains a conjecture, so the criterion is sufficient but not yet known to be necessary. Without the full proofs it is hard to judge how much extra machinery the definition requires or whether it extends cleanly beyond the monomial case, but the authors flag the gap clearly. The paper is aimed at people who already work on Hilbert schemes of points, deformation theory of zero-dimensional schemes, or related questions in threefolds. A reader who needs explicit smoothness criteria or wants to test conjectures about singular loci will find usable material here. It is solid enough and grounded enough to merit a serious referee rather than a desk rejection.

Referee Report

0 major / 4 minor

Summary. The paper introduces the notion of a broken Gorenstein structure on a finite scheme supported on a smooth threefold X and proves that the existence of such a structure on a length-n subscheme Z implies that the point [Z] is smooth in Hilb^n(X). It conjectures the converse (every smooth point admits a broken Gorenstein structure) and supplies supporting evidence via an explicit characterization of the smooth locus for monomial ideals in Hilb^n(A^3). The authors also investigate the geometry of singular points, prove several conjectures of Hu, and obtain auxiliary results on linkage classes of finite schemes, nested Hilbert schemes, and the existence of a certain vector bundle on the Hilbert scheme of a surface.

Significance. If the central implication holds, the broken Gorenstein structure supplies a new, algebraically defined criterion for smoothness in the Hilbert scheme of points on threefolds, a space whose local geometry remains only partially understood. The explicit monomial characterization in A^3 and the proofs of Hu's conjectures constitute concrete progress, while the linkage and nested-Hilbert-scheme results broaden the paper's utility. The conjecture, if established, would give a complete dictionary between an intrinsic algebraic property of Z and the smoothness of [Z].

minor comments (4)

[§2] The definition of broken Gorenstein structure (presumably §2) would benefit from an explicit low-length example (e.g., length 4 or 5) immediately after the definition to illustrate the “broken” condition before the main theorems are stated.
[Theorem 3.1 (or equivalent)] In the statement of the main smoothness theorem, it is not immediately clear whether the threefold X is required to be projective or only quasi-projective; a single clarifying sentence would remove ambiguity for readers.
[Introduction] The paper proves several of Hu’s conjectures; listing the precise statements (or at least their numbers in Hu’s paper) in the introduction would help readers locate the new contributions.
[§4] A few typographical inconsistencies appear in the notation for the ideal sheaves of monomial ideals in §4; standardizing the use of bold versus script letters would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; new notion introduced independently with one-directional implication proved

full rationale

The paper defines a new concept (broken Gorenstein structure) for finite schemes and proves that its existence implies smoothness of the corresponding point on the Hilbert scheme of a smooth threefold. The converse is explicitly labeled a conjecture rather than a theorem. No equations, definitions, or derivations reduce the central claim to a self-referential fit, a renamed input, or a load-bearing self-citation chain. The setup relies on standard deformation theory of finite subschemes on smooth threefolds, with additional results on linkage and nested schemes presented as independent. This matches the default expectation of a self-contained derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the new definition of broken Gorenstein structure together with standard background results in commutative algebra and algebraic geometry; no free parameters or invented entities beyond the new structure are indicated.

axioms (1)

standard math Standard results on Hilbert schemes of points and Gorenstein rings from commutative algebra
The paper builds directly on existing theory of finite schemes and their deformations.

invented entities (1)

broken Gorenstein structure no independent evidence
purpose: To guarantee and characterize smoothness on the Hilbert scheme
Newly defined in the paper for finite schemes; no independent evidence outside the definition is provided in the abstract.

pith-pipeline@v0.9.0 · 5643 in / 1201 out tokens · 26556 ms · 2026-05-23T20:25:14.108269+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We investigate the Hilbert scheme of points on a smooth threefold. We introduce a notion of broken Gorenstein structure for finite schemes, and show that its existence guarantees smoothness on the Hilbert scheme.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

73 extracted references · 73 canonical work pages · 1 internal anchor

[1]

http://math.columbia.edu/algebraic_geometry/stacks-git, 2023

Stacks Project. http://math.columbia.edu/algebraic_geometry/stacks-git, 2023. 13, 25, 26

work page 2023
[2]

M. Artin. Th´ eor` emes de repr´ esentabilit´ e pour les espaces alg´ ebriques, volume No. 44 ( ´Et´ e, 1970) of S´ eminaire de Math´ ematiques Sup´ erieures [Seminar on Higher Mathematics]. Les Presses de l’Universit´ e de Montr´ eal, Montreal, QC,

work page 1970
[3]

En collaboration avec Alexandru Lascu et Jean-Franc ¸ois Boutot. 25

work page
[4]

Behrend, J

K. Behrend, J. Bryan, and B. Szendr˝ oi. Motivic degree zero Donaldson-Thomas invariants. Invent. Math., 192(1):111–160,

work page
[5]

Behrend and B

K. Behrend and B. Fantechi. Symmetric obstruction theori es and Hilbert schemes of points on threefolds. Algebra Number Theory, 2(3):313–345, 2008. 2

work page 2008
[6]

Brianc ¸on and A

J. Brianc ¸on and A. Iarrobino. Dimension of the punctual H ilbert scheme. J. Algebra, 55(2):536–544, 1978. 1

work page 1978
[7]

Bruns and J

W. Bruns and J. Herzog. Cohen-Macaulay rings, volume 39 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1993. 6, 7, 27

work page 1993
[8]

D. A. Buchsbaum and D. Eisenbud. Algebra structures for ﬁn ite free resolutions, and some structure theorems for ideal s of codimension 3. Amer . J. Math., 99(3):447–485, 1977. 16

work page 1977
[9]

D. A. Cartwright, D. Erman, M. V elasco, and B. Viray. Hilbert schemes of 8 points. Algebra Number Theory, 3(7):763–795,

work page
[10]

S. C. Chen. Linear algebra and congruences for MacMahon’s k-rowed plane partitions. Int. J. Number Theory, 20(5):1429– 1443, 2024. 2

work page 2024
[11]

L. W. Christensen, O. V eliche, and J. Weyman. Three takes on almost complete intersection ideals of grade 3. In Commu- tative algebra, pages 219–281. Springer, Cham, 2021. 6

work page 2021
[12]

Eisenbud

D. Eisenbud. Commutative algebra, volume 150 of Graduate Texts in Mathematics . Springer-V erlag, New Y ork, 1995. With a view toward algebraic geometry. 6, 7, 26, 32

work page 1995
[13]

Eisenbud and J

D. Eisenbud and J. Harris. The geometry of schemes, volume 197 of Graduate Texts in Mathematics. Springer-V erlag, New Y ork, 2000.7

work page 2000
[14]

Elias and M

J. Elias and M. E. Rossi. Isomorphism classes of short Gor enstein local rings via Macaulay’s inverse system. Trans. Amer . Math. Soc., 364(9):4589–4604, 2012. 8, 18, 19

work page 2012
[15]

Ellingsrud and S

G. Ellingsrud and S. A. Strømme. On the homology of the Hil bert scheme of points in the plane. Invent. Math., 87(2):343– 352, 1987. 1, 2

work page 1987
[16]

Ellingsrud and S

G. Ellingsrud and S. A. Strømme. Towards the Chow ring of t he Hilbert scheme of P2. J. Reine Angew. Math., 441:33–44,

work page
[17]

Fantechi, L

B. Fantechi, L. G¨ ottsche, L. Illusie, S. L. Kleiman, N. N itsure, and A. Vistoli. Fundamental algebraic geometry , volume 123 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2005. Gro thendieck’s FGA explained. 7

work page 2005
[18]

Fantechi and M

B. Fantechi and M. Manetti. Obstruction calculus for fun ctors of Artin rings. I. J. Algebra, 202(2):541–576, 1998. 7, 15

work page 1998
[19]

J. Fogarty. Algebraic families on an algebraic surface. Amer . J. Math, 90:511–521, 1968. 1, 12

work page 1968
[20]

Giovenzana, L

F. Giovenzana, L. Giovenzana, M. Graffeo, and P . Lella. A counterexample to the parity conjecture. 2023. To appear in Algebraic Geometry, https://arxiv.org/abs/2305.18191. 1, 5, 28

work page arXiv 2023
[21]

Giovenzana, L

F. Giovenzana, L. Giovenzana, M. Graffeo, and P . Lella. U nexpected but recurrent phenomena for quot and hilbert schemes of points. 2024. To appear in Rendiconti del Seminario Matematico Universit` a e Politec nico di Torino , https://arxiv.org/abs/2403.03146. 5

work page arXiv 2024
[22]

Gorsky, A

E. Gorsky, A. Negut ¸, and J. Rasmussen. Flag Hilbert schemes, colored projectors and Khovanov-Rozansky homology. Adv. Math., 378:Paper No. 107542, 115, 2021. 1 34 J. JELISIEJEW, R. RAMKUMAR, A. SAMMARTANO

work page 2021
[23]

G¨ ottsche, H

L. G¨ ottsche, H. Nakajima, and K. Y oshioka. Donaldson = Seiberg-Witten from Mochizuki’s formula and instanton coun t- ing. Publ. Res. Inst. Math. Sci. , 47(1):307–359, 2011. 1

work page 2011
[24]

Grojnowski

I. Grojnowski. Instantons and afﬁne algebras. I. The Hil bert scheme and vertex operators. Math. Res. Lett. , 3(2):275–291,

work page
[25]

Guerrieri, X

L. Guerrieri, X. Ni, and J. Weyman. Higher structure maps for free resolutions of length 3 and linkage, 2022. https://doi.org/10.48550/arXiv.2208.05934. 6

work page doi:10.48550/arxiv.2208.05934 2022
[26]

Guerrieri, X

L. Guerrieri, X. Ni, and J. Weyman. An ade correspondence for grade three perfect ideals, 2024. https://doi.org/10.48550/arXiv.2407.02380. 6

work page doi:10.48550/arxiv.2407.02380 2024
[27]

Guerrieri and J

L. Guerrieri and J. Weyman. Mapping resolutions of lengt h three I. J. Pure Appl. Algebra , 227(4):Paper No. 107248, 22,

work page
[28]

M. Haiman. Hilbert schemes, polygraphs and the Macdonal d positivity conjecture. J. Amer . Math. Soc., 14(4):941–1006,

work page
[29]

M. Haiman. V anishing theorems and character formulas fo r the Hilbert scheme of points in the plane. Invent. Math. , 149(2):371–407, 2002. 12

work page 2002
[30]

M. Haiman. Combinatorics, symmetric functions, and Hil bert schemes. In Current developments in mathematics, 2002 , pages 39–111. Int. Press, Somerville, MA, 2003. 1

work page 2002
[31]

Hartshorne

R. Hartshorne. Deformation theory, volume 257 of Graduate Texts in Mathematics. Springer, New Y ork, 2010.1, 7, 11

work page 2010
[32]

J. D. Hauenstein, L. Manivel, and B. Szendr˝ oi. On the equ ations deﬁning some Hilbert schemes. Vietnam J. Math. , 50(2):487–500, 2022. 1

work page 2022
[33]

X. Hu. On singular Hilbert schemes of points: local struc tures and tautological sheaves. https://arxiv.org/abs/2101.05236. 1, 4, 5, 21, 32

work page internal anchor Pith review Pith/arXiv arXiv
[34]

Huang and J

D. Huang and J. Striker. A pipe dream perspective on total ly symmetric self-complementary plane partitions. F orum Math. Sigma, 12:Paper No. e17, 19, 2024. 2

work page 2024
[35]

Huneke, C

C. Huneke, C. Polini, and B. Ulrich. Ideals in the linkage class of a complete intersection. 2024. In preparation. 16

work page 2024
[36]

Huneke and B

C. Huneke and B. Ulrich. The structure of linkage. Ann. of Math. (2) , 126(2):277–334, 1987. 5, 7, 32

work page 1987
[37]

Huneke and B

C. Huneke and B. Ulrich. Algebraic linkage. Duke Math. J., 56(3):415–429, 1988. 4, 7, 26

work page 1988
[38]

Huneke and B

C. Huneke and B. Ulrich. Liaison of monomial ideals. Bull. Lond. Math. Soc. , 39(3):384–392, 2007. 5, 16, 27

work page 2007
[39]

Huybrechts and M

D. Huybrechts and M. Lehn. The geometry of moduli spaces of sheaves . Cambridge Mathematical Library. Cambridge University Press, Cambridge, second edition, 2010. 1

work page 2010
[40]

Iarrobino

A. Iarrobino. Reducibility of the families of 0-dimensi onal schemes on a variety. Invent. Math., 15:72–77, 1972. 1

work page 1972
[41]

Iarrobino

A. Iarrobino. Compressed algebras: Artin algebras havi ng given socle degrees and maximal length. Trans. Amer . Math. Soc., 285(1):337–378, 1984. 1, 8

work page 1984
[42]

Iarrobino

A. Iarrobino. Associated graded algebra of a Gorenstein Artin algebra. Mem. Amer . Math. Soc., 107(514):viii+115, 1994. 18, 19

work page 1994
[43]

Iarrobino and V

A. Iarrobino and V . Kanev. Power sums, Gorenstein algebras, and determinantal loci , volume 1721 of Lecture Notes in Mathematics. Springer-V erlag, Berlin, 1999. Appendix C by Anthony Iarrobino and Steven L. Kleiman. 8

work page 1999
[44]

Jelisiejew

J. Jelisiejew. Classifying local Artinian Gorenstein a lgebras. Collect. Math., 68(1):101–127, 2017. 8

work page 2017
[45]

Jelisiejew

J. Jelisiejew. Pathologies on the Hilbert scheme of poin ts. Invent. Math., 220(2):581–610, 2020. 1, 27

work page 2020
[46]

Jelisiejew

J. Jelisiejew. Open problems in deformations of Artinia n algebras, Hilbert schemes and around. 2023. To appear in Con- temporary Mathematics (AMS), http://arxiv.org/abs/2307.08777. 1

work page arXiv 2023
[47]

Jelisiejew

J. Jelisiejew. Generically nonreduced components of hi lbert schemes on fourfolds. 2024. To appear in Rendiconti del Seminario Matematico Universit` a e Politecnico di Torino, https://doi.org/10.48550/arXiv.2406.19782. 1

work page doi:10.48550/arxiv.2406.19782 2024
[48]

Jelisiejew and H

J. Jelisiejew and H. Keneshlou. On construction of k-reg ular maps to Grassmannians via algebras of socle dimension t wo

work page
[49]

To appear in Annali della Scuola Normale Superiore di Pisa , http://arxiv.org/abs/2112.14106. 26

work page arXiv
[50]

Jelisiejew and T

J. Jelisiejew and T. Ma´ ndziuk. Limits of saturated ideals. 2022. https://arxiv.org/abs/2210.13579. 8, 15

work page arXiv 2022
[51]

S. Katz. The desingularization of Hilb 4P3 and its Betti numbers. In Zero-dimensional schemes (Ravello, 1992) , pages 231–242. de Gruyter, Berlin, 1994. 1, 32

work page 1992
[52]

M. Kool, J. Jelisiejew, and R. F. Schmiermann. Behrend’s function is not constant on Hilbn(C3). 2023. https://arxiv.org/abs/2311.05408. 28 THE HILBERT SCHEME OF POINTS ON A THREEFOLD, I 35

work page arXiv 2023
[53]

F. S. Macaulay. The algebraic theory of modular systems . Cambridge Mathematical Library. Cambridge University Pr ess, Cambridge, 1994. Revised reprint of the 1916 original, With an introduction by Paul Roberts. 8, 9

work page 1994
[54]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipand e. Gromov-Witten theory and Donaldson-Thomas theory, I. Compos. Math., 142(5):1263–1285, 2006. 1, 5

work page 2006
[55]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipand e. Gromov-Witten theory and Donaldson-Thomas theory, II. Compos. Math., 142(5):1286–1304, 2006. 1

work page 2006
[56]

Michałek

M. Michałek. Enumerative geometry meets statistics, co mbinatorics, and topology. Notices Amer . Math. Soc., 70(4):588– 597, 2023. 4

work page 2023
[57]

Miller and B

E. Miller and B. Sturmfels. Combinatorial commutative algebra, volume 227 of Graduate Texts in Mathematics. Springer- V erlag, New Y ork, 2005.28, 29

work page 2005
[58]

Nakajima

H. Nakajima. Lectures on Hilbert schemes of points on surfaces , volume 18 of University Lecture Series. American Math- ematical Society, Providence, RI, 1999. 1

work page 1999
[59]

Nakajima and K

H. Nakajima and K. Y oshioka. Lectures on instanton count ing. In Algebraic structures and moduli spaces , volume 38 of CRM Proc. Lecture Notes, pages 31–101. Amer. Math. Soc., Providence, RI, 2004. 1

work page 2004
[60]

Ni and J

X. Ni and J. Weyman. Free resolutions constructed from bi gradings on lie algebras, 2023. https://doi.org/10.48550/arXiv.2304.01381. 6

work page doi:10.48550/arxiv.2304.01381 2023
[61]

Oblomkov and L

A. Oblomkov and L. Rozansky. Knot homology and sheaves on the Hilbert scheme of points on the plane. Selecta Math. (N.S.), 24(3):2351–2454, 2018. 1

work page 2018
[62]

Oblomkov and V

A. Oblomkov and V . Shende. The Hilbert scheme of a plane cu rve singularity and the HOMFLY polynomial of its link. Duke Math. J., 161(7):1277–1303, 2012. 1

work page 2012
[63]

Peskine and L

C. Peskine and L. Szpiro. Liaison des vari´ et´ es alg´ ebriques. I. Invent. Math., 26:271–302, 1974. 7

work page 1974
[64]

B. Poonen. Isomorphism types of commutative algebras of ﬁnite rank over an algebraically closed ﬁeld. In Computational arithmetic geometry, volume 463 of Contemp. Math., pages 111–120. Amer. Math. Soc., Providence, RI, 2008. 4

work page 2008
[65]

Ramkumar and A

R. Ramkumar and A. Sammartano. On the tangent space to the Hilbert scheme of points in P3. Trans. Amer . Math. Soc., 375(9):6179–6203, 2022. 1, 8, 14, 20, 21, 28

work page 2022
[66]

Ramkumar and A

R. Ramkumar and A. Sammartano. On the parity conjecture f or Hilbert schemes of points on threefolds. Annali della Scuola Normale Superiore di Pisa , XXVI, 2025. https://arxiv.org/abs/2302.02204. 1

work page arXiv 2025
[67]

F. Rezaee. Conjectural criteria for the most singular po ints of the Hilbert schemes of points. 2023. https://arxiv.org/abs/2312.04520. 1, 5

work page arXiv 2023
[68]

Satriano and A

M. Satriano and A. P . Staal. Small elementary components of Hilbert schemes of points. F orum of Mathematics, Sigma, 11:e45, 2023. 1

work page 2023
[69]

E. Sernesi. Deformations of algebraic schemes , volume 334 of Grundlehren der Mathematischen Wissenschaften [Funda- mental Principles of Mathematical Sciences] . Springer-V erlag, Berlin, 2006.7, 8

work page 2006
[70]

Simis and W

A. Simis and W. V . V asconcelos. The syzygies of the conormal module. Amer . J. Math., 103(2):203–224, 1981. 13

work page 1981
[71]

Sturmfels

B. Sturmfels. Four counterexamples in combinatorial al gebraic geometry. J. Algebra, 230(1):282–294, 2000. 1

work page 2000
[72]

R. V akil. Murphy’s law in algebraic geometry: badly-beh aved deformation spaces. Invent. Math., 164(3):569–590, 2006. 27

work page 2006
[73]

Watanabe

J. Watanabe. A note on Gorenstein rings of embedding codi mension three. Nagoya Math. J., 50:227–232, 1973. 16 (J OACHIM JELISIEJEW ) W YDZIAŁ MATEMATYKI , I NFORMATYKI I MECHANIKI , U NIWERSYTET WARSZAWSKI , WAR - SAW, P OLAND Email address: j.jelisiejew@uw.edu.pl (R ITVIK RAMKUMAR ) D EPARTMENT OF MATHEMATICS , C ORNELL UNIVERSITY , I THACA , NY, USA Em...

work page 1973

[1] [1]

http://math.columbia.edu/algebraic_geometry/stacks-git, 2023

Stacks Project. http://math.columbia.edu/algebraic_geometry/stacks-git, 2023. 13, 25, 26

work page 2023

[2] [2]

M. Artin. Th´ eor` emes de repr´ esentabilit´ e pour les espaces alg´ ebriques, volume No. 44 ( ´Et´ e, 1970) of S´ eminaire de Math´ ematiques Sup´ erieures [Seminar on Higher Mathematics]. Les Presses de l’Universit´ e de Montr´ eal, Montreal, QC,

work page 1970

[3] [3]

En collaboration avec Alexandru Lascu et Jean-Franc ¸ois Boutot. 25

work page

[4] [4]

Behrend, J

K. Behrend, J. Bryan, and B. Szendr˝ oi. Motivic degree zero Donaldson-Thomas invariants. Invent. Math., 192(1):111–160,

work page

[5] [5]

Behrend and B

K. Behrend and B. Fantechi. Symmetric obstruction theori es and Hilbert schemes of points on threefolds. Algebra Number Theory, 2(3):313–345, 2008. 2

work page 2008

[6] [6]

Brianc ¸on and A

J. Brianc ¸on and A. Iarrobino. Dimension of the punctual H ilbert scheme. J. Algebra, 55(2):536–544, 1978. 1

work page 1978

[7] [7]

Bruns and J

W. Bruns and J. Herzog. Cohen-Macaulay rings, volume 39 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1993. 6, 7, 27

work page 1993

[8] [8]

D. A. Buchsbaum and D. Eisenbud. Algebra structures for ﬁn ite free resolutions, and some structure theorems for ideal s of codimension 3. Amer . J. Math., 99(3):447–485, 1977. 16

work page 1977

[9] [9]

D. A. Cartwright, D. Erman, M. V elasco, and B. Viray. Hilbert schemes of 8 points. Algebra Number Theory, 3(7):763–795,

work page

[10] [10]

S. C. Chen. Linear algebra and congruences for MacMahon’s k-rowed plane partitions. Int. J. Number Theory, 20(5):1429– 1443, 2024. 2

work page 2024

[11] [11]

L. W. Christensen, O. V eliche, and J. Weyman. Three takes on almost complete intersection ideals of grade 3. In Commu- tative algebra, pages 219–281. Springer, Cham, 2021. 6

work page 2021

[12] [12]

Eisenbud

D. Eisenbud. Commutative algebra, volume 150 of Graduate Texts in Mathematics . Springer-V erlag, New Y ork, 1995. With a view toward algebraic geometry. 6, 7, 26, 32

work page 1995

[13] [13]

Eisenbud and J

D. Eisenbud and J. Harris. The geometry of schemes, volume 197 of Graduate Texts in Mathematics. Springer-V erlag, New Y ork, 2000.7

work page 2000

[14] [14]

Elias and M

J. Elias and M. E. Rossi. Isomorphism classes of short Gor enstein local rings via Macaulay’s inverse system. Trans. Amer . Math. Soc., 364(9):4589–4604, 2012. 8, 18, 19

work page 2012

[15] [15]

Ellingsrud and S

G. Ellingsrud and S. A. Strømme. On the homology of the Hil bert scheme of points in the plane. Invent. Math., 87(2):343– 352, 1987. 1, 2

work page 1987

[16] [16]

Ellingsrud and S

G. Ellingsrud and S. A. Strømme. Towards the Chow ring of t he Hilbert scheme of P2. J. Reine Angew. Math., 441:33–44,

work page

[17] [17]

Fantechi, L

B. Fantechi, L. G¨ ottsche, L. Illusie, S. L. Kleiman, N. N itsure, and A. Vistoli. Fundamental algebraic geometry , volume 123 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2005. Gro thendieck’s FGA explained. 7

work page 2005

[18] [18]

Fantechi and M

B. Fantechi and M. Manetti. Obstruction calculus for fun ctors of Artin rings. I. J. Algebra, 202(2):541–576, 1998. 7, 15

work page 1998

[19] [19]

J. Fogarty. Algebraic families on an algebraic surface. Amer . J. Math, 90:511–521, 1968. 1, 12

work page 1968

[20] [20]

Giovenzana, L

F. Giovenzana, L. Giovenzana, M. Graffeo, and P . Lella. A counterexample to the parity conjecture. 2023. To appear in Algebraic Geometry, https://arxiv.org/abs/2305.18191. 1, 5, 28

work page arXiv 2023

[21] [21]

Giovenzana, L

F. Giovenzana, L. Giovenzana, M. Graffeo, and P . Lella. U nexpected but recurrent phenomena for quot and hilbert schemes of points. 2024. To appear in Rendiconti del Seminario Matematico Universit` a e Politec nico di Torino , https://arxiv.org/abs/2403.03146. 5

work page arXiv 2024

[22] [22]

Gorsky, A

E. Gorsky, A. Negut ¸, and J. Rasmussen. Flag Hilbert schemes, colored projectors and Khovanov-Rozansky homology. Adv. Math., 378:Paper No. 107542, 115, 2021. 1 34 J. JELISIEJEW, R. RAMKUMAR, A. SAMMARTANO

work page 2021

[23] [23]

G¨ ottsche, H

L. G¨ ottsche, H. Nakajima, and K. Y oshioka. Donaldson = Seiberg-Witten from Mochizuki’s formula and instanton coun t- ing. Publ. Res. Inst. Math. Sci. , 47(1):307–359, 2011. 1

work page 2011

[24] [24]

Grojnowski

I. Grojnowski. Instantons and afﬁne algebras. I. The Hil bert scheme and vertex operators. Math. Res. Lett. , 3(2):275–291,

work page

[25] [25]

Guerrieri, X

L. Guerrieri, X. Ni, and J. Weyman. Higher structure maps for free resolutions of length 3 and linkage, 2022. https://doi.org/10.48550/arXiv.2208.05934. 6

work page doi:10.48550/arxiv.2208.05934 2022

[26] [26]

Guerrieri, X

L. Guerrieri, X. Ni, and J. Weyman. An ade correspondence for grade three perfect ideals, 2024. https://doi.org/10.48550/arXiv.2407.02380. 6

work page doi:10.48550/arxiv.2407.02380 2024

[27] [27]

Guerrieri and J

L. Guerrieri and J. Weyman. Mapping resolutions of lengt h three I. J. Pure Appl. Algebra , 227(4):Paper No. 107248, 22,

work page

[28] [28]

M. Haiman. Hilbert schemes, polygraphs and the Macdonal d positivity conjecture. J. Amer . Math. Soc., 14(4):941–1006,

work page

[29] [29]

M. Haiman. V anishing theorems and character formulas fo r the Hilbert scheme of points in the plane. Invent. Math. , 149(2):371–407, 2002. 12

work page 2002

[30] [30]

M. Haiman. Combinatorics, symmetric functions, and Hil bert schemes. In Current developments in mathematics, 2002 , pages 39–111. Int. Press, Somerville, MA, 2003. 1

work page 2002

[31] [31]

Hartshorne

R. Hartshorne. Deformation theory, volume 257 of Graduate Texts in Mathematics. Springer, New Y ork, 2010.1, 7, 11

work page 2010

[32] [32]

J. D. Hauenstein, L. Manivel, and B. Szendr˝ oi. On the equ ations deﬁning some Hilbert schemes. Vietnam J. Math. , 50(2):487–500, 2022. 1

work page 2022

[33] [33]

X. Hu. On singular Hilbert schemes of points: local struc tures and tautological sheaves. https://arxiv.org/abs/2101.05236. 1, 4, 5, 21, 32

work page internal anchor Pith review Pith/arXiv arXiv

[34] [34]

Huang and J

D. Huang and J. Striker. A pipe dream perspective on total ly symmetric self-complementary plane partitions. F orum Math. Sigma, 12:Paper No. e17, 19, 2024. 2

work page 2024

[35] [35]

Huneke, C

C. Huneke, C. Polini, and B. Ulrich. Ideals in the linkage class of a complete intersection. 2024. In preparation. 16

work page 2024

[36] [36]

Huneke and B

C. Huneke and B. Ulrich. The structure of linkage. Ann. of Math. (2) , 126(2):277–334, 1987. 5, 7, 32

work page 1987

[37] [37]

Huneke and B

C. Huneke and B. Ulrich. Algebraic linkage. Duke Math. J., 56(3):415–429, 1988. 4, 7, 26

work page 1988

[38] [38]

Huneke and B

C. Huneke and B. Ulrich. Liaison of monomial ideals. Bull. Lond. Math. Soc. , 39(3):384–392, 2007. 5, 16, 27

work page 2007

[39] [39]

Huybrechts and M

D. Huybrechts and M. Lehn. The geometry of moduli spaces of sheaves . Cambridge Mathematical Library. Cambridge University Press, Cambridge, second edition, 2010. 1

work page 2010

[40] [40]

Iarrobino

A. Iarrobino. Reducibility of the families of 0-dimensi onal schemes on a variety. Invent. Math., 15:72–77, 1972. 1

work page 1972

[41] [41]

Iarrobino

A. Iarrobino. Compressed algebras: Artin algebras havi ng given socle degrees and maximal length. Trans. Amer . Math. Soc., 285(1):337–378, 1984. 1, 8

work page 1984

[42] [42]

Iarrobino

A. Iarrobino. Associated graded algebra of a Gorenstein Artin algebra. Mem. Amer . Math. Soc., 107(514):viii+115, 1994. 18, 19

work page 1994

[43] [43]

Iarrobino and V

A. Iarrobino and V . Kanev. Power sums, Gorenstein algebras, and determinantal loci , volume 1721 of Lecture Notes in Mathematics. Springer-V erlag, Berlin, 1999. Appendix C by Anthony Iarrobino and Steven L. Kleiman. 8

work page 1999

[44] [44]

Jelisiejew

J. Jelisiejew. Classifying local Artinian Gorenstein a lgebras. Collect. Math., 68(1):101–127, 2017. 8

work page 2017

[45] [45]

Jelisiejew

J. Jelisiejew. Pathologies on the Hilbert scheme of poin ts. Invent. Math., 220(2):581–610, 2020. 1, 27

work page 2020

[46] [46]

Jelisiejew

J. Jelisiejew. Open problems in deformations of Artinia n algebras, Hilbert schemes and around. 2023. To appear in Con- temporary Mathematics (AMS), http://arxiv.org/abs/2307.08777. 1

work page arXiv 2023

[47] [47]

Jelisiejew

J. Jelisiejew. Generically nonreduced components of hi lbert schemes on fourfolds. 2024. To appear in Rendiconti del Seminario Matematico Universit` a e Politecnico di Torino, https://doi.org/10.48550/arXiv.2406.19782. 1

work page doi:10.48550/arxiv.2406.19782 2024

[48] [48]

Jelisiejew and H

J. Jelisiejew and H. Keneshlou. On construction of k-reg ular maps to Grassmannians via algebras of socle dimension t wo

work page

[49] [49]

To appear in Annali della Scuola Normale Superiore di Pisa , http://arxiv.org/abs/2112.14106. 26

work page arXiv

[50] [50]

Jelisiejew and T

J. Jelisiejew and T. Ma´ ndziuk. Limits of saturated ideals. 2022. https://arxiv.org/abs/2210.13579. 8, 15

work page arXiv 2022

[51] [51]

S. Katz. The desingularization of Hilb 4P3 and its Betti numbers. In Zero-dimensional schemes (Ravello, 1992) , pages 231–242. de Gruyter, Berlin, 1994. 1, 32

work page 1992

[52] [52]

M. Kool, J. Jelisiejew, and R. F. Schmiermann. Behrend’s function is not constant on Hilbn(C3). 2023. https://arxiv.org/abs/2311.05408. 28 THE HILBERT SCHEME OF POINTS ON A THREEFOLD, I 35

work page arXiv 2023

[53] [53]

F. S. Macaulay. The algebraic theory of modular systems . Cambridge Mathematical Library. Cambridge University Pr ess, Cambridge, 1994. Revised reprint of the 1916 original, With an introduction by Paul Roberts. 8, 9

work page 1994

[54] [54]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipand e. Gromov-Witten theory and Donaldson-Thomas theory, I. Compos. Math., 142(5):1263–1285, 2006. 1, 5

work page 2006

[55] [55]

Maulik, N

D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipand e. Gromov-Witten theory and Donaldson-Thomas theory, II. Compos. Math., 142(5):1286–1304, 2006. 1

work page 2006

[56] [56]

Michałek

M. Michałek. Enumerative geometry meets statistics, co mbinatorics, and topology. Notices Amer . Math. Soc., 70(4):588– 597, 2023. 4

work page 2023

[57] [57]

Miller and B

E. Miller and B. Sturmfels. Combinatorial commutative algebra, volume 227 of Graduate Texts in Mathematics. Springer- V erlag, New Y ork, 2005.28, 29

work page 2005

[58] [58]

Nakajima

H. Nakajima. Lectures on Hilbert schemes of points on surfaces , volume 18 of University Lecture Series. American Math- ematical Society, Providence, RI, 1999. 1

work page 1999

[59] [59]

Nakajima and K

H. Nakajima and K. Y oshioka. Lectures on instanton count ing. In Algebraic structures and moduli spaces , volume 38 of CRM Proc. Lecture Notes, pages 31–101. Amer. Math. Soc., Providence, RI, 2004. 1

work page 2004

[60] [60]

Ni and J

X. Ni and J. Weyman. Free resolutions constructed from bi gradings on lie algebras, 2023. https://doi.org/10.48550/arXiv.2304.01381. 6

work page doi:10.48550/arxiv.2304.01381 2023

[61] [61]

Oblomkov and L

A. Oblomkov and L. Rozansky. Knot homology and sheaves on the Hilbert scheme of points on the plane. Selecta Math. (N.S.), 24(3):2351–2454, 2018. 1

work page 2018

[62] [62]

Oblomkov and V

A. Oblomkov and V . Shende. The Hilbert scheme of a plane cu rve singularity and the HOMFLY polynomial of its link. Duke Math. J., 161(7):1277–1303, 2012. 1

work page 2012

[63] [63]

Peskine and L

C. Peskine and L. Szpiro. Liaison des vari´ et´ es alg´ ebriques. I. Invent. Math., 26:271–302, 1974. 7

work page 1974

[64] [64]

B. Poonen. Isomorphism types of commutative algebras of ﬁnite rank over an algebraically closed ﬁeld. In Computational arithmetic geometry, volume 463 of Contemp. Math., pages 111–120. Amer. Math. Soc., Providence, RI, 2008. 4

work page 2008

[65] [65]

Ramkumar and A

R. Ramkumar and A. Sammartano. On the tangent space to the Hilbert scheme of points in P3. Trans. Amer . Math. Soc., 375(9):6179–6203, 2022. 1, 8, 14, 20, 21, 28

work page 2022

[66] [66]

Ramkumar and A

R. Ramkumar and A. Sammartano. On the parity conjecture f or Hilbert schemes of points on threefolds. Annali della Scuola Normale Superiore di Pisa , XXVI, 2025. https://arxiv.org/abs/2302.02204. 1

work page arXiv 2025

[67] [67]

F. Rezaee. Conjectural criteria for the most singular po ints of the Hilbert schemes of points. 2023. https://arxiv.org/abs/2312.04520. 1, 5

work page arXiv 2023

[68] [68]

Satriano and A

M. Satriano and A. P . Staal. Small elementary components of Hilbert schemes of points. F orum of Mathematics, Sigma, 11:e45, 2023. 1

work page 2023

[69] [69]

E. Sernesi. Deformations of algebraic schemes , volume 334 of Grundlehren der Mathematischen Wissenschaften [Funda- mental Principles of Mathematical Sciences] . Springer-V erlag, Berlin, 2006.7, 8

work page 2006

[70] [70]

Simis and W

A. Simis and W. V . V asconcelos. The syzygies of the conormal module. Amer . J. Math., 103(2):203–224, 1981. 13

work page 1981

[71] [71]

Sturmfels

B. Sturmfels. Four counterexamples in combinatorial al gebraic geometry. J. Algebra, 230(1):282–294, 2000. 1

work page 2000

[72] [72]

R. V akil. Murphy’s law in algebraic geometry: badly-beh aved deformation spaces. Invent. Math., 164(3):569–590, 2006. 27

work page 2006

[73] [73]

Watanabe

J. Watanabe. A note on Gorenstein rings of embedding codi mension three. Nagoya Math. J., 50:227–232, 1973. 16 (J OACHIM JELISIEJEW ) W YDZIAŁ MATEMATYKI , I NFORMATYKI I MECHANIKI , U NIWERSYTET WARSZAWSKI , WAR - SAW, P OLAND Email address: j.jelisiejew@uw.edu.pl (R ITVIK RAMKUMAR ) D EPARTMENT OF MATHEMATICS , C ORNELL UNIVERSITY , I THACA , NY, USA Em...

work page 1973