pith. sign in

arxiv: 2504.17764 · v1 · pith:P46VJB7Snew · submitted 2025-04-24 · 🧮 math.QA · hep-th· math-ph· math.CT· math.MP

Orbifolds, higher dagger structures, and idempotents

Nils Carqueville , Tim L\"uders This is my paper

Pith reviewed 2026-05-22 18:53 UTC · model grok-4.3

classification 🧮 math.QA hep-thmath-phmath.CTmath.MP
keywords orbifold completioncondensation completionhigher dagger structureshigher idempotentsdefect TQFTtangential structuresstate sum modelsLandau-Ginzburg models
0
0 comments X

The pith

Orbifold completion in defect TQFTs follows from condensation completion by strictifying higher dagger structures.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

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.

Core claim

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.

What carries the argument

Higher dagger structures together with higher idempotents, which enable the strictification procedure relating different completions in defect TQFTs.

If this is right

  • 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.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Load-bearing premise

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.

What would settle it

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.

read the original abstract

The orbifold/condensation completion procedure of defect topological quantum field theories can be seen as carrying out a lattice or state sum model construction internal to an ambient theory. In this paper, we propose a conceptual algebraic description of orbifolds/condensations for arbitrary tangential structures in terms of higher dagger structures and higher idempotents. In particular, 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; we also discuss the spin and unoriented case. We provide several examples of higher dagger categories, such as those associated to state sum models, (orbifolds of) Landau--Ginzburg models, and truncated affine Rozansky--Witten models. We also explain how their higher dagger structures are naturally induced from rigid symmetric monoidal structures, recontextualizing and extending results from the literature.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

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.

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 (2)
  1. [§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.
  2. [§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.
minor comments (1)
  1. [§5] 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.

Simulated Author's Rebuttal

2 responses · 0 unresolved

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.

read point-by-point responses

  1. Referee: [§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.

    Authors: 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: yes

  2. Referee: [§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.

    Authors: 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: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on explicit low-dimensional construction and external literature recontextualization

full rationale

The central claim obtains oriented orbifold completion from framed condensation completion via an explicitly described strictification procedure for higher dagger structures in low dimensions, with discussion of other cases. This procedure is presented as a general algebraic tool induced from rigid symmetric monoidal structures, recontextualizing prior results without reducing the new relation to a self-definition, fitted parameter, or self-citation chain. No equations or steps in the provided text equate the output completion directly to the input by construction; the tangential structure change is addressed through the strictification rather than assumed via ansatz or uniqueness theorem from the same authors. The work is self-contained against external benchmarks in the literature.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The framework rests on the existence of higher dagger structures and higher idempotents in the relevant categories, which are proposed rather than derived from prior literature.

axioms (1)
  • domain assumption Higher dagger structures and higher idempotents can be defined for categories associated to defect TQFTs with arbitrary tangential structures.
    Invoked to enable the algebraic description of orbifold and condensation completions.
invented entities (1)
  • Higher idempotents no independent evidence
    purpose: To algebraically model condensations and orbifolds in the completion procedure.
    Introduced as part of the new conceptual framework.

pith-pipeline@v0.9.0 · 5692 in / 1311 out tokens · 41463 ms · 2026-05-22T18:53:01.424832+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.