[論文レビュー] Dimension groups for interval maps

Fred Shultz|ArXiv.org|May 24, 2004

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

ひとこと要約

本稿では、臨界点で区間を切断して局所ホメオモルフィズム σ を構成し、その上で転送作用素を用いて次元群を定義することにより、区分的単調な区間写像に対して次元群不変量を導入する。この群が、写像の力学から構成された C*-代数（AI代数）の K₀ 群と同型であることを証明し、区間写像に対する K-理論的不変量を提供する。Markov 写像、ユニモーダル写像、マルチモーダル写像、区間交換写像の各クラスについて明示的な計算が行われる。

ABSTRACT

With each piecewise monotonic map of the unit interval, a dimension triple is associated. The dimension triple, viewed as a Z[t, t^{-1}] module, is finitely generated, and generators are identified. Dimension groups are computed for Markov maps, unimodal maps, multimodal maps, and interval exchange maps. It is shown that the dimension group defined here is isomorphic to K_0(A), where A is a C*-algebra (an "AI-algebra") defined in dynamical terms.

研究の動機と目的

• 区分的単調な区間写像に対して次元群を用いた動的不変量を定義すること。
• 区間写像の次元群と、その力学から構成された C*-代数の K₀ 群との間の関係を確立すること。
• Markov 写像、ユニモーダル写像、マルチモーダル写像、区間交換写像などの特定クラスの区間写像について、次元群を明示的に計算すること。
• 次元群が、特に推移的写像において、本質的な力学的情報を捉えていることの確認。

提案手法

• 区分的単調な区間写像 τ から、臨界点で区間を切断することで局所ホメオモルフィズム σ を構成する。
• X を切断された空間とするとき、C(X, ℤ) 上の転送作用素 L* の帰納的極限として次元群 DG(τ) を定義する。
• ある n ≥ 0 に対して L^n f = L^n g であるとき f ~ g と同値関係を定め、群の元を整数値連続関数の同値類として定義する。
• ある n ≥ 0 に対して L^n f ≥ 0 である条件により、群に正錐を導入する。
• 区間上の C*-代数の帰納的極限として C*-代数 A_τ を構成し、接続写像を力学から得る。
• 射影から関数への次元写像が転送作用素と整合するように、K₀(A_τ) と DG(τ) の同型を示す。

実験結果

リサーチクエスチョン

• RQ1 区分的単調な区間写像は局所ホメオモルフィズムでないため、次元群を定義できるか？
• RQ2 力学から構成された C*-代数の K₀ 群と、得られる次元群が同型であるか？
• RQ3 ユニモーダル写像や Markov 写像などの重要なクラスについて、次元群を明示的に計算できるか？
• RQ4 次元三重組 (DG(τ), DG(τ)+, L*) は、特定の区間写像族において、同相の完全不変量となるか？

主な発見

• 次元群 DG(τ) は、写像 τ の力学から構成された C*-代数 A_τ の K₀ 群と同型である。これにより、力学系と C*-代数 K-理論との間に結びつきが確立される。
• Markov 写像に対しては、次元群が ℤ[t, t⁻¹]-加群として有限生成であり、標準的生成元が明示的に特定される。
• 次元群が単純であることと、写像 τ が推移的かつ関連する系が極小であることとは同値である。
• 構成により、帰納的極限のためのブラッティリ図に類似した構造が得られ、区間の幅がパスの数に対応し、群は C(X, ℤ) 上の転送作用素の帰納的極限と同型である。
• ユニモーダル写像およびマルチモーダル写像に対しては、単調な分岐の数とその記号的力学を用いて次元群を計算できる。