[논문 리뷰] Behaviour of the reference measure on $\sf RCD$ spaces under charts

Nicola Gigli, Enrico Pasqualetto|arXiv (Cornell University)|2016. 07. 18.

Point processes and geometric inequalities참고 문헌 13인용 수 25

한 줄 요약

이 논문은 몬디노와 나베가 구성한 biLipschitz 차트에 의한 유한차원 RCD 공간 위의 기준 측도의 푸시포워드가 르베그 측도에 대해 절대연속적임을 증명한다. 최근 데 피리플리스와 린들러가 제시한 정규 커텐스와 측도값 발산에 관한 결과를 활용하여, 저자들은 좌표 차트의 기준 측도에 대한 풀백이 국소적으로 절대연속적임을 확립함으로써, 메트릭 측도 기하학에서 핵심적인 구조적 질문을 해결하고, 추상적 접선(bundle)과 지점별 측도가 있는 그로모프-하우스도르프 접선공간 간의 동치성을 가능하게 한다.

ABSTRACT

Mondino and Naber recently proved that finite dimensional $\sf RCD$ spaces are rectifiable. Here we show that the push-forward of the reference measure under the charts built by them is absolutely continuous with respect to the Lebesgue measure. This result, read in conjunction with another recent work of us, has relevant implications on the structure of tangent spaces to $\sf RCD$ spaces. A key tool that we use is a recent paper by De Philippis-Rindler about the structure of measures on the Euclidean space.

연구 동기 및 목표

• 몬디노와 나베가 구성한 biLipschitz 차트에 의한 RCD 공간 위의 기준 측도의 거동을 규명하는 것.
• 이러한 차트에 의한 기준 측도의 푸시포워드가 르베그 측도에 대해 절대연속적임을 보여줌으로써 문헌의 격차를 메우는 것.
• Sobolev 함수를 통한 추상적 접선(bundle)과 RCD 공간에서의 지점별 측도가 있는 그로모프-하우스도르프 근접한 접선공간 간의 구조적 연결 고리를 확립하는 것.
• 리치 곡률이 아래로 유계인 특이 공간으로 접선공간 이론의 적용 범위를 리치-한계 공간의 영역을 초월하여 확장하는 것.
• 측도론적 및 기하학적 분석 기법을 사용하여 비가속도 메트릭 측도 공간에서 접선 구조를 연구하는 데 기초적인 도구를 제공하는 것.

제안 방법

• 데 피리플리스와 린들러가 최근 제시한 정규 커텐스와 르베그 측도에 대한 측도의 절대연속성에 관한 결과를 활용한다.
• 차트 사상의 미분이 거리 함수의 기울기를 유클리드 공간 상의 측도값 발산을 갖는 벡터장으로 보낸다는 사실을 이용한다.
• 가중 유클리드 공간 상의 측도값 발산과 벡터장 이론을 적용하여, 푸시포워드 측도가 국소적으로 절대연속적임을 보인다.
• 거리 함수의 비가속도를 다루기 위해 커프오프 및 근사화 절차를 사용하여, 벡터장이 발산 연산자의 정의역에 있도록 보장한다.
• biLipschitz 상수와 차원 유계성에 관한 기하학적 추정을 통해 차트의 이미지에서 푸시포워드된 벡터장들의 선형독립성을 확립한다.
• 데 피리플리스-린들러의 정리 1.1을 적용하여, 독립성과 측도값 발산 조건을 검증함으로써 푸시포워드 측도의 절대연속성을 결론짓는다.

실험 결과

연구 질문

• RQ1 RCD 공간 위의 기준 측도가 몬디노-나베 차트에 의해 푸시포워드된 결과가 르베그 측도에 대해 절대연속적인가?
• RQ2 체거-콜딩의 접근 방식에서처럼 조화 근사화에 의존하지 않고, 차트 하에서 기준 측도의 절대연속성을 확립할 수 있는가?
• RQ3 정규 커텐스 이론을 통해 측도와 벡터장에 대한 어떤 구조적 조건이 절대연속성을 보장하는가?
• RQ4 거리 함수의 측도값 라플라스 연산자가 푸시포워드 측도의 절대연속성에 어떻게 기여하는가?
• RQ5 Sobolev 함수를 통한 추상적 접선(bundle) 구성 방식이 RCD 공간에서 기하학적 접선공간과 얼마나 일치하는가?

주요 결과

• 몬디노-나베 분해에서 각 차트에 의한 기준 측도의 푸시포워드는 해당 유클리드 공간 상에서 르베그 측도에 대해 절대연속적이다.
• 조화 근사화에 의존하지 않고, 거리 함수를 좌표로 사용하는 차트에 대해서도 결과가 성립한다. 이는 체거-콜딩의 접근 방식과는 달리, 보다 일반적인 조건에서 성립한다.
• 정규 커텐스 이론에 기반한 데 피리플리스-린들러 정리에 의해 절대연속성이 확립되며, 이는 차트의 미분으로 유도된 벡터장의 측도값 발산을 이용한다.
• 핵심 기하학적 입력은 biLipschitz 조건이 성립하는 영역에서 거리 함수의 기울기들의 선형독립성으로, 이는 biLipschitz 상수의 크기가 차원에 비해 작을 경우 보장된다.
• 커프오프 함수와 근사화를 사용한 극한 추론에 의존하여, 타겟 공간의 벡터장이 발산 연산자의 정의역에 있고 거의 전부의 곳에서 서로 독립적인 방향을 갖도록 보장한다.
• 결과적으로 RCD 공간 위의 기준 측도가 자연스러운 차트 하에서 가중 체적 측도처럼 행동함을 확인하였으며, 이는 추상적 접선(bundle)을 지점별 측도가 있는 그로모프-하우스도르프 접선공간과 동치로 간주할 수 있음을 보여준다.