[논문 리뷰] Representing a profinite group as the homeomorphism group of a continuum

Karl H. Hofmann, Sidney A. Morris|arXiv (Cornell University)|2011. 08. 19.

Advanced Topology and Set Theory참고 문헌 13인용 수 3

한 줄 요약

이 논문은 주어진 프로파일 유한 단일 생성자 군 G와 위상군으로 동형이 되는, 콪 pact-open 위상에 대한 호메오모르피즘 군 H(X)를 갖는 연속체 X의 구성 방법을 제안한다. G의 카일리 그래프를 강성 있는 연결 요소(예: 실수선)로 표현한 후 Z-작용에 대해 몫을 취함으로써, 그 호메오모르피즘 군이 G로 복원되는 일차원 연속체를 생성한다. 이는 기존 결과를 더 넓은 범주인 프로파일 유한 단일 생성자 군으로 확장하기 위한 새로운 위상적 그래프 기반 방법이다.

ABSTRACT

We contribute some information towards finding a general algorithm for constructing, for a given profinite group, $G$, a compact connected space, $X$, such that the full homeomorphism group, $H(X)$, with the compact-open topology is isomorphic to $G$ as a topological group. It is proposed that one should find a compact topological oriented graph $Γ$ such that $G\cong Aut(Γ)$. The replacement of the edges of $Γ$ by rigid continua should work as is exemplified in various instances where discrete graphs were used. It is shown here that the strategy can be implemented for profinite monothetic groups $G$.

연구 동기 및 목표

• 모든 프로파일 유한 단일 생성자 군 G에 대해, H(X) ≅ G가 되는 연속체 X를 위상군으로서 일반적인 방법으로 구성하는 것.
• 메트릭 프로파일 유한 단일 생성자 군이 항상 어떤 연속체 X의 H(X)로 나타남을 보인 가르트사이드와 글린의 결과를, 비메트릭 프로파일 유한 단일 생성자 군으로 확장하는 것.
• 콤팩트 연결 공간의 호메오모르피즘 군이 반드시 프로파일 유한일까, 그리고 모든 프로파일 유한 군이 이 방식으로 나타날 수 있을까를 탐색하는 것.
• 이러한 연속체를 프로파일 유한 군의 범주와 연속 군 준동형사상의 범주에서 정규화되거나 함의 가능한 방법으로 구성할 수 있을까를 조사하는 것.
• 지정된 방향 그래프의 간선을 강성 있는 연속체로 대체하는 전략이 프로파일 유한 단일 생성자 군에 대해서도 적용 가능함을 입증하는 것.

제안 방법

• 단일 생성자를 갖는 프로파일 유한 단일 생성자 군 G의 카일리 그래프로 구성된 위상적 방향 그래프 Γ를 만든다.
• 일차원 강성 연속체인 링크 L = (R, 0, 1)을 사용해 Γ의 각 방향 간선을 대체한다.
• 위상적 실현 |Γ|_L를 X = (G × |C(Z)|_R)/Z로 정의한다. 여기서 Z-작용은 카일리 그래프 위의 군 작용에 의해 유도된다.
• X가 콤팩트하고 연결되어 있으며, 일차원 연속체임을 보인다.
• 그래프 Γ의 자동형사상 군이 G와 동형임을 보이고, 그에 따라 유도된 작용을 통해 H(X)가 G와 동형임을 증명한다.
• 호성분의 구조와 호성분 위상의 보편 올림 성질을 활용하여, X의 모든 호메오모르피즘이 G의 왼쪽 곱셈에 의해 유도됨을 보인다.

실험 결과

연구 질문

• RQ1 모든 프로파일 유한 단일 생성자 군 G가 콤팩트-오픈 위상에 대한 연속체 X의 호메오모르피즘 군으로서 실현될 수 있는가?
• RQ2 방향 그래프의 간선을 강성 있는 연속체로 대체하는 전략이 이산 군에서 프로파일 군으로 일반화될 수 있는가?
• RQ3 일차원 연속체의 호메오모르피즘 군은 반드시 프로파일 유한일까? 그리고 모든 프로파일 유한 군이 이 방식으로 나타날 수 있는가?
• RQ4 이 구성 방법을 프로파일 군과 연속 군 준동형사상의 범주에서 정규화되거나 함의 가능한 방식으로 만들 수 있는가?
• RQ5 이 방법으로 생성된 연속체의 특성은 어떤 위상적 성질(예: 차원, 호성분)로 기술될 수 있는가?

주요 결과

• 모든 프로파일 유한 단일 생성자 군 G에 대해, H(X) ≅ G가 되는 일차원 연속체 X가 존재한다.
• 이 구성은 가르트사이드와 글린의 방법으로 생성된 것과 비록 동일한 군 G를 실현하지만, 위상적으로 다른 연속체를 만들어낸다.
• X의 호성분은 정확히 궤도 Z_a = Z·(a × |C(Z)|_R)/Z이며, 이들은 호메오모르피즘에 의해 보존된다.
• X의 모든 호메오모르피즘은 G의 원소에 의한 왼쪽 곱셈으로서 나타나며, 이에 따라 H(X) ≅ G임을 증명한다.
• 이 방법은 호성분 위상의 보편 올림 성질에 기반하여, 호성분의 호메오모르피즘이 보편 커버 유사 공간 |C(Z)|_R로 유일하게 올라감을 보장한다.
• 결과적으로, 콤팩트 연결 공간의 호메오모르피즘 군이 반드시 프로파일 유한임을 확인하였고, 모든 프로파일 유한 단일 생성자 군이 이러한 방식으로 나타남을 입증하여, 보다 광범위한 추측(즉, 콤팩트 군이 호메오모르피즘 군으로서 특성화됨)을 뒷받침한다.