Projective objects and the modified trace in factorisable finite tensor categories

For ${\mathcal{C}}$ a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show:(1)${\mathcal{C}}$ always contains a simple projective object;(2)if ${\mathcal{C}}$ is in addition ribbon, the internal characters of projective modules span a submodule for the projective $\text{SL}(2,\mathbb{Z})$-action;(3)the action of the Grothendieck ring of ${\mathcal{C}}$ on the span of internal characters of projective objects can be diagonalised;(4)the linearised Grothendieck ring of ${\mathcal{C}}$ is semisimple if and only if ${\mathcal{C}}$ is semisimple.Results (1)–(3) remain true in positive characteristic under an extra assumption. Result (1) implies that the tensor ideal of projective objects in ${\mathcal{C}}$ carries a unique-up-to-scalars modified trace function. We express the modified trace of open Hopf links coloured by projectives in terms of $S$-matrix elements. Furthermore, we give a Verlinde-like formula for the decomposition of tensor products of projective objects which uses only the modular $S$-transformation restricted to internal characters of projective objects. We compute the modified trace in the example of symplectic fermion categories, and we illustrate how the Verlinde-like formula for projective objects can be applied there.

The Cotorsion Pair Cogenerated by the Subcategory of Stable Functors in ((R-mod)op, Ab)

Let R be an associative ring with identity. Denote by ((R-mod)op, Ab) the category consisting of contravariant functors from the category of finitely presented left R-modules R-mod to the category of abelian groups Ab. An object in ((R-mod)op, Ab) is said to be a stable functor if it vanishes on the regular module R. Let [Formula: see text] be the subcategory of stable functors. There are two torsion pairs [Formula: see text] and [Formula: see text], where ℱ1 is the subcategory of ((R-mod)op, Ab) consisting of functors with flat dimension at most 1. In this article, let R be a ring of weakly global dimension at most 1, and assume R satisfies that for any exact sequence 0 → M → N → K → 0, if M and N are pure injective, then K is also pure injective. We calculate the cotorsion pair [Formula: see text] cogenerated by [Formula: see text] clearly. It is shown that [Formula: see text] if and only if G/t1(G) is a projective object in [Formula: see text], i.e., G/t1(G) = (−,M) for some R-module M; and [Formula: see text] if and only if G/t2(G) is of the form (−, E), where E is an injective R-module.

From Jantzen to Andersen filtration via tilting equivalence

The space of homomorphisms between a projective object and a Verma module in category $\mathcal O$ inherits an induced filtration from the Jantzen filtration on the Verma module. On the other hand there is the Andersen filtration on the space of homomorphisms between a Verma module and a tilting module. Arkhipov's tilting functor, a contravariant self-equivalence of a certain subcategory of $\mathcal O$, which maps projective to tilting modules induces an isomorphism of these kinds of Hom-spaces. We show that this equivalence identifies both filtrations.