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

Résumé Technique : La Conjecture de Fuglede sur les Groupes Cycliques d'Ordre Sans Carré

Énoncé du Problème
L'article traite de la conjecture de Fuglede dans le contexte des groupes cycliques finis. La conjecture postule qu'un ensemble est spectral (admet une base orthogonale de fonctions exponentielles) si et seulement s'il pavage l'espace par translation. Bien que la conjecture ait été infirmée dans les espaces euclidiens de dimension $d \ge 2$, le cas unidimensionnel reste ouvert. Grâce aux réductions établies par Dutkay et Lai, et aux travaux récents de Fu et Song prouvant la rationalité des spectres normalisés, la conjecture sur la droite réelle $\mathbb{R}$ est équivalente à la validité de la conjecture pour tous les groupes cycliques finis $\mathbb{Z}_N$.

Malgré des progrès substantiels, la conjecture reste ouverte pour les groupes cycliques finis généraux. Plus précisément, bien que la direction "pavage vers spectral" (T-S) soit connue pour tous les groupes cycliques d'ordre sans carré, la direction "spectral vers pavage" (S-T) n'a été vérifiée que pour des familles spécifiques (par exemple, les puissances de nombres premiers, les groupes avec peu de facteurs premiers, ou des configurations spécifiques de grands nombres premiers). Une lacune critique existe : avant ce travail, aucune famille infinie de groupes cycliques satisfaisant la conjecture possédant un nombre arbitraire de facteurs premiers distincts n'était connue.

Méthodologie
L'auteur emploie une technique inductive ancrée dans la divisibilité cyclotomique et l'analyse de Fourier. La méthodologie centrale comprend :

1. Formulation Cyclotomique : Utilisation des polynômes masques $A(X)$ et de la condition que $\Phi_m(X)$ divise $A(X)$ pour caractériser la spectralité.
2. Règle du Cube et Décomposition en Fibres : Application de la « règle du cube » (Proposition 2.1) et de versions par niveaux (Lemme 2.2) pour analyser la structure des ensembles spectraux au sein de produits de groupes. Cela implique de décomposer un ensemble $A \subset \mathbb{Z}_n \times \mathbb{Z}_p$ en « niveaux » (cosets de $\mathbb{Z}_n$) et d'analyser leurs propriétés.
3. Étape Inductive : L'article établit un résultat de stabilité : si la direction S-T est vérifiée pour un groupe sans carré $\mathbb{Z}_n$, elle l'est aussi pour $\mathbb{Z}_n \times \mathbb{Z}_p$ à condition que $p > n$ soit premier.
   • Cas 1 ($p \nmid |A|$) : L'auteur prouve que la multiplication par $p$ est injective sur l'ensemble spectral $A$. Cela permet de projeter $A$ vers un ensemble spectral dans $\mathbb{Z}_n$, où l'hypothèse inductive s'applique.
   • Cas 2 ($p \mid |A|$) : L'auteur prouve que si $A$ est spectral dans $\mathbb{Z}_n \times \mathbb{Z}_p$ et que $p$ divise sa cardinalité, alors tous les « niveaux » de $A$ (intersections avec les cosets de $\mathbb{Z}_n$) partagent un spectre commun $E \subset \mathbb{Z}_n$ (Proposition 3.2).
4. Connexion Coven-Meyerowitz : Dans le cas où $n$ est sans carré, la conjecture de Coven-Meyerowitz (spécifiquement le résultat de Laba et Meyerowitz) garantit que tout pavage d'une cardinalité donnée possède un complément de sous-groupe standard. Cela assure que le spectre commun $E$ trouvé dans les niveaux implique que tous les niveaux pavent $\mathbb{Z}_n$ avec le même complément, permettant ainsi la construction d'un pavage global pour $A$.

Contributions Clés et Résultats
La contribution primaire est l'établissement d'un argument inductif qui étend la validité de la conjecture de Fuglede à de nouvelles familles infinies de groupes cycliques.

• Théorème 1.1 (Résultat Principal) : Soit $n$ un entier sans carré et $p > n$ un nombre premier. Si la direction spectral-vers-pavage tient pour $\mathbb{Z}_n$ (notée $S\text{-}T(\mathbb{Z}_n)$), alors elle tient pour $\mathbb{Z}_n \times \mathbb{Z}_p$ (qui est isomorphe à $\mathbb{Z}_{np}$).
• Théorème 1.2 (Corollaire) : Pour un entier sans carré $M = \prod_{i=1}^k p_i$ où les facteurs premiers croissent rapidement (spécifiquement $p_{j+1} > \prod_{i=1}^j p_i$), la conjecture de Fuglede est vérifiée pour $\mathbb{Z}_M$.

Ce résultat est significatif car il fournit la première famille infinie connue de groupes cycliques satisfaisant la conjecture de Fuglede pouvant posséder un nombre arbitraire de diviseurs premiers distincts, à condition que les nombres premiers croissent suffisamment vite.

Signification et Revendications
L'article prétend résoudre la direction spectral-vers-pavage pour une large classe de groupes cycliques qui étaient auparavant inaccessibles aux méthodes existantes.

• Cadre Inductif : Le travail développe une technique inductive robuste qui comble le fossé entre les petits groupes cycliques et ceux possédant de nombreux facteurs premiers, en s'appuyant sur le phénomène du « grand nombre premier ».
• Spectre Commun : Un aperçu technique clé est la Proposition 3.2, qui démontre que, en présence d'un grand facteur premier, un ensemble spectral doit posséder un spectre commun à travers tous ses niveaux. Cette rigidité structurelle est cruciale pour l'étape inductive.
• Limites : L'auteur note que l'hypothèse du « sans carré » est essentielle uniquement dans la dernière étape de la preuve (Cas 2) pour garantir l'existence d'un complément de pavage commun pour les niveaux. La méthode suggère que le résultat pourrait s'étendre aux groupes non sans carré si la conjecture de Coven-Meyerowitz s'applique à ces derniers et qu'un argument de compatibilité pour les compléments peut être établi.
• Contexte : L'auteur reconnaît que la direction pavage-vers-spectral était déjà connue pour les ordres sans carré (via Shi et Tijdeman). La nouveauté réside strictement dans la direction spectral-vers-pavage.

L'auteur présente modestement ce travail comme une étape inductive s'appuyant sur des collaborations antérieures (Fallon, Kiss, Mayeli) et des prépublications récentes, visant à fournir une base pour de futures extensions vers les groupes non sans carré et pour aborder les questions ouvertes concernant l'asymétrie de la conjecture (par exemple, les groupes qui sont T-S mais pas S-T).