[논문 리뷰] Homeotopy groups of rooted tree like non-singular foliations on the plane

Yuliia Soroka|arXiv (Cornell University)|2016. 07. 14.

Advanced Differential Equations and Dynamical Systems참고 문헌 7인용 수 4

한 줄 요약

이 논문은 유한 지름을 가진 루트가 있는 트리와 유사한 리프 공간을 가진 평면 위의 비특이 층의 홈오토피 군 $π_0H^+(F)$를 특성화한다. 스트립 표면을 접합 모델 스트립을 사용해 재귀적으로 구성함으로써, 이러한 군들이 특정 클래스의 군들의 가산적 곱과 와르프 곱이 정확히 무엇인지 규명하며, 이러한 매핑 클래스 군의 완전한 대수적 분류를 수립한다.

ABSTRACT

Let $F$ be a non-singular foliation on the plane with all leaves being closed subsets, $H^{+}(F)$ be the group of homeomorphisms of the plane which maps leaves onto leaves endowed with compact open topology, and $H^{+}_{0}(F)$ be the identity path component of $H^{+}(F)$. The quotient $π_0 H^{+}(F) = H^{+}(F)/H^{+}_{0}(F)$ is an analogue of a mapping class group for foliated homeomorphisms. We will describe the algebraic structure of $π_0 H^{+}(F)$ under an assumption that the corresponding space of leaves of $F$ has a structure similar to a rooted tree of finite diameter.

연구 동기 및 목표

• 평면 위의 비특이 층에서 리프 공간이 유한 지름을 가진 루트가 있는 트리와 유사한 경우의 매핑 클래스 군 $π_0H^+(F)$를 분류하는 것.
• 층을 보존하는 경로 성분의 군의 대수적 구조를 규명하는 것.
• 스트립 표면의 재귀적 구성과 군론적 연산인 와르프 곱을 사용하여 이러한 홈오토피 군의 완전한 특성화를 수립하는 것.
• 특정 클래스의 가산적 곱과 와르프 곱으로 구성된 모든 군이 이러한 층의 어떤 경우에도 $π_0H^+(F)$로 나타날 수 있음을 보이는 것.

제안 방법

• 경계 구간을 통해 방향을 유지하는 애파인 홈오모르피즘으로 모델 스트립을 접합하여 스트립 표면을 구성한다.
• 이 표면 위에 표준 층을 정의하며, 여기서 리프는 수평선과 경계 구간이 되고, 층이 보존되는 홈오모르피즘의 군 $H^+(F)$를 연구한다.
• 특수 리프의 개념을 도입하고 리프 공간의 트리 유사 구조를 활용하여 $H^+(F)$의 호모토피 유형을 분석한다.
• 리프 공간 트리의 지름에 대한 귀납적 추론을 적용하여 $π_0H^+(F)$가 더 단순한 군들의 가산적 곱 또는 와르프 곱임을 분류한다.
• 정리 5.3을 적용하여 $π_0H^+(F)$의 구조를 호모모르피즘 $η$의 상과 연결함으로써 군이 곱인지 와르프 곱인지 결정한다.
• 기존의 스트립 표면 복제체를 재귀적으로 접합하여, 원하는 군의 구조를 실현하는 새로운 표면을 구성한다.

실험 결과

연구 질문

• RQ1 리프 공간이 유한 지름을 가진 루트가 있는 트리와 유사한 비특이 층에 대해 평면 위의 홈오토피 군 $π_0H^+(F)$의 대수적 구조는 무엇인가?
• RQ2 군 $π_0H^+(F)$는 층이 보존되는 홈오모르피즘의 경로 성분의 군으로 어떻게 실현될 수 있는가?
• RQ3 어떤 가산 군들이 이러한 층에 대해 $π_0H^+(F)$로 나타날 수 있는가?
• RQ4 리프 공간 트리의 지름은 $π_0H^+(F)$의 군 구조에 어떻게 영향을 미치는가?
• RQ5 특수 리프와 경계 접합 패턴은 군의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 경계 접합 사상 $η$의 상이 자명할 경우, 홈오토피 군 $π_0H^+(F)$는 특정 클래스의 군들의 가산적 곱과 동형이다.
• η의 상이 $k\mathbb{Z}$와 동형일 경우, 군 $π_0H^+(F)$는 와르프 곱 $\left(\prod_{i=0}^{k-1} A_i\right) \wr \mathbb{Z}$와 동형이며, 여기서 각 $A_i$는 그 클래스에 속하는 군이다.
• 높이가 $k$ 미만인 군들의 가산적 곱과 와르프 곱으로 생성되는 클래스 $\mathcal{G}'$에 속하는 모든 군은 어떤 이러한 층에 대해 $π_0H^+(F)$로 나타난다.
• 표면가 단일한 허용 가능한 모델 스트립이며 외부 경계 성분이 없을 경우, 군 $π_0H^+(F)$는 자명하다.
• 표 superf이스가 $π_1$-유사 경계를 가진 스트립일 경우, 군 $π_0H^+(F)$는 $\mathbb{Z}$와 동형이며, 이는 $\{1\} \wr \mathbb{Z}$에 해당한다.
• 모든 이러한 군 $\pi_0H^+(F)$의 집합은 정확히 클래스 $\mathcal{G}'$와 일치하며, 이는 완전한 대수적 특성화를 증명한다.