[논문 리뷰] Thickness Formula and C^1-Compactness for C^{1,1} Riemannian Submanifolds

Oguz C. Durumeric|arXiv (Cornell University)|2002. 04. 03.

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

한 줄 요약

이 논문은 $C^{1,1}$ 리만 부분다양체에 대한 두께 공식을 수립하며, 정규 비틀림 반경 $i(K,M)$가 기하적 초점 거리와 가장 짧은 이중 임계 지오데식의 반값 중 최소값과 같음을 증명한다. 또한 두께가 0에서 멀리 떨어져 있는 부분다양체에 대해 $C^1$-콤���티드성을 증명하여, 이러한 조건 하에서 유한한 수의 위상형태와 동형형태가 존재함을 보이며, $ olimits\mathbf{R}^n$에서 명시적인 상한을 구성할 수 있음을 보여준다. 이는 이상적인 끈과 난류 고분자 연구를 위한 기초 틀을 제공한다.

ABSTRACT

We prove a formula for the normal injectivity radius(thickness)i(K,M)for C^{1,1} compact submanifolds K^k of complete Riemannian manifolds M^n in terms of geometric focal distance and double critical points. We also prove the C^1 compactness of the set of all compact submanifolds K contained in a compact subset D of a fixed manifold M with i(K,M) bounded away from 0. This is an extrinsic and isometric embeddindg type theorem related to Gromov's compactness theorem. This yields the existence of thickest submanifolds in an isotopy class where K is not necessarily connected.

연구 동기 및 목표

• metric 구를 이용하여 $C^{1,1}$ 부분다양체의 기하적 초점 거리를 정의하고 분석한다.
• 기하적 초점 거리와 이중 임계 지오데식을 바탕으로 정규 비틀림 반경 $i(K,M)$의 공식을 유도한다.
• $C^{1,1}$ 부분다양체의 클래스에 대해 고정된 컴acts 집합 $D\subset M$ 내에서 $i(K,M)\geq c>0$ 를 만족하는 경우 $C^1$-콤팩티드성을 증명한다.
• 특히 $ olimits\mathbf{R}^n$에서 이러한 부분다양체의 위상형태 및 동형형태 수에 대해 구성 가능한 상한을 수립한다.
• 두께 최적화를 통한 이상 끈과 난류 고분자 연구를 위한 이론적 기반을 제공한다.

제안 방법

• 정규로 가로질러 지나지 않는 접촉하는 metric 구의 반경의 하한으로 기하적 초점 거리 $F_g(K)$를 정의한다.
• 양 끝점에서 $K$에 수직인 가장 짧은 지오데식의 길이로 이중 임계 지오데식 길이 $MDC(K)$를 정의한다.
• 정규로 접하는 열린 metric 구 중에서 다른 곳과 교차하지 않는 가장 큰 반경으로 굴림 공 반경 $R_O(K,M)$를 정의한다.
• 정규 지오데식 지도와 $C^{1,1}$ 범주 내의 metric 기하학 분석을 통해 $i(K,M) = \min\{F_g(K), \frac{1}{2}MDC(K)\}$ 를 증명한다.
• 정규 또는 조화 좌표에서 체적 비교와 커버링 추론을 적용하여, $D_\varepsilon$의 최소 커버의 메쉬 크기 $\rho$를 추정하고, 위상형태 수를 제한한다.
• 주변 공간 $ olimits\mathbf{R}^n$을 두께를 1로 정규화하기 위해 스케일링하고, 체적 및 비틀림 반경 추정을 통해 명시적인 상한을 유도한다.

실험 결과

연구 질문

• RQ1 완전한 리만 다양체 $M$ 내의 $C^{1,1}$ 부분다양체 $K$에 대해 정규 비틀림 반경 $i(K,M)$의 정확한 공식은 무엇인가?
• RQ2 기하적 초점 거리는 $C^{1,1}$ 설정에서 두께와 이중 임계 지오데식과 어떻게 관련이 있는가?
• RQ3 고정된 컴팩트 집합 $D\subset M$ 내에 있고 두께가 $c>0$ 이상인 $C^{1,1}$ 부분다양체의 집합은 $C^1$-콤팩트한가?
• RQ4 이러한 부분다양체의 위상형태 및 동형형태 수는 다양체 $M$의 기하적 불변량에 대해 균일하게 유계가 될 수 있는가?
• RQ5 특히 $ olimits\mathbf{R}^n$에서 이러한 형태의 수에 대해 명시적인 상한은 무엇인가?

주요 결과

• 완전한 리만 다양체 $M$ 내의 임의의 컴팩트한 $C^{1,1}$ 부분다양체 $K$에 대해 정규 비틀림 반경은 $i(K,M) = \min\{F_g(K), \frac{1}{2}MDC(K)\}$ 를 만족한다.
• $i(K,M)\geq \varepsilon>0$ 를 만족하는 $C^{1,1}$ 부분다양체 $K\subset D\subset M$의 집합은 $C^1$-콤팩트하며, 이는 $C^1$ 위상에서 수열 수렴을 보장한다.
• 이러한 부분다양체의 위상형태 및 동형형태 수는 $2^{\Lambda_0}$ 이하이며, 여기서 $\Lambda_0 \leq \left(\frac{4R}{\rho}\right)^n$ 이고, 스케일링 이후 $R = r/\varepsilon$ 이다.
• $\mathbf{R}^n$에서 이러한 형태의 수는 $2^{(16R/i_0)^n}$ 이하로 유계이며, $k=1$일 경우 $i_0 \geq \pi$ 이고, $k\geq 2$일 경우 $i_0 \geq e^{-\frac{n}{2}(8R)^n}$ 이다. 이는 체적 및 곡률 유계에 따라 달라진다.
• $k=1$ (곡선)의 경우 $\rho = \frac{1}{8}$ 이고, $k\geq 2$의 경우 $\rho = \frac{i_0}{4}$ 이며, $i_0$ 는 체적과 비틀림 반경에 대한 함수로 아래에서 유계이다.
• 이 상한들은 체적 추정과 곡률 제어된 커버링 수에 기반하며, $\varepsilon$, $n$, $k$, 그리고 $D_\varepsilon$의 내재 기하학에 따라 의존한다.