2025/05/07 by Coulembier, Kevin, Sherman, Alexander · 1 citation
#Algebraic Geometry (math.AG) #FOS: Mathematics #Representation Theory (math.RT)
paper · doi:10.48550/arxiv.2505.04848
Let \mathscrC be a symmetric tensor category of moderate growth, and let H\subseteqG be algebraic groups in \mathscrC. We prove that the homogeneous space G/H exists and is of finite type when \mathscrC 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 and (G/H)0 need not be the same, they are close enough, so that G/H is quasi-affine/affine/proper if and only if G0/H0 is.