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

Resumen Técnico: La Conjetura de Fuglede en Grupos Cíclicos de Orden Libre de Cuadrados

Planteamiento del Problema
El artículo aborda la conjetura de Fuglede en el contexto de los grupos cíclicos finitos. La conjetura postula que un conjunto es espectral (admite una base ortogonal de funciones exponenciales) si y solo si el espacio es teselado por traslación. Si bien la conjetura ha sido refutada en espacios euclídeos de dimensión $d \ge 2$, el caso unidimensional permanece abierto. A través de las reducciones establecidas por Dutray y Lai, y el trabajo reciente de Fu y Song que demuestra la racionalidad de los espectros normalizados, la conjetura en la recta real $\mathbb{R}$ es equivalente a que la conjetura se cumpla para todos los grupos cíclicos finitos $\mathbb{Z}_N$.

A pesar de los avances sustanciales, la conjetura sigue abierta para grupos cíclicos finitos generales. Específicamente, mientras que la dirección de teselado a espectral (T-S) es conocida para todos los grupos cíclicos de orden libre de cuadrados, la dirección de espectral a teselado (S-T) solo ha sido verificada para familias específicas (por ejemplo, potencias de primos, grupos con pocos factores primos o configuraciones específicas de primos grandes). Existe una brecha crítica: antes de este trabajo, no se conocía ninguna familia infinita de grupos cíclicos que satisficiera la conjetura y que poseyera un número arbitrario de factores primos distintos.

Metodología
El autor emplea una técnica inductiva basada en la divisibilidad de los polinomios ciclotómicos y el análisis de Fourier. La metodología central consiste en:

1. Formulación Ciclotómica: Utilización de polinomios de máscara $A(X)$ y la condición de que $\Phi_m(X)$ divide a $A(X)$ para caracterizar la espectralidad.
2. Regla del Cubo y Descomposición de Fibras: Aplicación de la "regla del cubo" (Proposición 2.1) y versiones por niveles (Lema 2.2) para analizar la estructura de los conjuntos espectrales dentro de productos de grupos. Esto implica descomponer un conjunto $A \subset \mathbb{Z}_n \times \mathbb{Z}_p$ en "niveles" (cosets de $\mathbb{Z}_n$) y analizar sus propiedades.
3. Paso Inductivo: El artículo establece un resultado de estabilidad: si la dirección S-T se cumple para un grupo libre de cuadrados $\mathbb{Z}_n$, también se cumple para $\mathbb{Z}_n \times \mathbb{Z}_p$ siempre que $p > n$ sea primo.
   • Caso 1 ($p \nmid |A|$): El autor demuestra que la multiplicación por $p$ es inyectiva sobre el conjunto espectral $A$. Esto permite proyectar $A$ a un conjunto espectral en $\mathbb{Z}_n$, donde se aplica la hipótesis inductiva.
   • Caso 2 ($p \mid |A|$): El autor demuestra que si $A$ es espectral en $\mathbb{Z}_n \times \mathbb{Z}_p$ y $p$ divide su cardinalidad, entonces todos los "niveles" de $A$ (intersecciones con los cosets de $\mathbb{Z}_n$) comparten un espectro común $E \subset \mathbb{Z}_n$ (Proposición 3.2).
4. Conexión con Coven-Meyerowitz: En el caso donde $n$ es libre de cuadrados, la conjetura de Coven-Meyerowitz (específicamente el resultado de Laba y Meyerowitz) garantiza que cualquier tesela de una cardinalidad dada tiene un complemento de subgrupo estándar. Esto asegura que el espectro común $E$ encontrado en los niveles implique que todos los niveles teselen $\mathbb{Z}_n$ con el mismo complemento, permitiendo la construcción de una teselación global para $A$.

Contribuciones Clave y Resultados
La contribución principal es el establecimiento de un argumento inductivo que extiende la validez de la conjetura de Fuglede a nuevas familias infinitas de grupos cíclicos.

• Teorema 1.1 (Resultado Principal): Sea $n$ libre de cuadrados y $p > n$ un primo. Si la dirección espectral-a-teselado se cumple para $\mathbb{Z}_n$ (denotado como $S\text{-}T(\mathbb{Z}_n)$), entonces se cumple para $\mathbb{Z}_n \times \mathbb{Z}_p$ (que es isomorfo a $\mathbb{Z}_{np}$).
• Teorema 1.2 (Corolario): Para un entero libre de cuadrados $M = \prod_{i=1}^k p_i$ donde los factores primos crecen rápidamente (específicamente $p_{j+1} > \prod_{i=1}^j p_i$), la conjetura de Fugelde se cumple para $\mathbb{Z}_M$.

Este resultado es significativo porque proporciona la primera familia infinita conocida de grupos cíclicos que satisfacen la conjetura de Fuglede y que pueden poseer un número arbitrario de divisores primos distintos, siempre que los primos crezcan lo suficiente.

Significado y Reivindicaciones
El artículo afirma resolver la dirección espectral-a-teselado para una amplia clase de grupos cíclicos que anteriormente eran inaccesibles para los métodos existentes.

• Marco Inductivo: El trabajo desarrolla una técnica inductiva robusta que cierra la brecha entre los grupos cíclicos pequeños y aquellos con muchos factores primos, apoyándose en el fenómeno del "primo grande".
• Espectro Común: Una visión técnica clave es la Proposición 3.2, que demuestra que, ante la presencia de un factor primo grande, un conjunto espectral debe tener un espectro común a través de todos sus niveles. Esta rigidez estructural es crucial para el paso inductivo.
• Limitaciones: El autor señala que la hipótesis de ser libre de cuadrados es esencial solo en el paso final de la demostración (Caso 2) para asegurar que exista un complemento de teselado común para los niveles. El método sugiere que el resultado podría extenderse a grupos no libres de cuadrados si la conjetura de Coven-Meyerowitz se cumple para ellos y si se puede establecer un argumento de compatibilidad para los complementos.
• Contexto: El artículo reconoce que la dirección de teselado-a-espectral ya era conocida para órdenes libres de cuadrados (vía Shi y Tijdeman). La novedad reside estrictamente en la dirección espectral-a-teselado.

El autor enmarca modestamente el trabajo como un paso inductivo que construye sobre colaboraciones previas (Fallon, Kiss, Mayeli) y preimpresiones recientes, con el objetivo de proporcionar una base para futuras extensiones a grupos no libres de cuadrados y abordar preguntas abiertas sobre la asimetría de la conjetura (por ejemplo, grupos que son T-S pero no S-T).