[논문 리뷰] Markovian properties of continuous group actions: algebraic actions, entropy and the homoclinic group

Sebastián Barbieri, Felipe García‐Ramos외 1명|arXiv (Cornell University)|2019. 11. 02.

Mathematical Dynamics and Fractals참고 문헌 87인용 수 6

한 줄 요약

이 논문은 컴팩트 메트라이즈블 공간 위의 연속적 군 작용에 대해 마르코프 성질—특히 위상 마르코프 성질(TMP)과 강력한 TMP—을 도입하여 대수적 작용, 엔트로피, 동형군의 결과들을 통합한다. 앰비언트 군의 확장 가능한 대수적 작용이 특정 환 이론적 또는 군 이론적 조건(예: 노에터 군 환, 강력한 애티야 추측 및 유한 부분군의 유계성)을 만족할 경우 강력한 TMP를 만족함을 증명하며, 이는 위상 엔트로피가 양일 조건이 동형군이 자명하지 않을 때이고, 완전히 양의 엔트로피일 조건이 동형군이 밀도가 있을 때임을 의미한다.

ABSTRACT

We provide a unifying approach which links results on algebraic actions by Lind and Schmidt, Chung and Li, and a topological result by Meyerovitch that relates entropy to the set of asymptotic pairs. In order to do this we introduce a series of Markovian properties and, under the assumption that they are satisfied, we prove several results that relate topological entropy and asymptotic pairs (the homoclinic group in the algebraic case). As new applications of our method, we give a characterization of the homoclinic group of any finitely presented expansive algebraic action of (1) any elementary amenable group with an upper bound on the orders of finite subgroups or (2) any left orderable amenable group, using the language of independence entropy pairs.

연구 동기 및 목표

• 마르코프 성질의 공통 프레임워크를 통해 대수적 작용, 엔트로피, 점점 가까워지는 쌍에 흩어진 결과들을 통합하기 위해.
• 앰비언트 군의 확장 가능한 대수적 작용이 강력한 위상 마르코프 성질(강력한 TMP)을 만족할 조건을 설정하기 위해.
• 동형군을 이용하여 위상 엔트로피와 엔트로피의 완전한 양의 성질을 특성화하기 위해.
• 유한 부분군의 유계성 또는 왼쪽 순서 가능성을 갖는 일반적인 앰비언트 군으로 기존의 엔트로피와 점점 가까워지는 쌍에 대한 결과를 확장하기 위해.

제안 방법

• 기하학적 다이내믹스의 마르코프 성질을 컴팩트 메트라이즈블 공간 위의 군 작용으로 일반화한 위상 마르코프 성질(TMP)과 강력한 TMP를 도입하기 위해.
• 유한 부분집합에서 궤도 근사의 균일한 제어를 통해 TMP를 정의하며, 경계 영역에서의 국소적 데이터가 오차 범위 내에서 전반적 행동을 결정함을 보장하기 위해.
• 유사 궤도 추적 성질(POTP)을 갖는 작용은 강력한 TMP를 만족하며, 강력한 TMP는 TMP를 함의함을 증명하기 위해.
• 강력한 TMP를 사용하여 독립 엔트로피 쌍과 점점 가까워지는 쌍을 연결하며, 특히 확장 가능한 작용에서 이를 다루기 위해.
• 판별 이중체를 ZG-모듈로 분석하고 폰 노이만 차원 및 강력한 애티야 추측을 활용하여 대수적 작용에 이 프레임워크를 적용하기 위해.
• 예를 들어 왼쪽 노에터 군 환 또는 유한 부분군의 유계성과 강력한 애티하 추측을 만족할 경우 강력한 TMP가 성립함을 증명하며, 이는 엔트로피 특성화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 가산 앰비언트 군 G와 대수적 작용 G↷X에 대해, 어떤 조건에서 작용이 강력한 위상 마르코프 성질(강력한 TMP)을 만족하는가?
• RQ2 강력한 TMP는 확장 가능한 대수적 작용의 위상 엔트로피와 어떻게 관련되어 있는가?
• RQ3 동형군 Δ(X,G)의 자명하지 않음과 위상 엔트로피의 양성 사이의 정확한 관계는 무엇인가?
• RQ4 동형군 Δ(X,G)가 X에 조밀한가? 이는 엔트로피의 완전한 양의 성질과 어떻게 관련되어 있는가?
• RQ5 마르코프 성질의 프레임워크를 사용하여 일반적인 앰비언트 군에 대해 독립 엔트로피 쌍과 점점 가까워지는 쌍을 이용한 엔트로피 특성화가 가능한가?

주요 결과

• G↷X가 가산 무한 앰비언트 군의 확장 가능한 대수적 작용이며, 다음 중 하나를 만족할 경우 G↷X는 강력한 TMP를 만족한다: (1) ZG가 왼쪽 노에터이거나, (2) G가 강력한 애티하 추측을 만족하고, 유한 부분군이 유계이며, X의 이중 모듈이 유한 생성된 표현을 갖는다.
• 강력한 TMP 하에서 G↷X의 위상 엔트로피는 동형군 Δ(X,G)가 자명하지 않을 때이고, 그때만 양이 된다.
• 작용이 완전히 양의 엔트로피를 갖는다 ↔ 동형군 Δ(X,G)가 X에 조밀하다.
• 강력한 TMP를 갖는 최소한의 확장 가능한 작용의 경우 위상 엔트로피는 0이며, 이는 Z^d 및 소픽 군에 대한 이전 결과를 일반화한다.
• 이 논문은 다음 조건을 만족하는 경우, (1) 유한 부분군이 유계인 모든 기본 앰비언트 군 또는 (2) 모든 왼쪽 순서 가능 앰비언트 군에서, 유한 생성된 확장 가능한 대수적 작용의 동형군을 독립 엔트로피 쌍을 통해 특성화한다.
• 강력한 TMP는 엔트로피와 점점 가까워지는 구조를 통합적으로 다룰 수 있게 하며, 폰 노이만 차원 및 애티하 추측과 같은 대수적·해석적 불변량과 위상 동역학을 연결한다.