[论文解读] Poincaré inequalities and quasiconformal structure on the boundary of some hyperbolic buildings

Marc Bourdon, Hervé Pajot|arXiv (Cornell University)|Oct 20, 1997

Analytic and geometric function theory参考文献 2被引用 17

一句话总结

本文在双曲建筑物 $\partial I_{p,q}$ 的边界上建立了弱 (1,1)-Poincaré 不等式，证明其为 Loewner 空间。利用 Heinonen-Koskela 的理论，这表明 $\partial I_{p,q}$ 的每个拟共形自同胚都是拟对称的，从而以否定方式解决了 Heinonen 和 Semmes 提出的关于度量空间中拟共形与拟对称结构等价性的两个问题。

ABSTRACT

In this paper we shall show that the boundary $\partial I_{p,q}$ of the hyperbolic building $I_{p,q}$ considered in M. Bourdon, \emph{Immeubles hyperboliques, dimension conforme et rigidité de Mostow} (Geometric And Functional Analysis, Vol 7 (1997), p 245-268) admits Poincaré type inequalities. Then by using Heinonen-Koskela's work, we shall prove Loewner capacity estimates for some families of curves of $\partial I_{p,q}$ and the fact that every quasiconformal homeomorphism $f : \partial I_{p,q} \longrightarrow \partial I_{p,q}$ is quasisymetric. Therefore by these results, the answers to certain questions of Heinonen and Semmes are NO.

研究动机与目标

• 在具有特定几何与组合结构的 CAT(-1) 空间 $I_{p,q}$ 的边界 $\partial I_{p,q}$ 上建立 Poincaré 不等式。
• 通过证明弱 (1,1)-Poincaré 不等式，表明 $\partial I_{p,q}$ 是 Loewner 空间，从而控制曲线族的模。
• 证明每个拟共形同胚 $f: \partial I_{p,q} \to \partial I_{p,q}$ 都是拟对称的，从而否定性地回答了 Heinonen 和 Semmes 的问题 19 和 20。
• 刻画边界度量空间 $\partial I_{p,q}$ 的共形维数与 Ahlfors-正则性，其 Hausdorff 维数为 $Q_{p,q} = 1 + \frac{\log(q-1)}{\text{arccosh}((p-2)/2)}$。
• 通过树状结构与 Gromov 乘积，建立几何与测度论框架，以分析 $\partial I_{p,q}$ 上的曲线族与度量行为。

提出的方法

• 将 $\partial I_{p,q}$ 的几何模型视为具有正 $p$ 边形室与大小为 $q+q$ 的完全二部图顶点链的 CAT(-1) 建筑物的边界。
• 在 $\partial I_{p,q}$ 上定义自然度量 $\delta_{p,q}$，使其成为测地线、$Q_{p,q}$ 维 Ahlfors-正则空间，且与 Menger 普适曲线同胚。
• 利用建筑物 1-骨架的树状结构，在与测地射线相关的水平面 $H_t$ 上构造一族概率测度 $\gamma_t$。
• 应用 Fubini 定理与极大函数估计，将函数 $u$ 的振荡与沿曲线的其非常弱梯度 $\rho$ 的 $L^1$-范数联系起来。
• 使用组合 Gromov 乘积 $\{\cdot|\cdot\}_x$ 估计集合 $H_t$ 的测度，并将其与距离比 $\delta_x(\xi,t)\delta_x(t,\eta)/\delta_x(\xi,\eta)$ 关联。
• 应用一个实分析引理，涉及函数 $\varphi_l(t) = \min(t, l-t)$，以控制 $u$ 的平均振荡，从而通过 $\rho$ 的极大函数建立 Poincaré 不等式。

实验结果

研究问题

• RQ1 双曲建筑物 $I_{p,q}$ 的边界 $\partial I_{p,q}$ 是否满足弱 (1,1)-Poincaré 不等式？
• RQ2 $\partial I_{p,q}$ 是否为 Loewner 空间，即连接非退化连续体的曲线族的模是否一致有下界？
• RQ3 所有 $\partial I_{p,q}$ 上的拟共形自同胚是否必然为拟对称？
• RQ4 $\partial I_{p,q}$ 的共形维数是否等于其 Hausdorff 维数 $Q_{p,q}$？
• RQ5 能否通过基于树的测度与 Gromov 乘积分析 $\partial I_{p,q}$ 的度量结构，以推导出 Poincaré 型不等式？

主要发现

• 边界 $\partial I_{p,q}$ 满足弱 (1,1)-Poincaré 不等式，常数 $C_0 > 0$ 与 $C_1 > 0$，确保函数的 $L^1$-振荡由其非常弱梯度的 $L^1$-范数控制。
• 每个拟共形同胚 $f: \partial I_{p,q} \to \partial I_{p,q}$ 都是拟对称的，这是由 Poincaré 不等式所建立的 Loewner 性质的直接推论。
• $\partial I_{p,q}$ 是 Loewner 空间，因为连接非退化连续体的曲线族的模被一个仅依赖于连续体相对距离的正数一致有下界。
• Hausdorff 维数 $Q_{p,q} = 1 + \frac{\log(q-1)}{\text{arccosh}((p-2)/2)}$ 等于 $\partial I_{p,q}$ 的 Pansu 共形维数，且 Hausdorff 测度 $\mu_{p,q}$ 是 $Q_{p,q}$ 维的 Ahlfors-正则测度。
• 证明的关键估计为：$\gamma_t(H_t) \asymp \left( \frac{\delta_x(\xi,t)\delta_x(t,\eta)}{\delta_x(\xi,\eta)} \right)^{Q_{p,q}-1}$，该式将水平面集合的测度与 Gromov 乘积及距离关联。
• 通过将 Poincaré 不等式与 Heinonen-Koskela 的刻画相结合，作者得出结论：Heinonen 和 Semmes 的问题 19 和 20 的答案为“否”，因为在一般度量空间中，拟共形映射不一定是拟对称的——这与某些经典情形中的预期相反。