Topological and Diophantine properties of lattice subset projections

技術要約：格子部分集合の射影における位相的およびディオファントス的性質

問題設定
本論文は、グラスマン多様体 $\text{Gr}(n, m)$ 内の（ここで $1 \le n < m$ および $k = m-n$ とする）部分空間 $W$ への格子部分集合 $L \subset \mathbb{Z}^m$ の直交射影の幾何学的および算術的性質を調査するものである。中心となる問題は、射影 $P_W(L)$ が特定の位相的挙動（離散性 vs 原点への集積）を示す部分空間 $W$ の集合を特徴付け、その挙動を格子部分集合 $L$ の「密度」または「欠落性（lacunarity）」に関連付けることである。

具体的には、格子部分集合 $L$ を、$L$ が空でない開集合 $O \subset \text{Gr}(k, m)$ に対して円錐 $C(O) = \bigcup_{V \in O} V \setminus \{0\}$ と交わる場合に $k$-dense であると定義する。本研究は、$\text{Gr}(n, m)$ における以下の2つの部分空間の集合に焦点を当てる：

1. $L_{n, \text{disc}} = \{W : P_W(L) \text{ が離散的である}\}$
2. $L_{n, \text{lim}} = \{W : 0 \text{ が } P_W(L) \text{ の集積点である}\}$

目標は、$L$ の性質に基づき、これらの集合の位相的な大きさ（ベールの範疇による）および測度論的な大きさ（回転不変測度 $\sigma_n$ による）を決定することである。

手法
本論文は、代数、位相、およびディオファントス近似の技術を組み合わせた手法を用いている：

1. 代数的準備： 著者は、部分群の解析のために、自由アーベル群の理論とスミス標準形を利用する。主要な補題は、部分空間と格子の交差のランク（$r(W) = \text{rank}(W \cap \mathbb{Z}^m)$）と射影行列 $P_W$ の有理性の間の関係を確立する。具体的には、$P_W(L)$ が離散的であるための必要十分条件は $P_W \in \mathbb{Q}^{m \times m}$ であることである。

2. 位相的解析（ベールの範疇）：

   • 著者は、コンパクトな均質空間 $SO(m, \mathbb{R}) / [SO(n, \mathbb{R}) \times SO(k, \mathbb{R})]$ としてのグラスマン多様体 $\text{Gr}(n, m)$ の幾何学を利用する。
   • ベールの範疇定理を適用し、$L$ が $k$-dense である場合、$L_{n, \text{lim}}$ が $G_\delta$ 集合（稠密な開集合の可算個の共通部分）であることを証明する。その結果、その補集合 $L_{n, \text{disc}}$ は、第一次集合（meager set、すなわち至る所稠密でない集合の可算個の和集合）となる。
   • 逆に、$L$ が $k$-dense でない場合、$L_{n, \text{disc}}$ は空でない開集合を含む。

3. ディオファントス解析（クリンケ・グロシュヴェスの定理）：

   • 著者は、プルブッカーの埋め込みを用いて $\text{Gr}(n, m)$ を実解析多様体としてパラメータ化し、局所チャート上でのルベーグ測度の使用を可能にする。
   • ディオファントス近似に関するクリンケ・グロシュヴェスの定理を用い、$L_{n, \text{lim}}$ の測度を特徴付ける。格子点の因子分解における係数の成長率（具体的には $L$ の「欠落性」）に基づく関数 $\psi(p)$ を定義することにより、$\psi(p)$ に関する級数の収束または発散に基づいて、$L_{n, \text{lim}}$ の測度が 0 であるか 1 であるかを決定する。
   • $L_{n, \text{lim}}$ が零集合（測度 0）となる条件、およびその補集合が零集合となる条件は、級数 $\sum p^{k-1} \psi(p)^n$ の収束または発散に依存する。

主要な貢献および結果

• 位相的特徴付け（定理 1）： 本論文は、格子部分集合 $L \subset \mathbb{Z}^m$ が $k$-dense であるための必要十分条件は、$L_{n, \text{lim}}$ が $G_\delta$ 集合であることであることを証明する。これにより、精密な位相的二分性が確立される。すなわち、$k$-dense な集合に対しては、「悪い」射影（0 が集積点となるもの）は位相的に大きく（稠密な $G_\delta$）、「良い」射影（離散的なもの）は位相的に小さい（第一次集合）。
• ディオファントス的特徴付け（定理 2）： 著者は、測度 $\sigma_n(L_{n, \text{lim}})$ が 0 または 1 となるような特定の $k$-dense な格子部分集合 $L$ を構成する。
  • 欠落性関数 $\psi$ を含む級数が収束する場合、$\sigma_n(L_{n, \text{lim}}) = 0$ である。
  • 級数が発散する場合、$\sigma_n(\text{Gr}(n, m) \setminus L_{n, \text{lim}}) = 0$ である（これは $\sigma_n(L_{n, \text{lim}}) = 1$ を意味する）。
  • 系 3 は、スケーリングされた整数ベクトル $k_j q_j$ を用いた具体的な例を提示し、これらの測度論的な極端なケースを示す。
• 幾何学的補題： 本論文は、写像 $W \mapsto W^\perp$ が $\text{Gr}(n, m)$ と $\text{Gr}(k, m)$ の間の測度保存等長写像であることを確立し、主角（ジョルダン角）を用いたグラスマン多様体の計量特性を提供する。

意義および主張
本論文は、その結果を、オキストビー（Oxtoby）の『Measure and Category』の研究との類似性を引き合いに出しながら、本質的な数学的関心を持つものとして位置づけている。主な意義は、格子の代数的構造とグラスマン多様体の解析的性質の間の溝を埋めつつ、格子部分集合の射影集合の「大きさ」を厳密に特徴付けている点にある。

著者は、セクション 1–3 の内容はセクション 4 とは独立していることを明記している。最初の 3 つのセクションの結果は、イヴ・メイヤー（Yves Meyer）の研究を引用しつつ、物理的な準結晶や非周期的タイリングのスペクトルの理解のための基礎的なツールとして提示されている。

研究上の問いおよび推測
論文は、これらの位相的およびディオファントス的な結果を、フーリエ準結晶 (FQ) および 結晶的測度 (CM) の理論へと結びつける推測的なセクション（セクション 4）で締めくくられている：

• 問い 1： すべての $\mathbb{R}^n$（$n > 1$）上のフーリエ準結晶は、三角多項式写像の因子であるか？
• 問い 2： すべてのフーリエ準結晶は、「一般化された灯台（generalized lighthouses）」（本論文で解析された $k$-密度および射影の性質に関連する概念）から生じているのか？

著者は、$k$-dense な集合および $L_{n, \text{lim}}$ の測度の解析が、問い 2 に対して肯定的な回答を与える枠組みを提供することを示唆しているが、これはあくまで推測であり、本文中で証明された結果ではない。論文はこれらの問いを解決すると主張しているのではなく、それらを前述のセクションで展開された理論の自然な次のステップとして位置づけている。