Pith. sign in

REVIEW 5 major objections 3 minor 54 references

New components of Hilbert schemes of points and 2-step ideals

T0 review · 5 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A class of '2-step' ideals produces the first reducible 4-nested Hilbert scheme of points on a surface, plus 215 new building-block components.

desk verdict First reducible 4-nested Hilbert scheme on a surface, built on a clean new class of 2-step ideals; the main theorems hold, with computational existence checks delegated to Macaulay2 files that a referee should run. read the letter →

arxiv 2507.02789 v1 pith:3SS3K5C7 submitted 2025-07-03 math.AG math.AC

Franco Giovenzana , Luca Giovenzana , Michele Graffeo , Paolo Lella This is my paper · ORCID
classification math.AGmath.AC MSC 14C0513D0213C05
keywords Hilbertschemesofpointsnested2-stepidealselementarycomponentstrivialnegativetangentsBiałynicki–BiruladecompositionBettitablesreducibility
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper introduces 2-step ideals—zero-dimensional ideals $I$ of a polynomial ring that satisfy $\mathfrak{m}^{k+2}\subset I\subset \mathfrak{m}^k$ with $I\not\subset \mathfrak{m}^{k+1}$—and shows that the loci they parametrize are often too large to fit inside the smoothable component of a Hilbert scheme of points. Using dimension bounds for these loci, the authors prove that certain nested Hilbert schemes of points on a smooth surface are reducible, including the first known reducible 4-nested example, with length vector $(454,491,527,565)$. They also certify, via the trivial-negative-tangent criterion, at least 215 generically reduced elementary components of Hilbert schemes of points in dimensions 4, 5, and 6, among them a generically reduced elementary component of $\operatorname{Hilb}^{(3,7)}\mathbb{A}^4$. If correct, the paper turns the search for such components into a systematic check of a quadratic function over integer points.

What carries the argument

The central object is the 2-step ideal of order $k$: an $\mathfrak{m}$-primary ideal $I$ with $\mathfrak{m}^{k+2}\subset I\subset \mathfrak{m}^k$ and $I\not\subset \mathfrak{m}^{k+1}$, so the quotient has nontrivial graded pieces only in the top two degrees. The argument uses three tools: (1) the tangent space at a homogeneous 2-step ideal is concentrated in degrees 0 and 1 and all degree-1 tangent vectors are unobstructed, making the initial-ideal morphism an affine bundle of known fibre dimension; (2) a dimension formula for nested 2-step ideals with natural first anti-diagonal of the Betti table, encoded in the quadratic function $\Delta_{n,r,k}$; and (3) the trivial-negative-tangents (TNT) criterion—a point whose only negative tangent directions are ambient translations—which certifies generically reduced elementary components. The sign of $\Delta_{n,r,k}$ and membership in the potential TNT area, defined by an explicit quadratic inequality, convert the search into a finite check over integer points.

What would settle it

Compute the negative tangent space at the explicit nested ideal displayed in the proof of Theorem 6.2: if $\dim T^{<0}$ exceeds 4, the point does not have trivial negative tangents and the claimed generically reduced elementary component of $\operatorname{Hilb}^{(3,7)}\mathbb{A}^4$ would be smoothable.

Watch

Extended reading notes

Core claim

The central claim is that 2-step ideals form a systematic source of large Hilbert strata whose deformations can be controlled. The headline results are: the nested Hilbert scheme $\operatorname{Hilb}^{\mathbf{d}}\mathbb{A}^2$ is reducible for $\mathbf{d}=(454,491,527,565)$, giving the first reducible 4-nested Hilbert scheme on a smooth surface; $\operatorname{Hilb}^{1,\mathbf{d}}\mathbb{A}^2$ then has a generically non-reduced component; $\operatorname{Hilb}^{(3,7)}\mathbb{A}^4$ has a generically reduced elementary component whose reduction is isomorphic to $\operatorname{Gr}(2,4)\times\operatorname{Gr}(2,10)\times\mathbb{A}^4$; and at least 215 generically reduced elementary components exist in dimensions 4, 5, and 6. The proofs rest on a dimension lower bound for Hilbert strata of 2-step ideals, stated as Theorem F, and on a quadratic function $\Delta_{n,r,k}$ whose sign decides whether a stratum exceeds the dimension of the smoothable component.

