The Construction of Correlators in Finite Rigid Logarithmic Conformal Field Theory

Lukas Woike

REVIEW 3 major objections 4 minor 21 references

The Construction of Correlators in Finite Rigid Logarithmic Conformal Field Theory

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 Every special symmetric Frobenius algebra in a modular category produces a consistent system of open-closed correlators for the corresponding logarithmic conformal field theory, and this construction classifies all such systems under two…

desk verdict A serious, likely correct advance on non-semisimple correlators, but its load-bearing anomaly-cancellation input is deferred to a companion preprint and needs independent verification. read the letter →

arxiv 2507.22841 v2 pith:UES3NTUJ submitted 2025-07-30 math.QA math-phmath.ATmath.MPmath.RT

Lukas Woike This is my paper · ORCID

classification math.QAmath-phmath.ATmath.MPmath.RT MSC 18M2081T4016E4018N2517B37

keywords logarithmicconformalfieldtheorymodularcategoryspecialsymmetricFrobeniusalgebracorrelatorsmicrocosmprinciplefactorizationhomologytoruspartitionfunctionHochschildcohomology

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

This paper claims that, in a finite rigid logarithmic conformal field theory, the full system of correlators is determined by one algebraic input: a special symmetric Frobenius algebra $F$ in the modular category $A$ that records the theory's monodromy data. The main theorem builds, from any such $F$, mapping-class-group-invariant vectors in the spaces of conformal blocks of the modular functor $F_{\bar A\boxtimes A}$ on every open-closed surface, and these vectors are compatible with gluing along boundary circles and boundary intervals. In the semisimple (rational) case the construction reproduces the known correlators, and under two natural conditions -- non-vanishing on the sphere and the closed sector being induced by the open sector -- every system of open-closed correlators arises this way. The same approach yields a holographic description via factorization homology, proves that the torus partition function evaluated at projective objects has non-negative integer coefficients, and identifies the derived algebra of local operators with the Hochschild cohomology of the category of boundary conditions.

What carries the argument

The workhorse is the modular microcosm principle. A special symmetric Frobenius algebra $F$ in a pivotal finite tensor category $A$ -- an associative algebra with a non-degenerate symmetric pairing whose coproduct $\delta$ satisfies $\mu\circ\delta=\mathrm{id}_F$ and whose counit is non-zero on the unit -- is a cyclic algebra over the little disks operad, and the modular envelope construction canonically extends it to an open modular functor $A^!$ on all surfaces with marked boundary intervals. To move from open to closed data, the paper uses cyclic reflection equivariance: a duality equivalence between the dualized genus-zero modular functor $A^\dagger$ and the mirror $\bar A$, taken as a black box from a companion preprint, which makes the modular functor $F_{\bar A\boxtimes A}$ an anomaly-free algebra over the surface operad. The open correlators from $F$ are then interpreted as vectors for the coend bulk object $B^\circ(F)=\int^X X^\vee\boxtimes F\otimes X\in\bar A\boxtimes A$; specialness is precisely the condition that these vectors survive gluing along boundary circles, and composing with the cylinder idempotent $C_F$ and taking its image yields the actual bulk object $B(F)$ with a non-degenerate self-duality. Finally, factorization homology provides the holographic shadow: correlators on $\Sigma$ correspond to mapping-class-group-invariant maps $F^{\boxtimes n}\to a_\Sigma$ into the moduli algebra of the quantum structure sheaf, which is how the torus partition function coefficients are extracted as traces on factorization homology of the sphere.

What would settle it

Take a non-semisimple modular category, for instance finite-dimensional modules over a restricted quantum group at a root of unity, and in the Cardy case $F=I$ compute the coefficient $Z^I_{P,Q}$ for two indecomposable projective objects $P,Q$ using the paper's skein-theoretic recipe; the claim predicts $Z^I_{P,Q}=\dim A(P^\vee,Q)$, the Cartan matrix entry, so a mismatch with the known Cartan matrix, or a value that is not a non-negative integer, would falsify the construction.

