[論文レビュー] Finite symmetry group actions on substitution tiling C*-algebras

Charles Starling|arXiv (Cornell University)|Jul 26, 2012

Advanced Operator Algebra Research参考文献 22被引用数 8

ひとこと要約

本稿は、置換タイリング C*-代数における有限対称性群の作用を調査し、交差積代数が実ランク0、安定ランク1、一意なトレース、および K-理論上の順序がトレースによって決定されることを示している。作用に対して弱 Rokhlin 性質が確立され、元の代数のトレースランクが0であるという仮定の下で、トレースランク0の代数が得られるトレース Rokhlin 性質が証明され、Elliott 不変量による分類の可能性が示唆される。

ABSTRACT

For a finite symmetry group $G$ of an aperiodic substitution tiling system $(\p,ω)$, we show that the crossed product of the tiling C*-algebra $\Aw$ by $G$ has real rank zero, tracial rank one, a unique trace, and that order on its K-theory is determined by the trace. We also show that the action of $G$ on $\Aw$ satisfies the weak Rokhlin property, and that it also satisfies the tracial Rokhlin property provided that $\Aw$ has tracial rank zero. In the course of proving the latter we show that $\Aw$ is finitely generated. We also provide a link between $\Aw$ and the AF algebra Connes associated to the Penrose tilings.

研究の動機と目的

• 置換タイリング C*-代数における有限対称性群の作用の力学的および C*-代数的性質を分析すること。
• 交差積代数が実ランク0や安定ランク1といった分類に適した性質を継承するかどうかを特定すること。
• Elliott 不変量による分類の鍵となる弱 Rokhlin 性質またはトレース Rokhlin 性質を満たすかどうかを調査すること。
• 群体の交差積を介して、タイリング C*-代数 Aω と Connes の AF 代数（ペニーローズタイリング）との間の構造的関係を確立すること。
• Aω が有限生成であることを示し、さらなる構造的解析の基盤を築くこと。

提案手法

• 置換タイリング系における移動同値のエタール群体 Rpunc に関連する簡約 C*-代数 Aω の使用。
• 置換規則 ω と可換する有限対称性群 G による Aω 上の群作用の構成。
• ほぼ AF カントール群体の理論を応用し、交差積 Aω ⋊ G がそのような群体と同型であることを示し、実ランク0および安定ランク1を示す。
• 生成集合 E2 を用いた Aω の有限生成性の証明と、分割の単位による近似射影の構成。
• トレースおよびノルムの条件を満たす中心列 {a_g} の構成により、弱 Rokhlin 性質の検証。
• Aω がトレースランク0であるという仮定の下で、Phillips および Matui-Sato の結果を用いて、トレース Rokhlin 性質の確立。

実験結果

リサーチクエスチョン

• RQ1 有限対称性群による置換タイリング C*-代数の交差積 Aω ⋊ G は実ランク0および安定ランク1を有するか？
• RQ2 K0(Aω ⋊ G) 上の順序は、交差積上の一意なトレースによって決定されるか？
• RQ3 Aω 上の群作用は弱 Rokhlin 性質を満たすか？また、どのような条件下でトレース Rokhlin 性質を満たすか？
• RQ4 Aω が有限生成であることを示せるか？そして、これはさらなる分類結果の支援となるか？
• RQ5 Aω とペニーローズタイリングの Connes の AF 代数との間に、特に群体の交差積を介して構造的関係が存在するか？

主な発見

• 交差積 Aω ⋊ G は、ほぼ AF カントール群体の C*-代数と同型であるため、実ランク0および安定ランク1を有する。
• K0(Aω ⋊ G) 上の順序は、Aω からのトレースを引き継いだ一意な正規化トレースによって決定される。
• G による Aω 上の作用は、トレースが1に近い中心列の射影の構成により、弱 Rokhlin 性質を満たすことが示された。
• Aω がトレースランク0であるならば、G による Aω 上の作用はトレース Rokhlin 性質を満たし、これにより Aω ⋊ G もトレースランク0を有する。
• ペニーローズタイリングに関連する AF 代数は、10次元の二面体群 D10 がタイリングに作用する AFω ⋊ D10 と同型である。
• Aω は有限生成である。これは有限生成集合 E2 の存在と、群作用を用いた分割の単位による議論によって示された。