[論文レビュー] Torsion in Tiling Homology and Cohomology

Franz Gähler, John Hunton+1 more|arXiv (Cornell University)|May 19, 2005

Quasicrystal Structures and Properties参考文献 16被引用数 11

ひとこと要約

この論文は、特にコードメトリック1〜3の正規投影タイル張りに注目して、タイル張りのホモロジーおよびコホモロジーにおける torsion を分析することで、非周期的タイル張りにおける位相的不変量を再評価する。物理次元 ≤3 においてコホモロジーと K-理論が一致することを示し、Tübingen 三角形タイルの K-理論にも torsion が存在することを証明するが、高次元におけるコホモロジーと K-理論の一般的同型性については未解決のまま残す。

ABSTRACT

The first author's recent unexpected discovery of torsion in the integral cohomology of the Tübingen Triangle Tiling has led to a re-evaluation of current descriptions of and calculational methods for the topological invariants associated with aperiodic tilings. The existence of torsion calls into question the previously assumed equivalence of cohomological and K-theoretic invariants as well as the supposed lack of torsion in the latter. In this paper we examine in detail the topological invariants of canonical projection tilings; we extend results of Forrest, Hunton and Kellendonk to give a full treatment of the torsion in the cohomology of such tilings in codimension at most 3, and present the additions and amendments needed to previous results and calculations in the literature. It is straightforward to give a complete treatment of the torsion components for tilings of codimension 1 and 2, but the case of codimension 3 is a good deal more complicated, and we illustrate our methods with the calculations of all four icosahedral tilings previously considered. Turning to the K-theoretic invariants, we show that cohomology and K-theory agree for all canonical projection tilings in (physical) dimension at most 3, thus proving the existence of torsion in, for example, the K-theory of the Tübingen Triangle Tiling. The question of the equivalence of cohomology and K-theory for tilings of higher dimensional euclidean space remains open.

研究の動機と目的

• Tübingen 三角形タイルの整数コホモロジーに torsion が発見されたのを受けて、非周期的タイル張りの位相的不変量を再評価すること。
• 特にコードメトリック1、2、3における正規投影タイルのコホモロジーにおける torsion の存在と構造を調査すること。
• 特に低次元物理空間において、非周期的タイル張りにおけるコホモロジーや K-理論的不変量の同値性を評価すること。
• タイル理論における torsion と不変量に関して、先行研究の結果を是正・拡張すること。
• コードメトリック3におけるイコサハedralタイル張りの torsion 成分を、詳細な計算手法を用いて完全に扱うこと。

提案手法

• Forrest, Hunton, および Kellendonk の研究を拡張し、コードメトリック ≤3 における正規投影タイルのコホモロジーにおける torsion を体系的に分析する。
• スペクトル系列および整数ホモロジー計算を用いた代数的トポロジー的手法を適用し、torsion 部分群を同定する。
• 正規投影構成を用いて物理空間におけるタイル張りをカットアンドプロジェクション集合としてモデル化し、正確な位相的解析を可能にする。
• コードメトリック3におけるこの手法の実例を示すために、4つの既知のイコサハedralタイル張りに対して明示的な計算を実施する。
• Atiyah-Segal 完全化定理および K-理論的スペクトル系列を用いて、低次元タイル張りにおけるコホモロジーと K-理論を比較する。
• torsion 部分群における同型性の検証により、物理次元 ≤3 におけるコホモロジーと K-理論の一致を検証する。

実験結果

リサーチクエスチョン

• RQ1 Tübingen 三角形タイルの K-理論に torsion が存在するか？ その場合、コホモロジーにおける torsion とどのように関係するか？
• RQ2 物理次元 ≤3 における正規投影タイルについて、コホモロジーや K-理論的不変量がどの程度一致するか？
• RQ3 コードメトリック3における正規投影タイルのコホモロジーにおける torsion の完全な構造は何か？
• RQ4 整数コホモロジーにおける新たに発見された torsion を踏まえると、文献に既存の計算はどの程度修正を要するか？
• RQ5 高次元非周期的タイル張りにおいて、コホモロジーと K-理論の同型性は保持されるか？

主な発見

• Tübingen 三角形タイルの整数コホモロジーに torsion が存在し、これにより同様の不変量に torsion が存在しないという従来の仮定が覆される。
• コードメトリック1および2における正規投影タイルの torsion 成分について完全な取り扱いが達成され、明示的な構造的記述が提供された。
• コードメトリック3では分析がはるかに複雑であるが、この手法は4つの既知のイコサハedralタイル張りすべてに成功裏に適用された。
• 物理次元 ≤3 におけるすべての正規投影タイル張りについてコホモロジーと K-理論が一致し、K-理論に torsion が存在することを確認した。
• 高次元ユークリッド空間におけるコホモロジーと K-理論の同型性は未解決であり、重要な未解決問題のまま残されている。