[논문 리뷰] Classifying Poincaré Inequalities and the local geometry of RNP-Differentiability Spaces

Sylvester Eriksson‐Bique|arXiv (Cornell University)|2016. 07. 25.

Geometric Analysis and Curvature Flows참고 문헌 24인용 수 3

한 줄 요약

이 논문은 RNP-리프시츠 미분 가능 공간을 정확히 그들이 국소 (1,p)-포인카레 부등식을 만족하는 공간의 부분집합들로 측도 0 이하의 오차로 덮을 수 있는 PI-직선화 가능(PI-rectifiable)이면서 양의 측도를 가진 투명한 집합이 없는 메트릭 측도 공간임을 완전히 특성화한다. 핵심 혁신은 완전히 분리된 부분집합을 포괄하는 포괄적인 연결성과 포인카레 부등식 성질을 지닌 더 큰 메트릭 측도 공간으로 확장하는 새로운 '두껍게 하기(thickening)' 구조와, 국소 포인카레 부등식의 존재와 동치인 새로운 정량적 연결성 조건을 제안하는 것이다. 이는 오랫동안 남아있던 다양한 기하학적 구조와 포인카레 부등식 간의 관계에 대한 질문을 해결한다.

ABSTRACT

We characterize complete RNP-differentiability spaces as those spaces which are rectifiable in terms of doubling metric measure spaces satisfying some local $(1, p)$-Poincaré inequalities. This gives a full characterization of spaces admitting a strong form of a differentiability structure in the sense of Cheeger, and provides a partial converse to his theorem. The proof is based on a new `thickening' construction, which can be used to enlarge subsets into spaces admitting Poincaré inequalities. We also introduce a new notion of quantitative connectivity which characterizes spaces satisfying local Poincaré inequalities. This characterization is of independent interest, and has several applications separate from differentiability spaces. We resolve a question of Tapio Rajala on the existence of Poincaré inequalities for the class of $MCP(K, n)$-spaces which satisfy a weak Ricci-bound. We show that deforming a geodesic metric measure space by Muckenhoupt weights preserves the property of possessing a Poincaré inequality. Finally, the new condition allows us to show that many classes of weak, Orlicz and non-homogeneous Poincaré inequalities `self-improve' to classical $(1, q)$-Poincaré inequalities for some $q \in [1,\infty)$, which is related to Keith's and Zhong's theorem on self-improvement of Poincaré inequalities.

연구 동기 및 목표

• RNP-미분 가능 공간이 PI-직선화 가능하다는 열린 질문을 해결하는 것, 즉 국소 (1,p)-포인카레 부등식을 만족하는 공간의 부분집합들로 측도 0 이하의 오차로 덮을 수 있는가를 밝히는 것.
• 강력한 형태의 체거의 가측 미분 구조를 가진 공간의 기하학적 특성화를 수립하는 것.
• 연결성의 제한된 부분집합들로부터 포인카레 부등식을 만족하는 공간을 만드는 새로운 방법을 개발하여 비-PI 환경에서 포인카레 부등식을 복원하는 것.
• 미세 측도 조건 하에 RNP-미분 가능 구조의 존재가 PI-직선화 가능성을 암시한다는 점에서 체거 정리의 부분적인 역을 제공하는 것.

제안 방법

• 완전히 분리된 부분집합을 더 큰 메트릭 측도 공간으로 통합하여 연결성과 포인카레 부등식 성질을 향상시킨 새로운 '두껍게 하기(thickening)' 구조를 제안한다.
• 국소 (1,p)-포인카레 부등식의 존재와 동치인 새로운 정량적 연결성 조건을 정의하여 측도 두배 조건과 독립적인 기하학적 특성화를 제공한다.
• 아르체라-아스콜리 정리와 그로모프-하우스도르프 수렴을 적용하여 개방집합의 간격 크기를 통제하는 1-리프시츠 곡선 조각을 구성한다.
• 미분 가능 공간의 확대에서 곡선 조각의 극한을 이용해 탄젠트 공간이 (1,p)-포인카레 부등식을 만족함을 보인다.
• 베이트와 리의 RNP-미분 가능 공간에서의 점근적 비동질 포인카레 부등식 연구를 활용하여 균일한 연결성 특성을 지닌 부분집합을 식별한다.
• 무거운우프 가중치 이론과 올리츠 유형 포인카레 부등식을 적용하여 약한 및 비동질 포인카레 부등식이 어떤 q ∈ [1,∞)에 대해 고전적 (1,q)-포인카레 부등식으로 '자기 향상(self-improve)' 함을 보인다.

실험 결과

연구 질문

• RQ1 모든 완비 RNP-리프시츠 미분 가능 공간은 PI-직선화 가능한가, 즉 국소 (1,p)-포인카레 부등식을 만족하는 공간의 부분집합들로 측도 0 이하의 오차로 덮을 수 있는가?
• RQ2 측도 두배 조건이 성립하는 메트릭 측도 공간에서 국소 (1,p)-포인카레 부등식의 존재와 동치가 되는 정량적 연결성 조건을 제시할 수 있는가?
• RQ3 지오데식 메트릭 측도 공간에서의 무거운우프 가중치 변형이 포인카레 부등식 성질을 유지하는가?
• RQ4 약한, 올리츠 또는 비동질 포인카레 부등식은 어떤 q ∈ [1,∞)에 대해 고전적 (1,q)-포인카레 부등식으로 '자기 향상'하는가?
• RQ5 기하학적 곡선 조각의 구성 방법을 통해 RNP-미분 가능 공간의 탄젠트가 (1,p)-포인카레 부등식을 만족함을 보일 수 있는가?

주요 결과

• 완전한 특성화가 확립되었다: 완비 메트릭 측도 공간이 RNP-리프시츠 미분 가능 공간일 필요충분조건은 PI-직선화 가능하고, 모든 투명한 집합이 측도 0을 가져야 한다는 것이다.
• 두껍게 하기 구조는 연결성이 열악한 부분집합을 국소 (1,p)-포인카레 부등식을 만족하는 공간으로 성공적으로 변형하여 비-PI 환경에서 포인카레 부등식을 복원할 수 있음을 보였다.
• 국소 (1,p)-포인카레 부등식의 존재와 동치인 새로운 정량적 연결성 조건이 제안되었으며, 이는 측도에 의존하지 않는 기하학적 기준을 제공한다.
• 타피오 라자의 질문을 해결하여 $MCP(K,n)$-공간에서 약한 리치 곡률 유계 조건이 존재하면 포인카레 부등식이 성립함을 보였다.
• 무거운우프 가중치 변형이 지오데식 메트릭 측도 공간에서 포인카레 부등식 성질을 유지함을 보였다.
• 약한, 올리츠 및 비동질 포인카레 부등식은 어떤 q ∈ [1,∞)에 대해 고전적 (1,q)-포인카레 부등식으로 '자기 향상'되며, 키티와 쩌우의 결과를 확장하였다.