[論文レビュー] Quotient Cohomology for Tiling Spaces

Marcy Barge, Lorenzo Sadun|arXiv (Cornell University)|Jan 18, 2011

Quasicrystal Structures and Properties参考文献 10被引用数 4

ひとこと要約

本稿では、タイル張り空間の相対的コホモロジー理論として商コホモロジーを導入し、一方のタイル張り力学系が他方の因子である場合に、それらの比較を可能にする。マッピングシリンダーやコーンの構成をタイル理論へ一般化することで、著者たちは特に命題4を用いたツールを開発し、高次元の構造を段階的に低次元の構造で商することで、複雑なタイル張り空間のコホモロジーを計算する。この手法は、有限型タイル張り空間やチェア代入、ダイアディックソリノイドといった族に適用される。

ABSTRACT

We define a relative version of tiling cohomology for the purpose of comparing the topology of tiling spaces when one is a factor of the other. We illustrate this with examples, and outline a method for computing the cohomology of tiling spaces of finite type.

研究の動機と目的

• タイルコホモロジーにおけるファンクター的かつ計算可能なツールの不足に応えるために、相対コホモロジー理論を構築すること。
• 一方のタイル張り空間が他方の因子である場合のタイル張り空間の比較を可能にするが、特に標準的相対コホモロジーが非単射写像のため失敗するような状況でも有効であること。
• 有限型のタイル張り空間のコホモロジーを体系的に計算する手法を提供すること。これは従来の手法では取り扱えなかったクラスである。
• コホモロジーの適用範囲をタイル力学系に拡張するため、商コホモロジーをトポロジカルな比較と計算のツールとして導入すること。
• 具体的な例（2次元ダイアディックソリノイド、チェア代入タイル張り）にこの手法を適用し、有限型タイル張り空間への道筋を提示すること。

提案手法

• 写像 $ f: X \to Y $ がコチェイン上で単射なプッシュバックを持つとき、商複体 $ C^k(X)/f^*(C^k(Y)) $ のコホモロジーとして、商コホモロジー $ H_Q^k(X,Y) $ を定義する。
• 蛇の補題を用いて、$ H^k(Y) $、$ H^k(X) $、および $ H_Q^k(X,Y) $ を関連付ける長い完全系列を確立し、再帰的計算を可能にする。
• 命題4を導入し、$ X $ と $ Y $ が低次元のタイル張り空間のススペンションの差異を示す場合に、商コホモロジーを計算可能にする。
• 商コホモロジー形式を、9つのタイル張り空間の族に適用し、各空間が2次元ダイアディックソリノイドと関係づけられるように、命題4を繰り返し適用する。
• 有限型タイル張り空間 $ \nabla_{FT} $ から代入タイル張り空間 $ \nabla_\sigma $ に至る経路をたどる際、1段階の商コホモロジーを組み合わせるために、スペクトル系列または繰り返しの長い完全系列を用いる。
• 頂点で複数のスーパータイルが出会うような複雑さに対処するため、$ k=0 $ で命題4を適用し、有限個の軌道を除去してもコホモロジー構造が壊れないようにする。

実験結果

リサーチクエスチョン

• RQ1 因子写像が非単射である場合に、どのようにコホモロジーを用いてタイル張り力学系を比較できるか？特に、標準的相対コホモロジーが非単射性のため失敗する状況での対処法。
• RQ2 有限型タイル張り空間のコホモロジー的構造は何か？そして、相対コホモロジー的ツールを用いて計算可能か？
• RQ3 代入タイル張り空間のコホモロジーを、単純な商のステップに分解することで、体系的に計算可能か？
• RQ4 低次元のタイル張り空間のススペンションが、高次元タイル張り空間のコホモロジー的構造に果たす役割は何か？
• RQ5 代入タイル張りにおいて、無限次のスーパータイルが頂点で出会うことで生じるトポロジカルな複雑性を、コホモロジー的ツールを用いてどのように扱えるか？

主な発見

• 商コホモロジーは、非単射であっても因子写像によるタイル張り空間の比較にファンクター的枠組みを提供する。
• 命題4は、2つのタイル張り空間が低次元タイル張り空間のススペンションの差異を示す場合に、商コホモロジーを計算可能にする、重要な計算的ツールを提供する。
• 2次元ダイアディックソリノイドのコホモロジーは、$ H^1 = \nabla_3 \times \nabla[1/2]^4 \times \nabla $、$ H^2 = \nabla_3 \times \nabla[1/2]^3 \times \nabla^2 $ として計算され、構造を明確に示す長く完全な系列が提示されている。
• 本手法により、チェア代入タイル張りを含む9つのタイル張り空間のコホモロジーが、繰り返しの商コホモロジーの適用によってダイアディックソリノイドのコホモロジーと関係づけられた。
• 有限型タイル張り空間に対しては、中間空間が標準的なタイル張り空間でなくても、有限個の方向に沿って情報を商することでコホモロジー計算への道筋を提示した。
• スペクトル系列やペアの長い完全系列を用いることで、1段階の商コホモロジーを組み合わせることができ、複雑なコホモロジー不変量の計算が可能になった。