[논문 리뷰] Lecture notes on differential calculus on RCD spaces

Nicola Gigli|arXiv (Cornell University)|2017. 03. 20.

Geometric Analysis and Curvature Flows참고 문헌 6인용 수 13

한 줄 요약

이 논문은 L²-노름 L∞-모듈의 프레임워크를 사용하여 RCD 공간 위에서 미분적분학을 자그마한 방법으로 소개하며, 이중성 또는 Poincaré 부등식을 요구하지 않고도 강력한 일阶 및 이阶 미분적분학을 수립한다. 주요 기여는 향상된 Bochner 부등식 (0.2)이며, 이는 L²에서 헤시안과 공변미분의 정의를 가능하게 하여 외적 미분의 닫힘성과 RCD 공간에서 de Rham 코homology에 대한 Hodge 정리를 이끌어낸다.

ABSTRACT

These are extended notes of the course given by the author at RIMS, Kyoto, in October 2016. The aim is to give a self-contained overview on the recently developed approach to differential calculus on metric measure spaces. The effort is directed into giving as many ideas as possible, without losing too much time in technical details and utmost generality: for this reason many statements are given under some simplifying assumptions and proofs are sometimes only sketched.

연구 동기 및 목표

• L²-노름 L∞-모듈을 사용하여 일반적인 미터 측도 공간에서 기본적인 일阶 미분적분학을 수립하기.
• 특히 Bochner 부등식을 통해 RCD(K,∞) 공간에서 이阶 구조로 이 미분적분학을 확장하기.
• 모든 k ∈ ℕ에 대해 k-형식에서의 외적 미분이 닫혀 있음을 증명하여 Hodge 정리를 가능하게 하기.
• 접선 모듈과 점별 측도 Gromov-Hausdorff 수렴을 통한 분석적·기하적 차원 개념 간의 연결 고리 만들기.
• N-리치 텐서와 벡터장의 추적 및 발산 조건을 통해 RCD*(K,N) 공간을 특성화하기.

제안 방법

• 이론은 L²-노름 L∞-모듈에 기반하며, 벡터 번들의 L² 절단의 일반화를 추상화한다.
• 코탄젠트 모듈은 1-형식 공간의 쌍대공간으로 정의되며, 시험 계획과 당김을 통한 솔로브 함수의 미분으로 정의된다.
• 접선 모듈은 코탄젠트 모듈의 쌍대공간으로 구성되며, 벡터장과 흐름의 정의를 가능하게 한다.
• 향상된 Bochner 부등식 (0.2)는 약한 형태로 유도되며, L²에서 헤시안과 공변미분의 정의를 가능하게 한다.
• 외적 미분은 하일베르트 모듈의 외적 거듭제곱을 통한 솔로브 k-형식에서 정의되며, 향상된 Bochner 항등식의 적분을 통해 그 닫힘성이 증명된다.
• N-리치 텐서는 리치 곡률에 보정 항 RN을 도입하여 정의되며, RCD*(K,N) 공간의 특성화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 부드러움이나 Poincaré 부등식을 가정하지 않고도 RCD 공간에서 일致한 이阶 미분적분학을 개발할 수 있는가?
• RQ2 RCD 설정에서 k-형식에서의 외적 미분은 닫혀 있는가? 그리고 이는 Hodge 분해를 가능하게 하는가?
• RQ3 분석적·기하적 차원 개념(접선 모듈과 점별 측도 Gromov-Hausdorff 수렴을 통한)은 RCD 공간에서 어떻게 관련되어 있는가?
• RQ4 N-리치 텐서와 헤시안의 추적 조건을 통해 RCD*(K,N) 공간은 어떤 조건으로 특성화되는가?
• RQ5 Hodge 정리와 de Rham 코homology는 비연속적인 미터 측도 공간으로 일반화될 수 있는가?

주요 결과

• 모든 k ∈ ℕ에 대해 솔로브 k-형식 공간에서 외적 미분은 닫혀 있으며, 이는 k=0의 경우를 초월하는 새로운 결과이다.
• 향상된 Bochner 부등식 (0.2)는 ∫|Hess f|_HS² d𝔪 ≤ ∫(Δf)² - K|∇f|² d𝔪를 함의하며, 많은 함수가 L² 헤시안을 가짐을 보장한다.
• 𝔪-거의 모든 x ∈ X에 대해 분석적 국소 차원 dim_loc(x)는 기하학적 접선 차원 n(x)과 일치하며, 분석적·기하학적 차원 개념 간의 연결을 이룬다.
• RCD(0,N) 공간에서 첫 번째 de Rham 코homology의 차원이 N이라면, 공간은 평탄한 N-토러스와 등록된다.
• N-리치 텐서는 세 가지 조건을 통해 RCD*(K,N) 공간를 특성화한다: dim_loc ≤ N, tr(∇X) = div X 거의 모든 곳에서 {dim_loc = N}에서, 그리고 Ric_N(X,X) ≥ K|X|² 𝔪.
• de Rham 코homology에 대한 Hodge 정리는 RCD 공간에서 성립하며, 고전 결과를 비연속적 설정으로 일반화한다.