[논문 리뷰] Constant mean curvature surfaces in sub-Riemannian geometry

Robert K. Hladky, Scott D. Pauls|ArXiv.org|2005. 08. 17.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 13

한 줄 요약

이 논문은 수직으로 강한 서리emann 다양체에서 평균 곡률이 일정한(CMC) 표면을 위한 변분 프레임워크를 개발하며, 적합한 접속을 도입하고 명시적인 오일러-라그랑주 방정식을 유도한다. 최소 표면과 등면적 표면이 특성점 외부에서 수평 평균 곡률이 일정한 조건을 만족함을 증명하고, 새로운 수평 이차 기본형식 $II_0$를 도입하여, 최소 표면은 수평 양의 곡률을 가질 수 없으며, 카르노 군에서는 국소적으로 수평 기하학적 볼록성이 있을 수 없음을 보여준다.

ABSTRACT

We investigate the minimal and isoperimetric surface problems in a large class of sub-Riemannian manifolds, the so-called Vertically Rigid spaces. We construct an adapted connection for such spaces and, using the variational tools of Bryant, Griffiths and Grossman, derive succinct forms of the Euler-Lagrange equations for critical points for the associated variational problems. Using the Euler-Lagrange equations, we show that minimal and isoperimetric surfaces satisfy a constant horizontal mean curvature conditions away from characteristic points. Moreover, we use the formalism to construct a horizontal second fundamental form, $II_0$, for vertically rigid spaces and, as a first application, use $II_0$ to show that minimal surfaces cannot have points of horizontal positive curvature and, that minimal surfaces in Carnot groups cannot be locally horizontally geometrically convex. We note that the convexity condition is distinct from others currently in the literature.

연구 동기 및 목표

• 서리만 기하학에서 헤이센베르크 군과 같은 특정 사례 외에는 일반적인 도구가 부족한 상황을 해결하기 위해.
• 유럽 기하학과 리만 기하학의 변분 방법을 수직으로 강한 공간—카르노 군과 마르티네 타입 공간을 포함하는 광범위한 서리만 다양체 클래스로 확장하기 위해.
• 최소 표면과 등면적 표면을 새로운 기하학적 불변량인 수평 이차 기본형식 $II_0$로 특성화하기 위해.
• 새로운 개념인 수평 기하학적 볼록성(hg-볼록성)을 정의하고, 카르노 군에서 최소 표면이 국소적으로 hg-볼록 집합을 둘러싸지 못함을 증명하기 위해.

제안 방법

• 수직으로 강한 서리만 공간에 맞게 조정된 새로운 접속을 도입하여 일관된 변분 해석학을 가능하게 한다.
• 브라이언트, 그리피스, 그로스만의 변분 프레임워크를 적용하여 면적 및 부피 함수의 임계점을 위한 간결한 오일러-라그랑주 방정식을 도출한다.
• 수평 분포에서 곡률과 볼록성을 분석하기 위한 핵심 기하 대상으로서 수평 이차 기본형식 $II_0$를 정의한다.
• 조정된 접속과 $II_0$를 사용하여 수평 접선 평면 내 곡선의 수평 곡률을 이차 기본형식과 평균 곡률과 연결한다.
• 리만 계량과 좌변 불변 벡터장으로 수평 가속도 $\ddot{c}_0(t)$를 계산하고, 이를 $\langle \nabla_{\dot{c}}\dot{c}, v_0 \rangle$와 연결한다.
• 수평 법선 방향 $e_0$에 대한 $\ddot{c}_0(0)$의 부호를 분석하여 수평 볼록성의 기하학적 기준을 수립한다.

실험 결과

연구 질문

• RQ1 서리만 다양체에서 고정된 부피를 둘러싸는 최소 둘레 또는 최소 둘레 표면이 편미분 방정식을 만족하는가?
• RQ2 서리만 공간에서 최소 및 등면적 문제의 해를 기하학적으로 특성화할 수 있는가?
• RQ3 수평 곡률과 이차 기본형식은 최소 및 CMC 표면의 기하학을 결정하는 데 어떤 역할을 하는가?
• RQ4 새로운 수평 기하학적 볼록성 개념은 카르노 군에서 기존의 볼록성 개념과 어떻게 관련되어 있는가?
• RQ5 조정된 접속과 $II_0$를 사용하여 최소 표면에서 국소 수평 볼록성이 없는 것을 엄밀하게 증명할 수 있는가?

주요 결과

• 수직으로 강한 서리만 다양체에서 최소 표면과 등면적 표면은 특성점 외부에서 일정한 수평 평균 곡률 조건을 만족한다.
• 수평 이차 기본형식 $II_0$는 잘 정의되어 있으며, 수평 분포에서 곡률과 볼록성을 분석하는 기하학적 도구로 기능한다.
• 최소 표면은 수평 양의 곡률을 가질 수 없으며, $II_0$가 양의 준정의일 때 $\ddot{c}_0(0)$의 음이 아닌 성질로 이를 보여준다.
• 카르노 군에서 최소 표면은 국소적으로 수평 기하학적으로 볼록한 집합을 둘러싸지 못한다. 이는 $\ddot{c}_0(0)$의 부호 조건을 통해 증명된다.
• 수평 기하학적 볼록성(hg-볼록성)은 다니엘리, 가로팔로, 니우의 집합 볼록성 개념과 다름을 보이며, 문헌에 있는 다른 볼록성 조건들에 의해 유도되지 않는다.
• 조정된 접속을 사용하여 유클리드 및 리만 기하학 결과를 서리만 기하학으로 일반화함으로써 곡률과 변분 분석을 단순화한다.