Pith. sign in

REVIEW 3 major objections 4 minor 32 references

Cochain valued TQFTs from nonsemisimple modular tensor categories

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A cochain-valued TQFT extending the universal Lyubashenko theory is constructed for nonsemisimple modular tensor categories, with state spaces given by Hom complexes and localization to dg vector spaces.

desk verdict New cochain-valued lift of the DGGPR theory with a real differential and homotopy localization — but the admissible-case proof has a genuine gap exactly where the paper says it follows word-for-word. read the letter →

arxiv 2507.17169 v1 pith:Q3BBYVYB submitted 2025-07-23 math.QA math.RT

Agustina Czenky , Cris Negron This is my paper
classification math.QAmath.RT MSC 18M1557K1618N60
keywords cochain-valuedTQFTnonsemisimplemodulartensorcategoriesLyubashenkoinvariantribbonbordismcategoryseparationfunctorbasechangeforTQFTshomotopyequivalencelocalizationtodgvectorspaces
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that the universal Lyubashenko TQFT, a 3-dimensional field theory built from any nonsemisimple modular tensor category, extends from vector spaces to the symmetric monoidal category of linear cochain complexes. On a genus $g$ surface with markings by cochains, the state space of the extended theory is the Hom complex $\mathrm{Hom}^*_A(1, E^{\otimes g} \otimes x_I)$. The extension preserves algebraic homotopy equivalences, so it localizes to a theory valued in the $\infty$-category of dg vector spaces. The authors offer this localized theory as the first concrete step toward a fully derived TQFT for derived quantum group representations, whose state spaces should be infinite-dimensional Hochschild-type cohomologies.

What carries the argument

The load-bearing mechanism is the separation functor $\Delta$, which converts a bordism labeled by the Kelly product $S \otimes A$, for semisimple symmetric $S$ and in particular $S = \mathrm{Vect}^{\mathbb{Z}}$, into a formal sum of an $S$-labeled string diagram and an $A$-labeled reduced bordism. The functor $\Delta$ is well-defined only because the reduced concatenation functor $\mathrm{ccat}^{\mathrm{red}}$ is fully faithful (Proposition 6.3), proved by a dimension count on partially labeled monomial bordisms. On top of this base change, the paper defines an explicit differential $d_\Sigma$ on every state space using string-diagram relations (V5) and (V6) in the graded-vector-space factor, with $d^2 = 0$ following from cancellation of paired terms; coupon-sliding moves then show every ribbon bordism intertwines the differentials, yielding the cochain-valued functor.

What would settle it

Take a contractible bounded complex of projectives, label a knot in a closed 3-manifold by it, and compute the claimed alternating-sum invariant $\sum_m (-1)^m Z_A(M, T_m)$; a nonzero result would disprove the theory. Likewise, Theorem 13.3 predicts that no bordism labeled by homotopy equivalences can produce a non-homotopy-equivalence chain map, so exhibiting such a bordism would settle the claim negatively.

Watch

Extended reading notes

Core claim

For a finite modular tensor category $A$, Theorem 9.3 constructs a symmetric monoidal functor $Z^*_A : \mathrm{Bord}^{\mathrm{adm}}_{\mathrm{Ch}(A)} \to \mathrm{Ch}(\mathrm{Vect})$ extending the universal Lyubashenko theory of [11]. Its value on a genus $g$ marked surface $\Sigma_{\vec{x}}$ is naturally isomorphic to the Hom complex $\mathrm{Hom}^*_A(1, E^{\otimes g} \otimes x_I)$, where $E$ is the canonical end and $x_I$ is the oriented tensor product of the marking objects. Theorem 13.3 shows that $Z^*_A$ sends algebraic homotopy equivalences between marked surfaces, namely product bordisms whose straight-line labels are homotopy equivalences in $\mathrm{Ch}(A)$, to homotopy equivalences of cochain complexes. The functor therefore descends to a symmetric monoidal theory valued in the $\infty$-category of dg vector spaces, with domain given up to approximation by ribbon bordisms labeled in the homotopy $\infty$-category $\mathcal{K}(A)$.

Load-bearing premise

The construction stands or falls on a technical 'no extra morphisms' claim about a reduced bordism category, proved by a dimension count; if that claim failed, the separation functor that carries the base change could not be built, and the paper also assumes without a fully formal proof that coupons can be slid through small tubular neighborhoods.

Editorial extensions

