[논문 리뷰] On tame enveloping semigroups

Eli Glasner|ArXiv.org|2004. 06. 27.

Mathematical Dynamics and Fractals참고 문헌 15인용 수 8

한 줄 요약

이 논문은 동역계의 이분법을 설정한다: 둘러싸는 준군은 또는 크기가 크며 (βℕ의 사본을 포함함) 또는 온전하다 (순서수렴에 의해 위상이 결정됨). 이는 거리형 디스타르 미니멀 시스템이 온전한지 여부가 등장하는지에 따라 결정되며, 아벨 군에 의한 온전한 미니멀 시스템은 PI임을 증명한다 (따라서 약한 혼합 시스템은 결코 온전하지 않다). 또한 온전한 미니멀 캐스케이드는 0의 위상적 엔트로피를 가진다. 이는 오랫동안 미해결된 문제를 해결한다. 즉, 둘러싸는 연산자 준군에서 엘리스 준군으로의 자연스러운 사상이 디스타르이지만 등장하지 않는 시스템에서는 항상 동형사상이 아니라는 것을 보여준다.

ABSTRACT

A dynamical version of the Bourgain-Fremlin-Talagrand dichotomy shows that the enveloping semigroup of a dynamical system is either very large and contains a topological copy of the Stone-Cech compactification of the natural numbers, or it is a "tame" topological space whose topology is determined by the convergence of sequences. In the latter case we say that the dynamical system is tame. We show that (i) a metric distal minimal system is tame iff it is equicontinuous (ii) for an abelian acting group a tame metric minimal system is PI (hence a weakly mixing minimal system is never tame), and (iii) a tame minimal cascade has zero topological entropy. We also show that for minimal distal-but-not-equicontinuous systems the canonical map from the enveloping operator semigroup onto the Ellis semigroup is never an isomorphism. This answers a long standing open question. We give a complete characterization of minimal systems whose enveloping semigroup is metrizable. In particular it follows that for abelian acting group such a system is equicontinuous.

연구 동기 및 목표

• 자기 둘러싸는 준군의 구조를 통해 온전한 동역계를 특성화하기 위해.
• 자연스러운 사상이 둘러싸는 연산자 준군에서 엘리스 준군으로 항상 동형사상인지 여부에 대한 열린 질문을 해결하기 위해.
• 특히 미니멀 시스템에서 둘러싸는 준군이 거리형이 되는 조건을 규명하기 위해.
• 미니멀 시스템에서 온전함, 가까움, 위상적 엔트로피 간의 관계를 명확히 하기 위해.
• 둘러싸는 준군이 전체 자기사상 집합 X^X와 동일해지는 경우를 조사하기 위해.

제안 방법

• 부르간-프레mlin-탈라그랑의 이분법을 적용하여 둘러싸는 준군을 크기가 크거나 (βℕ를 포함함) 온전한 (로젠탈 컴팩트)으로 분류한다.
• 약한 거의 주기적 시스템 이론과 균일하게 거의 등장하는 시스템 이론을 사용하여, 거리형 WAP 및 HAE 시스템이 온전함을 증명한다.
• 거리형 디스타르 미니멀 시스템에서 온전함이 등장함을 증명하기 위해, 둘러싸는 연산자 준군에서 엘리스 준군으로의 자연스러운 사상 Φ의 단사성을 사용한다.
• 아벨 작용 군에 대해, 온전한 미니멀 시스템은 PI(근접-등장)임을 증명하기 위해, 둘러싸는 준군의 최소 이상과 자동형군의 구조를 사용한다.
• 둘러싸는 준군이 거리형이면서 시스템이 미니멀일 경우, 유일한 최소 이상은 컴팩트 군이며, 몫 시스템은 근접임을 증명한다.
• 궤도 닫힘의 완비성을 사용하여 E(X,Γ) = X^X가 되는 조건을 특성화한다. 이는 시스템이 완비일 때만 성립하며 (모든 n에 대해 n-완비임), 그 경우에만 성립한다.

실험 결과

연구 질문

• RQ1 온전한 시스템에 대해, 둘러싸는 연산자 준군에서 엘리스 준군으로의 자연스러운 사상이 항상 동형사상인가요?
• RQ2 미니멀 디스타르 시스템에서, 온전함과 등장함은 동치인가요?
• RQ3 특히 작용 군이 아벨일 경우, 미니멀 약한 혼합 시스템이 온전한가요?
• RQ4 어떤 조건에서 미니멀 시스템의 둘러싸는 준군이 거리형이 되는가요?
• RQ5 둘러싸는 준군이 X^X 전체 자기사상 집합과 동일해지는 경우는 언제인가요?

주요 결과

• 거리형 디스타르 미니멀 시스템은 온전한지 여부가 등장함에 따라 결정된다.
• 아벨 작용 군에 대해, 모든 거리형 미니멀 온전한 시스템은 PI이므로, 어떤 약한 혼합 미니멀 시스템도 온전하지 않다.
• 온전한 미니멀 캐스케이드는 0의 위상적 엔트로피를 가진다.
• 디스타르이지만 등장하지 않는 미니멀 시스템에 대해, 둘러싸는 연산자 준군에서 엘리스 준군으로의 자연스러운 사상은 동형사상이 아니며, 이는 오랫동안 미해결이었던 질문을 해결한다.
• 미니멀 시스템의 둘러싸는 준군이 거리형일 경우, 작용 군이 아벨이면 시스템은 등장함이다.
• 둘러싸는 준군 E(X,Γ)는 시스템이 완비일 때만 (모든 n에 대해 n-완비일 때) X^X와 동일하다.