The versal deformation of small resolutions of conic bundles over $\mathbb{P}^1\times\mathbb{P}^1$ with two sections blown down

Título: A Deformação Versal de Pequenas Resoluções de Fibrados Cônicos sobre $\mathbb{P}^1 \times \mathbb{P}^1$ com Duas Seções Contratidas

1. O Problema e o Contexto

O artigo aborda a teoria de deformação de variedades complexas não projetivas, especificamente focando nos espaços de twistor associados à soma conexa de três cópias do plano projetivo complexo, denotada por $\mathbb{P}^2 \# \mathbb{P}^2 \# \mathbb{P}^2$.

• Contexto Geométrico: Os espaços de twistor são variedades complexas compactas de dimensão 3 que codificam a estrutura conformal de uma variedade Riemanniana de dimensão 4 auto-dual.
• A Dualidade: Para $n=3$, existem duas classes principais de espaços de twistor Moishezon:
  1. Resoluções pequenas de sólidos duplos (Double Solids): Coberturas duplas de $\mathbb{P}^3$ ramificadas sobre uma superfície quártica com 13 pontos duplos ordinários.
  2. Modificações de fibrados cônicos (SRCB): Pequenas resoluções de fibrados cônicos sobre a quadrica $Q = \mathbb{P}^1 \times \mathbb{P}^1$, onde duas seções específicas foram contraídas.
• A Questão Central: Embora a teoria de deformação geral (Donaldson-Friedman) garanta a existência de uma deformação de um espaço de twistor do tipo "fibrado cônico" (LeBrun) para um "sólido duplo", a descrição explícita desse processo de transição e a construção de uma família versal que conecte essas duas estruturas geométricas distintas permaneciam um problema aberto. O objetivo do artigo é fornecer essa descrição explícita e provar a versalidade da deformação.

2. Metodologia

Os autores utilizam uma abordagem combinatória e geométrica baseada em transformações biracionais e teoria de deformação infinitesimal.

• Definição do Objeto (SRCB): Começam definindo o manifold SRCB ($eZ$) como uma pequena resolução de uma hipersuperfície $W$ em um fibrado $\mathbb{P}^2$ sobre $Q = \mathbb{P}^1 \times \mathbb{P}^1$, dada pela equação $w_1w_2 - \phi w_0^2 = 0$, onde $\phi$ define uma curva discriminante. Duas seções ($E_1, E_2$) são contraídas para curvas.
• Extensão para $\mathbb{P}^3$: Para conectar com os sólidos duplos, eles incorporam a quadrica $Q$ em $\mathbb{P}^3$. Adicionam duas linhas (determinadas por um plano tangente $L$) à curva discriminante, elevando o grau da curva para $(4,4)$. Isso permite estender o fibrado $\mathbb{P}^2$ sobre $Q$ para um fibrado sobre $\mathbb{P}^3$.
• Construção da Família Unificadora ($Y$): Introduzem uma família de interseções completas $Y$ em um fibrado $\mathbb{P}^2$ sobre $\mathbb{P}^3$, definida por duas equações:
  1. $y_1y_2 - K L y_0^2 = 0$ (onde $K$ é uma forma cúbica e $L$ uma forma linear).
  2. $\alpha_2 y_1 + \alpha_1 y_2 - Q y_0 = 0$ (onde $Q$ é a equação da quadrica).
     Os parâmetros $\alpha_1, \alpha_2$ controlam a deformação.
  • Para $\alpha_1 = \alpha_2 = 0$, a fibra é redutível e contém o SRCB original.
  • Para $\alpha_1, \alpha_2 \neq 0$, a fibra é um sólido duplo (cobertura dupla de $\mathbb{P}^3$).
• Transformações Biracionais: O núcleo da metodologia é a decomposição da aplicação racional entre o SRCB e o sólido duplo em uma sequência de operações explícitas:
  1. Resolução Parcial: Resolução simultânea de singularidades introduzidas pelo plano $L$.
  2. Flopping (Flop): Um "flop" simultâneo de linhas em superfícies regidas ($F_1, F_2$) que surgem na família.
  3. Contração: Contração de componentes extras para obter uma família de variedades suaves.
  4. Resolução Final: Resolução das singularidades remanescentes para obter a família versal $\tilde{Z} \to \Pi$.
