[논문 리뷰] Discrete dynamical systems in group theory

Dikran Dikranjan, Anna Giordano Bruno|arXiv (Cornell University)|2013. 08. 19.

Mathematical Dynamics and Fractals참고 문헌 1인용 수 13

한 줄 요약

이 논문은 노름을 가진 반군 위에서의 반군 엔트로피를 사용하여 수학적 엔트로피의 통합적인 범주론적 프레임워크를 제안한다. 이는 대수적, 위상적, 측도론적 엔트로피와 같은 기존의 엔트로피들을 단일 함자적 구성의 사례로 유도할 수 있게 한다. 주요 기여는 일반적인 공리적 설정에서 불변성, 단조성, 로그 법칙 등의 성질을 체계적으로 도출한 것으로, 군 이론에서의 대수적 엔트로피와 수반 대수적 엔트로피에 대한 세부 분석을 포함하며, 수반 엔트로피가 항상 0 또는 ∞의 값만을 가짐을 보여주는 이분법적 결과를 포함한다.

ABSTRACT

In this expository paper we describe an unifying approach for many known entropies in Mathematics. First we recall the notion of semigroup entropy h_S in the category S of normed semigroups and contractive homomorphisms, recalling also its properties. For a specific category X and a functor F from X to S, we have the entropy h_F, defined by the composition of h_S with F, which automatically satisfies the same properties proved for h_S. This general scheme permits to obtain many of the known entropies as h_F, for appropriately chosen categories X and functors F. In the last part we recall the definition and the fundamental properties of the algebraic entropy for group endomorphisms, noting how its deeper properties depend on the specific setting. Finally we discuss the notion of growth for flows of groups, comparing it with the classical notion of growth for finitely generated groups.

연구 동기 및 목표

• 수학의 다양한 엔트로피 개념—대수적, 위상적, 측도론적—을 단일 범주론적 프레임워크로 통합하는 것.
• 노름을 가진 반군의 범주에서의 반군 엔트로피 $ h_{\mathfrak{S}} $ 를 정의하여, 알려진 엔트로피들을 함자들을 통해 생성하는 보편적 구성으로서의 역할을 하게 하는 것.
• 군의 자기형사상에 대한 대수적 엔트로피 $ \mathrm{ent} $ 와 수반 대수적 엔트로피 $ \mathrm{ent}^\star $ 의 분석을 통해 그들 간의 상이한 성질을 부각하는 것.
• 특히 유한 생성 초순수 아벨 군의 맥락에서 군의 성장과 엔트로피 간의 관계를 명확히 하는 것.
• 초순수 아벨 군에서 항등사상의 영대수적 엔트로피는 다항식 성장과 가상 노름피트성과 동치임을 증명하는 것.

제안 방법

• 노름을 가진 반군과 수축형 준동형사상의 범주 $ \mathfrak{S} $ 를 정의하여 엔트로피의 보편 영역로 삼는다.
• 궤적에 대한 극한을 통한 반군 엔트로피 $ h_{\mathfrak{S}}: \mathfrak{S} \to \mathbb{R}_+ $ 의 구성으로, 기존의 엔트로피 정의를 일반화한다.
• 보편적 구성에서 모든 표준 엔트로피 성질(불변성, 단조성, 로그 법칙)을 특정 범주에 의존하지 않고 도출한다.
• 범주 $ \mathfrak{X} $ (예: $ \mathbf{Grp} $, $ \mathbf{AbGrp} $, $ \mathbf{Set} $) 에서 $ \mathfrak{S} $ 로 가는 함자 $ F: \mathfrak{X} \to \mathfrak{S} $ 를 적용하여 알려진 엔트로피들을 회복한다.
• 보편적 프레임워크를 사용하여 군 자기형사상에 대한 대수적 엔트로피 $ \mathrm{ent} $ 와 수반 대수적 엔트로피 $ \mathrm{ent}^\star $ 의 분석을 수행한다.
• 브릿지 정리와 폰트리아진 쌍대성을 사용하여 수반 대수적 엔트로피를 컴acts 아벨 군에서의 위상적 엔트로피와 연결한다.

실험 결과

연구 질문

• RQ1 일관된 보편적 구성이 대수, 위상, 동역학 분야의 다양한 엔트로피 개념을 통합할 수 있는가?
• RQ2 반군 엔트로피 프레임워크를 통해 다양한 범주 간에 엔트로피의 성질이 어떻게 보존되는가?
• RQ3 군 자기형사상에 대한 대수적 엔트로피와 수반 대수적 엔트로피는 특히 가환성과 범위 측면에서 어떻게 다를까?
• RQ4 유한 생성 초순수 아벨 군의 맥락에서 군의 성장과 대수적 엔트로피 사이의 정확한 관계는 무엇인가?
• RQ5 수반 대수적 엔트로피는 항상 \{0, ∞\} 에서 값만을 취하는가? 이는 이중 군에서의 위상적 엔트로피에 어떤 함의를 갖는가?

주요 결과

• 아벨 군에서 자기형사상 $ \phi $ 의 수반 대수적 엔트로피 $ \mathrm{ent}^\star(\phi) $ 는 항상 0 또는 ∞ 이며, 이는 대수적 엔트로피에서는 성립하지 않는 이분법적 성질을 증명한다.
• 비자명한 군 $ K $ 에서의 버누울리 시프트 $ \beta_K $ 에 대해 수반 대수적 엔트로피는 무한대이다: $ \mathrm{ent}^\star(\beta_K) = \infty $.
• 초순수 아벨 유한 생성 군에서 다음은 서로 동치이다: $ h_{\text{alg}}(\mathrm{id}_G) = 0 $, $ \lambda(G) = 0 $, $ G $ 는 가상 노름피트성이며, $ G $ 는 다항식 성장을 갖는다.
• 수반 대수적 엔트로피의 덧셈 정리는 유계 아벨 군에서는 성립하지만 일반적으로는 성립하지 않으며, 불변 부분군에 대한 단조성도 실패한다.
• 브릿지 정리에 따르면, 컴팩트 아벨 군 $ K $ 의 연속 자기형사상 $ \psi $ 가 유한하고 양의 위상적 엔트로피를 가질 경우, $ \psi $ 는 불연속이어야 한다.
• 보편적 프레임워크인 $ h_{\mathfrak{S}} \circ F $ 는 $ h_{\text{top}} $, $ h_{\text{mes}} $, $ \mathrm{ent} $, $ \mathrm{ent}^\star $ 와 같은 알려진 엔트로피들을 회복하며, 모든 표준 성질이 일반적 구성에서 유도된다.