Homogeneous spaces in tensor categories
Algebraic Geometry
2025-05-28 v2 Representation Theory
Abstract
Let be a symmetric tensor category of moderate growth, and let be algebraic groups in . We prove that the homogeneous space exists and is of finite type when satisfies (GR) and (MN1-2), which are conjecturally equivalent to incompressibility. A key tool is the introduction of a Frobenius kernel of an group scheme. We further show that while and need not be the same, they are close enough, so that is quasi-affine/affine/proper if and only if is.
Keywords
Cite
@article{arxiv.2505.04848,
title = {Homogeneous spaces in tensor categories},
author = {Kevin Coulembier and Alexander Sherman},
journal= {arXiv preprint arXiv:2505.04848},
year = {2025}
}
Comments
Fixed an error pointed out by Akira Masuoka in Section 9.1. Replaced the previous argument with references to existing proofs in the literature