cab2db79e4b3e8c1.tex
1: \begin{abstract}
2: We show that
3: the spectral set conjecture by Fuglede \cite{Fuglede} holds in the setting of
4: cyclic groups of order $p^nq$, where $p$, $q$ are distinct primes and $n\geq1$.
5: This means that a subset $E$ of such a group $G$ tiles the group by translation
6: ($G$ can be partitioned into translates of $E$) if and only if
7: there exists an orthogonal basis of $L^2(E)$ consisting of group characters.
8: The main ingredient of the present proof is the structure of vanishing sums of
9: roots of unity of order $N$, where $N$ has at most two prime divisors; the
10: extension of this proof to the case of cyclic groups of order $p^nq^m$ seems
11: therefore feasible. The only previously known infinite family of cyclic groups,
12: for which Fuglede's conjecture is verified in both directions, is that of cyclic $p$-groups, i.e.
13: $\ZZ_{p^n}$.
14: \end{abstract}
15: