{"id":"9b1d66b6-055e-4e50-affe-6a89c75a74c6","arxiv_id":"2411.15606","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Deformation spaces for arbitrarily long chains of closed immersions are constructed, and panelization isomorphisms show they can be rebuilt from shorter chains in a 19-panel polyptych for length three.","lead":"This paper builds a general framework of multi-centered deformation spaces attached to chains of closed subschemes of arbitrary length, unifying Fulton's simple deformation space and Rost's double deformation space. It proves panelization isomorphisms that relate each such space to smaller ones, and it uses them to compute the strata of these spaces.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest-assumption analysis points to Assumption 3.5(ii), which is exactly the condition on which the panelization isomorphism rests. After re-deriving the local algebra, I find the condition is satisfied in the two geometrically meaningful settings of Theorem 4.1, and the proof of Theorem 3.4 is internally coherent. The paper is explicit that Assumption 3.5 is a regularity hypothesis and Remark 3.10 shows it cannot be dropped. The proof of Theorem 4.1(ii) is terse at the graded-decomposition step, but the missing justification is supplied by the chain condition Q_k ⊂ Q_s for s > k, which makes the distributivity identity essentially trivial. Appendix A's monomial ideal identities appear correct within their stated quasi-regular hypotheses. I therefore do not see a load-bearing concern that would change the reader's ACCEPT verdict; at most, the authors could expand the verification of (3.4) in Theorem 4.1(ii) to make the argument easier to audit.","tokens_in":25034,"tokens_out":46062,"duration_ms":405166,"concrete_test":"Verify Assumption 3.5(ii) directly for a nontrivial H1-regular chain, e.g. over B = k[x,y,z] with Q_1 = (z), Q_2 = (x,z), Q_3 = (x,y,z), A = B[T], and a few exponent vectors γ,θ with S>k = {2,3}. Compute both sides of the local identity (∑_e T^{γ_e}∏ M_s^{θ_s^e}_s) ∩ M_k = ∑_e T^{γ_e}((∏ M_s^{θ_s^e}_s) ∩ M_k) in a computer algebra system. If equality fails for any allowed data, Theorem 4.1(ii) and hence the panelization isomorphism in that setting would be invalid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I examined the central panelization isomorphism (Theorem 3.4) and its verification in Theorem 4.1. The reader correctly identifies Assumption 3.5(ii), equation (3.4), as the load-bearing regularity hypothesis; this is where a hidden failure would break the proof of Proposition 3.11 and hence Theorem 3.4(iii). I checked the local proof in Theorem 4.1(ii) in detail, especially the terse step where a graded decomposition is said to imply the distributivity identity. That step is not fully expanded in the text, but it is valid: in the A^n setting each M_s = Q_s A with Q_k ⊂ Q_s for s > k, so every nontrivial monomial product I_e = ∏ M_s^{θ_s} contains M_k, and the graded components reduce the identity to the trivial fact that if each J_e is either B or contains Q_k, then (∑ J_e) ∩ Q_k = ∑(J_e ∩ Q_k). I found no counterexample within the stated hypotheses and no internal inconsistency in the regular-sequence argument of Theorem 4.1(i). The main remaining weakness is expository terseness rather than a mathematical gap in the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces multi-centered deformation spaces attached to chains of closed immersions X_n ⊂ ... ⊂ X_1 ⊂ X and locally principal closed subschemes D_1,...,D_n, defined as multi-centered dilatations of X. It proves a universal property for these spaces (Proposition 2.4) and then establishes panelization isomorphisms: under a technical Assumption 3.5, the full deformation space of length n is canonically isomorphic to an iterated deformation space built from the deformation space of a subset S of the indices (Theorem 3.4). The paper verifies Assumption 3.5 in two geometric settings, namely locally Noetherian schemes where the closed subschemes are cut out by initial segments of a regular sequence (Theorem 4.1(i)) and A^n-deformation settings over a base with flat H1-regular immersions (Theorem 4.1(ii)). It then studies strata of deformation spaces (Theorem 5.3), constructs the polyptych P(n) of equivalent presentations by repeated panelization, and spells out the cases n=2 and n=3, recovering Rost's strata for the double deformation space as a special case. An appendix supplies the monomial ideal identities used to verify the regularity assumptions.","tokens_in":25327,"tokens_out":12211,"duration_ms":115647,"significance":"If correct, the paper gives a uniform conceptual framework for deformation spaces of arbitrary length, generalizing Fulton's deformation to the normal cone and Rost's asymmetric double deformation space. The central theorem is formulated axiomatically, with the regularity content isolated in Assumption 3.5, and the proof is largely driven by universal properties rather than by coordinate calculations. The paper is careful to give an explicit non-isomorphism example (Remark 3.10) showing that the panelization morphism is not an isomorphism without the extra hypotheses, and the appendix provides useful and non-obvious identities for ideals generated by segments of a regular sequence. The main claims are thus concrete and falsifiable: the hypotheses are explicit, there are no fitted constants or target-inclusive assumptions, and the proof steps are mostly checkable in detail. The main weakness is that a few steps are presented very tersely, especially in the proof of Theorem 4.1(ii).","major_comments":[],"minor_comments":[{"comment":"The regular sequence is written as \"x_mn,...x mn−1,...,x m1,...,x 0,dn,...,d 1 (for some integers mk)\", which is hard to parse; please define the indexing precisely, including the intended order of the sequence and the meaning of the integers m_k.","section":"Section 4, Theorem 4.1(i)"},{"comment":"The step \"This implies that ...\" used to verify Assumption 3.5(ii) is too terse for a load-bearing point; please expand it by decomposing into T-degree pieces and by explicitly using that Q_k ⊂ Q_s for s > k, which makes the intersection-with-M_k distributive over the finite sum in question.","section":"Section 4, proof of Theorem 4.1(ii)"},{"comment":"The counterexample would be easier to follow if the text explicitly identified which part of Assumption 3.5 fails for S = {2} and why, rather than only showing that the two deformation spaces are not isomorphic.","section":"Remark 3.10"},{"comment":"The polyptych diagram is visually dense; labeling the arrows with the relevant panelization morphisms Θ(S) would make the poset structure and the commutativity claims much easier to verify.","section":"Figure 1 and Section 6.1"},{"comment":"The hypothesis of Theorem 5.3 is stated rather formally via the category Sch^{{D_k}_{k∈I\\S}}_{(∩_{s∈S}D_s)}; it would help to spell out concretely in the statement what this flatness/smoothness condition means, and to cross-reference the verification in Section 6.","section":"Section 5, Theorem 5.3"}],"recommendation":"minor_revision","confidential_remarks":"The paper relies heavily on the authors' own prior theory of multi-centered dilatations [Ma24d], which is said to appear in Transformation Groups. The editor may wish to confirm that [Ma24d] is publicly available in its final form before publication. The mathematical content appears sound; the requested changes are expository and local, so I do not see a need for a second full round of external review beyond checking the revised passages."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the polyptych paper. My take: it is a real contribution. It defines deformation spaces for chains of n closed immersions and proves panelization isomorphisms that relate the n-fold space to iterated smaller ones. For n=2 you recover Rost's double deformation space; for n=1 Fulton. The panelization theorem (3.4) is new, and the polyptych picture—including the 19 panels for n=3—is concrete and likely to be useful.\n\nThe proof is careful. They set up a universal property, reduce to affine, compute the kernel of the local dilatation map, and the appendix proves the ideal identities needed. I checked the step the stress test flags, the graded decomposition in Theorem 4.1(ii); it is terse but valid. The counterexample in Remark 3.10 shows the naive morphism is not an isomorphism in general, which is the right kind of honesty.\n\nThe soft spot is Assumption 3.5. It is technical and load-bearing. Conditions (i) and (ii) are stated as identities of closure operations and are not obviously geometric. The authors call them regularity hypotheses, and they prove them in two settings: locally Noetherian with regular sequences, and A^n-deformations over a base with H1-regular immersions. Those cover real ground, but the assumption remains the part a referee would want motivated further or generalized. I do not see a gap there; it is simply heavy.\n\nThe paper leans heavily on the authors' own multi-centered dilatation formalism (Ma24d). That is not circular: the panelization results are new derivations from those foundations, and the cited results are themselves proved. Self-citation here is legitimate.\n\nWho is this for: people working in deformation spaces, intersection theory, motives. It is a solid paper. I would send it to a serious referee, not desk reject. The exposition could be tightened in places, but the mathematics is honest and the new structure is worth having.","headline":"Genuine extension of Fulton–Rost deformation spaces to arbitrary chain length; panelization isomorphisms hold up, though Assumption 3.5 remains heavy.","tokens_in":25752,"tokens_out":2130,"would_cite":true,"duration_ms":19728,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14B07","14E05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The panelization theorem identifies every deformation space of a chain of immersions with iterated deformation spaces of shorter chains, under a distributivity condition.","keywords":["deformation spaces","polyptych of deformation spaces","multi-centered dilatations","affine modifications","strata","Rost double deformation space","panelization isomorphisms","chains of immersions"],"falsifier":"Compute both sides of Assumption 3.5(i) for the affine example in Remark 3.10 with $\\theta_2=2$: the left side is $(2X_2)\\cup X_1=V(X^2)$ and the right side is $X_2+X_1=V(X^3)$, so the inequality locates exactly where the assumption is needed. A decisive test of the theorem would be a deformation datum satisfying both (3.3) and (3.4) for which $\\Theta(S)$ is not an isomorphism; the paper's kernel computation (Proposition 3.11) gives a concrete way to check this equality in any affine example.","tokens_in":24874,"feed_emoji":"🧩","tokens_out":11051,"duration_ms":94204,"temperature":0.7,"pith_summary":"This paper builds a common framework for deformation spaces in algebraic geometry. Classical constructions, such as Fulton's simple deformation space and Rost's double deformation space, attach a scheme to one or two nested closed immersions; here the authors attach a deformation space $D((D_i/X_i)_{i\\in I} X)$ to a chain $X_n \\subset \\cdots \\subset X_1 \\subset X$ of arbitrary length, using multi-centered dilatations. The central claim is the panelization isomorphism: under a distributivity condition on closed subschemes, the full length-$n$ deformation space is canonically isomorphic to deformation spaces assembled from shorter chains, so the same scheme acquires many equivalent descriptions. The condition is verified in two geometric settings: locally Noetherian schemes whose immersions are defined by regular sequences, and $\\mathbb{A}^n$-deformations with flat $H_1$-regular immersions. These isomorphisms give a systematic method to compute the strata of deformation spaces and, in the double case, recover Rost's description. If the claim is right, deformation spaces of arbitrary length can be studied by induction on length through a finite polyptych of equivalent panels.","feed_headline":"Deformation spaces of any length reduce to smaller ones","feed_subtitle":"Panelization isomorphisms make every length-n deformation space a polyptych of smaller ones, unifying Fulton and Rost.","key_machinery":"The central object is the multi-centered dilatation, an affine modification of a scheme $X$ attached to a family of centers $[Y_i,D_i]$ with each $D_i$ locally principal. The deformation space of a chain is defined as the multi-centered dilatation $$D\\left(\\frac{D_i}{X_i}\\right)_{i\\in I}\\!X = \\operatorname{Bl}_{\\{X_i\\}_{i\\in I}}^{\\{\\sum_{j\\geq i}D_j\\}_{i\\in I}} X,$$ and it represents the functor of maps $f:T\\to X$ such that $f^{-1}(\\sum_{j\\geq i}D_j)\\subset f^{-1}(X_i)$. The load-bearing identity is the panelization isomorphism of Theorem 3.4, which holds when the closed subschemes satisfy the distributivity rule (3.4). This identity is what makes the kernel computation factor and produces the inverse morphism; iterating it in the smooth setting yields the polyptych $P(n)$, the finite collection of equivalent descriptions of the same deformation space.","core_discovery":"The paper's main result, Theorem 3.4, constructs a canonical morphism $\\Theta(S)$ from an iterated deformation space, where one first takes the deformation space over a subchain $S$ and then deforms each remaining center inside it, to the full deformation space $D((D_i/X_i)_{i\\in I} X)$, and proves that $\\Theta(S)$ is an isomorphism whenever Assumption 3.5 holds. That assumption consists of two identities in the lattice of closed subschemes, a distributivity rule for sums, intersections and unions with the subscheme $X_k$. Theorem 4.1 shows the assumption holds in the locally Noetherian setting with regular sequences and in the $\\mathbb{A}^n$-deformation setting with flat $H_1$-regular immersions. The proof reduces to affine rings and computes the kernels of the corresponding dilatation maps using the description of multi-centered dilatations by fractions; the appendix supplies the needed facts about monomial ideals in regular sequences. The authors also show, in Remark 3.10, that without the assumption the panelization morphism need not be an isomorphism.","pith_inferences":["The panelization isomorphisms behave like associativity constraints for a combinatorial operad of deformation spaces; one could expect a coherence theorem stating that all panelization morphisms between equivalent panels compose to the unique canonical isomorphism, making the polyptych into a contractible category.","Because the regularity hypothesis is expressed as a distributivity law in $\\mathrm{Clo}(X)$, it may hold in settings beyond the two proved here, such as Tor-independent or sufficiently flat immersions, and checking it is a purely local ideal-theoretic computation.","The failure of panelization in the example of Remark 3.10 could be measured as a defect invariant; studying the cokernel of $\\Theta(S)$ might yield invariants of the deformation datum that are invisible in the regular case.","The strata formulas could feed intersection-theoretic computations, since deformation to the normal cone is a classical tool in Chow theory; explicit polyptych descriptions may simplify computations of Chow groups or motivic invariants of schemes with chains of subschemes."],"forward_implications":["Every deformation space of length $n$ that satisfies Assumption 3.5 admits as many equivalent canonical descriptions as there are subsets $S\\subset I$, and each description is isomorphic to the original by a unique morphism.","Strata of deformation spaces taken over $\\cap_{s\\in S}D_s$ can be described as deformation spaces of shorter chains; in the smooth $\\mathbb{A}^n$ setting, codimension-one strata are explicitly given by schemes such as $V(D_s/X_s,X_{s+1})$ (Proposition 6.5).","In the double deformation case, the panelization isomorphisms recover Rost's strata descriptions 10.0.3–10.0.5, placing them in a more conceptual framework.","In the smooth $\\mathbb{A}^n$-deformation setting, the deformation space is smooth over the base, so the polyptych provides a finite atlas of smooth models of the same scheme.","The $n=3$ polyptych has 19 panels, organized as a poset under panelization; for general $n$, the number of panels is finite and each panel determines the deformation space uniquely."],"supporting_citations":[{"why":"Supplies the theory of multi-centered dilatations, including the fraction description and the universal property used throughout to define deformation spaces and prove the panelization result.","marker":"[Ma24d]"},{"why":"Identifies the scheme $V(D/Y,X)$ with the restriction of a mono-centered dilatation, which is used for strata descriptions and smoothness arguments.","marker":"[MRR20]"},{"why":"Defines the asymmetric double deformation space whose strata are recovered through panelization.","marker":"[Ro96]"},{"why":"Provides the standard facts about regular sequences, quasi-regularity and $H_1$-regularity used in Theorem 4.1 and the appendix.","marker":"[StP]"},{"why":"Contains the intersection-product identity for regular sequences that the appendix generalizes to monomial ideals.","marker":"[Gr67]"},{"why":"Introduces strongly Lech-independent ideals, used in the appendix's more general intersection formulas.","marker":"[Me21]"}],"fun_headline_variants":["Polyptych: deformation spaces telescope to smaller ones","Length-n deformation spaces reduce via panelization isos","Every deformation space is a polyptych of smaller ones","Panelization isomorphisms unify Fulton and Rost deformations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the lattice of closed subschemes of the base scheme satisfies the distributivity rule (3.4): intersecting a finite sum of divisors and chain members with $X_k$ can be distributed over the sum one term at a time; the paper establishes this only for regular-sequence and flat $H_1$-regular $\\mathbb{A}^n$-deformation data, and it fails in general.","fun_headline_variants_meta":{"raw":{"variants":["Polyptych: deformation spaces telescope to smaller ones","Length-n deformation spaces reduce via panelization isos","Every deformation space is a polyptych of smaller ones","Panelization isomorphisms unify Fulton and Rost deformations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000443,"raw_usage":{"total_tokens":2212,"prompt_tokens":884,"completion_tokens":1328,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":1262}},"tokens_in":500,"tokens_out":1328,"duration_ms":10231,"temperature":1.0,"reasoning_tokens":1262,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:06:16.328755+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of Assumption 3.5(i) for the affine example in Remark 3.10 with $\\theta_2=2$: the left side is $(2X_2)\\cup X_1=V(X^2)$ and the right side is $X_2+X_1=V(X^3)$, so the inequality locates exactly where the assumption is needed. A decisive test of the theorem would be a deformation datum satisfying both (3.3) and (3.4) for which $\\Theta(S)$ is not an isomorphism; the paper's kernel computation (Proposition 3.11) gives a concrete way to check this equality in any affine example.","supporting_citations":[],"review_version":1}