[论文解读] Applications conformes {\`a} grande {\'e}chelle

Pierre Pansu|arXiv (Cornell University)|Apr 5, 2016

Mathematical Dynamics and Fractals被引用 2

一句话总结

本文引入了一种新的大尺度共形映射概念，定义为在受控畸变下保持大球 packing 结构的度量空间之间的映射。该文通过一种新颖的基于度量的 ℓp-上同调框架，证明此类映射会引发维数增加——对于幂零群，以体积增长指数衡量；对于双曲群，以边界共形维数衡量。关键结果表明，在非抛物性条件下，某些空间之间的大尺度共形映射必为拟等距映射。

ABSTRACT

Roughly speaking, let us say that a map between metric spaces is large scale conformal if it maps packings by large balls to large quasi-balls with limited overlaps. This quasi-isometry invariant notion makes sense for finitely generated groups. Inspired by work by Benjamini and Schramm, we show that under such maps, some kind of dimension increases: exponent of volume growth for nilpotent groups, conformal dimension of the ideal boundary for hyperbolic groups. A purely metric space notion of {\ell} p-cohomology plays a key role.

研究动机与目标

• 将大尺度共形映射定义为拟等距不变的 notion，推广共形几何至离散与粗度量空间。
• 建立大尺度共形映射在有限生成群之间诱导几何不变量（如体积增长指数与共形维数）增加的结论。
• 发展一种纯粹基于度量的 ℓp-上同调形式化，作为证明维数增加定理的关键工具。
• 证明刚性结果：在非抛物性假设下，某些空间之间的大尺度共形同胚必为拟等距映射。
• 探讨粗共形性、一致共形性与拟等距之间的关系，尤其在一维及高秩情形下。

提出的方法

• 通过大球 packing 的像被映射为具有有界重叠的均匀控制拟球 packing 来定义大尺度共形映射。
• 提出一种基于度量的新 ℓp-上同调定义，以几何能量与容量泛函替代测度论构造。
• 利用 packing 上的能量与模估计来定义并分析 (p,ℓ,R,S)-容量 δp,ℓ,R,S(x₁,x₂)，将其与抛物性及上同调消失性联系起来。
• 建立 ℓp-上同调在大尺度共形映射下的函子性，证明非零上同调被保持。
• 应用扭曲积与 Poincaré 模型理论分析双曲空间及其边界之几何结构。
• 利用 Grötzsch 不变量与等周维数比较几何不变量，并推导容量的下界。

实验结果

研究问题

• RQ1 是否能在大尺度上定义一种在拟等距下不变的共形性概念，并适用于离散群？
• RQ2 若两个群之间存在大尺度共形映射，是否意味着其几何不变量（如体积增长或共形维数）存在下界？
• RQ3 大尺度共形映射在多大程度上强制空间之间成为拟等距？
• RQ4 ℓp-上同调能否以纯度量形式重新定义，以作为大尺度共形映射下的不变量？
• RQ5 空间几何（如非抛物性）的何种条件可确保大尺度共形映射实际为拟等距？

主要发现

• 从有限生成群或李幂零群 G 到 G′ 的大尺度共形映射意味着体积增长指数 d₁(G) ≤ d₂(G′)，其中 d₂(G′) 为 G′ 边界的共形维数。
• 对于非初等双曲群，大尺度共形映射 G → G′ 意味着 ℓp-上同调不消失的最小 p 满足 CohDim(G) ≤ ConfDim(G′)。
• 若空间 X 为强非-(p,ℓ,R,S)-抛物性，且 X′ 为局部 Ahlfors 正则且维数 ≤ p，则每个粗共形映射 X → X′ 均为一致共形。
• 在强非抛物性与受控球条件之下，若大尺度共形同胚 f: X → X′ 的逆也为大尺度共形，则 f 为拟等距映射。
• 在一维情形下，若 f 与 g 均为大尺度共形，且 g∘f 与 f∘g 均为粗嵌入，则 f 为拟等距映射。
• 该理论表明，从非初等双曲群到有界几何 Riemann 流形的粗共形映射必为一致共形，从而导致上同调刚性。