[论文解读] Dynamical correspondences for Smale spaces

Robin J. Deeley, D. Brady Killough+1 more|arXiv (Cornell University)|May 20, 2015

Mathematical Dynamics and Fractals参考文献 20被引用 6

一句话总结

本文引入了动力对应关系作为Smale空间之间的一般化态射，通过一个第三个体态空间与源和目标之间的s-和u-双射映射来定义。该文证明了对应关系可推广移位等价性和强移位等价性（针对有限型移位），在Putnam同调理论中诱导出同调群上的映射，并为将基于矩阵的不变量推广至一般Smale空间提供了自然框架。

ABSTRACT

We initiate the study of correspondences for Smale spaces. Correspondences are shown to provide a notion of a generalized morphism between Smale spaces and are a special case of finite equivalences. Furthermore, for shifts of finite type, a correspondence is related to a matrix which intertwines the adjacency matrices of the shifts. This observation allows us to define an equivalence relation on all Smale spaces which reduces to shift equivalence for shifts of finite type. Several other notions of equivalence are introduced on both correspondences and Smale spaces; a hierarchy between these equivalences is established. Finally, we provide several methods for constructing correspondences and provide specific examples.

研究动机与目标

• 开发Smale空间之间的一般化态射概念，以将有限型移位的组合不变量进行推广。
• 定义并研究对应关系作为一类特殊的有限等价，利用s-和u-双射映射。
• 通过基于对应关系的等价性，将移位等价性和强移位等价性推广至所有Smale空间。
• 在对应关系下建立Putnam同调理论的函子性，并将其与动力Zeta函数及K-理论联系起来。
• 为将基于矩阵的不变量（例如，交织矩阵）推广至非组合结构的Smale空间提供一个框架。

提出的方法

• 将Smale空间 $(X,\varphi)$ 与 $(Y,\psi)$ 之间的对应关系定义为一个包含第三个Smale空间 $(M,\mu)$ 的图式，该空间通过s-双射和u-双射映射分别与$X$和$Y$相连。
• 利用Putnam同调理论，通过s-和u-双射映射在同调群上定义诱导映射，借助其函子性质。
• 基于对应关系，建立Smale空间之间的等价关系——$H$-等价、强等价、有理等价及有理-$H$-等价。
• 构造一个交换图，将邻接矩阵 $\mathcal{R}_{A_G}$ 的像与稳定维数群 $D^s(\Sigma_G,\sigma)\otimes\mathbb{Q}$ 联系起来，展示其与移位作用的相容性。
• 利用Zeta函数 $\zeta_\varphi(t)$ 及其通过稳定上同调群上映射的行列式分解，将动力不变量与对应关系诱导的同构联系起来。
• 提出对应关系可能在稳定/不稳定C*-代数上诱导K-理论映射，尽管在非游荡情形下仍需进一步发展。

实验结果

研究问题

• RQ1 如何定义Smale空间之间的一般化态射，以将移位等价性从有限型移位中推广出去？
• RQ2 在有限型移位的背景下，对应关系、交织矩阵与有限等价之间有何关系？
• RQ3 对应关系如何诱导Putnam同调上的映射？此类映射下哪些不变量保持不变？
• RQ4 Smale空间的Zeta函数能否作为在对应关系诱导的同构下保持不变的动力不变量？
• RQ5 对应关系在多大程度上可用于推广与Smale空间相关的C*-代数的K-理论不变量？

主要发现

• Smale空间之间的对应关系是有限等价的一个特例，且在Putnam同调理论下具有函子性。
• 对于有限型移位，存在对应关系当且仅当存在一个非负交织矩阵 $F$ 满足 $FA_G = A_H F$。
• $H$-等价性推广了移位等价性，如定理5.18所示。
• Smale空间的强等价性等价于强移位等价性，如推论5.15所确立。
• 若两个Smale空间通过一个对应关系相连，且该对应关系在稳定与不稳定上同调群与 $\mathbb{R}$ 张量后诱导出同构，则其Zeta函数相等，如命题7.4所述。
• 对应关系框架为将基于矩阵的不变量从有限型移位推广至一般Smale空间提供了自然设置，避免了有限等价在维数群层级上的非函子性。