Watch

Extended reading notes

Core claim

The central claim of the paper is Theorem 5.5: for any modular category $A$, every special symmetric Frobenius algebra $F\in A$ gives a consistent system of open-closed correlators for the modular functor $F_{\bar A\boxtimes A}$, and this construction is a classification under conditions (S) and (O). The correlators are not built by three-dimensional topological field theory, as in the rational case, but by extending the open sector through the modular microcosm principle: the Frobenius algebra is a cyclic algebra over the little disks operad, and the modular envelope produces invariant vectors on all surfaces with boundary. Reflection equivariance -- the equivalence of the dualized genus-zero data $A^\dagger$ with the mirror $\bar A$ -- cancels the framing anomaly, so these vectors live in an anomaly-free surface algebra. After imposing specialness and passing to the image of the cylinder idempotent, the bulk object $B(F)\in\bar A\boxtimes A$ carries the required self-duality, and the correlators extend uniquely to closed surfaces. The paper then shows that the torus partition function coefficients are non-negative integers, with the Cardy case recovering the Cartan matrix, and that the derived local-operator algebra carries a framed $E_2$-structure whose cohomology is a Batalin-Vilkovisky algebra, equivalent to the Hochschild cochains of the pivotal module category of $F$-modules.

Load-bearing premise

The load-bearing premise is that reversing the braiding and dualizing the genus-zero conformal blocks of $A$ produces exactly the mirror theory $\bar A$, compatibly with all gluings; if this black-box equivalence from the companion preprint fails, the invariant vectors constructed in the main theorem would not be correlators in the sense used here.

Editorial extensions

If this is right

Every modular category admits at least one full logarithmic conformal field theory: the tensor unit $I$ is a special symmetric Frobenius algebra, so the Cardy case always produces a consistent system of open-closed correlators.
The torus partition function of the theory built from $F$ is an endomorphism of the torus conformal block space; its coefficients $Z^F_{P,Q}$ for projective $P,Q$ are non-negative integers bounded by $\dim A(P^\vee,F\otimes P)$, and in the Cardy case they are the Cartan matrix entries.
The derived algebra of local operators is a differential graded framed $E_2$-algebra, hence a Batalin-Vilkovisky algebra on cohomology, and it is equivalent to the Hochschild cochains of the category of $F$-modules in $A$; local operators therefore describe deformations of the category of boundary conditions.
The bulk correlator depends on $F$ only up to Morita equivalence, so Morita-equivalent Frobenius algebras give the same bulk theory.
The construction and classification are model-independent: they apply to any modular functor with values in finite linear categories that is reflection equivariant relative to a rigid duality, not only to the standard modular functor built from a modular category.

Reading between the lines

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

If Theorem 5.5 is correct, the classification problem for finite rigid logarithmic conformal field theories reduces to classifying special symmetric Frobenius algebras in non-semisimple modular categories up to Morita equivalence, an algebraic problem that can be attacked without conformal-field-theoretic input.
The elliptic class function $\zeta^F_{1,1}: A^{\otimes 2}\to I$ may be a better complete invariant of the torus partition function than coefficient matrices, since the projective-object coefficients do not form a basis; classifying modular-invariant elliptic class functions could be the logarithmic analogue of the rational modular-invariant classification.
The framed $E_2$-equivalence between local operators and Hochschild cochains suggests a testable deformation statement: deforming the category of boundary conditions should deform the operator product expansion, and the Batalin-Vilkovisky bracket on cohomology should match first-order OPE obstructions in concrete Hopf-algebraic examples such as the triplet algebras at integral parameter.
The non-negativity bound $Z^F_{P,Q}\le \dim A(P^\vee,F\otimes P)$ gives a necessary condition that any candidate modular-invariant elliptic class function must satisfy to come from a special symmetric Frobenius algebra; the paper does not pursue this as a detection criterion.

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.

Desk Editor's Note

read the letter

