[论文解读] Translation-like actions yield regular maps

Yongle Jiang|arXiv (Cornell University)|Mar 27, 2017

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

一句话总结

该论文证明，若一个有限生成群 $H$ 在另一个有限生成群 $G$ 上存在平移类似作用，则存在一个从 $H$ 到 $G$ 的正规映射。关键贡献在于将平移类似作用与正规映射联系起来，从而可利用已知的障碍——如渐近维数、分离函数和增长性——来排除此类作用，进而得出新的非存在性结果，包括布姆斯特定理-索莱特群在经典灯笼工人群上不具有平移类似作用。

ABSTRACT

For finitely generated groups $H$ and $G$, we observe that $H$ admits a translation-like action on $G$ implies there is a regular map, which was introduced in Benjamini, Schramm and Timár's joint paper, from $H$ to $G$. Combining with several known obstructions to the existence of regular maps, we have various applications. For example, we show that the Baumslag-Solitar groups do not admit translation-like actions on the classical lamplighter group.

研究动机与目标

• 在几何群论中建立平移类似群作用与正规映射之间的联系。
• 利用已知的正规映射障碍（如渐近维数、分离函数和增长性）推导出平移类似作用的新非存在性结果。
• 解决关于平移类似作用的开放问题，包括科恩关于 $\mathbb{Z}^d$ 与 $F_2$ 的问题，以及热兰德关于布姆斯特定理-索莱特群的猜想。
• 提供一种新框架，通过正规映射作为作用与不变量之间的桥梁，来分析几何群论性质。

提出的方法

• 将平移类似作用定义为群作用下对群元素的自由且一致有界的扰动。
• 通过上循环 $c(h,x) = (h*x)^{-1}x$ 构造映射 $f: H \to G$，利用作用定义正规映射。
• 证明所构造的映射满足 $\kappa$-正规性条件：利普希茨控制与单位球原像的均匀覆盖。
• 利用平移类似条件导出的有界性 $\lambda_h = \sup_x \ell_G(c(h,x)) < \infty$ 来控制利普希茨常数。
• 应用渐近维数与分离函数等不变量在正规映射下的已知单调性性质。
• 将这些不变量与群论性质（如虚拟自由性、无挠性）结合，推导出非存在性结果。

实验结果

研究问题

• RQ1 从 $H$ 到 $G$ 存在平移类似作用是否蕴含从 $H$ 到 $G$ 存在正规映射？
• RQ2 能否利用正规映射的障碍（如渐近维数或分离函数）来排除平移类似作用？
• RQ3 布姆斯特定理-索莱特群 $BS(m,n)$ 是否能在灯笼工人群 $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{Z}$ 上存在平移类似作用？
• RQ4 当 $d \geq 2$ 时，$\mathbb{Z}^d$ 是否能对自由群 $F_2$ 实现平移类似作用？

主要发现

• $H$ 在 $G$ 上的平移类似作用蕴含从 $H$ 到 $G$ 存在正规映射，从而在几何作用与正规映射之间建立了直接联系。
• 当 $mn \neq 0$ 时，$BS(m,n)$ 的渐近维数至少为 2，而灯笼工人群的渐近维数为 1，因此 $BS(m,n) \not\rightarrow_{\text{reg}} (\mathbb{Z}/2\mathbb{Z})\wr\mathbb{Z}$。
• 当 $d \geq 2$ 时，$\mathbb{Z}^d \not\rightarrow_{\text{reg}} F_2$，因为 $\mathbb{Z}^d$ 的分离函数发散，而 $F_2$ 的分离函数有界。
• 当 $mn = 0$ 时，$BS(m,n)$ 包含一个自由群，且由于 $F_2$ 无法正规映射到灯笼工人群，因此 $BS(m,n)$ 无法在该群上实现平移类似作用。
• 该结果解决了科恩关于 $\mathbb{Z}^d$ 与 $F_2$ 的问题，并否定了热兰德关于布姆斯特定理-索莱特群与灯笼工人群的猜想。