pith. machine review for the scientific record. sign in

arxiv: 2605.03708 · v1 · submitted 2026-05-05 · 🧮 math.QA · hep-th· math-ph· math.MP

Recognition: unknown

Modular functors and CFT correlators via double categories

J\"urgen Fuchs , Christoph Schweigert , Yang Yang
Authors on Pith no claims yet

Pith reviewed 2026-05-09 15:27 UTC · model grok-4.3

classification 🧮 math.QA hep-thmath-phmath.MP
keywords double categoriesmodular functorsconformal field theorystring-net constructionskein theorypivotal bicategoriesFrobenius algebrascorrelators
0
0 comments X

The pith

A vertical transformation between double-categorical modular functors is an equivalence, making field functors equivalences of categories and universal correlators isomorphisms of vector spaces.

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

The paper establishes that double categories supply a unified framework for modular functors built from bicategorical string-net constructions. The source double category consists of bordisms as horizontal morphisms and smooth embeddings as vertical morphisms, while the target uses profunctors horizontally and functors vertically. For a conformal field theory based on a pivotal monoidal category C, correlators and field functors arise from a vertical transformation between the modular functors attached to the delooping of C and to the bicategory of Delta-separable symmetric Frobenius algebras in C. Skein theoretic methods prove that this vertical transformation is an equivalence.

Core claim

In the setting of double categories, modular functors obtained via the bicategorical string-net construction for the delooping of a pivotal monoidal category C and for the bicategory of Delta-separable symmetric Frobenius algebras in C are related by a vertical transformation. Skein theoretic methods show this vertical transformation is an equivalence, which directly implies that the associated field functors are equivalences of categories and that the universal correlators are isomorphisms of vector spaces.

What carries the argument

Vertical transformations between double functors from bicategorical string-net constructions on two pointed pivotal bicategories (the delooping of C and the bicategory of Delta-separable symmetric Frobenius algebras in C).

If this is right

  • Field functors for these conformal field theories are equivalences of categories.
  • Universal correlators are isomorphisms of vector spaces.
  • The double-categorical setting unifies the treatment of bordisms, embeddings, profunctors, and functors for modular functors.
  • Skein theory provides a direct method to establish equivalences of vertical transformations in this framework.

Where Pith is reading between the lines

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

  • The same skein techniques might apply to vertical transformations arising from other constructions of modular functors beyond string nets.
  • This double-categorical unification could clarify relations between different presentations of the same conformal field theory.
  • Explicit calculations for small examples of C might now reduce to checking whether certain diagrams are isotopic under the skein relations.

Load-bearing premise

The bicategorical string-net construction applied to the delooping of C and to the bicategory of Delta-separable symmetric Frobenius algebras in C yields modular functors whose vertical transformation can be shown to be an equivalence by skein methods.

What would settle it

A specific pivotal monoidal category C together with an explicit computation of dimensions or bases showing that the vertical transformation maps some vector space of correlators to a space of different dimension.

read the original abstract

We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double category of bordisms, with bordisms as horizontal morphisms and smooth embeddings of manifolds as vertical morphisms. The target of the modular functor is a double category with profunctors and functors as horizontal and vertical morphisms. The correlators and field functors for a conformal field theory based on a pivotal monoidal category $\mathcal C$ can then be understood in the unified setting of a vertical transformation between the modular functors for two pointed pivotal bicategories, the delooping of $\mathcal C$ and the bicategory of $\Delta$-separable symmetric Frobenius algebras in $\mathcal C$. Using skein theoretic methods, we show that this vertical transformation is an equivalence, which implies that field functors are equivalences of categories and that universal correlators are isomorphisms of vector spaces.

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 / 2 minor

