Homogeneous spaces in tensor categories

Resumo Técnico: Espaços Homogêneos em Categorias Tensoriais

Enunciado do Problema
O artigo aborda a existência e as propriedades estruturais de espaços homogêneos $G/H$ (esquemas quociente) no contexto de categorias tensoriais simétricas $\mathcal{C}$ de crescimento moderado. Embora a teoria de representação de esquemas de grupos afins em característica zero seja bem compreendida via o teorema de Deligne (que identifica tais categorias com representações de supergrupos), a teoria estrutural na característica positiva $p > 0$ permanece incompleta. Especificamente, conjectura-se que categorias incompressíveis em característica $p$ são subcategorias de $\text{Ver}_{p^\infty}$. Uma lacuna fundamental na teoria geométrica dessas categorias é a existência rigorosa de esquemas quociente $G/H$ para grupos algébricos $G$ e subgrupos $H \leq G$. Sem a existência estabelecida de esquemas quociente, ferramentas representacionais chave, como funtores de indução e o estudo de feixes equivariantes, carecem de uma base geométrica sólida.

Metodologia
Os autores desenvolvem uma teoria de esquemas para categorias tensoriais que satisfazem duas condições técnicas específicas: Redutibilidade Geométrica (GR) e Nilpotência Máxima (MN). Estas condições são postas como caracterizações intrínsecas de categorias incompressíveis (ex: $\text{Ver}_{p^\infty}$).

A metodologia baseia-se fortemente na interação entre o "corpo" do grupo (o subjacente grupo algébrico clássico) e estruturas infinitesimais, utilizando a morfismo de Frobenius disponível apenas em característica positiva. As etapas metodológicas principais incluem:

1. Torções de Frobenius e Núcleos: Os autores definem a torção de Frobenius $A^{[1]}$ para álgebras em $\mathcal{C}$ e os núcleos de Frobenius correspondentes $G_r$ para grupos algébricos. Um resultado estrutural central (Proposição 4.19) estabelece que, para um $r$ suficientemente grande, o quociente $G/G_r$ é um grupo algébrico "puramente par" (um grupo esquema ordinário sobre $k$), e $G_r$ é um grupo esquema infinitesimal.
2. Redução aos Casos Clássico e Infinitesimal: A existência de $G/H$ é reduzida a dois casos:
   • O caso clássico: Quocientes dos grupos "corpo" $G_0/H_0$ na categoria de espaços vetoriais ($\text{Vec}$).
   • O caso infinitesimal: Quocientes por subgrupos infinitesimais, que são mostrados como existentes e afins.
3. Construção Teórica de Feixes: Os autores utilizam a teoria de faisceaux (feixes na topologia fppf) para construir o quociente. Eles demonstram que o quociente na categoria de esquemas existe se puder ser construído localmente e colado, aproveitando o fato de que o mapa do grupo para o quociente é fielmente plano e afim sob condições específicas.
4. Álgebras de Distribuição: O artigo emprega álgebras de distribuição ($\Gamma_G$) e suas filtrações para analisar a estrutura de grupos algébricos, mostrando como $\Gamma_G$ é gerada pelas distribuições do corpo $G_0$ e pelos núcleos de Frobenius.

Principais Contribuições e Resultados

• Existência de Espaços Homogêneos: O principal resultado (Teorema 7.5) prova que, para um grupo algébrico $G$ e um subgrupo $H$ em uma categoria tensorial $\mathcal{C}$ satisfazendo (GR) e (MN), o espaço homogêneo $G/H$ existe como um esquema de tipo finito. Além disso, $G/H$ é separado.
• Relação com o "Corpo": O artigo estabelece uma relação precisa entre o quociente $G/H$ e o quociente dos grupos clássicos subjacentes $G_0/H_0$.
  • Existe um mergulho fechado natural $G_0/H_0 \hookrightarrow (G/H)_0$ que é um homeomorfismo universal (Teorema 7.5).
  • Embora a igualdade $(G/H)_0 = G_0/H_0$ ocorra no cenário super (onde $\mathcal{C} \subseteq \text{Ver}_p$), ela pode falhar em categorias incompressíveis mais gerais (Exemplo 6.1). No entanto, as propriedades geométricas (afim, quase-afim, próprio) de $G/H$ são equivalentes às de $G_0/H_0$ (Teorema 7.5).
• Estrutura de Quocientes em $\text{Ver}_p$: Para o caso específico $\mathcal{C} = \text{Ver}_p$, os autores fornecem uma construção local explícita de $G/H$. Eles mostram que $(G/H)_0 = G_0/H_0$ exatamente, e o esquema é localmente isomorfo ao espectro de uma álgebra simétrica sobre um fibrado vetorial específico derivado da filtração da álgebra de Lie (Teorema 9.9).
• Quocientes Afins e Injetividade: Na Seção 8, o artigo caracteriza quando quocientes afins existem. Se $\mathcal{C}$ é semissimples, $G/H$ é afim se, e somente se, o anel de coordenadas $k[G]$ é um comódulo injetivo de $k[H]$ (Teorema 8.1). Isso generaliza resultados clássicos de Schneider para o contexto de categorias tensoriais.
• Feixes Equivariantes e Indução: A existência de $G/H$ permite a definição do funtor de indução $\text{Ind}_H^G$. O artigo prova uma equivalência entre a categoria de feixes quase-coerentes $H$-equivariantes em $G$ e feixes quase-coerentes em $G/H$ (Proposição 7.11). Além disso, estabelece um isomorfismo entre os funtores de indução derivados e a cohomologia de feixes de $G/H$ (Lema 7.13).

Significância e Alegações
O artigo alega resolver a questão fundamental de se espaços homogêneos existem como esquemas nas categorias tensoriais relevantes, permitindo assim a aplicação de técnicas geométricas clássicas à teoria de representação de grupos nestas categorias.

• Fundamental: A existência de $G/H$ é apresentada como um pré-requisito para o desenvolvimento de uma teoria geométrica robusta de grupos algébricos em categorias tensoriais, análoga ao papel das variedades de flag em teoria de representação clássica.
• Visão Estrutural: A decomposição de grupos algébricos em partes "infinitesimais" e "ordinárias" via núcleos de Frobenius (Proposição 4.19) é destacada como um resultado estrutural fundamental com potenciais aplicações além do escopo imediato dos espaços homogêneos.
• Teoria de Representação: O artigo vincula explicitamente as propriedades geométricas de $G/H$ (especificamente a propriedade de ser próprio) à preservação de objetos compactos sob o funtor de indução (Corolário 7.14). Isso é crucial para o cálculo de caracteres de representações irredutíveis, uma tarefa onde supervariedades de Harish-Chandra foram anteriormente utilizadas na teoria de supergrupos.
• Generalidade: Os resultados aplicam-se a qualquer categoria tensorial que satisfaça (GR) e (MN), o que inclui $\text{Ver}_{p^\infty}$ e suas subcategorias, apoiando a conjectura de que estas condições caracterizam categorias incompressíveis.

Os autores mantêm um tom modesto quanto ao escopo, observando que, embora a igualdade $(G/H)_0 = G_0/H_0$ falhe em geral, a propriedade de homeomorfismo universal é suficiente para transferir muitas propriedades geométricas. Eles também notam que o desenvolvimento de uma teoria completa de pares de Harish-Chandra nestas categorias permanece como um assunto para trabalhos futuros, visto que o framework atual requer a substituição da álgebra de Lie por um grupo infinitesimal maior.