[论文解读] Affine buildings for dihedral groups

Arkady Berenstein, Michael Kapovich|ArXiv.org|Sep 1, 2008

Geometric and Algebraic Topology参考文献 5被引用 12

一句话总结

该论文通过发展一个组合凸性定理，并利用一种归纳的“庞齐计划”构造方法，成功构建了任意有限二面体群 $D_m$ 的秩 2 厚非离散仿射建筑物。该方法通过在有限 CAT(0) 复形中的凸走廊依次附着单体（apartments），实现了构造。关键结果是：对于所有具有非离散可数 $W_{\text{af}}$ 的特殊 Coxeter 复形 $(A, W_{\text{af}})$，此类建筑物的存在性得到证明，从而填补了秩 2 仿射建筑物分类中长期存在的空白。

ABSTRACT

We construct rank 2 thick nondiscrete affine buildings associated with an arbitrary finite dihedral group.

研究动机与目标

• 解决为非二面体有限 Coxeter 群，特别是非晶格二面体群 $D_m$（$m \geq 5$，$m \neq 6$）构造秩 2 厚仿射建筑物的开放问题。
• 通过开发一种方法，确保每对点都可通过迭代扩展位于同一单体中，将 Tits 的球面建筑物自由构造推广至仿射情形。
• 建立基于特殊 Coxeter 复形 $(A, W_{\text{af}})$ 的厚欧氏建筑物的存在性，其中 $W_{\text{af}} = \Lambda \rtimes D_m$ 为非离散可数群。
• 通过范畴论的并形化方法，为将构造推广至不可数或非特殊 $W_{\text{af}}$ 群提供基础。

提出的方法

• 通过在凸子复形上依次附着单体，对有限 CAT(0) 复形序列 $(X_n)$ 进行归纳扩展，每个复形均基于 Coxeter 复形 $(A, W_{\text{af}})$ 构造。
• 将“走廊”定义为 $X_n$ 中的有限个瓷砖（角度为 $\pi/m$ 和 $\pi - \pi/m$ 的平行四边形）的并集，作为附着的凸子复形。
• 引入“扩展走廊”作为走廊的非紧致类比，以处理无穷远处的超对径房间对。
• 证明一个组合凸性定理（定理 1.2）：在基于 $(A, W_{\text{af}})$ 的有限 CAT(0) 复形中，每对点或超对径房间均位于一个凸扩展走廊中，该走廊可等距嵌入到模型单体 $A$ 中。
• 利用弱等距和 $D$-等距，确保沿凸走廊附着单体 $A$ 时，CAT(0) 性质与模型结构得以保持。
• 取直接极限 $X = \bigcup X_n$，得到一个满足所有建筑物公理的完整厚欧氏建筑物，其秩为 2。

实验结果

研究问题

• RQ1 能否为所有有限二面体群 $D_m$（包括非晶格情形如 $m=5,7,8,9$）构造出厚仿射建筑物，当平移群 $\Lambda$ 为非离散时？
• RQ2 在基于 $(A, W_{\text{af}})$ 的有限 CAT(0) 复形中，凸走廊的存在是否保证任意两点或超对径房间均位于一个可用来附着完整单体的公共凸子复形中？
• RQ3 基于沿凸走廊的连续扩展的归纳“庞齐计划”构造，是否能产生一个满足厚欧氏建筑物所有公理的完整建筑物？
• RQ4 是否可通过范畴论的并形化方法，将构造推广至不可数或非特殊 $W_{\text{af}}$ 群？

主要发现

• 本文证明了对于任意具有非离散可数 $W_{\text{af}} = \Lambda \rtimes D_m$ 的特殊 Coxeter 复形 $(A, W_{\text{af}})$，存在一个基于该复形的秩 2 厚欧氏建筑物 $X$，从而证明了定理 1.1。
• 一个关键技术结果是定理 1.2：在基于 $(A, W_{\text{af}})$ 的有限 CAT(0) 复形中，每对点或超对径房间均位于一个凸扩展走廊中，该走廊可实现弱等距嵌入到模型单体 $A$ 中。
• 该构造确保在有限次扩展后，每对点最终都会位于同一单体中，从而满足建筑物公理 A1′ 和 A2′。
• 所得建筑物 $X$ 是厚的，因为 $X$ 中的每面墙都是至少三个半单体的交集，这由沿退化走廊（即墙）附着新单体所保证。
• 通过超极限构造得到建筑物 $X' = X_\omega$，其基于闭包 $\overline{W_{\text{af}}} = \mathbb{R}^2 \rtimes D_m$，表明结果可推广至等距群的完整群。
• 本文提出此类复形的范畴具有并形化性质，这将允许构造出具有高度传递自同构群的建筑物，从而将结果推广至不可数 $W_{\text{af}}$。