[논문 리뷰] Holonomic Spaces

Pedro Solórzano|arXiv (Cornell University)|2010. 04. 09.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 4

한 줄 요약

이 논문은 등장하는 등급이 있는 노름 벡터 공간과 볼록 군 노름을 갖춘 등급 이sov메트리의 부분군을 지닌, 유클리드 공과 국소적으로 등거리인 거리 구조를 만드는 데 사용할 수 있는 거리 구조를 정의하기 위해 '홀로노믹 공간'을 도입한다. 리만다이언 군의 군의 군의 반경이 양수임을 증명하고, 그 틀을 사용하여 그로모프-하우스도르프 수렴을 연구한다.

ABSTRACT

A holonomic space $(V,H,L)$ is a normed vector space, $V$, a subgroup, $H$, of $Aut(V, \|\cdot\|)$ and a group-norm, $L$, with a convexity property. We prove that with the metric $d_L(u,v)=\inf_{a\in H}\{\sqrt{L^2(a)+\|u-av\|^2}\}$, $V$ is a metric space which is locally isometric to a Euclidean ball. Given a Sasaki-type metric on a vector bundle $E$ over a Riemannian manifold, we prove that the triplet $(E_p,Hol_p,L_p)$ is a holonomic space, where $Hol_p$ is the holonomy group and $L_p$ is the length norm defined within. The topology on $Hol_p$ given by the $L_p$ is finer than the subspace topology while still preserving many desirable properties. Using these notions, we introduce the notion of holonomy radius for a Riemannian manifold and prove it is positive. These results are applicable to the Gromov-Hausdorff convergence of Riemannian manifolds.

연구 동기 및 목표

• 등급 이sov메트리의 군과 노름 벡터 공간 내의 군 노름을 통합하는 기하학적 구조—홀로노믹 공간—을 형식화하기.
• 국소적으로 유클리드 기하 구조를 유도하는 거리 구조를 정의함으로써 군의 군의 기하학적 분석을 가능하게 하기.
• 새로운 거리 구조 틀을 사용하여 리만다이언 군의 군의 반경이 양수임을 증명하기.
• 이 틀을 리만다이언 군의 그로모프-하우스도르프 수렴 연구에 적용하기.
• 군의 군에 대한 $L_p$-유도 위상이 부분위상보다 더 빠르지만 핵심 기하 성질을 유지함을 보여주기.

제안 방법

• 노름 벡터 공간 $V$, $V$의 등급 이sov메트리의 부분군 $H$, 그리고 볼록 군 노름 $L$으로 구성된 홀로노믹 공간 $(V, H, L)$을 정의하기.
• 벡터 공간 위의 거리 $d_L(u,v) = \inf_{a \in H} \left\{ \sqrt{L^2(a) + \|u - a v\|^2} \right\}$ 를 구성하기.
• 이 거리가 $H$의 국소적 구조와 $L$의 볼록성 덕분에 $V$가 유클리드 공과 국소적으로 등거리임을 증명하기.
• 사사타 유형 거리 구조를 갖춘 벡터 번들의 경우에 이 틀을 적용하여 $(E_p, \text{Hol}_p, L_p)$ 가 홀로노믹 공간을 이룬다는 것을 보여주기.
• 군의 군 $\text{Hol}_p$ 위에 길이 노름 $L_p$ 를 정의하고, 유도된 위상이 부분위상보다 더 빠르다는 것을 보여주기.
• 거리 구조를 이용하여 리만다이언 군의 군의 반경을 정의하고, 그 양수성을 증명하기.

실험 결과

연구 질문

• RQ1 등급 이sov메트리의 군과 군 노름을 갖춘 노름 벡터 공간 위에, 국소적으로 유클리드 기하 구조를 갖는 거리 구조를 정의할 수 있는가?
• RQ2 벡터 번들의 맥락에서 군의 군에 대한 $L_p$-유도 위상은 부분위상과 어떻게 비교되는가?
• RQ3 리만기하학에서 홀로노믹 공간 구조로부터 유도할 수 있는 기하 불변량은 무엇인가?
• RQ4 제안된 거리 구조 틀 하에서 리만다이언 군의 군의 반경은 여전히 양수인가?
• RQ5 이 틀은 리만다이언 군의 그로모프-하우스도르프 수렴에 얼마나 광범위하게 적용될 수 있는가?

주요 결과

• 거리 $d_L(u,v) = \inf_{a \in H} \left\{ \sqrt{L^2(a) + \|u - a v\|^2} \right\}$ 는 벡터 공간 $V$ 에 대해 유클리드 공과 국소적으로 등거리인 기하 구조를 부여한다.
• 사사타 유형 거리 구조를 갖춘 벡터 번들에 대해서는 $(E_p, \text{Hol}_p, L_p)$ 가 홀로노믹 공간을 이룬다. 여기서 $\text{Hol}_p$ 는 군의 군이고, $L_p$ 는 길이 노름이다.
• $L_p$ 가 유도하는 군의 군 $\text{Hol}_p$ 위상은 부분위상보다 엄격히 더 빠르지만 핵심 기하 성질을 유지한다.
• 홀로노믹 공간 틀을 사용하여 리만다이언 군의 군의 반경이 양수임을 증명하였다.
• 이 틀은 군의 군의 기하 제약 조건을 통합함으로써 그로모프-하우스도르프 수렴 연구를 위한 새로운 분석 도구를 제공한다.
• 군 노름 $L$ 의 볼록성은 거리 $d_L$ 가 잘 정의된 거리 함수에 필요한 기하 공리계를 만족함을 보장한다.