{"id":"8fcc197a-d0e1-4b40-8c5d-9ce59b120c94","arxiv_id":"2504.16326","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For every (∞,n)-category E, the stabilization of its slice category is equivalent to spectrum-valued functors on a twisted arrow category TwAr(E), yielding a deformation theory and a characterization of lax-idempotent monads.","lead":"An (∞,n)-category is shown to have a twisted arrow category TwAr(E) whose spectrum-valued functors describe the stabilized slice category over E. This gives a deformation-theoretic toolkit for higher categories and a new categorical description of lax-idempotent monads.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop. 6.15's key colimit identification is asserted without proof; on it rests the computation TwAr(x) ≅ Stein^int_{n,/x}, hence Theorem A.","rationale":"The reader's weakest_assumption was the healthy-tree condition (Propositions 5.15 and 5.23). My concern is adjacent but distinct: even assuming all healthy-tree claims, Theorem A's bridge is Proposition 6.15, which computes TwAr(x) for every strong Steiner complex x. The supplied text truncates inside that proof, and the decisive colimit identification after Eq. (104) is asserted without a supporting argument. This is a concrete unproved equivalence rather than a matter of general intricacy. The healthy-tree condition feeds into this because Proposition 6.15 applies only to x ∈ Stein_n, but my concern would survive even if health were fully verified. A targeted computation for n=3 would settle whether the colimit identity is correct. If it fails, Theorem A would need revision; if it holds, the remaining risk is the health condition flagged by the reader. Since the reader already assigned CONDITIONAL and my concern reinforces rather than changes that assessment, the verdict remains unchanged.","tokens_in":78364,"tokens_out":15732,"duration_ms":152591,"concrete_test":"Specialize Proposition 6.15's colimit identity to n=3, k=0, p=1, x = D_3(2,0,0) from Construction 6.4. Compute the left-hand side colim_{s_2} Hom_{Cat_3}(A^±_2(s_2), D_3(2,0,0)) using the explicit elementary-cell combinatorics of Proposition 6.7 and Definition/Proposition 6.10, and compare it with the right-hand side Hom_{Cat_3}(D_2(1,0), D_3(2,0,0)). If the two mapping spaces are not equivalent, Proposition 6.15 is false; if they are equivalent for this and also for the n=3, p=2 cases, the identified risk is reduced and the healthy-tree condition flagged by the reader becomes the main residual concern.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Proposition 6.15, after the pullback expression (104) for Hom^-(Y_p(1,s_2,...,s_{n-k}), x), the text asserts that colim_{s± ∈ Δ^{×(n-k-p-1),op}} Hom^±_{Cat_n}(A±_{n-k-p}(s±), x) ≅ B±, where B± = Hom_{Cat_n}(D_{p+k-1}(1,0,...,0), x). This identification is then used to conclude Z_p(f,g) ≅ Z_{p-1}(f,g), which is the pivot of the downward induction proving contractibility of Hom_TwAr(x)(f,g). The assertion is not a formal consequence of the displayed colimit diagram (103): the objects A±(s±) are images of elementary cells under active maps with varying parameters, and the claim is that the colimit of mapping spaces from these varying objects into an arbitrary x ∈ Stein_n coincides with the mapping space from a fixed smaller disk. The supplied text gives no argument for this equivalence, and the copy truncates inside this proof. If the equivalence fails for some x, then TwAr(x) is not equivalent to Stein^int_{n,/x}, and the comparison TwAr(E) ≅ Stab(Cat_{n,/E}) in Theorem A loses its computational content. This is distinct from the healthy-tree condition: even if every tree in Construction 6.11 is healthy, Proposition 6.15 is the step that actually identifies TwAr(x) with the twisted-arrow category.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a deformation theory for (∞,n)-categories. For E ∈ Cat_n it defines an (∞,1)-category TwAr(E) by means of healthy Θ_n-trees and strong Steiner complexes, and claims in Theorem A an isomorphism Stab(Cat_{n,/E}) ≅ Hom_Cat(TwAr(E), Sp). The proof strategy is to compute Stab(Cat_{n,/θ}) for θ ∈ Θ_n as spectrum-valued presheaves on Θ^{int,op}_{n,/θ} (Theorem 2.21), introduce an intermediate model TwAr_θ(E) and prove Hom(TwAr_θ(E), Sp) ≅ Stab(Cat_{n,/E}) (Proposition 4.12), and then show that the new model TwAr(E) agrees with TwAr_θ(E) via the computation TwAr(x) ≅ Stein^int_{n,/x} for x ∈ Stein_n (Propositions 4.17 and 6.15). The final section applies the deformation-theoretic criterion to characterize lax-idempotent monads (Theorem D).","tokens_in":78590,"tokens_out":6175,"duration_ms":61572,"significance":"If Theorem A is correct, it gives a uniform, explicit description of the stabilization of the overcategory of an arbitrary (∞,n)-category, subsuming the known n=1 and n=2 cases and providing a computational tool for deformation theory in all dimensions. The use of strong Steiner complexes and healthy trees is a substantial original contribution, and the connection to lax-idempotent monads in Theorem D is a valuable application. The paper is carefully structured and cross-checks the main construction against lower-dimensional examples. However, the central comparison in Proposition 6.15 contains a missing proof step, and the healthy-tree machinery on which the model is built is extremely intricate; the significance of the paper is therefore conditional on completing and auditing these arguments.","major_comments":[{"comment":"After the pullback expression (104) for Hom^-(Y_p(1,s_2,...,s_{n-k}), x), the proof asserts that colim_{s± ∈ Δ^{×(n-k-p-1),op}} Hom^±_{Cat_n}(A±_{n-k-p}(s±), x) ≅ B±, where B± = Hom_{Cat_n}(D_{p+k-1}(1,0,...,0), x). This identification is the pivot of the downward induction: it is used to conclude Z_p(f,g) ≅ Z_{p-1}(f,g), which in turn proves contractibility of Hom_TwAr(x)(f,g) and hence the equivalence TwAr(x) ≅ Stein^int_{n,/x}. The assertion is not a formal consequence of the displayed colimit diagram (103), because the objects A±_{n-k-p}(s±) vary with the parameters s±; mapping spaces from these varying objects into an arbitrary x do not obviously coincide with the mapping space from a fixed smaller disk. The supplied text gives no argument for this equivalence, and the copy truncates inside this proof. Since Proposition 6.15 is load-bearing for Theorem A, this step must be proved in full or replaced by a precise reference.","section":"§6, Proposition 6.15"},{"comment":"The well-definedness of the model TwAr(E) in Construction 6.11 depends on the healthy-tree condition: Proposition 5.15 must ensure that the trees generated in Construction 6.11 are strong Steiner complexes, and Proposition 5.23 must ensure that the pushouts used in Construction 6.11 remain in Tree^h_n. I did not find a concrete erroneous step in these propositions, and Example 5.7 shows that the authors are aware of the delicacy of the loop-freeness condition. Nevertheless, these proofs are long informal inductions, and every object produced by Construction 6.11 must satisfy them. I would ask the authors to add a concise verification that the objects D^p_n(q_1,...,q_p) of Construction 6.4 satisfy the conditions of Proposition 5.15, and to explain explicitly why the pushout in Proposition 5.23 lands in Tree^h_n rather than merely in Tree_n. This would make the dependence of Theorem A on the healthy-tree condition directly auditable.","section":"§5–§6, healthy-tree machinery (Definitions 5.6, 5.16; Propositions 5.15, 5.23, 6.5)"}],"minor_comments":[{"comment":"The last sentence contains a grammatical error: 'apply it to given an ∞-categorical characterization' should read 'apply it to give an ∞-categorical characterization'.","section":"Abstract"},{"comment":"The notation Stein_n vs. Stein_n (with and without the overline) is introduced together and the difference is easy to miss; a short reminder at the start of Section 3 would improve readability.","section":"§3, Definition 3.7 and Remark 3.8"},{"comment":"The proof of Proposition 4.17, especially the portion after diagram (78), is extremely long and difficult to follow; a brief outline of the induction and of which claims are proved by which displayed diagram would greatly help the reader.","section":"§4, Proposition 4.17"}],"recommendation":"major_revision","confidential_remarks":"I believe the main theorem is likely correct and the paper is a significant contribution, but the missing argument in Proposition 6.15 is essential and must be supplied before acceptance. Given the length and combinatorial intricacy of Sections 5–6, I would also encourage the authors to include a structured verification of the healthy-tree conditions or, if feasible, a formalized companion proof of the key combinatorial assertions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result is a genuine generalization: Theorem A gives an explicit model for Stab(Cat_{n,/E}) as spectrum-valued functors on a twisted arrow category for all n, extending the n=1 and n=2 results. The machinery is new — Construction 6.11, the Steiner-complex formalism, healthy Θ_n-trees, and the lax-idempotent monad application via Theorem D. The paper also deserves credit for disclosing that Theorem B is known in other forms [2], [6], and for warning about the delicate points (Warning 2.11, Example 5.7). I found no circularity: the stabilization is computed against external benchmarks, and TwAr(E) is defined independently of the claimed equivalence.\n\nThat said, the paper is huge and the technical core is very hard to check. I could follow the overall shape, but the pivotal step is Proposition 6.15: identifying TwAr(x) with Stein^int_{n,/x}. The proof's downward induction hinges on a colimit identification that is asserted, not demonstrated — the claim that the colimit over s± of mapping spaces from varying A±(s±) into an arbitrary x equals the mapping space from a fixed smaller disk. My review copy truncates inside this proof, so I could not see the missing argument. If that identification fails, the key computation TwAr(x) ≅ Stein^int_{n,/x} loses its force, and Theorem A loses its computational content. This is separate from the healthy-tree condition; even if all trees are healthy, Prop. 6.15 is what makes the model match the stabilization. The healthy-tree machinery is also intricate, but it has more support: Propositions 5.15 and 5.23 at least get checked against examples.\n\nThe paper would benefit from a serious referee who knows Steiner complexes and (∞,n)-categories, with enough time to verify Prop. 6.15 and the health condition. If those hold, Theorem A is a strong result. It is not desk-reject material — it deserves a real refereeing effort. I would bring it to a reading group if the group is comfortable with slow, technical reading.","headline":"All-n twisted-arrow model for stabilization of overcategories is novel and the paper is honest, but the key comparison in Prop. 6.15 rests on an unproved colimit identification that needs a referee's eyes.","tokens_in":79292,"tokens_out":1437,"would_cite":true,"duration_ms":17665,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that the stabilization of the overcategory of an (∞,n)-category E is isomorphic to spectrum-valued functors on an explicit twisted arrow category TwAr(E), and uses this to develop deformation theory and characterize…","keywords":["deformation theory","(∞,n)-categories","twisted arrow category","stabilization","Steiner complexes","spectrum-valued functors","lax-idempotent monads","n-fold Segal spaces"],"falsifier":"Compute the two sides of Theorem A for a small category such as $E = D_3(1,1,1)$ and compare the mapping spaces; alternatively, search for a decorated $\\Theta_n$-tree that satisfies the hypotheses of Proposition 5.15 but whose associated complex contains a nontrivial loop under $\\prec_N$, or a healthy span whose pushout in $\\mathrm{Tree}^1_n$ fails to belong to $\\mathrm{Tree}^h_n$.","tokens_in":77998,"feed_emoji":"🏹","tokens_out":9438,"duration_ms":83260,"temperature":0.7,"pith_summary":"This paper tries to establish a uniform deformation theory for (∞,n)-categories: for every (∞,n)-category E, the stabilization of the overcategory Cat_{n,/E} is isomorphic to the (∞,1)-category of spectrum-valued functors on an explicitly constructed twisted arrow category TwAr(E). If true, it reduces questions about infinitesimal deformations of E to computations with spectra over a combinatorial object, and it recovers the known dimension 1 and 2 results as special cases. The paper also derives a formal criterion, Theorem C, for when a functor induces a monomorphism on mapping spaces, and applies it to characterize lax-idempotent monads as algebras over the walking lax-idempotent comonad, Theorem D.","feed_headline":"Stabilization of (∞,n)-slices reduces to spectrum functors","feed_subtitle":"A single twisted-arrow category TwAr(E) computes the stabilized slice of E.","key_machinery":"The load-bearing object is the twisted arrow category $\\mathrm{TwAr}(E)$, defined through the functors $D_n(q_1,\\dots,q_n)$ from $\\Delta^{\\times n}$ to healthy $\\Theta_n$-trees: an $r$-simplex of $\\mathrm{TwAr}(E)$ is a compatible family of maps from these trees to $E$. The arguments are carried by strong Steiner complexes, meaning augmented directed complexes with strongly loop-free unital bases, which give a computable basis for pasting diagrams that are not corepresentable by disks, together with the identification $\\mathrm{Stab}(\\mathrm{Cat}_{n,/\\theta}) \\simeq \\mathrm{PSh}_{\\mathrm{Sp}}(\\Theta^{\\mathrm{int},\\mathrm{op}}_{n,/\\theta})$, obtained through the correspondence between simplicial objects and chain complexes and the duality of [1]. The healthy-tree condition of Definition 5.16 is what guarantees the resulting trees are strong Steiner complexes and remain so under the pushouts that glue them.","core_discovery":"The central claim is Theorem A: for every $E \\in \\mathrm{Cat}_n$ there is an isomorphism $\\mathrm{Stab}(\\mathrm{Cat}_{n,/E}) \\cong \\mathrm{Hom}_{\\mathrm{Cat}}(\\mathrm{TwAr}(E), \\mathrm{Sp})$, where $\\mathrm{TwAr}(E)$ is an explicit $(\\infty,1)$-category assembled from healthy $\\Theta_n$-trees in Construction 6.11. The paper proves this by first computing the stabilization of slices over single disks $\\theta \\in \\Theta_n$ as presheaves of spectra on $\\Theta^{\\mathrm{int},\\mathrm{op}}_{n,/\\theta}$, then gluing these local descriptions along the decomposition of $E$. It also proves Theorem B, that every strong Steiner complex is a free category on its elementary cells, and uses the resulting deformation theory (Theorem C) to identify $\\mathbf{B}\\Delta^{\\mathrm{act}}_{\\mathrm{lax}}$ as the walking lax-idempotent comonad (Theorem D).","pith_inferences":["One consequence left implicit by the paper is that the stabilised slice may be blind to non-invertible higher data: the paper's Lemma 2.8 identifies a cell with its groupoid inverse after stabilization, suggesting that $\\mathrm{Stab}(\\mathrm{Cat}_{n,/E})$ depends only on the homotopy type of $E$.","A testable extension would be to combine Theorem A with spectrum-level computations to extract explicit obstruction classes for extending diagrams of $(\\infty,n)$-categories; the paper does not itself carry out such computations.","The healthy-tree condition is the natural place to look for a higher-dimensional failure of the computational model: if a wiring of $\\Theta_n$-cells produces a loop analogous to Example 5.7 in dimension greater than three, the explicit model of $\\mathrm{TwAr}(E)$ would need an alternative presentation, leaving the isomorphism intact but losing its computational content."],"forward_implications":["If Theorem A is correct, the stabilization of the overcategory of any $(\\infty,n)$-category is given by spectrum-valued functors on the explicit twisted-arrow category $\\mathrm{TwAr}(E)$, so deformation problems in all dimensions $n$ share one computational model.","The uniform construction subsumes the known one-dimensional and two-dimensional twisted-arrow categories, so results proved for $\\mathrm{TwAr}(E)$ in general specialize to those settings.","Theorem C makes deformation theory in $\\mathrm{Cat}_n$ concrete: a map $f \\colon E \\to D$ is a monomorphism on mapping spaces once the cofiber of the relevant cotangent comparison vanishes and the $(n+1,n)$-truncation of $f$ is a monomorphism.","Theorem D characterizes lax-idempotent monads: the tricategory $\\mathbf{B}\\Delta^{\\mathrm{act}}_{\\mathrm{lax}}$ is the walking lax-idempotent comonad, and maps from it into a 3-category are exactly maps from the walking comonad for which the 2-morphism $\\delta^2_1$ is left adjoint to $\\sigma^0_1$.","Theorem B says every strong Steiner complex is a free category on its elementary cells, which is what lets pasting diagrams outside $\\Theta_n$ be computed by basis elements."],"supporting_citations":[{"why":"Supplies the dimension-one theorem that $\\mathrm{Stab}(\\mathrm{Cat}_{/E}) \\simeq \\mathrm{Hom}_{\\mathrm{Cat}}(\\mathrm{TwAr}(E), \\mathrm{Sp})$, the base case being generalised.","marker":"[11]"},{"why":"Treats the dimension-two case and shows the twisted arrow category contains pasting diagrams beyond $\\Theta_2$, motivating Steiner complexes.","marker":"[24]"},{"why":"Introduces augmented directed complexes with unital loop-free bases, the formalism on which strong Steiner complexes rest.","marker":"[25]"},{"why":"Proves the freeness theorem for discrete $n$-categories, the classical version of Theorem B.","marker":"[2]"},{"why":"Provides an $\\infty$-categorical freeness result for strong Steiner complexes, the predecessor of Theorem B in this paper.","marker":"[6]"},{"why":"The duality from this reference is used to identify $\\mathrm{Stab}(\\mathrm{Cat}_{n,/\\theta})$ with presheaves on $\\Theta^{\\mathrm{int},\\mathrm{op}}_{n,/\\theta}$ in the proof of Theorem 2.21.","marker":"[1]"},{"why":"Algebraic patterns give the Segal conditions and factorization systems used throughout the stabilization arguments.","marker":"[7]"},{"why":"Supplies Postnikov towers and the small-extension machinery that turns Theorem A into the deformation-theoretic Theorem C.","marker":"[12]"},{"why":"Identifies $(\\infty,n)$-categories with $n$-fold Segal spaces, the working model for $\\mathrm{Cat}_n$ used throughout.","marker":"[14]"}],"fun_headline_variants":["Twisted arrows encode stabilized slices of (∞,n)-categories","Stabilized slices are just spectra on twisted arrows","Deformation theory via twisted-arrow spectra","A single twisted category computes all stabilized slices","Lax-idempotent monads via twisted-arrow stabilization"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole explicit model of $\\mathrm{TwAr}(E)$ rests on the healthy-tree condition of Definition 5.16: every decorated $\\Theta_n$-tree used in Construction 6.11 must have an associated augmented directed complex whose basis is strongly loop-free, and the class must be closed under the active/inert pushouts that glue trees together.","fun_headline_variants_meta":{"raw":{"variants":["Twisted arrows encode stabilized slices of (∞,n)-categories","Stabilized slices are just spectra on twisted arrows","Deformation theory via twisted-arrow spectra","A single twisted category computes all stabilized slices","Lax-idempotent monads via twisted-arrow stabilization"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000478,"raw_usage":{"total_tokens":2318,"prompt_tokens":842,"completion_tokens":1476,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":458,"completion_tokens_details":{"reasoning_tokens":1398}},"tokens_in":458,"tokens_out":1476,"duration_ms":10224,"temperature":1.0,"reasoning_tokens":1398,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:06:49.847267+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two sides of Theorem A for a small category such as $E = D_3(1,1,1)$ and compare the mapping spaces; alternatively, search for a decorated $\\Theta_n$-tree that satisfies the hypotheses of Proposition 5.15 but whose associated complex contains a nontrivial loop under $\\prec_N$, or a healthy span whose pushout in $\\mathrm{Tree}^1_n$ fails to belong to $\\mathrm{Tree}^h_n$.","supporting_citations":[{"cited_title":"The abs tract cotangent complex and quillen cohomology of enriched categories","cited_arxiv_id":null,"evidence_quote":"Supplies the dimension-one theorem that $\\mathrm{Stab}(\\mathrm{Cat}_{/E}) \\simeq \\mathrm{Hom}_{\\mathrm{Cat}}(\\mathrm{TwAr}(E), \\mathrm{Sp})$, the base case being generalised."},{"cited_title":"Quillen cohomology of ( 8, 2)-categories","cited_arxiv_id":null,"evidence_quote":"Treats the dimension-two case and shows the twisted arrow category contains pasting diagrams beyond $\\Theta_2$, motivating Steiner complexes."},{"cited_title":"Omega-categories and chain complexe s","cited_arxiv_id":null,"evidence_quote":"Introduces augmented directed complexes with unital loop-free bases, the formalism on which strong Steiner complexes rest."},{"cited_title":"A categorical characterization of strong stei ner ω -categories","cited_arxiv_id":null,"evidence_quote":"Proves the freeness theorem for discrete $n$-categories, the classical version of Theorem B."},{"cited_title":"Posets for which verdier duality holds","cited_arxiv_id":null,"evidence_quote":"The duality from this reference is used to identify $\\mathrm{Stab}(\\mathrm{Cat}_{n,/\\theta})$ with presheaves on $\\Theta^{\\mathrm{int},\\mathrm{op}}_{n,/\\theta}$ in the proof of Theorem 2.21."},{"cited_title":"Homotopy-coherent algebra via Segal conditions","cited_arxiv_id":"1907.03977","evidence_quote":"Algebraic patterns give the Segal conditions and factorization systems used throughout the stabilization arguments."},{"cited_title":"On k-invariants for $(\\infty, n)$-categories","cited_arxiv_id":"2011.12723","evidence_quote":"Supplies Postnikov towers and the small-extension machinery that turns Theorem A into the deformation-theoretic Theorem C."},{"cited_title":"Quasi-categories vs se gal spaces","cited_arxiv_id":null,"evidence_quote":"Identifies $(\\infty,n)$-categories with $n$-fold Segal spaces, the working model for $\\mathrm{Cat}_n$ used throughout."}],"review_version":1}