A note on smoothly slice links in $S^2 \times S^2$

Este artigo apresenta uma prova alternativa de que existem nós que não são lisamente fatiáveis em $S^2 \times S^2$, discutindo potenciais aplicações na detecção de esferas $S^2 \times S^2$ exóticas.

O essencial

Imagine que o universo matemático é como um grande parque de diversões, mas em vez de montanhas-russas, ele tem formas geométricas estranhas e complexas. Neste artigo, dois matemáticos, Marco Marengon e Clayton McDonald, estão investigando um parque específico chamado $S^2 \times S^2$.

Para entender o que eles fizeram, vamos usar algumas analogias simples:

1. O Cenário: O Parque $S^2 \times S^2$

Pense no $S^2 \times S^2$ como uma "bola de futebol" gigante que foi esticada e conectada a outra de uma maneira muito específica. É um espaço de 4 dimensões (o que é difícil de visualizar, então imagine apenas como um "espaço mágico" onde as regras são diferentes das nossas).

Dentro desse espaço, existe uma regra especial: se você tiver um laço (uma corda fechada) ou uma ponte (duas cordas entrelaçadas) flutuando na borda desse espaço, você pode tentar puxá-los para dentro e transformá-los em discos planos (como se você estivesse "apertando" a corda até virar uma pizza plana) sem que a corda se rasgue ou se cruze.

• Se você consegue fazer isso, dizemos que a corda é "fatia" (ou slice).
• Se é impossível fazer isso sem rasgar a corda, ela é "não-fatia".

2. O Problema: Encontrando a Corda Impossível

Os matemáticos já sabiam que, se você pegar apenas uma corda (um nó), você sempre consegue transformá-la em um disco nesse espaço. É como se qualquer nó solitário pudesse ser "desfeito" magicamente dentro desse parque.

Mas e se você tiver duas cordas entrelaçadas (um link de 2 componentes)? Será que você sempre consegue "achatar" as duas ao mesmo tempo, sem que elas se toquem?

O objetivo deste artigo é provar que não. Eles construíram um exemplo específico de duas cordas entrelaçadas que, não importa o quanto você tente, não consegue transformar em discos planos dentro desse espaço $S^2 \times S^2$.

3. A Ferramenta: O "Detector de Falhas"

Como eles provam que é impossível? Eles não tentam puxar a corda por anos. Em vez disso, eles usam ferramentas matemáticas chamadas obstruções.

Imagine que você tem um detector de metais. Se você passar o detector por um objeto e ele apitar, você sabe que há metal ali.

• Os matemáticos criaram um "detector de fatia".
• Eles pegaram uma configuração específica de duas cordas (mostrada na Figura 1 do artigo).
• Eles aplicaram várias "regras de verificação" (como assinaturas de Levine-Tristram e invariantes de Arf).
• O detector apitou em todos os testes! Isso significa que, matematicamente, a estrutura dessas cordas é incompatível com a ideia de se tornarem discos planos nesse espaço.

4. A Grande Descoberta: "Espaços Falsos" (Exóticos)

A parte mais legal e misteriosa do artigo é o final.

Existe uma pergunta antiga na matemática: "O espaço $S^2 \times S^2$ é único?"
Pode parecer estranho, mas na matemática de 4 dimensões, existem "cópias" de um espaço que são idênticas em forma (topologia), mas diferentes na textura (suavidade). São chamados de $S^2 \times S^2$ exóticos. É como ter dois apartamentos com o mesmo layout de cômodos, mas em um deles as paredes são de vidro e no outro de madeira; você não consegue transformar um no outro sem quebrar algo.

Os autores sugerem que a "corda impossível" que eles encontraram pode ser a chave para descobrir se existe um desses apartamentos "falsos" (exóticos).

• Se você tentar construir um novo espaço usando essa corda e ele se comportar de um jeito diferente do espaço original, você terá provado a existência de um $S^2 \times S^2$ exótico.

Resumo em uma frase

Os autores criaram um "nó duplo" matemático que se recusa a ser achatado em um espaço 4D específico, e usaram essa recusa como uma prova de que esse espaço pode ter uma versão "falsa" e exótica que ainda não foi descoberta.

É como se eles tivessem encontrado uma chave que não abre a porta da frente, e agora estão dizendo: "Ei, talvez exista uma porta secreta atrás da parede que só essa chave específica consegue abrir!"

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "A NOTE ON SMOOTHLY SLICE LINKS IN S2 × S2", de Marco Marengon e Clayton McDonald, apresentado em português.

1. Problema e Contexto

O artigo aborda um problema fundamental na topologia de dimensão 4: a existência de nós e links que não são "slice" (cortáveis) na categoria suave no manifold $S^2 \times S^2$.

• Definição de Slice: Um link $L \subset S^3$ é dito suavemente slice em uma variedade 4-dimensional $X$ se ele limita dois discos suavemente embutidos e disjuntos em $X \setminus B^4$.
• Contexto Histórico: Resultados clássicos (Norris, Suzuki) mostram que todo nó é suavemente slice tanto em $S^2 \times S^2$ quanto em $\mathbb{CP}^2 \# \mathbb{CP}^2$. No entanto, para links de dois componentes, a situação é mais complexa.
• Trabalhos Anteriores: Miyazaki e Yasuhara (1997) provaram a existência de links não slice em $S^2 \times S^2$ na categoria topológica (usando assinaturas de componentes que devem ser 0 mod 8). Os autores deste trabalho buscam provar a existência de um link que não é slice na categoria suave, o que é uma condição mais forte e necessária para detectar variedades exóticas.
• Motivação: A prova de não-slice na categoria suave é um passo crucial para a construção de $S^2 \times S^2$ exóticos (variedades homeomorfas, mas não difeomorfas, ao produto padrão).