Load-bearing premise

The dimension formulas assume that every Hilbert function used has at least one nesting of homogeneous ideals whose Betti table has a natural first anti-diagonal; the authors verify this computationally for the listed examples, but the general bound would fail without such ideals.

Editorial extensions

If this is right

  • For smooth surfaces, $\operatorname{Hilb}^{\mathbf{d}}\mathbb{A}^2$ is reducible for $\mathbf{d}=(454,491,527,565)$, so among nested Hilbert schemes of points on a surface only the case $r=3$ remains open.
  • For every $\mathbf{d}$ in Theorem A, the nested Hilbert scheme $\operatorname{Hilb}^{1,\mathbf{d}}\mathbb{A}^2$ has at least one generically non-reduced component.
  • In dimension 4, $\operatorname{Hilb}^{(3,7)}\mathbb{A}^4$ contains a generically reduced elementary component with reduction $\operatorname{Gr}(2,4)\times\operatorname{Gr}(2,10)\times\mathbb{A}^4$, and $\operatorname{Hilb}^{(1,3,7)}\mathbb{A}^4$ contains a generically non-reduced elementary component.
  • The Hilbert scheme $\operatorname{Hilb}^{34}\mathbb{A}^6$ has at least 12 generically reduced elementary components; in total the paper lists 215 new such components in dimensions 4–6.
  • Iarrobino's reducibility of $\operatorname{Hilb}^{78}\mathbb{A}^3$ is recovered inside the 2-step framework, together with explicit non-smoothable 2-step ideals of embedding dimension 3 and orders 6, 7, and 8.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same quadratic-form search can be rerun for higher orders and dimensions; the paper already counts hundreds or thousands of integer points in the potential TNT area for orders 3 and 4, so the 215 components are likely a small sample of what the method produces.
  • Because the tangent-space computations are local and the TNT criterion is étale-local, the components found on $\mathbb{A}^n$ should transfer to any smooth quasi-projective variety of dimension $n$.
  • A natural stress test is to extend the construction to 3-step ideals on threefolds, where the 2-step potential TNT area is empty; the authors explicitly leave this as a future question.
  • If the pattern visible in $\operatorname{Hilb}^{34}\mathbb{A}^6$ persists, the number of elementary components in a fixed $\operatorname{Hilb}^{d}\mathbb{A}^n$ may grow without bound as $d$ grows.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 3 minor

Summary. The paper develops a systematic deformation-theoretic analysis of m-primary ideals, called 2-step ideals, defined by m^{k+2} ⊂ I ⊂ m^k and I not contained in m^{k+1}. The main theoretical results are: (i) Theorem 3.7 and Corollary 3.10, proving that degree-one tangent vectors at homogeneous 2-step nestings are unobstructed and give an affine-bundle description of the initial-ideal fibration; (ii) conditional dimension formulas for Hilbert strata of nestings with natural first anti-diagonal Betti tables, summarized by the functions Δ_{n,r,k} (Theorem F, Corollaries 3.23 and 3.25); and (iii) applications producing reducible nested Hilbert schemes on A^2 and A^3, an elementary component of Hilb^{(3,7)}A^4, and 215 generically reduced elementary components in dimensions 4, 5, and 6. The headline example is the first reducible 4-nested Hilbert scheme on a smooth surface, Hilb^{(454,491,527,565)}A^2.

Significance. If the computational certificates are supplied, this is a substantial contribution. The class of 2-step ideals is well chosen: the unobstructedness of positive tangent vectors gives a genuinely new tool, and the dimension counts are derived rather than fitted to data. The search over integer points with positive Δ is a real existence search, and the TNT criterion is quoted from the authors' earlier published work rather than invented ad hoc. The paper is also honest in stating the existence hypothesis in Theorem F and in admitting that the 'few linear syzygies' range requires case-by-case fibre computations. The main weakness is that the application sections delegate verification of the existence hypothesis, and of the TNT property, to unreproduced Macaulay2 files; as a result the 'explicit description of 215 new components' is not yet independently checkable from the manuscript.

