[논문 리뷰] Classifying locally compact semitopological polycyclic monoids

Serhii Bardyla|arXiv (Cornell University)|2016. 09. 09.

Advanced Topology and Set Theory참고 문헌 14인용 수 18

한 줄 요약

이 논문은 위상적 동형에 관하여 Hausdorff 국소적으로 컴팩트한 세미위상적 폴리사이클릭 모노이드를 분류하며, 그러한 모노이드가 이산이거나 컴팩트임을 증명한다. 핵심 결과는 비이산인 국소적으로 컴팩트한 세미위상적 폴리사이클릭 모노이드는 반드시 $ M \setminus \{0\} $의 이산 공간에 대한 한점 컴팩트화 위상이어야 하며, 주어진 조건 하에서는 다른 위상이 가능하지 않다는 것이다.

ABSTRACT

We present a complete classification of Hausdorff locally compact polycyclic monoids up to a topological isomorphism. A {\em polycyclic monoid} is an inverse monoid with zero, generated by a subset $Λ$ such that $xx^{-1}=1$ for any $x\inΛ$ and $xy^{-1}=0$ for any distinct $x,y\inΛ$. We prove that any non-discrete Hausdorff locally compact topology with continuous shifts on a polycyclic monoid $M$ coincides with the topology of one-point compactification of the discrete space $M\setminus\{0\}$.

연구 동기 및 목표

• Hausdorff 국소적으로 컴팩트한 세미위상적 폴리사이클릭 모노이드를 위상적 동형에 관하여 전부 분류하는 것.
• 폴리사이클릭 모노이드에 대한 대수적 구조와 국소 컴팩트성과 호환되는 위상이 무엇인지 결정하는 것.
• 세미위상적 설정에서 이산 위상과 컴팩트 위상 사이의 이분법을 해결하는 것.
• 비이산 위상으로 가능한 유일한 위상은 $ M \setminus \{0\} $의 한점 컴팩트화 위상이며, 이는 함께 연속적이지 않다는 것을 보여주는 것.
• 이전의 위상적 폴리사이클릭 모노이드에 대한 결과를 더 약한 세미위상 조건을 고려하여 확장하는 것.

제안 방법

• 모든 폴리사이클릭 모노이드를 표준형 $ \mathcal{P}_\lambda $, 즉 $ \lambda $-폴리사이클릭 모노이드로 식별하기 위해 대수적 동형을 사용한다.
• 세미위상적 반군의 개념을 적용: 곱셈은 개별적으로 연속적이며, 위상은 Hausdorff 이고 국소적으로 컴팩트하다.
• R-클래스의 구조와 영원의 이웃근처에서의 행동을 개별 연속성에 기반해 분석한다.
• 국소 컴팩트성과 R-클래스 내의 무한 집합에 기반한 모순을 이용하여 비컴팩트이면서 비이산 위상을 배제한다.
• $ \mathcal{P}_\lambda \setminus \{0\} $ 위에 한점 컴팩트화 위상을 적용한 성질을 활용하여, 이 위상이 세미위상적 조건을 만족함을 보인다.
• 이웃근처의 구조, 역상, 유한 집합에 관한 보조정리를 적용하여, 비이산 위상이 반드시 한점 컴팩트화 위상이어야 한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 폴리사이클릭 모노이드에 대해 Hausdorff 국소적으로 컴팩트한 위상이 곱셈의 개별 연속성을 만족시키는 가능한 위상은 무엇인가?
• RQ2 비이산인 국소적으로 컴팩트한 세미위상적 폴리사이클릭 모노이드가 존재할 수 있으며, 만약 존재한다면 그 위상은 무엇이어야 하는가?
• RQ3 $ \mathcal{P}_\lambda \setminus \{0\} $ 위의 한점 컴팩트화 위상이 세미위상적 조건을 만족하는 이유는 무엇이며, 왜 함께 연속적이지 않은가?
• RQ4 R-클래스와 그들이 영의 이웃과 상호작용할 때 가능한 위상에 어떤 제약을 끼치는가?
• RQ5 국소적으로 컴팩트한 세미위상적 폴리사이클릭 모노이드에서 위상적 이분법이 존재하는가? 만약 존재한다면 두 경우는 무엇인가?

주요 결과

• 비이산인 Hausdorff 국소적으로 컴팩트한 세미위상적 폴리사이클릭 모노이드는 반드시 $ M \setminus \{0\} $의 한점 컴팩트화 위상을 가져야 한다. 여기서 $ M $은 모노이드이다.
• $ \mathcal{P}_\lambda \setminus \{0\} $ 위의 한점 컴팩트화 위상은 유효한 세미위상적 모노이드 위상이지만, 위상 반군 위상은 아니다.
• 폴리사이클릭 모노이드 위에는 이산 위상과 한점 컴팩트화 위상 외에는 국소적으로 컴팩트하고 Hausdorff이며 세미위상적인 위상이 존재하지 않는다.
• 비이산 경우에서 영의 이웃의 여집합은 반드시 유한해야 하며, 이는 위상이 한점 컴팩트화여야 한다는 것을 강제한다.
• 증명은 모순에 기반한다: 영의 이웃의 여집합이 무한하다고 가정하면, 특정 원소에 의한 곱셈에 대해 닫혀 있는 무한 집합이 생기며, 이는 국소 컴팩트성을 위반한다.
• 결과적으로, 곱셈이 함께 연속적인 국소적으로 컴팩트한 위상적 폴리사이클릭 모노이드는 반드시 이산이어야 하며, 이는 이전 연구에서 알려진 결과를 복원한다.