Genus stabilization for the homology of moduli spaces of orbit-framed curves with symmetries-I

Resumo Técnico: Estabilização de Gênero para a Homologia de Espaços de Móduli de Curvas com Simetrias

Enunciado do Problema
O artigo aborda o problema da estabilização da homologia de espaços de módulos de curvas que admitem um grupo de simetria $G$ fixo. Enquanto o trabalho seminal de Harer estabeleceu que a homologia do espaço de módulos de curvas $M_g$ estabiliza conforme o gênero $g \to \infty$, o comportamento dos espaços de módulos de curvas com simetrias $G$, denotados por $M_g(G)$, é mais complexo. Trabalhos anteriores dos autores ([CLP16]) demonstraram que o conjunto de componentes irredutíveis de $M_g(G)$ (correspondente ao grupo de homologia de ordem zero $H_0$) estabiliza para um gênero $g'$ suficientemente grande. O presente artigo visa estender este fenômeno de estabilização para todos os grupos de homologia superior $H_k(M_g(G), \mathbb{Q})$ para $k \geq 0$. Especificamente, os autores investigam uma variante destes espaços de módulos, $M_g(G)^*$, onde uma órbita $G$ é "tangencialmente emoldurada" (equipada com um vetor tangente), uma condição necessária para definir o mapa de estabilização de forma rigorosa na presença de simetrias.

Metodologia
Os autores empregam uma combinação de topologia geométrica, cohomologia de grupos e álgebra homológica. A estratégia central envolve a tradução do problema topológico da estabilização de gênero em um problema algébrico concernente a módulos sobre um anel não comutativo específico.

1. Estrutura Geométrica e Sequências Espectrais:
   O espaço de módulos é analisado via teoria de Teichmüller, onde sua homologia racional é computada via a homologia de grupo do grupo de classes de mapeamento $\Gamma_{g',1}$ agindo sobre vetores de Hurwitz (dados de monodromia). Para lidar com a estabilização, os autores utilizam o complexo simplicial de "cadeias amarradas" (tethered chains) introduzido por Hatcher e Vogtmann. Eles constroem um complexo duplo envolvendo uma resolução livre dos inteiros e o complexo de cadeias do espaço de cadeias amarradas marcadas por $G$. Isso resulta em duas sequências espectrais que convergem para os grupos de homologia equivariante. O diferencial $d_1$ da segunda sequência espectral é explicitamente computado, revelando uma estrutura que se assemelha a um complexo de Koszul.

2. O Anel de Componentes Conexas ($R$):
   Central para a abordagem algébrica é a definição de um anel não comutativo graduado $R = \bigoplus_{g' \geq 0} R_{g'}$, onde $R_{g'} = \mathbb{Z}\langle G^{2g'}/\Gamma_{g',1} \rangle$. Este "anel de componentes conexas" codifica os tipos topológicos das coberturas. Os autores definem um operador de "estabilização de gênero" $U: M \to M$ (multiplicação pela classe de uma alça trivial, $J1, 1K$) e mostram que os grupos de homologia de interesse, $M^{(q)} = \bigoplus_{g'} H_q(\Gamma_{g',1}, \mathbb{Z}\langle G^{2g'} \rangle)$, formam módulos à esquerda graduados de $R$.

3. Álgebra Homológica de Complexos-K:
   Os autores generalizam a teoria dos complexos do tipo Koszul (complexos-K) a partir do trabalho de Ellenberg, Venkatesh e Westerland ([E-V-W16]), adaptando-a para trabalhar com coeficientes em $\mathbb{Z}$ em vez de coeficientes de corpo. Eles definem um complexo-K $K(M)$ associado a um módulo-$R$ $M$. A homologia deste complexo, $H_p(K(M))$, é mostrada como controladora do comportamento de estabilização. Especificamente, a estabilização dos grupos de homologia é equivalente ao desaparecimento do núcleo e do cocerne do operador $U$ em graus suficientemente altos.

4. Limites de Grau e Indução:
   A prova baseia-se no estabelecimento de limites de grau explícitos para a homologia do complexo-K. Ao analisar as sequências exatas associadas ao complexo-K e utilizar argumentos de sequências espectrais, os autores derivam limites para os graus do núcleo e do cocerne de $U$. Eles provam que, para um grau homológico $q$ fixo, o mapa $U: M^{(q)}_{g'} \to M^{(q)}_{g'+1}$ torna-se um isomorfismo uma vez que $g'$ excede uma função linear específica de $q$ e constantes dependentes do grupo $G$.

Principais Contribuições e Resultados

• Teorema 1.3 (Resultado Principal): Para um grupo finito $G$, seja $M_g(G)^*$ o espaço de módulos de curvas com uma ação de $G$ e uma órbita $G$ tangencialmente emoldurada. Então, para $g \gg 0$, o grupo de homologia $H_i(M_g(G)^*, \mathbb{Q})$ é independente de $g$.
• Teorema 1.4 (Núcleo Técnico): O artigo estabelece um limite de estabilização preciso. Seja $R$ o anel de componentes conexas e $M^{(q)}$ o módulo-$R$ graduado de homologia de ordem $q$. Existem constantes homológicas $\tilde{A}(R)$ e $A(R)$ tais que o mapa de estabilização $U: M^{(q)}_{g'} \to M^{(q)}_{g'+1}$ é um isomorfismo para todo:
  $$g' \geq (8\tilde{A}(R) + \deg(U))q + \tilde{A}(R) + 6A(R) + 2$$
• Generalização para Coberturas Ramificadas: Embora a prova primária seja detalhada para o caso de ações livres fora da órbita emoldurada ($n=0$), a Seção 5 estende estes argumentos para o caso geral com $n \geq 0$ pontos de ramificação (Teorema 5.3), provando a estabilização para o espaço de módulos completo $M_g(G)$.
• Maquinaria Algébrica: O artigo fornece um desenvolvimento detalhado da álgebra homológica do anel de componentes conexas sobre $\mathbb{Z}$, incluindo a construção de resoluções e limites para funtores Tor, que são necessários porque os coeficientes não estão em um corpo.

Significância e Alegações
Os autores posicionam este trabalho como o primeiro passo em um programa para provar a estabilização de gênero para todos os grupos de homologia de espaços de módulos de curvas com simetrias, analogamente aos resultados de Harer para o espaço de módulos padrão. O artigo alega que, ao interpretar os componentes do espaço de módulos via o anel de componentes conexas e utilizar o complexo de cadeias amarradas, eles estabeleceram com sucesso a estabilização da homologia para o caso específico de curvas com órbita emoldurada.

A significância reside em preencher a lacuna entre a estabilização conhecida da homologia de ordem zero (o número de componentes) e os grupos de homologia superior. Os autores observam que, embora o resultado seja provado para o espaço com uma órbita tangencialmente emoldurada, isto serve como um degrau técnico. Eles declaram explicitamente que trabalhos futuros estão planejados para estender estes resultados para o caso não ramificado ($M_g(G)_{unr}$) e para o espaço de módulos geral $M_g(G)$ sem a restrição de emolduramento, sugerindo que o presente artigo fornece as ferramentas algébricas e topológicas necessárias para esse programa mais amplo. O trabalho depende fortemente das sequências espectrais de Hatcher e Vogtmann e da estrutura algébrica de Ellenberg, Venkatesh e Westerland, adaptando-as às restrições específicas de curvas simétricas e coeficientes inteiros.