[论文解读] Formal solutions and the first-order theory of acylindrically hyperbolic groups

Simon André, Jonathan Fruchter|arXiv (Cornell University)|May 1, 2020

Geometric and Algebraic Topology参考文献 40被引用 2

一句话总结

本文将梅兹利亚科夫关于非交换自由群的一阶理论的定理推广至所有适度双曲群，证明此类群及其关于最大有限正规子群的HNN扩张具有相同的∀∃-理论。关键贡献在于建立了群到其HNN扩张的∃∀∃-初等嵌入，这表明适度双曲群具有平凡正向理论，并解决了卡萨尔斯-鲁伊斯、加雷塔与德拉萨努埃思提出的猜想。

ABSTRACT

We generalise Merzlyakov's theorem about the first-order theory of non-abelian free groups to all acylindrically hyperbolic groups. As a corollary, we deduce that if $G$ is an acylindrically hyperbolic group and $E(G)$ denotes the unique maximal finite normal subgroup of $G$, then $G$ and the HNN extension $G\dot{\ast}_{E(G)}$, which is simply the free product $G\ast\mathbb{Z}$ when $E(G)$ is trivial, have the same $\forall\exists$-theory. As a consequence, we prove the following conjecture, formulated by Casals-Ruiz, Garreta and de la Nuez Gonz\'alez: acylindrically hyperbolic groups have trivial positive theory. In particular, one recovers a result proved by Bestvina, Bromberg and Fujiwara, stating that, with only the obvious exceptions, verbal subgroups of acylindrically hyperbolic groups have infinite width.

研究动机与目标

• 将梅兹利亚科夫关于非交换自由群的一阶理论的定理推广至更广泛的适度双曲群类。
• 建立适度双曲群及其关于最大有限正规子群E(G)的HNN扩张共享相同∀∃-理论的结论。
• 解决一个猜想：即适度双曲群具有平凡正向理论，这意味着其词子群具有无限宽度。
• 研究在初等等价下适度双曲性是否得以保持，以及∃∀∃-初等嵌入在此背景下的作用。

提出的方法

• 通过缩短论证和形式解法，将泽拉关于双曲群及自由积的工作技术推广至适度双曲群。
• 引入并分析∃∀∃-初等嵌入，作为强于∀∃-理论等价的条件，以确保复杂一阶句子的保持。
• 利用适度双曲群中存在唯一最大有限正规子群E(G)的事实，将HNN扩张G˙∗E(G)定义为G ∗E(G)(Z × E(G))。
• 应用可定义性技术，证明E(G)可通过集合DN(G) = {h′ ∈ G | [h^N, h′] = 1 对所有h ∈ G}可定义，其中N = |Aut(E(G))|。
• 借助格罗夫斯与赫尔关于适度双曲群上方程组解的研究成果，将梅兹利亚科夫定理推广至含挠群。
• 证明：若群G与适度双曲群H具有相同的∃∀∃-理论，且H关于一个几乎阿贝尔子群分裂，则G本身也必为适度双曲群。

实验结果

研究问题

• RQ1 所有适度双曲群是否如卡萨尔斯-鲁伊斯、加雷塔与德拉萨努埃思所猜想的那样具有平凡正向理论？
• RQ2 适度双曲群G到其HNN扩张G˙∗E(G)的自然包含是否为∃∀∃-初等嵌入？
• RQ3 G与G˙∗E(G)是否初等等价，或G是否初等嵌入于G˙∗E(G)中？
• RQ4 在有限生成群中，适度双曲性是否在初等等价下保持不变？

主要发现

• 适度双曲群G到其HNN扩张G˙∗E(G)的自然包含是∃∀∃-初等嵌入，这意味着G与G˙∗E(G)具有相同的∀∃-理论。
• 适度双曲群具有平凡正向理论，确认了卡萨尔斯-鲁伊斯、加雷塔与德拉萨努埃思的猜想。
• 适度双曲群的词子群具有无限宽度，恢复了贝斯特温、布罗姆伯格与藤原的结果。
• 若群H在几乎阿贝尔子群上存在非平凡分裂，且与适度双曲群G具有相同的∃∀∃-理论，则H本身也是适度双曲群。
• 句子∃c ≠ 1 ∀h ∃z ≠ 1 ([c,z]=1 ∧ [hch⁻¹,z]=1) 在H不为适度双曲群且在阿贝尔群上分裂时被满足，但在G∗Z中不被满足，若G与H具有相同的∃∀∃-理论，则导致矛盾。
• 鲍姆斯拉格-索利塔群不满足主定理的结论，表明较弱的小扰动条件不足以推广关于正向理论的结果。