fe66624050d2b21f.tex
1: \begin{abstract}
2: Let $K$ be a totally real number field of degree $n \geq 2$. The inverse different of $K$ gives rise to a lattice in $\R^n$. We prove that the space of Schwartz Fourier eigenfunctions on $\R^n$ which vanish on the
3: ``component-wise square root" of this lattice, is infinite dimensional. 
4: The Fourier non-uniqueness  set thus obtained is a discrete subset of the union of all spheres $\sqrt{m}S^{n-1}$ 
5: for integers $m \geq 0$ and, as $m \rightarrow \infty$,
6: there are $\sim c_{K} m^{n-1}$ many points on the $m$-th sphere for some explicit
7: constant $c_{K}$, proportional to the square root of the discriminant of $K$. This
8: contrasts a recent Fourier uniqueness result by Stoller \cite[Cor. 1.1]{S}. Using a different construction involving the codifferent of $K$, we prove an analogue for discrete subsets of ellipsoids. In special cases, these sets also lie on spheres with more densely spaced radii, but with fewer points on each. 
9: 
10: 
11: We also study a related question about existence of Fourier interpolation formulas with nodes ``$\sqrt{\Lambda}$'' for general lattices  $ \Lambda \subset \R^n$. Using results about lattices in Lie groups of higher rank we prove that if $n \geq 2$ and a certain group $\Gamma_{\Lambda} \leq \PSL_2(\R)^n$ is discrete, then such interpolation formulas cannot exist.    Motivated by these more general considerations, we revisit the case of one radial variable 
12: and prove, for all $n \geq 5$ and all real $\lambda > 2$, Fourier interpolation 
13: results for sequences of spheres $\sqrt{2 m/ \lambda}S^{n-1}$, where $m$ ranges over 
14: any fixed cofinite set of  non-negative integers. The proof relies on a series of 
15: Poincar{\'e} type  for Hecke groups of infinite covolume and is similar to the one in 
16: \cite[\S 4]{S}. 
17: \end{abstract}
18: