[论文解读] Non-linear traces of Choquet type on AF algebras

Ryota Ninomiya|arXiv (Cornell University)|Jan 20, 2026

Advanced Algebra and Logic被引用 0

一句话总结

该论文将 Choquet 类型的非线性迹从矩阵代数推广到单元 AF 代数，建立与维数尺度上的递增函数的双射，并给出在 AF 过滤下利用谱数据的显式 Choquet 公式。

ABSTRACT

We study non-linear traces of Choquet type on AF algebras. Building on the characterization of Choquet traces on matrix algebras due to Nagisa--Watatani, we generalize the construction to arbitrary unital AF algebras. We show that there is a one-to-one correspondence between such traces and increasing functions on the dimension scale, and we obtain explicit Choquet formulas in terms of the spectrum and ranks of spectral projections along a fixed AF filtration.

研究动机与目标

• 通过将 Choquet 型积分从矩阵推广到 AF 代数来激发研究动机。
• 通过维度尺度 Γ(A) 表征单元 AF 代数上的 Choquet 迹。
• 给出从 Γ(A) 上的递增函数在 A 上构造 Choquet 迹的显式方法。
• 证明每个 AF 代数上的 Choquet 迹可唯一地来自 Γ(A) 上的这样的函数。
• 用具体的 AF 例子如 UHF 与 Fibonacci AF 代数来说明该理论。

提出的方法

• 回顾 Nagisa–Watatani 对 M_n(C) 及其 Choquet 公式的结果。
• 推广到有限直和矩阵代数 A = ⊕ M_{k_s}(C)，并识别 Γ(A)。
• 通过谱数据和谱上的共单调可加性来在 A 上定义 Choquet 迹。
• 在有限维块上使用 Γ(A) 上的递增 α 构造 φ_α。
• 通过与归纳系统的一致性和保谱近似将方法推广至 AF 代数。
• 证明在 Γ(A) 上的递增映射 α: Γ(A) → [0,∞)，且 α(0)=0 与 A 上 Choquet 迹之间的双射。

实验结果

研究问题

• RQ1 单元 AF 代数上的 Choquet 型迹是否可以完全由其维数尺度 Γ(A) 上的递增函数来分类？
• RQ2 如何在保持跨 AF 过滤的一致性的前提下，从局部（有限维） Choquet 公式构造一个全局的 Choquet 迹？
• RQ3 是否存在 Choquet 迹与 Γ(A) 上的递增映射之间的唯一对应，并通过 α([p]) = φ(p) 与投影对应？
• RQ4 对于在有限维构件中的元素，是否存在可扩展到 AF 极限的一致的显式 Choquet 公式？

主要发现

• 存在一个双射：单元 AF 代数 A 上的 Choquet 迹与 Γ(A) 上满足 α(0)=0 的递增函数 α 之间的双射。