Fuglede's Conjecture on Cyclic Groups of Square-Free Order: The Case of Rapidly Growing Prime Factors

Sintesi Tecnica: La Congettura di Fuglede su Gruppi Ciclici di Ordine Libero da Quadrati

Enunciato del Problema
Il documento affronta la congettura di Fuglede nel contesto dei gruppi ciclici finiti. La congettura postula che un insieme sia spettrale (ammetta una base ortogonale di funzioni esponenziali) se e solo se tassella lo spazio per traslazione. Sebbene la congettura sia stata smentita negli spazi euclidei di dimensione $d \ge 2$, il caso unidimensionale rimane aperto. Attraverso riduzioni stabilite da Dutkay e Lai, e il recente lavoro di Fu e Song che prova la razionalità degli spettri normalizzati, la congettura sulla retta reale $\mathbb{R}$ è equivalente al fatto che la congettura sia valida per tutti i gruppi ciclici finiti $\mathbb{Z}_N$.

Nonostante i sostanziali progressi, la congettura rimane aperta per i gruppi ciclici finiti in generale. Nello specifico, mentre la direzione "da tassellazione a spettrale" (T-S) è nota per tutti i gruppi ciclici di ordine libero da quadrati, la direzione "da spettrale a tassellazione" (S-T) è stata verificata solo per specifiche famiglie (ad esempio, potenze di numeri primi, gruppi con pochi fattori primi o specifiche configurazioni di grandi numeri primi). Esiste un vuoto critico: prima di questo lavoro, non era nota alcuna famiglia infinita di gruppi ciclici che soddisfacesse la congettura e che possedesse un numero arbitrario di fattori primi distinti.

Metodologia
L'autore impiega una tecnica induttiva radicata nella divisibilità ciclotomica e nell'analisi di Fourier. La metodologia centrale prevede:

1. Formulazione Ciclotomica: Utilizzo di polinomi maschera $A(X)$ e della condizione che $\Phi_m(X)$ divida $A(X)$ per caratterizzare la spettralità.
2. Regola del Cubo e Decomposizione in Fibre: Applicazione della "regola del cubo" (Proposizione 2.1) e delle versioni per livelli (Lemma 2.2) per analizzare la struttura degli insiemi spettrali all'interno di prodotti di gruppi. Ciò comporta la decomposizione di un insieme $A \subset \mathbb{Z}_n \times \mathbb{Z}_p$ in "livelli" (cosetti di $\mathbb{Z}_n$) e l'analisi delle loro proprietà.
3. Passo Induttivo: Il documento stabilisce un risultato di stabilità: se la direzione S-T è valida per un gruppo libero da quadrati $\mathbb{Z}_n$, allora lo è anche per $\mathbb{Z}_n \times \mathbb{Z}_p$, a condizione che $p > n$ sia primo.
   • Caso 1 ($p \nmid |A|$): L'autore prova che la moltiplicazione per $p$ è iniettiva sull'insieme spettrale $A$. Ciò permette di proiettare $A$ in un insieme spettrale in $\mathbb{Z}_n$, dove si applica l'ipotesi induttiva.
   • Caso 2 ($p \mid |A|$): L'autore dimostra che se $A$ è spettrale in $\mathbb{Z}_n \times \mathbb{Z}_p$ e $p$ divide la sua cardinalità, allora tutti i "livelli" di $A$ (intersezioni con i cosetti di $\mathbb{Z}_n$) condividono uno spettro comune $E \subset \mathbb{Z}_n$ (Proposizione 3.2).
4. Connessione Coven-Meyerowitz: Nel caso in cui $n$ sia libero da quadrati, la congettura di Coven-Meyerowitz (specificamente il risultato di Laba e Meyerowitz) garantisce che ogni tassellatore di una data cardinalità abbia un complemento di sottogruppo standard. Ciò assicura che lo spettro comune $E$ trovato nei livelli implichi che tutti i livelli tassellino $\mathbb{Z}_n$ con lo stesso complemento, permettendo la costruzione di una tassellazione globale per $A$.

Contributi Chiave e Risultati
Il contributo primario è l'instaurazione di un argomento induttivo che estende la validità della congettura di Fuglede a nuove famiglie infinite di gruppi ciclici.

• Teorema 1.1 (Risultato Principale): Sia $n$ libero da quadrati e $p > n$ un numero primo. Se la direzione spettrale-tassellazione vale per $\mathbb{Z}_n$ (denotata come $S\text{-}T(\mathbb{Z}_n)$), allora essa vale per $\mathbb{Z}_n \times \mathbb{Z}_p$ (che è isomorfo a $\mathbb{Z}_{np}$).
• Teorema 1.2 (Corollario): Per un intero libero da quadrati $M = \prod_{i=1}^k p_i$ dove i fattori primi crescono rapidamente (specificamente $p_{j+1} > \prod_{i=1}^j p_i$), la congettura di Fuglede è valida per $\mathbb{Z}_M$.

Questo risultato è significativo perché fornisce la prima famiglia infinita nota di gruppi ciclici che soddisfano la congettura di Fuglede e che possono possedere un numero arbitrario di divisori primi distinti, a condizione che i numeri primi crescano sufficientemente velocemente.

Significato e Rivendicazioni
Il documento sostiene di risolvere la direzione spettrale-tassellazione per una vasta classe di gruppi ciclici che erano precedentemente inaccessibili ai metodi esistenti.

• Framework Induttivo: Il lavoro sviluppa una robusta tecnica induttiva che colma il divario tra piccoli gruppi ciclici e quelli con molti fattori primi, facendo affidamento sul fenomeno del "grande numero primo".
• Spettro Comune: Un'intuizione tecnica chiave è la Proposizione 3.2, che dimostra come, in presenza di un grande fattore primo, un insieme spettrale debba avere uno spettro comune attraverso tutti i suoi livelli. Questa rigidità strutturale è cruciale per il passo induttivo.
• Limitazioni: L'autore osserva che l'ipotesi di essere libero da quadrati è essenziale solo nell'ultimo passaggio della dimostrazione (Caso 2) per garantire l'esistenza di un complemento di tassellazione comune per i livelli. Il metodo suggerisce che il risultato potrebbe estendersi a gruppi non liberi da quadrati se la congettura di Coven-Meyerowitz fosse valida anche per essi e se si potesse stabilire un argomento di compatibilità per i complementi.
• Contesto: Il documento riconosce che la direzione tassellazione-spettrale era già nota per gli ordini liberi da quadrati (tramite Shi e Tijdeman). La novità risiede strettamente nella direzione spettrale-tassellazione.

L'autore inquadra modestamente il lavoro come un passo induttivo che si basa su precedenti collaborazioni (Fallon, Kiss, Mayeli) e recenti preprint, con l'obiettivo di fornire una base per futuri estensioni a gruppi non liberi da quadrati e per affrontare le questioni aperte riguardanti l'asimmetria della congettura (ad esempio, gruppi che sono T-S ma non S-T).