[논문 리뷰] Final solution of Protasov-Comfort's problem on minimally almost periodic group topologies

Dikran Dikranjan, Dmitri Shakhmatov|arXiv (Cornell University)|2014. 10. 13.

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

한 줄 요약

이 논문은 아벨 군이 최소 거의 주기적 (MinAP) 군 위상 구조를 가질 수 있는지 여부를 판별하는 프로타소프-컴포즈 문제를 완전히 해결한다. 그 조건은 해당 군이 마르코프-자르스키 위상에서 연결되어 있을 때이다. 핵심 결과는 모든 비유계 아벨 군, 특히 모든 비가чёт 수의 아벨 군도 이러한 위상 구조를 가질 수 있음을 보여주며, 아벨 군에 대한 MinAP 군 위상의 존재성과 실현 가능성에 관한 오랫동안 열려 있던 문제를 해결한다.

ABSTRACT

We prove that an abelian group admits a minimally almost periodic (MinAP) group topology if and only if it is connected in its Markov-Zariski topology. In particular, every unbounded abelian group admits a MinAP group topology. This answers positively a question set by Comfort, as well as several weaker forms proposed recently by Gabriyelyan. Using this characterization we answer also two open questions of Gould. We prove that a subgroup H of an abelian group G can be realized as the von Neumann kernel of G equipped with some Hausdorff group topology if and only if H is contained in the connected component of zero of G with respect to its Markov-Zariski topology. This completely resolves a question of Gabriyelyan, as well as some of its particular versions which were open.

연구 동기 및 목표

• 아벨 군이 최소 거의 주기적 (MinAP) 군 위상 구조를 가질 수 있는지 여부를 규명하는 열린 문제를 해결하기 위해.
• 모든 비유계 아벨 군이 MinAP 위상 구조를 가질 수 있는지에 대한 컴포즈의 질문에 답하기 위해.
• 해밀턴-노이만 커널이 될 수 있는 아벨 군의 부분군을 특성화하기 위해.
• 가브리엘리아노와 골드의 MinAP 위상과 해밀턴-노이만 커널에 관한 열린 질문에 완전한 해결책을 제시하기 위해.
• 마르코프-자르스키 위상의 연결성에 의해 MinAP 군 위상 구조를 위상적으로 특성화하기 위해.

제안 방법

• 아벨 군에 대한 마르코프-자르스키 위상을 도입하고 분석하며, 이 위상에서의 연결성을 핵심 기준으로 정의한다.
• w-유계 군의 개념을 사용하고, Hahn-Mal'cev 군 HM(𝕋)의 거듭제곱에 대한 조밀한 임베딩을 구성하여 MinAP 위상 구조를 실현한다.
• T-시퀀스 이론과 울름-카플란스키 불변량을 적용하여, 무한한 주요 불변량을 가진 유계 아벨 군을 분류한다.
• 분해 정리를 활용하여 비유계 아벨 군을 유계 부분군과 w-유계 부분군으로 분리하고, 각각이 MinAP 위상 구조를 가짐을 보인다.
• MinAP 군의 곱이 여전히 MinAP임을 이용하고, 적절한 조건 하에 MinAP 군의 조밀한 부분군도 MinAP 성질을 유지함을 활용한다.
• 특히 유계 수의 아벨 군을 다룰 때, 니엔후이즈 군을 기본 예로 삼아, 유한한 비영 불변량을 가진 군들을 다룬다.

실험 결과

연구 질문

• RQ1 모든 비유계 아벨 군이 최소 거의 주기적 군 위상 구조를 가질 수 있는가?
• RQ2 아벨 군이 MinAP 군 위상 구조를 가질 수 있도록 보장하는 정확한 위상 조건은 무엇인가?
• RQ3 어떤 아벨 군의 부분군이 어떤 하우스도르프 군 위상 구조 하에서 해밀턴-노이만 커널이 될 수 있는가?
• RQ4 MinAP 군 위상 구조의 특성화를 비가산 아벨 군으로 확장할 수 있는가?
• RQ5 마르코프-자르스키 위상은 MinAP 군 위상 구조의 존재성을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 아벨 군이 최소 거의 주기적 군 위상 구조를 가질 수 있는 것은 그 군이 마르코프-자르스키 위상에서 연결되어 있을 때이다.
• 모든 비유계 아벨 군, 카디널리티에 관계없이, 최소 거의 주기적 군 위상 구조를 가진다.
• 아벨 군 $ G $의 부분군 $ H $가 어떤 하우스도르프 군 위상 구조 하에서 해밀턴-노이만 커널이 될 수 있는 것은 $ H $가 $ G $의 마르코프-자르스키 위상에서 0의 연결 성분에 포함되어 있을 때이다.
• w-유계 군의 집합은 유계 토르션 군이 아닌 모든 비가산 아벨 군을 포함하며, 이러한 군들은 HM(𝕋)의 거듭제곱에 대한 조밀한 임베딩을 통해 MinAP 군 위상 구조를 가진다.
• 증명은 비유계 아벨 군을 무한한 울름-카플란스키 불변량을 가진 유계 부분군과 w-유계 부분군으로 분해하는 데 기반하며, 이들 각각이 MinAP 위상 구조를 가짐을 보인다.
• 이 결과는 가브리엘리아노의 부분군이 해밀턴-노이만 커널로 실현 가능한지에 대한 질문을 해결하고, 이전의 유계 및 유한 생성 군에 대한 결과를 일반화한다.