Pith. sign in

REVIEW 3 major objections 5 minor 13 references

Invertible projective 2-representations from invertible 2d TQFTs with defects

T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Freely assigning invertible objects and invertible 1-morphisms, with no compatibility conditions, always extends canonically to a projective 2-representation; the Clifford/Fock construction is the showcase example.

desk verdict A genuinely new freeness theorem for invertible projective 2-representations, elegantly proved with 2d defect TQFTs, but the proof relies on a surface calculus the authors admit is not formalized. read the letter →

arxiv 2509.16626 v2 pith:DBYA7DIW submitted 2025-09-20 math.CT math-phmath.MPmath.QAmath.RT

Domenico Fiorenza , Chetan Vuppulury This is my paper · ORCID
classification math.CTmath-phmath.MPmath.QAmath.RT
keywords projective2-representationsinvertiblewannabefunctors2dTQFTswithdefectssymmetricmonoidal2-categoriesClifford/FockconstructionLagrangiancorrespondencesPfaffianlineMorita2-categoryofsupervectorspaces
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

Building a projective representation usually requires a cocycle that makes choices compatible. This paper proves that when the assigned objects and morphisms are invertible in a symmetric monoidal 2-category, no compatibility is needed: every such assignment extends canonically to a coherent projective 2-representation, with the 2-cocycle produced by a trace formula. In one dimension the same freeness is trivial, but in two dimensions the coherence conditions are real and are proved by drawing the algebra as surfaces with defect lines in a 2d TQFT. The payoff is that the Clifford/Fock construction on Lagrangian correspondences is a projective 2-representation for the simple reason that its Clifford algebras and Fock bimodules are invertible in the Morita 2-category of super vector spaces; a further twist by determinant lines makes the construction linear on Lagrangian spans.

What carries the argument

The load-bearing mechanism is the graphical calculus of 2-dimensional TQFTs with invertible defects. In this calculus, an object $A_{X_i}$ of $\mathbf{2V}$ is a coloured region of a surface, a 1-morphism $M_{f_{ij}}$ is an oriented defect line separating regions, and a trace is a cap that closes a defect line; composites are surfaces with networks of defect lines. The central rule is that a surface diffeomorphism, up to isotopy, is an equality of the corresponding composites, so coherence diagrams for the projective 2-representation become geometric statements. In particular, the cyclic invariance of the trace and the associativity pentagon are each proved by drawing two surfaces and exhibiting a diffeomorphism between them. The one-dimensional version in Section 2 is the same picture sliced down by a dimension, which is why the authors present it as a warm-up.

What would settle it

In the walking-4-simplex example mapped to the Morita 2-category of super vector spaces by generic invertible bimodules, compute both composites in the pentagon diagram (3.1); if the two surfaces that are diffeomorphic yield different 2-isomorphisms, the freeness theorem fails. A simpler check is to find invertible bimodules for which the two drawings in Remark 3.8, related by cyclic trace invariance, evaluate to different morphisms.

Watch

Extended reading notes

Core claim

The central claim is Proposition 3.2: if $\mathbf{2V}$ is a symmetric monoidal 2-category with duals and $\rho\colon \mathcal{C}\dashrightarrow \mathbf{2V}$ is an invertible wannabe functor, meaning each object of $\mathcal{C}$ is sent to an invertible object and each morphism to an invertible 1-morphism, with identities preserved but no composition compatibility imposed, then $\rho$ extends canonically to a projective 2-representation $\rho\colon \mathcal{C}\to \mathbf{2V}//B\operatorname{Pic}(V)$, where $V=\Omega\mathbf{2V}=\operatorname{End}(\mathbf{1}_{\mathbf{2V}})$ is the monoidal category of endomorphisms of the unit object. The extension is governed by the 2-cocycle $\ell_{\Xi_{ijk}}=\operatorname{tr}\left(M_{f_{ik}}^{-1}\circ M_{f_{jk}}\circ M_{f_{ij}}\right)$ with values in $\operatorname{Pic}(V)$, the invertible objects of $V$, and the proof constructs all coherence isomorphisms as diffeomorphisms between surfaces with defect lines. The paper applies this to the Clifford/Fock construction, which is an invertible wannabe functor from the category of Lagrangian correspondences to the Morita 2-category of super vector spaces: Clifford superalgebras and Fock bimodules are invertible there. Consequently the construction is a projective 2-representation with Pfaffian lines as its 2-cocycle, and after twisting by the determinant-line functor it becomes a genuine linear 2-representation of Lagrangian spans.

