[논문 리뷰] Rotation surfaces of constant Gaussian curvature as Riemannian approximation scheme in sub-Riemannian Heisenberg space $\mathbb H^1$

José M. M. Veloso|ArXiv.org|2019. 09. 29.

Geometric Analysis and Curvature Flows참고 문헌 1인용 수 5

한 줄 요약

이 논문은 하이젠베르크 공간 $\mathbb{R}^1$의 부분리만다이언 서브리만다이언 기하에서 두 가지 다른 가우스 곡률 정의를 비교한다: 하나는 리만다이언 근사 극한을 통한 정의($K^\infty$)이고, 다른 하나는 가우스 맵 형식을 통한 정의($K$)이다. 이 두 곡률이 일치하지 않음을 증명하며, $K^\infty = -dA(f_2) - A^2$는 함수 $A$에만 의존함을 보이고, 리만다이언 근사 프레임워크에서 가우스-보네 정리가 항등식 $K^\infty d\sigma = d(k_n ds)$를 통해 스토크스 정리로부터 직접 유도됨을 보여준다. 논문은 모든 회전 대칭 상수 $K^\infty$ 표면을 분류하며, 곡률의 부호에 따라 정확히 세 가지 유형—타원형, 포물선형, 쌍곡선형—을 식별한다.

ABSTRACT

We verify if Gausssian curvature of surfaces and normal curvature of curves in surfaces introduced by Diniz-Veloso arXiv:1210.7110 and by Balogh-Tyson-Vecchi arXiv:1604.00180 to prove Gauss-Bonnet theorems in Heisenberg space $\mathbb H^1$ are equal. The authors in arXiv:1604.00180 utilize a limit of Gaussian and normal curvatures defined in the Riemannian approximations scheme $(\mathbb R^3,g_L)$ introduced by Gromov to study sub-Riemannian spaces. They show that these limits exist (unlike the limit of Riemannian surface area form or length form), and they obtain Gauss-Bonnet theorem in $\mathbb H^1$ as limit of Gauss-Bonnet theorems in $(\mathbb R^3,g_L)$ when $L$ goes to infinity. The approach in arXiv:1210.7110 uses an analogous of Gauss map defined in the unitary cylinder and they show that the curvature defined by the Gauss map corresponds to the curvature of covariant derivative which is null on left invariant vector fields of $\mathbb H^1$. The proof of Gauss-Bonnet theorem follows as the classical one. Curvatures do not coincide. For comparison sake we apply the same formalism of arXiv:1210.7110 to get the curvatures of arXiv:1604.00180 . With the obtained formulas, it is possible to prove the Gauss-Bonnet theorem in arXiv:1604.00180 as a straightforward application of Stokes theorem. To exemplify the Gaussian curvature of arXiv:1604.00180 we calculate the rotation surfaces of constant curvature in $\mathbb H^1$, which are only of three types.

연구 동기 및 목표

• 서브리만다이언 하이젠베르크 공간 $\mathbb{H}^1$에서 리만다이언 근사 기반의 가우스 곡률 $K^\infty$와 가우스 맵 기반의 곡률 $K$를 비교한다.
• 리만다이언 극한에서 표면 법선의 수직 성분을 캡처하는 함수 $A$에 의해 $K^\infty$가 유일하게 결정됨을 보인다.
• 리만다이언 근사 체계에서 가우스-보네 정리가 항등식 $K^\infty d\sigma = d(k_n ds)$를 통해 스토크스 정리로부터 직접 유도됨을 보인다.
• 상수 $K^\infty$를 가진 $\mathbb{H}^1$ 내의 모든 회전 대칭 표면을 분류하며, 정확히 세 가지 기하학적 유형을 식별한다.

제안 방법

