[논문 리뷰] Structure theorems for actions of homeomorphism groups

Lei Chen, Kathryn Mann|arXiv (Cornell University)|2019. 02. 13.

Geometric and Algebraic Topology참고 문헌 25인용 수 7

한 줄 요약

이 논문은 매니폴드 위에서 호메오먼포이즘 및 디퍼모르피즘 군의 작용에 대한 종합적인 구조 정리들을 수립하여 Ghys, Hurtado, 및 Militon의 오랜 동안 미해결이었던 추측들을 해결한다. 이는 유한 차원 매니폴드 위에서 $$\operatorname{Homeo}_0(M)$$의 전이적 작용이 $$M$$ 위의 점들의 구성공간에서 유래됨을 증명하며, 차원 제약 조건 하에서 $$\operatorname{Diff}^r_0(M) \to \operatorname{Diff}^s_0(N)$$의 준동형사상을 분류하여 이러한 작용이 피복 구조 또는 자명한 구조임을 보여준다. 본 연구는 표면 위에서 $$\operatorname{Homeo}_0(S^1)$$의 작용을 완전히 분류하고, 경계가 있는 매니폴드의 디퍼모르피즘에 대한 확장 문제를 해결한다.

ABSTRACT

We give general classification and structure theorems for actions of groups of homeomorphisms and diffeomorphisms on manifolds, reminiscent of classical results for actions of (locally) compact groups. This gives a negative answer to Ghys' "extension problem" for diffeomorphisms of manifolds with boundary, as well as a classification of all homomorphisma $\mathrm{Homeo}_0(M) o \mathrm{Homeo}_0(N)$ when dim(M) = dim(N) (and related results for diffeomorphisms), and a complete classification of actions of $\mathrm{Homeo}_0(S^1)$ on surfaces. This resolves many problems in a program initiated by Ghys, and gives definitive answers to conjectures of Militon and Hurtado and a question of Rubin.

연구 동기 및 목표

• 유한 차원 매니폴드 또는 CW 복합체 위에서 $$\operatorname{Homeo}_0(M)$$ 및 $$\operatorname{Diff}^r_0(M)$$의 연속적 작용을 모두 분류하는 것.
• 경계가 있는 매니폴드의 디퍼모르피즘에 대한 Ghys의 확장 문제를 해결하기 위해, $$\operatorname{Diff}^\infty_0(\partial M)$$에서 $$\operatorname{Diff}^\infty_0(M)$$로의 비자명한 준동형사상이 존재하지 않음을 보이는 것.
• $$\dim(M) = \dim(N)$$일 때 모든 준동형사상 $$\rho: \operatorname{Homeo}_0(M) \to \operatorname{Homeo}_0(N)$$을 분류하여, 그것들이 자연스러운 기하학적 구성에서 유래됨을 보이는 것.
• 표면 위에서 $$\operatorname{Homeo}_0(S^1)$$의 작용을 완전히 분류하고, 개방된 원환면과 구를 포함하여 이를 $$(n+1)$$-차원 볼 위에서 $$\operatorname{Homeo}_0(S^n)$$로 확장하는 것.
• 차원 및 전이성 조건 하에서 Rubin의 질문에 대한 최종적인 답을 제시하는 것: $$\operatorname{Homeo}(X) \to \operatorname{Homeo}(Y)$$이면 $$X$$가 $$Y$$의 연속적 상임을 보장하는 조건은 무엇인가?

제안 방법

