[논문 리뷰] The fundamental theorems for curves and surfaces in 3d Heisenberg group

Hung-Lin Chiu, Sin-Hua Lai|arXiv (Cornell University)|2013. 01. 28.

Advanced Differential Geometry Research참고 문헌 5인용 수 6

한 줄 요약

이 논문은 3차원 헤이젠베르크 군 $H^1$에서 곡선과 곡면에 대한 기본 정리를 카르탕의 이동 기저 방법과 리군 이론을 사용하여 수립한다. 수평적으로 정규인 곡선에 대해 $p$-곡률과 $T$-변형이 완전한 불변량임을 규명하고, 이러한 불변량에 의해 곡선이 헤이젠베르크 고정운동을 제외하고 유일하게 결정됨을 증명한다. 곡면에 대해서는 내재된 불변량을 사용하여 가우스 곡률 공식과 새로운 오일러 지표 공식을 유도한다.

ABSTRACT

We study the local equivalence problems of curves and surfaces in three dimensional Heisenberg group via Cartans method of moving frames and Lie groups, and find a complete set of invariants for curves and surfaces. For surfaces, in terms of these invariants and their suitable derivatives, we also give a Gaussian curvature fromula of the metric induced from the adapted metric on Heisenberg group, and hence form a new formula for the Euler number of a closed surface.

연구 동기 및 목표

• 3차원 헤이젠베르크 군 $H^1$에서의 곡선에 대한 기본 정리를 고전적인 유클리드 경우와 유사하게 수립하는 것.
• 편-헤르미트 군 $PSH(1)$의 작용 하에서 곡선과 곡면에 대한 완전한 미분 불변량 집합을 규명하는 것.
• 내재된 메트릭에 기반한 $H^1$ 내 곡면의 가우스 곡률에 대한 공식을 내재된 불변량을 사용하여 도출하는 것.
• 내재된 메트릭의 곡률 불변량에 기반한 $H^1$ 내 폐곡면의 오일러 지표에 대한 새로운 공식을 구성하는 것.
• 영점 $T$-변형과 일정한 $p$-곡률을 갖는 경우에 의해 지오데식이 특징지어지는 것.

제안 방법

• 표준 편-헤르미트 구조 $(J_0, \theta_0)$를 갖는 3차원 헤이젠베르크 군 $H^1$에 대해 카르탕의 이동 기저 방법을 적용한다.
• 수평적으로 정규인 곡선의 수평 길이 매개변수화를 정의하여 수평 성분의 속도를 정규화한다.
• 곡선의 핵심 불변량으로서 $p$-곡률 $k(s) = \langle \frac{dX}{ds}, Y \rangle$ 와 $T$-변형 $\tau(s) = \langle \gamma', T \rangle$ 를 도입한다.
• 곡선의 매개변수 도함수에 기반한 $k(t)$ 와 $\tau(t)$ 의 명시적 공식을 유도한다: $k(t) = \frac{x'y'' - x''y'}{((x')^2 + (y')^2)^{3/2}}$, $\tau(t) = \frac{xy' - x'y + z'}{((x')^2 + (y')^2)^{1/2}}$.
• 다르부 도함수와 구조 방정식을 사용하여 $H^1$에 곡면 매립이 가능한 적합성 조건을 유도한다. 이는 내재된 메트릭, $p$-변형 $\alpha$, $p$-평균 곡률 $l$ 에 기반한다.
• 다르부 도함수가 불변량에 의해 유일하게 결정됨을 보여, 곡면 매립이 $PSH(1)$-작용을 제외하고 유일함을 증명한다.

실험 결과

연구 질문

• RQ1 3차원 헤이젠베르크 군에서 곡선을 편-헤르미트 고정운동을 제외하고 분류하는 데 필요한 완전한 미분 불변량은 무엇인가?
• RQ2 3차원 헤이젠베르크 군에서의 곡선에 대한 기본 정리는 고전적인 유클리드 경우와 어떻게 유사하게 구성할 수 있는가?
• RQ3 $H^1$ 내 곡면의 내재된 메트릭에 의해 유도된 가우스 곡률에 대한 내재된 공식은 무엇인가?
• RQ4 폐곡면의 오일러 지표는 $H^1$에서 곡률 불변량을 어떻게 표현할 수 있는가?
• RQ5 지오데식은 $p$-곡률과 $T$-변형 측면에서 어떻게 특징지어지는가?

주요 결과

• $p$-곡률 $k(s)$ 와 $T$-변형 $\tau(s)$ 는 $H^1$ 내 수평적으로 정규인 곡선이 $PSH(1)$-고정운동을 제외하고 유일하게 결정됨을 완전히 결정한다.
• $k(s)$ 와 $\tau(s)$ 를 이루는 임의의 매끄러운 함수들은 수평 길이 매개변수화된 수평적으로 정규인 곡선의 불변량으로 실현될 수 있다.
• $H^1$ 내 지오데식은 $\tau = 0$ 이고 일정한 $k = c$ 인 곡선으로 특징지어지며, 이는 불변량을 통한 기하학적 특징화를 확인한다.
• 폐곡면의 오일러 지표에 대한 새로운 공식이 가우스 곡률과 내재된 메트릭의 불변량을 사용하여 도출된다.
• $H^1$ 내 곡면의 가우스 곡률은 구조 방정식을 통해 $p$-변형 $\alpha$, $p$-평균 곡률 $l$, 그리고 그 도함수들로 명시적으로 표현된다.
• $H^1$에 곡면 매립의 적합성 조건은 $d\omega_1^2 = 0$ 과 동치이며, 이는 $PSH(1)$-작용을 제외하고 존재성과 유일성을 보장한다.