Load-bearing premise

The proof assumes that the graphical calculus for invertible 2-dimensional defects is sound and complete: any two surfaces related by isotopy or diffeomorphism give equal composites, and the trace is cyclically invariant as a 2-morphism; the paper's own footnote notes that these rules have not been systematically established in the literature.

Editorial extensions

If this is right

  • Any invertible wannabe functor into a symmetric monoidal 2-category with duals produces a coherent projective 2-representation, so constructing examples reduces to choosing invertible objects and 1-morphisms.
  • The Clifford/Fock construction is an invertible projective 2-representation of Lagrangian correspondences, with the Pfaffian line as its 2-cocycle; this recovers the known result and shows it is a consequence of invertibility alone.
  • Twisting by the determinant-line functor cancels the Pfaffian cocycle, so the twisted Fock bimodules form a linear 2-representation of the category of Lagrangian spans, matching the gluing statement recorded in the Clifford field theory context.
  • The same proof structure indicates an $n$-dimensional freeness theorem: an invertible wannabe functor into a symmetric monoidal $n$-category should extend canonically to a projective $n$-representation, with an $n$-dimensional TQFT with defects organizing the coherence.
  • Because the theorem needs only invertibility, the same framework applies to any other family of invertible objects and morphisms in a Morita 2-category, not just Clifford algebras and Fock bimodules.

Reading between the lines

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

  • A natural next test is to feed other known invertible objects, such as Azumaya algebras or line bundles, into the freeness theorem and ask whether the resulting 2-cocycles reproduce known geometric invariants like determinant or Pfaffian lines.
  • The proof's dependence on cyclic trace invariance suggests a boundary: in a braided or non-dualizable setting the construction might yield only a partially coherent structure, and checking which coherence diagram survives would map exactly where invertibility stops being sufficient.
  • If the proposed $n$-dimensional generalization holds, the same freeness phenomenon would produce higher projective representations from arbitrary invertible data, and a Morse-theoretic formalization of the defect calculus would be the natural way to make that precise.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proves a freeness theorem for invertible projective 2-representations. A "wannabe functor" from an arbitrary category C to a symmetric monoidal 2-category 2V is just an assignment of an object A_X to each object X and an invertible 1-morphism M_f to each morphism f, with no compatibility for compositions. The main result, Proposition 3.2, states that every such invertible wannabe functor canonically extends to a projective 2-representation with 2-cocycle l_{\Xi_{ijk}} = tr(M_{f_{ik}}^{-1} \circ M_{f_{jk}} \circ M_{f_{ij}}), where the trace takes values in Pic(V) for V = End(1_{2V}). The proof is carried out using 2-dimensional TQFTs with defects, drawing the coherence data as surfaces with defect lines. The paper then applies this to the Clifford/Fock construction: using only invertibility of Clifford algebras and Fock bimodules in the Morita 2-category of super vector spaces, it recovers the Ludewig--Roos result that the Clifford/Fock construction is a projective 2-representation of Lagrangian correspondences, and the Ludewig result that a twisted version gives a linear 2-representation on Lagrangian spans. A one-dimensional analogue of the freeness theorem is also proved as a warm-up.

Significance. If the main theorem is established, it is a clean and striking structural result: invertible projective 2-representations incur no compatibility conditions beyond invertibility, abstracting a phenomenon that was previously verified by computation in the Clifford/Fock example. The conceptual payoff is substantial, since it separates the existence of the Pfaffian cocycle and its coherence from the specific features of Clifford algebras. The paper is honest and non-circular in its use of [LR20] and [Lud24]: it explicitly credits those works for the invertibility of Clifford algebras and Fock bimodules and for the linearization on Lagrangian spans, and it does not import the coherence conditions from them. The proof strategy via 2d defect TQFTs is appealing and gives a unifying picture. However, the central proof is currently conditional on the soundness of a graphical calculus for invertible 2d defects that the authors themselves state has not been systematically formalized; this is the main obstacle to accepting the paper in its present form.

