图 C*-代数与箭图表示的流等价与同构问题的可判定性
算子代数
2020-06-02 v2 动力系统
表示论
摘要
我们注意到 Grunewald 和 Segal 关于算术群算法问题的深刻结果意味着涉及 Z 上偏序分块矩阵的若干矩阵等价问题的可判定性。因此，Eilers、Restorff、Ruiz 和 S{\o}rensen 的结果意味着单位图 C*-代数(包括 Cuntz-Krieger 代数)的同构与稳定同构是可判定的。也可以判定有限型移位的流等价，以及 Z-箭图表示(即有限生成阿贝尔群同态的有限图)的同构。
引用
@article{arxiv.1812.04555,
title = {Decidability of flow equivalence and isomorphism problems for graph C*-algebras and quiver representations},
author = {Mike Boyle and Benjamin Steinberg},
journal= {arXiv preprint arXiv:1812.04555},
year = {2020}
}
备注
12 pages. This version (2) to appear in Proceedings AMS