[論文レビュー] Fuglede's conjecture holds in $\mathbb{Q}_p$

Aihua Fan, Shilei Fan+2 more|arXiv (Cornell University)|Dec 30, 2015

Mathematical Analysis and Transform Methods参考文献 15被引用数 6

ひとこと要約

この論文は $p$-進体 $\mathbb{Q}_p$ におけるFugledeの予想を証明する：正で有限なHaar測度を持つBorel集合は、ちょうどその集合が $\mathbb{Q}_p$ に平行移動でタイル張り可能であるとき、スペクトル集合である。証明は、このようなスペクトル集合およびタイルが必ずほとんどコンパクトな開集合であることを示し、一様離散集合のフーリエ解析および関連測度のフーリエ変換の分布的性質を活用する。

ABSTRACT

Fuglede's conjecture in $\mathbb{Q}_p$ is proved. That is to say, a Borel set of positive and finite Haar measure in $\mathbb{Q}_p$ is a spectral set if and only if it tiles $\mathbb{Q}_p$ by translation.

研究の動機と目的

• 正で有限なHaar測度を持つBorel集合に対して、$\mathbb{Q}_p$ におけるFugledeの予想を解決すること。これは、スペクトル集合とタイルの間の同値性を示すものである。
• $\mathbb{Q}_p$ におけるスペクトル集合およびタイルの構造を特定し、それらがほとんどコンパクトな開集合でなければならないことを示すこと。
• $\mathbb{Q}_p$ におけるコンパクトな開スペクトル集合に関する既存の結果を、正で有限なHaar測度を持つ一般のBorel集合へと拡張すること。
• $\mathbb{Q}_p$ におけるスペクトルとタイル補集合の双対性を確立し、この文脈で双対Fuglede予想を確認すること。

提案手法

• スペクトル $\Lambda$ およびタイル補集合 $T$ に関連する均一測度 $\mu_\Lambda$ と $\mu_T$ のフーリエ変換の零点集合を分析する。
• スペクトルおよびタイル条件を統一的に扱うための畳み込み方程式 $\mu_E * f = w$ を用いる。ここで $f = |\widehat{1_\Omega}|^2$ かつ $w = \mathfrak{m}(\Omega)^2$ である。
• Bruhat-Schwartz空間における分布論を用いて、$\mathbb{Q}_p$ 上の離散Radon測度のフーリエ変換を研究する。
• タイル集合の一様離散性および成長性を解析することで、$\mathbb{Q}_p$ におけるタイルがほとんどコンパクトな開集合であることを示す。
• 既知の $p$-斉次離散集合に関する結果を活用し、スペクトルおよびタイルのペアを構成する。これにより、[5] の定理1.2を一般のBorel集合へと拡張する。
• プラナッシャー型恒等式 $\sum_{\lambda \in \Lambda} |\widehat{1_\Omega}|^2(\xi - \lambda) = \mathfrak{m}(\Omega)^2$ を用いて、スペクトル条件とタイル条件の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Q}_p$ において、正で有限なHaar測度を持つすべてのBorel集合に対してFugledeの予想は成り立つか？
• RQ2 正で有限なHaar測度の下で、$\mathbb{Q}_p$ におけるスペクトル集合は常にタイルであるし、逆も成り立つか？
• RQ3 $\mathbb{Q}_p$ におけるスペクトル集合およびタイルが持つ構造的性質、特にコンパクト性と開性に関しては何かあるか？
• RQ4 $\mathbb{Q}_p$ において、スペクトルとタイル補集合の双対性を確立できるか。これは、コンパクトな開集合に関する結果を一般化するものである。
• RQ5 $\mathbb{Q}_p$ における離散測度のフーリエ変換の零点集合は、スペクトルおよびタイル性質とどのように関係するか？

主な発見

• Fugledeの予想は $\mathbb{Q}_p$ で成立する：正で有限なHaar測度を持つBorel集合 $\Omega \subset \mathbb{Q}_p$ は、ちょうどその集合が $\mathbb{Q}_p$ に平行移動でタイル張り可能であるとき、スペクトル集合である。
• $\mathbb{Q}_p$ における任意のスペクトル集合またはタイルは、Haar測度の下で零集合を除いてコンパクトな開集合でなければならない。
• 「タイルであるならばスペクトル集合である」の方向は、[5] の定理1.2から従う。この定理は、$p$-斉次性を用いてコンパクトな開集合について同値性を確立している。
• 「スペクトル集合であるならばタイルである」の方向は、Bruhat-Schwartz分布枠組みにおけるフーリエ変換の零点集合および畳み込み恒等式の解析により、直接的に証明される。
• $\mathbb{Q}_p$ におけるスペクトルおよびタイル補集合は一様離散であり、それらに関連する測度は畳み込み方程式 $\mu_E * f = w$ を満たし、$w > 0$ である。
• 次元 $d \geq 2$ の場合、$\mathbb{Q}_p^d$ においては有界なタイルがほとんどコンパクトな開集合でないこともあるし、スペクトル集合がタイル張りしないこともあるため、一般には予想は $\mathbb{Q}_p^d$ に拡張されない。