[논문 리뷰] On the flat geometry of the cuspidal edge

Raúl Oset Sinha, Farid Tari|arXiv (Cornell University)|2016. 10. 27.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 4

한 줄 요약

이 논문은 유클리드 공간 ℝ³ 내의 쿠스피드럴 에지의 평평한 기하학을 특이점 이론을 통해 평면 및 직선과의 접촉을 분석함으로써 연구한다. 높이 함수와 수직 투영의 특이점들을 분류하고, 투영 방향 변화에 따른 '보이는 윤곽'의 일반적인 변형을 유도하며, 이와 같은 특이점들을 법선 곡률, 접선 곡률과 같은 기하학적 불변량과 연결한다.

ABSTRACT

We study the geometry of the cuspidal edge $M$ in $\mathbb R^3$ derived from its contact with planes and lines (referred to as flat geometry). The contact of $M$ with planes is measured by the singularities of the height functions on $M$. We classify submersions on a model of $M$ by diffeomorphisms and recover the contact of $M$ with planes from that classification. The contact of $M$ with lines is measured by the singularities of orthogonal projections of $M$. We list the generic singularities of the projections and obtain the generic deformations of the apparent contour (profile) when the direction of projection varies locally in $S^2$. We also relate the singularities of the height functions and of the projections to some geometric invariants of the cuspidal edge.

연구 동기 및 목표

• 평면과 직선과의 접촉을 통해 쿠스피드럴 에지의 미분기하학을 이해하는 것—이를 '평평한 기하학'이라 칭함.
• 디피오모르피즘 불변량을 사용하여 쿠스피드럴 에지와 평면의 접촉으로 발생하는 높이 함수의 특이점들을 분류하는 것.
• 쿠스피드럴 에지의 수직 투영에서의 특이점들을 분석하고, 보이는 윤곽(프로파일)과 그 일반적인 변형에 초점을 맞추는 것.
• 높이 함수와 투영의 특이점 유형이 법선 곡률 $ \kappa_n $, 접선 곡률 $ \kappa_t $, 쿠스프 방향과 같은 내재 기하학적 불변량과 어떻게 관련되는지 밝히는 것.
• 일반적인 특이점의 $ {}_{X}\mathcal{A}_{e} $-보편 개방을 제공하는 모델 쿠스피드럴 에지 위의 2파라미터 부분사상의 가닥을 수립하는 것.

제안 방법

• 쿠스피드럴 에지의 표준 모형인 $ f(x,y) = (x, y^2, y^3) $ 을 $\mathcal{A}$-동치 아래의 점근적 구조로 사용하여 국소 기하학을 연구한다.
• 쿠스피드럴 에지 모형을 유지하는 디피오모르피즘에 의한 $ \mathbb{R}^3,0 \to \mathbb{R} $ 의 부분사상의 분류를 수행하며, 이를 통해 군 $ \mathcal{R}(X) $ 를 형성한다.
• 평면에 수직인 방향 $ \mathbf{v} \in S^2 $ 와의 접촉을 측정하기 위해 높이 함수 $ H((x,y),\mathbf{v}) = \phi(x,y) \cdot \mathbf{v} $ 를 분석한다.
• 부분사상 $ \mathbb{R}^3,0 \to \mathbb{R}^2,0 $ 을 통한 수직 투영 $ P_{\mathbf{v}} $ 를 연구하고, 그 $ {}_{X}\mathcal{A} $-특이점들을 분류한다.
• 일반적인 쿠스피드럴 에지에 대해 $ {}_{X}\mathcal{A}_{e} $-코드림이 ≤ 2인 특이점들로만 가능한 특이점들을 제한하기 위해 전이성 정리를 적용한다.
• 모델 $ X $ 에 대해 2파라미터 투영의 가닥을 구성하고, 이 가닥이 일반적인 특이점의 $ {}_{X}\mathcal{A}_{e} $-보편 개방임을 보여준다.

실험 결과

연구 질문

• RQ1 쿠스피드럴 에지에서 높이 함수 $ H((x,y),\mathbf{v}) = \phi(x,y) \cdot \mathbf{v} $ 의 일반적인 특이점 유형은 무엇이며, 이는 평면과의 접촉을 어떻게 분류하는가?
• RQ2 쿠스피드럴 에지의 수직 투영 $ P_{\mathbf{v}} $ 의 특이점들은 $ \mathbf{v} \in S^2 $ 의 방향 변화에 따라 어떻게 변하는가?
• RQ3 투영 방향이 $ S^2 $ 에서 국소적으로 변화함에 따라 쿠스피드럴 에지의 보이는 윤곽(프로파일)의 일반적인 변형은 무엇인가?
• RQ4 높이 함수와 투영의 특이점 유형은 법선 곡률 $ \kappa_n $, 접선 곡률 $ \kappa_t $, 쿠스프 방향과 같은 기하학적 불변량과 어떻게 관련되는가?
• RQ5 모델 쿠스피드럴 에지에서 투영으로부터 유도된 특이점의 $ {}_{X}\mathcal{A}_{e} $-보편 개방의 구조는 무엇인가?

주요 결과

• 쿠스피드럴 에지와 평면의 접촉은 높이 함수의 특이점에 의해 분류되며, 법선 방향 $ \mathbf{v} $ 가 탄성 원뿔과의 상대적 위치에 따라 7종류의 유형으로 나뉜다.
• 수직 투영의 경우, $ P_{\mathbf{v}} $ 의 특이점은 7종류로 분류된다: 유형 1(핵심이 수직), 유형 2–4(핵심이 탄성 원뿔에 있지만 접선 방향이 아님), 유형 5–7(핵심이 접선 방향과 평행).
• 만약 $ \kappa_n(p) \neq 0 $ 이면, $ \tau_\Sigma(p) \neq 0 $ 이면 특이점은 유형 5(일반적인 쿠스프), $ \tau_\Sigma(p) = 0 $ 이면 유형 6(램포이드 쿠스프), $ \kappa_n(p) = 0 $ 이면 유형 7이다.
• 보이는 윤곽은 $ \mathbf{v} $ 가 $ S^2 $ 에서 변화함에 따라 일반적으로 변형되며, 2파라미터 투영 가닥이 특이점의 보편 개방을 제공한다.
• 특이점 유형은 특이 집합 $ S_\alpha = 0 $ 과 쿠스피드럴 에지의 특이 집합 $ \Sigma $ 사이의 접촉 차수에 따라 달라지며, 접촉 차수 2 또는 3은 각각 유형 3 또는 4를 결정한다.
• 만약 $ \kappa_n(p) = 0 $ 이고 $ \kappa_t(p) = 0 $ 이면, 일반적으로 특이점은 유형 7이지만, 방향 $ \mathbf{v} $ 가 특정한 임계 방향과 일치할 경우 유형 4가 된다.