[논문 리뷰] Minimal surfaces in contact Sub-Riemannian manifolds

Nataliya Shcherbakova|ArXiv.org|2006. 04. 23.

Topological and Geometric Data Analysis참고 문헌 5인용 수 3

한 줄 요약

이 논문은 수직 분포의 계수 1인 접촉 서브리만노이안 다양체에서 최소 곡면을 좌표에 의존하지 않고 내재적으로 정의한다. 최소 곡면 조건은 표면에 제한된 수평 면적 형식의 외미분이 0이 되는 것으로 공식화된다. 이러한 곡면들이 확장된 공간 $M \times S^1$에서의 상미분방정식 시스템의 적분다양체임을 증명하고, 헤이센베르크 군을 초월하여 일반적인 접촉 구조로까지 일반화된 특성점의 분류와 특성 곡선이 기하선임을 위한 조건을 밝힌다.

ABSTRACT

In the present paper we consider generic Sub-Riemannian structures on the co-rank 1 non-holonomic vector distributions and introduce the associated canonical volume and ''horizontal'' area forms. As in the classical case, the Sub-Riemannian minimal surfaces can be defined as the critical points of the '`horizontal'' area functional. We derive an intrinsic equation for minimal surfaces associated to a generic Sub-Riemannian structure of co-rank 1 in terms of the canonical volume form and the ``horizontal'' normal. The presented construction permits to describe the Sub-Riemannian minimal surfaces in a generic Sub-Riemannian manifold and can be easily generalized to the case of non-holonomic vector distributions of greater co-rank. The case of contact vector distributions, in particular the $(2,3)$-case, is studied more in detail. In the latter case the geometry of the Sub-Riemannian minimal surfaces is determined by the structure of their characteristic points (i.e., the points where the hyper-surface touches the horizontal distribution) and characteristic curves. It turns out that the known classification of the characteristic points of the Sub-Riemannian minimal surfaces in the Heisenberg group $H^1$ holds true for the minimal surfaces associated to a generic contact $(2,3)$ distribution. Moreover, we show that in the $(2,3)$ case the Sub-Riemannian minimal surfaces are the integral surfaces of a certain system of ODE in the extended state space. In some particular cases the Cauchy problem for this system can be solved explicitly. We illustrate our results considering Sub-Riemannian minimal surfaces in the Heisenberg group and the group of roto-translations.

연구 동기 및 목표

• 계수 1인 서브리만노이안 다양체에서 캐논컬 부피형식과 수평 면적 형식을 사용하여 최소 곡면의 좌표에 의존하지 않고 내재적인 정의를 제공한다.
• 일반적인 서브리만노이안 구조에 대해 유효한 캐논컬 부피형식과 수평 법선을 이용한 최소 곡면의 내재적인 방정정식을 유도한다.
• 헤이센베르크 군에서 알려진 특성점의 분류를 모든 일반적인 $(2,3)$-접촉 서브리만노이안 구조로 일반화한다.
• 서브리만노이안 최소 곡면이 확장된 공간 $M \times S^1$에서의 상미분방정식 시스템의 적분표면임을 보인다.
• 특성 곡선이 서브리만노이안 기하선과 일치하는 조건을 특성 상수에 대한 필요 및 충분조건으로 규명한다.

제안 방법

• 수평 분포 $\Delta$에 대한 정규직교 기저를 사용하여 계수 1 서브리만노이안 다양체에서 캐논컬 부피형식 $\mu$와 수평 면적 형식 $i_\nu \mu$를 정의한다.
• 모든 단위 수평 벡터장 $X$에 대해 $i_X \mu$의 적분을 최대화하는 단위 벡터장 $\nu$로 서브리만노이안 법선 $\nu$를 정의한다.
• 최소 곡면 조건을 표면 $W$에서의 $(d \circ i_\nu \mu)|_W = 0$로 공식화하여, 표면 위의 내재적인 PDE로 표현한다.
• 최소 곡면 방정식에 특성 방법을 적용하여, $S^1$-값을 갖는 매개변수 $\psi$를 가진 확장된 공간 $M \times S^1$에서의 상미분방정식 시스템을 이끌어낸다.
• 폰트리아긴 최대원리에 의해 $T^*M$에서의 극값 곡선을 서브리만노이안 기하선과 연결하고, 특성 곡선이 기하선이 되는 조건을 규명한다.
• 특성 곡선이 기하선이 되는 데 필요한 조건을 구조 상수 $c_{ij}^k$에 대해 명시적으로 유도하며, $c_{12}^1$, $c_{12}^2$, $c_{32}^1 + c_{31}^2$의 값이 0이 되는지 여부에 따라 경우를 나눈다.

실험 결과

연구 질문

• RQ1 일반적인 계수 1 서브리만노이안 다양체에서 최소 곡면을 크리스털 기하학 같은 전역적 구조에 의존하지 않고 내재적으로 정의할 수 있는가?
• RQ2 캐논컬 부피형식과 수평 법선을 사용한 최소 곡면의 내재적인 PDE는 무엇인가?
• RQ3 헤이센베르크 군에서의 특성점 분류가 모든 $(2,3)$-접촉 서브리만노이안 구조로까지 일반화되는가?
• RQ4 최소 곡면의 특성 곡선이 서브리만노이안 기하선이 되는 조건은 무엇인가?
• RQ5 최소 곡면의 기하학은 확장된 상태공간에서의 상미분방정식 시스템으로 완전히 기술될 수 있는가?

주요 결과

• 내재적인 최소 곡면 방정식 $(d \circ i_\nu \mu)|_W = 0$은 모든 계수 1 서브리만노이안 구조에 대해 좌표에 의존하지 않는 특성으로 유효하다.
• $(2,3)$-접촉 케이스에서 서브리만노이안 최소 곡면은 $M \times S^1$에서의 상미분방정식 시스템의 적분표면이며, $S^1$-좌표는 수평 방향에 해당한다.
• 특성점의 분류—타원형, 포물형, 쌍곡형—은 헤이센베르크 군을 초월하여 모든 일반적인 $(2,3)$-접촉 구조에서 유효하다.
• 특성 곡선이 서브리만노이안 기하선이 되는 것은 구조 상수 $c_{31}^1 \cos 2\phi + \frac{c_{32}^1 + c_{31}^2}{2} \sin 2\phi = 0$을 만족할 때이고, 이 조건을 만족하는 $\phi^*$에 대한 명시적 해가 존재한다.
• 헤이센베르크 군에서는 모든 특성 곡선이 기하선이며, 하나의 특성점과 함께 전체 기하선 평면을 이룬다.
• 로토-트랜슬레이션 군에서는 특성 곡선의 두 가닥만이 기하선이다: $xy$-평면 내 직선과 수직선으로, 이는 $\phi^* = \pi/2, 3\pi/2$에 해당한다.