major comments (5)
  1. [§4.1, Theorem 4.1 and §5.1, Theorem 5.5] The reducibility conclusions are obtained by showing Δ_{n,r,k} ≥ 0 at integer points in D_N, but this only yields a lower bound on dim H^n_h once the existence hypothesis of Corollaries 3.23 and 3.25 is verified for the chosen Hilbert functions. The proof refers to the ancillary file reducibility-nested-Hilbert-schemes.m2 for an explicit configuration, but no ideal, Betti table, or certificate appears in the text. Without such a certificate, Equations (3.11) and the subsequent dimensional conclusions are conditional. Please include, for each listed example, the nested ideals or machine-verifiable certificates of their natural first anti-diagonal Betti tables, either in the paper or in a permanently available ancillary file.
  2. [§5, paragraph following Corollary 3.18] For the k = 7 and k = 8 strata in Figure 7, and more generally for the 'few linear syzygies' range 1/n h_k < -s_h < h_k, the paper states that the generic fibre of ψ_h is computed explicitly rather than by a closed formula, but the computation is not shown. Since these strata are used to certify reducibility of Hilb^d A^3, the case-by-case dimension computations should either be presented in the text or the corresponding certificates should be supplied in the ancillary files.
  3. [§6.1, Theorem 6.2] The proof exhibits a nesting I and asserts that it has trivial negative tangents, but the verification of Definition 2.19 is not shown. The isomorphism (V)_red ≅ Gr(2,4) × Gr(2,10) × A^4 also depends on identifying the Białynicki–Birula cell structure. Please provide the tangent-space computation, or the Macaulay2 output substantiating the TNT condition, so that the existence of the generically reduced elementary component is checkable.
  4. [§7, Figures 11–14 and Theorem 7.1] The 215 new generically reduced elementary components are listed by Hilbert function and type, but the text does not give the concrete ideals or the TNT certificates for any of them. The claim to provide an 'explicit description' of these components is therefore not yet supported in the manuscript itself. A sufficient fix is to publish the verification scripts and state clearly that the theorems rely on them, and ideally to reproduce certificates for at least one representative from each table.
  5. [Remark 7.2] The assertion that Shafarevich's formula is incorrect for h = (1,5,4) is made without proof or reference. Since this is a correction of a published formula, the authors should either give a short argument showing that H^5_{(1,5,4)} is contained in a composite component, cite a published proof, or rephrase the remark as a conjecture.
minor comments (3)
  1. [§1.2 and throughout] There are several typographical inconsistencies, e.g. 'correspndence' in Section 1.2 and inconsistent superscript formatting such as 'Hilbd A2' versus 'Hilb^d A^2' in Section 4.1 and Corollary 4.2; these should be harmonized.
  2. [Figures 9–14 and Appendix A] The color and symbol coding is described only in Appendix A, and the meaning of filled versus empty symbols is easy to lose when reading the figures. A brief inline legend or a direct labeling of representative points would improve readability.
  3. [Definition 2.15 and Remark 2.21] The decomposition T = ⊕_{j∈Z} T^{=j} is introduced in Remark 2.21 only after being used informally in Definition 2.15; moving the eigenspace decomposition before the definition of the non-negative part would clarify the exposition.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the dimension formulas and existence searches are self-contained, and the cited prior results are external theorems.

full rationale

The claimed results are not circular. The central tool is Theorem F (Corollaries 3.23 and 3.25), a lower bound on dim H^n_h derived from tangent-space computations for 2-step ideals (Theorems 3.7, 3.9, 3.12, 3.16, 3.22, 3.24), not from the conclusions it is used to prove. Its hypothesis ('Assume that there exists at least a nesting of homogeneous ideals having natural first anti-diagonal') is explicitly stated, and for the concrete d-vectors in Theorem A and for the 215 elementary components the existence is delegated to Macaulay2 files (e.g., 'The ancillary Macaulay2 file reducibility-nested-Hilbert-schemes.m2 contains the code to explicitly produce a configuration for each case'). Delegating existence to computational certificates is a reproducibility limitation, not a circular reduction: the dimension lower bound and the search over integer points with Delta >= 0 are independent of the target reducibility statements. The TNT criterion (Theorem 2.20) is quoted from the authors' earlier published paper [18], but it is an external theorem with stated assumptions not including the present examples, so self-citation is not load-bearing in a circular sense. I also note Remark 7.2's assertion that Shafarevich's formula is incorrect for h=(1,5,4) is given without a certificate; that is an unverified claim, but it is not used as an input to the main derivation. No fitted parameter is renamed as a prediction, and no known result is repackaged by definition.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central derivation uses no fitted constants: the dimension formulas are counting arguments and the examples are integer points satisfying explicit inequalities. The main burden is the existence assumption on natural first anti-diagonal ideals, which the authors verify computationally. No new physical or geometric entities are postulated; 2-step ideals are a new class of mathematical objects, not an invented entity in the ledger sense.

