[論文レビュー] Gap-labelling for quasi-crystals (proving a conjecture by J. Bellissard)

Moulay-Tahar Benameur, Hervé Oyono‐Oyono|ArXiv.org|Dec 12, 2001

Advanced Operator Algebra Research参考文献 5被引用数 13

ひとこと要約

この論文は、準結晶のスペクトルギャップにおける状態密度の統合値が、縦断的チャーン特徴類の像と標準的不変測度によって生成されるℝの部分群に値をとることを示すことにより、J. Bellissardのギャップラベルリング予想を証明する。ラミネーションの測度付きインデックス定理とK理論における縦断的チャーン特徴類の自然性を用いて、準結晶力学系に関連する交叉C*-代数のK₀群がトレースを介してℤ[μ]に写像されることを示している。ここでμはカントール集合上の不変確率測度である。

ABSTRACT

In the present paper, we give a proof of the gap-labelling conjecture for quasi-crystals. The main tools are the measured index theorem for laminations and a naturality of the longitudinal Chern character.

研究の動機と目的

• シュレーディンガー作用素の準結晶におけるスペクトルギャップにおける状態密度の統合値がℝの可算部分群に値をとることを示す、Bellissardの予想を証明すること。
• 準結晶被覆の交叉C*-代数のK理論と、不変確率測度によって誘導されるトレースの像との間の明確な関係を確立すること。
• C*-代数 $ C(\tilde{\rm \textbackslash Omega}) \rtimes \mathbb{Z}^p $ のK₀群がトレースを介して $ \mathbb{Z}[\mu] $ に写像されることを示すこと。ここで $ \mu $ はカントール集合上の標準的不変測度である。

提案手法

• ラミネーションの測度付きインデックス定理を用いて、バナッハ代数上のトレースと縦断的チャーン特徴類を関連付ける。
• K理論における縦断的チャーン特徴類の自然性を適用し、$ K_0(C(\tilde{\rm \textbackslash Omega}) \rtimes \mathbb{Z}^p) $ を $ H^*_{\ell}(V_{\Omega}, \mathbb{R}) $ 内のコホモロジー類に関連付ける。
• 縦断的チャーン特徴類 $ ch^{p}_{\ell} $ の上位次元成分と、写像 $ \psi_{\mathbb{Z}^p} $ を介したその押し出しを用いる。
• $ C(\Omega) \cong C_0(\Omega \times ]0,1[^p) $ の場合に還元することで、 $ \psi_{\mathbb{Z}^p}(ch^{p}_{\ell}(K_0(C(V_{\Omega}))) $ の整数性を確立する。この場合、像は $ C(\Omega, \mathbb{Z})_{\mathbb{Z}^p} $ に含まれる。
• $ K_0(C(\Omega)) \cong C(\Omega, \mathbb{Z}) $ の同型を用いて、トレース下でのチャーン特徴類の像を整数値関数と特定する。
• 双対性ペアリング $ \langle ch^{p}_{\ell}(e), [C_{\mu, \mathbb{Z}^p}] \rangle = \langle \psi_{\mathbb{Z}^p}(ch^{p}_{\ell}(e)), \mu \rangle $ を適用し、コホモロジーと測度論的データの間の関係を結論づける。

実験結果

リサーチクエスチョン

• RQ1 準結晶上のシュレーディンガー作用素のスペクトルギャップにおける状態密度の統合値は、Bellissardが予想したようにℝの可算部分群に値をとるか？
• RQ2 基礎となる力学系の位相的不変量を用いて、 $ K_0(C(\Omega) \rtimes \mathbb{Z}^p) $ 上のトレースの像を正確に特徴づけることができるか？
• RQ3 カントール集合上の不変測度 $ \mu $ に関して、度数 $ p $ の縦断的チャーン特徴類がトレース写像と合成されたときに整数値をとるか？

主な発見

• トレース $ \tau^\mu_* $ の像が $ K_0(C(\Omega) \rtimes \mathbb{Z}^p) $ 上で正確に $ \mathbb{Z}[\mu] $ に一致し、Bellissardのギャップラベルリング予想が証明された。
• 縦断的チャーン特徴類の上位次元成分 $ ch^{p}_{\ell} $ は $ \psi_{\mathbb{Z}^p}(ch^{p}_{\ell}(K_0(C(V_{\Omega}))) \subset C(\Omega, \mathbb{Z})_{\mathbb{Z}^p} $ を満たし、整数性が確立された。
• 縦断的チャーン特徴類は単射であり、同型な像は $ \oplus_j H_j(\mathbb{Z}^p, C(\Omega, \mathbb{Z})) $ に同型であり、明確なK理論的記述が得られた。
• トレースペアリング $ \langle ch^{p}_{\ell}(e), [C_{\mu, \mathbb{Z}^p}] \rangle $ は $ \langle \psi_{\mathbb{Z}^p}(ch^{p}_{\ell}(e)), \mu \rangle $ に等しく、コホモロジーと測度論的データを結びつけた。
• $ \Omega $ が非自明な不変コンパクト開部分集合を持たないカントール集合であるという仮定の下で、最小性と測度の一意性が保証され、結果が成り立つ。
• 証明は $ K_*(C(V_{\Omega})) $ のねじれ自由性とチャーン特徴類の自然性に依存しており、標準的モデル空間 $ \Omega \times ]0,1[^p $ への還元を可能にしている。