Forester's lattices and small non-Leighton complexes

Los autores construyen dos complejos CW, $K$ y $L$, que comparten un recubrimiento común no finito, donde $K$ es homeomorfo a un complejo con una única celda 2.

Lo esencial

Imagina que las matemáticas, y en particular la topología (el estudio de las formas y espacios), es como un mundo de mapas y maquetas. Los autores de este artículo, Natalia Dergacheva y Anton Klyachko, han descubierto un fenómeno muy extraño y fascinante que rompe una regla que los matemáticos creían sólida.

Aquí tienes la explicación de su descubrimiento usando analogías sencillas:

1. La Regla del "Doble de la Ropa" (El Teorema de Leighton)

Imagina que tienes dos camisetas diferentes, la Camiseta K y la Camiseta L.

• La Camiseta K es un diseño simple con un solo dibujo grande en el frente.
• La Camiseta L es un diseño más complejo con varios dibujos y costuras.

En el mundo de los grafos (dibujos simples de puntos y líneas), existe una regla famosa llamada el Teorema de Leighton. Dice algo así como: "Si dos camisetas diferentes pueden ser cubiertas por la misma tela gigante (un patrón de tela que se repite infinitamente), entonces también pueden ser cubiertas por una tela finita (un trozo de tela que se puede doblar y guardar en una caja)".

Básicamente, si dos formas comparten un "abuelo" común, también comparten un "abuelo" pequeño y manejable.

2. El Problema: ¿Funciona esto con formas 3D?

Los matemáticos sabían que esta regla fallaba si las camisetas tenían más de una capa (en 2 dimensiones). Ya se habían encontrado ejemplos donde dos formas compartían un "abuelo" gigante, pero no tenían un "abuelo" pequeño. Sin embargo, estos ejemplos eran muy "gordos": necesitaban muchos dibujos (celdas) para funcionar.

La gran pregunta era: ¿Podemos hacer esto con la forma más simple posible? ¿Podemos tener una camiseta con solo un dibujo que, al modificarla un poquito, rompa la regla?

3. La Solución: El Experimento de los Autores

Dergacheva y Klyachko dicen: "¡Sí!". Han creado un par de formas (K y L) que cumplen esta condición extraña.

• La Forma K (La Simple): Es como una pelota de papel con un solo dibujo pegado. Es muy simple.
• La Forma L (La Compleja): Es un poco más intrincada, con más costuras y dibujos.

Lo increíble es esto:

1. Ambas formas pueden ser "cubiertas" por la misma tela infinita (un espacio universal que se repite para siempre). Imagina que si desenrollas ambas camisetas, se convierten en la misma tela infinita.
2. PERO, no existe ninguna tela finita (un trozo de tela normal) que pueda cubrir a ambas al mismo tiempo.

4. La Analogía de la "División del Pastel"

El truco que usan los autores es muy ingenioso.
Imagina que tienes un pastel redondo (la forma K) con un solo dibujo en el centro.

• Ellos toman ese pastel y hacen un corte muy pequeño (añaden una línea o "borde") que divide el dibujo en dos partes.
• De repente, ese pastel simple se convierte en una forma diferente (la forma L, o una variante cercana).

Lo sorprendente es que ese corte minúsculo cambia todo el destino matemático del objeto. Antes del corte, la forma era "amigable" y seguía las reglas normales. Después del corte, se vuelve "rebelde" y rompe la regla de Leighton. Es como si cortar una sola hebra de un suéter hiciera que el suéter ya no pudiera ser reparado de la misma manera que antes.

5. ¿Por qué es importante?

Este descubrimiento es como encontrar la pieza más pequeña posible de un rompecabezas que rompe una ley de la física.

• Antes, pensábamos que necesitábamos estructuras muy grandes y complejas para romper esta regla.
• Ahora sabemos que incluso con la estructura más pequeña posible (una forma que es casi idéntica a una con un solo dibujo), la regla falla.

