[논문 리뷰] Affine connections and singularities of tangent surfaces to space curves

Goo Ishikawa, Tatsuya Yamashita|arXiv (Cornell University)|2015. 01. 29.

Geometric Analysis and Curvature Flows참고 문헌 29인용 수 7

한 줄 요약

이 논문은 차원 ≥3인 다양체 위의 임의의 비회전 아핀 접속에서 공간 곡선의 접선 표면에 대한 일반적인 특이점의 완전한 분류를 수립한다. 아핀 접속을 통해 지선의 개념을 일반화함으로써, 특이점의 유일한 국소 미분형은 임의의 차수의 영이 되는 순서와 공변도수의 선형 독립성에 따라 결정되며, 3차원과 고차원에서의 행동이 다름을 증명한다. 특이점의 유형은 측면 가장자리, 접힌 우산, 물개꼬리 형태이다.

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, or, more generally a directed curve or a frontal curve which has well-defined tangent directions along the 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차원 공간에서의 접선 표면 특이점에 대한 고전적 분류를 임의의 비회전 아핀 접속을 갖는 차원 ≥3의 다양체로 확장한다.
• 이전 연구에서 다루지 않은 비프로젝티브 평탄하지 않은 경우를 체계적으로 분석하지 못한 격차를 해결한다.
• $\nabla$-접선 표면을 곡선 또는 지정된 곡선 沿해 $\nabla$-지선으로 생성되는 정규 표면으로 정의하고 특성화한다.
• 곡선과 지정된 곡선에 대해 유크리드 $C^\infty$ 위상으로 일반성 조건을 수립한다.
• 3차원 및 고차원 환경 공간 모두에서 특이점의 완전한 국소 미분형 분류를 확립한다.

제안 방법

• 비회전 아핀 접속 $\nabla$를 갖는 다양체에서 주어진 곡선 또는 지정된 곡선에 접하는 $\nabla$-지선으로 이루어진 정규 표면으로 $\nabla$-접선 표면을 정의한다.
• 각 곡선 상의 점 $t_0$에서 특이점 유형을 분류하기 위해 공변도수 $\nabla^k\gamma(t_0)$ ($k=1,2,3,4,5$)를 사용한다.
• 제트 전이성과 특이점 이론을 활용하여 국소 미분형 분류를 적용하고, 표면 사상의 제트-균열을 측면 가장자리, 접힌 우산, 물개꼬리 형태 등의 표준 모델과 비교한다.
• 3차원 이상의 차원에서 '통합된 측면 가장자리' 개념을 도입하여 고전적인 3차원 측면 가장자리를 고차원에서의 고차원 수준으로 일반화한다.
• 미분형 균열을 사용하여 $\nabla$-접선 표면 사상-균열을 표준 정규형과 비교한다. 예를 들어, 측면 가장자리의 경우 $(t,s) \mapsto (t+s, t^2+2st, t^3+3st^2, 0, \dots, 0)$.
• 유크리드 $C^\infty$ 위상으로 일반성을 확립하여, 약간의 횡단 조건 하에 제시된 특이점 유형이 일반적으로 나타남을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 비회전 아핀 접속을 갖는 다양체에서 일반적인 곡선의 $\nabla$-접선 표면에 나타날 수 있는 일반적 특이점 유형은 무엇인가?
• RQ2 특이점 유형은 환경 다양체의 차원에 따라 어떻게 달라지며, 특히 3차원과 고차원의 경우를 어떻게 구분할 수 있는가?
• RQ3 공변도수 $\nabla^k\gamma(t_0)$의 조건은 $\nabla$-접선 표면이 $t_0$에서 측면 가장자리, 접힌 우산, 또는 물개꼬리 형태와 국소적으로 미분형이 되는지를 결정하는가?
• RQ4 유클리드 3차원 공간에서의 접선 표면 특이점에 대한 고전적 분류는 비프로젝티브 평탄하지 않은 다양체로 일반화될 수 있는가?
• RQ5 비회전 곡선은 특이점 형성에 어떤 역할을 하는가? 이러한 곡선은 프로젝티브 평탄한 공간의 특이점과 미분형이 아닌 특이점을 유도할 수 있는가?

주요 결과

• 차원 $\dim(M) = 3$일 경우, 일반적인 곡선의 $\nabla$-접선 표면에 나타나는 유일한 일반적 특이점은 측면 가장자리와 접힌 우산이다.
• 차원 $\dim(M) \geq 4$일 경우, 일반적인 곡선의 $\nabla$-접선 표면에 나타나는 유일한 일반적 특이점은 통합된 측면 가장자리이다.
• 3차원에서 일반적인 지정된 곡선의 경우 특이점으로 측면 가장자리, 접힌 우산, 물개꼬리 형태가 포함된다.
• 차원 $\dim(M) \geq 4$에서 일반적인 지정된 곡선의 경우 특이점으로 통합된 측면 가장자리와 열린 물개꼬리 형태가 포함된다.
• $\nabla$-접선 표면이 $t_0$에서 측면 가장자리와 국소적으로 미분형이 되기 위해서는 $\nabla\gamma(t_0), \nabla^2\gamma(t_0), \nabla^3\gamma(t_0)$가 선형 독립이어야 한다.
• $\nabla$-접선 표면이 $t_0$에서 접힌 우산과 국소적으로 미분형이 되기 위해서는 $\nabla\gamma(t_0), \nabla^2\gamma(t_0), \nabla^3\gamma(t_0)$가 선형 종속이지만 $\nabla\gamma(t_0), \nabla^2\gamma(t_0), \nabla^4\gamma(t_0)$가 선형 독립이어야 한다.
• $\nabla$-접선 표면이 $t_0$에서 물개꼬리 형태와 국소적으로 미분형이 되기 위해서는 $\nabla\gamma(t_0) = 0$ 이고 $\nabla^2\gamma(t_0), \nabla^3\gamma(t_0), \nabla^4\gamma(t_0)$가 선형 독립이어야 한다.
• $\nabla$-접선 표면이 $t_0$에서 열린 물개꼬리 형태와 국소적으로 미분형이 되기 위해서는 $\nabla\gamma(t_0) = 0$ 이고 $\nabla^2\gamma(t_0), \nabla^3\gamma(t_0), \nabla^4\gamma(t_0), \nabla^5\gamma(t_0)$가 선형 독립이어야 한다.
• 프로젝티브 평탄한 공간의 어떤 접선 표면과도 미분형이 아닌 $(2,5)$-측면 가장자리 형태는 $\mathbf{R}^3$ 내 비회전 아핀 접속에서 $\nabla$-접선 표면으로 나타날 수 있다.