Related papers: A construction of a quotient tensor category

A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations…

In the first part of this note, we introduce Tietze transformations for $L$-presentations. These transformations enable us to generalize Tietze's theorem for finitely presented groups to invariantly finitely $L$-presented groups. Moreover,…

We study abelian envelopes for pseudo-tensor categories with the property that every object in the envelope is a quotient of an object in the pseudo-tensor category. We establish an intrinsic criterion on pseudo-tensor categories for the…

We show that the rigid C*-tensor categories of finite dimensional type 1 unitary representations of the quantum groups $U_{q}(\mathfrak{g}_{2})$ corresponding to the exceptional Lie group $G_2$ for positive $q\ne 1$ have property (T).

We introduce a symmetric monoidal category of modules over the direct limit queer superalgebra $\q (\infty)$. The category can be defined in two equivalent ways with the aid of the large annihilator condition. Tensor products of copies of…

We give a pedagogical survey of those aspects of the abstract representation theory of quantum groups which are related to the Tannaka-Krein reconstruction problem. We show that every concrete semisimple tensor *-category with conjugates is…

We introduce the concept of a pseudo-cluster tilting subcategory from the viewpoint of the fact that the quotient of an exact category by a cluster tilting subcategory is an abelian category. We prove that the quotients in the case of…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…

Given a semi-simple pre-Tannakian category over a finite field, we show that (a slight modification of) its linearization over a field of characteristic 0 is also semi-simple and pre-Tannakian. The key input is a result of Kuhn on the…

We show that if a (not necessarily algebraic) triangulated category T contains an admissible hereditary abelian subcategory H, then we can lift the inclusion of H into T to a fully faithful triangle functor from the whole of the bounded…

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…

We define a property for restricted Lie algebras in terms of cohomological support and tensor-triangular geometry of their categories of representations. By Tannakian reconstruction, the different symmetric tensor category structures on the…

We classify semisimple module categories over the tensor category of representations of quantum SL(2) extending previous results to the roots of unity and positive characteristic cases.

The Tate conjecture for divisors on varieties over number fields is equivalent to finiteness of $\ell$-primary torsion in the Brauer group. We show that this finiteness is actually uniform in one-dimensional families for varieties that…

For a finite group $G$ and an arbitrary commutative ring $R$, Brou\'e has placed a Frobenius exact structure on the category of finitely generated $RG$-modules by taking the exact sequences to be those that split upon restriction to the…

Let $A$ be an abelian variety over a number field $K$ with good reduction outside a finite set of primes $S$. We show that if the $\ell$-torsion subgroup schemes $A[\ell^n]$ lie in a certain category of group schemes, then $A[\ell^n]$ does…

The S-fundamental group scheme is the group scheme corresponding to the Tannaka category of numerically flat vector bundles. We use determinant line bundles to prove that the S-fundamental group of a product of two complete varieties is a…

We develop a unified representation theory for the categories of finite subsets and relation-preserving maps of highly homogeneous relational structures classified by Cameron. For any commutative coefficient ring $k$, we extend the…

For a given inverse semigroup, one can associate an \'etale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated \'etale groupoids. In this paper, we focus on…