Partial fraction decompositions, and semilinear representations of infinite symmetric groups

Resumo Técnico: Decomposições em Frações Parciais e Representações Semilineares de Grupos Simétricos Infinitos

1. Enunciado do Problema e Motivação
O artigo investiga a categoria $\text{Sm}_K(S_\Psi)$ de representações $K$-semilineares suaves (ou seja, com estabilizadores abertos) do grupo simétrico infinito $S_\Psi$, onde $\Psi$ é um conjunto infinito e $K$ é um corpo $S_\Psi$-suave não trivial. O estudo é motivado pelo desejo de compreender categorias "algebro-geométricas" de feixes coerentes sobre corpos com grau de transcendência infinito, que podem ser modeladas via estas representações semilineares.

O problema central é descrever a estrutura desta categoria, especificamente seus objetos simples e injetivos, e determinar a extensão em que um análogo do "Teorema 90 de Hilbert" se aplica. Enquanto o Teorema 90 de Hilbert implica que representações galoisianas semilineares suaves são triviais, o comportamento para o grupo não-precompacto $S_\Psi$ é mais complexo. O autor busca classificar os objetos injetivos indecomponíveis e os objetos simples para vários subcorpos $S_\Psi$-invariantes $K$ de um corpo $L$ construído a partir de uma extensão de corpos regular $F|k$.

2. Metodologia
O autor emprega uma combinação de técnicas da teoria das representações, geometria algébrica e teoria de categorias de Grothendieck:

• Abordagem Teórica de Feixes: O artigo estabelece uma equivalência entre $S_\Psi$-conjuntos suaves e feixes sobre a categoria de conjuntos finitos ($FI^{op}$). Isso permite a tradução de problemas de teoria de representação para a linguagem de feixes, facilitando o uso de argumentos de local-para-global.
• Filtração de Nível: Uma filtração de "nível" canônica é introduzida para objetos em $\text{Sm}_K(S_\Psi)$. O nível de um objeto é definido pela cardinalidade mínima de subconjuntos de $\Psi$ necessários para gerá-lo. Esta filtração é crucial para analisar a estrutura local de objetos finitamente gerados.
• Decomposição em Frações Parciais: O autor utiliza decomposições em frações parciais no contexto de corpos de funções racionais e seus subcorpos para decompor módulos em somas diretas de componentes mais simples. Esta técnica é aplicada a corpos como $K_a, K_b, K_c$ e $K_d$, que são corpos fixos de grupos algébricos (subgrupos de $\text{PGL}_{2,k}$ ou toros) agindo diagonalmente em produtos tensoriais.
• Espectros de Gabriel: A estrutura das categorias é analisada via seus espectros de Gabriel (espaços topológicos de classes de isomorfismo de objetos injetivos indecomponíveis). A topologia destes espectros é descrita em termos de fechamentos de pontos correspondentes a níveis específicos.
• Descida de Galois e Corpos Período: O artigo constrói extensões de corpos de "período fraco" e utiliza a descida de Galois (via Proposição 6.5) para relacionar representações sobre subcorpos fixos às representações de grupos algébricos atuantes.

3. Principais Contribuições e Resultados

• Classificação de Corpos e Invariantes: O artigo foca em subcorpos $S_\Psi$-invariantes específicos $K$ de $F_\Psi$ (o corpo de frações do produto tensorial de cópias de $F$ rotuladas por $\Psi$). Estes incluem:

  • $K_a$: Corpos fixos de toros agindo sobre variáveis.
  • $K_b, K_c, K_d$: Corpos fixos de subgrupos de $\text{PGL}_{2,k}$ (especificamente $\mathbb{G}_a$, $\mathbb{G}_a \rtimes \mathbb{G}_m$ e $\text{PGL}_{2,k}$) agindo sobre funções racionais.
  • O grau de transcendência de $F_\Psi$ sobre estes corpos é mostrado como $\le 3$.

