[论文解读] Crystallographic Helly Groups

Nima Hoda|arXiv (Cornell University)|Oct 14, 2020

Algebraic structures and combinatorial models被引用 5

一句话总结

本文证明了海利图的渐近锥是可数双凸的，从而通过其点群对拟阿贝尔海利群进行了刻画。研究证明了拟幂零海利群是拟阿贝尔的，并首次给出了一个非海利的斜晶群——3-3-3考克斯eter群，解决了几何群论中长期悬而未决的开放问题。

ABSTRACT

We prove that asymptotic cones of Helly graphs are countably hyperconvex. We use this to show that virtually nilpotent Helly groups are virtually abelian and to characterize virtually abelian Helly groups via their point groups. In fact, we do this for the more general class of coarsely injective spaces and groups. We apply this to prove that the $3$-$3$-$3$-Coxeter group is not Helly (nor even coarsely injective), thus obtaining the first example of a systolic group that is not Helly, answering a question of Chalopin, Chepoi, Genevois, Hirai, and Osajda.

研究动机与目标

• 通过GL_n(R)中的点群对拟阿贝尔海利群进行刻画。
• 证明拟幂零海利群是拟阿贝尔的，扩展了关于共(compact)立方群的结果。
• 解决查洛平等人关于存在一个非海利的斜晶群的开放问题。
• 在几何群论中建立粗度量嵌入性、渐近锥与双凸性之间的联系。
• 对拟阿贝尔与拟幂零群类中的海利群提供完整刻画。

提出的方法

• 利用海利图的渐近锥分析海利群的大尺度几何结构。
• 应用庞苏关于幂零群渐近锥的结果，研究拟幂零海利群的结构。
• 证明粗度量嵌入空间（包括海利图）的渐近锥是可数双凸的。
• 应用伊斯贝尔的内射度量空间理论及标准内射包构造。
• 利用海利群与粗度量嵌入群之间的等价性，将内射几何的结果转移到群论中。
• 应用对Z^n上恰当、近似测地、左不变度量的刻画，分析点群作用的几何结构。

实验结果

研究问题

• RQ1 哪些拟阿贝尔群能在其上海利图上进行适当且共(compact)作用？
• RQ2 所有拟幂零海利群是否都是拟阿贝尔的？
• RQ3 是否存在一个非海利的斜晶群？若存在，其结构如何？
• RQ4 拟阿贝尔群的点群与其作用的赋范空间的几何结构之间有何关系？
• RQ5 海利图的渐近锥如何与双凸性及粗度量嵌入性相关联？

主要发现

• 粗度量嵌入空间的渐近锥是可数双凸的，该结果本身具有独立兴趣。
• 拟幂零海利群是拟阿贝尔的，推广了哈根对共(compact)立方群的结果。
• 一个拟阿贝尔群是海利群，当且仅当其点群共轭于R^n上上确界范数等距群的子群。
• 3-3-3考克斯eter群不是海利群（也非粗度量嵌入），提供了首个非海利的斜晶群示例。
• 海利群类严格包含共(compact)立方群类，由3-3-3考克斯eter群示例得以证明。
• 拟阿贝尔海利群的点群必须保持l∞-范数，从而刻画了作用的几何结构。