[논문 리뷰] The space of spaces: curvature bounds and gradient flows on the space of metric measure spaces

Karl‐Theodor Sturm|arXiv (Cornell University)|2012. 08. 02.

Advanced Differential Geometry Research인용 수 10

한 줄 요약

이 논문은 $L^{2,q}$-왜곡 거리로 장비된 메트릭 측도 공간의 공간이 비음성의 아르케메드로프 곡률을 갖는다는 것을 입증하며, 최적의 쌍대성에 의해 지오데식을 완전히 특성화하고 이 공간의 완비화 위에서 그라디언트 플로우 이론을 가능하게 한다. 주요 기여는 무한차원 메트릭 측도 구조 공간에서 곡률과 역학을 연구하기 위한 완전한 기하학적 및 분석적 프레임워크를 제공하는 것이다.

ABSTRACT

Equipped with the L^2-distortion distance, the space "X" of all metric measure spaces (X,d,m) is proven to have nonnegative curvature in the sense of Alexandrov. Geodesics and tangent spaces are characterized in detail. Moreover, classes of semiconvex functionals and their gradient flows on "X" are presented.

연구 동기 및 목표

• 메트릭 측도 공간의 공간에 $L^{2,q}$-왜곡 거리를 사용하여 기하학적 구조를 수립하기.
• 이 공간이 아르케메드로프의 의미에서 음이 아닌 곡률을 갖는다는 것을 증명하여 메트릭 기하학 도구의 사용을 가능하게 하기.
• 메트릭 측도 공간의 공간의 완비화에서 지오데식과 탄성 원뿔을 특성화하기.
• 이 무한차원 공간에서 준볼록 함수에 대한 그라디언트 플로우 이론을 개발하기.
• 이 공간을 등거리로 더 큰 가우지드 측도 공간의 공간에 매장하여 그의 탄성 구조를 분석하기.

제안 방법

• L^{2,q}$-왜곡 거리는 측도의 쌍대성에 대한 최소값으로 정의되며, 쌍의 점들 사이의 거리의 $L^p$-차이를 거리의 $q$-제곱에 대해 측정한다.
• \mathbb{X}_{2q}$에서의 지오데식은 제품 공간에서 쌍대성 측도를 사용하여 $((1-t)\,{\sf{d}}_0^q + t\,{\sf{d}}_1^q)^{1/q}$로 명시적으로 구성된다.
• 완비화 $\bar{\mathbb{X}}_{2q}$는 거의 어디서나 삼각부등식을 만족하는 의사메트릭 측도 공간의 공간으로 식별된다.
• L^2_s(I^2,\mathfrak{L}^2)/\operatorname{Inv}(I,\mathfrak{L})$의 몫공간으로의 등거리 매장은 탄성 원뿔과 지수 매핑의 분석을 가능하게 한다.
• 에너지 소산 부등식을 통한 그라디언트 플로우 정의 및 탄성 원뿔의 구조를 이용한 특성화.
• 회전 대칭 측도에 이 이론을 적용하여, 최적의 쌍대성이 회전에 대해 유일하고, 단조 재배열의 라디얼 분포 함수를 통한 명시적 구성이 가능함을 보였다.

실험 결과

연구 질문

• RQ1 메트릭 측도 공간의 공간이 $L^{2,q}$-왜곡 거리로 장비되었을 때, 아르케메드로프 의미에서 음이 아닌 곡률을 갖는가?
• RQ2 이 공간의 지오데식은 최적의 쌍대성에 의해 명시적으로 특성화되고 매개변수화될 수 있는가?
• RQ3 완비화된 공간의 각 점에서 탄성 원뿔과 지수 매핑의 구조는 어떠한가?
• RQ4 준볼록 함수는 어떻게 행동하며, 그들의 그라디언트 플로우의 성질은 무엇인가?
• RQ5 이 공간은 해밀턴 유사 구조로 등거리 매장될 수 있으며, 이는 무한차원 메트릭 측도 공간에서의 미적분학을 가능하게 하는가?

주요 결과

• 공간 ",(\mathbb{X}_{2q}, \Delta\!\!\!\Delta_{2,q})$는 삼각형 및 사각형 비교를 통한 검증을 통해 아르케메드로프 의미에서 음이 아닌 곡률을 갖는다.
• 모든 $\Delta\!\!\!\Delta_{2,q}$-지오데식은 최적의 쌍대성 $\bar{\mathfrak{m}}$으로부터 $X_0 \times X_1$에서 $((1-t)\,{\sf{d}}_0^q + t\,{\sf{d}}_1^q)^{1/q}$로 유도된다.
• 모든 $p \in (1,\infty)$에 대해 $\mathbb{X}_{pq}$의 지오데식은 이 형태를 갖는다. 이는 완전한 특성화를 확립한다.
• 완비화 $\bar{\mathbb{X}}_{2q}$는 메트릭가 거의 어디서나 삼각부등식을 만족하는 의사메트릭 측도 공간의 공간이다.
• $\bar{\mathbb{X}}_{2q}$는 완비, 지오데식, 음이 아닌 곡률을 갖는 메트릭 공간이며, 탄성 원뿔과 그라디언트 플로우 이론을 완전히 지원한다.
• 회전 대칭 측도에 대해 최적의 쌍대성은 회전에 대해 유일하며, 운반 매핑은 단조 재배열의 라디얼 분포 함수를 통해 구성된다.