If this is right

  • On a genus $g$ marked surface, the state space is the Hom complex $\mathrm{Hom}^*_A(1, E^{\otimes g} \otimes x_I)$, so mapping-class-group actions and gluing maps act on genuine cochain complexes rather than on vector spaces.
  • For a knot in a closed 3-manifold labeled by a bounded complex of projectives, the invariant is the alternating sum $\sum_m (-1)^m Z_A(M, T_m)$ of renormalized Lyubashenko invariants.
  • Algebraic homotopy equivalences of labeling complexes are sent to homotopy equivalences of vector-space cochains, so the functor localizes to the symmetric monoidal $\infty$-category of dg vector spaces.
  • The localized domain is, up to approximation, an $\infty$-category of ribbon bordisms labeled by the homotopy $\infty$-category $\mathcal{K}(A)$, and the fiber over any marked surface is a cartesian power of $\mathcal{K}(A)$.
  • Restricting to objects of $A$, viewed as cochains concentrated in degree zero, recovers the original universal Lyubashenko theory.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Not spelled out in the paper: if the localized state space on the twice-punctured sphere is the linear mapping space $\mathrm{Maps}_{\mathcal{K}(A)}$, then a linear $\infty$-Yoneda argument would make this single surface determine the entire homotopy $\infty$-category $\mathcal{K}(A)$.
  • A testable consequence the authors only hint at: replacing a marking object by a projective resolution of the unit should change the state space materially, so one can check the proposed derived theory's prediction that unmarked-surface values come from resolutions of the unit.
  • The alternating-sum formula for knots suggests an Euler-characteristic interpretation of the cochain invariant; deriving surgery formulas for it from known surgeries on scalar Lyubashenko invariants would be a concrete extension.
  • A fully formal set of movie moves for sliding coupons through tubular neighborhoods would convert the differential-intertwining arguments into a checkable calculus and might expose hidden sign conventions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper constructs, for a finite modular tensor category A, a symmetric monoidal functor Z^*_A from an admissible bordism category whose objects are surfaces marked by finite-length cochains over A to the symmetric monoidal category Ch(Vect), lifting the DGGPR theory Z_A. It identifies the state spaces with Hom complexes Hom^*_A(1, E^{⊗g} ⊗ x_I), shows that the theory preserves certain algebraic homotopy equivalences, and uses this to discuss a localization to an ∞-categorical TQFT with labels in the homotopy ∞-category K(A). The construction proceeds by a base change to Vect^Z via a separation functor, followed by an explicit differential on state spaces and graphical verification that bordisms induce cochain maps.

Significance. If the main theorem is fully established, the paper gives a genuinely useful cochain-level refinement of the DGGPR theory: it is parameter-free, it identifies state spaces with concrete Hom complexes, and it provides a plausible first step toward derived TQFTs for nonsemisimple modular tensor categories. The graphical calculus in Sections 10–11 is detailed and the paper is careful about many categorical foundations. The localization and derived-theory parts are appropriately hedged as approximations or work in progress, which is honest. However, as written, the admissible case of the main theorem is not actually proved: several load-bearing steps are explicitly deferred or asserted to be 'word-for-word' adaptations that they are not.

major comments (3)
  1. [§9.3, proof of Proposition 11.1 (admissible variant)] Theorem 9.3 is not obtained by repeating the non-admissible proof word-for-word, because admissibility of the pieces produced by cutting is not preserved. In Corollary 11.7 a unique coupon is dragged into a boundary collar and the bordism is cut into pieces N0 and N1; for a bordism M: Σ → ∅ with empty outgoing boundary, admissibility of M requires some projectively labeled edge. If the unique coupon and its incident edges are isotoped into the incoming collar, the residual piece is couponless, has empty outgoing boundary, and has no projective-labeled edge, so it is not admissible. Since Z_A is only defined on admissible bordisms, the induction in Proposition 11.1 cannot be run on this decomposition inside Bord^adm_{Ch(A)}. This gap affects exactly the morphisms whose admissibility is forced by projectivity, which is the nonsemisimple case; a separate argument for the empty outgoing boundary case is needed.
  2. [§12.3, Eq. (49)] The identification of state spaces for arbitrary markings is deferred. The proof establishes the cochain isomorphism only for positively marked surfaces and then states that 'a slightly more subtle analysis' handles general markings. This identification is part of the statement of Theorem 9.3, and because the differential for a general surface is defined by conjugation with the flip bordism (Definition 10.1), one must explicitly verify that the natural isomorphism of Theorem 8.5 intertwines the conjugated differential with the differential on Hom^*_A(1, E^{⊗g} ⊗ x_I). As written, the theorem is not proved for general markings.
  3. [Definition 10.1] The definition of dΣ for surfaces with negative framings contains the assertion 'After dealing with various annoyances with orientations, one sees...' without a proof. The resulting formula, with the factor -(-1)^mi and the dualized differentials, is used in Lemmas 11.4 and 11.5, so this is not purely cosmetic. Please supply the missing verification, for example by tracking the flip bordism through the definition in (27)–(28).
