From some Pisot numerations to topological groups

Resumen Técnico: De algunas numeraciones de Pisot a los grupos topológicos

Planteamiento del problema
El grupo aditivo de los enteros $p$-ádicos, $\mathbb{Z}_p$, se construye clásicamente como el límite inverso de grupos finitos $\mathbb{Z}/p^n\mathbb{Z}$ o como la completación topológica de los números naturales $\mathbb{N}$ bajo una métrica $p$-ádica derivada de las expansiones en base $p$. Una propiedad clave de esta construcción es que los acarreo se propagan estrictamente hacia la izquierda, satisfaciendo la desigualdad no arquimediana $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$.

Este artículo aborda la construcción de un grupo topológico análogo para las numeraciones de Pisot. En tales sistemas, las potencias de una base $p$ son reemplazadas por una secuencia de números naturales $(u_n)_{n \geq 0}$ generada por una recurrencia lineal cuya ecuación característica es el polinomio mínimo de un número de Pisot (un entero algebraico $\beta > 1$ cuyos conjugados yacen estrictamente dentro del disco unitario). A diferencia de los sistemas en base $p$, las numeraciones de Pisot (por ejemplo, Zeckendorf/Fibonacci) exhiben una propagación de acarreo "no estándar", donde los acarreos pueden moverse tanto hacia la izquierda como hacia la derecha. Consecuentamente, las propiedades de la valoración $p$-ádica clásica fallan, y la estructura de grupo resultante no es un grupo profínito con una topología de dimensión cero. Los autores buscan definir un grupo $\mathbb{Z}_U$ que sirva como el análogo de $\mathbb{Z}_p$ para estos sistemas y caracterizar su estructura topológica.

Metodología
Los autores construyen el grupo $\mathbb{Z}_U$ a través de los siguientes pasos:

1. Construcción del grupo mediante cocientes:

   • Sea $G$ el grupo abeliano de las secuencias de valores enteros acotados $(g_n)_{n \geq 0}$ bajo la suma componente a componente.
   • Se define una "pseudo-valoración" $\nu_U$ sobre secuencias finitas basada en el orden del primer dígito no nulo en la expansión $U$-normalizada del entero representado.
   • Se introduce el concepto de preservación de ceros: Un numeración $U$ preserva ceros si existe una constante $K_c$ tal que para cualquier secuencia $g$ con entradas acotadas, $\nu_U(g) \geq \text{ord}(g) - K_c$. Esta condición asegura que los acarreos no se propaguen arbitrariamente hacia la derecha.
   • Se define un subgrupo $H_U \subset G$ como el conjunto de secuencias $g$ donde la valoración de los prefijos tiende a infinito.
   • El grupo de los enteros $U$-ádicos se define como el cociente $\mathbb{Z}_U := G/H_U$.

2. Estructura topológica y mapeo:

   • Se define una topología métrica en $G$ usando una norma ponderada por los conjugados de $\beta$, específicamente $\|g\|_U = \sum |g_n| \gamma^n$, donde $\gamma < 1$ es el módulo máximo de los conjugados de $\beta$.
   • Se construye un homomorfismo $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$, que mapea una secuencia a una suma que involucra los conjugados de $\beta$.
   • Se demuestra que la imagen del subgrupo $H_U$ bajo $\tilde{\Phi}$ yace dentro de una red (lattice) específica $L$ generada por las potencias de los conjugados.
   • Esto induce un homomorfismo de grupo continuo $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$, donde el codominio es un toro $\mathbb{T}^{d-1}$.

3. Equivalencia con la Condición F:

   • El artículo establece un vínculo crítico entre la condición algebraica de "preservación de ceros" para la numeración $U$ y la Condición F (introducida por Frougny y Solomyak) para la $\beta$-numeración asociada. La Condición F requiere que $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$, lo que significa que cada elemento del anillo $\mathbb{Z}[\beta]$ tiene una expansión $\beta$ finita.
   • Los autores prueban que $U$ preserva ceros si y solo si el $\beta$ asociado satisface la Condición F.

Contribuciones y resultados clave

• Definición de $\mathbb{Z}_U$: El artículo introduce $\mathbb{Z}_U$ como un grupo topológico que generaliza a los enteros $p$-ádicos para las numeraciones de Pisot. Se muestra que los elementos de $\mathbb{Z}_U$ pueden representarse mediante secuencias normalizadas infinitas de dígitos.
• Isomorfismo topológico con un toro:
  • Teorema 1: Si $U$ es una numeración de Pisot asociada con un número de Pisot $\beta$ de grado $d$ y $U$ preserva ceros, existe un epimorfismo de grupo continuo $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$.
  • Caso unimodular: Si $\beta$ es unimodular (la norma de $\beta$ es $\pm 1$), entonces $\Phi$ es un isomorfismo de grupo continuo. Así, $\mathbb{Z}_U$ es topológicamente isomorfo a un toro de dimensión $(d-1)$.
• Caracterización de la preservación de ceros: El artículo proporciona un procedimiento de decisión para determinar cuándo una numeración preserva ceros vinculándolo a la Condición F. Confirma que las numeraciones $k$-bonacci estándar (incluyendo Fibonacci) preservan ceros.
• Realización geométrica: El grupo $\mathbb{Z}_U$ admite una representación geométrica como un teselado del espacio euclidiano (o un dominio fundamental del toro). El mapa $\Phi$ envía los elementos del grupo a puntos en el toro, donde la imagen de las expansiones normalizadas forma un teselado (por ejemplo, el fractal de Rauzy para el caso Tribonacci).

Significado y afirmaciones
Los autores posicionan su trabajo como una labor de llenado de un vacío en la comprensión de la estructura algebraica de los sistemas de numeración. Mientras que trabajos previos (por ejemplo, Vershik, Rittaud, Vivier) habían explorado completaciones de numeraciones específicas o conexiones con teselas de Wang, este artículo construye explícitamente la estructura de grupo para la clase general de numeraciones de Pisot que satisfacen la preservación de ceros.

El artículo afirma que:

1. La construcción de $\mathbb{Z}_U$ proporciona un marco algebraico riguroso para la "descomposición de Fibonacci de los naturales" y sistemas similares, yendo más allá de la teoría de caracteres hacia isomorfismos de grupo explícitos.
2. La condición de preservación de ceros es el análogo preciso de la Condición F en el contexto de la construcción de grupos topológicos a partir de numeraciones.
3. A diferencia de los enteros $p$-ádicos que son de dimensión cero, estos grupos son variedades de mayor dimensión (toros) cuando el número subyacente es unimodular.
4. Los resultados son específicos para las numeraciones y no meramente para sustituciones, aunque los autores señalan que sus resultados pueden transferirse a las $\beta$-sustituciones para deducir que tales desplazamientos (shifts) son casi automorfos (un resultado que se detallará en un trabajo futuro).

El artículo señala explícitamente sus limitaciones: la estructura multiplicativa de $\mathbb{Z}_p$ no se extiende naturalmente a $\mathbb{Z}_U$ porque la multiplicación entera estándar no es compatible con la topología (no preserva los ceros), y las multiplicaciones alternativas (como la de Knuth) carecen de distributividad. Por lo tanto, el enfoque permanece estrictamente en la estructura de grupo topológico aditivo.