• Análise de Deformação Infinitesimal: Calculam os espaços de cohomologia do feixe tangente ($H^i(\Theta)$) e os grupos de obstrução para a tripla $(\tilde{Z}, \tilde{S}_1, \tilde{S}_2)$, onde $\tilde{S}_i$ são as transformações estritas das superfícies associadas às linhas escolhidas.

3. Contribuições Chave

1. Construção Explícita da Deformação: Fornecem equações explícitas e um algoritmo geométrico (via transformações biracionais) que descreve como um espaço de twistor do tipo LeBrun (fibrado cônico) se deforma continuamente em um sólido duplo.
2. Prova de Versalidade: Demonstram que a família construída é versal para deformações da tripla $(\tilde{Z}, \tilde{S}_1, \tilde{S}_2)$. Isso significa que qualquer pequena deformação da variedade junto com as duas superfícies especificadas pode ser obtida a partir desta família.
3. Resolução de uma Questão Aberta: Respondem a uma pergunta feita por Herbert Kurke sobre a natureza exata dessa transição entre as duas classes de espaços de twistor.
4. Generalização para $n=3$: Embora o foco seja $n=3$ (caso do $\mathbb{P}^2 \# \mathbb{P}^2 \# \mathbb{P}^2$), a metodologia é desenvolvida para $n$ geral, estabelecendo a base para entender deformações em dimensões superiores.
5. Conexão com a Realidade (Estrutura Real): Mostram que, ao impor uma estrutura real adequada, a família produz espaços de twistor reais, confirmando resultados anteriores de Honda sobre a existência de sólidos duplos degenerados como espaços de twistor.

4. Resultados Principais

• Teorema Principal: A família $\tilde{Z} \to \Pi$ construída tem fibras sobre $\alpha_1 = \alpha_2 = 0$ que são variedades SRCB. Para $\alpha_1, \alpha_2$ pequenos e não nulos, as fibras são sólidos duplos. A família é versal para deformações da tripla $(\tilde{Z}, \tilde{S}_1, \tilde{S}_2)$.
• Dimensão do Espaço de Deformação: Calculam que a dimensão do espaço de deformação da tripla é $n^2 + 4n - 8 - \delta$ (onde $\delta$ é o número de pontos duplos da curva discriminante), exceto quando há simetrias adicionais.
• Comportamento das Superfícies: Durante a deformação, uma das duas superfícies de grau 1 (pencils) do fibrado cônico sobrevive, enquanto a outra se transforma. Isso explica por que a maioria das superfícies de grau 1 não sobrevive na transição para o sólido duplo.
• Exemplos Específicos:
  • Ação Toroidal: Recuperam e provam o resultado de Honda sobre espaços de twistor com ação de toro, mostrando que a deformação preserva a simetria.
  • Superfícies de Kummer: Descrevem explicitamente a família no caso onde o sólido duplo é ramificado sobre uma superfície de Kummer, relacionando-a ao espaço de módulos de Igusa.
  • Quárticas com 14 Pontos Duplos: Fornecem equações para deformações que levam a sólidos duplos com 14 pontos singulares.

5. Significado e Impacto

Este trabalho é fundamental para a geometria algébrica complexa e a teoria de twistor por:

• Unificação Conceitual: Demonstra que as duas classes distintas de espaços de twistor (fibrados cônicos e sólidos duplos) não são entidades isoladas, mas pontos extremos de uma mesma família de deformação versal.
• Ferramentas Computacionais: Oferece equações explícitas e procedimentos de transformação biracional que podem ser utilizados para estudar outras variedades não projetivas e suas deformações.
• Validação de Conjecturas: Confirma a intuição geométrica de que a estrutura de fibrado cônico "desmorona" em um sólido duplo sob deformação, resolvendo um problema técnico de longa data na área.
• Aplicação em Física Matemática: Ao fornecer uma descrição explícita de como métricas auto-duais (associadas a esses espaços) podem degenerar ou evoluir, o trabalho contribui para a compreensão da estrutura do espaço de módulos de métricas de Einstein e estruturas conformais em 4 dimensões.

Em resumo, o artigo fornece o "mapa" geométrico completo e as equações necessárias para navegar entre dois mundos importantes da geometria complexa tridimensional, estabelecendo uma ponte rigorosa entre a teoria de fibrados cônicos e a teoria de sólidos duplos.