minor comments (4)
  1. [Throughout] There are several typos that should be corrected: 'nonseimisimple' in Section 1.1, 'monoical' in Section 1.2, 'homomotopy' in Section 13.3, and 'representastions' in reference [26].
  2. [§10.1] The notation k(m) is used both for the one-dimensional graded vector space and for the corresponding object in k Str^red; this is convenient but can be confusing in formulas such as (27). A short glossary or a sentence fixing this convention would help.
  3. [Appendix A] The proof of Proposition 6.3 is very dense. In particular, the decomposition over 'partially labeled monomial bordisms' and the claim that the functor ccat' preserves this decomposition would benefit from a brief justification that the relations (R0), (R5), (U4) respect the decomposition.
  4. [§13.3] The phrase 'up to some approximation' is used repeatedly in describing the localized ∞-category. This is acceptable for a proposed construction, but it should be stated explicitly that the ∞-category Bord^adm_{K(A)} is not formally constructed in this paper and is only heuristically described.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the cochain theory is a lift of the external DGGPR theory with an independent separation lemma; admitted proof gaps are rigor issues, not circularity.

full rationale

The central construction is not circular. The cochain-valued functor Z^*_A is defined as a lift of the De Renzi–Gainutdinov–Geer–Patureau-Mirand–Runkel theory Z_A of [11] through a base-change and separation formalism. The key new ingredient, full faithfulness of the reduced concatenation functor (Proposition 6.3), is proved in Appendix A by an independent dimension count over partially labeled monomial bordisms (Lemma A.5(ii)); it is not assumed from the conclusion. No parameter is fitted, and no target quantity is fed back into the construction. The state-space identification Hom^*(1, E^{\otimes g} \otimes x_I) is inherited from the external DGGPR state-space theorem (Theorem 8.2, citing [11, Proposition 4.17]) and then shown in Section 12.3 to be compatible with the newly constructed differential by naturality; the differential itself is built from the differentials of the labeling cochains and proved to square to zero in Lemma 10.3 by direct graphical computation. Theorem 13.3 is proved by explicitly constructing chain homotopies from the given homotopy equivalences, again via graphical calculus, rather than by invoking the theorem. The only self-referential items are the forward pointer to the authors' own work-in-progress [26] for the speculative derived TQFT, which is explicitly hedged as 'vague' and 'work in progress' and is not load-bearing, and citations to the second author's earlier quantum-group papers as examples; neither supports a circularity finding. A genuine rigor gap exists: Theorem 9.3's admissible variant is not written out, since Section 9 states that the proof is word-for-word the non-admissible one, and the cutting arguments in Section 11 (e.g., Corollary 11.7 and Proposition 11.1) do not explicitly verify that the pieces N0 and N1 remain admissible when the outgoing boundary is empty and admissibility is forced by a projective-labeled edge. The skeptic's attack may therefore identify a valid correctness risk, but this is an omitted or imperfect proof, not circularity: the missing verification does not make the theorem's conclusion an input of the construction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 3 invented entities

The central construction depends on the external DGGPR theory and on the unproved topological sliding of coupons. The proposed derived theory and GL^an-crossed extension are introduced as motivation without independent evidence. There are no fitted parameters.

assumptions (5)
  • domain assumption A is a finite modular tensor category over an algebraically closed field k, and Ch(A) consists of finite length cochains.
    Used throughout (Section 2 and Definition 9.1). The construction is specific to this class of ribbon tensor categories.
  • domain assumption The universal Lyubashenko theory Z_A : Bord^adm_A -> Vect exists and is reasonable (stable under skein relations and the linear relation U4).
    Imported from De Renzi et al. [11, Theorem 4.12 and Lemma 7.14]. The paper builds entirely on this black-box theory.
  • domain assumption The skein relations U1-U3 and the linear relation U4 can be imposed on the bordism category without changing the TQFT values.
    Sections 5.2 and 6.2. The definition of a 'reasonable' theory presumes these relations are valid reductions.
  • domain assumption Ribbon coupons can be slid through small tubular neighborhoods of strings without changing the equivalence class in the reduced bordism category.
    Used without a formal proof in Lemmas 11.3, 11.4 and Corollary 11.7 to move differential-labeled coupons to boundary collars. If this sliding is not valid, the proof of Proposition 11.1 fails.
  • standard math The localization of Ch(Vect) at homotopy equivalences is the infinity-category of dg vector spaces, and such localizations exist for the bordism category.
    Invoked in Section 13.3 via Hinich [18] and Lurie [22]. This is standard higher-categorical background.
