From some Pisot numerations to topological groups

Resumo Técnico: De Algumas Numerações de Pisot a Grupos Topológicos

Enunciado do Problema
O grupo aditivo dos inteiros $p$-ádicos, $\mathbb{Z}_p$, é classicamente construído como o limite inverso de grupos finitos $\mathbb{Z}/p^n\mathbb{Z}$ ou como a completude topológica dos números naturais $\mathbb{N}$ sob uma métrica $p$-ádica derivada de expansões de base-$p$. Uma propriedade fundamental desta construção é que os transportes (carries) propagam-se estritamente para a esquerda, satisfazendo a desigualdade não-arquimediana $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$.

Este artigo aborda a construção de um grupo topológico análogo para sistemas de numeração de Pisot. Nesses sistemas, as potências de uma base $p$ são substituídas por uma sequência de números naturais $(u_n)_{n \geq 0}$ gerada por uma recorrência linear cuja equação característica é o polinômio minimal do número de Pisot $\beta$ (um inteiro algébrico $>1$ cujos conjugados residem estritamente dentro do disco unitário). Diferente dos sistemas de base-$p$, as numerações de Pisot (ex: Zeckendorf/Fibonacci) exibem uma propagação de transporte "não padrão", onde os transportes podem mover-se tanto para a esquerda quanto para a direita. Consequentemente, as propriedades clássicas da valoração $p$-ádica falham, e a estrutura de grupo resultante não é um grupo profínito de topologia zero-dimensional. Os autores buscam definir um grupo $\mathbb{Z}_U$ que sirva como o análogo de $\mathbb{Z}_p$ para esses sistemas e caracterizar sua estrutura topológica.

Metodologia
Os autores constroem o grupo $\mathbb{Z}_U$ através das seguintes etapas:

1. Construção do Grupo via Quocientes:

   • Seja $G$ o grupo abeliano das sequências de valores inteiros limitados $(g_n)_{n \geq 0}$ sob adição componente a componente.
   • Uma "pseudo-valoração" $\nu_U$ é definida em sequências finitas com base na ordem do primeiro dígito não nulo na expansão-$U$ normalizada do inteiro representado.
   • O conceito de preservação de zeros é introduzido: uma numeração $U$ preserva zeros se existir uma constante $K_c$ tal que, para qualquer sequência $g$ com entradas limitadas, $\nu_U(g) \geq \text{ord}(g) - K_c$. Esta condição garante que os transportes não se propaguem arbitrariamente para a direita.
   • Um subgrupo $H_U \subset G$ é definido como o conjunto de sequências $g$ onde a valoração dos prefixos tende ao infinito.
   • O grupo dos inteiros $U$-ádicos é definido como o quociente $\mathbb{Z}_U := G/H_U$.

2. Estrutura Topológica e Mapeamento:

   • Uma topologia métrica é definida em $G$ usando uma norma ponderada pelos conjugados de $\beta$, especificamente $\|g\|_U = \sum |g_n| \gamma^n$, onde $\gamma < 1$ é o máximo módulo dos conjugados de $\beta$.
   • Um homomorfismo $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$ é construído, mapeando uma sequência para uma soma envolvendo os conjugados de $\beta$.
   • Mostra-se que a imagem do subgrupo $H_U$ sob $\tilde{\Phi}$ reside dentro de uma rede (lattice) específica $L$ gerada pelas potências dos conjugados.
   • Isto induz um homomorfismo de grupo contínuo $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$, onde o codomínio é um toro $\mathbb{T}^{d-1}$.

3. Equivalência com a Condição F:

   • O artigo estabelece uma ligação crítica entre a condição algébrica de "preservação de zeros" para a numeração $U$ e a Condição F (introduzida por Frougny e Solomyak) para a $\beta$-numeração associada. A Condição F exige que $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$, significando que todo elemento do anel $\mathbb{Z}[\beta]$ possui uma expansão-$\beta$ finita.
   • Os autores provam que $U$ preserva zeros se, e somente se, o $\beta$ associado satisfaz a Condição F.

Principais Contribuições e Resultados

• Definição de $\mathbb{Z}_U$: O artigo introduz $\mathbb{Z}_U$ como um grupo topológico que generaliza os inteiros $p$-ádicos para numerações de Pisot. Mostra-se que os elementos de $\mathbb{Z}_U$ podem ser representados por sequências normalizadas infinitas de dígitos.
• Isomorfismo Topológico para um Toro:
  • Teorema 1: Se $U$ é uma numeração de Pisot associada a um número de Pisot $\beta$ de grau $d$ e $U$ preserva zeros, existe um epimorfismo de grupo contínuo $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$.
  • Caso Unimodular: Se $\beta$ é unimodular (o módulo de $\beta$ é $\pm 1$), então $\Phi$ é um isomorfismo de grupo contínuo. Assim, $\mathbb{Z}_U$ é topologicamente isomorfo a um toro de dimensão $(d-1)$.
• Caracterização da Preservação de Zeros: O artigo fornece um procedimento de decisão para quando uma numeração preserva zeros, vinculando-o à Condição F. Confirma que as numerações $k$-bonacci padrão (incluindo Fibonacci) preservam zeros.
• Realização Geométrica: O grupo $\mathbb{Z}_U$ admite uma representação geométrica como um ladrilhamento (tiling) do espaço euclidiano (ou um domínio fundamental do toro). O mapa $\Phi$ envia os elementos do grupo para pontos no toro, onde a imagem das expansões normalizadas forma um ladrilhamento (ex: o fractal de Rauzy para o caso Tribonacci).

Significância e Alegações
Os autores posicionam seu trabalho como preenchedor de uma lacuna na compreensão da estrutura algébrica dos sistemas de numeração. Embora trabalhos anteriores (ex: Vershik, Rittaud, Vivier) tivessem explorado completudes de numerações específicas ou conexões com ladrilhos de Wang, este artigo constrói explicitamente a estrutura de grupo para a classe geral de numerações de Pisot que satisfazem a preservação de zeros.

O artigo alega que:

1. A construção de $\mathbb{Z}_U$ fornece um arcabouço algébrico rigoroso para a "decomposição de Fibonacci dos naturais" e sistemas similares, indo além da teoria de caracteres para isomorfismos de grupo explícitos.
2. A condição de preservação de zeros é o análogo preciso da Condição F no contexto da construção de grupos topológicos a partir de numerações.
3. Ao contrário dos inteiros $p$-ádicos, que são zero-dimensionais, estes grupos são variedades de dimensão superior (toros) quando o número subjacente é unimodular.
4. Os resultados são específicos para numerações e não meramente substituições, embora os autores notem que seus resultados podem ser transferidos para $\beta$-substituições para deduzir que tais deslocamentos (shifts) são quase automórficos (um resultado a ser detalhado em trabalho futuro).

O artigo nota explicitamente limitações: a estrutura multiplicativa de $\mathbb{Z}_p$ não se estende naturalmente para $\mathbb{Z}_U$ porque a multiplicação inteira padrão não é compatível com a topologia (ela não preserva zeros), e multiplicações alternativas (como a de Knuth) carecem de distributividade. Assim, o foco permanece estritamente na estrutura de grupo aditivo topológico.