[논문 리뷰] Etale groupoids arising from products of shifts of finite type

Hiroki Matui|arXiv (Cornell University)|2015. 12. 06.

Advanced Operator Algebra Research참고 문헌 29인용 수 4

한 줄 요약

이 논문은 유한형 타입(SFT)의 한 방향 이송에서 유래하는 에탈 군oids에 대해 호모로지, K-이론, 위상수학적 전체군 간의 관계를 규명하고 두 추측을 수립·검증한다. 이러한 곱 군oids에 대한 동형 조건을 설정하고, 그들의 아벨화된 위상수학적 전체군을 계산하며, 호모로지의 2- torsion에 대한 특정 조건 하에서 강한 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.

연구 동기 및 목표

• 칸토어 집합 위의 최소적이고 본질적으로 주목적인 에탈 군oids에 대해 호모로지, K-이론, 위상수학적 전체군 간의 관계에 관한 두 추측을 수립하고 검증한다.
• 한 방향 SFT에서 유래한 에탈 군oids의 곱이 언제 동형인지 분류하며, 이는 이전의 군oids 동형에 관한 결과를 확장한다.
• 이러한 곱 군oids의 위상수학적 전체군의 아벨화를 계산하고, 이를 고차원 톰슨 군의 일반화로 식별한다.
• 호모로지의 2- torsion 성분의 수와 성격에 따라 이러한 곱 군oids가 강한 AH 성질을 갖는지 결정한다.

제안 방법

• 2.6번 추측을 수립: 짝수 차수 호모로지 군의 직합이 감소된 군oids C*-대수의 K-이론과 동형임을 주장한다.
• 2.9번 추측을 제안: $ H_0(\nG) \otimes \mathbb{Z}_2 $, 위상수학적 전체군의 아벨화, 그리고 $ H_1(\nG) $를 포함하는 특정 정확한 수열이 정확함을 주장한다.
• 기호 동역학과 군oids 이론의 기법을 적용하여 SFT 군oids $ \mathcal{G} = \mathcal{G}_{A_1} \times \cdots \times \mathcal{G}_{A_n} $ 의 곱을 분석한다.
• 특히 $ \mathbb{Z}_{m(d,i_d)} $ 성분으로 분해되는 호모로지 군 $ H_*(\mathcal{G}) $ 의 구조를 이용하여 아벨화 $ [[\mathcal{G}]]_{\mathrm{ab}} $ 를 분석한다.
• 올림프트 구성과 교환관계를 활용하여 2.9번 추측의 수열 정확성 검증을 수행하며, 특히 맵 $ j $ 와 원소 $ \beta $ 를 사용한다.
• 특정 $ m(d,i_d) $ 에 대해 수론적 조건(기수성과 나누어떨어짐 여부)을 적용하여 $ g[\operatorname{id}_Y \odot \beta] = 0 $ 가 되는지 판단하고, 이는 수열의 분할 여부를 제어한다.

실험 결과

연구 질문

• RQ1 짝수 차수 호모로지 군의 직합이 감소된 군oids 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 군oids의 곱이 에탈 군oids로서 언제 동형인가?
• RQ4 SFT 군oids의 곱의 위상수학적 전체군의 아벨화는 무엇인가?
• RQ5 SFT의 곱 군oids가 강한 AH 성질을 갖는 조건은 무엇인가?

주요 결과

• 2.6번 추측은 모든 최소적 $ \mathbb{Z} $-작용, 한 방향 SFT, 그리고 그들의 곱에 대해 성립하며, $ \bigoplus_n H_{2n+i}(\mathcal{G}) \cong K_i(C^*_r(\mathcal{G})) $ 를 확인한다.
• 2.9번 추측은 거의 유한한 군oids와 성질 TR을 가진 순수 무한군oids(모든 SFT 군oids의 곱 포함)에 대해 성립한다.
• 두 곱 군oids $ \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 $ 가 특정 조합적 동치 조건을 만족할 때이고, 그때에만 동형이다.
• 곱 군oids의 위상수학적 전체군의 아벨화 $ [[\mathcal{G}]]_{\mathrm{ab}} $ 는 $ m(d,i_d) $ 값들의 GCD에 따라 결정되는 $ \mathbb{Z}_{g_2} $ 의 직합으로 명시적으로 계산된다.
• n=1 또는 n=2 일 경우 곱 군oids는 강한 AH 성질을 갖는다; n \geq 3 일 경우, $ H_0(\mathcal{G}_{A_d}) $ 가 $ \mathbb{Z}_2 $ 를 성분으로 포함하는 인덱스 d의 수가 3개 미만일 때에만 강한 AH 성질을 갖는다.
• 고차원 톰슨 군 $ nV_{k,r} $ 의 아벨화는 매개변수의 기수성과 나누어떨어짐 여부에 따라 직접 합으로 명시적으로 계산된다.