[논문 리뷰] Automorphism groups of universal diversities

Andreas Hallbäck|arXiv (Cornell University)|2020. 04. 24.

Advanced Topology and Set Theory참고 문헌 22인용 수 2

한 줄 요약

이 논문은 우리소프 다원성의 자기동형군이 보편적인 폴란드 군임을 증명하며, 이는 모든 다른 폴란드 군을 포함함을 의미한다. 또한 유리수 우리소프 다원성의 자기동형군이 풍부한 일반성을 지니며, 전체 자기동형군 역시 유리수 사례의 조밀한 임베딩을 통해 조밀한 공轭류를 지닌다는 것을 추가로 증명한다.

ABSTRACT

We prove that the automorphism group of the Urysohn diversity is a universal Polish group. Furthermore we show that the automorphism group of the rational Urysohn diversity has ample generics, a dense conjugacy class and that it embeds densely into the automorphism group of the (full) Urysohn diversity. It follows that this latter group also has a dense conjugacy class.

연구 동기 및 목표

• 우리소프 다원성의 자기동형군을 보편적인 폴란드 군으로 설정하는 것.
• 유리수 우리소프 다원성의 자기동형군이 풍부한 일반성을 지닌다는 것을 보여주는 것.
• 유리수 우리소프 다원성의 자기동형군이 전체 자기동형군에 조밀하게 임베딩된다는 것을 증명하는 것.
• 전체 우리소프 다원성의 자기동형군이 조밀한 공轭류를 지닌다는 것을 보여주는 것.

제안 방법

• 유한 유리수 다원성의 프라이셰 극한으로서 우리소프 다원성을 구성하기 위해 캐테로프의 구성법을 다원성 설정에 적응시키는 것.
• 유한 다원성에서의 허용 가능한 사상 정의를 통해 국소 등장사상의 부분을 전체 자기동형사상으로 확장하는 것.
• 다원성의 확장 정리를 사용하여 부분 자기동형사상을 유지하는 병합된 확장을 구성하는 것.
• 케히리스와 로젠달의 정리(풍부한 일반성에 관한)를 적용하여, 유리수 우리소프 다원성의 자기동형군이 풍부한 일반성을 지닌다는 것을 보이는 것.
• 유리수 우리소프 다원성의 자기동형군이 전체 우리소프 다원성의 자기동형군에 조밀하게 임베딩됨을 증명하는 것.
• 유리수 사례에서의 조밀한 임베딩과 조밀한 공轭류 성질을 활용하여 전체 자기동형군의 동일한 성질을 유추하는 것.

실험 결과

연구 질문

• RQ1 우리소프 다원성의 자기동형군은 보편적인 폴란드 군인가?
• RQ2 유리수 우리소프 다원성의 자기동형군은 풍부한 일반성을 지닌가?
• RQ3 유리수 우리소프 다원성의 자기동형군은 전체 우리소프 다원성의 자기동형군에 조밀하게 임베딩되는가?
• RQ4 전체 우리소프 다원성의 자기동형군은 조밀한 공轭류를 지닌다?

주요 결과

• 우리소프 다원성의 자기동형군은 보편적인 폴란드 군이며, 이는 모든 폴란드 군의 동형 사본을 포함함을 의미한다.
• 유리수 우리소프 다원성의 자기동형군은 풍부한 일반성을 지닌다. 이는 자동 연속성 성질과 소인덱스 성질과 같은 강력한 구조적 성질을 암시한다.
• 유리수 우리소프 다원성의 자기동형군은 전체 우리소프 다원성의 자기동형군에 조밀하게 임베딩된다.
• 전체 우리소프 다원성의 자기동형군은 조밀한 공轭류를 지닌다. 이는 유리수 사례의 조밀한 임베딩을 통해 유도된다.
• 유리수 우리소프 다원성은 유한 유리수 다원성의 클래스의 프라이셰 극한으로 존재하며, 그 완비화가 전체 우리소프 다원성이다.
• 다원성의 확장 정리는 임의의 유한 다원성에서의 부분 등장사상이 더 큰 유리수 다원성에서 전체 자기동형사상으로 확장될 수 있음을 보장한다.