[논문 리뷰] Cost, $\ell^2$-Betti numbers and the sofic entropy of some algebraic actions

Damien Gaboriau, Brandon Seward|arXiv (Cornell University)|2015. 09. 08.

Mathematical Dynamics and Fractals참고 문헌 35인용 수 9

한 줄 요약

이 논문은 소픽 그룹의 대수적 작용의 맥락에서 소픽 엔트로피, $\beta_1^{(2)}$-베티 수, 그리고 코스트 사이의 깊은 연결 고리를 설정한다. 오르누스트-바우즈 인식 맵을 일반화하여, 인식 맵 하에서 엔트로피 증가가 그룹의 첫 번째 $\beta_1^{(2)}$-베티 수와 코스트에 의해 지배됨을 보이며, 호모클리닉 부분군이 조밀한 프로파인 군 위의 대수적 작용의 경우, 위상적 및 측도적 소픽 엔트로피가 일치함을 증명한다.

ABSTRACT

In 1987, Ornstein and Weiss discovered that the Bernoulli $2$-shift over the rank two free group factors onto the seemingly larger Bernoulli $4$-shift. With the recent creation of an entropy theory for actions of sofic groups (in particular free groups), their example shows the surprising fact that entropy can increase under factor maps. In order to better understand this phenomenon, we study a natural generalization of the Ornstein--Weiss map for countable groups. We relate the increase in entropy to the cost and to the first $\ell^2$-Betti number of the group. More generally, we study coboundary maps arising from simplicial actions and, under certain assumptions, relate $\ell^2$-Betti numbers to the failure of the Juzvinski{\uı} addition formula. This work is built upon a study of entropy theory for algebraic actions. We prove that for actions on profinite groups via continuous group automorphisms, topological sofic entropy is equal to measure sofic entropy with respect to Haar measure whenever the homoclinic subgroup is dense. For algebraic actions of residually finite groups we find sufficient conditions for the sofic entropy to be equal to the supremum exponential growth rate of periodic points.

연구 동기 및 목표

• 비가역적 군 작용에서 인식 맵 하에서 엔트로피가 증가할 수 있는 이유를 이해하기 위해 오르누스트-바우즈 예제를 고려한다.
• 오르누스트-바우즈 인식 맵을 임의의 생성집합과 유한 아벨 군으로 일반화한다.
• 소픽 엔트로피의 증가가 작용하는 군의 첫 번째 $\beta_1^{(2)}$-베티 수와 코스트와 어떻게 관련되는지 규명한다.
• 프로파인 군 위의 대수적 작용에서 위상적 및 측도적 소픽 엔트로피가 일치하는 조건을 설정한다.
• 등가관계에서 소픽 엔트로피, 로크힌 엔트로피, 그리고 코스트와 $\beta_1^{(2)}$-베티 수와 같은 불변량 간의 관계를 탐색한다.

제안 방법

• 코바운더리 구성에 의해 오르누스트-바우즈 맵을 일반화: 군 $G$, 생성집합 $S$, 유한 아벨 군 $K$ 에 대해 $\theta_S^{ow}(x)(g)(s) = x(g) - x(gs) \mod K$.
• 일반화된 맵의 핵과 상을 분석하여 엔트로피 증가가 코스트 및 $\ell^2$-베티 수와 같은 군 불변량과 어떻게 관련되는지 규명한다.
• 연속적 자기동형사상에 의한 프로파인 군 위의 대수적 작용 이론을 활용하여 위상적 및 측도적 소픽 엔트로피를 비교한다.
• 소픽 엔트로피 이론의 결과, 특히 로크힌 엔트로피와 소픽 군의 족에 대한 바우언의 정의를 활용하여 확장에서의 상대 엔트로피를 연구한다.
• 잔류 유한 군의 경우, 적절한 조건 하에서 소픽 엔트로피가 주기점들의 지수적 증가율과 일치함을 증명한다.
• 비가역적 환경에서 실패하는 유즈빈스키 덧셈 공식과 그 영향을 분석하여 인식 맵 하에서 엔트로피 행동을 분석한다.

실험 결과

연구 질문

• RQ1 일반화된 오르누스트-바우즈 맵은 비가역적 군 작용에서 인식 맵 하에서 소픽 엔트로피 증가를 어떻게 설명하는가?
• RQ2 엔트로피 증가가 작용하는 군의 첫 번째 $\ell^2$-베티 수와 코스트와 얼마나 깊이 관련되어 있는가?
• RQ3 프로파인 군 위의 대수적 작용에서 위상적 소픽 엔트로피가 측도적 소픽 엔트로피와 일치하는 조건은 무엇인가?
• RQ4 주기점들의 지수적 증가율이 잔류 유한 군의 소픽 엔트로피를 계산하는 데 사용될 수 있는가?
• RQ5 등가관계 맥락에서 $\ell^2$-베티 수, 코스트, 그리고 소픽 엔트로피 사이에 더 깊은 연결 고리가 존재하는가?

주요 결과

• 일반화된 오르누스트-바우즈 맵은 군 $G$ 의 첫 번째 $\ell^2$-베티 수 $\beta_1^{(2)}(G)$ 와 코스트 $\mathcal{C}(G)$ 에 비례하는 양만큼 엔트로피를 증가시킨다.
• 호모클리닉 부분군이 조밀한 프로파인 군 위의 대수적 작용의 경우, 위상적 소픽 엔트로피는 하어르 측도에 대해 측도적 소픽 엔트로피와 일치한다.
• 잔류 유한 군의 대수적 작용의 소픽 엔트로피는 적절한 조건 하에서 주기점들의 Supremum 지수적 증가율과 일치한다.
• 자유 p.m.p. 작용 $G \curvearrowright X \times (K^G / K)$ 의 로크힌 엔트로피는 $\mathcal{C}(G \curvearrowright X) \cdot \log |K|$ 이하로 유계된다.
• 가설된 부등식은 등가관계에 대해 $\beta_1^{(2)}(R) + 1$ 과 소픽 엔트로피를 연결하며, 엔트로피와 $\ell^2$-베티 불변량 사이에 잠재적 등식을 시사한다.
• 논문은 코스트, $\ell^2$-베티 수, 그리고 소픽 엔트로피 간의 부등식이 사실은 등식일 수 있다는 열린 질문을 제기하며, 통합된 엔트로피 이론적 프레임워크의 가능성을 암시한다.