Related papers: A construction of a quotient tensor category

In the paper we obtain the existence criterion of a Carter subgroup in a finite group in terms of its normal series. An example showing that the criterion cannot be reformulated in terms of composition factors is given.

We introduce a generalization of the notion of a negligible morphism and study the associated tensor ideals and thick ideals. These ideals are defined by considering deformations of a given monoidal category $\mathcal{C}$ over a local ring…

Let $\mathcal A$ be a Hom-finite abelian category with enough projectives. In this note, we show that any covariantly finite $\tau$-rigid subcategory is contained in a support $\tau$-tilting subcategory. We also show that support…

Given a semisimple stable autonomous tensor category over a field $K$, to any group presentation with finite number of generators we associate an element $Q(P)\in K$ invariant under the Andrews-Curtis moves. We show that in fact, this is…

We describe an implementation of the biset category of finite groups as a tower of standard categorical constructions, all of which are implemented in the software projec t CAP for algorithmic category theory. In particular, we describe the…

Let $V$ be a finite-dimensional vector space over the complex numbers and let $G\leq \operatorname{SL}(V)$ be a finite group. We describe the class group of a minimal model (that is, $\mathbb Q$-factorial terminalization) of the linear…

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…

We define groupoidal and $(n+k)$-truncated $n$-quasi-categories, which are the translation to the world of $n$-quasi-categories of groupoidal and truncated $(\infty, n)$-$\Theta$-spaces defined by Rezk. We show that these objects are the…

We study the spectrum of closed subcategories in a quasi-scheme, i.e. a Grothendieck category $X$. The closed subcategories are the direct analogs of closed subschemes in the commutative case, in the sense that when $X$ is the category of…

Tannaka's Theorem states that a linear algebraic group G is determined by the category of finite dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category…

Let Q be a finite quiver without oriented cycles, and let k be an algebraically closed field. The main result in this paper is that there is a natural bijection between the elements in the associated Coxeter group W_Q and the cofinite…

In this paper, we compute triangular spectrum (as defined by P. Balmer) of two classes of tensor triangulated categories which are quite common in algebraic geometry. One of them is the derived category of $G$-equivariant sheaves on a…

One possible way to fix partly a ``canonical definition'' of $\tau$-functions beyond the conventional KP/Toda framework could be to postulate that evolution operators are {\it always} group elements. We discuss implications of this…

In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal…

Let X be a coherent configuration associated with a transitive group G. In terms of the intersection numbers of X, a necessary condition for the point stabilizer of G to be a TI-subgroup, is established. Furthermore, under this condition, X…

We define a notion of super-transitivity for \`etale algebra objects $A \in \mathcal{C}(\mathfrak{sl}_N, k)$. This definition is a direct analogue of the notion of super-transitivity for subfactors, and measures at what depth the first…

Let $\rG$ be a reductive group over a commutative ring $k$. In this article, we prove that the adjoint quotient $\adqG$ is stable under base change. Moreover, if $\rG$ has a maximal torus $\rT$, then the adjoint quotient of the torus $\rT$…

We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…

In this paper, we try to answer the following question: given a modular tensor category $\A$ with an action of a compact group $G$, is it possible to describe in a suitable sense the ``quotient'' category $\A/G$? We give a full answer in…

We put cluster tilting in ageneral framework by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal one-orthogonal subcategory) carries an abelian structure. These abelian quotients turn out…