major comments (3)
  1. [Section 3, Proposition 3.2 and footnote 1] The proof of Proposition 3.2 is load-bearing and rests entirely on an unformalized graphical calculus for invertible 2-dimensional defects. Footnote 1 explicitly concedes that the rules for invertible 2d defects 'appear not to have been systematically investigated in the literature.' Yet the proof uses specific moves as axioms: cyclic invariance of the trace in Remark 3.8, cancellation of loops labelled by invertible objects in Lemma 3.9, equality of composites up to 'manifest diffeomorphism' in Lemma 3.15, and analogous surface manipulations in Lemmas 3.19 and 3.21. As written, the freeness theorem is conditional on these moves being sound and complete in an arbitrary symmetric monoidal 2-category with duals. The paper needs either a precise axiomatization of the defect calculus with a soundness proof, or an algebraic translation of each bordism move into composites in 2V using duals, adjoints, and the symmetric monoidal structure. Without this, the proof cannot be verified in the intended generality.
  2. [Section 3, display before Lemma 3.5] The 2-cocycle l_{\Xi_{ijk}} = tr(M_{f_{ik}}^{-1} \circ M_{f_{jk}} \circ M_{f_{ij}}) is never given a precise definition in the setting of a symmetric monoidal 2-category. The paper refers to 'tr' as in the 1-categorical case, but in dimension 2 the trace of a 1-morphism must be defined as a shadow or bicategorical trace, and one must prove that it indeed yields an object of End(1_{2V}) and is independent of the choice of inverse M_{f_{ik}}^{-1}. Lemma 3.5 says the proof is identical to Lemma 2.6, but the 2-categorical trace is not even introduced. This is closely tied to the previous comment, but it deserves independent attention because the definition of the cocycle is the very statement of Proposition 3.2.
  3. [Section 4, Proposition 4.32 and Corollary 4.34] The proof of Proposition 4.32, which is used to trivialize the Pfaffian cocycle and obtain the linear 2-representation of Lagrangian spans, is too compressed at its decisive point. In the verification of the commutativity of diagram (4.8), the proof asserts 'So we have choices of lifts making the clockwise and the anticlockwise isomorphisms identical' and then concludes independence of lifts. This is a standard type of argument, but as written it is not enough to check the two quadrilateral subdiagrams in full detail. Since Corollary 4.34 depends on this proposition, the proof should be expanded, or at least the relevant naturality and independence-of-lifts statements should be stated explicitly.
minor comments (5)
  1. [Abstract and Introduction] The abstract contains typos: 'representatios' should be 'representations' and 'only relying only on invertibility' has a duplicated 'only'. The phrase 'the first rule of invertible projective representations is you don’t talk of invertible projective representations' is a stylistic choice but may be confusing in a formal paper.
  2. [Section 2, Lemma 2.9] In the proof of Lemma 2.9, 'We compote' should be 'We compute'. This is a minor typo, but it appears in a proof and should be fixed.
  3. [Section 3, Lemmas 3.9 and 3.19] In the proofs of Lemmas 3.9 and 3.19, the text contains phrases such as 'we used the invertibility of in the first step' and 'we used the invertibility of in the second step', where the objects whose invertibility is used are missing. This makes the proofs unreadable at those points; the missing labels or figures must be restored.
  4. [Section 3, Lemma 3.15] The proof of Lemma 3.15 says the commutativity is 'given by the following manifest diffeomorphism of surfaces with defect lines' and displays only a dash, which suggests a figure is missing. Without the figure or an explicit description of the diffeomorphism, the assertion cannot be checked. This is a presentation issue, but it is directly relevant to the main proof.
  5. [Section 4, Remark 4.35] In Remark 4.35, 'LagrCorr plrzd K' appears to be a corrupted LaTeX artifact; it should presumably be 'LagrCorr_K^{pol}' or similar for polarized Lagrangian correspondences. This should be fixed before publication.

Circularity Check