• 모든 $$\operatorname{Homeo}_c(M)$$의 작용 궤도가 유한 차원 CW 복합체 위에서 점이거나, 구성공간 $$\operatorname{Conf}_n(M)$$의 커버의 연속적 단사 상임을 보여주는 궤도 분류 정리 사용.
• 고정점 집합의 구조에 기반하여 표면 위에서 $$\operatorname{Homeo}_0(S^1)$$-작용의 궤도를 차수 0, 1, 2로 분류하기 위해 차수 이론 적용.
• 2차원 궤도 위의 작용을 정규화하기 위해 공액화 기법을 사용하며, Dehn 회전과 반경 방향 공액화를 이용해 표준 형태로 축소.
• 명시적인 호메오먼포이즘 $$h: [0,1] \to [0,1]$$을 구성하여 작용을 공액화하고, 두 작용이 동치임은 $$h(K) = K'$$ 이고 $$\lambda$$와 $$h \circ \lambda'$$ 이 $$[0,1] \setminus K$$의 유한한 성분을 제외한 전부에서 일치함을 보임.
• 궤도 수열의 수렴성을 분석하기 위해 $$\phi: \theta \mapsto \operatorname{Fix}(G_0 \cap G_\theta)$$의 식별을 사용하고, 모순을 통해 축적점에서의 연속성을 증명.
• $$\operatorname{Fix}(\rho(h))$$가 닫혀 있음을 이용하여, 1차원 궤도의 점 수열에서 일致하지 않는 극한 행동을 배제.

실험 결과

연구 질문

• RQ1 모든 연속적 작용 $$\operatorname{Homeo}_0(M)$$이 유한 차원 매니폴드 위에서 자연스러운 구성공간 $$\operatorname{Conf}_n(M)$$ 위 작용으로 인해 유도되는가?
• RQ2 $$\dim(N) < 2\dim(M)$$일 때 비자명한 준동형사상 $$\operatorname{Diff}^r_0(M) \to \operatorname{Diff}^s_0(N)$$이 존재할 수 있으며, 만약 존재한다면 그 구조는 어떠한가?
• RQ3 $$\operatorname{Diff}^\infty_0(\partial M) \to \operatorname{Diff}^\infty_0(M)$$의 준동형사상 존재성이 제약 사상에 대한 군론적 단면을 암시하는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ4 모든 $$\operatorname{Homeo}_0(M)$$의 자기준동형사상은 호메오먼포이즘에 의한 공액화에 의해 유도되는가? (Militon의 추측에 따라)
• RQ5 $$\operatorname{Homeo}_0(S^1)$$의 작용을 2차원 구, 개방된 원환면, 디스크 위에서 완전히 분류할 수 있는가?

주요 결과

• 유한 차원 매니폴드 또는 CW 복합체 위에서 $$\operatorname{Homeo}_0(M)$$의 전이적 작용은 자연스러운 구성공간 $$\operatorname{Conf}_n(M)$$ 위 작용으로 유도되며, 그 결과 공간은 이러한 구성공간의 커버와 위상적으로 동형이다.
• $$\dim(N) < 2\dim(M)$$일 때, 비자명한 연속 준동형사상 $$\rho: \operatorname{Diff}^r_0(M) \to \operatorname{Diff}^s_0(N)$$은 고정점이 없는 작용을 유도하며, 이 경우 $$N$$은 $$M$$ 위의 위상적 피복 구조를 이룬다.
• 경계가 있는 매니폴드의 디퍼모르피즘에 대한 확장 문제에 대한 답은 부정적이다: $$M$$가 구일 경우, $$\operatorname{Diff}^\infty_0(\partial M)$$에서 $$\operatorname{Diff}^\infty_0(M)$$로의 비자명한 준동형사상은 존재하지 않는다.
• Militon의 추측, 즉 $$\operatorname{Homeo}_0(M)$$의 모든 자기준동형사상은 내부 준동형사상임이 일반적으로 참이 아니며, 특히 음의 곡률을 가진 매니폴드에서는 그렇지 않지만, 실패는 제한되어 있으며 완전히 분류되어 있다.
• 표면 위에서 $$\operatorname{Homeo}_0(S^1)$$의 모든 작용이 분류되었으며, $$(n+1)$$-차원 볼 위에서 $$n=1$$과 $$n>1$$의 경우에 작용이 상당히 다름을 보였다.
• 두 준동형사상 $$\rho_{K,\lambda}$$와 $$\rho_{K',\lambda'}$$이 공액화될 조건은, $$[0,1] \to [0,1]$$ 위의 호메오먼포이즘 $$h$$가 존재하여 $$h(K) = K'$$ 이고, $$\lambda$$와 $$h \circ \lambda'$$ 이 $$[0,1] \setminus K$$의 모든 유한한 성분에서 일치함을 보인다.