A construction of a quotient tensor category.

Phung Ho Hai

Let f :G→A be a surjective homomorphism of transitive groupoid schemesand let L denote the kernel of f . The exact sequence of groupoid schemes 1 →L→G→A→1 induces a sequence of functors between the categoriesof finite representations of these groupoid schemes Rep f (A)→Rep f(G)→Rep f(L) . We show that the category Rep f (L) is a quotient category of Rep f (G) by Rep f (A) in an appropriate sense. We also generalize this setting tothe framework where the tensor categories are not necessarily Tannakacategories (i.e. not of the form Rep f (G) for some groupoid scheme G ), where we show under certain assumption the uniqueness of the quotienttensor category.