[논문 리뷰] Compactifications of Semigroups and Semigroup Actions

Michael Megrelishvili|ArXiv.org|2006. 11. 25.

Advanced Topology and Set Theory참고 문헌 25인용 수 17

한 줄 요약

이 논문은 힐버트 큐브 $ K = [0,1]^ au $ 위의 연속 자기사상의 모노이드 $ C(K,K) $가 컴팩트형 열린 위상에 대해 유니버설 제2가산 컴팩트형 반군임을 증명한다. 또한 이 반군의 작용은 $ S $와 $ X $가 모두 분리 가능하고 미터리작 가능할 때, 모든 제2가산 컴팩트형 $ S $-유역에 대해 유니버설이며, 우스펜스키의 군 유니버설리티 정리가 반군 설정으로 확장됨을 보여준다.

ABSTRACT

An action of a topological semigroup S on X is compactifiable if this action is a restriction of a jointly continuous action of S on a Hausdorff compact space Y. A topological semigroup S is compactifiable if the left action of S on itself is compactifiable. It is well known that every Hausdorff topological group is compactifiable. This result cannot be extended to the class of Tychonoff topological monoids. At the same time, several natural constructions lead to compactifiable semigroups and actions. We prove that the semigroup C(K,K) of all continuous selfmaps on the Hilbert cube K is a universal second countable compactifiable semigroup (semigroup version of Uspenskij's theorem). Moreover, the Hilbert cube K under the action of C(K,K) is universal in the realm of all compactifiable S-flows X with compactifiable S where both X and S are second countable. We strengthen some related results of Kocak & Strauss and Ferry & Strauss about Samuel compactifications of semigroups. Some results concern compactifications with separately continuous actions, LMC-compactifications and LMC-functions introduced by Mitchell.

연구 동기 및 목표

• 위상군의 고전적 컴팩트화 이론을 위상반군으로 확장하여, 일반적으로 성립하지 않는 경우를 다루는 것.
• 특히 분리 또는 동시 연속 작용의 맥락에서 반군 작용과 반군 자체의 컴팩트화 가능성을 위한 충분 및 필요 조건을 규명하는 것.
• 우스펜스키의 호메오모르피즘 군에 대한 정리와 유사하게, 컴팩트화 가능한 반군과 그 작용에 대한 유니버설리티 결과를 수립하는 것.
• 특히 티히온오프 모노이드와 파라위상군에서 컴팩트화 가능성의 한계를 명확히 하는 것.
• 기존의 세멜 컴팩트화, LMC-컴팩트화, 행렬 계수 이론을 반군 설정에서 강화하는 것.

제안 방법

• 공통 연속 컴팩트화를 부분대수를 통한 특성화로 기술하기 위해 $ S $-컴팩트화 이론과 $ RUC_S(X) $, 즉 오른쪽 균일연속 함수의 대수를 사용한다.
• 균일 구조 기법을 적용하여 컴팩트화 가능성을 위한 필요 및 충분 조건을 도출하며, 코카크 및 스트라우스, 페리 및 스트라우스의 결과를 일반화한다.
• 에일리스 반군 구조를 활용하여 $ S $-유역의 컴팩트화 가능성과 적절한 동역학적 컴팩트화 존재성 간의 관계를 규명한다.
• 반군 $ C(K,K) $를 통한 유니버설 예시를 구성하여, 제2가산 컴팩트형 $ S $-유역에 대해 이것이 유니버설임을 보인다.
• $ \pi $-생성 반군 구조를 활용하여 반례를 구성하고 특정 경우의 비컴팩트화 가능성을 입증한다.
• 컴팩트화 가능성과 미터리작성, 분리 가능성, 국소 컴팩트성 등의 위상적 성질 간의 관계를 분석한다.

실험 결과

연구 질문

• RQ1 고전적 위상군의 컴팩트화 결과가 위상반군으로 확장될 수 있는가? 만약 불가능하면 그 장애 요소는 무엇인가?
• RQ2 위상반군 또는 그 작용이 컴팩트화 가능하기 위한 필수 및 충분 조건은 무엇인가?
• RQ3 우스펜스키의 군에 대한 결과와 유사하게, 제2가산, 분리 가능, 미터리작 가능 범주에서 유니버설 컴팩트화 가능한 반군이 존재하는가?
• RQ4 LMC-컴팩트화와 분리 연속 작용은 반군 컴팩트화 이론의 광범위한 이론과 어떻게 관련되어 있는가?
• RQ5 모노이드 $ ([0,\infty), \cdot) $, 소르게프라 라인, 또는 노름 공간 $ E $ 위의 강한 연산자 위상에서의 $ \Theta(E) $와 같은 맥락에서 컴팩트화 가능성의 한계는 무엇인가?

주요 결과

• 힐버트 큐브 $ K = [0,1]^\omega $ 위의 연속 자기사상의 반군 $ C(K,K) $는 컴팩트형 열린 위상으로 장비되었을 때, 유니버설 제2가산 컴팩트형 반군임을 증명한다.
• 반군 $ C(K,K) $가 $ K $ 위에 작용하는 작용은 $ S $와 $ X $가 모두 분리 가능하고 미터리작 가능할 때, 모든 제2가산 컴팩트형 $ S $-유역에 대해 유니버설이다.
• $ ([0,\infty), \cdot) $ 모노이드는 컴팩트화 가능하지 않으며, LMC-컴팩트화 가능성도 없으며, $ LMC(S) $에 의한 위상 결정 실패로 인해 그러하다.
• 소르게프라 라인 $ ({\mathbb{R}}_s, +) $ 는 티히온오프 모노이드이지만 컴팩트화 가능하지 않으며, 그 유니버설 컴팩트화는 실수선의 그것과 일치한다.
• $ E $의 노름 공간 위의 수축 선형 연산자 모노이드 $ \Theta(E) $ 는 노름 위상에서는 컴팩트화 가능하지만, 강한 연산자 위상에서는 그렇지 않다; 그러나 그 역반군은 항상 컴팩트화 가능하다.
• 일부 바나흐 공간 $ V $ 에 대해 $ \Theta(V) $ 는 반으로 컴팩트화 가능하지 않음을 보여주는 예가 존재하며, 이는 선형 연산자 반군조차도 컴팩트화 가능하지 않을 수 있음을 시사한다.