Non-crystallographic systems of integers over composition algebras

Resumen Técnico: Sistemas No Cristalográficos de Enteros sobre Álgebras de Composición

Enunciado del Problema
El artículo aborda la estructura aritmética de los elementos integrales dentro de las álgebras de división normadas reales ($\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$). Mientras que los sistemas de enteros cristalográficos clásicos (por ejemplo, enteros de Gauss, Eisenstein, Hurwitz y Coxeter–Dickson) se comprenden bien como retículos sobre el anillo de los enteros $\mathbb{Z}$, los casos no cristalográficos —específicamente aquellos asociados a los sistemas de raíces $H_2, H_3,$ y $H_4$— presentan una brecha estructural. En estos casos, los coeficientes de Cartan no son enteros, sino que residen en el anillo áureo $\mathbb{Z}[\phi]$. En consecuencia, la definición estándar de un orden (que requiere un retículo sobre $\mathbb{Z}$) falla al capturar la geometría aritmética correcta. El artículo busca formalizar un marco axiomático para los "sistemas de enteros no cristalográficos" sustituyendo el requisito de retículo por una condición de "caparazón de raíces finito" sobre $\mathbb{Z}[\phi]$.

Metodología
El autor emplea un enfoque de tres niveles para separar y analizar los componentes de estos sistemas:

1. Separación Axiomática: La obra distingue entre tres objetos distintos a menudo confundidos en la literatura clásica: el orden infinito completo, el caparazón multiplicativo finito de unidades y el sistema de raíces transportado por un caparazón finito distinguido.
2. Marco Aritmético: El estudio utiliza el anillo de enteros del cuerpo cuadrático real $K = \mathbb{Q}(\sqrt{5})$, denotado $\mathbb{Z}[\phi]$, donde $\phi = (1+\sqrt{5})/2$. Define sistemas de caparazones de raíces integrales no cristalográficos como pares $(\mathcal{O}, S)$ donde $\mathcal{O}$ es un orden sobre $\mathbb{Z}[\phi]$ y $S$ es un subconjunto finito que satisface condiciones específicas de reflexión e integralidad (coeficientes de Cartan en $\mathbb{Z}[\phi]$).
3. Construcción mediante Doblado de Cayley–Dickson: El artículo construye un "orden débil de octoniones áureos" ($G$) aplicando el proceso de doblado de Cayley–Dickson al anillo icósico ($I$).
4. Análisis de Obstrucción: El autor prueba rigurosamente si este orden débil puede extenderse a un orden "fuerte" de octoniones áureos indecomponible (análogo al caso $E_8$ de Coxeter–Dickson). Esto implica búsquedas computacionales exhaustivas sobre líneas proyectivas en espacios cociente $(\mathbb{Z}[\phi]/2)^8$ y $(\mathbb{Z}[\phi]/\sqrt{5})^8$ para probar "uniones" (extensiones fraccionarias) válidas bajo convenciones tanto estrictas de integralidad de norma como relajadas de integralidad de traza.

Contribuciones y Resultados Clave

• Formalización Axiomática: El artículo define un "sistema de caparazones de raíces integrales no cristalográficos" preciso (Definición 6.1). Establece que para los casos no cristalográficos, el anillo de coeficientes natural es $\mathbb{Z}[\phi]$ y el objeto geométrico relevante es un caparazón de raíces finito, no un retículo $\mathbb{Z}$.
• Recuperación de Casos Clásicos: El marco recupera exitosamente ejemplos cristalográficos conocidos (Gauss, Eisenstein, Hurwitz, Coxeter–Dickson) y ejemplos no cristalográficos ($H_2$ mediante enteros ciclotómicos, $H_4$ mediante el anillo icósico) variando el anillo de coeficientes y las restricciones del caparazón.
• Construcción del Orden Débil de Octoniones Áureos:
  • El autor construye $G = I \oplus I\ell$, un orden $\mathbb{Z}[\phi]$-libre de rango 8 en los octoniones sobre $K$.
  • El caparazón finito de $G$ consta de 240 elementos, realizando el sistema de raíces reducible $H_4 \oplus H_4$.
  • Crucialmente, aunque el caparazón es descomponible (dos copias ortogonales de $H_4$), el orden $G$ en sí mismo es genuinamente octoniónico (no asociativo), como lo demuestra un asociador no nulo $[i, j, \ell] \neq 0$.
• Teoremas de Imposibilidad para Extensiones Más Fuertes: El artículo demuestra que el orden débil $G$ no puede ampliarse a un orden de octoniones áureos más fuerte e indecomponible bajo condiciones naturales de integralidad:
  • Integralidad Estricta de Norma: El orden $G$ es autodual con respecto al emparejamiento de norma polar ($G^\#_0 = G_0$). Por lo tanto, no admite ningún sobreen orden estrictamente integral de norma.
  • Uniones de Denominador Dos: La enumeración exhaustiva de 21.845 líneas proyectivas en el espacio cociente de denominador dos muestra que ningún candidato satisface las pruebas de coseto mixto, conjugación y emparejamiento integral.
  • Denominador Ramificado ($\sqrt{5}$): Ningún subespacio no nulo en el cociente de denominador $\sqrt{5}$ satisface la condición de emparejamiento polar.
  • Integralidad de Traza (Relajada): Incluso bajo la convención relajada de "integralidad de traza" (donde solo la traza racional de la norma debe ser entera), no existe ninguna unión isotrópica estable dentro de la primera torre de discriminantes. La "ansatz de semirraíz mixta" falla porque la traza de la norma de los elementos resultantes del módulo no es entera.

Significado y Afirmaciones
El artículo reclama una contribución modesta pero precisa a la aritmética de las álgebras de composición y los cuasicristales:

1. Clarificación de la Estructura: Aísla los ingredientes axiomáticos precisos requeridos para definir enteros no cristalográficos, resolviendo la confusión entre órdenes infinitos, caparazones finitos y grupos de unidades en el contexto de la razón áurea.
2. Limitación de la Analogía: Demuestra que, aunque la analogía entre $E_8$ cristalográfico (Coxeter–Dickson) y $H_4$ no cristalográfico (Icósico) se mantiene para la estructura del caparazón, se rompe al intentar construir un único orden de octoniones "Coxeter–Dickson áureo" indecomponible. El doble "débil" $G$ es el objeto máximo de este tipo dentro de la torre probada.
3. Aplicabilidad Física: El trabajo proporciona datos aritméticos exactos para modelos cuasicristalinos. El caparazón $H_2$ ofrece una base aritmética rigurosa para los teselados de Penrose (simetría decagonal), mientras que el caparazón $H_4$ y el orden débil de octoniones proporcionan el padre aritmético para los cuasicristales icosaédricos y un modelo de juguete no asociativo controlado para sectores icósicos acoplados.
4. Verificación Computacional: Todas las afirmaciones numéricas sobre la inexistencia de extensiones están respaldadas por cálculos de aritmética exacta (usando Python con números racionales, sin punto flotante), verificando la obstrucción de todas las posibles "uniones" en las torres de discriminantes relevantes.

El autor declara explícitamente que la obra no pretende producir una teoría fundamental de la materia ni una nueva red de octoniones áureos indecomponible, sino proporcionar el marco aritmético correcto y los límites para tales investigaciones.