invented entities (3)
  • Derived TQFT Z_Anticipated: Bord^nc_{D(A)} -> Vect
    purpose: Proposed destination of the localized theory, motivated by Kapustin-Witten twisting; would provide the derived version of Z_A.
    Section 1.3 states an explicit construction is 'work in progress [26]'. No construction is given in this paper.
  • Canonical GL^an-crossed extension of (Rep_q G)_small
    purpose: Expected source of local systems in the twisted theory, used to explain physics in footnote 4.
    Footnote 4 says this extension 'has yet to appear in the literature' and is expected rather than constructed.
  • Infinity-category Bord^adm_{K(A)} of K(A)-labeled bordisms
    purpose: Proposed domain of the localized cochain-valued theory.
    Section 13.3 describes it 'up to some approximation' and 'vaguely (and only vaguely!)' as a symmetric monoidal infinity-category.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cochain valued TQFTs from nonsemisimple modular tensor categories." pith.science (2026). https://pith.science/paper/Q3BBYVYB

@misc{pith2026250717169,
  author       = {Pith},
  title        = {Pith review of: Cochain valued TQFTs from nonsemisimple modular tensor categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q3BBYVYB}},
  note         = {Machine review of arXiv:2507.17169}
}
abstract

We show that a vector space valued TQFT constructed in work of De Renzi et al. [DGGPR23] extends naturally to a topological field theory which takes values in the symmetric monoidal category of linear cochains. Specifically, we consider a bordism category whose objects are surfaces with markings from the category of cochains Ch(A) over a given modular tensor category (such as the category of small quantum group representations), and whose morphisms are 3-dimensional bordisms with embedded ribbon graphs traveling between such marked surfaces. We construct a symmetric monoidal functor from the aforementioned ribbon bordism category to the category of linear cochains. The values of this theory on surfaces are identified with Hom complexes for Ch(A), and the 3-manifold invariants are alternating sums of the renormalized Lyubashenko invariant from [DGGPR23]. We show that our cochain valued TQFT furthermore preserves homotopies, and hence localizes to a theory which takes values in the derived $\infty$-category of dg vector spaces. The domain for this $\infty$-categorical theory is, up to some approximation, an $\infty$-category of ribbon bordism with labels in the homotopy $\infty$-category K(A). We suggest our localized theory as a starting point for the construction of a "derived TQFT" for the $\infty$-category of derived quantum group representations.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 25 canonical work pages

  1. [1]

    Bakalov and A

    B. Bakalov and A. A. Kirillov. Lectures on tensor categories and modular functors , volume 21. American Mathematical Society Providence, RI, 2001

    work page 2001

  2. [2]

    B. Balsam. Turaev-Viro invariants as an extended TQFT III. preprint arXiv:1012.0560

    arXiv

  3. [3]

    Brochier, D

    A. Brochier, D. Jordan, P. Safronov, and N. Snyder. Invertible braided tensor categories. Algebr. Geom. Topol., 21(4):2107– 2140, 2021

    work page 2021

  4. [5]

    Chirvasitu and T

    A. Chirvasitu and T. Johnson-Freyd. The fundamental pro-groupoid of an affine 2-scheme. Appl. Categor. Struct. , 21(5):469–522, 2013

    work page 2013

  5. [6]

    Costantino, N

    F. Costantino, N. Geer, B. Ha ¨ ıoun, and B. Patureau-Mirand. Skein (3 + 1)-TQFTs from non-semisimple ribbon categories. preprint arXiv:2306.03225

    arXiv

  6. [7]

    Costantino, N

    F. Costantino, N. Geer, B. Patureau-Mirand, and A. Virelizier. Non compact (2 + 1)-TQFTs from non-semisimple spherical categories. preprint arXiv:2406.08956

    arXiv

  7. [8]

    Costello and D

    K. Costello and D. Gaiotto. Vertex operator algebras and 3d N = 4 gauge theories. J. High Energy Phys. , 2019(5):1–39, 2019

    work page 2019

  8. [9]

    Coulembier and J

    K. Coulembier and J. Flake. Towards higher Frobenius functors for symmetric tensor categories.preprint arXiv:2405.19506

    arXiv

