From some Pisot numerations to topological groups

Sintesi Tecnica: Da Alcune Numerazioni di Pisot a Gruppi Topologici

Enunciato del Problema
Il gruppo additivo degli interi $p$-adici, $\mathbb{Z}_p$, è classicamente costruito come il limite inverso di gruppi finiti $\mathbb{Z}/p^n\mathbb{Z}$ o come la completamento topologico dei numeri naturali $\mathbb{N}$ sotto una metrica $p$-adica derivata dalle espansioni in base-$p$. Una proprietà chiave di questa costruzione è che i riporti si propagano strettamente verso sinistra, soddisfacendo la disuguaglianza non-Archimedea $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$.

Questo articolo affronta la costruzione di un gruppo topologico analogo per le numerazioni di Pisot (Pisot numeration systems). In tali sistemi, le potenze di una base $p$ sono sostituite da una sequenza di numeri naturali $(u_n)_{n \geq 0}$ generata da una ricorrenza lineare il cui polinomio caratteristico è il polinomio minimo di un numero di Pisot (un numero algebrico $\beta > 1$ i cui coniugati giacciono strettamente all'interno del disco unitario). A differenza dei sistemi in base-$p$, le numerazioni di Pisot (ad esempio, Zeckendorf/Fibonacci) esibiscono una propagazione dei riporti "non standard", dove i riporti possono muoversi sia verso sinistra che verso destra. Di conseguenza, le proprietà della valutazione $p$-adica classica falliscono, e la struttura di gruppo risultante non è un gruppo profinito con una topologia zero-dimensionale. Gli autori cercano di definire un gruppo $\mathbb{Z}_U$ che serva come analogo di $\mathbb{Z}_p$ per questi sistemi e di caratterizzare la sua struttura topologica.

Metodologia
Gli autori costruiscono il gruppo $\mathbb{Z}_U$ attraverso i seguenti passaggi:

1. Costruzione del Gruppo tramite Quozienti:

   • Sia $G$ il gruppo abeliano delle sequenze di interi limitate $(g_n)_{n \geq 0}$ sotto l'addizione componente per componente.
   • Una "pseudo-valutazione" $\nu_U$ è definita su sequenze finite basata sull'ordine della prima cifra non nulla nella espansione $U$-normalizzata dell'intero rappresentato.
   • Il concetto di preservazione dello zero viene introdotto: una numerazione $U$ preserva gli zeri se esiste una costante $K_c$ tale che per ogni sequenza $g$ con entrate limitate, $\nu_U(g) \geq \text{ord}(g) - K_c$. Questa condizione assicura che i riporti non si propaghino arbitrariamente lontano verso destra.
   • Un sottogruppo $H_U \subset G$ è definito come l'insieme delle sequenze $g$ in cui la valutazione dei prefissi tende all'infinito.
   • Il gruppo degli interi $U$-adici è definito come il quoziente $\mathbb{Z}_U := G/H_U$.

2. Struttura Topologica e Mappatura:

   • Una topologia metrica è definita su $G$ usando una norma pesata dai coniugati di $\beta$, specificamente $\|g\|_U = \sum |g_n| \gamma^n$, dove $\gamma < 1$ è il modulo massimo dei coniugati di $\beta$.
   • Un omomorfismo $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$ è costruito, mappando una sequenza in una somma che coinvolge i coniugati di $\beta$.
   • Si dimostra che l'immagine del sottogruppo $H_U$ sotto $\tilde{\Phi}$ giace all'interno di un reticolo specifico $L$ generato dalle potenze dei coniugati.
   • Ciò induce un omomorfismo di gruppi continuo $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$, dove il codominio è un toro $\mathbb{T}^{d-1}$.

3. Equivalenza con la Condizione F:

   • L'articolo stabilisce un legame critico tra la condizione algebrica di "preservazione dello zero" per la numerazione $U$ e la Condizione F (introdotta da Frougny e Solomyak) per la associata $\beta$-numerazione. La Condizione F richiede che $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$, ovvero che ogni elemento dell'anello $\mathbb{Z}[\beta]$ abbia una espansione $\beta$ finita.
   • Gli autori dimostrano che $U$ preserva gli zeri se e solo se il $\beta$ associato soddisfa la Condizione F.

Contributi Chiave e Risultati

• Definizione di $\mathbb{Z}_U$: L'articolo introduce $\mathbb{Z}_U$ come un gruppo topologico che generalizza gli interi $p$-adici alle numerazioni di Pisot. Si dimostra che gli elementi di $\mathbb{Z}_U$ possono essere rappresentati da sequenze infinite di cifre normalizzate.
• Isomorfismo Topologico a un Toro:
  • Teorema 1: Se $U$ è una numerazione di Pisot associata a un numero di Pisot $\beta$ di grado $d$ e $U$ preserva gli zeri, esiste un epimorfismo di gruppi continuo $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$.
  • Caso Unimodulare: Se $\beta$ è unimodulare (il modulo di $\beta$ è $\pm 1$), allora $\Phi$ è un isomorfismo di gruppi continuo. Pertanto, $\mathbb{Z}_U$ è topologicamente isomorfo a un toro di dimensione $(d-1)$.
• Caratterizzazione della Preservazione dello Zero: L'articolo fornisce una procedura decisionale per determinare quando una numerazione preserva gli zeri collegandola alla Condizione F. Conferma che le standard numerazioni $k$-bonacci (incluse quelle di Fibonacci) preservano gli zeri.
• Realizzazione Geometrica: Il gruppo $\mathbb{Z}_U$ ammette una rappresentazione geometrica come tassellazione dello spazio euclideo (o un dominio fondamentale del toro). La mappa $\Phi$ invia gli elementi del gruppo a punti sul toro, dove l'immagine delle espansioni normalizzate forma una tassellazione (ad esempio, il frattale di Rauzy per il caso Tribonacci).

Significato e Rivendicazioni
Gli autori posizionano il loro lavoro come un riempimento di una lacuna nella comprensione della struttura algebrica dei sistemi di numerazione. Mentre lavori precedenti (ad esempio, Vershik, Rittaud, Vivier) avevano esplorato le completazioni di specifiche numerazioni o connessioni con i tasselli di Wang, questo articolo costruisce esplicitamente la struttura di gruppo per la classe generale di numerazioni di Pisot che soddisfano la preservazione dello zero.

L'articolo sostiene che:

1. La costruzione di $\mathbb{Z}_U$ fornisce un quadro algebrico rigoroso per la "decomposizione di Fibonacci dei naturali" e sistemi simili, andando oltre la teoria dei caratteri verso espliciti isomorfismi di gruppi.
2. La condizione di preservazione dello zero è l'esatto analogo della Condizione F nel contesto della costruzione di gruppi topologici da numerazioni.
3. A differenza degli interi $p$-adici che sono zero-dimensionali, questi gruppi sono varietà di dimensione superiore (tori) quando il numero sottostante è unimodulare.
4. I risultati sono specifici per le numerazioni e non semplicemente per le sostituzioni, sebbene gli autori notino che i loro risultati possono essere trasferiti alle $\beta$-sostituzioni per dedurre che tali shift sono quasi automorfici (un risultato che sarà dettagliato in lavori futuri).

L'articolo nota esplicitamente dei limiti: la struttura moltiplicativa di $\mathbb{Z}_p$ non si estende naturalmente a $\mathbb{Z}_U$ perché la moltiplicazione standard degli interi non è compatibile con la topologia (non preserva gli zeri), e moltiplicazioni alternative (come quella di Knuth) mancano di distributività. Pert così, l'attenzione rimane strettamente sulla struttura di gruppo additivo topologico.