El genoma del cristal aperiódico: el álgebra descifra el orden oculto ✛ ✎

Un electrón se sumerge en un cristal, cambiando su energía sobre la marcha. En una red ordinaria, ve una sucesión de bandas permitidas y brechas prohibidas: es el abecé de los semiconductores. Pero en un cuasicristal, el patrón atómico nunca se repite exactamente. El espectro también está surcado de brechas, y dentro de cualquier brecha la densidad de estados electrónicos es constante. ¿Qué valores puede tomar? La respuesta, según resultó, está escrita en la topología del propio patrón, casi como el código genético determina la forma de una proteína.

Hace cuarenta años, Jean Bellissard demostró que la clave reside en la K-teoría de las C*-álgebras (álgebras de operadores que generalizan los números complejos) y en las homologías del espacio de módulos del grupoide (generalización de grupo donde la multiplicación no está definida para todos los pares). Sin embargo, una descripción algebraica precisa seguía siendo esquiva. El nuevo trabajo de Hiroki Matsui propone un método unificado: la secuenciación del genoma aperiódico. Él estudia sistemas dinámicos — acciones de grupos poli-Z sobre conjuntos de Cantor, ejemplos clásicos de topología. En lugar de calcular directamente los K-grupos, Matsui tiende puentes hacia las homologías mediante sucesiones exactas (cadenas de aplicaciones donde la imagen coincide con el núcleo).

Para grupos poli-Z con longitud de Hirsch hasta 4, el método ofrece un panorama casi completo. En los casos unidimensional y bidimensional, la hipótesis HK se cumple exactamente: la K-teoría es isomorfa a la suma de homologías, y el gap-labelling da números enteros. Para la acción tridimensional de Z³, se demuestra por primera vez de forma rigurosa la hipótesis HK integral. Para sistemas más complejos aparece el factor ½, y el obstáculo siempre tiene orden 2 — es un eco de las transposiciones en el grupo topológico pleno. Las ideas de Poincaré (dualidad), Hilbert (espacios abstractos) y von Neumann (álgebras de operadores) impregnan toda la construcción.

El método también revela por qué las versiones racionales de las hipótesis se cumplen ampliamente, mientras que las integrales no: los obstáculos tienen torsión de orden 2. Para eliminar el maldito ½, podría ser necesario el determinante de de la Harpe–Skandalis o una sucesión espectral más fina. Queda por delante comprobar la hipótesis HK para grupos de longitud de Hirsch 5 y trasladar la técnica a grupoides con torsión. El objetivo a largo plazo es la clasificación de los propios patrones aperiódicos según su «genoma» espectral. El genoma del cristal aperiódico está casi leído; solo falta corregir unos pocos errores en los codones.