Related papers: Exact sequences of Frobenius tensor categories

We call a tensor functor $F:\mathcal{C}\to\mathcal{D}$ between finite tensor categories $\otimes$-Frobenius if its left and right adjoints are isomorphic as $\mathcal{C}$-bimodule functors. We give several characterizations of this notion…

We introduce the notions of normal tensor functor and exact sequence of tensor categories. We show that exact sequences of tensor categories generalize strictly exact sequences of Hopf algebras as defined by Schneider, and in particular,…

We generalize the definition of an exact sequence of tensor categories due to Brugui\`eres and Natale, and introduce a new notion of an exact sequence of (finite) tensor categories with respect to a module category. We give three…

We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group…

Given a complete, cocomplete category $\mathcal C$, we investigate the problem of describing those small categories $I$ such that the diagonal functor $\Delta:\mathcal C\to {\rm Functors}(I,\mathcal C)$ is a Frobenius functor. This…

This paper consists of three results on Frobenius categories: (1) we give sufficient conditions on when a factor category of a Frobenius category is still a Frobenius category; (2) we show that any Frobenius category is equivalent to an…

We develop a theory of Frobenius functors for symmetric tensor categories (STC) $\mathcal{C}$ over a field $\bf k$ of characteristic $p$, and give its applications to classification of such categories. Namely, we define a twisted-linear…

We present an overview of the notions of exact sequences of Hopf algebras and tensor categories and their connections. We also present some examples illustrating their main features; these include simple fusion categories and a natural…

We develop theory and examples of monoidal functors on tensor categories in positive characteristic that generalise the Frobenius functor from \cite{Os, EOf, Tann}. The latter has proved to be a powerful tool in the ongoing classification…

We extend \cite{G} to the nonsemisimple case. We define and study exact factorizations $\B=\A\bullet \C$ of a finite tensor category $\B$ into a product of two tensor subcategories $\A,\C\subset \B$, and relate exact factorizations of…

Let $\Ascr,\Bscr$ be exact categories with $\Ascr$ karoubian and $M$ be an exact functor. Under suitable adjonction hypotheses for $M$, we are able to show that the direct factors of the objects of $\Ascr$ of the form $MY$ with $Y \in…

We describe equivalence classes of exact indecomposable module categories over a finite graded tensor category. When applied to a pointed fusion category, our results coincide with the ones obtained in [S. Natale, On the equivalence of…

We classify certain subcategories in quotients of exact categories. In particular, we classify the triangulated and thick subcategories of an algebraic triangulated category, i.e. the stable category of a Frobenius category.

We explain why the naive definition of a natural exact category structure on complete, separated topological vector spaces with linear topology fails. In particular, contrary to arXiv:0711.2527, the category of such topological vector…

The purpose of this article is to study the existence of Deligne's tensor product of abelian categories by comparing it with the well-known ten- sor product of finitely cocomplete categories. The main result states that the former exists…

We introduce continuous Frobenius categories. These are topological categories which are constructed using representations of the circle over a discrete valuation ring. We show that they are Krull-Schmidt with one indecomposable object for…

For an exact dg category $\mathcal A$, we introduce its bounded dg derived category $\mathcal{D}^b_{dg}(\mathcal A)$ and establish the universal exact morphism from $\mathcal A$ to $\mathcal{D}^b_{dg}(\mathcal A)$. We prove that the dg…

We establish relations between Gorenstein projective precovers linked by Frobenius functors. This is motivated by an open problem that how to find general classes of rings for which modules have Gorenstein projective precovers. It is shown…

We introduce the notion of a quasi-Frobenius algebra in a finite tensor category $\mathcal{C}$ and give equivalent conditions for an algebra in $\mathcal{C}$ to be quasi-Frobenius. A quasi-Frobenius algebra in $\mathcal{C}$ is not…

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…