[论文解读] Surface subgroups for lattices in Fuchsian buildings

David Constantine, Jean‐François Lafont+1 more|arXiv (Cornell University)|Jul 15, 2014

Geometric and Algebraic Topology参考文献 20被引用 3

一句话总结

本文建立了关于分片非正曲率二维多面复形基本群包含曲面子群的充分条件。通过分析此类复形的组合与几何结构——特别是具有自由格作用的充分厚的富克斯型建筑的紧致商——证明了当商具有至少两个顶点时，曲面子群存在。

ABSTRACT

We consider finite 2-dimensional polyhedral complexes, equipped with piecewise non-positively curved, locally CAT(0) metrics. We give conditions on the complex X that ensure that its fundamental group contains a surface subgroup. Concrete examples covered by our methods include compact quotients of sufficiently thick Fuchsian buildings, where the lattice acts freely and the quotient has at least two vertices.

研究动机与目标

• 确定CAT(0)多面复形基本群包含曲面子群的几何与组合条件。
• 将曲面子群结果扩展至自由作用于厚富克斯型建筑的格。
• 将具有至少两个顶点的富克斯型建筑商的紧致商作为关键示例进行分析。
• 为有限、二维、分片非正曲率复形提供一个通用准则。
• 通过在复杂商中建立子群结构，弥合几何群论与建筑理论之间的鸿沟。

提出的方法

• 利用二维多面复形的非正曲率（CAT(0)）结构，以确保非正曲率几何。
• 应用组合群论分析复形的基本群。
• 利用富克斯型建筑的结构，特别是其加厚性与顶点传递性。
• 对商复形施加条件，要求至少有两个顶点，以确保足够的拓扑复杂性。
• 利用格在建筑上的自由作用，将几何与拓扑特征提升至商复形。
• 通过复形中存在本质2-球面或浸入曲面，推断基本群中存在曲面子群。

实验结果

研究问题

• RQ1 在何种条件下，CAT(0)多面复形的基本群包含曲面子群？
• RQ2 在具有自由格作用的厚富克斯型建筑的紧致商中，能否保证曲面子群的存在？
• RQ3 商复形中顶点数目的作用如何，以确保曲面子群的存在？
• RQ4 度量的非正曲率如何影响复形中嵌入或浸入曲面的存在性？
• RQ5 复形的哪些组合或几何特征是支持曲面子群子结构所必需的？

主要发现

• 若有限、分片非正曲率、二维多面复形满足特定几何与组合条件，则其基本群包含曲面子群。
• 对于具有自由格作用的充分厚富克斯型建筑的紧致商，当商具有至少两个顶点时，曲面子群的存在性得到保证。
• 商复形中至少存在两个顶点是该方法适用的关键结构性要求。
• 该结果适用于广泛的一类复形，包括来自具有自由作用的富克斯型建筑格的复形。
• 证明依赖于局部非正曲率与全局拓扑复杂性之间的相互作用，以确保曲面子群的存在。
• 该构造不要求复形本身是建筑，而适用于满足所述条件的任意CAT(0)复形。