[논문 리뷰] Homotopy groups of orbits of Morse functions on surfaces

Sergiy Maksymenko|arXiv (Cornell University)|2003. 10. 06.

Topological and Geometric Data Analysis인용 수 1

한 줄 요약

이 논문은 매끄러운 콪표면 위의 모어스 함수의 궤도에 대한 미분형의 작용 하에서의 호모토피 군을 조사한다. k ≥ 3이면 πk(O(f)) ≅ πk(M), 대부분의 경우 π2(O(f)) = 0이며, π1(O(f))는 f의 리브 그래프의 자기동형군을 포함하는 확장임을 보여주며, M이 아스퍼럴할 경우 O(f)도 아스퍼럴임을 보인다.

ABSTRACT

Abstract. Let M be a smooth compact surface, orientable or not, with boundary or without it. Let also P be either the real line R 1 or the circle S 1. Then the group D(M) of diffeomorphisms of M acts on C ∞ (M, P) by the rule h · f ↦ → f ◦ h, for h ∈ D(M) and f ∈ C ∞ (M, P). Let f: M → P be a Morse function and O(f) be the orbit of f under this action. We prove that πkO(f) = πkM for k ≥ 3, π2O(f) = 0 except for few cases. In particular, O(f) is aspherical, provided so is M. Moreover, π1O(f) is an extension of a finitely generated free abelian group with a (finite) subgroup of the group of automorphisms of the Reeb graph of f. 1.

연구 동기 및 목표

• 매끄러운 콪표면 M 위의 모어스 함수 f에 대해 미분형 군 D(M)의 작용 하에서 궤도 O(f)의 호모토피 군을 결정하는 것.
• 기저 표면 M와 f의 리브 그래프에 기반한 궤도 공간 O(f)의 위상적 구조를 이해하는 것.
• 특히 M가 아스퍼럴일 경우 궤도 O(f)가 아스퍼럴이 되는 조건을 확립하는 것.
• f의 리브 그래프의 자기동형군을 포함하는 확장으로서 기본군 π1(O(f))를 묘사하는 것.

제안 방법

• 미분형 군 D(M)의 작용을 통해 C∞(M, P)의 매끄러운 사상 공간(여기서 P = ℝ 또는 S¹)으로의 복합: h · f = f ∘ h.
• 주요 위상적 대상으로서 궤도 O(f) = {f ∘ h | h ∈ D(M)}를 사용하는 것.
• k ≥ 2에 대해 πk(O(f))를 계산하기 위해 장애이론적 및 호모토피 기법을 적용하며, 특히 π1(O(f))의 구조에 초점을 맞추는 것.
• 특히 그래프의 자기동형군을 통해 궤도의 위상이 f의 리브 그래프와 어떻게 관련되는지 분석하는 것.
• 호모토피 올림과 등장 변형 성질을 통해 k ≥ 3일 때 πk(O(f)) ≅ πk(M)의 동형을 확립하는 것.
• 궤도 공간의 2-스켈레톤과 표면의 위상 기하학과의 관계를 분석하여, π2(O(f))가 대부분의 예외적인 경우를 제외하고는 0임을 증명하는 것.

실험 결과

연구 질문

• RQ1 k ≥ 2일 때, 콩표면 M 위의 모어스 함수 f에 대한 궤도 O(f)의 호모토피 군 πk(O(f))는 무엇인가요?
• RQ2 궤도 O(f)의 위상은 기저 표면 M의 위상과 어떻게 관련이 있나요?
• RQ3 어떤 조건에서 궤도 O(f)가 아스퍼럴이 되며, 특히 M이 아스퍼럴일 경우는 어떠한가요?
• RQ4 기본군 π1(O(f))의 구조는 무엇이며, f의 리브 그래프의 자기동형군과 어떻게 관련이 있나요?
• RQ5 π2(O(f))가 비자명한 예외적인 경우가 존재하는가, 만약 존재한다면 그 특성은 무엇인가요?

주요 결과

• k ≥ 3일 때, 궤도 O(f)의 호모토피 군은 표면 M의 것과 동형이다: πk(O(f)) ≅ πk(M).
• 대부분의 예외적인 경우를 제외하고 π2(O(f))는 0이므로, 일반적으로 O(f)는 매우 아스퍼럴하다.
• 기본군 π1(O(f))는 유한 생성 자유 아벨 군에 대해 리브 그래프의 자기동형군의 유한 부분군으로 확장된 형태이다.
• 표면 M가 아스퍼럴이면, π2(O(f))의 소멸성과 k ≥ 3에 대해 πk(O(f)) ≅ πk(M)의 동형성으로 인해 궤도 O(f)도 아스퍼럴이다.
• f의 리브 그래프는 π1(O(f))의 구조를 결정하는 데 핵심적인 역할을 하며, 특히 그 자기동형군을 통해 이루어진다.
• 결과는 올림표면과 비올림표면을 포함한 모든 유형의 콩표면(경계가 있거나 없거나)과 ℝ 또는 S¹로의 사상에 대해 성립한다.