[论文解读] AF-equivalence relations and their cocycles

Jean Renault|arXiv (Cornell University)|Nov 15, 2001

Advanced Operator Algebra Research被引用 25

一句话总结

本文引入了拓扑AF等价关系，并证明了此类关系上的每个余换道都与拟积余换道共轭。通过证明当关联势函数的拓扑压为零时，给定余换道作为Radon-Nikodym导数的拟不变概率测度存在，从而解决了与单边移位群胚相关的Radon-Nikodym问题，推广了Cuntz代数的KMS态结果。

ABSTRACT

After a review of some of the main results about hyperfinite equivalence relations and their cocycles in the measured setting, we give a definition of a topological AF-equivalence relation. We show that every cocycle is cohomologous to a quasi-product cocycle. We then study the problem of determining the quasi-invariant probability measures admitting a given cocycle as their Radon-Nikodym derivative.

研究动机与目标

• 定义并研究拓扑AF等价关系，作为超有限测度等价关系的拓扑类比。
• 证明拓扑AF等价关系上的每个余换道都与拟积余换道共轭。
• 解决Radon-Nikodym问题：确定所有其Radon-Nikodym导数与给定正余换道匹配的拟不变概率测度。
• 通过Perron-Frobenius-Ruelle定理，将Cuntz代数的KMS态框架扩展至拓扑群胚。
• 建立Radon-Nikodym方程的解与对偶Ruelle算子的不动点之间的对应关系。

提出的方法

• 将单边移位群胚上的基本余换道的核定义为拓扑AF等价关系的概念。
• 使用归纳极限技巧和AF结构，通过上同调等价分析余换道。
• 将Perron-Frobenius-Ruelle定理应用于由 $\mathcal{L}_\varphi f(x) = \sum_{Ty=x} e^{\varphi(y)} f(y)$ 定义的Ruelle算子 $\mathcal{L}_\varphi$。
• 证明Radon-Nikodym导数 $D_\mu = e^{c_\varphi}$ 对应于 $^t\mathcal{L}_\varphi$ 下的不变测度。
• 建立方程 $^t\mathcal{L}_\varphi \mu = \mu$ 特征化了具有导数 $e^{c_\varphi}$ 的拟不变测度。
• 使用拓扑压 $p(\varphi)$ 作为判据：$p(\varphi) = 0$ 是此类测度存在的必要且充分条件。

实验结果

研究问题

• RQ1 拓扑AF等价关系上的每个余换道是否都能共轭变换为拟积余换道？
• RQ2 在何种条件下，给定的正余换道会成为某个拟不变概率测度的Radon-Nikodym导数？
• RQ3 Perron-Frobenius-Ruelle定理如何应用于拓扑群胚背景下Radon-Nikodym问题？
• RQ4 拓扑压在决定Radon-Nikodym方程解的存在性与唯一性中起什么作用？
• RQ5 单边移位群胚的结构与Cuntz代数中的KMS态问题有何关联？

主要发现

• 拓扑AF等价关系上的每个余换道都与拟积余换道共轭。
• 群胚 $G(X,T)$ 的Radon-Nikodym问题有解，当且仅当势函数 $\varphi$ 的拓扑压 $p(\varphi)$ 为零。
• 当 $p(\varphi) = 0$ 时，Radon-Nikodym方程 $D_\mu = e^{c_\varphi}$ 的解唯一，且对应于对偶Ruelle算子 $^t\mathcal{L}_\varphi$ 的不动点。
• 当 $\beta = \log d$ 时，唯一解出现，这对应于移位的拓扑熵。
• 在 $\varphi \equiv 1$ 的特殊情况下，Cuntz代数 $\mathcal{O}_d$ 上的Gauge作用的KMS问题解被恢复，此时在 $\beta = \log d$ 处有 $p(-\beta \varphi) = 0$。
• 满足 $^t\mathcal{L}_\varphi \mu = \mu$ 的拟不变测度 $\mu$ 在移位下不变，并满足导数为 $e^{c_\varphi}$ 的Radon-Nikodym条件。