Show all 32 references
  1. [10]

    Creutzig, T

    T. Creutzig, T. Dimofte, N. Garner, and N. Geer. A QFT for non-semisimple TQFT. Adv. Theor. Math. Phys. , 28(1):161– 405, 2024

    2024

  2. [11]

    De Renzi, A

    M. De Renzi, A. M. Gainutdinov, N. Geer, B. Patureau-Mirand, and I. Runkel. 3-dimensional TQFTs from non-semisimple modular categories. Sel. Math. New Ser. , 28(2):42, 2022

    2022

  3. [12]

    C. L. Douglas, C. Schommer-Pries, and N. Snyder. The balanced tensor product of module categories. Kyoto J Math , 59(1):167–179, 2019

    2019

  4. [13]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik. Tensor categories, volume 205. American Mathematical Soc., 2015

    2015

  5. [14]

    Fuchs, I

    J. Fuchs, I. Runkel, and C. Schweigert. TFT construction of RCFT correlators I: partition functions. Nucl. Phys. B , 646(3):353–497, 2002

    2002

  6. [15]

    A. M. Gainutdinov, S. Lentner, and T. Ohrmann. Modularization of small quantum groups. preprint arXiv:1809.02116. 63

    arXiv

  7. [16]

    D. Gaiotto. Twisted compactifications of 3d N = 4 theories and conformal blocks. J. High Energy Phys. , 2019(2):61, 2019

    2019

  8. [17]

    Ha ¨ ıoun

    B. Ha ¨ ıoun. Non-semisimple WRT at the boundary of Crane-Yetter.preprint arXiv:2503.20905

    arXiv

  9. [18]

    V. Hinich. Dwyer-Kan localization revisited. Homology Homotopy Appl. , 18(1):27–48, 2016

    2016

  10. [19]

    G. M. Kelly. Basic concepts of enriched category theory , volume 64. CUP Archive, 1982

    1982

  11. [20]

    Kerler and V

    T. Kerler and V. V. Lyubashenko. Non-semisimple topological quantum field theories for 3-manifolds with corners , volume

  12. [21]

    J. Lurie. On the classification of topological field theories. Current developments in mathematics , 2008(1):129–280, 2008

    2008

  13. [22]

    J. Lurie. Higher algebra. www.math.ias.edu/ lurie/papers/HA.pdf, 2017

    2017

  14. [23]

    Lyubashenko

    V. Lyubashenko. Modular transformations for tensor categories. J. Pure Appl. Algebra , 98(3):279–327, 1995

    1995

  15. [24]

    V. V. Lyubashenko. Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity. Commun. Math. Phys. , 172:467–516, 1995

    1995

  16. [25]

    R. McRae. On rationality for C2-cofinite vertex operator algebras. preprint arXiv:2108.01898

  17. [26]

    C. Negron. A (3 − ϵ)-dimensional TQFT from derived quantum group representastions. in preparation

  18. [27]

    C. Negron. Quantum Frobenius and modularity for quantum groups at arbitrary roots of 1. preprint arXiv:2311.13797

    arXiv

  19. [28]

    Nikolaus and P

    T. Nikolaus and P. Scholze. On topological cyclic homology. Acta Math., 221(2):203–409, 2018

    2018

  20. [29]

    Runkel, L

    I. Runkel, L. Szegedy, and G. M. T. Watts. Parity and spin CFT with boundaries and defects. SciPost Physics, 15(5):207, 2023

    2023

  21. [30]

    K. Shimizu. Non-degeneracy conditions for braided finite tensor categories. Adv. Math, 355:106778, 2019

    2019

  22. [31]

    Takeuchi

    M. Takeuchi. Morita theorems for categories of comodules. J. Fac. Sci. Univ. Tokyo , 24, 1977

    1977

  23. [32]

    V. G. Turaev. Quantum invariants of knots and 3-manifolds . de Gruyter, 2010. Department of Mathematics, University of Southern California, Los Angeles, CA 90007 Email address : czenky@usc.edu Department of Mathematics, University of Southern California, Los Angeles, CA 90007 ...

    2010

  24. [1765]

    Springer Science & Business Media, 2001

    2001

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.