• 표면에 대해 $(\mathbb{R}^3, g^L)$에서의 리만다이언 가우스 곡률 $K^L$을 유도하고, $L \to \infty$의 극한을 취함으로써 $K^\infty = -dA(f_2) - A^2$를 도출한다.
• 문헌 [3]의 가우스 맵 형식을 적용하여 곡률 $K = d\alpha \wedge dA(f_3, f_2)$를 계산하며, 이는 $K^\infty$와 다름을 보인다.
• 수평 곡선을 보장하기 위해 조건 $\theta' = \sqrt{1 - (r')^2}/r$를 갖는 $z$-축을 중심으로 한 회전 표면의 매개변수화 $(r(t), 0, c(t))$를 사용한다.
• 상수 $K^\infty$를 가진 표면에 대해 미분방정식계 $K^\infty + \frac{d^2}{dt^2}(\ln r^2) + \frac{d}{dt}(\ln r^2) = 0$ 및 $c' = \frac{1}{2}r\sqrt{1 - (r')^2}$를 유도한다.
• $K^\infty > 0$, $K^\infty = 0$, $K^\infty < 0$의 경우에 대해 미분방정식을 풀어 삼각함수, 대수함수, 쌍곡함수로 표현된 명시적 해를 얻는다.
• 해당 표면이 유한한 정의역 내에서만 잘 정의됨을 확인하며, 이는 미분방정식 내 제곱근 안의 표현식이 양수여야 하기 때문이다.

실험 결과

연구 질문

• RQ1 하이젠베르크 공간 $\mathbb{H}^1$에서 리만다이언 근사($K^\infty$)와 가우스 맵($K$)을 통한 두 곡률 정의가 일치하는가?
• RQ2 상수 $K^\infty$가 표면 기하학적 자료, 특히 함수 $A$에 대해 어떻게 명시적으로 의존하는가?
• RQ3 리만다이언 근사 체계에서 가우스-보네 정리가 극한을 취하지 않고도 항등식 $K^\infty d\sigma = d(k_n ds)$를 통해 스토크스 정리로부터 직접 도출될 수 있는가?
• RQ4 상수 $K^\infty$를 가진 $\mathbb{H}^1$ 내의 모든 회전 대칭 표면의 완전한 가족은 무엇이며, 유클리드 공간 상수 곡률 표면과 기하학적으로 어떻게 다를까?
• RQ5 상수 $K^\infty > 0$, $K^\infty = 0$, $K^\infty < 0$를 가진 표면의 명시적 매개변수 해와 정의역 제약 조건은 무엇인가?

주요 결과

• 리만다이언 근사 기반 곡률 $K^\infty$와 가우스 맵 기반 곡률 $K$는 서로 다름을 보이며, $K^\infty = -dA(f_2) - A^2$ 이고 $K = d\alpha \wedge dA(f_3, f_2)$ 이며, 후자는 $L \to \infty$의 극한에서 0이 된다.
• 극한 곡률 $K^\infty$는 표면 법선의 리만다이언 극한에서의 수직 이탈을 측정하는 함수 $A$에만 의존하며, $\alpha$와는 독립적이다.
• 항등식 $K^\infty d\sigma = d(k_n ds)$가 성립하여, 리만다이언 근사 체계에서의 가우스-보네 정리를 극한 없이도 스토크스 정리로부터 직접 도출할 수 있다.
• 회전 대칭 표면의 경우, 미분방정식계는 $K^\infty + \frac{d^2}{dt^2}(\ln r^2) + \frac{d}{dt}(\ln r^2) = 0$로 단순화되며, $c' = \frac{1}{2}r\sqrt{1 - (r')^2}$ 이고, 해는 $K^\infty$의 부호에 따라 명시적으로 분류된다.
• 상수 $K^\infty$를 가진 회전 표면은 정확히 세 가지 유형이 존재한다: (1) $K^\infty > 0$일 때 $r(v) = r_0\sqrt{\cos(\sqrt{K^\infty}v)}$, (2) $K^\infty = 0$일 때 $r(v) = r_0\sqrt{v}$, (3) $K^\infty < 0$일 때 $r(v) = r_0\sqrt{\cosh(\sqrt{-K^\infty}v)}$, 각각은 유한한 간격에서만 정의된다.
• 표면은 수평 곡선으로 시각화되며, 정의역은 $1 - (r')^2 \geq 0$ 조건에 의해 제한되며, 이는 $K^\infty > 0$ 및 $K^\infty < 0$의 경우에 유한한 존재 간격을 유도하고, $K^\infty = 0$의 경우 $v > 0$이 요구된다.