[논문 리뷰] Singularities of tangent surfaces to generic space curves

Goo Ishikawa, Tatsuya Yamashita|arXiv (Cornell University)|2016. 02. 08.

Geometric Analysis and Curvature Flows참고 문헌 17인용 수 3

한 줄 요약

이 논문은 임의의 차원과 비틀림이 없는 애파프 연결 기하학에서 공간 곡선의 접선 면의 일반적인 특이점을 분류한다. 이는 유클리드 3차원에서의 고전 결과를 일반 다양체로 일반화하며, 일반적인 곡선에 대해 유일한 특이점은 3차원에서는 캐스피드럴 에지 또는 고차원에서는 임bedded 캐스피드럴 에지이며, 이는 곡선의 고차 미분의 공변도함수 기반 정확한 기준에 의해 결정됨을 증명한다.

ABSTRACT

We give the complete solution to the local diffeomorphism classification problem of generic singularities which appear in tangent surfaces, in as wider situations as possible. We interpret tangent geodesics as tangent lines whenever a (semi-)Riemannian metric, or, more generally, an affine connection is given in an ambient space of arbitrary dimension. Then, given an immersed curve, we define the tangent surface as the ruled surface by tangent geodesics to the curve. We apply the characterization of frontal singularities found by Kokubu, Rossman, Saji, Umehara, Yamada, and Fujimori, Saji, Umehara, Yamada, and found by the first author related to the procedure of openings of singularities.

연구 동기 및 목표

• 유클리드 3차원에서의 접선 면 특이점 분류를 일반 리만 또는 애파프 다각체로 임의의 차원으로 확장하는 것.
• 이전에 체계적으로 분석되지 않은 비프로젝티브 평탄한 기하학을 다룸으로써 문헌의 빈도를 메우는 것.
• 곡선의 공변도함수를 사용하여 캐스피드럴 에지 및 접힌 우산 특이점을 식별하는 내재적이고 미분기하학적 기준을 제공하는 것.
• 곡선의 웨이트니 $C^\infty$ 위상에서의 일반성 조건을 설정하여, 특정한 특이점들만 나타나도록 보장하는 것.
• 특히 비평탄한 공간에서 비틀림이 없는 곡선의 경우, 더 열악한 특이점(예: $(2,5)$-캐스피드럴 에지)이 어떻게 나타나는지 탐색하는 것.

제안 방법

• 다양체 $M$에 애파프 연결 $\nabla$가 주어진 경우, 곡선 $\gamma$에 접하는 $\nabla$-지오데식으로 생성된 정면면인 $\nabla$-접선 면을 정의한다.
• 지역적 특이점 유형을 특징짓기 위해 공변도함수 $\nabla\gamma$, $\nabla^2\gamma$, $\nabla^3\gamma$, $\nabla^4\gamma$를 사용한다.
• 프론탈 및 매핑-지르의 특이점 이론 기준을 적용하며, 특히 자코비안의 질량과 특성 함수의 행동에 중점을 둔다.
• 이전 연구에서의 '열림' 개념을 활용하여 프로젝티브 기하학의 결과를 일반 애파프 연결으로 일반화한다.
• 소스와 타겟의 미분동형사상에 의해 관련된 두 매핑-지르가 동치일 경우를 기준으로 국소 미분동형사상 분류를 수행한다.
• 문제를 알려진 정규형(예: 캐스피드럴 에지: $(t,s) \mapsto (t+s, t^2 + 2st, t^3 + 3st^2)$)으로 환원하고, 주어진 기하학적 구조 하에서 동치성을 검증함으로써 주요 정리를 증명한다.

실험 결과

연구 질문

• RQ1 차원 $m \geq 3$인 비틀림이 없는 애파프 연결을 가진 다양체에서 일반 곡선의 $\nabla$-접선 면에 나타날 수 있는 일반 특이점은 무엇인가?
• RQ2 3차원 유클리드 공간에서의 고전적 특이점(캐스피드럴 에지, 접힌 우산)은 고차원 및 비평탄한 환경으로 어떻게 일반화되는가?
• RQ3 곡선의 공변도함수에 어떤 조건이 성립할 경우 $\nabla$-접선 면이 캐스피드럴 에지 또는 접힌 우산 특이점을 보이는가?
• RQ4 더 열악한 특이점, 예를 들어 $(2,5)$-캐스피드럴 에지가 $\nabla$-접선 면에서 나타날 수 있으며, 만약 그렇다면 어떤 기하학적 조건에서 나타나는가?
• RQ5 비틀림이 없음과 프로젝티브 평탄성이 접선 면의 특이점 유형을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 차원 $\dim(M) = 3$일 경우, 일반 곡선의 $\nabla$-접선 면은 $\nabla\gamma$, $\nabla^2\gamma$, $\nabla^3\gamma$의 선형 독립성 여부에 따라 캐스피드럴 에지 또는 접힌 우산 특이점만 존재한다.
• 차원 $\dim(M) \geq 4$일 경우, 유일한 일반 특이점은 임베딩된 캐스피드럴 에지이며, 첫 번째 세 개의 공변도함수에 대한 선형 독립성 조건이 동일하게 유지된다.
• 접힌 우산 특이점은 $\nabla\gamma$, $\nabla^2\gamma$, $\nabla^3\gamma$가 선형 종속이지만 $\nabla\gamma$, $\nabla^2\gamma$, $\nabla^4\gamma$는 선형 독립일 때 정확히 발생한다.
• 비프로젝티브 평탄한 공간에서는 비틀림이 없는 곡선이 접힌 특이점 이외의 특이점, 예를 들어 $(2,5)$-캐스피드럴 에지를 유도할 수 있으며, 이는 평탄하거나 프로젝티브 평탄한 기하학에서는 불가능하다.
• 지역적으로 프로젝티브 평탄한 다양체에서 비틀림이 없는 곡선의 $\nabla$-접선 면은 항상 접힌 특이점이며, 유클리드 공간의 평면 곡선과의 프로젝티브 동치를 통해 이를 보여준다.
• 논문은 $C^\infty$ 웨이트니 위상에서 특이점의 완전한 국소 미분동형사상 분류를 제공하며, 곡선 공간에 대한 일반성 조건을 설정한다.