[论文解读] Smooth and non-smooth $AF$-algebras and problem on invariant measures

A. M. Vershik|arXiv (Cornell University)|Apr 8, 2013

Advanced Operator Algebra Research参考文献 5被引用 11

一句话总结

本文引入了AF代数中的二分法——根据其迹和不变测度的结构，将其分类为‘完全光滑’或‘完全非光滑’。研究证明，如无限对称群群代数这样的光滑AF代数，其不可约迹（遍历不变测度）可被博雷尔参数化；而非光滑代数，如某些局部有限可解群的代数，则具有庞祖尔单纯形结构，无法实现此类参数化。主要贡献在于一个猜想：由可数分配格的哈塞图（例如高维杨图）生成的所有AF代数均为完全光滑。

ABSTRACT

We separate the $AF$-algebras (correspondingly action of the countable groups on Cantor sets) onto two classes ---- "completely smooth" for which the set of all indecomposable traces (correspondingly list of all invariant ergodic measures) has nice parametrization, and the second class --- "completely non-smooth" for which the set of all traces (correspondingly set of all invariant measures) is Poulsen simplex and therefore there is no suitable parametrization of indecomposable traces, (ergodic measures) e.g.Choquet boundary. Important example of the first type of $AF$-algebra is group algebra of infinite symmetric group, and of the second type --- group algebra of some locally finite solvable group. The questions of recognition of those cases are closely related to the orbit theory of dynamical systems and theory of filtrations of sigma-fields in measure spaces and Borel spaces.

研究动机与目标

• 根据AF代数的迹和不变测度结构，区分其为‘完全光滑’或‘完全非光滑’。
• 阐明AF代数的不可约迹集合（遍历不变测度）可被博雷尔参数化的条件。
• 将光滑/非光滑二分法与博雷尔空间和测度空间中的轨道理论及σ-代数滤子联系起来。
• 提出并论证关于高维杨图（Yₙ，n ≥ 3）相关AF代数光滑性的猜想。
• 提供一个概念框架，通过滤子和标准性，将K-理论、动力系统与不变测度联系起来。

提出的方法

• 使用布拉泰利图上的中心测度概念及其与AF代数迹的对应关系。
• 通过康托空间上的尾等价关系及相应滤子，利用滤子的标准性来定义光滑性。
• 引入‘间隙博雷尔等价’的概念，以比较不同布拉泰利图生成的滤子。
• 应用递减σ-代数序列（即滤子）的理论，以区分标准（光滑）与非标准（非光滑）情形。
• 利用伯尔克霍夫定理将分配格表示为偏序集的理想，从而将哈塞图视为布拉泰利图进行研究。
• 提出猜想：由可数分配格的哈塞图（如Yₙ）生成的AF代数均为完全光滑，其依据是极小理想存在频率向量。

实验结果

研究问题

• RQ1 在何种条件下，AF代数的不可约迹集合可被博雷尔参数化？
• RQ2 康托空间上滤子的标准性或非标准性如何与对应AF代数的光滑性或非光滑性相关？
• RQ3 与n维杨图（Yₙ，n ≥ 3）相关的AF代数是否完全光滑，如同n = 2时的情形？
• RQ4 能否通过光滑/非光滑二分法对局部有限群作用的不变测度结构进行分类？
• RQ5 柯赫特边界与庞祖尔单纯形在非光滑AF代数迹分类中起何作用？

主要发现

• 无限对称群的群代数是完全光滑AF代数的典型例子，其不可约迹由托马单纯形参数化。
• 与局部有限可解群相关的AF代数是完全非光滑AF代数的典型例子，其迹集合构成一个庞祖尔单纯形。
• 当n = 2时，关于AF代数A(Y₂)光滑性的猜想成立，且等价于托马定理。
• 该猜想提出：由可数分配格的哈塞图（如Yₙ，n ≥ 3）生成的所有AF代数均为完全光滑。
• 本文建立了一种概念上的对偶性：AF代数迹的分类问题与经典分析中的傅里叶对偶性之间存在对应。
• 在底层偏序集中，极小理想存在频率向量，被提议为证明光滑性猜想的关键要素。