{"id":"13bffe7f-21f5-4565-a3da-3711639db864","arxiv_id":"2507.02789","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"2-step ideals provide a new framework for finding reducible Hilbert schemes and elementary components, producing 215 new examples in dimensions 4, 5 and 6.","lead":"This paper introduces a class of algebraic objects called 2-step ideals and uses them to find many new irreducible components of Hilbert schemes of points, including the first known reducible 4-nested Hilbert scheme on the plane. The method also yields 215 new explicit families of elementary components, giving a systematic way to detect such structures.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem F's existence hypothesis is asserted for each new example but verified only by referenced Macaulay2 files; the central reducibility and 215-component claims therefore rest on unshown certificates.","rationale":"I read the paper's core machinery as internally coherent: the 2-step ideal setup, the tangent-space computations in Lemma 3.6 and Theorem 3.7, the unobstructedness of degree-one tangent vectors in Theorem 3.9/Corollary 3.10, and the Białynicki–Birula fibre-dimension arguments are carefully presented and do not reveal an obvious algebraic error. The Hessian analysis of Δ_{n,r,k} is likewise consistent with the stated reducibility criteria. The load-bearing point is exactly the existence hypothesis isolated by the reader: Corollaries 3.23 and 3.25 assume a nesting with natural first anti-diagonal exists, and the positive results of Sections 4–7 use that hypothesis for each concrete Hilbert function. For the marquee example d=(454,491,527,565), the text provides only the Hilbert-function vector and a pointer to a Macaulay2 script; the explicit ideal, its Betti table, and the verification that the stratum has dimension exceeding the smoothable one are not present in the manuscript. The same holds for the 215 elementary components, where the tables assert TNT without showing the tangent-space computation. This is a verification gap rather than a demonstrated flaw, so it warrants a conditional verdict rather than rejection. Because the reader's CONDITIONAL verdict already encodes this condition, my stress-test does not change the verdict. I also note Remark 7.2's claim that Shafarevich's formula is incorrect is stated without proof; it is secondary to the main theorems but should be substantiated before publication.","tokens_in":1009,"tokens_out":2662,"duration_ms":155080,"concrete_test":"Obtain the ancillary files reducibility-nested-Hilbert-schemes.m2 and reducibility-Hilbert-schemes.m2. For each d in Theorem 4.1 and each row of Figures 5 and 8, run the script and independently check: (i) each constructed ideal is m-primary with the displayed 2-step Hilbert functions; (ii) the relevant Betti numbers satisfy the natural first anti-diagonal condition, i.e. β_{1,k+i+1}=0 in the no-syzygy cases and the stated few-syzygy normal form otherwise; (iii) the computed stratum dimension dim H_h equals the tabulated T_0 + T_1 and exceeds the dimension of the smoothable component. For the 215 claimed elementary components, re-verify the TNT property by computing T_{<0} and checking that the map θ is surjective. If any certificate fails, that specific reducibility or component claim is unsupported; if all succeed, the conditional doubts are resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The dimension formulas in Corollaries 3.23 and 3.25 are conditional on the existence of a nesting of homogeneous ideals with the specified Hilbert functions and with natural first anti-diagonal, i.e. with the stated vanishing of β_{1,k+i+1}. Without such a point, formula (3.11) and all derived Δ_{n,r,k} bounds do not apply. The proof of Theorem 4.1 selects natural points in D_N and then refers to the ancillary Macaulay2 file to explicitly produce a configuration, but no explicit ideals, Betti tables, or certificates are shown in the text for those configurations. The same is true for the 215 generically reduced elementary components: the tables list Hilbert functions and TNT claims, but the actual verification is delegated to scripts that are not reproduced. This is not an internal inconsistency, but it makes the central new results depend on computational certificates the manuscript itself does not supply. A secondary unproven assertion is Remark 7.2, which states that Shafarevich's formula is incorrect for h=(1,5,4) without giving the argument or a computational certificate.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":52307,"tokens_out":6920,"duration_ms":84302,"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":[{"comment":"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.","section":"§4.1, Theorem 4.1 and §5.1, Theorem 5.5"},{"comment":"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.","section":"§5, paragraph following Corollary 3.18"},{"comment":"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.","section":"§6.1, Theorem 6.2"},{"comment":"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.","section":"§7, Figures 11–14 and Theorem 7.1"},{"comment":"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.","section":"Remark 7.2"}],"minor_comments":[{"comment":"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.","section":"§1.2 and throughout"},{"comment":"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.","section":"Figures 9–14 and Appendix A"},{"comment":"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.","section":"Definition 2.15 and Remark 2.21"}],"recommendation":"major_revision","confidential_remarks":"The central theoretical framework is plausible and the main theorems appear sound once the computational hypotheses are verified. The report focuses on missing certificates because the headline claims — reducibility of the 4-nested Hilbert scheme on a surface, the elementary component of Hilb^{(3,7)}A^4, and the 215 new components — all pass through computational existence checks that are not reproduced. If the ancillary Macaulay2 files are already part of the submission and will be archived with it, the authors should state this explicitly and add brief descriptions of what the scripts verify; otherwise the claims should be presented as conditional on those computations. The unsupported Remark 7.2 about Shafarevich's formula should also be addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely new: it produces the first reducible 4-nested Hilbert scheme of points on a smooth surface, improving the previously known minimum nesting depth from 5 to 4. The class of 2-step ideals is a good organizing idea, and it pays off. The core results—unobstructedness of degree-one tangent vectors (Theorem 3.7/Corollary 3.10), the dimension formulas for Hilbert strata (Theorem F), and the applications to reducibility of nested Hilbert schemes—are proven carefully and the arguments are readable. I also credit the explicit isomorphism in Theorem 6.2 and the identification of 215 generically reduced elementary components as a substantial computational contribution.\n\nThe main soft spot is exactly where the stress-test note points: Theorem F is conditional on the existence of ideals with natural first anti-diagonal of the Betti table. For each listed example the authors assert this existence and refer to auxiliary Macaulay2 files, but the text itself does not display the ideals, Betti tables, or certificates. This is not an internal inconsistency, and it is normal for a paper producing 215 components to delegate verification to code. Still, the reducibility claims and the component list rest on those unshown certificates. The ancillary files are referenced, so the right referee action is to actually run them. If the code reproduces the claimed TNT and natural first anti-diagonal data, the paper is solid. Without that, the central results are as good as the unverified code.\n\nA second, minor issue: Remark 7.2 states that Shafarevich's formula is incorrect for h=(1,5,4) without giving an argument or a certificate. This is a side remark and does not affect the main theorems, but it should either be proven in a footnote or removed if it cannot be supported.\n\nI do not share the reader's worry about circularity. The dimension counts are self-contained, the search over integer points is a genuine existence search, and citing the authors' own previous paper for the TNT criterion is acceptable when that result is published and the criterion is applied correctly. The one place I would push back on the stress-test note is the word \"unshown\": the paper says it ships with the Macaulay2 package and two ancillary files, so the certificates are shown in the only practical way for a list of 215 items. Reproducing all of them in the text would be unreasonable.\n\nWho is this for? People working on Hilbert schemes of points, especially questions of reducibility and elementary components. They will want the method and the examples. It deserves a serious referee: the mathematics is well motivated, the main proofs are rigorous, and the computational burden is clearly scoped. My recommendation: send to peer review, and have the referee check the ancillary files. If the code runs and produces the claimed configurations, accept. If not, the authors need to supply explicit certificates for at least the headline examples, especially the reducible 4-nested scheme.","headline":"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.","tokens_in":52902,"tokens_out":2232,"would_cite":true,"duration_ms":27910,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14C05","13D02","13C05"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Hilbert schemes of points","nested Hilbert schemes","2-step ideals","elementary components","trivial negative tangents","Białynicki–Birula decomposition","Betti tables","reducibility"],"falsifier":"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.","tokens_in":51909,"feed_emoji":"🧩","tokens_out":9985,"duration_ms":95965,"temperature":0.7,"pith_summary":"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.","feed_headline":"First reducible 4-nested Hilbert scheme on a surface found","feed_subtitle":"New 2-step ideals yield 215 previously unknown building-block components of Hilbert schemes of points in dimensions 4–6.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the 'large algebra' dimension-counting idea that 2-step ideals replace, and the compressed-algebra example giving reducibility of $\\operatorname{Hilb}^{78}\\mathbb{A}^3$.","marker":"[33]"},{"why":"Supplies the trivial-negative-tangent criterion for generically reduced elementary components and the non-reduced-component results used in Corollary 4.2 and Theorem 6.2.","marker":"[18]"},{"why":"Provides the Białynicki–Birula tangent-space framework and the elementary-component/TNT method, including the known $\\operatorname{Hilb}^{35}\\mathbb{A}^4$ example analyzed in Remark 6.1.","marker":"[35]"},{"why":"Proves irreducibility of nested Hilbert schemes on surfaces for $r\\le 2$, the baseline that Theorem A extends by finding the first reducible $r=4$ case.","marker":"[17]"},{"why":"Gives the previous reducibility of nested Hilbert schemes on surfaces for $r\\ge 5$, which Theorem A improves to $r=4$ with smaller lengths.","marker":"[46]"},{"why":"Classifies irreducibility of Hilbert schemes of points in higher dimensions for small length, the context for the new dimension-4 components.","marker":"[34]"},{"why":"Presents small elementary components such as the $\\operatorname{Hilb}^{15}\\mathbb{A}^4$ example with Hilbert function $(1,4,6,4)$, which the 2-step construction covers and analyzes.","marker":"[47]"}],"fun_headline_variants":["First reducible 4-nested Hilbert scheme on a surface","215 new elementary components in Hilbert schemes","2-step ideals produce reducible nested Hilbert schemes","Nested Hilbert scheme reducibility from 2-step ideals"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["First reducible 4-nested Hilbert scheme on a surface","215 new elementary components in Hilbert schemes","2-step ideals produce reducible nested Hilbert schemes","Nested Hilbert scheme reducibility from 2-step ideals"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000643,"raw_usage":{"total_tokens":2934,"prompt_tokens":896,"completion_tokens":2038,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":1973}},"tokens_in":512,"tokens_out":2038,"duration_ms":15150,"temperature":1.0,"reasoning_tokens":1973,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:21:06.027518+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the 'large algebra' dimension-counting idea that 2-step ideals replace, and the compressed-algebra example giving reducibility of $\\operatorname{Hilb}^{78}\\mathbb{A}^3$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the trivial-negative-tangent criterion for generically reduced elementary components and the non-reduced-component results used in Corollary 4.2 and Theorem 6.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Białynicki–Birula tangent-space framework and the elementary-component/TNT method, including the known $\\operatorname{Hilb}^{35}\\mathbb{A}^4$ example analyzed in Remark 6.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves irreducibility of nested Hilbert schemes on surfaces for $r\\le 2$, the baseline that Theorem A extends by finding the first reducible $r=4$ case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the previous reducibility of nested Hilbert schemes on surfaces for $r\\ge 5$, which Theorem A improves to $r=4$ with smaller lengths."},{"cited_title":"36 (1978), no","cited_arxiv_id":null,"evidence_quote":"Classifies irreducibility of Hilbert schemes of points in higher dimensions for small length, the context for the new dimension-4 components."},{"cited_title":"Staal,Small elementary components of Hilbert schemes of points, Forum Math","cited_arxiv_id":null,"evidence_quote":"Presents small elementary components such as the $\\operatorname{Hilb}^{15}\\mathbb{A}^4$ example with Hilbert function $(1,4,6,4)$, which the 2-step construction covers and analyzes."}],"review_version":1}