Non-semisimple link and manifold invariants for symplectic fermions

Azat M. Gainutdinov; Ingo Runkel; Johannes Berger

arxiv: 2307.06069 · v2 · submitted 2023-07-12 · 🧮 math.QA · math.GT

Non-semisimple link and manifold invariants for symplectic fermions

Johannes Berger , Azat M. Gainutdinov , Ingo Runkel This is my paper

Pith reviewed 2026-05-24 08:08 UTC · model grok-4.3

classification 🧮 math.QA math.GT

keywords symplectic fermionsLyubashenko invariantsnon-semisimple ribbon categoriestensor idealsmodified tracesquasi-Hopf algebraslens spaceslink invariants

0 comments

The pith

Lyubashenko invariants of lens spaces equal the order of first homology to the power N for symplectic fermion categories.

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

The paper computes link and three-manifold invariants arising from the non-semisimple ribbon category of N pairs of symplectic fermions together with chosen tensor ideals and modified traces. When the ideal is the entire category, the resulting Lyubashenko invariants depend on objects only through their simple composition factors. Using a quasi-Hopf algebra realization, the authors show that these invariants evaluate to the order of the first homology group raised to the power N on lens spaces and conjecture the same relation for all rational homology spheres. For N at least 2, they construct proper tensor ideals equipped with modified traces whose associated link invariants distinguish a continuous family of indecomposable yet reducible objects that share the same composition series.

Core claim

In the category C of N pairs of symplectic fermions, the Lyubashenko invariants obtained by taking the full category as ideal evaluate on lens spaces to |H1(L)|^N, while for N greater than or equal to 2 certain proper tensor ideals I admit modified traces whose link invariants detect indecomposable objects beyond their composition factors.

What carries the argument

The modified trace on a proper tensor ideal I inside the ribbon category C of symplectic fermions, realized via a quasi-Hopf algebra.

If this is right

Lyubashenko invariants on the full category are blind to non-trivial extensions between simple objects.
Proper tensor ideals yield strictly finer link invariants capable of separating objects with identical composition series.
The relation |H1(M)|^N is conjectured to hold for the Lyubashenko invariant of every rational homology sphere.
The construction supplies concrete examples of non-semisimple invariants that are computable via quasi-Hopf data.

Where Pith is reading between the lines

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

The same modified-trace construction may produce new numerical invariants for other families of non-semisimple ribbon categories arising in logarithmic conformal field theory.
If the conjecture holds, these invariants would give a uniform way to read off the order of homology from the category data alone for an entire class of three-manifolds.

Load-bearing premise

The quasi-Hopf algebra realization of the category correctly reproduces its ribbon structure, the chosen tensor ideal, and the modified trace.

What would settle it

An explicit computation of the Lyubashenko invariant on any single lens space L(p,q) that fails to equal |H1(L(p,q))|^N, or a rational homology sphere where the invariant differs from |H1|^N.

read the original abstract

We consider the link and three-manifold invariants from arXiv:1912.02063, which are defined in terms of certain non-semisimple finite ribbon categories $\mathcal{C}$ together with a choice of tensor ideal and modified trace. If the ideal is all of $\mathcal{C}$, these invariants agree with those defined by Lyubashenko in the 90's. We show that in that case the invariants depend on the objects labelling the link only through their simple composition factors, so that in order to detect non-trivial extensions one needs to pass to proper ideals. We compute examples of link and three-manifold invariants for $\mathcal{C}$ being the category of $N$ pairs of symplectic fermions. Using a quasi-Hopf algebra realisation of $\mathcal{C}$, we find that the Lyubashenko-invariant of a lens space is equal to the order of its first homology group to the power $N$, a relation we conjecture to hold for all rational homology spheres. For $N \ge 2$, $\mathcal{C}$ allows for tensor ideals $\mathcal{I}$ with a modified trace which are different from all of $\mathcal{C}$ and from the projective ideal. Using the theory of pull-back traces and symmetrised cointegrals, we show that the link invariant obtained from $\mathcal{I}$ can distinguish a continuum of indecomposable but reducible objects which all have the same composition series.

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.

Desk Editor's Note private letter to a colleague

read the letter

