On a family of non-unitarizable ribbon categories

We consider several families of categories. The first are quotients of H. Andersen’s tilting module categories for quantum groups of Lie type B at odd roots of unity. The second consists of categories of type BC constructed from idempotents in BMW-algebras. Our main result is to show that these families coincide as braided tensor categories using a recent theorem of Tuba and Wenzl. By appealing to similar results of Blanchet and Beliakova we obtain another interesting equivalence with these two families of categories and the quantum group categories of Lie type C at odd roots of unity. The morphism spaces in these categories can be equipped with a Hermitian form, and we are able to show that these categories are never unitary, and no braided tensor category sharing the Grothendieck semiring common to these families is unitarizable.     

Module categories over finite pointed tensor categories

We study exact module categories over the representation categories of finite-dimensional quasi-Hopf algebras. As a consequence, we classify exact module categories over some families of pointed tensor categories with cyclic group of invertible objets of order p, where p is a prime number.     

Lifting and Restricting Recollement Data

We study the problem of lifting and restricting TTF triples (equivalently, recollement data) for a certain wide type of triangulated categories. This, together with the parametrizations of TTF triples given in Nicolás and Saorín (Parametrizing recollement data for triangulated categories. To appear in J. Algebra), allows us to show that many well-known recollements of right bounded derived categories of algebras are restrictions of recollements in the unbounded level, and leads to criteria to detect recollements of general right bounded derived categories. In particular, we give in Theorem 1 necessary and sufficient conditions for a right bounded derived category of a differential graded (=dg) category to be a recollement of right bounded derived categories of dg categories. Theorem 2 considers the case of dg categories with cohomology concentrated in non-negative degrees. In Theorem 3 we consider the particular case in which those dg categories are just ordinary algebras.     

Clifford theory for graded fusion categories

We develop a categorical analogue of Clifford theory for strongly graded rings over graded fusion categories. We describe module categories over a fusion category graded by a group G as induced from module categories over fusion subcategories associated with the subgroups of G. We define invariant C _e -module categories and extensions of C _e -module categories. The construction of module categories over C is reduced to determining invariant module categories for subgroups of G and the indecomposable extensions of these module categories. We associate a G-crossed product fusion category to each G-invariant C _e -module category and give a criterion for a graded fusion category to be a group-theoretical fusion category. We give necessary and sufficient conditions for an indecomposable module category to be extendable.     

A note on K-theory and triangulated categories

We provide an example of two closed model categories having equivalent homotopy categories but different Waldhausen K-theories. We also show that there cannot exist a functor from small triangulated categories to spaces which recovers Quillen’s K-theory for exact categories and which satisfies localization. Oblatum 28-V-2001 & 7-III-2002?Published online: 17 June 2002     

Transfer of splitness with respect to a fully invariant short exact sequence in abelian categories

Abstract

We study the transfer via functors between abelian categories of the (dual) relative splitness of objects with respect to a fully invariant short exact sequence. We mainly consider fully faithful functors and adjoint pairs of functors. We deduce applications to Grothendieck categories, (graded) module categories and comodule categories.     

Gorenstein global dimension of recollements of abelian categories

Abstract

In this article, we investigate the Gorenstein global dimension with respect to the recollements of abelian categories. With the invariants spli and silp of the categories, we give some upper bounds of Gorenstein global dimensions of the categories involved in a recollement of abelian categories. We apply our results to some rings and artin algebras, especially to the triangular matrix artin algebras.     

Model-theoretic Imaginaries and Coherent Sheaves

We show the equivalence of categories of model-theoretic imaginaries (of various kinds) with categories of “small” (finitely generated, finitely presented, coherent) functors. We do this first for certain locally finitely presented categories and then, by localising, for much more general “definable categories” (categories of models of coherent theories). We also investigate the corresponding notion of interpretation.     

ESSENTIALLY ALGEBRAIC CATEGORIES

Abstract

Various familiar concepts of algebraic categories (such as primitive and quasiprimitive categories of algebras as well as varietal, monadic, regular monadic, and regular categories) are contrasted with each other and with the new notion of essentially algebraic categories.

The new notion has pleasant features and covers several cases of an apparently algebraic nature, which are not covered by any of the older concepts.     

Homological Finiteness Conditions for Groups,Monoids, and Algebras

