Modified Traces and the Nakayama Functor

We organize the modified trace theory with the use of the Nakayama functor of finite abelian categories. For a linear right exact functor Σ on a finite abelian category ${\mathscr{M}}$ M , we introduce the notion of a Σ-twisted trace on the class $\text {Proj}({\mathscr{M}})$ Proj ( M ) of projective objects of ${\mathscr{M}}$ M . In our framework, there is a one-to-one correspondence between the set of Σ-twisted traces on $\text {Proj}({\mathscr{M}})$ Proj ( M ) and the set of natural transformations from Σ to the Nakayama functor of ${\mathscr{M}}$ M . Non-degeneracy and compatibility with the module structure (when ${\mathscr{M}}$ M is a module category over a finite tensor category) of a Σ-twisted trace can be written down in terms of the corresponding natural transformation. As an application of this principal, we give existence and uniqueness criteria for modified traces. In particular, a unimodular pivotal finite tensor category admits a non-zero two-sided modified trace if and only if it is spherical. Also, a ribbon finite tensor category admits such a trace if and only if it is unimodular.

Decomposable Specht Modules Indexed by Bihooks II

Previously, the last two authors found large families of decomposable Specht modules labelled by bihooks, over the Iwahori–Hecke algebra of type B. In most cases we conjectured that these were the only decomposable Specht modules labelled by bihooks, proving it in some instances. Inspired by a recent semisimplicity result of Bowman, Bessenrodt and the third author, we look back at our decomposable Specht modules and show that they are often either semisimple, or very close to being so. We obtain their exact structure and composition factors in these cases. In the process, we determine the graded decomposition numbers for almost all of the decomposable Specht modules indexed by bihooks.

Ring Constructions and Generation of the Unbounded Derived Module Category

We consider the smallest triangulated subcategory of the unbounded derived module category of a ring that contains the injective modules and is closed under set indexed coproducts. If this subcategory is the entire derived category, then we say that injectives generate for the ring. In particular, we ask whether, if injectives generate for a collection of rings, do injectives generate for related ring constructions, and vice versa. We provide sufficient conditions for this statement to hold for various constructions including recollements, ring extensions and module category equivalences.

Varieties of Null-Filiform Leibniz Algebras Under the Action of Hopf Algebras

Let L be an n-dimensional null-filiform Leibniz algebra over a field K. We consider a finite dimensional cocommutative Hopf algebra or a Taft algebra H and we describe the H-actions on L. Moreover we provide the set of H-identities and the description of the Sn-module structure of the relatively free algebra of L.