Supermoduli spaces are non-projected in every genus $g\geq 3$

Resumo Técnico: Não-Projetividade dos Espaços de Supermóduli em Gênero $g \ge 3$

Enunciado do Problema
O artigo aborda a estrutura geométrica global do superstack de módulos $\mathcal{M}^{\varepsilon}_g$ de superfícies de Riemann super-estruturadas suaves e não pontuadas de gênero $g$ com paridade de spin $\varepsilon \in \{+, -\}$. Uma questão central na supergeometria é se esses espaços de módulos são "projetados" ou "divididos" (split). Uma supervariedade é projetada se admite uma retração sobre seu espaço de módulos reduzido (o espaço de módulos de curvas de spin, $\mathcal{S}^{\varepsilon}_g$). Ela é dividida se sua coálgebra de estrutura é isomórfica à álgebra exterior do fibrado cotangente ímpar de sua redução.

Embora a teoria de deformação local para esses espaços seja não obstruída, a existência de uma projeção global é obstruída por uma classe de cohomologia primária $\omega_2(\mathcal{M}^{\varepsilon}_g) \in H^1(\mathcal{S}^{\varepsilon}_g, \text{Hom}(\wedge^2 T^- \mathcal{M}^{\varepsilon}_g, T^+ \mathcal{M}^{\varepsilon}_g))$. Trabalhos anteriores estabeleceram que para $g=2$, ambos os componentes de paridade são divididos. Para $g \ge 5$, a não-projetividade era conhecida, e o caso do gênero par $g=4$ foi resolvido. O caso limítrofe do gênero $g=3$ (e o caso do gênero ímpar $g=4$) permanecia em aberto. Os autores visam provar que para todo $g \ge 3$, ambos os componentes de paridade são não-projetados e não-divididos tanto na categoria algébrica quanto na holomorfa.

Metodologia
A prova procede através de um argumento de múltiplos estágios combinando técnicas de degeneração, teoria de deformação formal e teoremas de comparação algébrico-analítica.

1. Degeneração de Fronteira e Famílias de Teste:
   Os autores constroem um morfismo específico de um esquema central supersuper-esquema $Z^{\varepsilon}_{\eta}$ para o divisor de fronteira de Neveu–Schwarz separador $D$ do espaço de supermóduli estável.

   • O Núcleo: A fonte é construída sobre uma curva de gênero $h = g-1$ equipada com uma característica de theta par ineficaz ($H^0(C, L) = H^1(C, L) = 0$).
   • A Cauda: Uma componente elíptica é anexada em um nó. A estrutura de spin desta cauda determina a paridade $\varepsilon$ da superfície de gênero $g$ resultante.
   • Distinção de Paridade: Para a paridade par ($\varepsilon=+$), a construção inclui uma marcação NS móvel na cauda elíptica para eliminar obstruções invariantes. Para a paridade ímpar ($\varepsilon=-$), a cauda é mantida constante.
   • Classe Central: Utilizando a ineficácia de $L$, os autores mostram que a classe de obstrução primária da fonte mapeia injetivamente no fibrado tangente da fronteira, produzindo uma "classe de comparação central" não nula $c^{\varepsilon}_{\eta}$.

2. Suavização Formal Transversa:
   Usando a teoria de extensões transversas, os autores estendem o mapa $Z^{\varepsilon}_{\eta} \to D$ formalmente em uma direção transversa à fronteira (suavizando o nó).

   • Eles constroem uma família formal $\widehat{Y}^{\varepsilon}_{\eta}$ sobre um disco formal, mapeando para o completamento formal do superstack ambiente ao longo de $D$.
   • Vanecimento da Obstrução: Um passo técnico crucial envolve provar que os grupos de obstrução para esta extensão desaparecem. Ao analisar a ação de um grupo finito $A \cong \mu_4$ (agindo sobre a cauda elíptica) e utilizando a dualidade de Serre no núcleo, eles demonstram que todas as classes de obstrução invariantes desaparecem para todas as ordens da expansão formal. Isso garante a existência de uma suavização formal coerente.

