[논문 리뷰] Inverse limit spaces satisfying a Poincare inequality

Jeff Cheeger, Bruce Kleiner|arXiv (Cornell University)|2013. 12. 18.

Geometric Analysis and Curvature Flows참고 문헌 5인용 수 4

한 줄 요약

이 논문은 측도가 부여된 그래프의 역극한 공간이 (1,1)-Poincaré 부등식과 두배 조건을 만족함을 보이며, 이를 통해 PI 공간이 됨을 보장하는 충분조건을 설정한다. 연속적인 흐린 섹션을 통한 새로운 귀납적 평균화 방법을 사용하여, 균일한 Poincaré 및 두배 상수를 증명하고, 바나흐 공간에서 Radon-Nikodym 성질을 가진 공간에 이sov러지적으로 매장되지 않는 예를 포함한 광범위한 새로운 PI 공간의 클래스를 구축한다.

ABSTRACT

We give conditions on Gromov-Hausdorff convergent inverse systems of metric measure graphs (and certain higher dimensional inverse systems of metric measure spaces) which imply that the measured Gromov-Hausdorff limit (equivalently, the inverse limit) is a PI space, i.e. it satisfies a doubling condition and a Poincare inequality in the sense of Heinonen-Koskela. We also give a systematic construction of examples for which our conditions are satisfied. Included are known examples of PI spaces, such as Laakso spaces, and a large class of new examples. Generically our graph examples have the property that they do not bilipschitz embed in any Banach space with Radon-Nikodym property, but they do embed in the Banach space L_1. For Laakso spaces, these facts were discussed in our earlier papers.

연구 동기 및 목표

• 측도가 부여된 그래프의 역계측 시스템에 대해, 그 Gromov-Hausdorff 극한이 PI 공간이 되도록 보장하는 조건을 규명하는 것.
• 연속적인 흐린 섹션을 통한 섬세한 평균화를 이용한 (1,1)-Poincaré 부등식에 대한 새로운 귀납적 증명 기법을 개발하는 것.
• 바나흐 공간에서 Radon-Nikodym 성질을 가진 공간에 이sov러지적으로 매장되지 않는 예를 포함한, 새로운 PI 공간의 체계적 구축.
• 큐브 복합체를 사용하여 고차원 역계측 시스템으로 이 프레임워크를 확장하고, 경로 가닥과 흐린 섹션을 통해 Poincaré 부등식을 검증하는 것.

제안 방법

• 지오메트리의 국소적 유계성, 측도의 호환성, 그리고 codimension-1 면을 따라 연속성을 보장하는 여섯 개의 공리에 기반한 '허용 가능한' 역계측 시스템을 정의한다.
• 프로젝션 사상의 섬세한 섹션으로서, 약한 위상에서 연속적으로 변하는, 섬세한 측도를 갖는 확률 측도를 사용한다.
• 흐린 섹션을 사용하여 섬세한 평균화를 통해 함수를 섬세한 섬세한 측도에 대해 평균화하고, 상한 기울기와 함께 (1,1)-Poincaré 부등식을 귀납적으로 증명한다.
• 각 역계측 시스템의 단계에서 국소적이고 독립적인 선택을 통해 예를 귀납적으로 구성한다.
• 경로 올림에 대한 자연스러운 확률 측도를 적용하여 Poincaré 부등식을 검증하는 두 번째 증명 전략을 사용한다.
• 제어된 갤러리 지름과 측도 호환성을 갖는 큐브 복합체를 사용하여 고차원 시스템으로 이 프레임워크를 확장한다.

실험 결과

연구 질문

• RQ1 측도가 부여된 그래프의 역계측 시스템에 대해, Gromov-Hausdorff 극한이 (1,1)-Poincaré 부등식과 두배 조건을 만족하기 위한 조건은 무엇인가?
• RQ2 연속적인 흐린 섹션을 사용한 새로운 귀납적 평균화 방법을 통해 이러한 극한에서 Poincaré 부등식을 증명할 수 있는가?
• RQ3 이 프레임워크를 통해 어떤 새로운 PI 공간의 클래스를 체계적으로 구축할 수 있으며, 그 기하학적·해석적 성질은 무엇인가?
• RQ4 이러한 구축된 PI 공간들은 Radon-Nikodym 성질을 가진 바나흐 공간에 이sov러지적으로 매장되지 않으며, 그 이유는 무엇인가?
• RQ5 이 프레임워크는 고차원 역계측 시스템으로 확장될 수 있으며, Poincaré 부등식이 유지되기 위해 어떤 수정이 필요한가?

주요 결과

• 허용 가능한 역계측 시스템의 측도가 부여된 Gromov-Hausdorff 극한은 (1,1)-Poincaré 부등식을 만족하는 PI 공간이다.
• 두배 상수와 Poincaré 부등식 상수는 모두 시스템의 구조적 매개변수 m ≥ 2, Δ, θ, C에만 의존한다.
• 역극한은 위상 차원 1, 해석적 차원 1, 그리고 비퇴화된 경우를 제외하고는 하우스도르프 차원 >1을 갖는다.
• 일반적으로 이러한 공간들은 Radon-Nikodym 성질을 가진 어떤 바나흐 공간에도 이sov러지적으로 매장되지 않으며, 이는 Laakso 공간에 대한 이전 결과를 일반화한다.
• Poincaré 부등식은 두 가지 서로 다른 방법으로 증명 가능하다: 연속적인 흐린 섹션과 경로 가닥 측도.
• 이 프레임워크는 큐브 복합체를 사용하여 고차원 역계측 시스템으로 일반화되며, 적절한 공리 하에서 Poincaré 부등식은 유지된다.