2. Metodologia

Os autores utilizam uma combinação de métodos obstructivos da teoria de nós e topologia de dimensão 4 para provar que um link específico não pode limitar discos suaves em $S^2 \times S^2$. A metodologia segue os seguintes pilares:

A. Estrutura do Link

O link $L = A \cup B$ é construído com uma estrutura específica (Figura 2 do artigo), onde:

• $A$ e $B$ são fechamentos de tangles $(1,1)$.
• Existe um número inteiro $n$ de torções completas de mão direita entre eles.
• Assume-se que $A$ e $B$ são isotópicos (simetria de troca).

B. Função de Gênero (Genus Function)

Utilizam o teorema de Ruberman (1996) sobre o gênero mínimo de superfícies suavemente embutidas em $S^2 \times S^2$ em uma classe de homologia $(a_1, a_2)$.

• O teorema estabelece que o gênero é 0 se $a_1 a_2 = 0$, e $(|a_1|-1)(|a_2|-1)$ caso contrário.
• Isso impõe restrições severas às classes de homologia $\alpha$ e $\beta$ que os discos slice poderiam representar.

C. Assinaturas de Levine-Tristram

Aplicam o teorema de Levine-Tristram generalizado para variedades fechadas orientadas. Se um nó $K$ limita um disco em uma classe de homologia divisível por $m$, a assinatura do nó em raízes da unidade específicas é limitada pelo gênero da superfície e pela assinatura da variedade.

• Os autores impõem condições específicas nas funções de assinatura $\sigma_K(\zeta_m)$ para $m=2, 4, 8$.

D. Invariante de Arf e Interseção

Utilizam o invariante de Arf e a relação entre o número de enlace (linking number) e o número de interseção das classes de homologia dos discos ($\alpha \cdot \beta$).

• A condição de que os discos são disjuntos implica que o número de interseção deve ser igual ao negativo do número de enlace do link.

3. Contribuições Chave e Resultados Principais

O Teorema Principal (Teorema 1.1)

Os autores provam que o link de 2 componentes mostrado na Figura 1 (construído a partir do nó $7_2$espelhado,$m(7_2)$) **não é suavemente slice em$S^2 \times S^2$**.

O Teorema Geral (Teorema 3.8)

O resultado é estabelecido através de um teorema mais geral que lista 8 condições (A1-A8) que um link deve satisfazer para ser não-slice:

1. Estrutura: Diagrama específico com tangles e torções.
2. Gênero 4-ball: $g_4(A) = g_4(B) = 1$.
3. Simetria: O link possui isotopia ambiente que troca as componentes.
4. Número de Enlace: $lk(A, B) = -4$.
5. Invariante de Arf: $Arf(A) = Arf(B) = 1$.
6. Assinaturas: $\sigma_A(\zeta_2) = \sigma_B(\zeta_2) = 2$.
7. Assinaturas: $\sigma_A(\zeta_4) = \sigma_B(\zeta_4) = 2$.
8. Assinaturas: $\sigma_A(\zeta_8) = \sigma_B(\zeta_8) = 2$.

Análise de Casos (Prova por Contradição)

A prova envolve uma análise exaustiva de todas as possíveis classes de homologia $(\alpha, \beta)$ para os discos slice:

1. Redução Simétrica: Usam simetrias de $S^2 \times S^2$ para reduzir o espaço de busca das classes de homologia.
2. Restrição de Gênero: Eliminam famílias infinitas de classes de homologia que não podem ser representadas por superfícies de gênero 2 (necessárias para a soma dos nós $A \# B$).
3. Obstrução por Assinatura: Para as famílias restantes e casos esporádicos, aplicam as desigualdades de assinatura de Levine-Tristram. Mostram que, para as classes de homologia remanescentes, as assinaturas calculadas violam as desigualdades impostas pelo teorema, gerando contradições.

Exemplo Concreto

Identificam o nó $K = m(7_2)$ (espelho do nó $7_2$) como satisfazendo todas as condições (A2-A8). Ao construir o link com$A=B=K$ e torções adequadas, obtêm um exemplo explícito de link não slice.

4. Significado e Aplicações

Detecção de $S^2 \times S^2$ Exóticos

A principal implicação do trabalho é a possibilidade de detectar variedades exóticas.

• Proposição 4.1: Se um link $L$ não é slice em $S^2 \times S^2$, mas é slice em uma variedade $X$ construída via cirurgia em $L$ (com certas condições de spin e homologia), então $X$ é homeomorfa a $S^2 \times S^2$ (pela classificação de Freedman), mas não difeomorfa a ela.
• Diferentemente do caso $\mathbb{CP}^2 \# \mathbb{CP}^2$ (tratado em trabalho anterior dos mesmos autores), a construção em $S^2 \times S^2$ exige que as estruturas de framing sejam pares, o que impede que o espaço de fronteira seja uma esfera de homologia inteira, mas permite que seja uma esfera de homologia racional.

Distinção entre Categoria Suave e Topológica

O trabalho destaca que a prova de Miyazaki e Yasuhara (topológica) não se aplica aqui porque seus argumentos exigem assinaturas nulas mod 8, o que não é satisfeito pelo link construído. Como a prova dos autores depende da função de gênero suave, o link pode ser slice na categoria topológica, mas não na suave. Essa distinção é vital para a teoria de variedades exóticas.

Conclusão

O artigo fornece uma prova rigorosa e construtiva da existência de links não suavemente slice em $S^2 \times S^2$, utilizando uma combinação sofisticada de invariantes de nós (assinaturas, Arf, gênero) e topologia de dimensão 4. Este resultado abre caminho para a construção de exemplos concretos de $S^2 \times S^2$ exóticos, preenchendo uma lacuna importante na compreensão da estrutura suave das 4-variedades.