The paper is the strongest current candidate for a solution to the open problem of constructing and classifying open-closed correlators for finite rigid logarithmic CFTs. It goes beyond the rational FRS construction in exactly the right way: rather than trying to adapt Reshetikhin-Turaev, it builds correlators from the modular microcosm principle and factorization homology, then proves a holographic description, non-negative integer torus partition function coefficients, and an equivalence between the local operator algebra and Hochschild cohomology of the boundary category. If the main theorem holds, it solves conjectures of Fuchs-Gannon-Schaumann-Schweigert and proves the Kapustin-Rozansky expectation in this setting.

What is actually new: Theorem 5.5/5.6 constructs, for every special symmetric Frobenius algebra F in a modular category A, a consistent system of open-closed correlators for \bar A \boxtimes A, and Corollary 5.9 gives the classification under conditions (S) and (O). This is new even in the rational case as a different proof strategy. The torus partition function result (Theorem 7.6) is concrete and checkable: coefficients are non-negative integers bounded by dim A(P∨, F\otimes P), and in the Cardy case it recovers the Cartan matrix. The BV structure equivalence in Section 8 is a strong payoff.

The reader's concern is on target: Section 3.3 defines correlators as Surf-algebras in F_{\bar A \boxtimes A}, and that Surf-structure is imported from [Woi25, Thm 5.11] and Lemma 6.19. This is genuinely load-bearing. If the cyclic reflection equivalence A† ≅ \bar A is wrong, or if it does not cancel the projective anomaly canonically, the invariant vectors constructed in Theorem 5.6 are invariants for the wrong action and are not correlators in the paper's sense. The paper is explicit about this black box, so there is no internal inconsistency, but a referee cannot verify the main claim from this text alone. That is the main reason the verdict is conditional rather than accept.

The second issue, Proposition 8.3, is real but smaller. The identification of the bulk Frobenius algebra F♦ with the end over internal endomorphisms of F-mod is sketched: the equivalence of relations (B1)&(B2) ↔ (8.5) is plausible and the diagrammatic argument is visible, but the Frobenius structure comparison is summary. It affects Theorem 8.2 and the Morita invariance corollary, not the central existence Theorem 5.5.

The citation pattern leans heavily on the author's own framework (Woi24, Woi25, MW24b). That is not a flaw in itself—these are the tools that make the construction possible—but it does concentrate the verification burden in one set of preprints.

This paper deserves a serious referee. The right call is to send it to review with the request that the companion Woi25 either be included or be made available as a separate refereeable preprint, and that Proposition 8.3 be expanded. If those checks pass, this is a landmark paper. I would take it to the reading group and would cite it.

Referee Report

3 major / 4 minor

Summary. The paper proposes a construction and classification of consistent systems of open-closed correlators for the Lyubashenko modular functor of an arbitrary modular category, allowing the non-semisimple case relevant to finite rigid logarithmic conformal field theory. The main result, Theorem 5.5, assigns to every special symmetric Frobenius algebra F in a modular category A a consistent system of open-closed correlators with bulk object B(F) in \bar A \boxtimes A. Theorem 5.6 constructs the bulk vectors from the open correlators of [Woi24] via a cylinder idempotent; Proposition 5.4 extends them to closed surfaces; Corollary 5.9 gives a classification under conditions (S) and (O). The paper also proves a holographic description in terms of factorization homology (Corollary 6.2), non-negative integrality of torus partition function coefficients at projective objects (Theorem 7.6), and an equivalence between the algebra of local operators and Hochschild cochains of the boundary condition category (Theorem 8.2). The framework relies heavily on the companion preprint [Woi25] for cyclic reflection equivariance and anomaly cancellation.

Significance. If correct, the main theorem is a major advance: it is the first general construction of full correlators for finite rigid logarithmic CFT, it recovers the rational Fuchs-Runkel-Schweigert construction, and the input data are parameter-free, consisting only of a modular category and a special symmetric Frobenius algebra. The concrete consequences are strong and testable: Theorem 7.6 gives non-negative integer partition function coefficients, including the Cartan matrix in the Cardy case, and Theorem 8.2 produces an explicit BV algebra structure on local operators. The principal weakness is external dependence: the definition of correlator and the anomaly-free Surf-algebra structure are imported from [Woi25] and are not proved here; if that companion result fails, the invariant vectors of Theorem 5.6 need not be correlators. This is a correctness risk, not a circularity.

