[논문 리뷰] Isolated singularities of hypersurfaces

Rustam Sadykov, Trunov, Stanislav|arXiv (Cornell University)|2022. 07. 20.

Geometric Analysis and Curvature Flows인용 수 5

한 줄 요약

이 논문은 매니폴드 위의 매끄러운 함수의 고립된 임계점 주위에 원통형 볼 근방이 존재하는지 조사하며, 원뿔 유사, 합리적, Rothe H-가설을 만족하는 임계점에 대해 이러한 근방이 존재함을 증명한다. 이는 모든 무한히 비퇴화되지 않은 점을 포함하는 핵심 클래스이다. 주요 기여는 비원뿔 유사 임계점, 예를 들어 Takens 함수의 경우조차도 원통형 볼 근방을 가질 수 있음을 보여주는 구성적 증명이며, 이는 이러한 임계점들이 위상적으로 제거 가능하다는 것을 시사한다.

ABSTRACT

Introduced by Seifert and Threlfall, cylindrical neighborhoods is an essential tool in the Lusternik-Schnirelmann theory. We conjecture that every isolated critical point of a smooth function admits a cylindrical ball neighborhood. We show that the conjecture is true for cone-like critical points, Cornea reasonable critical points, and critical points that satisfy the Rothe H hypothesis. In particular, the conjecture holds true at least for those critical points that are not infinitely degenerate.

연구 동기 및 목표

• 매끄러운 함수의 모든 고립된 임계점이 원통형 볼 근방을 갖는지 조사한다.
• 추측 1 검증: 모든 고립된 임계점은 원통형 볼 근방을 갖는다.
• 기하학적 및 위상수학적 성질, 특히 원뿔 유사성과 Rothe H-가설에 따라 임계점을 분류한다.
• 제트 공간 내 비원뿔 유사 임계점의 퍼짐 정도를 규명한다.
• 특정 비원뿔 유사 임계점(예: Takens 함수)이 여전히 원통형 볼 근방을 갖는다는 것을 보이며, 이는 위상적으로 제거 가능하다는 것을 의미한다.

제안 방법

• 함수의 하위레벨 집합 내에서 기울기 벡터장의 궤적을 이용해 원통형 근방을 구성한다.
• 기울기 벡터장을 매끄럽게 호모토피하여 근방을 직육면체 원통형으로 변형한다.
• 횡단성과 유지되는 벡터장의 호모토피를 사용하여 링형 영역에서 수직성을 확보한다.
• 역 궤적 매핑을 통해 원통형 근방에서 구와 구간의 곱으로의 미분동형사를 구성한다.
• 차원 ≠4,5일 경우, 위상동형인 구들은 미분동형임을 이용하고, 4차원과 5차원에서는 암묵적 호모토피를 적용하여 야생적인 곡선을 해결한다.
• 특이점 이론과 제트 공간 기하학의 결과를 적용하여 비원뿔 유사 임계점의 집합이 무한 차원의 여부차원을 가짐을 보인다.

실험 결과

연구 질문

• RQ1 매끄러운 함수의 모든 고립된 임계점은 원통형 볼 근방을 갖는가?
• RQ2 Rothe H-가설을 만족하는 임계점은 원통형 볼 근방을 보장받는가?
• RQ3 비원뿔 유사 임계점도 여전히 원통형 볼 근방을 갖는가, 그리고 만약 그렇다면 어떤 조건에서인가?
• RQ4 제트 공간 내 비원뿔 유사 임계점을 갖는 제트의 집합의 여부차원은 얼마인가?
• RQ5 Takens 함수의 임계점은 제거 가능한가, 즉 이웃 외부에서 함수를 유지하면서 임계점을 제거할 수 있는가?

주요 결과

• 모든 원뿔 유사 임계점은 기울기 흐름과 호모토피 기법을 통해 원통형 볼 근방을 갖는다.
• Cornea의 의미에서의 모든 합리적 임계점은 원뿔 유사이므로 원통형 볼 근방을 갖는다.
• Rothe H-가설을 만족하는 모든 임계점은 횡단성과 벡터장 변형을 통해 원통형 볼 근방을 갖는다.
• 비원뿔 유사 임계점을 갖는 제트의 집합은 모든 제트 공간에서 무한 차원의 여부차원을 가지며, 이는 이러한 점들이 매우 희귀함을 시사한다.
• 비원뿔 유사 임계점(예: Takens 함수의 경우)이 여전히 구와 미분동형인 원통형 근방을 갖는다는 것이 입증되었으며, 이는 추측이 원뿔 유사 점을 넘어서도 성립함을 보여준다.
• Takens 함수의 임계점은 위상적으로 제거 가능하다: 이웃 외부에서 함수를 유지하면서 임계점을 제거할 수 있다.