The paper computes an explicit Lyubashenko formula |H1|^N for lens spaces in the symplectic fermion category and shows proper tensor ideals can separate indecomposables with identical composition series. These are the two things worth knowing up front. Both results are absent from the 2019 framework paper they cite, so they count as new for this specific category. The authors carry out the lens-space evaluation via a quasi-Hopf realization and then conjecture the same relation for all rational homology spheres. For N at least 2 they also build tensor ideals different from the full category and the projective ideal, using pull-back traces and symmetrised cointegrals, and verify that the resulting link invariants distinguish a continuum of objects that share the same composition factors. The concrete evaluations and the ideal constructions are the parts that stand on their own. They give explicit data points that specialists can use or test directly. The soft spot is the dependence on the quasi-Hopf realization reproducing the ribbon structure and the modified trace. The abstract presents the lens-space formula as the output of that realization, but does not show an independent cross-check against known braiding or cointegral data on projectives. If that match is off, the numerical claim does not transfer to the abstract category. The general conjecture for all rational homology spheres is stated plainly as a conjecture, which is fine, but it remains open. The work is aimed at people already inside non-semisimple quantum topology who want concrete examples rather than another general theorem. A reader looking for verifiable computations or ideas about how proper ideals increase distinguishing power will get something usable. It is narrow, but the explicit results are the sort that can be checked by experts in the area. I would send it to peer review. The computations add concrete content to the literature even if the conjecture needs further work.

Referee Report

1 major / 0 minor

Summary. The paper studies link and three-manifold invariants defined via non-semisimple finite ribbon categories C together with a tensor ideal and modified trace, building on the framework of arXiv:1912.02063. It proves that when the ideal is all of C the invariants depend on objects only through their simple composition factors. For the category of N pairs of symplectic fermions it invokes a quasi-Hopf algebra realisation to compute that the Lyubashenko invariant of any lens space L equals |H_1(L)|^N and conjectures the same equality for all rational homology spheres. For N ≥ 2 it constructs proper tensor ideals I admitting modified traces (via pull-back traces and symmetrised cointegrals) under which the resulting link invariants distinguish a continuum of indecomposable but reducible objects that share the same composition series.

Significance. If the explicit computations hold, the work supplies concrete, falsifiable predictions (the lens-space formula and its conjectural extension) together with a method for producing modified traces on proper ideals that detect non-trivial extensions. These examples illustrate how non-semisimple invariants can capture strictly more information than their semisimple or full-ideal counterparts, advancing the program of constructing and evaluating invariants from non-semisimple ribbon categories.

major comments (1)

[Abstract] Abstract (sentence beginning 'Using a quasi-Hopf algebra realisation of C'): the headline equality for the Lyubashenko invariant of lens spaces is obtained by invoking the quasi-Hopf realisation to supply the ribbon structure, the tensor ideal, and the modified trace. The manuscript contains no independent verification that this realisation reproduces the braiding or the cointegral used for the modified trace on projectives of the abstract category C; without such a check the claimed equality does not transfer from the quasi-Hopf algebra to C.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract (sentence beginning 'Using a quasi-Hopf algebra realisation of C'): the headline equality for the Lyubashenko invariant of lens spaces is obtained by invoking the quasi-Hopf realisation to supply the ribbon structure, the tensor ideal, and the modified trace. The manuscript contains no independent verification that this realisation reproduces the braiding or the cointegral used for the modified trace on projectives of the abstract category C; without such a check the claimed equality does not transfer from the quasi-Hopf algebra to C.

Authors: We agree that an explicit verification or reference confirming compatibility of the braiding and cointegral between the abstract category C and its quasi-Hopf realisation would strengthen the transfer of the lens-space formula. In the revised manuscript we will add a short paragraph (with appropriate citations to the literature on the quasi-Hopf realisation of symplectic-fermion categories) establishing that the ribbon structure and the relevant symmetrised cointegral on projectives coincide. revision: yes

Circularity Check

0 steps flagged

Quasi-Hopf realisation of C must faithfully reproduce ribbon structure and modified trace for the lens-space computation to hold

full rationale

The paper builds on the general framework of arXiv:1912.02063 but performs independent computations for the symplectic-fermion category; no result reduces by the paper's own equations to a fitted parameter defined in the same work. The central claim (Lyubashenko invariant of lens space equals |H_1(L)|^N) is obtained via explicit evaluation in the quasi-Hopf model, which is presented as a faithful realisation rather than a self-referential definition or fit. No load-bearing step collapses to a self-citation chain or renaming; the derivation remains self-contained against the external category data.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard axioms of finite ribbon categories, the existence of modified traces on tensor ideals, and the correctness of the quasi-Hopf algebra model for the symplectic-fermion category; no new free parameters or invented entities are introduced.

axioms (2)

domain assumption C is a non-semisimple finite ribbon category equipped with a tensor ideal and modified trace whose invariants are defined as in arXiv:1912.02063.
This is the foundational setup invoked throughout the abstract.
domain assumption The quasi-Hopf algebra realisation faithfully represents the category of N pairs of symplectic fermions and its modified traces.
Invoked explicitly when computing the lens-space invariants.

pith-pipeline@v0.9.0 · 5790 in / 1509 out tokens · 63270 ms · 2026-05-24T08:08:04.598014+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Using a quasi-Hopf algebra realisation of C, we find that the Lyubashenko-invariant of a lens space is equal to the order of its first homology group to the power N
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

modified trace on tensor ideals

What do these tags mean?

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