Summary. The paper claims that double categories provide a natural setting for modular functors obtained via bicategorical string-net constructions. The source is the symmetric monoidal double category of bordisms (bordisms as horizontal morphisms, smooth embeddings as vertical morphisms); the target is a double category whose horizontal morphisms are profunctors and vertical morphisms are functors. For a pivotal monoidal category C, the correlators and field functors of the associated CFT arise as a vertical transformation between the modular functors associated to the delooping of C and to the bicategory of Δ-separable symmetric Frobenius algebras in C. Skein-theoretic methods are used to prove that this vertical transformation is an equivalence of double functors, which implies that field functors are equivalences of categories and universal correlators are isomorphisms of vector spaces.

Significance. If the central claim holds, the work supplies a unified double-categorical language that simultaneously encodes the topological (bordism) and algebraic (string-net) data of modular functors, field functors, and CFT correlators. The construction is parameter-free, starts from standard definitions of double categories and pivotal bicategories, and employs skein methods to obtain concrete isomorphisms; these features would strengthen the link between algebraic CFT and topological invariants if the double-functor equivalence is rigorously established.

major comments (2)
  1. [section proving the equivalence of the vertical transformation] The central claim that skein-theoretic methods establish the equivalence of the vertical transformation (and hence the double-functor equivalence) is load-bearing. The manuscript must explicitly verify that the skein relations are compatible with vertical morphisms (smooth embeddings of manifolds) in the source double category and induce invertible natural transformations on the target double category of profunctors; it is not clear whether the provided skein arguments address naturality under these embeddings or only the underlying 1-categorical or bicategorical data.
  2. [construction of the modular functors as double functors] The string-net assignment is defined on horizontal morphisms, but the double-functor axioms require that the assignment intertwines horizontal and vertical compositions via the interchange law. The manuscript should supply a concrete check that the skein relations preserve this interchange when vertical morphisms act by embeddings that deform the nets.
minor comments (2)
  1. [preliminaries on bicategories] The notation distinguishing the delooping bicategory from the bicategory of Δ-separable symmetric Frobenius algebras could be made more uniform; an explicit comparison table of objects, 1-morphisms, and 2-morphisms would improve readability.
  2. [figures in the string-net section] Several diagrams illustrating the action of vertical morphisms on string nets are referenced but not displayed; including them would clarify how embeddings deform the nets while preserving skein relations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. These have prompted us to strengthen the exposition of the double-functor structure and the equivalence proof. We have revised the paper by adding explicit verifications of compatibility with vertical morphisms and the interchange law, as detailed below.

read point-by-point responses

  1. Referee: [section proving the equivalence of the vertical transformation] The central claim that skein-theoretic methods establish the equivalence of the vertical transformation (and hence the double-functor equivalence) is load-bearing. The manuscript must explicitly verify that the skein relations are compatible with vertical morphisms (smooth embeddings of manifolds) in the source double category and induce invertible natural transformations on the target double category of profunctors; it is not clear whether the provided skein arguments address naturality under these embeddings or only the underlying 1-categorical or bicategorical data.

    Authors: We agree that a fully rigorous treatment requires explicit verification of naturality under vertical morphisms. In the revised manuscript we have inserted a new subsection (5.3) that directly addresses this. For any smooth embedding serving as a vertical morphism, we show that the local skein relations are preserved because embeddings act by isotopy on the underlying manifolds and therefore map admissible string-net diagrams to admissible diagrams satisfying the same relations. We then construct the induced map on the target double category of profunctors and exhibit an explicit inverse (again via skein equivalences) that is natural with respect to the embedding. This establishes that the vertical transformation is an equivalence of double functors. revision: yes

  2. Referee: [construction of the modular functors as double functors] The string-net assignment is defined on horizontal morphisms, but the double-functor axioms require that the assignment intertwines horizontal and vertical compositions via the interchange law. The manuscript should supply a concrete check that the skein relations preserve this interchange when vertical morphisms act by embeddings that deform the nets.

    Authors: We thank the referee for pointing out the need for an explicit interchange-law check. The revised version contains a new lemma (Lemma 4.5) that supplies the required verification. Given a vertical morphism realized by a smooth embedding that deforms a string-net, we verify that the horizontal composition of the deformed nets in the source double category corresponds, under the string-net assignment, to the composition of the associated profunctors in the target. The skein relations are shown to be compatible with this correspondence because any deformation induced by the embedding can be realized by a finite sequence of local moves that are themselves skein-equivalent. Consequently the interchange diagram commutes up to the equivalence, confirming that the assignment is a double functor. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses standard double-category and skein constructions without reduction to inputs by definition or self-citation

