[论文解读] Dynamical Systems on Spectral Metric Spaces

Jean Bellissard, Matilde Marcolli+1 more|arXiv (Cornell University)|Aug 26, 2010

advanced mathematical theories参考文献 52被引用 45

一句话总结

本文研究了在交叉积代数 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 上构造典范谱三元组，以编码非交换空间上动力系统的度量性质。结果表明，此类构造仅当自同构 $\alpha$ 作为等度连续的拟等距作用时才可能实现；否则，采用康奈斯与莫斯科维茨的度量丛构造，将系统嵌入等距框架中，从而在扩展代数上实现谱三元组的构造。主要贡献在于提出了一种系统性方法，通过谱三元组将度量结构关联至非交换动力系统。

ABSTRACT

Let (A,H,D) be a spectral triple, namely: A is a C*-algebra, H is a Hilbert space on which A acts and D is a selfadjoint operator with compact resolvent such that the set of elements of A having a bounded commutator with D is dense. A spectral metric space, the noncommutative analog of a complete metric space, is a spectral triple (A,H,D) with additional properties which guaranty that the Connes metric induces the weak*-topology on the state space of A. A *-automorphism respecting the metric defined a dynamical system. This article gives various answers to the question: is there a canonical spectral triple based upon the crossed product algebra AxZ, characterizing the metric properties of the dynamical system ? If $α$ is the noncommutative analog of an isometry the answer is yes. Otherwise, the metric bundle construction of Connes and Moscovici is used to replace (A,$α$) by an equivalent dynamical system acting isometrically. The difficulties relating to the non compactness of this new system are discussed. Applications, in number theory, in coding theory are given at the end.

研究动机与目标

• 确定是否可在交叉积代数 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 上构造一个典范谱三元组，以编码由 $\ast$-自同构 $\alpha$ 定义的动力系统的度量性质。
• 识别此类谱三元组存在的必要与充分条件，特别关注 $\alpha$ 的等度连续性与等距行为的作用。
• 通过康奈斯与莫斯科维茨的度量丛构造扩展代数，解决非等距或非等度连续作用的问题，从而在更大、等距作用的系统上实现谱三元组的构造。
• 将该框架应用于数论与编码理论中的具体案例，展示该方法在算术与代数几何背景下的实用性。

提出的方法

• 本文通过正则表示和从原始狄拉克算子 $D$ 及 $\alpha$ 的作用提升得到的狄拉克算子 $\tilde{D}$，在交叉积代数上定义谱三元组 $Y = (\mathcal{A} \rtimes_\alpha \mathbb{Z}, \mathcal{K}, \tilde{D})$。
• 引入谱度量空间的概念，其中康奈斯度量在 $\mathcal{A}$ 的状态空间上诱导弱$^\ast$-拓扑，确保与度量几何的相容性。
• 对于非等距作用，度量丛构造将 $\mathcal{A}$ 替换为更大的代数 $\mathcal{B}$，表示非交换度量丛上的连续函数，使得 $\alpha$ 在 $\mathcal{B}$ 上作用为等距。
• 该方法利用 $\mathbb{Z}$ 在 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 上的对偶作用，并构造狄拉克算子的微扰，以确保其与交叉积元素的交换子有界。
• 采用利普希茨代数和商映射 $\psi_\omega: \mathcal{A} \to \mathcal{A}/\mathbb{C}\mathbf{1} \times \mathbb{C}$ 分析利普希茨球的紧致性并建立范数估计。
• 证明依赖于泡利矩阵与 $\mathcal{H} \otimes \ell^2(\mathbb{Z})$ 上内积的迹估计，表明 $\|\partial b\| \leq 1$ 且 $\|[D, \pi \circ \alpha^{-n}(b_l)]\| \leq 1$ 蕴含利普希茨球在商空间中像的紧致性。

实验结果

研究问题

• RQ1 在何种条件下，可在交叉积代数 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 上构造一个典范谱三元组，以自然地编码由 $\alpha$ 定义的动力系统的度量结构？
• RQ2 此类谱三元组的存在性是否等价于自同构 $\alpha$ 在谱度量空间上作为等度连续的拟等距族作用？
• RQ3 该构造能否扩展至非等距或非等度连续作用？若可，如何通过扩展的代数框架保持度量结构？
• RQ4 康奈斯与莫斯科维茨的度量丛构造在实现非单或非紧系统上谱三元组构造中起到何种作用？
• RQ5 在 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 中利普希茨球的紧致性特征与典范谱三元组的存在性之间有何关系？

主要发现

• 在 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 上存在典范谱三元组，当且仅当自同构 $\alpha$ 在由 $({\mathcal{A}}, {\mathcal{H}}, D)$ 定义的谱度量空间上作为等度连续的拟等距族作用。
• 对于非等度连续作用，度量丛构造提供了一种将系统嵌入更大代数 $\mathcal{B}$ 的方法，使得作用变为等距，从而可在 $\mathcal{B} \rtimes_\alpha \mathbb{Z}$ 上构造谱三元组，且 $\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 作为乘子代数。
• 在模 $\mathbb{C}\mathbf{1}$ 下，$\mathcal{A} \rtimes_\alpha \mathbb{Z}$ 中利普希茨球的像具有紧闭包，此结论通过映射 $\psi_\omega$ 和闭图像定理得到证明，确保谱三元组满足所需的度量拓扑。
• 利普希茨球中元素 $b$ 的导数 $\partial b$ 的范数有界，即 $\|\partial b\| \leq 1$，且对 $l \neq 0$ 有 $\|b_l\| \leq 1/|l|$，这表明分量的衰减与紧致性。
• 对每个 $l \neq 0$，范数 $\leq 1/|l|$ 的元素集合 $K_l$ 在 $B_{\text{Lip}}$ 中是紧致的，且利普希茨球在 $\psi_\omega$ 下的像是预紧的，支持商像的紧致性。
• 该构造被应用于具有实乘法的非交换环面与陈-克里格代数，展示了其在数论与编码理论中的相关性。