Simple homotopy types of even dimensional manifolds

1. O Problema

O artigo aborda um problema fundamental na topologia de variedades: a distinção entre equivalência homotópica e equivalência homotópica simples.

• Contexto Histórico: Em dimensões ímpares (como espaços lentes $L(p,q)$), já se sabia que existem variedades que são homotopicamente equivalentes, mas não homeomorfas, e que a classificação até homeomorfismo coincide com a classificação até equivalência homotópica simples. A diferença entre os dois conceitos é medida pelo torção de Whitehead ($\tau$), que vive no grupo de Whitehead $Wh(\pi_1)$.
• A Lacuna: Enquanto existem exemplos abundantes em dimensões ímpares ($n \ge 5$) de variedades que são homotopicamente equivalentes, mas não simplesmente equivalentes, a existência de tais exemplos em dimensões pares ($n \ge 4$) era uma questão em aberto.
• Objetivo: O objetivo principal é construir e caracterizar famílias infinitas de variedades fechadas, orientáveis e de dimensão par ($n \ge 4$) que são homotopicamente equivalentes, mas pertencem a classes distintas de equivalência homotópica simples.

2. Metodologia

Os autores utilizam uma abordagem que combina topologia algébrica de alta dimensão (teoria de cirurgia) com teoria de representação integral e teoria dos números (grupos de classe de ideais).

A. Estrutura Algébrica e Conjuntos de Variedades

Os autores definem e estudam três conjuntos de variedades relacionadas a uma variedade $M$:

1. $\mathcal{M}^h_s(M)$: Variedades homotopicamente equivalentes a $M$, módulo equivalência homotópica simples.
2. $\mathcal{M}^{hCob}_s(M)$: Variedades $h$-cobordantes a $M$, módulo equivalência homotópica simples.
3. $\mathcal{M}^h_{s,hCob}(M)$: Variedades homotopicamente equivalentes a $M$, módulo a relação gerada por equivalência homotópica simples e $h$-cobordismo.

B. Teorema de Caracterização (Teorema B)

O coração da metodologia é o Teorema B, que caracteriza esses conjuntos em termos de:

• O Grupo de Whitehead $Wh(G, w)$ do grupo fundamental $G = \pi_1(M)$, equipado com uma involução induzida pelo caráter de orientação $w$.
• Subgrupos específicos definidos pela involução: $J_n(G, w)$ e $I_n(G, w)$.
• O grupo de cohomologia de Tate $\hat{H}^{n+1}(C_2; Wh(G, w))$.
• O grupo de automorfismos homotópicos $hAut(M)$ e sua ação sobre o grupo de Whitehead.
• O mapa de obstrução de cirurgia $\sigma_s$.

O teorema estabelece que o tamanho desses conjuntos depende da órbita da ação de $hAut(M)$ sobre certos subconjuntos do grupo de Whitehead.

C. Escolha das Variedades de Estudo

Para realizar os cálculos explícitos, os autores focam em variedades da forma $M = S^1 \times L$, onde $L$ é um espaço lente de dimensão $n-1$ com grupo fundamental cíclico $C_m$.

• Por que $S^1 \times L$? O grupo fundamental é $C_\infty \times C_m$. A estrutura do grupo de Whitehead para este grupo é bem compreendida através do Teorema de Decomposição de Bass-Heller-Swan:
  $$Wh(C_\infty \times G) \cong Wh(G) \oplus \tilde{K}_0(\mathbb{Z}G) \oplus NK_1(\mathbb{Z}G)^2$$
• Análise de Automorfismos: Eles provam que todos os automorfismos homotópicos de $S^1 \times L$ são simples (torção zero) e determinam exatamente quais automorfismos do grupo fundamental são realizáveis geometricamente. Isso reduz o problema ao estudo da ação de um subgrupo de $Aut(C_\infty \times C_m)$ sobre os grupos algébricos.

D. Ferramentas de Teoria dos Números

A parte mais técnica reside na análise da involução no grupo reduzido $\tilde{K}_0(\mathbb{Z}C_m)$.

• Eles relacionam $\tilde{K}_0(\mathbb{Z}C_m)$ ao grupo de classe de ideais de corpos ciclotômicos $\mathbb{Q}(\zeta_m)$.
• Utilizam a decomposição do grupo de classe em partes "mais" e "menos" ($h_m = h_m^+ h_m^-$).
• A prova depende profundamente de resultados sobre a paridade e o crescimento das classes de ideais (números de classe $h_m^-$) em corpos ciclotômicos, utilizando resultados de Horie, Iwasawa e outros.

3. Contribuições Principais

1. Primeiros Exemplos em Dimensão Par: A construção dos primeiros exemplos de variedades fechadas de dimensão par ($n \ge 4$) que são homotopicamente equivalentes, mas não simplesmente equivalentes.
2. Famílias Infinitas: Demonstração de que existem famílias infinitas de tais variedades.
3. Classificação Completa para $S^1 \times L$: Uma caracterização precisa e quantitativa de quando o conjunto de tipos de homotopia simples é trivial, finito ou infinito para produtos de círculo e espaços lentes.
4. Conexão Profunda com Teoria dos Números: A descoberta de que a cardinalidade desses conjuntos topológicos está diretamente ligada a propriedades aritméticas dos números de classe de corpos ciclotômicos (especificamente a parte "menos" do número de classe $h_m^-$).

4. Resultados Chave

• Teorema A: Para todo $n \ge 4$ par, existe uma coleção infinita de variedades fechadas, conexas e orientáveis que são homotopicamente equivalentes, mas pareadas não são simplesmente equivalentes. Se $n > 4$, podem ser escolhidas suaves; se $n=4$, são topológicas.
• Teorema C (Tamanho do Conjunto $\mathcal{M}^h_s$): Para $M = S^1 \times L$ com $\pi_1(L) \cong C_m$:
  • O conjunto é trivial (tamanho 1) se e somente se $m \in \{2, 3, 5, 6, 7, 10, 11, 13, 14, 17, 19\}$.
  • O conjunto é infinito se e somente se $m$ não for livre de quadrados (ex: $m=4, 8, 9, 12...$).
  • O tamanho tende ao infinito super-exponencialmente conforme $m \to \infty$.
• Teorema D (Conjunto $h$-cobordante): Resultados similares para variedades que são $h$-cobordantes, com uma lista ligeiramente diferente de valores de $m$ para os quais o conjunto é trivial (incluindo $m=15, 29$).
• Teorema E (Fatorando por $h$-cobordismo): Ao considerar a relação gerada por equivalência simples e $h$-cobordismo, o comportamento é mais complexo:
  • Existem infinitos $m$ para os quais o conjunto é trivial para todo $n$.
  • No entanto, o limite superior do ínfimo do tamanho do conjunto sobre $n$ tende ao infinito exponencialmente com $m$.

5. Significado e Impacto

• Resolução de uma Questão Aberta: O trabalho fecha uma lacuna significativa na classificação de variedades, mostrando que o fenômeno de "homotopia vs. homotopia simples" não é exclusivo de dimensões ímpares.
• Novas Ferramentas para Topologia: A aplicação de teoria de representação integral e teoria de números (especificamente a análise de grupos de classe de ideais e números de classe de corpos ciclotômicos) para resolver problemas de topologia de variedades de dimensão par é uma contribuição metodológica inovadora.
• Compreensão de $h$-cobordismo: O artigo esclarece a relação entre $h$-cobordismo e equivalência homotópica simples em dimensões pares, mostrando que, embora o teorema $s$-cobordismo seja uma ferramenta poderosa, a existência de torção de Whitehead não trivial em dimensões pares cria uma riqueza de estruturas topológicas distintas que não são detectadas apenas pela homotopia.
• Aplicabilidade: Os resultados fornecem critérios explícitos para determinar a complexidade do conjunto de tipos de homotopia simples, o que é crucial para a classificação de variedades em dimensões superiores.

Em resumo, o artigo demonstra que a topologia de variedades de dimensão par é tão rica e complexa quanto a de dimensão ímpar, revelando uma conexão profunda e inesperada entre a geometria de variedades e a aritmética de corpos de números.