[论文解读] Tits compact CAT(0) spaces

Aurélien Bosché|arXiv (Cornell University)|Jun 1, 2011

Advanced Banach Space Theory参考文献 1被引用 3

一句话总结

本文研究具有紧致 Tits边界的空间的共(compact) CAT(0)空间，表明在一些温和的几何假设下——例如存在双曲等距变换或共(compact)抛物子群——此类空间必须分裂出一个非平凡的欧几里得因子。利用Caprace与Monod的结果，进一步证明了具有紧致Tits边界的测地完备共(compact)CAT(0)空间是平坦的，并推测非测地完备的空间具有平坦的典范边界极小子空间。

ABSTRACT

We investigate CAT(0) metric spaces whose associated Tits boundary is compact. Prominent examples of such spaces are of course the euclidean ones. However there exist non trivial geodesically complete CAT(0) spaces with compact Tits boundary that are far from being flat. We show that if the isometry group of such a space acts cocompactly, then the space is "as flat as possible", i.e. the boundary minimal subspace must be flat. Our result relies on the existence of hyperbolic isometries, which is a problem itself. We hence add the proof of the following existence proposition: a cocompact CAT(0) space either admits a hyperbolic isometry or a convex embedded flat plane.

研究动机与目标

• 刻画Tits边界为紧致的空间的共(compact)CAT(0)空间，即最精细的拓扑。
• 在存在双曲等距变换或共(compact)抛物子群等对称性条件下，确定此类空间在何种情况下必须分裂出非平凡的欧几里得因子。
• 利用Caprace与Monod的结果，建立测地完备的共(compact)CAT(0)空间若具有紧致Tits边界，则必为平坦空间。
• 探究非测地完备的空间若具有紧致Tits边界，是否仍具有平坦的典范边界极小子空间。

提出的方法

• 分析Tits拓扑及其与锥拓扑的关系，表明Tits边界的紧致性意味着其与锥拓扑一致。
• 应用$π$-收敛性（独立于局部紧性）来研究等距变换序列及其渐近行为。
• 利用CAT(0)空间中的比较几何分析等腰三角形中的角度，推导出当角度和趋近于$π$时收敛于平坦带状区域。
• 利用共(compact)性从三角形序列中提取收敛子列，借助角度的上半连续性推导出平坦带状结构。
• 运用等距变换结构理论（椭圆型、抛物型、双曲型）分析平移长度发散的等距变换序列。
• 依赖Caprace与Monod关于CAT(0)空间中等距群结构的结果，在测地完备性条件下得出平坦性结论。

实验结果

研究问题

• RQ1 在何种条件下，具有紧致Tits边界的共(compact)CAT(0)空间会分裂出非平凡的欧几里得因子？
• RQ2 具有紧致Tits边界的共(compact)测地完备CAT(0)空间是否必然为平坦空间？
• RQ3 若共(compact)CAT(0)空间不具有测地完备性，但其Tits边界为紧致，是否仍具有平坦的典范边界极小子空间？
• RQ4 是否存在双曲等距变换或共(compact)抛物子群，可迫使具有紧致Tits边界的共(compact)CAT(0)空间分裂出欧几里得因子？

主要发现

• 若共(compact)CAT(0)空间具有紧致Tits边界且存在双曲等距变换，则其必分裂出非平凡的欧几里得因子。
• 若共(compact)CAT(0)空间具有紧致Tits边界且为测地完备，则其为平坦空间，此结论基于Caprace与Monod的结果。
• 若空间允许由半单等距变换构成的共(compact)作用，且稳定子群局部有限，则其典范边界极小子空间为平坦。
• 当空间不包含凸的平坦平面时，必存在双曲等距变换，从而蕴含任意宽度的平坦带状区域。
• 构造平移长度发散的等距变换序列，可形成任意宽度的半平坦带状区域；在共(compact)性条件下，这蕴含完整平坦平面的存在。
• Tits拓扑的紧致性意味着其与锥拓扑一致，该条件强制强几何刚性，包括在对称性存在时的平坦性或分裂性。