Spectrality of product domains and Fuglede's conjecture for convex polytopes (Q2177497)

It is said that a set \(\Omega\) in \(\mathbb R^d\) is spectral if the space \(L^2(\Omega)\) admits an orthogonal basis consisting of exponential functions. A conjecture, which goes back to \textit{B. Fuglede} [J. Funct. Anal. 16, 101--121 (1974; Zbl 0279.47014)], states that \(\Omega\) is spectral if and only if it can tile the space by translations. In turn, a conjecture appears that a product set \(\Omega= A \times B\) is spectral if and only if the factors \(A\) and \(B\) are both spectral sets. This has recently been proved by the authors in the case where \(A\) is an interval in dimension one [Anal. PDE 10, No. 6, 1497--1538 (2017; Zbl 1377.42014)]. The main result of the present paper is that the conjecture is true also when \(A\) is a convex polygon in two dimensions. This result is a step towards the conjecture that a convex polytope is spectral if and only if it can tile by translations. The present work supplements well the other recent works of the authors.