[论文解读] Dimension groups for interval maps

Fred Shultz|ArXiv.org|May 24, 2004

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

一句话总结

本文通过构造一个关联的局部同胚并利用转移算子定义维数群，提出了一类分段单调区间映射的维数群不变量。证明了该群同构于由动力系统构造的C*-代数（AI代数）的K₀群，从而为区间映射提供了一个K-理论不变量，并对马尔可夫、单峰、多峰及区间交换映射进行了显式计算。

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₀群之间的联系。
• 对包括马尔可夫、单峰、多峰及区间交换映射在内的特定映射类，计算其维数群。
• 证明维数群捕捉了关键的动力学信息，特别是对传递映射而言。

提出的方法

• 通过在临界点处断开区间，从分段单调区间映射τ构造一个局部同胚σ。
• 将维数群DG(τ)定义为作用于C(X, ℤ)上的转移算子L*的归纳极限，其中X为断开后的空间。
• 利用等价关系f ~ g 当且仅当存在n ≥ 0使得L^n f = L^n g，将群元素定义为整值连续函数的等价类。
• 通过条件L^n f ≥ 0 对某个n ≥ 0，为群赋予正锥。
• 构造一个C*-代数A_τ，作为在区间上C*-代数的归纳极限，连接映射由动力系统导出。
• 通过证明从投影到X上函数的维数映射诱导出与转移算子相容的同构，证明K₀(A_τ)同构于DG(τ)。

实验结果

研究问题

• RQ1 尽管分段单调区间映射并非局部同胚，是否仍可为其定义维数群？
• RQ2 由此得到的维数群是否同构于由动力系统构造的C*-代数的K₀群？
• RQ3 是否能显式计算出如单峰或马尔可夫映射等重要映射类的维数群？
• RQ4 维数三元组(DG(τ), DG(τ)+, L*)是否在某些区间映射族中构成共轭的完备不变量？

主要发现

• 维数群DG(τ)同构于由τ的动力构造的C*-代数A_τ的K₀群，建立了动力系统与C*-代数K-理论之间的联系。
• 对于马尔可夫映射，维数群作为ℤ[t, t⁻¹]-模是有限生成的，且可明确识别出其典范生成元。
• 当且仅当映射τ是传递的且其对应系统是极小的时，维数群是单的。
• 该构造产生了一个类似布拉泰利图的归纳极限结构，区间宽度对应路径计数，且该群同构于转移算子在C(X, ℤ)上的归纳极限。
• 对于单峰和多峰映射，可通过单调分支的数量及其符号动力学显式计算维数群。