Non-crystallographic systems of integers over composition algebras

Resumo Técnico: Sistemas Não Cristalinos de Inteiros sobre Álgebras de Composição

Declaração do Problema
O artigo aborda a estrutura aritmética dos elementos integrais dentro de álgebras de divisão normadas reais ($\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$). Enquanto os sistemas de inteiros cristalinos clássicos (por exemplo, inteiros de Gauss, Eisenstein, Hurwitz e Coxeter–Dickson) são bem compreendidos como reticulados sobre o anel dos inteiros $\mathbb{Z}$, os casos não cristalinos — especificamente aqueles associados aos sistemas de raízes $H_2, H_3,$ e $H_4$ — apresentam uma lacuna estrutural. Nestes casos, os coeficientes de Cartan não são inteiros, mas pertencem ao anel dourado $\mathbb{Z}[\phi]$. Consequentemente, a definição padrão de uma ordem (exigindo um reticulado sobre $\mathbb{Z}$) falha em capturar a geometria aritmética correta. O artigo busca formalizar uma estrutura axiomática para "sistemas de inteiros não cristalinos" substituindo o requisito de reticulado por uma condição de "casca de raízes finita" sobre $\mathbb{Z}[\phi]$.

Metodologia
O autor emprega uma abordagem de três níveis para separar e analisar os componentes desses sistemas:

1. Separação Axiomática: O trabalho distingue entre três objetos distintos frequentemente confundidos na literatura clássica: a ordem infinita completa, a casca unitária multiplicativa finita e o sistema de raízes carregado por uma casca finita distinta.
2. Estrutura Aritmética: O estudo utiliza o anel dos inteiros do corpo quadrático real $K = \mathbb{Q}(\sqrt{5})$, denotado $\mathbb{Z}[\phi]$, onde $\phi = (1+\sqrt{5})/2$. Define-se sistemas de casca de raízes integrais não cristalinos como pares $(\mathcal{O}, S)$ onde $\mathcal{O}$ é uma ordem sobre $\mathbb{Z}[\phi]$ e $S$ é um subconjunto finito satisfazendo condições específicas de reflexão e integralidade (coeficientes de Cartan em $\mathbb{Z}[\phi]$).
3. Construção via Duplicação de Cayley–Dickson: O artigo constrói uma "ordem octoniana dourada fraca" ($G$) aplicando o processo de duplicação de Cayley–Dickson ao anel icossiano ($I$).
4. Análise de Obstrução: O autor testa rigorosamente se essa ordem fraca pode ser estendida a uma ordem octoniana dourada "forte" e indecomponível (análoga ao caso $E_8$ de Coxeter–Dickson). Isso envolve buscas computacionais exaustivas sobre linhas projetivas em espaços quocientes $(\mathbb{Z}[\phi]/2)^8$ e $(\mathbb{Z}[\phi]/\sqrt{5})^8$ para testar "colagens" (extensões fracionárias) válidas sob ambas as convenções estritas de integralidade de norma e relaxadas de integralidade de traço.

Principais Contribuições e Resultados

• Formalização Axiomática: O artigo define um "sistema de casca de raízes integral não cristalino" preciso (Definição 6.1). Estabelece que, para casos não cristalinos, o anel de coeficientes natural é $\mathbb{Z}[\phi]$ e o objeto geométrico relevante é uma casca de raízes finita, não um reticulado $\mathbb{Z}$.
• Recuperação de Casos Clássicos: A estrutura recupera com sucesso exemplos cristalinos conhecidos (Gauss, Eisenstein, Hurwitz, Coxeter–Dickson) e exemplos não cristalinos ($H_2$ via inteiros ciclotômicos, $H_4$ via anel icossiano) variando o anel de coeficientes e as restrições da casca.
• Construção da Ordem Octoniana Dourada Fraca:
  • O autor constrói $G = I \oplus I\ell$, uma ordem $\mathbb{Z}[\phi]$-livre de posto 8 nos octonianos sobre $K$.
  • A casca finita de $G$ consiste em 240 elementos, realizando o sistema de raízes redutível $H_4 \oplus H_4$.
  • Crucialmente, embora a casca seja decomponível (duas cópias ortogonais de $H_4$), a ordem $G$ em si é genuinamente octoniana (não associativa), como evidenciado por um associador não nulo $[i, j, \ell] \neq 0$.
• Teoremas de Impossibilidade para Extensões Mais Fortes: O artigo prova que a ordem fraca $G$ não pode ser ampliada para uma ordem octoniana dourada mais forte e indecomponível sob condições naturais de integralidade:
  • Integralidade de Norma Estrita: A ordem $G$ é autodual em relação ao emparelhamento de norma polar ($G^\#_0 = G_0$). Assim, ela não admite nenhuma superordem estritamente integral de norma.
  • Colagens com Denominador Dois: A enumeração exaustiva de 21.845 linhas projetivas no espaço quociente de denominador dois mostra que nenhum candidato satisfaz os testes de coset misto, conjugação e emparelhamento integral.
  • Denominador Ramificado ($\sqrt{5}$): Nenhum subespaço não nulo no quociente de denominador $\sqrt{5}$ satisfaz a condição de emparelhamento polar.
  • Integralidade de Traço (Relaxada): Mesmo sob a convenção relaxada de "integralidade de traço" (onde apenas o traço racional da norma deve ser inteiro), nenhuma colagem isotrópica estável existe dentro da primeira torre de discriminantes. A ansatz de "meia-raiz mista" falha porque o traço da norma dos elementos resultantes do módulo não é inteiro.

Significado e Alegações
O artigo reivindica uma contribuição modesta, porém precisa, para a aritmética das álgebras de composição e quasicristais:

1. Esclarecimento da Estrutura: Isola os ingredientes axiomáticos precisos necessários para definir inteiros não cristalinos, resolvendo a confusão entre ordens infinitas, cascas finitas e grupos unitários no contexto da razão áurea.
2. Limitação da Analogia: Demonstra que, embora a analogia entre o cristalino $E_8$ (Coxeter–Dickson) e o não cristalino $H_4$ (Icossiano) se mantenha para a estrutura da casca, ela se rompe ao tentar construir uma única ordem octoniana "Coxeter–Dickson dourada" indecomponível. A duplicação "fraca" $G$ é o objeto máximo desse tipo dentro da torre testada.
3. Aplicabilidade Física: O trabalho fornece dados aritméticos exatos para modelos de quasicristais. A casca $H_2$ oferece uma fundação aritmética rigorosa para pavimentações de Penrose (simetria decagonal), enquanto a casca $H_4$ e a ordem octoniana fraca fornecem o pai aritmético para quasicristais icosaédricos e um modelo de brinquedo não associativo controlado para setores icossianos acoplados.
4. Verificação Computacional: Todas as alegações numéricas sobre a inexistência de extensões são respaldadas por cálculos de aritmética exata (usando Python com números racionais, sem ponto flutuante), verificando a obstrução de todas as potenciais "colagens" nas torres de discriminantes relevantes.

O autor declara explicitamente que o trabalho não reivindica produzir uma teoria fundamental da matéria ou uma nova rede octoniana dourada indecomponível, mas sim fornece a estrutura e os limites aritméticos corretos para tais investigações.