{"id":"1725a2ed-6dd1-47f0-be06-b5187569ea8e","arxiv_id":"2504.17764","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Orbifold completion for oriented structures is obtained from framed condensation completion by strictifying higher dagger structures in low dimensions, with examples from state sum, Landau-Ginzburg, and Rozansky-Witten models.","lead":"The paper proposes a conceptual algebraic description of orbifold and condensation completions in defect topological quantum field theories using higher dagger structures and higher idempotents for arbitrary tangential structures. This framework derives oriented orbifold completion from framed condensation completion via an explicit strictification procedure in low dimensions, illustrated with examples from state sum models and Landau-Ginzburg models.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Strictification procedure described explicitly only in low dimensions; unclear if it canonically preserves tangential data for general orbifold/condensation relation","rationale":"The reader's weakest assumption directly identifies the same point. Because the full text supplies explicit low-dimensional descriptions and examples but does not contain a general theorem proving that the strictification map is independent of tangential structure or that it preserves all required data automatically, the claim remains conditional on that verification. No internal contradiction appears in the provided constructions, and the recontextualization of rigid monoidal data as dagger structures is a reasonable step, but the cross-tangential implication needs the concrete check above to be secured.","tokens_in":1658,"tokens_out":410,"duration_ms":24690,"concrete_test":"Take the truncated affine Rozansky-Witten model example from the paper; apply the low-dimensional strictification procedure to its framed condensation completion and check whether the resulting oriented orbifold completion reproduces the known orbifold invariants (e.g., the expected change in the defect fusion rules or the Euler class data) without inserting extra orientation choices by hand.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that a single strictification procedure for higher dagger structures converts framed condensation completion into oriented orbifold completion (and analogously for spin/unoriented cases) while preserving all necessary defect and tangential data. The paper states it describes this procedure explicitly in low dimensions and discusses the other cases, but the construction appears to proceed by re-expressing existing rigid symmetric monoidal data as dagger structures and then applying idempotent completion. It is not shown that the resulting higher idempotents automatically encode the change from framed to oriented (or spin) tangential structure without model-specific choices or additional coherence data. This is the least secure step: different tangential structures in defect TQFTs normally impose distinct framing or orientation conditions on the defects, and a purely algebraic strictification may lose or misidentify that information unless an explicit comparison map or naturality statement is verified.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper proposes a conceptual algebraic description of orbifold and condensation completions for defect TQFTs with arbitrary tangential structures, formulated in terms of higher dagger structures and higher idempotents. It claims that oriented orbifold completion can be obtained from framed condensation completion by applying a general strictification procedure for higher dagger structures (described explicitly in low dimensions, with discussion of spin and unoriented cases). Higher dagger structures are shown to arise naturally from rigid symmetric monoidal structures, with examples drawn from state-sum models, orbifolds of Landau-Ginzburg models, and truncated affine Rozansky-Witten models.","tokens_in":1834,"tokens_out":453,"duration_ms":36751,"significance":"If the central claims hold, the work would supply a unified algebraic mechanism for handling tangential structures in defect TQFT completions, recontextualizing prior results on rigid symmetric monoidal categories and extending them to higher dagger and idempotent settings. The explicit low-dimensional strictification and concrete examples constitute a concrete contribution that could facilitate further model-building in the field.","major_comments":[{"comment":"§3 (strictification procedure): the construction re-expresses rigid symmetric monoidal data as dagger structures and then applies idempotent completion, but it is not shown that the resulting higher idempotents canonically encode the passage from framed to oriented (or spin) tangential structure. No explicit naturality or comparison map is provided that verifies preservation of the necessary defect and framing data without model-specific choices.","section":"§3"},{"comment":"§4 (discussion of higher-dimensional and spin/unoriented cases): while the low-dimensional case is treated explicitly, the extension to general dimensions relies on an implicit assumption that the strictification procedure lifts without additional coherence data; this assumption is load-bearing for the claim that a single procedure relates all tangential structures.","section":"§4"}],"minor_comments":[{"comment":"Notation for higher dagger categories in the examples section could be supplemented with a small diagram or explicit coherence diagram to clarify the dagger structure on morphisms.","section":"§5"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading of the manuscript and for highlighting these important points about the strictification procedure and its scope. We address each major comment below and will incorporate clarifications and additional explicit constructions in a revised version.","responses":[{"response":"Section 3 constructs the strictification by replacing the rigid symmetric monoidal structure with a higher dagger structure whose involutions are adjusted to encode orientation data, followed by idempotent completion. The resulting higher idempotents are defined functorially from the input data, so the passage from framed to oriented structures is built into the definition rather than chosen model-by-model. We agree, however, that an explicit naturality diagram or comparison functor between the framed condensation completion and the oriented orbifold completion would make the preservation of defect and framing data fully transparent. We will add this comparison map as a new proposition in §3 of the revised manuscript.","revision_made":"yes","referee_comment":"[§3] §3 (strictification procedure): the construction re-expresses rigid symmetric monoidal data as dagger structures and then applies idempotent completion, but it is not shown that the resulting higher idempotents canonically encode the passage from framed to oriented (or spin) tangential structure. No explicit naturality or comparison map is provided that verifies preservation of the necessary defect and framing data without model-specific choices."},{"response":"The low-dimensional strictification is given explicitly, while §4 sketches the general case by appealing to the coherence properties of higher dagger structures. We accept that the lifting assumption should be stated more precisely. In the revision we will add a theorem in §4 that isolates the coherence conditions required for the lift and verifies that they are already satisfied by any higher dagger structure arising from a rigid symmetric monoidal category, thereby confirming that no extra data is introduced when moving to higher dimensions or to spin and unoriented structures.","revision_made":"yes","referee_comment":"[§4] §4 (discussion of higher-dimensional and spin/unoriented cases): while the low-dimensional case is treated explicitly, the extension to general dimensions relies on an implicit assumption that the strictification procedure lifts without additional coherence data; this assumption is load-bearing for the claim that a single procedure relates all tangential structures."}],"tokens_in":1339,"tokens_out":489,"duration_ms":31149,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The central claim is that a single strictification procedure for higher dagger structures converts framed condensation completion into oriented orbifold completion, with the same idea extended to spin and unoriented cases. The authors spell out the procedure in low dimensions and supply examples from state-sum models, Landau-Ginzburg orbifolds, and truncated affine Rozansky-Witten models. They also note that rigid symmetric monoidal structures induce the higher dagger data, which puts some existing constructions into a common language.","headline":"The paper gives an explicit low-dimensional strictification that turns framed condensation completion into oriented orbifold completion via higher dagger structures, and it rephrases some known rigid monoidal examples in those terms.","tokens_in":2319,"tokens_out":179,"would_cite":false,"duration_ms":17661,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlexanderDuality.lean","rs_theorem":"alexander_duality_circle_linking","paper_passage":"we obtain (oriented) orbifold completion from (framed) condensation completion by using a general strictification procedure for higher dagger structures which we describe explicitly in low dimensions"},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"a Spin(2)r-dagger structure on B is an invertible 2-transformation S : id_B ⇒ ((−)∨∨)^r whose 1-morphism components are identities"}],"headline":"Higher dagger strictification and G-volutive completions in defect TQFTs share no machinery with RS distinction-forcing or J-cost","alignment":"orthogonal","rationale":"The paper's core contribution is a program of strictification functors (T_G, S_G) and idempotent completions (I_G) relating G-dagger and G-volutive 2-categories for G = O(1), SO(2), O(2), Spin(2)_r, together with explicit low-dimensional constructions that recover orbifold/Euler completions. This is purely algebraic/categorical and makes no reference to a recognition cost function, golden-ratio fixed points, 8-tick periodicity, or the distinction-to-spacetime forcing chain. RS modules such as Cost.FunctionalEquation (J-uniqueness), AlexanderDuality (D=3 linking), and AbsoluteFloorClosure (distinguishability floor) are therefore untouched; the two frameworks operate in disjoint domains.","tokens_in":70101,"confidence":"high","tokens_out":393,"duration_ms":13366,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Orbifold completion in defect TQFTs follows from condensation completion by strictifying higher dagger structures.","keywords":["orbifold completion","condensation completion","higher dagger structures","higher idempotents","defect TQFT","tangential structures","state sum models","Landau-Ginzburg models"],"falsifier":"Finding a specific defect TQFT example where applying the described strictification procedure does not yield the expected orbifold completion from the condensation one would falsify the claim.","tokens_in":2548,"feed_emoji":"🌀","tokens_out":608,"duration_ms":39090,"temperature":0.7,"pith_summary":"The paper shows how to obtain oriented orbifold completions of defect topological quantum field theories from framed condensation completions. It does this by introducing a strictification procedure for higher dagger structures that works in low dimensions. The approach uses higher dagger categories and higher idempotents to give an algebraic description that applies across different tangential structures like spin and unoriented cases. Examples from state sum models and Landau-Ginzburg models demonstrate how these structures arise naturally from rigid symmetric monoidal categories.","feed_headline":"Higher dagger structures turn condensation into orbifold completions","feed_subtitle":"A strictification procedure links framed condensation completion to oriented orbifold completion in defect TQFTs.","key_machinery":"Higher dagger structures together with higher idempotents, which enable the strictification procedure relating different completions in defect TQFTs.","core_discovery":"The authors establish that the orbifold and condensation completion procedures for defect TQFTs can be described algebraically using higher dagger structures and higher idempotents. In particular, they obtain the oriented orbifold completion from the framed condensation completion through an explicit general strictification procedure for higher dagger structures in low dimensions, and extend this to the spin and unoriented cases. The higher dagger structures are shown to be induced from rigid symmetric monoidal structures in the provided examples.","pith_inferences":["If the strictification works generally, it could extend to higher-dimensional TQFTs or other categorical settings.","This might provide a uniform way to handle completions in physical models without case-by-case analysis.","Connections to idempotent completion in ordinary categories suggest broader categorical implications."],"forward_implications":["Condensation completion can be used as a starting point to derive orbifold versions for various orientations.","The strictification procedure preserves the data needed for consistency in TQFT models.","Examples in Landau-Ginzburg and Rozansky-Witten models validate the general approach.","Algebraic descriptions simplify lattice or state sum constructions internal to the theory."],"fun_headline_variants":["Higher dagger structures enable orbifold completions in defect TQFTs","Strictification connects framed condensations to oriented orbifolds","Higher idempotents describe orbifold completions from condensations","Dagger strictification links framed condensation to spin and unoriented cases"],"cache_read_input_tokens":64,"weakest_assumption_plain":"A general strictification procedure for higher dagger structures must exist and preserve the data relating condensation and orbifold completions across tangential structures without model-specific adjustments.","fun_headline_variants_meta":{"raw":{"variants":["Higher dagger structures enable orbifold completions in defect TQFTs","Strictification connects framed condensations to oriented orbifolds","Higher idempotents describe orbifold completions from condensations","Dagger strictification links framed condensation to spin and unoriented cases"]},"model":"grok-4.3","cost_usd":0.008582,"raw_usage":{"total_tokens":3848,"prompt_tokens":615,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":85824500,"prompt_tokens_details":{"text_tokens":615,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3166,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":615,"tokens_out":67,"duration_ms":38997,"temperature":1.0,"reasoning_tokens":3166,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-22T18:53:01.424832+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding a specific defect TQFT example where applying the described strictification procedure does not yield the expected orbifold completion from the condensation one would falsify the claim.","supporting_citations":[],"review_version":1}