[论文解读] Geometry of Houghton's Groups

Sang‐Rae Lee|arXiv (Cornell University)|Dec 2, 2012

Geometric and Algebraic Topology参考文献 10被引用 11

一句话总结

本文构建了Houghton群 $χ_n$ 在一个 $n$-维非正曲率的CAT(0)立方复形 $X_n$ 上的恰当、等距且保持高度的行动，证明了 $χ_n$ 是 $F_{n-1}$ 型但不是 $F_n$ 型，当 $n > 3$ 时给出了 $χ_n$ 的有限表示，并证明了当 $n \geq 3$ 时具有指数型等周不等式。该构造将Brown的胞腔复形推广至非正曲率的立方设置，使得能够对群的有限性与等周性质进行几何与组合分析。

ABSTRACT

Hougthon's groups H_n is a family of groups where each H_n consists of `translations at infinity' on n rays of discrete points emanating from the origin on the plane. Brown shows H_n has type FP_n-1 but not FP_n by constructing infinite dimensional cell complex on which H_n acts with certain conditions. We modify his idea to construct n-dimensional CAT(0) cubical complex X_n on which H_n acts with the same conditions as before. Brown also shows H_n is finitely presented provided n>2. Johnson provides a finite presentation for H_3. We extend his result to provide finite presentations of H_n for n>3. We also establish exponential isoperimetric inequalities of H_n for n>2.

研究动机与目标

• 在 $n$-维非正曲率的CAT(0)立方复形 $X_n$ 上，构建Houghton群 $\mathcal{H}_n$ 的恰当、等距且保持高度的行动。
• 将Brown的 $F_{n-1}$ 型胞腔复形构造推广至非正曲率的立方设置，从而实现对 $\mathcal{H}_n$ 的几何分析。
• 当 $n > 3$ 时，为 $\mathcal{H}_n$ 提供有限表示，扩展Johnson对 $\mathcal{H}_3$ 的结果。
• 当 $n \geq 3$ 时，建立 $\mathcal{H}_n$ 的指数型等周不等式，量化群中填充环路的复杂度。

提出的方法

• 构建一个 $n$-维非正曲率的CAT(0)立方复形 $X_n$，使得 $\mathcal{H}_n$ 在其上作用恰当且等距，并保持高度的Morse函数。
• 利用Sageev关于群在立方体上作用的理论，将 $\mathcal{H}_n$ 视为作用在 $X_n$ 上的多端群，且作用本质化，从而同时编码所有 $\mathcal{H}_{n-1}$ 子群。
• 应用一个典范同构 $\chi^*:\Sigma_{n,x} \to S_{nx}$，将群元素转化为置换，从而在对称群中实现长度与面积的界限。
• 对 $\mathcal{H}_n$ 中的字序列 $u_k$ 与 $v_k$ 进行同步归纳，以界定换位与辫子关系的面积，从而获得指数型面积界。
• 使用共轭技巧，将 $\Sigma_{n,x}$ 的关系式表示为 $\mathcal{H}_n$ 中的字，表明每个关系式在 $\mathcal{H}_n$ 中至多需要 $O(e^x)$ 个关系式。
• 将 $\Sigma_{n,x}$ 中的字长与面积界限应用于 $\mathcal{H}_n$，推导出任意长度 $\leq x$ 的零伦字的长度上界为 $O(x^5)$。

实验结果

研究问题

• RQ1 Houghton群 $\mathcal{H}_n$ 是否可实现为在非正曲率立方复形上的作用，且保持几何性质与有限性性质？
• RQ2 当 $n \geq 3$ 时，$\mathcal{H}_n$ 的精确等周行为是什么？它是否满足指数型等周不等式？
• RQ3 如何为 $n > 3$ 的 $\mathcal{H}_n$ 构造有限表示，以扩展Johnson对 $\mathcal{H}_3$ 的结果？
• RQ4 在 $\mathcal{H}_n$ 中，零伦字的字长与面积之间存在何种关系？该关系是否可统一有界？

主要发现

• $\mathcal{H}_n$ 在一个 $n$-维非正曲率的CAT(0)立方复形 $X_n$ 上具有恰当、等距且保持高度的行动，通过Sageev定理确认其为多端群。
• 当 $n \geq 3$ 时，$\mathcal{H}_n$ 满足指数型等周不等式，任意长度为 $x$ 的零伦字的填充面积被 $O(e^x)$ 有界。
• 任意长度 $\leq x$ 的零伦字 $w \in \mathcal{H}_n$ 可重写为 $\Sigma_{n,x}$ 中长度至多为 $O(x^5)$ 的字，提供了字复杂度的定量界。
• 原始字 $w$ 与其重写形式 $w'$ 之间的面积被 $O(x^2)$ 有界，表明重写过程中的几何扭曲为多项式级。
• 当 $n > 3$ 时，为 $\mathcal{H}_n$ 构造了有限表示，通过系统化的共轭与关系式转换，扩展了Johnson对 $\mathcal{H}_3$ 的有限表示结果。
• $\Sigma_{n,x}$ 的关系式在 $\mathcal{H}_n$ 中至多需要 $O(e^x)$ 个关系式，且该指数界是紧的，由序列 $u_k$ 与 $v_k$ 的面积增长所证实。