{"id":"b0496f51-3faf-4eb1-bdd1-64e65b3d18b1","arxiv_id":"2509.10288","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A Derived Mapping Space Lemma gives a unified way to compute mapping spaces in localizations, and yields criteria for cubical and simplicial categories to be localizations of their underlying categories at homotopy equivalences.","lead":"This paper proves a general lemma for computing mapping spaces in localizations of infinity-categories as colimits of mapping spaces into resolutions, generalizing Cisinski's calculus of fractions. It then uses the lemma to show that certain cubical and simplicial categories are localizations of their underlying categories at homotopy equivalences, including a cubical category of graphs used in discrete homotopy theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's verdict (ACCEPT, moderate confidence) is consistent with my reading. The central lemma is correct: (R1)+(R2) make the localized diagram contractible, yielding γ_!φ_i an equivalence, and (R3) is precisely the condition that lets the unlocalized colimit represent the derived mapping space. Each major application verifies (R3) rather than importing the desired conclusion, so there is no circularity. The only presentations weaknesses I noticed are the terse handling of the 3×3 diagram and the notation φ_i, but these are fillable and do not affect the mathematics. The weak-tensor case of Theorem 3.8, which initially seemed potentially non-analogous, also satisfies R3 because the tensor resolution is indexed by □ with terminal object □^0, making the R3 colimit reduce to C0(-,Y), and homotopy equivalences are known to act as equivalences on all mapping spaces. Therefore I have no load-bearing objection and the ACCEPT verdict stands unchanged.","tokens_in":46,"tokens_out":46530,"duration_ms":1013536,"concrete_test":"Re-derive the 3×3 diagram in the proof of Theorem 2.2 in full ∞-categorical detail, showing that the bottom horizontal map α is an equivalence using only (R1) and (R2), and that (R3) is used exactly once, to replace γ^*γ_! colim_I C(-,Y•) by colim_I C(-,Y•). Independently, in Theorem 3.8, recompute the R3 verification for the weak-cotensor resolution at a nontrivial cube dimension, confirming that the natural equivalence colim_{[1]^n∈□^op} C0(X,□^n⋔Y) ≃ C(X,Y) is natural in X and sends homotopy equivalences to equivalences.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I reviewed the Derived Mapping Space Lemma (Theorem 2.2) and its proof in good faith. The proof is formally sound: condition (R1) makes the indexing category weakly contractible, and condition (R2) ensures every structure map Y→Y_i becomes an equivalence in the localization; hence the diagram of localized representables is a diagram of equivalences over a weakly contractible index, so each colimit coprojection is an equivalence and γ_!φ_i is an equivalence. Condition (R3) is used only to know that colim_I C(-,Y•) lies in the essential image of γ^*, so the unit is an equivalence and the codomain of γ^*γ_!φ_i can be identified with the unlocalized colimit. This matches the reader's weakest assumption exactly. In the applications, R3 is verified rather than assumed: in Theorem 3.8 the colimit over □^op is compared to C(X,Y) via Corollary 3.14, and the required homotopy-invariance of mapping spaces under homotopy equivalences is the listed consequence of Definition 3.2. I checked the possible concern that the weak-tensor half of Theorem 3.8 is not analogous to the weak-cotensor half; the tensor resolution indexed by □ has a terminal object □^0, so its colimit collapses to the value at □^0, i.e. C0(-,Y), and homotopy equivalences are already known to induce equivalences on mapping spaces. Thus R3 holds in that case as well. I found no circular step, no missing hypothesis, and no internally inconsistent application. The paper's main fragility remains exactly (R3), as the reader stated, but the authors verify it directly in each consequence.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Derived Mapping Space Lemma (Theorem 2.2) which gives conditions under which the mapping space in a localization C[W^{-1}] can be computed as a colimit of mapping spaces into a resolution Y• of Y before localizing. The lemma is applied in three directions: it recovers the model-categorical frame computation of mapping spaces (Corollary 3.1); it gives a sufficient condition for a cubical category to be the localization of its underlying 1-category at homotopy equivalences (Theorem 3.8), with a simplicial analogue and a 2-categorical specialization (Corollaries 3.15 and 3.16); and it proves that the cubical category of graphs is the localization of the category of graphs at graph homotopy equivalences (Corollary 3.18). The paper also develops, in appendices, background on cubical sets and cubical categories, including a cubical Bergner model structure, a Quillen equivalence with the Joyal model structure, and a comparison of mapping spaces under the cubical homotopy-coherent nerve.","tokens_in":23912,"tokens_out":41318,"duration_ms":348096,"significance":"The Derived Mapping Space Lemma is a concise and general statement that unifies several known localization techniques and supplies a new proof distinct from Cisinski's calculus of fractions. If the applications are fully established, the paper provides a valuable framework: the cubical graph application (Corollary 3.18) closes a known gap in discrete homotopy theory, and the cubical results are genuinely not obtainable by a purely simplicial argument. The proof of Theorem 2.2 itself is clean and the hypotheses (R1)-(R3) are checkable in the examples. However, the paper's utility is contingent on the correctness of Theorem 3.8 for both weak tensors and weak cotensors, and on the completeness of the Appendix B comparison result; both currently need further work.","major_comments":[{"comment":"The sentence 'We prove the result for weak cotensors; the case of weak tensors proceeds analogously' is not justified and appears to be incorrect as written. For weak cotensors, the resolution is the functor -⋔Y : □^op → Y↓C0; since □^op has an initial object, the homotopy colimit over □^op does not collapse, and Corollary 3.14 identifies it with the full cubical mapping space C(X,Y), giving condition (R3). For weak tensors, the natural functor is Y⊗- : □ → Y↓C0, and □ has a terminal object [1]^0. The homotopy colimit over □ therefore collapses to the value at the terminal object, so the colimit presheaf is C0(-,Y), regarded as a discrete ∞-groupoid-valued presheaf. Condition (R3) for this discrete presheaf would require that precomposition with every homotopy equivalence induces a bijection on the underlying sets of morphisms, which is not implied by the homotopy-invariance of the cubical mapping spaces and fails in general. Thus the weak-tensor half of Theorem 3.8 is not established by the given argument, and the theorem as stated may overreach. Please either supply a correct proof for the weak-tensor case or restrict the statement (and the dependent corollaries) to weak cotensors.","section":"Theorem 3.8, proof"},{"comment":"The proof of Corollary B.21 is only a sketch. The central reduction, 'Using Proposition B.20, we can replace C appropriately (e.g. by U•Ex∞•T•C) and assume that C = U•D', is asserted without justification. It must be shown that this replacement is a DK-equivalence, that applying Ex∞ levelwise to the hom-objects of T•C actually produces a simplicial category (i.e., that the enrichment structure is preserved, which is not automatic because Ex∞ is not visibly lax monoidal), and that the resulting equivalences of mapping spaces are compatible with the representables of N□C. Corollary B.21 is load-bearing: it is used in the proof of Theorem 3.8 to identify N□Cf(-,Y) with Cf(-,Y). Without a complete and detailed proof of this corollary, the localization theorem for cubical categories is not fully supported.","section":"Appendix B, Corollary B.21"}],"minor_comments":[{"comment":"In the final paragraph of the proof, the names β, φ, and Φ appear to be interchanged: the map β, whose domain is C0[W^{-1}](-,Y), should be identified with Φ_[1]^0 from diagram (∗), while the dotted arrow from C0(-,Y) should be identified with φ_[1]^0. As written, the sentence 'we can identify the map β as the map φ_[1]^0' is type-incorrect and makes the argument difficult to follow.","section":"Theorem 3.8, proof"},{"comment":"The statements 'every simplicial set K is its own geometric realization, i.e. colim_{Δ^op} K → Set → S ≃ K' and 'X is the (homotopy) colimit of the diagram □^op → Set → S' are imprecise: the colimit must be understood as a homotopy colimit of the diagram of discrete spaces, not as a strict 1-categorical colimit, since the latter would give the set of 0-cubes (because Δ^op and □^op have initial objects). A short clarifying remark would prevent confusion.","section":"Corollary 3.1 and Corollary 3.14"},{"comment":"There is a typo in 'D.C. acknolwedges' (should be 'acknowledges').","section":"Acknowledgments"}],"recommendation":"major_revision","confidential_remarks":"The weak-tensor issue in Theorem 3.8 is the most serious concern. It may be fixable either by a genuinely new argument or by restricting the theorem to weak cotensors, but as it stands the theorem's statement exceeds what the proof establishes. The Appendix B gap regarding Corollary B.21 should also be filled with a real proof, not a one-sentence reduction. The Derived Mapping Space Lemma itself appears sound, and the cotensor-based applications, including the graphs result, may well survive the needed revisions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: the derived mapping space lemma is a repackaging of Cisinski's calculus-of-fractions theorem — the authors admit as much in Remark 2.4 — but the paper earns its keep on the application side. The cubical localization criterion and the graph corollary are genuinely new and close a real gap in discrete homotopy theory.\n\nThe proof of Theorem 2.2 is short and correct. The crucial hypothesis is (R3), and the authors do not paper over it: it is exactly the condition that the colimit presheaf is already local, and in each application they verify it by comparing the colimit to an ordinary mapping space. I checked the tensor half of Theorem 3.8 and the stress-tester is right that the terminal object in □ makes it collapse to C0(-,Y), so no hidden asymmetry. The reductions for the simplicial and 2-categorical corollaries are believable, and the graph application is a nice payoff.\n\nThe soft spot is Appendix B, specifically Corollary B.21. The proof of item (2) replaces a locally Kan cubical category C by U•Ex∞•T•C in one sentence, and that replacement is load-bearing for identifying the mapping spaces of the homotopy-coherent nerve. It may be true — the surrounding statements are cited correctly — but as written it reads like a handwave. A referee should push for a more detailed argument or a precise reference. The cubical Bergner model structure also appears with a proof assembled from Lurie and Stanculescu; that is fine, but the paper is not self-contained in a way that makes the appendix easy to check.\n\nNo circularity. The disclosure that the main lemma follows from Cisinski's theorem is a point in the authors' favor, not against them. The citation pattern is appropriate — they cite their own prior work where it is actually prior work.\n\nWho should read this: anyone working on mapping spaces in localizations, cubical models of higher categories, or discrete homotopy theory. It deserves a serious referee. I would send it to review and ask for the appendix to be expanded before publication.","headline":"Repackaged lemma, genuinely new cubical applications, with one terse load-bearing appendix step that referees should push on.","tokens_in":24456,"tokens_out":2194,"would_cite":true,"duration_ms":19539,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N60"],"pacs":[],"model":"deepseek-v4-flash","headline":"Resolutions compute mapping spaces in localizations.","keywords":["derived mapping space lemma","localization of infinity-categories","calculus of fractions","cubical categories","simplicial categories","homotopy equivalences","discrete homotopy theory","cubical sets"],"falsifier":"Concretely, the theorem would be falsified by any relative $\\infty$-category and resolution satisfying (R1)-(R3) for which $\\gamma^*\\mathcal{C}[W^{-1}](-,Y)$ and $\\operatorname{colim}_{i\\in I}\\mathcal{C}(-,Y_i)$ are not equivalent as presheaves. A reader can search for such an example by taking the paper's own counterexample of a one-object cubical category built from a cubical group with nontrivial higher homotopy and trying to equip it with a resolution that satisfies (R3); the lemma says no such resolution exists, so exhibiting one would be a direct counterexample, while proving none exists would confirm the sharp role of (R3).","tokens_in":23412,"feed_emoji":"🧊","tokens_out":15548,"duration_ms":130910,"temperature":0.7,"pith_summary":"This paper establishes the Derived Mapping Space Lemma: in a relative $\\infty$-category $(\\mathcal{C},W)$, if an object $Y$ is resolved by a weakly contractible diagram $Y_\\bullet$ whose entries are weakly equivalent to $Y$ and whose mapping-space colimit is already local, then the mapping spaces of the localization $\\mathcal{C}[W^{-1}]$ are homotopy colimits of the ordinary mapping spaces into the resolution. The lemma is a catch-all statement: it recovers the classical computation of derived mapping spaces by simplicial frames, and it supplies a single sufficient condition under which a cubical or simplicial category is the localization of its underlying category at homotopy equivalences. The condition is checkable directly on the enrichment, and the authors use it to justify that the cubical category of graphs is the localization of the category of graphs at graph homotopy equivalences. A sympathetic reader should care because the lemma turns a difficult question about mapping spaces after localization into a verification performed on a resolution built before localizing.","feed_headline":"Resolutions compute mapping spaces in localizations","feed_subtitle":"A single lemma unifies simplicial frames, cubical categories, and the cubical category of graphs.","key_machinery":"The carrying object is the notion of an $I$-resolution (Definition 2.1): a diagram $Y_\\bullet:I\\to Y\\downarrow\\mathcal{C}$ such that $I$ is weakly contractible, each structure map $Y\\to Y_i$ becomes an equivalence in $\\mathcal{C}[W^{-1}]$, and the colimit presheaf $\\operatorname{colim}_{i\\in I}\\mathcal{C}(-,Y_i)$ sends weak equivalences to equivalences of $\\infty$-groupoids. The proof mechanism is the adjunction $\\gamma_!\\dashv\\gamma^*$ between presheaf categories: because the colimit presheaf lies in the essential image of $\\gamma^*$, the unit at the colimit is an equivalence, and because $I$ is weakly contractible the unit at the constant diagram is an equivalence; comparing the two units in a commutative square forces the map $\\Phi_i$ to be an equivalence. Applications lean on weak (co)tensors by the interval cube $\\square^1$, representatives of the tensor/cotensor adjunction with only unenriched naturality, a flexibility needed because the cubical geometric product is not symmetric; these build resolutions whose mapping-space colimit is the original mapping space.","core_discovery":"The paper's central claim is that derived mapping spaces are computed by resolutions before localization. Concretely, for a relative $\\infty$-category $(\\mathcal{C},W)$ and an $I$-resolution $Y_\\bullet:I\\to Y\\downarrow\\mathcal{C}$ of $Y$, Theorem 2.2 gives an equivalence of presheaves $\\gamma^*\\mathcal{C}[W^{-1}](-,Y)\\simeq\\operatorname{colim}_{i\\in I}\\mathcal{C}(-,Y_i)$, hence equivalences $\\mathcal{C}[W^{-1}](X,Y)\\simeq\\operatorname{hocolim}_{i\\in I}\\mathcal{C}(X,Y_i)$ natural in $X$. The resolution is not required to be a fibrant replacement in a model category: it only needs a weakly contractible indexing category, weak equivalences from $Y$ to every $Y_i$, and locality of the colimit presheaf. The paper then proves that this single lemma instantiates to simplicial frames in model categories, to a localization criterion for cubical, simplicial, and 2-categories, and to the cubical category of graphs.","pith_inferences":["Beyond the paper: the lemma is really a criterion for when the homotopy colimit of ordinary representables over a resolution is the derived representable, which suggests a descent-style characterization of local presheaves on a relative $\\infty$-category.","Beyond the paper: since only weak tensors or cotensors by an interval object are needed, the localization criterion should extend to enrichments over any monoidal category with a chosen interval object, even when the monoidal product is not symmetric; testing this on other categories with box products is a natural next step.","Beyond the paper: the graph result indicates a broader phenomenon in discrete homotopy theory, where concrete categories whose homotopy relation comes from an interval graph may all admit cubical enrichments of this type, and the same theorem would identify their localizations without constructing a model structure."],"forward_implications":["For every model category $\\mathcal{M}$, each simplicial resolution $Y_\\bullet$ of $Y$ gives $\\mathcal{M}[W^{-1}](X,Y)\\simeq\\mathcal{M}(X,Y_\\bullet)$ for cofibrant $X$, recovering frame computations of derived mapping spaces from a single lemma.","Any cubical category admitting weak tensors or weak cotensors by $\\square^1$ becomes, after fibrant replacement in the model structure on cubical categories, the localization of its underlying category at homotopy equivalences; the criterion transfers to simplicial categories and to 2-categories with groupoid mapping categories.","The cubical category of graphs is the localization of the category of graphs at graph homotopy equivalences, closing the gap in the previously announced resolution of an open problem in discrete homotopy theory.","Because the associated quasicategory of the cubical category of graphs lacks pushouts, graph homotopy equivalences cannot be the weak equivalences of any model structure on graphs.","Any colimit of representables along a resolution that is already local must agree with the derived representable, so local presheaves can be recognized resolution-by-resolution rather than only by fibrant replacement."],"supporting_citations":[{"why":"The prior calculus-of-fractions theorem that the Derived Mapping Space Lemma generalizes and can be reduced to.","marker":"[Cis19, Thm. 7.2.8]"},{"why":"Identifies the left Kan extension of a representable with a representable, used to interpret $\\gamma_!\\mathcal{C}(-,Y)$.","marker":"[Lur09, Prop. 5.2.6.3]"},{"why":"Guarantees the constant diagram over a weakly contractible index category has a constant homotopy colimit cone.","marker":"[Lur09, Cor. 4.4.4.10]"},{"why":"Provides the comparison that verifies condition (R3) for simplicial resolutions in a model category.","marker":"[Hir03, Cor. 16.5.5.(3)]"},{"why":"Supplies the model structure on cubical sets and the triangulation Quillen equivalence used in the cubical applications.","marker":"[DKLS24, Thms. 1.34 & 6.26]"},{"why":"Establishes that the cubical homotopy-coherent nerve of a locally Kan cubical category is a quasicategory.","marker":"[KV20, Thm. 2.6]"},{"why":"The diagonal lemma for bicubical sets that makes every cubical set its own homotopy colimit, used to verify (R3) for cubical cotensors.","marker":"[CKW25, Ex. 3.11]"},{"why":"Provides the cubical Kan complexes and weak equivalences for the cubical category of graphs used in the final corollary.","marker":"[CK24, Thm. 4.1]"}],"fun_headline_variants":["One lemma unifies all mapping space computations","Derived mapping spaces via resolutions, no fibrant model","Cisinski's theorem generalized for infinity-categories","Weak equivalences suffice: mapping spaces via colimits","Resolutions compute mapping spaces pre-localization"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof hangs on condition (R3): the colimit of mapping spaces into the resolution must already send weak equivalences of $\\mathcal{C}$ to equivalences of $\\infty$-groupoids; if only the other two conditions hold, the key comparison map is not known to be an equivalence and the theorem does not apply.","fun_headline_variants_meta":{"raw":{"variants":["One lemma unifies all mapping space computations","Derived mapping spaces via resolutions, no fibrant model","Cisinski's theorem generalized for infinity-categories","Weak equivalences suffice: mapping spaces via colimits","Resolutions compute mapping spaces pre-localization"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001078,"raw_usage":{"total_tokens":4448,"prompt_tokens":822,"completion_tokens":3626,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":438,"completion_tokens_details":{"reasoning_tokens":3552}},"tokens_in":438,"tokens_out":3626,"duration_ms":22279,"temperature":1.0,"reasoning_tokens":3552,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:56:59.786045+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Concretely, the theorem would be falsified by any relative $\\infty$-category and resolution satisfying (R1)-(R3) for which $\\gamma^*\\mathcal{C}[W^{-1}](-,Y)$ and $\\operatorname{colim}_{i\\in I}\\mathcal{C}(-,Y_i)$ are not equivalent as presheaves. A reader can search for such an example by taking the paper's own counterexample of a one-object cubical category built from a cubical group with nontrivial higher homotopy and trying to equip it with a resolution that satisfies (R3); the lemma says no such resolution exists, so exhibiting one would be a direct counterexample, while proving none exists would confirm the sharp role of (R3).","supporting_citations":[],"review_version":2}