Además, han demostrado que las "raíces" matemáticas (los grupos fundamentales) de estas dos formas son tan diferentes que, aunque comparten el mismo "abuelo" infinito, sus "familias" no pueden mezclarse en un tamaño finito. Es como si dos familias tuvieran el mismo ancestro lejano, pero sus ramas familiares fueran tan distintas que nunca podrían reunirse en una sola casa pequeña.

En resumen

Los autores han construido dos objetos matemáticos, uno muy simple y otro un poco más complejo, que son "primos" lejanos en el infinito, pero no pueden compartir un "hogar" finito. Han demostrado que la complejidad necesaria para romper esta regla es mínima, casi inexistente, lo cual es una sorpresa enorme para los matemáticos que estudian estas formas.

Es un hallazgo elegante que dice: "No necesitas un monstruo gigante para romper las reglas; a veces, un pequeño corte en un objeto simple es suficiente".

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Forester's Lattices and Small Non-Leighton Complexes" (Retículos de Forester y Complejos No-Leighton Pequeños), escrito por Natalia S. Dergacheva y Anton A. Klyachko.

1. Planteamiento del Problema

El artículo aborda una generalización del Teorema de Leighton (1982), el cual establece que si dos grafos finitos tienen un recubrimiento común, entonces tienen un recubrimiento común finito.

• Contexto: Para complejos CW de dimensión 2, esta afirmación es falsa. Se conocen ejemplos de "pares no-Leighton" (dos complejos CW finitos que comparten un recubrimiento común, pero no uno finito).
• Estado del arte previo:
  • El primer ejemplo conocido ([Wis96], [Wis07]) requería seis 2-celdas en cada complejo.
  • Este número se redujo a cuatro ([JaW09]) y luego a dos ([DK23], [DK24]).
• La pregunta abierta: ¿Existe un par no-Leighton donde al menos uno de los complejos tenga una sola 2-celda?
• Objetivo del trabajo: Proporcionar una respuesta casi definitiva a esta pregunta construyendo un par no-Leighton $(K, L)$ donde $K$ es homeomorfo a un complejo con una sola 2-celda, aunque técnicamente se construye con dos celdas que se subdividen.

2. Metodología

Los autores utilizan herramientas de la topología algebraica y la teoría de grupos, específicamente:

1. Construcción de Complejos CW: Definen explícitamente dos complejos 2-dimensionales, $K$ y $L$, basándose en presentaciones de grupos y estructuras de recubrimiento.
2. Teoría de Grupos (Grupos de Baumslag-Solitar): Analizan los grupos fundamentales $\pi_1(K)$ y $\pi_1(L)$. Utilizan la clasificación de grupos de Baumslag-Solitar ($BS(n, m)$) hasta conmensurabilidad.
3. Técnicas de Presentación de Grupos:
   • Aplican transformaciones de Tietze para simplificar presentaciones.
   • Utilizan el método de Schreier (transversales de Schreier) para calcular subgrupos de índice finito y sus generadores y relaciones.
4. Geometría de Recubrimientos: Construyen explícitamente el recubrimiento universal común utilizando la estructura de un árbol regular dirigido y su producto cartesiano con la recta real ($T \times \mathbb{R}$), siguiendo la construcción de los "retículos de Forester" descritos en [Fo24].

3. Contribuciones Clave y Resultados

A. Construcción del Par No-Leighton $(K, L)$

• El complejo $K$:

  • Se define inicialmente con dos 2-celdas basadas en la presentación $\langle c, d, z \mid c^{-1}dc^2 = z = cdc^{-2} \rangle$.
  • Propiedad crucial: Este complejo es homeomorfo al complejo estándar de una sola 2-celda para la presentación del grupo de Baumslag-Solitar $BS(2, 4) = \langle c, d \mid c^2d = c^4 \rangle$.
  • El grupo fundamental es $\pi_1(K) \cong BS(2, 4)$.
  • Nota: El complejo original de una celda es Leighton (no puede ser parte de un par no-Leighton), pero la subdivisión de su 2-celda (añadiendo una arista) crea el complejo $K$ que sí participa en el par no-Leighton. Este es el primer ejemplo donde una subdivisión celular causa tal efecto dramático.