0 steps flagged · score 1.0 of 10

The central freeness theorem is a constructive proof from the input data; self-citations are terminological only, and the unformalized defect calculus is a rigor gap, not circularity.

full rationale

The paper's central claim (Proposition 3.2) takes an invertible wannabe functor as input and defines the 2-cocycle l_{Ξijk} = tr(M_{fik}^{-1} ∘ M_{fjk} ∘ M_{fij}); the projective 2-representation structure is then verified by constructing the required isomorphisms in Lemmas 3.6, 3.9, 3.15, 3.17, 3.19, and 3.21 using defect-surface diffeomorphisms. This is a constructive proof, not a circular reduction: the 2-cocycle is not an independently predicted datum, and it is not imported from any cited source. The Clifford/Fock application in Section 4 is explicitly attributed to Ludewig and Roos [LR20], and the invertibility of Clifford algebras and Fock bimodules (Proposition 4.19) is cited to external works [KLW21, Lud24], not to the authors' own prior results. The self-citations [FV25], [Vup25], and [Fio20] are used only for terminology, notation, and background; they do not carry the load-bearing argument. Footnote 1 concedes that the rules for invertible 2d defects 'appear not to have been systematically investigated in the literature'; this is a rigor and completeness concern about the diagrammatic calculus, not an instance of the paper's conclusions being equivalent to its hypotheses. No fitted parameter is renamed as a prediction, and no uniqueness theorem from the authors is invoked to force the construction. Accordingly, the paper exhibits no significant circularity.

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

The theorem is universal over 2V and C, so there are no numeric free parameters. The main hidden inputs are: existence of duals and traces in 2V, the unformalized 2d defect calculus rules, the finiteness restriction, and the invertibility of Clifford/Fock objects imported from [KLW21, Lud24].

assumptions (4)
  • domain assumption 2V is a symmetric monoidal 2-category with duals, so objects and 1-morphisms have duals and traces of endomorphisms are defined.
    The definitions of l_{Ξ_{ijk}} = tr(M^{-1} ∘ M ∘ M) and the proofs of Lemmas 3.5 through 3.9 require duals and trace in 2V; this is stated at the start of Section 3.
  • ad hoc to paper The rules of the 2d TQFT with defects graphical calculus are consistent: isotopy and diffeomorphism of surfaces with defects give equal composites, and trace is cyclically invariant at the level of 2-morphisms.
    Footnote 1 admits the rules for invertible 2d defects have not been systematically investigated; the proofs of Lemmas 3.6, 3.9, 3.15, 3.21 and Remark 3.8 rely on this calculus.
  • domain assumption Finite-dimensional Clifford superalgebras of nondegenerate quadratic forms are invertible objects and Fock bimodules are invertible 1-morphisms in 2sVect_K.
    Proposition 4.19 is cited to [KLW21, Lud24] and is the input that makes the Clifford/Fock wannabe functor invertible; Section 4 leans on it.
  • domain assumption All Hilbert spaces are finite dimensional; the infinite-dimensional case requires polarization and von Neumann completions not developed here.
    Stated at the start of Section 4 and elaborated in Remark 4.35.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Invertible projective 2-representations from invertible 2d TQFTs with defects." pith.science (2026). https://pith.science/paper/DBYA7DIW

@misc{pith2026250916626,
  author       = {Pith},
  title        = {Pith review of: Invertible projective 2-representations from invertible 2d TQFTs with defects},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DBYA7DIW}},
  note         = {Machine review of arXiv:2509.16626}
}
read the original abstract

