[논문 리뷰] The Metric Geometry of the Manifold of Riemannian Metrics over a Closed Manifold

Brian Clarke|arXiv (Cornell University)|2009. 04. 01.

Geometric Analysis and Curvature Flows참고 문헌 11인용 수 7

한 줄 요약

이 논문은 닫힌 다중체 위의 매끄러운 리만계량의 프레셰 다중체 위의 $L^2$ 리만계량이 진정한 거리공간의 구조를 유도함을 증명한다. 이는 약한 리만계량이 사전에 준위거리함수( pseudometric )만을 유도할 수 있다는 비자명한 문제를 해결한다. 핵심 결과는 점별 기하학과 체적 제어를 통해 경로 길이를 유계화하여 거리 함수의 정의역을 증명함으로써, 서로 다른 계량이 유도하는 거리에서 분리됨을 보장한다.

ABSTRACT

We prove that the L^2 Riemannian metric on the manifold of all smooth Riemannian metrics on a fixed closed, finite-dimensional manifold induces a metric space structure. As the L^2 metric is a weak Riemannian metric, this fact does not follow from general results. In addition, we prove several results on the exponential mapping and distance function of a weak Riemannian metric on a Hilbert/Frechet manifold. The statements are analogous to, but weaker than, what is known in the case of a Riemannian metric on a finite-dimensional manifold or a strong Riemannian metric on a Hilbert manifold.

연구 동기 및 목표

• 닫힌 다중체 위의 매끄러운 리만계량의 다중체 위의 $L^2$ 리만계량이 약한 리만계량임에도 불구하고 진정한 거리공간의 구조를 유도함을 확립하는 것.
• 약한 리만계량이 서로 다른 점 사이에 거리가 0인 준위거리함수를 유도할 수 있다는 문제를 해결함으로써, 이는 이전에 다른 무한차원 설정에서 관찰된 바 있다.
• 기하학적 및 해석적 추정을 사용하여, 리만계량의 다중체 위의 $L^2$ 계량에 대한 거리 함수의 정의역을 직접 증명하는 것.
• 테이히뮐러 공간과 일반화된 베일-피터슨 계량의 향후 연구를 위한 기초 거리기하학을 제공하기 위해, 거리공간 $(\mathcal{M}, d)$의 완비화를 수행하는 것.

제안 방법

• 대칭 2텐서의 점별 내적의 적분을 통해 프레셰 다중체 $\mathcal{M}$ 위의 $L^2$ 리만계량을 정의한다.
• 횔더 부등식과 체적 제어를 사용하여, 경로를 따라의 접선 벡터의 $L^2$ 노름을, 섬유 다중체 $\mathcal{M}_x$ 위의 점별 거리 $\theta^g_x$ 를 포함하는 양으로 아래에서 유계화한다.
• 경로 길이와 初기 체적을 사용하여, 임의의 매끄러운 경로 $g_t$ 에서의 체적 $\mathop{\mathrm{Vol}}(M, g_t)$ 에 대한 균일한 상한을 확립함으로써, 측도의 $t$-의존성을 제어한다.
• 측도 $\mu_g$ 를 고정한 배경으로 계량을 표현함으로써, 경로 길이 계산에서 적분 순서를 뒤집는다. 이를 통해 점별 거리 $\theta^g_x$ 와의 비교를 가능하게 한다.
• 섬유 $\mathcal{M}_x$ 내의 경로 길이의 하한을 취하는 점별 거리 $\theta^g_x(g_0(x), g_1(x))$ 의 정의를 적용하여 총 경로 길이의 하한을 구한다.
• 체적 유계화와 점별 길이 추정을 결합하여 $L(g_t) \geq \frac{1}{V} \Theta_M(g_0, g_1)$ 를 도출한다. 여기서 $V$ 는 균일한 체적 유계이고, $\Theta_M$ 은 총 점별 거리이며, 이는 $g_0 \neq g_1$ 일 때 $d(g_0, g_1) > 0$ 을 증명한다.

실험 결과

연구 질문

• RQ1 약한 리만계량임에도 불구하고, 닫힌 다중체 위의 리만계량의 다중체 위의 $L^2$ 리만계량이 진정한 거리공간의 구조를 유도할 수 있는가?
• RQ2 이 무한차원 설정에서 서로 다른 계량 사이의 거리 함수가 0이 되지 않도록 하는 기하학적 및 해석적 조건은 무엇인가?
• RQ3 점별 기하학과 체적 제어를 사용하여 $L^2$ 계량에서의 경로 길이를 아래에서 유계화할 수 있는가?
• RQ4 다른 약한 리만다중체에서 관찰되는 병리적 현상(예: 서로 다른 점 사이에 거리가 0)을 방지하는 데 $L^2$ 계량의 비양의 섹션 곡률이 얼마나 기여하는가?
• RQ5 총 점별 거리 $\Theta_M(g_0, g_1)$ 는 전역 거리 $d(g_0, g_1)$ 를 제어하는 데 어떤 역할을 하는가?

주요 결과

• 닫힌 다중체 위의 매끄러운 리만계량의 다중체 $\mathcal{M}$ 위의 $L^2$ 계량은 거리 함수의 정의역이 성립하므로 진정한 거리공간의 구조를 유도한다.
• 증명은 경로 길이가 $\frac{1}{V} \Theta_M(g_0, g_1)$ 로 아래에서 유계화됨을 보여, 모든 서로 다른 $g_0, g_1 \in \mathcal{M}$ 에 대해 $d(g_0, g_1) > 0$ 이 됨을 보여준다. 여기서 $V$ 는 균일한 체적 유계이다.
• 모든 경로에 대해 $\sqrt{\mathop{\mathrm{Vol}}(M, g_t)} \leq \sqrt{\mathop{\mathrm{Vol}}(M, g_0)} + \frac{\sqrt{n}}{2} d(g_0, g_1)$ 를 유도하여, 체적의 측도 왜곡을 제어한다.
• 적분 순서를 뒤집고 점별 거리 추정을 사용함으로써, 핵심 부등식 $L(g_t) \geq \frac{1}{V} \int_M \theta^g_x(g_0(x), g_1(x)) \, d\mu_g$ 를 확립한다.
• $L^2$ 계량의 비양의 섹션 곡률은 거리 함수가 0이 되지 않는 주요 이유로 규명되었으며, 이는 밀러와 머피의 예시와 대조된다. 그들의 경우 곡률의 폭발이 서로 다른 점 사이에 거리가 0이 되게 한다.
• 결과적으로 $L^2$ 계량은 다른 약한 리만다중체에서 관찰되는 병리적 현상(예: 무한대에 이르는 곡률, 서로 다른 점 사이에 거리가 0)을 피함을 확인한다.