major comments (3)

[Section 3.3, Proposition 3.1] The notion of correlator used in the paper is fixed in Section 3.3 through Proposition 3.1, which identifies bulk field correlators with modular Surf-algebras in F_{\bar A\boxtimes A}. The Surf-algebra structure on F_{\bar A\boxtimes A} is not constructed in this paper; it is obtained by invoking [Woi25, Theorem 5.11] and [Woi25, Lemma 6.19]. The text itself states that reflection equivariance is the crucial ingredient that is still missing before the microcosm principle can be applied. This is load-bearing, because Theorem 5.6 only proves mapping class group invariance with respect to this imported action, and without the anomaly cancellation there is no reason for the constructed vectors to be correlators in the sense of [FS17] either. The paper should either give the proofs of the needed statements from [Woi25] in sufficient detail, or rephrase the central theorem as conditional on explicitly stated reflection equivariance hypotheses.
[Theorem 4.1 and Proposition 5.4] Additional load-bearing imports from [Woi25] occur in Theorem 4.1 and Proposition 5.4. Theorem 4.1 uses [Woi25, Theorem 4.12] to trivialize the Nakayama functors and so obtain the self-duality of B^0(F); Proposition 5.4 uses [Woi25, Proposition 6.21] as the criterion for extending ansular correlators to all surfaces, including closed ones. Without these inputs the open correlators do not lift to a full closed-sector theory. Since these are also companion results, the dependence should be made explicit at each occurrence and the relevant statements should be reproduced or proved.
[Section 8.5, Proposition 8.3] Proposition 8.3, which is the key step for Theorem 8.2 and Corollary 8.4, is only sketched. The proof asserts the equivalence of the relations (B1),(B2) with (8.5) by graphical manipulation, and the agreement of the two symmetric Frobenius structures and their half-braidings in Z(A) is described as a similar consideration and the main idea. Theorem 8.2 is a comparison of framed E2-algebras, so the missing compatibility with the full algebraic structure is not a presentation detail. A complete proof of Proposition 8.3 should be supplied.

minor comments (4)

[Theorem 7.6] The displayed bound is dimA(P∨,F⊗P), but the proof computes the trace of an idempotent on HomA(I,P⊗F⊗Q), yielding dimA(P∨,F⊗Q). The statement and proof should be reconciled.
[Corollary 5.3] The phrase 'in any or even of the slots' is unclear; it should read 'in any one, or even in several, of the slots'.
[Introduction and Section 5.5] The claim that the rational FRS construction is recovered is asserted without a precise statement or proof; a short explanation of why the present construction restricts to the known one would be useful.
[Sections 7.5 and 8.4] The graphical conventions (blue lines for F, dashed boxes, suppressed coend structure maps) are used without a complete legend; a short convention paragraph would improve readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular reduction: the correlator construction assembles prior independent theorems; reliance on the companion reflection-equivariance paper is a dependency, not a circularity.

full rationale

The central derivation does not fit a parameter or rename an input as a prediction. Theorem 5.5 takes a special symmetric Frobenius algebra F and constructs vectors via the modular extension of the open sector ([Woi24, Thm 8.3]), uses specialness to prove gluing (Lemma 5.1, Prop. 5.2), passes to the image of the cylinder idempotent, and extends to closed surfaces (Prop. 5.4). Each step is justified by explicit equivariant isomorphisms and gluing diagrams; the output is not defined to be its own conclusion. The main external inputs — [Woi25, Thm 5.11 and Lem. 6.19] for the reflection-equivariant Surf-structure, [MW24b] for the open modular functor classification, and [BW22] for modular functor uniqueness — are cited as prior theorems with stated assumptions that do not include Theorem 5.5. Heavy same-author citation makes the paper dependent on a companion framework, and the classification Corollary 5.9 is conditional on condition (O), which by explicit definition asks the closed part to be induced by the open vectors; those are completeness and scope caveats, not circular reductions. No equation in the paper is equivalent to its input by construction. Score 1 reflects the absence of circularity despite the self-citation-heavy foundations.

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