assumptions (4)
  • standard math The Hilbert scheme Hilb^d A^n is representable and its tangent space at [I] is Hom_R(I, R/I).
    Used throughout to compute tangent spaces; standard result from Sernesi's deformation theory.
  • standard math For a homogeneous ideal I with Hilbert function h, the graded Betti numbers are bounded by those of the lexicographic ideal L_h (Bigatti-Hulett).
    Used to define the potential TNT area via the maximum value of beta_{2,k+2}.
  • domain assumption There exists a nesting of homogeneous ideals with natural first anti-diagonal of the Betti table for each Hilbert function used in Theorem F.
    The dimension formulas in Corollaries 3.23 and 3.25 assume this existence; the paper verifies it with Macaulay2 for the listed examples, but the general method relies on it.
  • standard math A generically reduced irreducible component is elementary if and only if a general point has trivial negative tangents ([18, Theorem 4]).
    Used to certify elementary components; quoted from the authors' previous published paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of New components of Hilbert schemes of points and 2-step ideals." pith.science (2026). https://pith.science/paper/3SS3K5C7

@misc{pith2026250702789,
  author       = {Pith},
  title        = {Pith review of: New components of Hilbert schemes of points and 2-step ideals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3SS3K5C7}},
  note         = {Machine review of arXiv:2507.02789}
}
abstract

This paper presents new examples of elementary and non-elementary irreducible components of the Hilbert scheme of points and its nested variants. The results are achieved via a careful analysis of the deformations of a class of finite colength ideals that are introduced in this paper and referred to as 2-step ideals. The most notable reducibility results pertain to the 4-nested Hilbert scheme of points on a smooth surface, the reducibility of $\text{Hilb}^{3,7}\mathbb{A}^4$, and a method to detect a large number of generically reduced elementary components. To demonstrate the feasibility of this approach, we provide an explicit description of 215 new generically reduced elementary components in dimensions 4, 5 and 6.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 52 canonical work pages

  1. [1]

    52, American Mathematical Society, Providence, RI, 2010

    Marian Aprodu and Jan Nagel, Koszul cohomology and algebraic geometry , University Lecture Series, vol. 52, American Mathematical Society, Providence, RI, 2010

    work page 2010

  2. [2]

    Cristina Bertone, Francesca Cioffi, and Margherita Roggero, Smoothable Gorenstein points via marked schemes and double- generic initial ideals, Exp. Math. 31 (2022), no. 1, 120–137

    work page 2022

  3. [3]

    Algebra21 (1993), no

    Anna Maria Bigatti,Upper bounds for the Betti numbers of a given Hilbert function, Comm. Algebra21 (1993), no. 7, 2317–2334

    work page 1993

  4. [4]

    39, Cambridge University Press, Cambridge, 1993

    Winfried Bruns and Jürgen Herzog,Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993

    work page 1993

  5. [5]

    Lie Theory 26 (2016), no

    Michaël Bulois and Laurent Evain, Nested punctual Hilbert schemes and commuting varieties of parabolic subalgebras, J. Lie Theory 26 (2016), no. 2, 497–533

    work page 2016

  6. [6]

    Cartwright, Daniel Erman, Mauricio Velasco, and Bianca Viray,Hilbert schemes of 8 points, Algebra Number Theory 3 (2009), no

    Dustin A. Cartwright, Daniel Erman, Mauricio Velasco, and Bianca Viray,Hilbert schemes of 8 points, Algebra Number Theory 3 (2009), no. 7, 763–795

    work page 2009

  7. [7]

    Jan Cheah, Cellular decompositions for nested Hilbert schemes of points, Pacific J. Math. 183 (1998), no. 1, 39–90

    work page 1998

  8. [8]

    Commun., vol

    Theodosios Douvropoulos, Joachim Jelisiejew, Bernt Ivar Utstøl Nødland, and Zach Teitler,The Hilbert scheme of 11 points in A3 is irreducible, Combinatorial algebraic geometry, Fields Inst. Commun., vol. 80, Fields Inst. Res. Math. Sci., Toronto, ON, 2017, pp. 321–352

    work page 2017