full rationale

The paper defines the source as the symmetric monoidal double category of bordisms (with embeddings as vertical morphisms) and the target as the double category of profunctors and functors, then applies the bicategorical string-net construction to the delooping of a pivotal monoidal category C and to the bicategory of Δ-separable symmetric Frobenius algebras in C. The central step asserts that the resulting vertical transformation is an equivalence via skein-theoretic methods, which directly yields the stated implications for field functors and correlators. This chain relies on explicit constructions from given data and a proof internal to the paper rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation whose content is presupposed without independent verification.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard axioms from higher category theory together with domain assumptions that the chosen bicategories model the CFT data; no free parameters or new postulated entities are introduced.

axioms (3)
  • standard math Symmetric monoidal double category of bordisms exists with bordisms as horizontal morphisms and smooth embeddings as vertical morphisms
    Standard construction in higher category theory for modeling manifolds and their relations.
  • standard math Target double category with profunctors as horizontal morphisms and functors as vertical morphisms
    Standard double category formed by profunctors and functors in ordinary category theory.
  • domain assumption Pivotal monoidal category C exists and supports a CFT whose correlators arise from Δ-separable symmetric Frobenius algebras in C
    The paper takes this as the algebraic input for the CFT and the two pointed pivotal bicategories.

pith-pipeline@v0.9.0 · 5484 in / 1686 out tokens · 59345 ms · 2026-05-09T15:27:47.605880+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

  1. [1]

    Bartlett,Three-dimensional TQFTs via string-nets and two-dimensional surgery, preprintmath.QA/2206.13262 [BW] A

    [Ba] B.H. Bartlett,Three-dimensional TQFTs via string-nets and two-dimensional surgery, preprintmath.QA/2206.13262 [BW] A. Brochier and L. Woike,A classification of modular functors via factorization homology, preprintmath.QA/2212.11259 [CaR] N. Carqueville and I. Runkel,Orbifold completion of defect bicategories, Quantum Topology 7 (2016) 203–279[math.QA...

    work page arXiv 2016

  2. [2]

    Fuchs, C

    [FSY2] J. Fuchs, C. Schweigert, and Y. Yang,String-net models for pivotal bicategories, Theory and Appl. Cat. 44 (2025) 474–543[math.QA/2302.01468] [GJ] D. Gaiotto and T. Johnson-Freyd,Condensations in higher categories, preprint math.CT/1905.09566 [GP] M. Grandis and R. Par´ e,Limits in double categories, Cah. Topol. G´ eom. Diff´ er. Cat´ e¯ goriques 40...

    work page arXiv 2025

  3. [3]

    Framed bicategories and monoidal fibrations

    [Sh1] M. Shulman,Framed bicategories and monoidal fibrations, Theory and Appl. Cat. 20 (2008) 650–738[math.CT/0706.1286] [Sh2] M. Shulman,Comparing composites of left and right derived functors, New York J. Math. 17 (2011) 75–125[math.CT/0706.2868] [WeS] L. Wester Hansen and M. Shulman,Constructing symmetric monoidal bicategories functorially, preprintmat...

    work page arXiv 2008

  4. [4]

    Yeral,Open modular functors from non-finite tensor categories, preprint math.QA/2602.03519 36

    35 [Ye] D. Yeral,Open modular functors from non-finite tensor categories, preprint math.QA/2602.03519 36

    work page arXiv