• Estrutura de $\text{Sm}_{K}(S_\Psi)$:

  • Objetos Injetivos: Para $K = F_\Psi$, os injetivos indecomponíveis são as potências exteriores $F_\Psi \langle \binom{\Psi}{s} \rangle$. Para os subcorpos $K_a, K_b, K_c$, o artigo fornece descrições completas dos injetivos indecomponíveis.
    • Para $K_a$, os injetivos indecomponíveis são torções de $K_a \langle \binom{\Psi}{s} \rangle$ por caracteres do grupo de Picard.
    • Para $K_b$, os injetivos indecomponíveis são $K_b \langle \binom{\Psi}{s} \rangle$ (com uma exceção específica para $s=2$ em característica 2).
    • Para $K_c$, os injetivos indecomponíveis incluem torções de $K_c \langle \binom{\Psi}{s} \rangle$ e objetos relacionados à reta projetiva sobre $K_d$.
  • Objetos Simples:
    • Para $K_a, K_b, K_c$, todos os objetos simples são invertíveis (unidimensionais).
    • Para $K_d$ (o corpo da razão cruzada), os objetos simples são mais complexos. Existe uma bijeção natural entre objetos simples de dimensão finita de $\text{Sm}_{K_d}(S_\Psi)$ e representações racionais irredutíveis de $\text{PGL}_{2,k}$. Isto é apresentado como um análogo do teorema de Borel–Weil para $\mathbb{P}^1$.
    • Uma lista infinita de objetos simples de dimensão infinita é construída para $K_d$, mostrada como completa se $F \neq k$.

• Espectros de Gabriel: O artigo descreve a topologia dos espectros de Gabriel para estas categorias.

  • Pontos de nível finito correspondem a envelopes injetivos de objetos $K \langle \binom{\Psi}{s} \rangle$.
  • As relações de fechamento entre pontos são determinadas explicitamente, mostrando que os espectros são geralmente não discretos e possuem uma estrutura hierárquica específica dependendo da característica do corpo base e do corpo $K$ específico.
  • As categorias são mostradas como sendo "locais" no sentido de [16] para certos parâmetros ($K_a$ com $\Gamma = \Xi$, $K_b$), mas não para outros.

• Grupos de Picard: Os grupos de Picard $\text{Pic}_K(S_\Psi)$ são computados. Para $K_a$, é isomorfo a um quociente de um grupo abeliano livre; para $K_b$ e $K_d$, é trivial; para $K_c$, é isomorfo a $\mathbb{Z}$.

• Semissimplicidade Local: Um resultado estrutural chave (Teorema 4.17) afirma que para qualquer objeto finitamente gerado $M$ e subobjeto $M'$, existe um subgrupo aberto $U \subseteq S_\Psi$ tal que a restrição da inclusão se divide (split). Isto implica que a categoria é "localmente semissimples".

4. Significância e Alegações
O artigo alega fornecer uma descrição detalhada e explícita das categorias $\text{Sm}_K(S_\Psi)$ para uma classe significativa de corpos. A significância reside em:

• Generalização do Teorema 90 de Hilbert: Demonstra que, embora a categoria não seja globalmente semissimples, ela exibe semissimplicidade local e admite uma estrutura rica de objetos injetivos e simples que podem ser explicitamente classificados.
• Análogo da Dualidade de Schur–Weyl: Para o corpo $K_d$, o artigo estabelece uma correspondência entre os objetos simples da categoria de representação semilinear e as representações irredutíveis do grupo algébrico $\text{PGL}_{2,k}$. Isto fornece uma realização concreta de uma "dualidade de Schur–Weyl" para grupos simétricos infinitos atuando sobre corpos de funções específicos.
• Espectros Explícitos: A descrição explícita dos espectros de Gabriel e das relações de fechamento oferece um exemplo concreto raro do espectro de uma categoria de Grothendieck não trivial associada a um grupo não-precompacto.
• Modelo de Estudo (Toy Model): O autor posiciona o caso de $S_\Psi$ como um "modelo de estudo" para problemas algebro-geométricos mais complexos envolvendo grupos de automorfismos de corpos de grau de transcendência infinito, sugerindo que as técnicas desenvolvidas (equivalência de feixes, filtração de nível, decomposição em frações parciais) são aplicáveis a contextos mais amplos.

O artigo não alega resolver a classificação para todos os possíveis corpos $S_\Psi$, mas foca nos casos onde os subcorpos invariantes derivam de ações de grupos algébricos, observando que estes casos capturam as características essenciais do problema (dependência do "rótulo" do corpo em vez da extensão específica $F|k$).