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

Resumo Técnico: A Conjectura de Fuglede em Grupos Cíclicos de Ordem Livre de Quadrados

Enunciado do Problema
O artigo aborda a conjectura de Fuglede no contexto de grupos cíclicos finitos. A conjectura postula que um conjunto é espectral (admite uma base ortogonal de funções exponenciais) se, e somente se, ele pavimenta o espaço por translação. Embora a conjectura tenha sido refutada em espaços euclidianos de dimensão $d \ge 2$, o caso unidimensional permanece em aberto. Através de reduções estabelecidas por Dutkay e Lai, e pelo trabalho recente de Fu e Song provando a racionalidade dos espectros normalizados, a conjectura na reta real $\mathbb{R}$ é equivalente à validade da conjectura para todos os grupos cíclicos finitos $\mathbb{Z}_N$.

Apesar do progresso substancial, a conjectura permanece em aberto para grupos cíclicos gerais. Especificamente, enquanto a direção "pavimentação-para-espectral" (T-S) é conhecida para todos os grupos cíclicos de ordem livre de quadrados, a direção "espectral-para-pavimentação" (S-T) foi verificada apenas para famílias específicas (por exemplo, potências de primos, grupos com poucos fatores primos ou configurações de primos grandes específicos). Existe uma lacuna crítica: antes deste trabalho, nenhum conhecimento de uma família infinita de grupos cíclicos que satisfizesse a conjectura possuindo um número arbitrário de fatores primos distintos era conhecido.

Metodologia
O autor emprega uma técnica indutiva fundamentada em divisibilidade ciclotômica e análise de Fourier. A metodologia central envolve:

1. Formulação Ciclotômica: Utilizando polinômios de máscara $A(X)$ e a condição de que $\Phi_m(X)$ divide $A(X)$ para caracterizar a espectralidade.
2. Regra do Cubo e Decomposição de Fibra: Aplicando a "regra do cubo" (Proposição 2.1) e versões por nível (Lema 2.2) para analisar a estrutura de conjuntos espectrais dentro de produtos de grupos. Isso envolve decompor um conjunto $A \subset \mathbb{Z}_n \times \mathbb{Z}_p$ em "níveis" (cosets de $\mathbb{Z}_n$) e analisar suas propriedades.
3. Passo Indutivo: O artigo estabelece um resultado de estabilidade: se a direção S-T vale para um grupo livre de quadrados $\mathbb{Z}_n$, ela também vale para $\mathbb{Z}_n \times \mathbb{Z}_p$, desde que $p > n$ seja primo.
   • Caso 1 ($p \nmid |A|$): O autor prova que a multiplicação por $p$ é injetiva no conjunto espectral $A$. Isso permite projetar $A$ para um conjunto espectral em $\mathbb{Z}_n$, onde a hipótese indutiva se aplica.
   • Caso 2 ($p \mid |A|$): O autor prova que, se $A$ é espectral em $\mathbb{Z}_n \times \mathbb{Z}_p$ e $p$ divide sua cardinalidade, então todos os "níveis" de $A$ (interseções com cosets de $\mathbb{Z}_n$) compartilham um espectro comum $E \subset \mathbb{Z}_n$ (Proposição 3.2).
4. Conexão Coven-Meyerowitz: No caso em que $n$ é livre de quadrados, a conjectura de Coven-Meyerowitz (especificamente o resultado de Laba e Meyerowitz) garante que qualquer pavimentação de uma dada cardinalidade possui um complemento de subgrupo padrão. Isso assegura que o espectro comum $E$ encontrado nos níveis implica que todos os níveis pavimentam $\mathbb{Z}_n$ com o mesmo complemento, permitindo a construção de uma pavimentação global para $A$.

Contribuições Principais e Resultados
A principal contribuição é o estabelecimento de um argumento indutivo que estende a validade da conjectura de Fuglede para novas famílias infinitas de grupos cíclicos.

• Teorema 1.1 (Resultado Principal): Seja $n$ livre de quadrados e $p > n$ um primo. Se a direção espectral-para-pavimentação vale para $\mathbb{Z}_n$ (denotada por $S\text{-}T(\mathbb{Z}_n)$), então ela vale para $\mathbb{Z}_n \times \mathbb{Z}_p$ (que é isomorfo a $\mathbb{Z}_{np}$).
• Teorema 1.2 (Corolário): Para um inteiro livre de quadrados $M = \prod_{i=1}^k p_i$ onde os fatores primos crescem rapidamente (especificamente $p_{j+1} > \prod_{i=1}^j p_i$), a conjectura de Fuglede vale para $\mathbb{Z}_M$.

Este resultado é significativo porque fornece a primeira família infinita conhecida de grupos cíclicos que satisfazem a conjectura de Fuglede e que pode possuir um número arbitrário de divisores primos distintos, desde que os primos cresçam suficientemente rápido.

Significância e Alegações
O artigo alega resolver a direção espectral-para-pavimentação para uma ampla classe de grupos cíclicos que eram anteriormente inacessíveis aos métodos existentes.

• Estrutura Indutiva: O trabalho desenvolve uma técnica indutiva robusta que preenche a lacuna entre pequenos grupos cíclicos e aqueles com muitos fatores primos, baseando-se no fenômeno do "primo grande".
• Espectro Comum: Um insight técnico fundamental é a Proposição 3.2, que demonstra que, na presença de um fator primo grande, um conjunto espectral deve ter um espectro comum através de todos os seus níveis. Essa rigidez estrutural é crucial para o passo indutivo.
• Limitações: O autor observa que a hipótese de ser livre de quadrados é essencial apenas no passo final da prova (Caso 2) para garantir que um complemento de pavimentação comum exista para os níveis. O método sugere que o resultado poderia se estender a grupos não livres de quadrados se a conjectura de Coven-Meyerowitz valesse para eles e se um argumento de compatibilidade para complementos pudesse ser estabelecido.
• Contexto: O artigo reconhece que a direção pavimentação-para-espectral já era conhecida para ordens livres de quadrados (via Shi e Tijdeman). A novidade reside estritamente na direção espectral-para-pavimentação.

O autor apresenta o trabalho de forma modesta, como um passo indutivo construído sobre colaborações anteriores (Fallon, Kiss, Mayeli) e preprints recentes, visando fornecer uma base para futuras extensões para grupos não livres de quadrados e para abordar questões abertas relativas à assimetria da conjectura (por exemplo, grupos que são T-S mas não S-T).