3. Localização de Laurent e Remoção de Polos:
   Para mover-se da fronteira para o locus suave, o parâmetro da fronteira $t$ é invertido.

   • Os autores analisam o comportamento da classe de comparação sob a localização de Laurent. Eles provam que, se a classe desaparecesse após inverter $t$, a primitiva resultante exigiria um polo.
   • Ao realizar a média sob a involução de paridade e analisar os fibrados graduados associados, eles mostram que não existem seções globais invariantes não nulas para potências negativas do parâmetro da fronteira. Consequentemente, qualquer primitiva deve ser regular, contradizendo o não-vanecimento da classe central. Isso estabelece que a extensão permanece não-dividida no locus suave.

4. Não-Vanecimento Algébrico:
   Os autores deduzem que, se a obstrução primária desaparecesse no espaço de módulos algébrico suave $\mathcal{M}^{\varepsilon}_g$, uma divisão existiria. Esta divisão seria puxada para uma divisão de Laurent da extensão formal construída, contradizendo o passo anterior. Assim, $\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0$.

5. Comparação Algébrico-Analítica:
   Para estender o resultado para a categoria holomorfa, eles provam um teorema de comparação geral (Teorema 1.2).

   • Eles constroem compactificações projetivas normais de coberturas de nível de spin do espaço de módulos onde o complemento tem codimensão pelo menos dois (usando a compactificação de Satake do locus de Jacobi e o morfismo de Torelli).
   • Eles mostram que, para tais variedades, o mapa de analitificação em $H^1$ é injetivo. Isso baseia-se na extensão de seções algébricas como fibrados coerentes reflexivos através do complemento de codimensão dois e na aplicação de GAGA.
   • Esta injetividade garante que o não-vanecimento da classe algébrica implica o não-vanecimento da classe holomorfa.

Contribuições Principais e Resultados

• Teorema Principal (Teorema 1.1): Para todo gênero $g \ge 3$ e ambas as paridades de spin $\varepsilon \in \{+, -\}$, a classe de obstrução primária é não nula tanto na categoria algébrica quanto na holomorfa:
  $$\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0, \quad \omega^{\text{hol}}_2((\mathcal{M}^{\varepsilon}_g)^{\text{an}}) \neq 0.$$
  Consequentemente, os espaços de supermóduli suaves e não pontuados não são nem projetados nem divididos.
• Resolução do Limiar de Gênero-3: O artigo fornece a primeira prova de não-projetividade para o gênero $g=3$, resolvendo o menor gênero onde este fenômeno ocorre.
• Argumento Uniforme: A prova utiliza um único argumento de degeneração (anexando uma cauda elíptica a um núcleo) que se aplica uniformemente para todos os $g \ge 3$ e ambas as paridades, diferindo apenas no tratamento específico dos automorfismos da cauda elíptica.
• Teorema de Comparação: O artigo estabelece uma condição geométrica suficiente (existência de uma compactificação projetiva normal com complemento de codimensão dois) sob a qual as classes de extensão algébrica permanecem não triviais após a analitificação, mesmo para variedades não próprias.

Significância
O artigo estabelece uma característica fundamental da geometria global dos espaços de supermóduli: apesar de possuírem teoria de deformação local não obstruída, eles possuem dados de extensão global não triviais sobre o stack clássico de spin. Esta obstrução impede a existência de uma projeção holomorfa global sobre o módulo de curvas de spin para $g \ge 3$.

No contexto da teoria de perturbação de supercordas, onde as amplitudes são definidas pela integração sobre supermóduli, este resultado implica que a construção usada para o gênero 2 (que se baseia em uma projeção global via matriz periódica super-periódica) não pode ser generalizada para gêneros superiores. Embora o resultado não invalide imediatamente candidatos específicos de formas modulares para medidas quirais propostas por outros autores, ele descarta a existência de uma projeção holomorfa global como base para construções análogas. O trabalho esclarece a natureza geométrica da "obstrução de Green" e confirma que o modelo dividido falha uniformemente em todo o intervalo estável acima do gênero dois.