[논문 리뷰] Functions on surfaces and incompressible subsurfaces

Sergiy Maksymenko|arXiv (Cornell University)|2010. 01. 08.

Geometric and Algebraic Topology참고 문헌 13인용 수 11

한 줄 요약

이 논문은 오일러 표오수 $ \chi(M) < 0 $ 인 컴acts한 표면 $ M $ 상의 매끄러운 사상 $ f: M \to \mathbb{R} $ 또는 $ S^1 $ 에 대해, 궤도 $ \mathcal{O}(f) $ 의 기본군이 비압축 가능 부분표면—특히 2차원 디스크, 실린더, 또는 모비우스 띠—각각에서 $ f $ 의 제한이 작용하는 군들의 곱으로 분해됨을 증명한다. 이 결과는 셀룰러 자동형사상과 비압축 가능 부분표면의 분석을 통해 궤도 공간의 호모토피 분류를 더 단순하고 표준적인 표면 유형으로 환원한다.

ABSTRACT

Let $M$ be a smooth connected compact surface and $P$ be either a real line or a circle. This paper proceeds the study of the stabilizers and orbits of smooth functions on $M$ with respect to the right action of the group of diffeomorphisms of $M$. A large class of smooth maps $f:M o P$ with isolated singularities is considered and it is shown that the general problem of calculation of the fundamental group of the orbit of $f$ reduces to the case when the Euler characteristic of $M$ is non-negative. For the proof of main result incompressible subsurfaces and cellular automorphisms of surfaces are investigated.

연구 동기 및 목표

• 매끄러운 사상 $ f: M \to P $ 에 대해 $ \chi(M) < 0 $ 이고 $ P = \mathbb{R} $ 또는 $ S^1 $ 일 때, 기본군 $ \pi_1(\mathcal{O}(f)) $ 의 구조를 규명하는 것.
• 궤도 공간 $ \mathcal{O}(f) $ 의 호모토피 분류를 2차원 디스크, 실린더, 또는 모비우스 띠와 같은 더 단순한 부분표면의 연구로 환원하는 것.
• 기본군 $ \pi_1(\mathcal{O}(f)) $ 가 $ f $ 가 비자명하게 제한되는 비압축 가능 부분표면의 기본군들의 곱과 동형임을 확립하는 것.
• 이전의 안정자 및 궤도 호모토피 유형 결과를 확장하여, $ \pi_1(\mathcal{O}(f)) $ 가 유한한 확장인 $ \pi_1\mathcal{D}_{\mathrm{id}}(M) \oplus \mathbb{Z}^l $ 로서의 기존 부정확한 묘사 문제를 해결하는 것.

제안 방법

• 매끄러운 사상의 공간 $ \mathcal{C}^\infty(M,P) $ 에 대한 미분형사군 $ \mathcal{D}(M) $ 의 오른쪽 작용을 분석하여 궤도 $ \mathcal{O}(f) $ 와 안정자 $ \mathcal{S}(f) $ 를 정의한다.
• 오일러 표오수가 음수인 정규 수준집합의 합집합인 $ \mathcal{R}_{<0} $ 을 도입하고, $ X = \overline{M \setminus \mathcal{R}_{<0}} $ 라는 변형 수축을 구성한다.
• 비압축 가능 부분표면의 개념을 사용하며, 항등사상에 이sov하인 $ \mathcal{S}(f) $ 의 모든 미분형사가 정규 실린더 위의 해밀토니안 흐름을 통해 $ X $ 에 관해 항등사상과 호모토피임을 증명한다.
• 특정 비퇴화 조건 하에서 안정자 및 궤도의 호모토피 유형에 관한 결과 [10, 12] 를 적용한다. 특히 $ \mathcal{S}_{\mathrm{id}}(f) $ 가 수축 가능하다는 점을 이용한다.
• 등장사상 확장 정리와 등장사상 끌림을 사용하여, $ \mathcal{S}(f) $ 의 임의의 원소가 $ X $ 를 고정하는 미분형사와 등장사상임을 보이며, 문제를 $ \overline{M \setminus \mathcal{R}_{<0}} $ 의 성분들로 환원한다.
• 각 연결 성분이 2차원 디스크, 실린더, 또는 모비우스 띠임을 이용하며, 이러한 성분의 경계에서 $ f $ 가 상수임을 이용한다.

실험 결과

연구 질문

• RQ1 오일러 표오수가 음수인 경우 매끄러운 사상 $ f: M \to P $ 에 대해 $ \pi_1(\mathcal{O}(f)) $ 의 정확한 구조는 무엇인가?
• RQ2 궤도 공간의 기본군이 더 단순한 부분표면의 기본군들의 곱으로 분해될 수 있는가?
• RQ3 궤도 공간 $ \mathcal{O}(f) $ 가 비압축 가능 부분표면과 관련된 공간들의 곱과 호모토피 동치가 되는 조건은 무엇인가?
• RQ4 셀룰러 자동형사상과 비압축 가능 부분표면은 $ \mathcal{S}(f) $ 의 등장사상류의 구조에 어떻게 영향을 미치는가?
• RQ5 궤도 공간 $ \mathcal{O}(f) $ 의 호모토피 유형을 어느 정도까지 2차원 디스크, 실린더, 및 모비우스 띠 위의 사상 연구로 환원할 수 있는가?

주요 결과

• 매끄러운 사상 $ f: M \to P $ 에 대해 $ \chi(M) < 0 $ 이면, 궤도 $ \mathcal{O}(f) $ 의 기본군은 $ G_1 \times \cdots \times G_n $ 과 동형이며, 여기서 각 $ G_i $ 는 부분표면 $ B_i \subset M $ 에 제한된 $ f $ 의 기본군이다.
• 각 부분표면 $ B_i $ 는 2차원 디스크, 실린더, 또는 모비우스 띠이며, $ f|_{B_i} $ 는 $ B_i $ 에서 비상수이다.
• 궤도 공간 $ \mathcal{O}(f) $ 는 $ f|_{B_i} $ 와 관련된 궤도 공간들의 곱과 같은 호모토피 유형을 가지며, 이는 $ \mathcal{S}(f) $ 가 이러한 부분표면에 의해 지지되는 성분들로 분해되기 때문이다.
• 주어진 조건 하에서 안정자 $ \mathcal{S}_{\mathrm{id}}(f) $ 의 항등성분은 수축 가능하며, 이는 이전의 결과 [10, 12] 와 일치한다.
• $ \mathcal{O}(f) $ 는 $ i \geq 3 $ 에 대해 $ \pi_i(\mathcal{O}(f)) = \pi_i(M) $ 를 만족하고, $ \pi_2(\mathcal{O}(f)) = 0 $ 이며, 이는 이전의 호모토피 유형 결과를 확인한다.
• $ \mathcal{S}(f) $ 의 임의의 $ h \in \mathcal{S}(f) $ 의 등장사상류는 $ \overline{M \setminus \mathcal{R}_{<0}} $ 내의 정규 실린더 위의 해밀토니안 흐름의 조합으로 표현 가능하므로, 부분표면 역학으로 환원할 수 있다.