An obstruction to smoothing stable maps

Resumo Técnico: Uma Obstrução à Suavização de Mapas Estáveis

Enunciado do Problema
O artigo aborda o problema de determinar quando um mapa estável $f: C \to X$, de uma curva pré-estável para uma variedade projetiva suave $X$, é "suavizável" (smoothable). Um mapa estável é definido como suavizável se ele pertencer ao fechamento do espaço de módulos de mapas com curvas de domínio não singulares. Os autores distinguem entre "suavizabilidade" e "suavizabilidade eventual", onde esta última permite o embutimento de $X$ em uma variedade projetiva suave maior $X'$. Embora trabalhos anteriores tenham estabelecido obstruções para casos específicos (por exemplo, gênero 1, superfícies ou configurações de interseção específicas), faltava uma obstrução geral sensível à interação entre os componentes "fantasma" (ghost components — onde o mapa é constante) e os componentes "efetivos" (onde o mapa é não constante) da curva de domínio.

Metodologia
Os autores empregam técnicas de geometria algébrica centradas na teoria de deformação de mapas estáveis e na resolução de singularidades em famílias.

1. Configuração e Definições: Os autores definem a "sub-curva fantasma" como a união das componentes irredutíveis onde o mapa é constante e a "sub-curva efetiva" como o fechamento de seu complemento. O cerne da obstrução reside nos pontos de interseção $C \cap E$ entre uma componente fantasma $C$ e a sub-curva efetiva $E$.
2. Famílias de Suavização: Assumindo que um mapa estável é eventualmente suavizável, os autores constroem uma família de mapas estáveis sobre um disco $\Delta$ onde a fibra central é o dado mapa e as fibras gerais são suaves.
3. Resolução de Singularidades: Para analisar o comportamento próximo aos nós onde as componentes fantasma e efetivas se encontram, os autores resolvem as singularidades do espaço total da família. Eles modelam a geometria local dos nós usando singularidades $A_l$ ($xy = t^{m+1}$) e realizam uma sequência de blow-ups para obter uma superfície não singular $\tilde{S}$.
4. Construção de Função Racional: Ao expandir o morfismo $F: \tilde{S} \to X$ como uma série de potências no parâmetro local $t$, os autores constroem uma função racional específica na componente fantasma. A ideia central é que, se uma suavização existe, esta função racional deve existir na curva fantasma com polos simples prescritos e resíduos determinados pelas derivadas do mapa nas componentes efetivas.
5. Obstrução Cohomológica: A existência de tal função racional é obstruída por uma classe de cohomologia em $H^1(C, \mathcal{O}_C) \otimes T_{X,q}$. Os autores relacionam os resíduos desta função às aplicações de conexão $\delta_{C,p}$ (decorrentes da sequência exata de cohomologia da curva) e às derivadas $d(f|_E)_p$.

Principais Contribuições e Resultados

• Teorema 1.7 (Obstrução Principal): Os autores estabelecem uma condição necessária para a suavizabilidade eventual. Se um mapa estável é eventualmente suavizável, uma aplicação linear específica envolvendo o produto tensorial dos espaços tangentes nos pontos de interseção deve ter um núcleo não trivial. Especificamente, a aplicação:
  $$\bigoplus_{p \in C \cap E} \delta_{C,p} \otimes d(f|_E)_p : \bigoplus_{p \in C \cap E} T_{C,p} \otimes T_{E,p} \to H^1(C, \mathcal{O}_C) \otimes T_{X,q}$$
  deve falhar em ser injetiva. Esta obstrução surge da não existência de funções racionais nas componentes fantasmas com polos e resíduos prescritos.
• Corolário 1.8 (Condição de Posto/Rank): Uma obstrução mais facilmente computável, embora estritamente mais fraca, é derivada. Ela afirma que, para qualquer componente fantasma, existe um subconjunto de pontos de interseção $D$ tal que a soma dos postos da aplicação derivada e da aplicação de avaliação no feixe dualizante é menor ou igual à cardinalidade de $D$.
• Exemplos de Mapas Não Suavizáveis: O artigo fornece exemplos concretos na Seção 2 onde a nova obstrução detecta a não-suavizabilidade em casos onde os critérios anteriores falham:
  • Gênero 1: O resultado recupera obstruções ótimas conhecidas (consistente com [10, 12]).
  • Gênero Superior: Os autores constroem exemplos onde uma componente fantasma de gênero $h \ge 2$ encontra a sub-curva efetiva em múltiplos pontos. Nesses casos, o mapa (1.1) é um isomorfismo (implicando um núcleo trivial), provando a não-suavizabilidade. Argumentos de contagem de dimensão ou resultados restritos ao gênero 1 ou 2 não poderiam detectar essas obstruções.
  • Curvas Hiperelípticas: Exemplos envolvendo curvas hiperelípticas e permutações de componentes demonstram que obstruções puramente numéricas (como invariantes $\delta$) não podem distinguir entre mapas suavizáveis e não suavizáveis que compartilham a mesma imagem e contagem de componentes.

Significância e Alegações
O artigo alega fornecer uma obstrução geral à suavizabilidade eventual de mapas estáveis que é "insensível à geometria global de $X$", mas sensível ao comportamento local próximo às componentes fantasmas. Isso se alinha ao "critério local para suavizabilidade eventual" estabelecido no trabalho anterior dos autores [8].

Os autores afirmam explicitamente que sua obstrução generaliza resultados conhecidos, incluindo aqueles para gênero 1 e 2, e para mapas onde componentes fantasmas encontram a curva efetiva em no máximo dois pontos. Crucialmente, eles demonstram que seu teorema principal (Teorema 1.7) é estritamente mais forte que seu Corolário 1.8 e estritamente mais forte que as obstruções derivadas de contagem de dimensão ou literatura anterior (citando especificamente [10, 11, 12, 6, 2, 3]). O trabalho representa um passo em direção à construção de um compactificação natural do espaço de curvas suaves mapeando para uma variedade que é menor que o espaço de módulos completo de mapas estáveis.

O artigo não propõe novas aplicações ou direções experimentais futuras, mas foca na caracterização teórica da fronteira do espaço de módulos de mapas suaves. Os resultados são apresentados como condições necessárias; a falha da obstrução não garante a suavizabilidade, mas a satisfação da obstrução (ou seja, a aplicação ser injetiva) descarta definitivamente a suavizabilidade eventual.