Show all 54 references
  1. [9]

    150, Springer-Verlag, New York, 1995, With a view toward algebraic geometry

    David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995, With a view toward algebraic geometry. 48 F . GIOVENZANA, L. GIOVENZANA, M. GRAFFEO, AND P . LELLA

    1995

  2. [10]

    229, Springer-Verlag, New York, 2005, A second course in commutative algebra and algebraic geometry

    David Eisenbud, The geometry of syzygies , Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York, 2005, A second course in commutative algebra and algebraic geometry

    2005

  3. [11]

    Moawwad El-Mikkawy,A note on a three-term recurrence for a tridiagonal matrix, Appl. Math. Comput. 139 (2003), no. 2-3, 503–511

    2003

  4. [12]

    Daniel Erman and Mauricio Velasco, A syzygetic approach to the smoothability of zero-dimensional schemes, Adv. Math. 224 (2010), no. 3, 1143–1166

    2010

  5. [13]

    Kleiman, Nitin Nitsure, and Angelo Vistoli, Fundamental alge- braic geometry, Mathematical Surveys and Monographs, vol

    Barbara Fantechi, Lothar Göttsche, Luc Illusie, Steven L. Kleiman, Nitin Nitsure, and Angelo Vistoli, Fundamental alge- braic geometry, Mathematical Surveys and Monographs, vol. 123, American Mathematical Society, Providence, RI, 2005, Grothendieck’ s FGA explained

    2005

  6. [14]

    Gavril Farkas, Rahul Pandharipande, and Alessio Sammartano, Irrational components of the Hilbert scheme of points , arxiv:2405.11997, 2024

    2024 arXiv

  7. [15]

    Ricolfi,Invariants of nested Hilbert and Quot schemes on surfaces, arxiv:2503.14175, 2025

    Nadir Fasola, Michele Graffeo, Danilo Lewa´nski, and Andrea T . Ricolfi,Invariants of nested Hilbert and Quot schemes on surfaces, arxiv:2503.14175, 2025

    2025 arXiv

  8. [16]

    John Fogarty,Algebraic families on an algebraic surface, Amer. J. Math. 90 (1968), 511–521

    1968

  9. [17]

    Chandranandan Gangopadhyay, Parvez Rasul, and Ronnie Sebastian,Irreducibility of some nested Hilbert schemes, Proc. Am. Math. Soc. 152 (2024), no. 5, 1857–1870

    2024

  10. [18]

    Franco Giovenzana, Luca Giovenzana, Michele Graffeo, and Paolo Lella,Unexpected but recurrent phenomena for quot and Hilbert schemes of points, Rend. Semin. Mat. Univ. Politec. Torino82 (2024), no. 1, 145–170

    2024

  11. [19]

    Franco Giovenzana, Luca Giovenzana, Michele Graffeo, and Paolo Lella,A counterexample to the parity conjecture, Algebr. Geom. 12 (2025), no. 2, 173–188

    2025

  12. [20]

    Lothar Göttsche, On the motive of the Hilbert scheme of points on a surface, Math. Res. Lett. 8 (2001), 613–627

    2001

  13. [21]

    Ricolfi, and Alessio Sammartano,The geometry of double nested Hilbert schemes of points on curves, Trans

    Michele Graffeo, Paolo Lella, Sergej Monavari, Andrea T . Ricolfi, and Alessio Sammartano,The geometry of double nested Hilbert schemes of points on curves, Trans. Amer. Math. Soc. electronically published on June 18 (2025)

    2025

  14. [22]

    Ricolfi,The motive of the Hilbert scheme of points in all dimensions, arxiv:2406.14321, 2024

    Michele Graffeo, Sergej Monavari, Riccardo Moschetti, and Andrea T . Ricolfi,The motive of the Hilbert scheme of points in all dimensions, arxiv:2406.14321, 2024

    2024

  15. [23]

    Green,Generic initial ideals, Six lectures on commutative algebra (Bellaterra, 1996), Progr

    Mark L. Green,Generic initial ideals, Six lectures on commutative algebra (Bellaterra, 1996), Progr. Math., vol. 166, Birkhäuser, Basel, 1998, pp. 119–186

    1996

  16. [24]

    Alexander Grothendieck, Techniques de construction et théorèmes d’existence en géométrie algébrique. IV. Les schémas de Hilbert, Séminaire Bourbaki, Exp. No. 221, no. 6, Soc. Math. France, 1961, pp. 249–276

    1961

  17. [25]

    Algebraic Geom

    Mark Haiman and Bernd Sturmfels, Multigraded Hilbert schemes, J. Algebraic Geom. 13 (2004), no. 4, 725–769

    2004

  18. [26]

    Henni and Marcos Jardim,Commuting matrices and the Hilbert scheme of points on affine spaces, Advances in Geometry 18 (2018), no

    Abdelmoubine A. Henni and Marcos Jardim,Commuting matrices and the Hilbert scheme of points on affine spaces, Advances in Geometry 18 (2018), no. 4, 467–482

    2018

  19. [27]

    Huibregtse, Some elementary components of the Hilbert scheme of points, Rocky Mountain J

    Mark E. Huibregtse, Some elementary components of the Hilbert scheme of points, Rocky Mountain J. Math. 47 (2017), no. 4, 1169–1225

    2017

  20. [28]

    Huibregtse, More elementary components of the Hilbert scheme of points, Rocky Mountain J

    Mark E. Huibregtse, More elementary components of the Hilbert scheme of points, Rocky Mountain J. Math. 53 (2023), no. 6, 1865–1888

    2023

  21. [29]

    Hulett, Maximum Betti numbers of homogeneous ideals with a given Hilbert function, Comm

    Heather A. Hulett, Maximum Betti numbers of homogeneous ideals with a given Hilbert function, Comm. Algebra 21 (1993), no. 7, 2335–2350

    1993

  22. [30]

    Anthony Iarrobino, Reducibility of the families of 0-dimensional schemes on a variety, Invent. Math. 15 (1972), 72–77

    1972

  23. [31]

    Stud.59 (1973), no

    Anthony Iarrobino, The number of generic singularities, Rice Univ. Stud.59 (1973), no. 1, 49–51

    1973

  24. [32]

    Anthony Iarrobino, Punctual Hilbert schemes, Mem. Amer. Math. Soc. 10 (1977), no. 188, viii+112

    1977

  25. [33]

    Anthony Iarrobino, Compressed algebras: Artin algebras having given socle degrees and maximal length, Trans. Amer. Math. Soc. 285 (1984), no. 1, 337–378

    1984

  26. [34]

    36 (1978), no

    Anthony Iarrobino and Jacques Emsalem, Some zero-dimensional generic singularities; finite algebras having small tangent space, Compositio Math. 36 (1978), no. 2, 145–188

    1978

  27. [35]

    Joachim Jelisiejew,Elementary components of Hilbert schemes of points, J. Lond. Math. Soc. (2) 100 (2019), no. 1, 249–272

    2019

  28. [36]

    Joachim Jelisiejew,Generically nonreduced components of hilbert schemes on fourfolds, 2024

    2024

  29. [37]

    Math., vol

    Joachim Jelisiejew,Open problems in deformations of Artinian algebras, Hilbert schemes and around, Deformation of Artinian algebras and Jordan type, Contemp. Math., vol. 805, Amer. Math. Soc.,[Providence], RI, [2024] ©2024, pp. 3–25

    2024

  30. [38]

    Schmiermann,Behrend’s function is not constant on Hilbn (C3), Geom

    Joachim Jelisiejew, Martijn Kool, and Reinier F . Schmiermann,Behrend’s function is not constant on Hilbn (C3), Geom. Topol. to appear (2025). NEW COMPONENTS OF HILBERT SCHEMES AND 2-STEP IDEALS 49

    2025

  31. [39]

    Hiroaki Kanno, Quiver matrix model of ADHM type and BPS state counting in diverse dimensions, PTEP . Prog. Theor. Exp. Phys. (2020), no. 11, 11B104, 22

    2020

  32. [40]

    Kleiman and Jan O

    Steven L. Kleiman and Jan O. Kleppe,Macaulay duality and its geometry, Perspectives on Four Decades of Algebraic Geometry, Volume 1, Progr. Math., vol. 351, Birkhäuser/Springer, Cham, 2025, pp. 337–427

    2025

  33. [41]

    Kleppe,The Hilbert-flag scheme, its properties and its connection with the Hilbert scheme

    Jan O. Kleppe,The Hilbert-flag scheme, its properties and its connection with the Hilbert scheme. Applications to curves in 3-space, unpublished, see https://www.cs.hioa.no/ jank/papers.htm

  34. [42]

    297 (1999), no

    Devadatta Kulkarni, Darrell Schmidt, and Sze-Kai Tsui,Eigenvalues of tridiagonal pseudo-Toeplitz matrices, Linear Algebra Appl. 297 (1999), no. 1-3, 63–80

    1999

  35. [43]

    Macaulay, Some Properties of Enumeration in the Theory of Modular Systems , Proc

    Francis S. Macaulay, Some Properties of Enumeration in the Theory of Modular Systems , Proc. London Math. Soc. (2) 26 (1927), 531–555

    1927

  36. [44]

    Guerino Mazzola, Generic finite schemes and Hochschild cocycles, Comment. Math. Helv.55 (1980), no. 2, 267–293

    1980

  37. [45]

    Nikita Nekrasov,Magnificent four, Adv. Theor. Math. Phys.24 (2020), no. 5, 1171–1202

    2020

  38. [46]

    Ritvik Ramkumar and Alessio Sammartano, Rational Singularities of Nested Hilbert Schemes, Int. Math. Res. Not. IMRN (2024), no. 2, 1061–1122

    2024

  39. [47]

    Staal,Small elementary components of Hilbert schemes of points, Forum Math

    Matthew Satriano and Andrew P . Staal,Small elementary components of Hilbert schemes of points, Forum Math. Sigma 11 (2023), Paper No. e45, 36

    2023

  40. [48]

    Staal,Galois closures and elementary components of Hilbert schemes of points, Selecta Math

    Matthew Satriano and Andrew P . Staal,Galois closures and elementary components of Hilbert schemes of points, Selecta Math. (N.S.) 30 (2024), no. 2, Paper No. 28, 35

    2024

  41. [49]

    334, Springer-Verlag, Berlin, 2006

    Edoardo Sernesi, Deformations of algebraic schemes, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 334, Springer-Verlag, Berlin, 2006

    2006

  42. [50]

    Shafarevich, Deformations of commutative algebras of class 2, Algebra i Analiz 2 (1990), 178–196

    Igor R. Shafarevich, Deformations of commutative algebras of class 2, Algebra i Analiz 2 (1990), 178–196

    1990

  43. [51]

    Szabo and Michelangelo Tirelli,Noncommutative instantons in diverse dimensions, The European Physical Journal Special Topics232 (2023), no

    Richard J. Szabo and Michelangelo Tirelli,Noncommutative instantons in diverse dimensions, The European Physical Journal Special Topics232 (2023), no. 23, 3661–3680

    2023

  44. [52]

    Michał Szachniewicz, Non-reducedness of the Hilbert schemes of few points, arxiv:2109.11805, 2021

    2021 arXiv

  45. [53]

    Math., vol

    Giuseppe Valla, Problems and results on Hilbert functions of graded algebras, Six lectures on commutative algebra (Bellaterra, 1996), Progr. Math., vol. 166, Birkhäuser, Basel, 1998, pp. 293–344

    1996

  46. [54]

    437 (2012), no

    Klemen Šivic, On varieties of commuting triples III, Linear Algebra Appl. 437 (2012), no. 2, 393–460. (F . Giovenzana)LABORATOIRE DE MATHÉMATIQUES D ’ORSAY , UNIVERSITÉ PARIS -SACLAY , RUE MICHEL MAGAT, BÂT. 307, 91405, ORSAY, FRANCE Email address: franco.giovenzana@universite...

    2012

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.