[논문 리뷰] Topological entropy for automorphisms of totally disconnected locally compact groups

Anna Giordano Bruno|arXiv (Cornell University)|2014. 01. 15.

Advanced Topology and Set Theory인용 수 4

한 줄 요약

이 논문은 전적으로 이산적인 국소 콤��� 그룹에서의 자동형사의 위상적 엔트로피를 계산하기 위한 극한이 없는 공식을 수립하며, $ H_{\text{top}}(\theta, U) = \log[\theta(C(\theta^{-1}, U)) : C(\theta^{-1}, U))] $ 라는 공식을 증명한다. 이 공식은 계산을 단순화하고, 이전에 콤팩트 군에서만 알려져 있던 핵심 성질들—예를 들어, 공역에 대한 불변성, 단조성, 로그 법칙, 역극한에 대한 연속성, 그리고 약한 덧셈 정리—을 더 넓은 범위의 전적으로 이산적인 국소 콤팩트 군으로 확장한다.

ABSTRACT

We give a "limit-free formula" simplifying the computation of the topological entropy for topological automorphisms of totally disconnected locally compact groups. This result allows us to extend several basic properties of the topological entropy known to hold for compact groups.

연구 동기 및 목표

• 전적으로 이산적인 국소 콤팩트 군에서의 자동형사의 위상적 엔트로피를 계산하기 위한 극한이 없는 공식을 제공하는 것.
• 이전에 콤팩트 군에서만 성립했던 위상적 엔트로피의 기본 성질들을 전적으로 이산적인 국소 콤팩트 군의 더 넓은 맥락으로 확장하는 것.
• 위상적 엔트로피와 윌리스의 스케일 함수 사이의 관계를 설정하는 것—특히 $ \log s(\phi) \leq h_{\text{top}}(\phi) $ 라는 등식을 통해.
• 이 비콤팩트 맥락에서 위상적 엔트로피에 대한 약한 덧셈 정리와 역극한에 대한 연속성 검증.
• 완전한 덧셈 정리에 대한 열린 문제와 국소 콤팩트 군의 연속 내형사로의 극한이 없는 공식의 확장 문제 해결.

제안 방법

• 모든 $ U \in \mathcal{B}(G) $, 즉 열린 콤팩트 부분군의 집합에 대해, $ n $-번째 $ \phi $-공궤적 $ C_n(\phi, U) = U \cap \phi^{-1}(U) \cap \cdots \cap \phi^{-n+1}(U) $ 을 정의한다.
• $ \phi $-공궤적 $ C(\phi, U) = \bigcap_{n=1}^\infty C_n(\phi, U) $ 을 도입하며, 이는 $ U $ 안에 포함된 가장 큰 $ \phi $-불변 부분군이다.
• 위상적 엔트로피 $ h_{\text{top}}(\phi) $ 가 $ H_{\text{top}}(\phi, U) = \lim_{n \to \infty} \frac{\log[U : C_n(\phi, U)]}{n} $ 의 상한임을 증명한다. 여기서 $ U \in \mathcal{B}(G) $ 이다.
• 핵심 결과를 확립: $ H_{\text{top}}(\phi, U) = \log[\phi(C(\phi^{-1}, U)) : C(\phi^{-1}, U)] $, 이는 극한을 취할 필요 없이 공식을 도출할 수 있음을 의미한다.
• 지수의 군론적 성질과 자동형사의 성질—예를 들어 $ [G:H] = [G:K][K:H] $ 와 $ [KH:H] = [K:H \cap K] $ —을 사용하여 공식을 유도한다.
• 이 공식을 적용하여 공역에 대한 불변성, 단조성, 로그 법칙, 역극한에 대한 연속성, 그리고 약한 덧셈 정리 등을 증명한다.

실험 결과

연구 질문

• RQ1 전적으로 이산적인 국소 콤팩트 군에서의 자동형사의 위상적 엔트로피에 대해 극한이 없는 공식을 도출할 수 있는가?
• RQ2 이 맥락에서 약한 덧셈 정리 $ h_{\text{top}}(\phi \times \psi) = h_{\text{top}}(\phi) + h_{\text{top}}(\psi) $ 가 성립하는가?
• RQ3 스케일 함수와 위상적 엔트로피 사이의 등식 $ \log s(\phi) = h_{\text{top}}(\phi) $ 가 성립하는 조건은 무엇인가?
• RQ4 극한이 없는 공식을 국소 콤팩트 군의 연속 내형사로 확장할 수 있는가?
• RQ5 닫힌 정규 $ \phi $-불변 부분군에 대해 전체 덧셈 정리 $ h_{\text{top}}(\phi) = h_{\text{top}}(\phi|_N) + h_{\text{top}}(\overline{\phi}) $ 가 성립하는가?

주요 결과

• 논문은 극한이 없는 공식을 수립한다: $ H_{\text{top}}(\phi, U) = \log[\phi(C(\phi^{-1}, U)) : C(\phi^{-1}, U)] $, 이는 극한을 취하지 않고도 직접 계산이 가능하게 한다.
• 이 공식은 콤팩트 군에서의 기존 결과를 전적으로 이산적인 국소 콤팩트 군으로 확장하며, 핵심 엔트로피 성질을 유지한다.
• 로그 법칙 $ h_{\text{top}}(\phi^k) = k \cdot h_{\text{top}}(\phi) $ 는 모든 양의 정수 $ k $ 에 대해 성립하며, 지수의 곱법적 성질을 통해 증명된다.
• 위상적 엔트로피의 역극한에 대한 연속성이 검증된다: $ \bigcap N_i = \{1\} $ 이면 $ h_{\text{top}}(\phi) = \sup_i h_{\text{top}}(\overline{\phi}_i) $ 가 성립한다.
• 약한 덧셈 정리가 성립한다: $ h_{\text{top}}(\phi \times \psi) = h_{\text{top}}(\phi) + h_{\text{top}}(\psi) $, 이는 곱군에서 지수의 곱법적 성질에서 유도된다.
• 또한 $ \log s(\phi) \leq h_{\text{top}}(\phi) $ 이며, 등식의 조건은 $ C(\phi^{-1}, U) $ 의 구조와 스케일 함수에 의해 특징지어질 수 있다.