[論文レビュー] When are crossed products by minimal diffeomorphisms isomorphic?

N. Christopher Phillips|ArXiv.org|Aug 11, 2002

Advanced Operator Algebra Research参考文献 24被引用数 3

ひとこと要約

本稿は、最小微分同相写像から生じるC*-および滑らかクローズド積の同型問題を調査し、カントール集合の同相写像に対してGiordano-Putnam-Skau定理が与える力学的条件が微分同相写像へと拡張されないことを示している。C*-クローズド積が同型であっても、それらの背後にある微分同相写像がフラップ同型でないし強く軌道同値でない場合を示す4つの新しい例を提示し、滑らかクローズド積理論における未解決問題を特定している。特に、力学的特徴付けと関数計算の性質に関する問題が挙げられる。

ABSTRACT

This is a survey which discusses the isomorphism problem for both C* and smooth crossed products by minimal diffeomorphisms. For C* crossed products, examples demonstrate the failure of the obvious analog of the Giordano-Putnam-Skau Theorem on minimal homeomorphisms of the Cantor set. For smooth crossed products, there are many open problems.

研究の動機と目的

• 最小微分同相写像によるC*-クローズド積が何時同型となるかを調査すること、特にカントール集合の同相写像に対するGiordano-Putnam-Skau定理と対比して検討すること。
• 局所乗法的凸Fréchet代数としての滑らかクローズド積の存在と構造的性質を探索すること。
• C*-クローズド積の同型を特徴付ける力学的不変量を特定すること、特に動的構造と滑らか代数構造を結びつける既知の定理が存在しない状況において。
• 滑らかクローズド積における安定階数、実階数、関数計算に関する未解決問題に取り組むこと、特に一般の滑らか部分代数理論に対する反例を踏まえて。

提案手法

• フラップ同型でも強く軌道同値でもないが、C*-クローズド積が同型となるような最小微分同相写像の4つの明示的例を構成する。
• 特にElliott不変量理論を含むC*-代数分類理論の最新進展を応用し、得られたクローズド積の同型を証明する。
• 滑らか部分代数と漸近的スペクトル挙動の利用により、滑らかクローズド積の存在に関する一般的十分条件を確立する。
• 滑らか部分代数の要素に対する関数計算技法（正則的およびC¹）を用い、スペクトル性質およびスペクトルデータの収束を分析する。
• スペクトルデータの漸近的挙動を、limₙ→∞ n[a(n) − λ(a)] = ω(a) という極限により分析し、スペクトル値の収束速度を特徴付ける。
• 非可換幾何学および滑らか部分代数理論の結果を応用し、可逆性や可逆元の稠密性といった構造的性質を調査する。

実験結果

リサーチクエスチョン

• RQ1 最小微分同相写像によるC*-クローズド積の同型は、カントール集合の場合の強力軌道同値に類似した力学的条件によって特徴付けられるか？
• RQ2 ある技術的条件を満たす最小微分同相写像に対して滑らかクローズド積が存在するか？また、その存在を保証する力学的性質は何か？
• RQ3 滑らかクローズド積は、C*-クローズド積が捉えきれない動的情報をどの程度保持しているか？
• RQ4 滑らかクローズド積は正則的関数計算またはC¹関数計算に関して閉じているか？その閉包の制限は何か？
• RQ5 安定階数または実階数によって滑らかクローズド積の構造が完全に特徴付けられるか？それとも反例が存在するか？

主な発見

• Giordano-Putnam-Skau条件の類似は最小微分同相写像に対して成立しない：フラップ同型でない最小微分同相写像であっても、それらのC*-クローズド積は同型となる例が存在する。
• C*-クローズド積が同型であっても、それらの背後にある微分同相写像が強く軌道同値でないしフラップ同型でない場合を示す4つの新しい例が構成された。
• 技術的スペクトル条件を満たす最小微分同相写像に対して、滑らかクローズド積の構成が可能であり、このような代数は局所乗法的凸Fréchet代数である。
• 滑らか部分代数B₀は正則的関数計算に関して閉じているが、連続的関数計算に関しては閉じていない。これは√xがB₀に属する元を保つとは限らないことから示される。
• B₀における可逆元は稠密であり、B₀の自己随伴元における可逆な自己随伴元も稠密であるが、有限スペクトルの自己随伴元は稠密ではない。
• Schweitzerによる反例は、一般の滑らか部分代数理論が、例えば滑らかクローズド積における実階数の挙動といった構造的問題を解消できないことを示している。