[논문 리뷰] On subgroups of saturated or totally bounded paratopological groups

Тарас Банах, Sasha Ravsky|arXiv (Cornell University)|2010. 03. 28.

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

한 줄 요약

이 논문은 포화되거나 완전히 유계인 파라위상군으로의 임베딩을 위한 필요 및 충분 조건을 확립하며, 이러한 임베딩이 존재하는 것은 정확히 그 군이 (완전히 유계인) 위상군으로의 연속적이고 일대일 호모모르피즘을 갖는 경우임을 보여준다. 핵심 기여는 군 반사와 관련된 특성화 및 $\flat$-분리성의 도입으로, 이로 인해 그 특성 수치가 $\frac{\pi}{\text{weight}}$를 초월하는 예시들이 도출된다.

ABSTRACT

A paratopological group $G$ is saturated if the inverse $U^{-1}$ of each non-empty set $U\subset G$ has non-empty interior. It is shown that a [first-countable] paratopological group $H$ is a closed subgroup of a saturated (totally bounded) [abelian] paratopological group if and only if $H$ admits a continuous bijective homomorphism onto a (totally bounded) [abelian] topological group $G$ [such that for each neighborhood $U\subset H$ of the unit $e$ there is a closed subset $F\subset G$ with $e\in h^{-1}(F)\subset U$]. As an application we construct a paratopological group whose character exceeds its $π$-weight as well as the character of its group reflexion. Also we present several examples of (para)topological groups which are subgroups of totally bounded paratopological groups but fail to be subgroups of regular totally bounded paratopological groups.

연구 동기 및 목표

• 파라위상군이 포화되거나 완전히 유계인 파라위상군으로 임베딩될 수 있는 조건을 규명하는 것.
• 군 반사 $G^{\flat}$가 이러한 임베딩을 특성화하는 데서 수행하는 역할을 명확히 하는 것.
• 포화된 파라위상군의 부분군이 스스로 포화되어 있는지 여부에 대한 구란의 질문을 해결하는 것.
• 특성 수치가 그의 $\tfrac{\pi}{\text{weight}}$와 군 반사의 특성 수치를 모두 초월하는 파라위상군의 예를 구성하는 것.

제안 방법

• 파라위상군 $G$가 $H$로의 연속적이고 일대일 호모모르피즘을 갖는 경우를 고려하여 $\flat$-분리성의 개념을 도입한다.
• 군 반사 $G^{\flat} = (G, \tau^{\flat})$를 사용한다. 여기서 $\tau^{\flat}$는 $G$의 위상보다 더 약한 최대의 군 위상이다.
• 특히 항등원의 이웃 $U$에 대해 $\{UU^{-1}\}$을 기반으로 하는 성질을 통해 포화되거나 완전히 유계인 파라위상군를 특성화한다.
• 비주기적 원소 $x_0 \in \mathbb{T}$를 사용하여 $\chi(x_0) = 1$인 조건을 만족시키는 $({\mathbb{T}}, \theta)$의 편미분 콪트 편위상군을 구성한다.
• 근원 기반 $[U_\tau, U_\sigma, U_\theta]$를 사용하여 $G = \hat{H} \times \mathbb{T}$의 곱군을 구성하고, 적절한 위상 $\rho$를 정의하여 $\rho_r \subset \pi$를 확보한다.
• 비이산성에 기반하여 $\overline{U}^\rho \supset U_\sigma \times \overline{U_\theta}^\theta$임을 보여 정규성에 기반한 편미분 콩크리트성 증명을 수행한다.

실험 결과

연구 질문

• RQ1 파라위상군 $H$가 포화된 파라위상군의 닫힌 부분군으로 임베딩될 수 있는 조건은 무엇인가?
• RQ2 완전히 유계인 파라위상군으로의 임베딩을 보장하는 $H$에 대한 정확한 위상 조건은 무엇인가?
• RQ3 파라위상군의 특성 수치가 그의 $\pi$-중량과 군 반사의 특성 수치를 모두 초월할 수 있는가?
• RQ4 포화된 파라위상군의 모든 부분군은 스스로 포화되어 있는가?
• RQ5 $\flat$-분리성과 군 반사 $G^\flat$의 구조 사이의 관계는 무엇인가?

주요 결과

• 첫 번째 가산성을 갖는 파라위상군 $H$는 정확히 그 군이 (완전히 유계인) 위상군 $G$로의 연속적이고 일대일 호모모르피즘을 갖는 경우에만 포화되거나 완전히 유계인 파라위상군으로 임베딩된다. 이 경우는 특정한 이웃 조건을 수반한다.
• 포화된 파라위상군의 군 반사 $G^{\flat}$는 항등원의 열린 이웃 $U$에 대해 $UU^{-1}$의 형태를 갖는 이웃 기반을 가진다.
• 소르게프리 라인은 군 반사가 일반적인 실수선인 포화된 파라위상군이며, 이는 역연속성이 유지되지 않음을 보여준다.
• 특성 수치가 $\theta_r = \tau$인 편미분 콩크리트 파라위상군 $({\mathbb{T}}, \theta)$를 구성하여, 정규 위상 $\theta_r$가 원래 위상 $\tau$와 일치함을 보여 편미분 콩크리트성을 입증한다.
• 위상 $\rho$를 갖는 곱군 $G = \hat{H} \times \mathbb{T}$는 $\rho_r \subset \pi$이므로, $\hat{H}$와 $({\mathbb{T}}, \theta_r)$의 곱 위상인 $\pi$에 의해 편미분 콩크리트성을 가진다.
• 논문은 특성 수치가 그의 $\pi$-중량과 군 반사의 특성 수치를 모두 초월하는 파라위상군을 구성하여 오랫동안 남아있던 질문을 해결한다.