e0f79836977d0574.tex
1: \begin{abstract}
2: We consider the link and three-manifold invariants 
3: in~\cite{DGGPR}, which are defined
4: in terms of certain non-semisimple finite ribbon categories~$\cat$ together with a choice of tensor ideal and modified trace.
5: If the ideal is all of~$\cat$, these invariants agree with those defined by Lyubashenko in the 90's. 
6: We show that in that case the invariants
7: depend on the objects labelling the link only through their simple composition factors, 
8:     so that
9: in order to detect non-trivial extensions one needs to pass to proper ideals. 
10: 
11: We compute examples of link and three-manifold invariants for $\cat$ being the category of $N$ pairs of symplectic fermions.
12: Using a quasi-Hopf algebra realisation of $\cat$,
13: 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.
14: For $N \ge 2$, $\cat$ allows for tensor ideals~$\tensIdeal$ with a modified trace which are different from all of $\cat$ and from the projective ideal.
15: Using the theory of pull-back traces and symmetrised cointegrals,
16: we show that the link invariant obtained from $\tensIdeal$ can distinguish a 
17: continuum of indecomposable but reducible objects which all have the same composition series.
18: \end{abstract}
19: