Simple homotopy types of even dimensional manifolds

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la topología de variedades: la distinción entre equivalencia de homotopía y equivalencia de homotopía simple.

• Contexto Histórico: En dimensiones impares (especialmente $\ge 5$), ya se conocían ejemplos de variedades que son equivalentes por homotopía pero no por homotopía simple (como los espacios lentes $L(7,1)$ y $L(7,2)$ en dimensión 3). Sin embargo, para dimensiones pares $n \ge 4$, no existían ejemplos conocidos de variedades cerradas con esta propiedad.
• La Pregunta Central: ¿Existen variedades cerradas de dimensión par $n \ge 4$ que sean homotópicamente equivalentes pero no simplemente homotópicamente equivalentes? Si existen, ¿cuál es la estructura del conjunto de todos los tipos de homotopía simple dentro de una clase de homotopía dada?
• Definición del Objeto de Estudio: Los autores introducen el conjunto de variedades de homotopía simple ($M^h_s(M)$), definido como el conjunto de variedades $N$ equivalentes por homotopía a una variedad dada $M$, módulo la relación de equivalencia de homotopía simple. El objetivo es caracterizar este conjunto y determinar cuándo es no trivial, finito o infinito.

2. Metodología

La estrategia de los autores combina herramientas de la topología algebraica, la teoría de la cirugía y la teoría de representaciones integrales/teoría de números.

A. Caracterización Algebraica (Teorema B)

Los autores establecen una caracterización algebraica de los conjuntos de variedades de homotopía simple utilizando:

1. El Grupo de Whitehead ($Wh(G)$): Donde $G = \pi_1(M)$.
2. Automorfismos de Homotopía ($hAut(M)$): La acción de estos automorfismos sobre el grupo de Whitehead.
3. Obstrucciones de Cirugía: Utilizan la secuencia exacta de cirugía de Browder-Novikov-Sullivan-Wall y la secuencia exacta de Ranicki-Rothenberg.

Definen subgrupos específicos del grupo de Whitehead equipados con una involución determinada por el carácter de orientación $w$:

• $J_n(G, w) = \{y \in Wh(G, w) \mid y = -(-1)^n y\}$
• $I_n(G, w) = \{x - (-1)^n x \mid x \in Wh(G, w)\}$

El Teorema B establece que estos conjuntos de variedades se corresponden biyectivamente con órbitas de la acción de $hAut(M)$ sobre ciertos cocientes de $Wh(G, w)$ relacionados con los grupos de obstrucción de cirugía $L_n$.

B. Elección de Ejemplos: $S^1 \times L$

Para construir los ejemplos, los autores eligen variedades de la forma $M = S^1 \times L$, donde $L$ es un espacio lentes de dimensión impar ($n-1$) con grupo fundamental cíclico $C_m$.

• La elección de $S^1 \times L$ es crucial porque su grupo fundamental es $G = C_\infty \times C_m$.
• Esto permite descomponer el grupo de Whitehead $Wh(C_\infty \times C_m)$ utilizando el Teorema de Descomposición 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$$

C. Análisis Algebraico y Numérico

El núcleo de la prueba reside en el análisis de la involución sobre el grupo $\tilde{K}_0(\mathbb{Z}C_m)$ (el grupo de clases de proyectivos reducidos).

• Se utiliza la teoría de grupos de clases de ideales de campos ciclotómicos $\mathbb{Q}(\zeta_m)$.
• Se analizan las partes "menos" ($h_m^-$) y "más" ($h_m^+$) de los números de clase.
• Se emplean resultados profundos de la teoría de números (teoremas de Horie, Iwasawa, y divisibilidad de números de clase) para determinar cuándo estos grupos son triviales, finitos o infinitos bajo la acción de la involución.

3. Contribuciones Clave

