[논문 리뷰] Metrics on Spaces of Surfaces where Horizontality equals Normality

Martin Bauer, Philipp Harms|arXiv (Cornell University)|2014. 03. 06.

Morphological variations and asymmetry참고 문헌 28인용 수 4

한 줄 요약

이 논문은 매장 공간의 기하학적 구조와 관련하여 수평 분해와 정규 분해가 일치하는, 매장 공간의 임베딩 공간에서의 재매arameter화 불변 Sobolev 유형 거리계를 특성화한다. 이러한 거리계를 식별함으로써, 형태 공간에서 지오데식 계산을 단순화하고, 평면 곡선의 경우, 높은 수준의 거리계 정규성은 메트릭 완비화에서 곡선의 스무스함을 제어함을 보여준다.

ABSTRACT

In this article, we study metrics on shape space of surfaces that have a particularly simple horizontal bundle. More specifically, we consider reparametrization invariant Sobolev type metrics $G$ on the space $\operatorname{Imm}(M,N)$ of immersions of a compact manifold $M$ in a Riemannian manifold $(N,\overline{g})$. The tangent space $T_f\operatorname{Imm}(M,N)$ at each immersion $f$ has two natural splittings: one into components that are tangential/normal to the surface $f$ (with respect to $\overline{g}$) and another one into vertical/horizontal components (with respect to the projection onto the shape space $B_i(M,N)=\operatorname{Imm}(M,N)/\operatorname{Diff}(M)$ of unparametrized immersions and with respect to the metric $G$). The first splitting can be easily calculated numerically, while the second splitting is important because it mirrors the geometry of shape space and geodesics thereon. Motivated by facilitating the numerical calculation of geodesics on shape space, we characterise all metrics $G$ such that the two splittings coincide. In the special case of planar curves, we show that the regularity of curves in the metric completion can be controlled by choosing a strong enough metric within this class.

연구 동기 및 목표

• 재매arameter화 불변 Sobolev 유형 거리계 $G$를 특정하여, 형태 공간의 몫 사상에 대한 수평 분해와 임베딩의 정규 분해가 일치하는 경우를 규명한다.
• 수평 분해와 정규 분해가 일치함에 따라 형태 공간에서 지오데식의 수치적 계산을 단순화한다.
• 이러한 거리계 하에서 평면 곡선의 경우, 형태 공간의 메트릭 완비화에서 곡선의 정규성에 대해 분석한다.
• 형태 공간의 내재 기하학적 구조와 외부 Riemannian 기하학을 일치시키는 기하학적 프레임워크를 제공한다.

제안 방법

• 연구는 컴act 다각형 $M$이 Riemannian 다각형 $(N,\overline{g})$에 임베딩되는 공간인 $\operatorname{Imm}(M,N)$을 기초 구성 공간으로 사용한다.
• 벡터장의 내적을 통해 정의된, 재매arameter화 불변 Sobolev 유형 거리계 $G$를 고려한다.
• 각 임베딩 $f$에서의 접공간은 $f$의 이미지에 따라 탄성/정규로, 그리고 형태 공간 몫 $\operatorname{Imm}(M,N)/\operatorname{Diff}(M)$에 대한 수직/수평으로 분해된다.
• 핵심 조건은 거리계 $G$에 의해 유도된 수평 분포가 $N$에서 $f$의 정규 벡터다발과 일치하는 것이다. 이는 기하학적 구조를 단순화한다.
• 평면 곡선의 경우, 메트릭 완비화를 분석하고, Sobolev 정규성의 증가가 완비화된 곡선의 정규성에 영향을 미침을 보여준다.

실험 결과

연구 질문

• RQ1 매장 공간에서의 재매arameter화 불변 Sobolev 유형 거리계 중, 형태 공간 몫에 대한 수평 분해와 외부 다각형 내의 매장 표면의 정규 분해가 일치하는 것은 무엇인가?
• RQ2 수평 분해와 정규 분해가 일치할 경우, 형태 공간에서 지오데식 계산은 어떻게 단순화되는가?
• RQ3 거리계 $G$의 정규성과 평면 임베딩에서 형태 공간의 메트릭 완비화에 포함된 곡선의 정규성 사이의 관계는 무엇인가?
• RQ4 수평 방향과 정규 방향이 일치하는 거리계를 선택함으로써, 형태 공간의 기하학적 구조를 단순화할 수 있는가?

주요 결과

• 논문은 형태 공간 몫에 대한 수평 다발이 매장된 표면의 외부 다각형 내 정규 다발과 일치하는 모든 재매arameter화 불변 Sobolev 유형 거리계 $G$를 완전히 특성화한다.
• 이러한 거리계에서는 각 임베딩에서의 수평 분해와 정규 분해가 정확히 일치하므로 기하학적 및 계산적 구조가 크게 단순화된다.
• 평면 곡선의 경우, 형태 공간의 메트릭 완비화에는 거리계의 Sobolev 차수에 의해 결정된 정규성의 곡선들만 포함되며, 고차수 거리계는 더 스무스한 곡선을 유도한다.
• 수평 성분과 정규 성분이 일치함에 따라, 형태 공간에서의 지오데식 수치 계산이 더 효율적으로 수행될 수 있으며, 이는 수평 투영이 정규 투영으로 단순화되기 때문이다.