Let ? be an additive category and 𝒞 a full subcategory with split idempotents, and closed under isomorphic images and finite direct sums. We give conditions on ? and 𝒞 implying that ? embeds into an abelian category, so that the objects of 𝒞 turn into injective objects. This construction generalizes the embedding of exactly definable categories into locally coherent categories, while the dual construction generalizes the embedding of finitely accessible categories into Grothendieck categories with a family of finitely generated projective generators. As applications, we characterize exactly definable categories through intrinsic properties and study those locally coherent categories whose fp-injective objects form a Grothendieck category.     

Krull-Schmidt decompositions for thick subcategories

Following H. Krause [Decomposing thick subcategories of the stable module category, Math. Ann. 313 (1) (1999) 95-108], we prove Krull-Schmidt type decomposition theorems for thick subcategories of various triangulated categories including the derived categories of rings, Noetherian stable homotopy categories, stable module categories over Hopf algebras, and the stable homotopy category of spectra. In all these categories, it is shown that the thick ideals of small objects decompose uniquely into indecomposable thick ideals. We also discuss some consequences of these decomposition results. In particular, it is shown that all these decompositions respect K-theory.     

Nilpotent fusion categories

In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series of C. For fusion categories with commutative Grothendieck rings (e.g., braided fusion categories) we also introduce the lower central series. We study arithmetic and structural properties of nilpotent fusion categories, and apply our theory to modular categories and to semisimple Hopf algebras. In particular, we show that in the modular case the two central series are centralizers of each other in the sense of M. Müger.     

Weakly group-theoretical and solvable fusion categories

We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups – weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension, and all known fusion categories of integer dimension are weakly group-theoretical. Our main results are that a weakly group-theoretical category C has the strong Frobenius property (i.e., the dimension of any simple object in an indecomposable C-module category divides the dimension of C), and that any fusion category whose dimension has at most two prime divisors is solvable (a categorical analog of Burnside's theorem for finite groups). This has powerful applications to classification of fusion categories and semsisimple Hopf algebras of a given dimension. In particular, we show that any fusion category of integer dimension <84 is weakly group-theoretical (i.e. comes from finite group theory), and give a full classification of semisimple Hopf algebras of dimensions pqr and pq², where p,q,r are distinct primes.     

On the tensor product of well generated dg categories

We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [32]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced derived Gabriel-Popescu theorem [27]. Given a regular cardinal α, we define and construct a tensor product of homotopically α-cocomplete dg categories and prove that the well generated tensor product of α-continuous derived dg categories (in the sense of [27]) is the α-continuous dg derived category of the homotopically α-cocomplete tensor product. In particular, this shows that the tensor product of well generated dg categories preserves α-compactness.     

Separable <Emphasis Type="Italic">K</Emphasis>-linear categories

We define and investigate separable K-linear categories. We show that such a category C is locally finite and that every left C-module is projective. We apply our main results to characterize separable linear categories that are spanned by groupoids or delta categories.     

A Skew-Duoidal Eckmann-Hilton Argument and Quantum Categories

A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories were originally defined as monoidal comonads on endomorphism objects in a particular monoidal bicategory ?. Then they were shown also to be skew monoidal structures (with an appropriate unit) on objects in ?. Now we see in what kind of ? quantum categories are merely monads.     

Möbius Categories as Reduced Standard Division Categories of Combinatorial Inverse Monoids

The aim of this paper is to characterize inverse monoids such that their reduced standard division categories C_F(S) are Möbius categories and special Möbius categories. We give also a general technique for the evaluation of the Möbius function of C_F(S).     

On local categories of finite groups

Let G be a finite group. Over any finite G-poset ${\mathcal{P}}$ we may define a transporter category as the corresponding Grothendieck construction. Transporter categories are generalizations of subgroups of G, and we shall demonstrate the finite generation of their cohomology. We record a generalized Frobenius reciprocity and use it to examine some important quotient categories of transporter categories, customarily called local categories.     

On sheaves in finite group representations

Given a general finite group G, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we explicitly compute their sheaf categories via sheafification. This enables us to identify G-representations with various fixed-point sheaves. As a consequence, it provides an intrinsic new proof to the equivalence of M. Artin between the category of sheaves on the orbit category and that of group representations.