English

Homogeneous spaces in tensor categories

Algebraic Geometry 2025-05-28 v2 Representation Theory

Abstract

Let C\mathscr{C} be a symmetric tensor category of moderate growth, and let HG\mathcal{H}\subseteq\mathcal{G} be algebraic groups in C\mathscr{C}. We prove that the homogeneous space G/H\mathcal{G}/\mathcal{H} exists and is of finite type when C\mathscr{C} 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 G0/H0\mathcal{G}_0/\mathcal{H}_0 and (G/H)0(\mathcal{G}/\mathcal{H})_0 need not be the same, they are close enough, so that G/H\mathcal{G}/\mathcal{H} is quasi-affine/affine/proper if and only if G0/H0\mathcal{G}_0/\mathcal{H}_0 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

R2 v1 2026-06-28T23:25:08.573Z