No new physical entities (particles, forces, dimensions) are postulated. The bulk object B(F), cylinder idempotent, and elliptic class functions are mathematically defined from the input Frobenius algebra and modular category, not independent postulates.

assumptions (5)

domain assumption Existence and uniqueness of the Lyubashenko modular functor F_A for a modular category A, and its characterization by genus-zero data.
Invoked in Section 2.2 and used throughout; the construction of correlators is relative to this functor, following Lyu95a and BW22.
domain assumption Cyclic reflection equivariance: the choice of a two-sided modified trace on Proj A yields an equivalence A^dagger equivalent to \bar A of cyclic framed E2-algebras (Woi25, Theorem 5.11).
Used in Section 3.3 to make F_{\bar A \boxtimes A} an anomaly-free Surf-algebra; without it the notion of correlator as mapping class group invariant vector is not well defined.
standard math Quantum structure sheaf O^A_\Sigma in factorization homology \int_\Sigma A is a homotopy fixed point with a mapping class group action (BZBJ18a).
Used in (1.1), Theorem 6.1 and the holographic principle in Section 6.
domain assumption Admissible skein modules describe morphism spaces in factorization homology in the non-semisimple setting (CGPM23, BH24, MW24a).
Used in Sections 6 and 7 to give the holographic interpretation and to extract torus partition function coefficients.
standard math Hattori-Stallings traces and handlebody equivalence Phi_A(H) realize traces on factorization homology as matrix traces (BW22, Woi25).
Used in Proposition 7.1 to prove non-negativity and integrality of partition function coefficients.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Construction of Correlators in Finite Rigid Logarithmic Conformal Field Theory." pith.science (2026). https://pith.science/paper/UES3NTUJ

@misc{pith2026250722841,
  author       = {Pith},
  title        = {Pith review of: The Construction of Correlators in Finite Rigid Logarithmic Conformal Field Theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UES3NTUJ}},
  note         = {Machine review of arXiv:2507.22841}
}

read the original abstract

For logarithmic conformal field theories whose monodromy data is given by a not necessarily semisimple modular category, we solve the problem of constructing and classifying the consistent systems of correlators. The correlator construction given in this article applies to the open-closed sector and generalizes the well-known one for rational conformal field theories given by Fuchs-Runkel-Schweigert roughly twenty years ago and solves conjectures of Fuchs, Gannon, Schaumann and Schweigert. The strategy is, even in the rational special case, entirely different. The correlators are constructed using the extension procedures that can be devised by means of the modular microcosm principle. It is shown that, as in the rational case, the correlators admit a holographic description, with the main difference that the holographic principle is phrased in terms of factorization homology. The latter description is used to prove that the coefficients obtained by the evaluation of the torus partition function at projective objects are non-negative integers. Moreover, we show that the derived algebra of local operators associated to a consistent system of correlators carries a Batalin-Vilkovisky structure. We prove that it is equivalent to the Batalin-Vilkovisky structure on the Hochschild cohomology of the pivotal module category of boundary conditions, for the notion of pivotality due to Schaumann and Shimizu. This proves several expectations formulated by Kapustin-Rozansky and Fuchs-Schweigert for general conformal field theories.

Figures

Figures reproduced from arXiv: 2507.22841 by the authors.

**Figure 1.** An open-closed surface with parametrized intervals (‘open boundary’) and parametrized boundary circles (‘closed boundary’), both printed in blue. To the open boundary components, we attach the boundary object F while the closed boundary components are labeled with the bulk object B. 2 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗

