[논문 리뷰] Functions with isolated singularities on surfaces, II

Sergiy Maksymenko|arXiv (Cornell University)|2012. 05. 18.

Geometric and Algebraic Topology참고 문헌 27인용 수 3

한 줄 요약

이 논문은 고립된 특이점을 가진 컴act 표면에서 ℝ 또는 S¹으로의 매끄러운 사상에 대한 이전 연구를 확장하며, f-적응 부분다양체에서 고정된 디피오모르피즘군의 작용 하에서 안정자와 궤도의 호모토피 유형을 분석한다. (B1) 및 (L1) 공리들을 만족하는 사상에 대해, 안정자와 궤도의 항등성분이 구와 Eilenberg-MacLane 공간의 곱과 호모토피 동치임을 증명하며, 이는 비자명한 적응 부분다양체(비판점 집합 및 등위집합 포함)로 이전 결과를 일반화한다.

ABSTRACT

Let M be a smooth connected compact surface, P be either the real line R^1 or the circle S^1. For a subset X of M denote by D(M,X) the group of diffeomorphisms of M fixed on X. In this note we consider a special class F of smooth maps f:M o P with isolated singularities which includes all Morse maps. For each such map f from F we consider certain submanifolds X of M that are "adopted" with f in a natural sense, and study the right action of the group D(M,X) on C^{\infty}(M,P). The main result describes the homotopy types of the connected components of the stabilizers S(f) and orbits O(f) for all maps f from F. It extends previous author results on this topic.

연구 동기 및 목표

• 디피오모르피즘군이 고정된 부분다양체에서 작용하는 경우, 고립된 특이점을 가진 매끄러운 사상 f:M→P에 대한 안정자와 궤도의 이전 결과를 일반화하기 위해.
• f-적응 부분다양체 X⊂M에 대해 안정자 S_id(f,X)와 궤도 O_f(f,X)의 항등 경로 성분의 호모토피 유형을 특성화하기 위해.
• X=∅ 및 X=Σ_f의 경우를 초월하여 임의의 f-적응 부분다양체(무한한 경우 포함)로 분류를 확장하기 위해.
• 비퇴화된 고립된 특이점을 가진 표면 사상의 맥락에서 궤도 및 안정자 공간의 위상적 구조를 이해하기 위한 통일된 프레임워크를 수립하기 위해.

제안 방법

• f:M→P와 임의의 임계점 및 등위집합과 호환되는 f-적응 부분다양체 X⊂M의 개념을 도입한다.
• 디피오모르피즘군 D(M,X)와 매끄러운 사상 공간 C^∞(M,P)에 C^∞-위상을 부여하고, 오른쪽 작용 f↦f∘h를 연구한다.
• Z₂-피복을 통한 업링 기법을 사용하여, X에 Möbius 띠나 비가역적 표면이 포함된 경우의 비가역적 성분을 다룬다.
• 리 도함수와 흐름 사상에 의한 벡터장 구성 기법을 활용하여 디피오모르피즘 공간 내 변형을 다루며, 피복의 반사 대칭에 대해 등변성을 확보한다.
• F(α)>−1 조건을 만족하는 벡터장 F를 통한 변형 수축 전략을 사용하여, X를 고정하고 f를 안정화하는 호모토피를 구성한다.
• 문제를 가역적 피복으로 환원하고, 이전의 수축 가능한 안정자 결과를 적용하여 원래 공간에 대한 호모토피 동치를 도출한다.

실험 결과

연구 질문

• RQ1 고립된 특이점을 가진 매끄러운 사상 f:M→P와 f-적응 부분다양체 X를 고려할 때, 안정자 S_id(f,X)와 궤도 O_f(f,X)의 항등 경로 성분의 호모토피 유형은 무엇인가?
• RQ2 X가 비자명한 등위집합이나 비판점 집합과 같은 무한한 f-적응 부분다양체일 경우, 안정자와 궤도의 호모토피 유형은 어떻게 변화하는가?
• RQ3 X=∅ 및 X=Σ_f의 경우를 초월하여 일반적인 f-적응 부분다양체로 안정자 및 궤도의 호모토피 유형 분류를 확장할 수 있는가?
• RQ4 피복 공간과 Z₂-작용은 X의 비가역적 성분에 대한 호모토피의 업링 및 구성에서 어떤 역할을 하는가?
• RQ5 axiom (L1)에서의 비퇴화 조건(예: 단순 인수를 가진 동차 다항식)은 궤도 및 안정자 공간의 위상적 구조에 어떻게 영향을 미치는가?

주요 결과

• 안정자 S_id(f,X)의 항등성분은 f-적응 부분다양체 X의 위상과 f의 특이점 유형에 따라 결정되는, 구와 Eilenberg-MacLane 공간의 곱과 호모토피 동치이다.
• (B1) 및 (L1) 공리를 만족하는 사상에 대해 궤도 성분 O_f(f,X)는 표면의 기본군과 사상 f의 단형성에 관련된 분류 공간과 호모토피 동치이다.
• X가 유한한 f-적응 부분다양체일 경우, 안정자 S_id(f,X)는 유한한 CW複합체와 호모토피 동치이며, 그 호모토피 유형은 f의 임계점의 수와 유형에만 의존한다.
• 주요 결과는 이전 결과를 일반화한다: X=∅ 또는 X=Σ_f일 경우 안정자는 A-(D) 유형을 제외하고는 항상 수축 가능하지만, 일반적인 f-적응 X에 대해서는 안정자가 일반적으로 수축 가능하지 않다.
• 벡터장과 Z₂-피복을 통한 등변 업링 구성은 Möbius 띠나 클라인 볼록과 같은 비가역적 성분에 대한 호모토피 분류의 확장을 가능하게 한다.
• 궤도 공간의 호모토피 유형은 등위집합에서의 단형성 작용과 표면 M의 위상에 의해 결정되며, 이는 등위집합에서의 정규값의 선택과 무관하다.