[論文レビュー] On the K-theory of C*-algebras for substitution tilings (a pedestrian version)

Daniel Gonçalves, Maria Ramirez-Solano|arXiv (Cornell University)|Dec 27, 2017

Advanced Operator Algebra Research参考文献 35被引用数 4

ひとこと要約

本稿では、接続写像を備えた単一のコチェーン複体を用いて、置換タイリングに関連するC*-代数のK理論を計算的に効率的に行う手法を提示する。安定（S）および非安定（U）C*-代数のK理論が、それぞれ安定コhomologyおよび安定転置homologyから導かれることが確立され、1次元タイリングではK理論群がねじれを持たないことが証明されている。2次元では、K₀(U)およびK₁(S)のみがねじれを含む可能性がある。この手法はMathematicaに実装されており、従来の手法と比較してより単純な代替手段を提供する。

ABSTRACT

Under suitable conditions, a substitution tiling gives rise to a Smale space, from which three equivalence relations can be constructed, namely the stable, unstable, and asymptotic equivalence relations. We denote with $S$, $U$, and $A$ their corresponding $C^*$-algebras in the sense of Renault. In this article we show that the $K$-theories of $S$ and $U$ can be computed from the cohomology and homology of a single cochain complex with connecting maps for tilings of the line and of the plane. Moreover, we provide formulas to compute the $K$-theory for these three $C^*$-algebras. Furthermore, we show that the $K$-theory groups for tilings of dimension 1 are always torsion free. For tilings of dimension 2, only $K_0(U)$ and $K_1(S)$ can contain torsion.

研究の動機と目的

• 置換タイリングに関連するC*-代数のK理論を統一的かつ計算可能な方法で計算するための手法を開発すること。
• コホモロジー的およびホモロジー的構成を用いて、安定および非安定C*-代数のK理論の間の直接的な関係を確立すること。
• 1次元および2次元のタイリングにおけるK理論群のねじれの有無を同定すること。
• 単一のコチェーン複体と接続写像を用いて、K₀およびK₁群を明示的な公式およびアルゴリズムで計算するための手法を提供すること。
• 実用的な計算および既存手法との比較を可能にするために、この手法をMathematicaに実装すること。

提案手法

• 置換タイリングから導かれるスメール空間構造から、安定（Rs）、非安定（Ru）、漸近的（Ra）の3つの同値関係を構成する。
• 帰納的極限位相とホール系を用いて、レナールの群体C*-代数構成法により、対応するC*-代数S、U、Aを定義する。
• SのK理論を計算するための「安定コホモロジー」と、UのK理論を計算するための「安定転置ホモロジー」の概念を導入し、それぞれが双対的手段として機能することを示す。
• SおよびUの両方のK理論計算を統合するために、接続写像を備えた単一のコチェーン複体を用いる。
• ねじれが存在しない状況では、置換行列およびその転置の直接極限構成を用いてコホモロジーおよびホモロジーを計算する。
• 具体的なタイリング例のK理論群の実用的計算を可能にするために、アルゴリズムをMathematicaに実装する。

実験結果

リサーチクエスチョン

• RQ1 置換タイリングの安定および非安定C*-代数のK理論は、接続写像を備えた単一のコチェーン複体から計算可能か？
• RQ2 安定コホモロジーおよび安定転置ホモロジーは、SおよびUのK理論の関係をどのように規定するか？
• RQ3 1次元置換タイリングのK理論群がねじれを持たない条件は何か？
• RQ4 2次元タイリングではどのK理論群がねじれを含み得るか、そしてそれらをどのように同定できるか？
• RQ5 本手法は、非安定C*-代数のK理論を計算する従来の手法と比較して、計算効率および単純さの面で優れているか？

主な発見

• 1次元置換タイリングでは、安定および非安定C*-代数のK理論群は常にねじれを持たない。
• 2次元タイリングでは、K₀(U)およびK₁(S)のみがねじれを含む可能性があり、K₀(S)およびK₁(U)はねじれを持たない。
• SのK理論は安定コホモロジーにより、UのK理論は安定転置ホモロジーにより計算され、両者とも単一のコチェーン複体と接続写像から導出される。
• ねじれが存在しない場合には、置換行列およびその転置の直接極限を用いて、K₀およびK₁群を明示的な公式で計算可能である。
• 本手法は従来の手法よりも計算的に効率的であり、実用的用途を想定したMathematicaへの実装が完了している。
• この構成により、SおよびUのK理論の間の直接的な関係が確立され、著者らの第一著者が提起した双対性に関する予想が裏付けられた。