**Figure 2.** The construction of Σ¯ × ∪∂Σ Σ for a genus one surface with two boundary components. the inner endomorphism algebra of the quantum structure sheaf carrying again a mapping class group action. This algebra, introduced in this form in [BZBJ18a, BZBJ18b, GJS23], generalizes the moduli algebras from [Ale94, AGS96, AS96, BR95, BR96]. If Σ is the torus T 2 1 with one boundary component, the correlator comes from a map F −… view at source ↗

**Figure 3.** The cylinder over Σ, with the boundary labels only kept in the upper copy. Therefore, (1.1) is telling us that the space of conformal blocks for the above-mentioned version of the double of the surface with F as boundary label is canonically isomorphic to the skein module for the 4 [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗

Figures from the paper (5 more)

**Figure 4.** Figure 4: On the extraction of the torus partition function, see Section 7 for further details. 5 [PITH_FULL_IMAGE:figures/full_fig_p005_4.png]

**Figure 5.** Figure 5: For the definition of ν(Γ) and π0(Γ). The operadic composition for this example of Γ describes the composition of operations of total arity three and four to an operation of total arity three. monoidal bicategory. The case of interest in this article is the symmetric m…

**Figure 6.** Figure 6: An operation of total arity 3 in the open surface operad. Marked intervals are printed in blue. tensor category. This means that the open modular functor is characterized by the fact that on a disk D with n ≥ 0 boundary intervals it is given by A!(D; X1, . . . , Xn) ∼=…

**Figure 7.** Figure 7: The construction of Σ¯ × ∪∂Σ Σ for a genus one surface with two boundary components. With excision for spaces of conformal blocks (2.2), we obtain FA¯⊠A(Σ; B ◦ (F), . . . , B ◦ (F)) =∼ FA(Σ¯ × ∪∂Σ Σ; F ⊠n ) , and we may see the vectors λ F Σ ∈ FA¯⊠A(Σ; B ◦ (F), . . . ,…

**Figure 8.** Figure 8: For the calculation of the correlator for the torus with one boundary component. Definition 7.2. We call the endomorphism Z F of FA(T 2 ) the torus partition function of the open-closed system of correlators associated to the special symmetric Frobenius algebra F ∈ A. …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 14 canonical work pages

[5]

Costantino, N

[CGPM23] F. Costantino, N. Geer, and B. Patureau-Mirand. Admissible skein modules. arXiv:2302.04493 [math.GT],

arXiv
[7]

The A-infinity operad and the moduli space of curves

[Cos04] K. Costello. The A-infinity operad and the moduli space of curves. arXiv:math/0402015 [math.AG],

work page Pith review arXiv
[13]

[McR21] R. McRae. On rationality for C2-cofinite vertex operator algebras. arXiv:2108.01898 [math.QA],

arXiv
[16]

Admissible Skein Modules and Ansular Functors: A Comparison

[MW24a] L. Müller and L. Woike. Admissible skein modules and ansular functors: A comparison. arXiv:2409.17047 [math.QA],

work page Pith review arXiv
[18]

Müller and L

[MW24c] L. Müller and L. Woike. Classification of consistent systems of handlebody group representations. Int. Math. Res. Not., 2024(6):4767–4803,

work page 2024
[20]

[Woi24] L. Woike. The cyclic and modular microcosm principle. Accepted for publication inCanad. J. Math. arXiv:2408.02644 [math.QA],

work page Pith review arXiv
[21]

[Woi25] L. Woike. Reflection equivariance and the Heisenberg picture for spaces of conformal blocks. arXiv:2507.22820 [math.QA],

work page Pith review arXiv
[1956]

Costantino, N

[CGHPM23] F. Costantino, N. Geer, B. Haïoun, and B. Patureau-Mirand. Skein (3+1)-TQFTs from non- semisimple ribbon categories. arXiv:2306.03225 [math.GT],

arXiv

Show all 21 references

[1988]

[Shi17a] K. Shimizu. On unimodular finite tensor categories. Int. Math. Res. Not., 2017(1):277–322,

2017
[1989]

Moore and G

[MS06] G. Moore and G. Segal. D-branes and K-theory in 2D topological field theory. arXiv:hep-th/0609042,

arXiv
[1996]

Brav and N

[BR23] C. Brav and N. Rozenblyum. The cyclic deligne conjecture and calabi-yau structures. arXiv:2305.10323 [math.AT],

arXiv
[1997]

Creutzig, S

[CLR21] T. Creutzig, S. Lentner, and M. Rupert. Characterizing braided tensor categories associated to logarithmic vertex operator algebras. arXiv:2104.13262 [math.QA],

arXiv
[2001]

[Koc03] J. Kock. Frobenius Algebras and 2D Topological Quantum Field Theories, volume 2003 ofLondon Math. Soc. Student Texts. Cambridge University Press,

2003
[2006]

Müller, C

[MSWY23] L. Müller, C. Schweigert, L. Woike, and Y. Yang. The Lyubashenko modular functor for Drinfeld centers via non-semisimple string-nets. arXiv:2312.140109 [math.QA],

arXiv
[2013]

Brown and B

[BH24] J. Brown and B. Haïoun. Skein categories in non-semisimple settings. arXiv:2406.08956 [math.QA],
[2015]

Etingof, D

[ENO04] P. Etingof, D. Nikshych, and V. Ostrik. An analogue of Radford’s S4 formula for finite tensor categories. Int. Math. Res. Not., 2004(54):2915–2933,

2004
[2019]

Damiolini and L

[DW25] C. Damiolini and L. Woike. Modular functors from conformal blocks of rational vertex operator algebras. arXiv:2507.05845 [math.QA],

arXiv
[2020]

[Hai25] B. Haioun. Non-semisimple WRT at the boundary of Crane-Yetter. arXiv:2503.20905 [math.QA],

arXiv
[2022]

Gainutdinov, S

[GLO18] A. Gainutdinov, S. Lentner, and T. Ohrmann. Modularization of small quantum groups. arXiv:1809.02116 [math.QA],

arXiv
[2023]

Brochier and L

[BW22] A. Brochier and L. Woike. A classification of modular functors via factorization homology. arXiv:2212.11259 [math.QA],

arXiv
[2024]

Müller and L

[MW24b] L. Müller and L. Woike. Categorified open topological field theories. Accepted for publication in Proc. AMS arXiv:2406.11605 [math.QA],

arXiv

Pith tools

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

[1] [5]

Costantino, N

[CGPM23] F. Costantino, N. Geer, and B. Patureau-Mirand. Admissible skein modules. arXiv:2302.04493 [math.GT],

arXiv

[2] [7]

The A-infinity operad and the moduli space of curves

[Cos04] K. Costello. The A-infinity operad and the moduli space of curves. arXiv:math/0402015 [math.AG],

work page Pith review arXiv

[3] [13]

[McR21] R. McRae. On rationality for C2-cofinite vertex operator algebras. arXiv:2108.01898 [math.QA],

arXiv

[4] [16]

Admissible Skein Modules and Ansular Functors: A Comparison

[MW24a] L. Müller and L. Woike. Admissible skein modules and ansular functors: A comparison. arXiv:2409.17047 [math.QA],

work page Pith review arXiv

[5] [18]

Müller and L

[MW24c] L. Müller and L. Woike. Classification of consistent systems of handlebody group representations. Int. Math. Res. Not., 2024(6):4767–4803,

work page 2024

[6] [20]

[Woi24] L. Woike. The cyclic and modular microcosm principle. Accepted for publication inCanad. J. Math. arXiv:2408.02644 [math.QA],

work page Pith review arXiv

[7] [21]

[Woi25] L. Woike. Reflection equivariance and the Heisenberg picture for spaces of conformal blocks. arXiv:2507.22820 [math.QA],

work page Pith review arXiv

[8] [1956]

Costantino, N

[CGHPM23] F. Costantino, N. Geer, B. Haïoun, and B. Patureau-Mirand. Skein (3+1)-TQFTs from non- semisimple ribbon categories. arXiv:2306.03225 [math.GT],

arXiv