Related papers: A construction of a quotient tensor category
A Tannakian category is an abelian tensor category equipped with a fiber functor and additional structures which ensure that it is equivalent to the category of representations of some affine groupoid scheme acting on the spectrum of a…
Starting from an abelian category A such that every object has only finitely many subobjects we construct a semisimple tensor category T. We show that T interpolates the categories Rep(Aut(p),K) where p runs through certain projective…
We study abelian quotient categories A=T/J, where T is a triangulated category and J is an ideal of T. Under the assumption that the quotient functor is cohomological we show that it is representable and give an explicit description of the…
We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give…
We extend the calculus of relations to embed a regular category A into a family of pseudo-abelian tensor categories T(A,d) depending on a degree function d. Under the condition that all objects of A have only finitely many subobjects, our…
We classify the "quotients" of a tannakian category in which the objects of a tannakian subcategory become trivial, and we examine the properties of such quotient categories.
We consider semisimple super Tannakian categories generated by an object whose symmetric or alternating tensor square is simple up to trivial summands. Using representation theory, we provide a criterion to identify the corresponding…
In this paper we define the notions of normal subcrossed module and quotient crossed module within groups with operations; and using the equivalence of crossed modules over groups with operations and internal groupoids we prove how…
For each finite semisimple tensor category, we associate a quantum group (face algebra) whose comodule category is equivalent to the original one, in a simple natural manner. To do this, we also give a generalization of the Tannaka-Krein…
We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context.…
We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…
A new proof of the classification for tensor ideal thick subcategories of the bounded derived category, and the stable category, of modular representations of a finite group is obtained. The arguments apply more generally to yield a…
We study the quotient of $\mathcal{T}_n = Rep(GL(n|n))$ by the tensor ideal of negligible morphisms. If we consider the full subcategory $\mathcal{T}_n^+$ of $\mathcal{T}_n$ of indecomposable summands in iterated tensor products of…
We explore the notion of representation of an affine extension of an abelian variety -- such an extension is a faithfully flat affine morphism of $\Bbbk$-group schemes $q:G\to A$, where $A$ is an abelian variety. We characterize the…
For each compact, simple, simply-connected Lie group and each integer level we construct a modular tensor category from a quotient of a certain subcategory of the category of representations of the corresponding quantum group. We determine…
We study finite quasi-quantum groups in their quiver setting developed recently by the first author in arXiv:0902.1620 and arXiv:0903.1472. We obtain a classification of finite-dimensional pointed Majid algebras of finite corepresentation…
Given a relative faithfully flat pointed scheme over the spectrum of a discrete valuation ring $X \to S$ this paper is motivated by the study of the natural morphism from the fundamental group scheme of the generic fiber $X_\eta $ to the…
We provide conditions for a category with a fiber functor to be equivalent to the category of representations of a linear differential algebraic group. This generalizes the notion of a neutral Tannakian category used to characterize the…
We consider the class of all commutative reduced rings for which there exists a finite subset T of A such that all projections on quotients by prime ideals of A are surjective when restricted to T. A complete structure theorem is given for…
In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda…