[论文解读] Etale groupoids arising from products of shifts of finite type

Hiroki Matui|arXiv (Cornell University)|Dec 6, 2015

Advanced Operator Algebra Research参考文献 29被引用 4

一句话总结

本文提出了并验证了关于由有限型移位（SFTs）乘积导出的étale群胚的上同调、K-理论与拓扑全群之间关系的两个猜想。它建立了此类乘积群胚的同构准则，并计算了其阿贝尔化拓扑全群，推广了高维Thompson群，并在上同调中2-挠元的特定条件下确认了强AH性质。

ABSTRACT

Two conjectures about homology groups, K-groups and topological full groups of minimal etale groupoids on Cantor sets are formulated. We verify these conjectures for many examples of etale groupoids including products of etale groupoids arising from one-sided shifts of finite type. Furthermore, we completely determine when these product groupoids are mutually isomorphic. Also, the abelianization of their topological full groups are computed. They are viewed as generalizations of the higher dimensional Thompson groups.

研究动机与目标

• 提出并验证关于康托集上极小本质主étale群胚的上同调、K-理论与拓扑全群之间关系的两个猜想。
• 分类由单边SFT导出的étale群胚乘积何时同构，扩展了先前关于群胚同构的结果。
• 计算此类乘积群胚的拓扑全群的阿贝尔化，将其识别为高维Thompson群的推广。
• 基于其上同调中2-挠分量的数量与性质，确定这些乘积群胚的强AH性质。

提出的方法

• 提出猜想2.6：偶数阶上同调群的直和同构于约化群胚C*-代数的K-理论。
• 提出猜想2.9：涉及$ H_0(\nG) \otimes \mathbb{Z}_2 $、拓扑全群的阿贝尔化以及$ H_1(\nG) $的特定正合序列是正合的。
• 应用符号动力系统与群胚理论的技术，分析SFT群胚的乘积$ \mathcal{G} = \mathcal{G}_{A_1} \times \cdots \times \mathcal{G}_{A_n} $。
• 利用上同调群$ H_*(\mathcal{G}) $的结构，特别是其分解为分量$ \mathbb{Z}_{m(d,i_d)} $，来分析阿贝尔化$ [[\mathcal{G}]]_{\mathrm{ab}} $。
• 使用提升构造与换位子关系，验证猜想2.9中序列的正合性，特别利用映射$ j $与元素$ \beta $。
• 对$ m(d,i_d) $施加数论条件（奇偶性与整除性），以确定$ g[\operatorname{id}_Y \odot \beta] = 0 $，从而控制正合序列的分裂。

实验结果

研究问题

• RQ1 在何种条件下，偶数阶上同调群的直和同构于约化群胚C*-代数的K-理论？
• RQ2 序列$ H_0(\mathcal{G}) \otimes \mathbb{Z}_2 \to [[\mathcal{G}]]_{\mathrm{ab}} \to H_1(\mathcal{G}) \to 0 $在何时正合？
• RQ3 两个SFT群胚的乘积在何时作为étale群胚同构？
• RQ4 一个SFT群胚乘积的拓扑全群的阿贝尔化是什么？
• RQ5 SFT乘积群胚在何种条件下具有强AH性质？

主要发现

• 猜想2.6对所有极小$ \mathbb{Z} $-作用、单边SFT及其乘积均成立，确认了$ \bigoplus_n H_{2n+i}(\mathcal{G}) \cong K_i(C^*_r(\mathcal{G})) $。
• 猜想2.9对几乎所有有限群胚与具有TR性质的纯无穷群胚成立，包括所有SFT群胚的乘积。
• 两个乘积群胚$ \mathcal{G}_{A_1} \times \cdots \times \mathcal{G}_{A_n} $与$ \mathcal{G}_{B_1} \times \cdots \times \mathcal{G}_{B_n} $同构当且仅当对应矩阵$ A_d $与$ B_d $满足特定组合等价条件。
• 乘积群胚的拓扑全群的阿贝尔化$ [[\mathcal{G}]]_{\mathrm{ab}} $被显式计算为循环群$ \mathbb{Z}_{g_2} $的直和，其中$ g_2 $依赖于$ m(d,i_d) $值的GCD。
• 当$ n=1 $或$ n=2 $时，乘积群胚具有强AH性质；当$ n \geq 3 $时，其具有强AH性质当且仅当少于三个指标$ d $满足$ H_0(\mathcal{G}_{A_d}) $包含$ \mathbb{Z}_2 $作为分量。
• 高维Thompson群$ nV_{k,r} $的阿贝尔化被显式计算为基于参数奇偶性与整除性的循环群直和。