[논문 리뷰] Normal forms and invariants for 2-dimensional almost-Riemannian structures

Ugo Boscain, G. Charlot외 1명|arXiv (Cornell University)|2010. 08. 30.

Analytic and geometric function theory참고 문헌 31인용 수 45

한 줄 요약

이 논문은 2차원 거의 리만 기하구조의 세 가지 일반적인 점 유형인 리만점, 그루시안점, 접점에서 완전하고 표준화된 정규형 및 함수적 불변량을 수립한다. 분포에 횡단하는 매끄럽고 유일하게 매개변수화된 곡선(곡률 등고선, 정상점, 곡선, 또는 특이점 집합)을 구성함으로써, 좌표나 기저에 종속되지 않는 완전히 단순화된 정규형을 달성하며, 국소 등장사상의 동치류를 유일하게 결정한다. 이는 오랫동안 해결되지 않았던 좌표 및 기저에 독립적인 완전한 불변량을 찾는 문제를 해결한다.

ABSTRACT

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, there are three types of points: Riemannian points where the two vector fields are linearly independent, Grushin points where the two vector fields are collinear but their Lie bracket is not, and tangency points where the two vector fields and their Lie bracket are collinear and the missing direction is obtained with one more bracket. In this paper we consider the problem of finding normal forms and functional invariants at each type of point. We also require that functional invariants are "complete" in the sense that they permit to recognize locally isometric structures. The problem happens to be equivalent to the one of finding a smooth canonical parameterized curve passing through the point and being transversal to the distribution. For Riemannian points such that the gradient of the Gaussian curvature $K$ is different from zero, we use the level set of $K$ as support of the parameterized curve. For Riemannian points such that the gradient of the curvature vanishes (and under additional generic conditions), we use a curve which is found by looking for crests and valleys of the curvature. For Grushin points we use the set where the vector fields are parallel. Tangency points are the most complicated to deal with. The cut locus from the tangency point is not a good candidate as canonical parameterized curve since it is known to be non-smooth. Thus, we analyse the cut locus from the singular set and we prove that it is not smooth either. A good candidate appears to be a curve which is found by looking for crests and valleys of the Gaussian curvature. We prove that the support of such a curve is uniquely determined and has a canonical parametrization.

연구 동기 및 목표

• 국소 좌표나 기저 선택에 종속되지 않는 2차원 거의 리만 기하구조(2-ARS)에 대한 완전하고 표준화된 정규형을 찾는 문제를 해결하기 위해.
• 기하구조 자체에 내재되어 있으며 국소 등장사상하는 2-ARS를 분류하는 데 충분한 기능적 불변량을 식별하기 위해.
• 각 점 유형에서 정규형의 기초가 되는 매끄럽고 유일하게 매개변수화된 곡선을 구성하여 등장사상에 대해 불변성을 보장하기 위해.
• 표준 후보(예: 컷 로지스터)가 비가속성으로 실패하는 가장 복잡한 경우인 접점에 대한 정규형 이론을 확장하기 위해.
• 모든 점 유형에서 곡률 기반 특징(정상점, 곡선)을 통합하여 표준화된 매개변수화를 정의하기 위해.

제안 방법

• 곡률 기울기가 0이 아닌 리만점의 경우, 가우스 곡률 K의 등고선을 표준 곡선 기초로 사용한다.
• 곡률 기울기가 0인 리만점의 경우, 곡률 함수의 정상점과 곡선을 식별하여 곡선을 구성한다.
• 그루시안점의 경우, 두 벡터장이 평행해지는 집합을 표준 곡선 기초로 사용한다.
• 접점의 경우, 곡률 정상점과 곡선에서 유도된 표준 곡선을 구성하며, 이는 고유하게 결정되고 매끄럽게 매개변수화됨을 증명한다.
• 기저 성분의 두 번째 도함수에 대한 정규화 조건을 통해 매개변수화를 고정함으로써, 방향성 외에 고유성을 확보한다.
• 선택된 곡선에 따라 의존하는 절차를 통해 표준 orthonormal 기저를 구성하며, 이는 성분이 기능적 불변량인 정규형을 도출한다.

실험 결과

연구 질문

• RQ1 어떻게 국소 좌표나 기저 선택에 종속되지 않는 완전히 단순화된 정규형을 2-ARS에 대해 구성할 수 있는가?
• RQ2 리만점, 그루시안점, 접점의 세 가지 일반적인 점 유형 각각에서 정규형의 기초가 되는 표준 곡선은 무엇인가?
• RQ3 표준 후보(예: 컷 로지스터)가 접점에 부적절한 이유는 무엇이며, 어떤 대체 곡선의 구조가 매끄럽고 고유성을 보장하는가?
• RQ4 어떻게 곡률 기반 특징(정상점과 곡선)을 사용하여 접점에서 표준화된 매개변수화를 정의할 수 있는가?
• RQ5 결과 정규형 성분이 국소 등장사상하는 2-ARS를 구별하는 데 충분한 완전한 불변량이 되기 위한 조건은 무엇인가?

주요 결과

• 접점에서 곡률 정상점과 곡선을 사용하여 매끄럽고 방향성 외에 고유하게 결정되는 표준 곡선이 구성되었으며, 이를 증명하였다.
• 접점에서의 정규형은 완전히 단순화되어 있으며, orthonormal 기저와 좌표가 기하구조에 의해 고유하게 결정되며, 기저 성분의 두 번째 도함수를 ±2로 정규화하였다.
• 곡률 기울기가 0이 아닌 리만점의 경우, K의 등고선이 표준 곡선이 되며, 이는 K와 그 도함수에만 의존하는 정규형을 도출한다.
• 곡률 기울기가 0인 리만점의 경우, 곡률의 극값선을 기반으로 한 표준 곡선이 유도되어 불변성과 완전성을 보장한다.
• 기능적 불변량(표준 좌표에서의 orthonormal 기저 성분)은 완전하다: 두 2-ARS가 국소 등장사상하는 것은 그 불변량이 일치할 때이고 그 때에만 성립한다.
• 접점에서 컷 로지스터의 비가속성 문제를 해결하기 위해, 특이점에서의 컷 로지스터 역시 비가속성임을 보여주어, 곡률 기반 곡선이 더 우월한 후보임을 정당화하였다.