• El complejo $L$:

  • Contiene dos vértices (negro y blanco), seis aristas y cuatro 2-celdas ($A, B, C, D$).
  • Su grupo fundamental tiene una presentación que, tras simplificaciones, resulta ser conmensurable con $BS(4, 16)$.

B. Demostración de que no existe un recubrimiento común finito

La prueba se basa en la incomensurabilidad de sus grupos fundamentales:

1. Se demuestra que $\pi_1(K) \cong BS(2, 4)$.
2. Mediante el cálculo del subgrupo de índice 2 en $\pi_1(L)$, se demuestra que $\pi_1(L)$ es conmensurable con $BS(4, 16)$.
3. Se invoca un resultado conocido ([CKZ21], [Fo24]): Los grupos $BS(2, 4)$ y $BS(4, 16)$ son incomensurables (ningún subgrupo de índice finito del primero es isomorfo a un subgrupo de índice finito del segundo).
4. Conclusión: Si existiera un recubrimiento común finito, sus grupos fundamentales tendrían que ser conmensurables. Al no serlo, no existe tal recubrimiento.

C. Demostración de que los recubrimientos universales son isomorfos

Los autores demuestran que ambos complejos son recubiertos por el mismo espacio: el complejo de Baumslag-Solitar $X_{2,4}$ (descrito en [Fo24]).

• Estructura de $X_{2,4}$: Es el producto cartesiano $T \times \mathbb{R}$, donde $T$ es un árbol dirigido regular con grado de salida 2 y grado de entrada 4.
• Recubrimiento $X_{2,4} \to K$: Mapea todos los vértices a un único vértice y las aristas/celdas según la paridad de los índices en el árbol.
• Recubrimiento $X_{2,4} \to L$: Utiliza una coloración de dos colores (negro/blanco) en el árbol $T$. Las aristas y celdas se mapean a las celdas de $L$ ($A, B, C, D$) dependiendo de la dirección de la arista en el árbol y valores de paridad específicos ($\gamma, \delta$).
• Se verifica explícitamente que estos mapeos son recubrimientos válidos.

4. Significado e Impacto

1. Respuesta a una pregunta abierta: El trabajo proporciona un "casi" ejemplo de un par no-Leighton con una sola 2-celda. Aunque $K$ se construye con dos celdas, es homeomorfo a uno con una, lo que representa un avance significativo sobre los ejemplos anteriores que requerían múltiples celdas.
2. Propiedades Extremas:
   • $K$ es el ejemplo mínimo conocido en términos de número de 2-celdas (2 celdas, homeomorfo a 1).
   • $L$ es un complejo más grande (4 celdas), pero el par es el más pequeño conocido donde uno de los complejos es "casi" de una celda.
3. Implicaciones en Teoría de Grupos:
   • Refuerza el teorema de Bridson-Shepherd: En un par no-Leighton, los grupos fundamentales no pueden ser libres (ni virtualmente libres). Aquí, $\pi_1(K)$ es un grupo de una relación (one-relator) y $\pi_1(L)$ es conmensurable con uno.
   • Abre la puerta a la pregunta: ¿Existe un par donde ambos grupos sean de una relación? (El artículo no resuelve esto, pero establece un caso límite).
4. Simplicidad de la Prueba: Los autores destacan que su construcción es una consecuencia directa de los argumentos de Max Forester ([Fo24]), pero la presentan de manera casi autocontenida, haciendo accesible el resultado a una audiencia más amplia de topólogos y teóricos de grupos.

En resumen, el artículo logra construir un contraejemplo minimalista a la generalización del teorema de Leighton para complejos 2-dimensionales, utilizando la estructura de los grupos de Baumslag-Solitar y la geometría de los retículos de Forester para demostrar la existencia de un recubrimiento universal común pero la ausencia de un recubrimiento común finito.