[论文解读] Compactifying the Space of Length Functions of a Right-angled Artin Group

Anna Vijayan|arXiv (Cornell University)|Oct 20, 2015

Geometric and Algebraic Topology参考文献 21被引用 4

一句话总结

该论文证明了，对于右角Artin群（RAAG）在2维CAT(0)矩形复形上具有连通且不含三角形的定义图的极小作用，其射影化平移长度函数的空间在射影无限维空间中具有紧致闭包。在Charney与Margolis的结果（即此类作用由其长度函数唯一确定）基础上，作者证明了归一化长度函数的统一有界性，通过有限维投影将该空间嵌入紧致子集，从而将Culler与Morgan对自由群Outer Space的紧化推广至右角Artin群。

ABSTRACT

Culler and Morgan proved that the length function of a minimal action of a group on a tree completely determines the action. As a consequence the space of minimal actions of a free group on trees, up to scaling (also known as Outer Space), embeds in infinite projective space via the map sending an action to its projectivized length function. They also proved that the image of this map has compact closure. For a right-angled Artin group whose defining graph is connected and triangle-free, we investigate the space of minimal actions on 2-dimensional CAT(0) rectangle complexes. Charney and Margolis showed that such actions are completely determined by their length functions; hence this space embeds in infinite projective space. Here it is shown that the image of the embedding map, that is, the set of projectivized length functions associated to these actions, has compact closure.

研究动机与目标

• 将Culler与Morgan对自由群Outer Space的紧化推广至在CAT(0)矩形复形上作用的右角Artin群（RAAGs）。
• 证明在2维CAT(0)矩形复形上极小RAAG作用的射影化平移长度函数空间在射影空间中具有紧致嵌入。
• 在定义图连通且不含三角形的条件下，将长度函数方法从自由群推广至RAAGs。
• 探索该紧化空间边界的结构，推测其对应于广义度量空间（如测度墙空间）上的退化作用。

提出的方法

• 利用固定生成集中某元素的最大位移导出的统一有界性，对平移长度函数进行归一化。
• 在R^Ω∖{0}中定义紧致子集K，基于长度函数相对于群元素范数的有界性及固定常数C。
• 利用固定生成集D中代表的共轭类有限集，限制长度函数的支集。
• 将归一化后的长度函数投影至射影空间P^Ω，证明其像位于K的投影所构成的紧致像之内。
• 利用定义图为二维齐次图的性质，确保在2维CAT(0)矩形复形上作用为极小作用。
• 应用几何群论中的技术，特别是涉及矩形复形中边路径与距离的分析，以控制长度函数的行为。

实验结果

研究问题

• RQ1 在P^∞中，2维CAT(0)矩形复形上极小RAAG作用的射影化平移长度函数空间是否具有紧致闭包？
• RQ2 是否如自由群情形一样，长度函数可唯一确定RAAG在这些复形上的作用？
• RQ3 该紧化空间边界的几何性质为何？其如何推广至树上的作用？
• RQ4 在测度墙空间上的退化作用是否可作为CAT(0)矩形复形上极小作用的极限出现？
• RQ5 2维情形所用技术能否推广至n维CAT(0)矩形复形上更高维RAAG作用？

主要发现

• 在2维CAT(0)矩形复形上极小作用的RAAG射影化平移长度函数集合，位于P^Ω的紧致子集内。
• 存在统一有界常数C，使得对任意极小作用α，有l^α(g) ≤ C M^α ||g||对所有g ∈ A_Γ成立。
• 归一化后，长度函数l'^α满足l'^α(g) ≤ ||g||，且存在d* ∈ D（有限生成集），使得l'^α(d*) ≥ 1/C。
• 归一化长度函数的像位于紧致集K ⊂ R^Ω∖{0}中，其在P^Ω上的投影为紧致集。
• 该紧致性结果将Culler与Morgan对自由群的定理推广至定义图为连通且不含三角形的RAAGs。
• 该紧化空间的边界被猜想由在测度墙空间上的非常小作用构成，类似于自由群情形下的R-树。