We investigate invertible projective representations and their 2-categorical analogues using the language of TQFTs with defects. The main result is a freeness property for invertible projective representatios. While trivial in the 1-categorical setting, this result becomes interesting for 2-representations: as an application, only relying only on invertibility of Clifford algebras and Fock bimodules in the Morita 2-category of super vector spaces we recover Ludewig--Roos' result that the Clifford/Fock construction is a projective 2-representation of the category of Lagrangian correspondences.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 6 canonical work pages

  1. [1]

    Topological quantum field theories

    Michael Atiyah. Topological quantum field theories. Inst. Hautes \' E tudes Sci. Publ. Math. , (68):175--186 (1989), 1988. URL: http://www.numdam.org/item?id=PMIHES_1988__68__175_0

    work page 1989

  2. [2]

    Lecture notes on two-dimensional defect TQFT

    Nils Carqueville. Lecture notes on two-dimensional defect TQFT . In Advanced school on topological quantum field theory , volume 114 of Banach Center Publ. , pages 49--84. Polish Acad. Sci. Inst. Math., Warsaw, 2018

    work page 2018

  3. [3]

    Three quick recipes with fully extended oriented 2d TQFTs

    Domenico Fiorenza. Three quick recipes with fully extended oriented 2d tqfts. 2020. URL: https://arxiv.org/abs/2007.07215

    work page Pith review arXiv 2020

  4. [4]

    Projective and anomalous representations of categories and their linearizations

    Domenico Fiorenza and Chetan Vuppulury. Projective and anomalous representations of categories and their linearizations. 2025. URL: https://arxiv.org/abs/2506.01521

    work page Pith review arXiv 2025

  5. [5]

    Heisenberg algebra and a graphical calculus

    Mikhail Khovanov. Heisenberg algebra and a graphical calculus. Fund. Math. , 225(1):169--210, 2014. https://doi.org/10.4064/fm225-1-8 doi:10.4064/fm225-1-8

    doi:10.4064/fm225-1-8 2014

  6. [6]

    2-vector bundles

    Peter Kristel, Matthias Ludewig, and Konrad Waldorf. 2-vector bundles. 2021. URL: https://arxiv.org/abs/2106.12198

    arXiv 2021

  7. [7]

    The chiral anomaly of the free fermion in functorial field theory

    Matthias Ludewig and Saskia Roos. The chiral anomaly of the free fermion in functorial field theory. Ann. Henri Poincar\' e , 21(4):1191--1233, 2020. https://doi.org/10.1007/s00023-020-00893-6 doi:10.1007/s00023-020-00893-6

    doi:10.1007/s00023-020-00893-6 2020

  8. [8]

    Categories of L agrangian correspondences in super H ilbert spaces and fermionic functorial field theory

    Matthias Ludewig. Categories of L agrangian correspondences in super H ilbert spaces and fermionic functorial field theory. SIGMA Symmetry Integrability Geom. Methods Appl. , 20:Paper No. 036, 29, 2024. https://doi.org/10.3842/SIGMA.2024.036 doi:10.3842/SIGMA.2024.036

    work page doi:10.3842/sigma.2024.036 2024

Show all 13 references
  1. [9]

    On the classification of topological field theories

    Jacob Lurie. On the classification of topological field theories. In Current developments in mathematics, 2008 , pages 129--280. Int. Press, Somerville, MA, 2009

    2008

  2. [10]

    Traces in symmetric monoidal categories

    Kate Ponto and Michael Shulman. Traces in symmetric monoidal categories. Expo. Math. , 32(3):248--273, 2014. https://doi.org/10.1016/j.exmath.2013.12.003 doi:10.1016/j.exmath.2013.12.003

    2014 doi

  3. [11]

    What is an elliptic object? In Topology, geometry and quantum field theory , volume 308 of London Math

    Stephan Stolz and Peter Teichner. What is an elliptic object? In Topology, geometry and quantum field theory , volume 308 of London Math. Soc. Lecture Note Ser. , pages 247--343. Cambridge Univ. Press, Cambridge, 2004. https://doi.org/10.1017/CBO9780511526398.013 doi:10.1017/C...

    2004 doi

  4. [12]

    Homotopy associativity of H -spaces

    James Dillon Stasheff. Homotopy associativity of H -spaces. I , II . Trans. Amer. Math. Soc. , 108:293--312, 1963. 1 08 (1963), 275-292; ibid. https://doi.org/10.1090/s0002-9947-1963-0158400-5 doi:10.1090/s0002-9947-1963-0158400-5

    1963 doi

  5. [13]

    Projective 2-representations and 2d TQFT s

    Chetan Vuppulury. Projective 2-representations and 2d TQFT s. Sapienza, Universit\`a di Roma , 2025

    2025

Pith tools

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