1. Primeros Ejemplos en Dimensión Par: Los autores construyen la primera familia infinita de variedades cerradas, orientables y conexas de dimensión par ($n \ge 4$) que son equivalentes por homotopía pero no por homotopía simple.
   • Si $n > 4$, las variedades pueden ser suaves ($Diff$).
   • Si $n = 4$, son topológicas ($TOP$).
2. Caracterización Completa de $M^h_s(M)$: Proporcionan una fórmula explícita para el tamaño del conjunto de variedades de homotopía simple para $M = S^1 \times L$, dependiendo únicamente de $n$ y del orden $m$ del grupo fundamental del espacio lentes.
3. Conexión con Teoría de Números: Establecen una relación directa entre la topología de variedades de dimensión par y la aritmética de campos ciclotómicos, específicamente a través de la divisibilidad de los números de clase y la estructura de los grupos $NK_1$.

4. Resultados Principales

Teorema A (Existencia)

Para todo $n \ge 4$ par, existe una colección infinita de variedades cerradas que son homotópicamente equivalentes pero no simplemente homotópicamente equivalentes.

• Condición: Esto ocurre si y solo si $m$ (el orden del grupo cíclico del espacio lentes) no es libre de cuadrados (es decir, $m$ tiene un factor primo cuadrado, ej. $m=4$). En este caso, el grupo $NK_1(\mathbb{Z}C_m)$ es infinito, lo que genera infinitos tipos de homotopía simple.

Teoremas C, D y E (Estructura Cuantitativa)

Los autores determinan exactamente cuándo el conjunto $M^h_s(M)$ es trivial, finito o infinito, y cómo crece asintóticamente:

• Trivialidad ($|M^h_s(M)| = 1$): Ocurre para un conjunto finito de valores de $m$ (ej. $m \in \{2, 3, 5, 6, 7, 10, 11, 13, 14, 17, 19\}$). Esto depende de si la parte "menos" del número de clase del campo ciclotómico es 1.
• Infinitud: Ocurre si $m$ no es libre de cuadrados.
• Crecimiento Asintótico:
  • El tamaño del conjunto tiende a infinito a medida que $m \to \infty$, uniformemente en $n$.
  • El crecimiento es super-exponencial en $m$ para los conjuntos de variedades que son h-cobordantes ($M^h_{s, hCob}$).
  • Se demuestra que existen infinitos $m$ para los cuales el conjunto es trivial, pero el supremo del tamaño del conjunto sobre $n$ crece exponencialmente.

Teorema sobre Automorfismos

Demuestran que todos los automorfismos de homotopía de $S^1 \times L$ son simples (tienen torsión de Whitehead cero). Esto simplifica el análisis, ya que la acción del grupo de automorfismos sobre el grupo de Whitehead se factoriza a través de la acción de los automorfismos del grupo fundamental $\pi_1$.

5. Significado e Impacto

• Resolución de una Conjetura Abierta: El trabajo cierra una brecha significativa en la clasificación de variedades, demostrando que la distinción entre homotopía y homotopía simple no es exclusiva de las dimensiones impares.
• Nuevas Herramientas: Introduce un marco robusto que combina la secuencia de cirugía, la teoría de cobordismo $s$-cobordismo y la teoría de representaciones integrales para estudiar conjuntos de variedades.
• Interdisciplinariedad: El artículo es un ejemplo destacado de cómo problemas profundos en topología geométrica requieren el uso de resultados avanzados de teoría de números (específicamente sobre números de clase de campos ciclotómicos y la conjetura de Iwasawa).
• Implicaciones para Dimensión 4: Aunque el caso $n=4$ requiere consideraciones topológicas especiales (grupos "buenos" de Freedman), los resultados se aplican a variedades topológicas de dimensión 4, ofreciendo los primeros ejemplos en esta dimensión crítica.

En resumen, el paper no solo resuelve un problema de existencia, sino que proporciona una descripción cuantitativa detallada de la complejidad de los tipos de homotopía simple en dimensiones pares, revelando una riqueza estructural inesperada ligada a la aritmética de los números enteros.