[论文解读] Inverse limit spaces satisfying a Poincare inequality

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

Geometric Analysis and Curvature Flows参考文献 5被引用 4

一句话总结

本文確立了度量測度圖的逆極限空間滿足 (1,1)-Poincaré 不等式與加倍性的充分條件，使其成為 PI 空間。作者透過連續模糊截面跨投影的新型歸納平均法，證明了均勻的 Poincaré 與加倍界，並構造了一大類新的 PI 空間，包括在具有 Radon-Nikodym 性質的巴拿赫空間中無法雙李普希茨嵌入的範例。

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é 不等式。
• 系統性地構造新的 PI 空間範例，包括在具有 Radon-Nikodym 性質的巴拿赫空間中無法雙李普希茨嵌入的範例。
• 將框架擴展至高維逆系統，使用立方複形，並透過路徑族與模糊截面驗證 Poincaré 不等式。

提出的方法

• 透過六條公理定義「可接受的」逆系統，以確保有界局部幾何、測度相容性，以及在 codimension-1 面上的連續性。
• 使用連續模糊截面——投影映射纖維上的機率測度——其在弱拓撲下連續變動。
• 透過在纖維上使用模糊截面與上梯度對函數進行平均，以歸納法證明 (1,1)-Poincaré 不等式。
• 透過在逆系統每一層上進行局部且獨立的選擇，系統性地構造範例。
• 應用第二種證明策略，利用路徑提升上的自然機率測度，以驗證 Poincaré 不等式。
• 使用具有受控畫廊直徑與測度相容性的立方複形，將框架擴展至高維系統。

实验结果

研究问题

• RQ1 在度量測度圖的逆系統下，何種條件可使 Gromov-Hausdorff 極限滿足 (1,1)-Poincaré 不等式與加倍性？
• RQ2 能否使用基於連續模糊截面的新型歸納平均法，證明此類極限中的 Poincaré 不等式？
• RQ3 利用此框架可系統性構造哪些新的 PI 空間類別？其幾何與分析性質為何？
• RQ4 所構造的這些 PI 空間是否無法雙李普希茨嵌入於具有 Radon-Nikodym 性質的巴拿赫空間中？原因為何？
• RQ5 此框架能否擴展至高維逆系統？為使 Poincaré 不等式成立，需進行哪些修改？

主要发现

• 可接受逆系統的測度 Gromov-Hausdorff 極限為滿足 (1,1)-Poincaré 不等式的 PI 空間。
• 加倍常數與 Poincaré 不等式常數僅依賴於系統的結構參數：m ≥ 2, Δ, θ, C。
• 逆極限的拓撲維度為 1，分析維度為 1，且除退化情形外，Hausdorff 維度大於 1。
• 一般而言，這些空間無法雙李普希茨嵌入於任何具有 Radon-Nikodym 性質的巴拿赫空間中，此結果擴展了對 Laakso 空間的既有結果。
• Poincaré 不等式可透過兩種不同方法證明：連續模糊截面與路徑族測度。
• 此框架可透過立方複形推廣至高維逆系統，在適當公理下，Poincaré 不等式仍得保持。