[논문 리뷰] The geometry of corank $1$ surfaces in $\mathbb{R}^{4}$

Pedro Benedini Riul, Raúl Oset Sinha외 1명|arXiv (Cornell University)|2018. 01. 19.

Geometric Analysis and Curvature Flows참고 문헌 11인용 수 8

한 줄 요약

이 논문은 ℝ⁴ 내의 계수 1 특이점을 가진 표면의 미분기하학을 조사하며, 모든 두 번째 순서 기하학적 자료를 포함하는 완전한 불변량인 곡률 포물선을 도입한다. 곡률 포물선을 통해 점근적 방향과 이중법선 방향을 정의하고, ℝ²×O(4) 변환에 대해 불변인 육각 곡률 불변량을 제안하며, ℝ⁴ 내의 특이 표면과 ℝ⁵ 내의 정칙 표면 사이의 기하학적 대응을 수립하여, 이들의 두 번째 기본형이 일치하지만, 그 분열성과 이중법선 구조는 다름을 보여준다.

ABSTRACT

We study the geometry of surfaces in $\mathbb{R}^{4}$ with corank $1$ singularities. For such surfaces the singularities are isolated and at each point we define the curvature parabola in the normal space. This curve codifies all the second order information of the surface. Also, using this curve we define asymptotic and binormal directions, the umbilic curvature and study the flat geometry of the surface. It is shown that we can associate to this singular surface a regular one in $\mathbb{R}^{4}$ and relate their geometry.

연구 동기 및 목표

• ℝ⁴ 내 계수 1 특이점을 가진 표면에 대한 두 번째 순서 미분기하학 프레임워크를 개발하기 위해.
• 곡률 포물선을 완전한 불변량으로 정의하고, 이를 통해 이러한 특이점을 분류하는 데 목적이 있다.
• ℝ²×O(4) 변환에 대해 불변인 기하학적 불변량(예: 점근적 방향, 이중법선 방향, 육각 곡률)을 도입하고 특성화하기 위해.
• 특이 표면 M ⊂ ℝ⁴와 그로부터 유도된 정칙 표면 N ⊂ ℝ⁵ 사이의 기하학적 관계를 수립하기 위해.
• ℝ⁴ 내 특이 표면과 ℝ⁵ 내 정칙 표면 간의 이중법선 방향 개념이 본질적으로 어떻게 다름을 명확히 하기 위해.

제안 방법

• 곡률 포물선 Δₚ는 정칙 표면 Ũ가 ℝ⁴로 매핑되는 국소 좌표를 통해 정규 공간에서 두 번째 기본형의 상으로 정의된다.
• 점근적 방향은 T_qŨ 내의 접선 벡터 u ∈ T_qŨ로서, 어떤 ν ∈ N_pM에 대해 모든 v ∈ T_qŨ에 대해 II_ν(u,v) = 0를 만족할 때 정의된다.
• 이중법선 방향은 분열된 높이 함수 방향의 원뿔 ℂ_p와 N_pM 내의 부분공간 E_p ⊂ N_pM의 교차로 정의된다.
• 육각 곡률은 Δₚ가 분해될 때 점에서 정의되는 스칼라 불변량으로, 높이 함수 h_ν의 헤시안을 통해 계산된다.
• 특이 표면 M ⊂ ℝ⁴의 리프트로 정칙 표면 N ⊂ ℝ⁵를 구성하며, 두 번째 기본형을 유지한다.
• 논문은 𝒜² 및 ℝ²×O(4) 변환 하에서의 2차 미분 등가성을 사용하여 특이점을 분류하며, 곡률 포물선이 계수 1 국소형의 네 개의 궤도를 완전히 구별함을 보여준다.

실험 결과

연구 질문

• RQ1 ℝ⁴ 내 계수 1 표면의 두 번째 순서 기하학은 정규 공간 내 기하학적 객체를 통해 어떻게 표현되고 분류될 수 있는가?
• RQ2 특이 표면의 맥락에서 점근적 및 이중법선 방향의 정확한 기하학적 의미와 특성은 무엇인가?
• RQ3 곡률 포물선은 ℝ²×O(4) 변환에 대해 계수 1 특이점을 분류하기 위한 완전한 불변량으로서 어떻게 작용하는가?
• RQ4 특이 표면 M ⊂ ℝ⁴와 그로부터 유도된 정칙 표면 N ⊂ ℝ⁵ 사이의 관계는 무엇이며, 특히 두 번째 기본형에 대해 어떻게 다를까?
• RQ5 왜 ℝ⁴ 내 특이 표면과 ℝ⁵ 내 정칙 표면 간의 이중법선 방향 개념이 본질적으로 다를까?

주요 결과

• 곡률 포물선 Δₚ는 ℝ²×O(4) 등가성 하에서 ℝ⁴ 내 계수 1 특이점을 분류하는 완전한 불변량이며, 네 개의 서로 다른 궤도를 구별한다.
• 정규 공간 N_pM 내의 방향 ν가 분해 가능할 조건은 높이 함수 h_ν의 헤시안 행렬식이 0이 되는 조건에서 유도된 식 v₂ = -b₁₁v₃ ± 2√(b₂₀b₀₂v₃² + b₀₂c₂₀v₃v₄)를 만족할 때이다.
• 점근적 방향은 ℝ ∪ [y_∞] 내의 매개변수 y에 대해 곡률 포물선 내 선 η(y)가 분해된 방향의 원뿔 ℂ_p와 수직일 때 해당된다.
• 이중법선 방향은 ℂ_p ∩ E_p로 정의되며, 이는 ℝ⁵ 내 정칙 표면에서의 표준 정의와 다름을 보인다. 여기서 이중법선성은 특이점 유형(A₃ 또는 그 이상 등)에 기반한다.
• 관련된 정칙 표면 N ⊂ ℝ⁵는 특이 표면 M ⊂ ℝ⁴와 동일한 두 번째 기본형을 가지지만, 분해성과 이중법선 구조는 유지되지 않는다.
• Δₚ가 점으로 분해될 경우 육각 곡률은 2|c₂₀|이며, c₂₀ = 0이면 모든 ν ∈ N_pM에 대해 높이 함수 h_ν는 계수 2 특이점을 가지며, c₂₀ ≠ 0이면 Δₚ의 스칼라 생성 공간과 수직인 방향 ν에 대해 계수 2 특이점을 가진다.