[논문 리뷰] Periodic Points on Shifts of Finite Type and Commensurability Invariants of Groups

David Carroll, Andrew Penland|arXiv (Cornell University)|2015. 02. 11.

semigroups and automata theory참고 문헌 18인용 수 11

한 줄 요약

이 논문은 유한형 이동장치(SFTs)의 약한 주기성과 강한 주기성이 군의 공명성에 대해 불변임을 입증하며, 이는 이러한 동역학적 성질이 전체 공명성 계열 내에서 유지됨을 의미한다. 또한 강한 주기성이 유한 생성 핵을 가진 확장에 대해 유지됨을 증명하여, 차수 ≥2인 다항식 성장도를 가진 군은 강한 주기성이 아님을 도출하고, 강한 주기성이 유한 순환 군을 특징짓는다고 추측한다.

ABSTRACT

We explore the relationship between subgroups and the possible shifts of finite type (SFTs) that can be defined on the group. In particular, we investigate two group invariants, weak periodicity and strong periodicity, defined via symbolic dynamics on the group. We show that these properties are invariants of commensurability. Thus, many known results about periodic points in SFTs defined over groups are actually results about entire commensurability classes. Additionally, we show that the property of being not strongly periodic (also called weakly aperiodic) is preserved under extensions with finitely generated kernels. We conclude by raising questions and conjectures about the relationship of these invariants to the geometric notions of quasi-isometry and growth.

연구 동기 및 목표

• 군의 군론적 성질이 이동장치(SFTs)에서 주기점의 존재에 어떻게 영향을 미치는지 조사하기.
• 모든 SFTs에서 주기점의 존재를 바탕으로 정의된 두 불변량인 약한 주기성과 강한 주기성을 정의하고 분석하기.
• 이러한 불변량이 공명성에 대해 유지됨을 입증함으로써, 기존 SFTs에 대한 결과를 전체 공명성 계열의 군으로 확장하기.
• 강한 주기성과 군의 구조, 특히 다항식 성장도를 가진 군과 유한 생성 핵을 가진 확장에서의 관계를 탐구하기.
• 강한 주기성이 유한 순환 군을 특징짓는다는 추측을 제기하며, 동역학적 성질과 기하군론 간의 연결 고리 마련하기.

제안 방법

• 저자들은 군 위의 모든 SFTs가 적어도 하나의 주기점을 가지는 성질을 약한 주기성으로 정의하고, 모든 SFTs가 유한 궤도를 가진 주기점을 가지는 성질을 강한 주기성으로 정의한다.
• 유한 첨수 부분군 간의 주기성 성질을 연결하기 위해 임의의 군으로 일반화된 고차 블록 이동장치 구축 기법을 사용한다.
• 핵이 유한 생성인 군 G → 몫군 Q로의 전사 준동형사상에 의해 Q 위의 SFTs와 G 위의 SFTs 사이의 대응 관계를 수립한다.
• G가 강한 주기성을 가지며 N이 유한 생성 정규부분군이라면 몫군 G/N도 강한 주기성을 가짐을 증명한다. 이는 구성 공간 간의 G-동차성에 기반한다.
• Gromov의 다항식 성장도에 관한 정리를 적용하여, 성장도가 γ(n) ∼ n^d (d ≥ 2)인 유한 생성 군은 ℤ²의 경우로 감소됨을 보이고, ℤ²가 강한 주기성을 가지지 않음을 이용해 강한 주기성이 아님을 증명한다.
• 粗기하학 및 호몰로지 이론(예: Block–Weinberger, Mozes)의 결과를 활용하여, 오직 유한 순환 군만이 강한 주기성을 가지는 것으로 추측한다.

실험 결과

연구 질문

• RQ1 약한 주기성과 강한 주기성은 군의 공명성에 대해 불변인지, 만약 그렇다면 전체 공명성 계열의 군으로까지 확장되는가?
• RQ2 유한 생성 핵을 가진 확장에서 강한 주기성 성질이 유지되는가? 이는 다항식 성장도를 가진 군에 대해 어떤 함의를 갖는다?
• RQ3 강한 비주기적 SFT의 존재는 쿼asi-isometry 또는 성장 유형과 같은 기하적 성질을 구분하는 데 사용될 수 있는가?
• RQ4 강한 주기성이 유한 순환 군과 동치인가? 만약 그렇다면, 기호 역학을 통한 군의 분류에 대해 어떤 함의를 갖는다?
• RQ5 SFTs의 동역학적 성질은 쿼asi-isometry 및 성장률과 같은 거시기하 불변량과 어떻게 관련되어 있는가?

주요 결과

• 약한 주기성과 강한 주기성은 공명성에 대해 유지된다: 두 유한 생성 군이 공명성일 경우, 한 쪽이 약한(또는 강한) 주기성을 가지면 다른 쪽 역시 마찬가지다.
• 강한 주기성은 유한 생성 핵을 가진 군의 확장에 대해 유지된다: G가 강한 주기성을 가지며 N이 유한 생성 정규부분군이라면 G/N도 강한 주기성을 가진다.
• 성장도가 d ≥ 2인 다항식 성장도를 가진 군은 강한 주기성을 가지지 않으며, Gromov의 정리와 ℤ²가 강한 주기성을 가지지 않는다는 사실을 통해 ℤ²로 감소시켜 증명된다.
• 강한 비주기적 SFT의 존재는 유전적이지 않다. 예를 들어, ℤ ≤ ℤ² 이지만 ℤ는 강한 주기성을 가지지만 ℤ²는 그렇지 않다.
• 논문은 군이 강한 주기성을 가지는 것과 유한 순환 군인 것이 동치라는 추측을 제기하며, 기호 역학과 군의 구조 사이에 깊은 연결 고리가 있음을 시사한다.
• 결과적으로, SFTs에서 주기점에 관한 많은 기존 결과들이 군에 특화된 것이 아니라 전체 공명성 계열에 대해 적용 가능하므로 그 적용 범위가 넓어진다.