[論文レビュー] 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

ひとこと要約

この論文は、非アーベル自由群の1階理論に関するメルツリヤコフの定理を、すべてのアシリンジカルに双曲的な群へ一般化し、そのような群およびその最大有限正規部分群を添付する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.

研究の動機と目的

• 非アーベル自由群の1階理論に関するメルツリヤコフの定理を、より広いクラスのアシリンジカルに双曲的な群へ拡張すること。
• アシリンジカルに双曲的な群とその最大有限正規部分群E(G)を添付するHNN拡大が同じ∀∃-理論を持つことを確立すること。
• アシリンジカルに双曲的な群が自明な正の理論を持つという予想を解決すること。これは、その語彙部分群が無限の幅を持つことを示唆する。
• 初等的同値の下でアシリンジカルに双曲的な性質が保たれるかを調査し、この文脈における∃∀∃-初等的埋め込みの役割を明らかにすること。

提案手法

• 短縮法と形式的解の技術を用いて、セラの双曲的群および自由積に関する研究の技法を、アシリンジカルに双曲的な群へ一般化する。
• ∀∃-理論の同値性よりも強い条件である∃∀∃-初等的埋め込みを導入・分析し、複雑な1階文の保存を保証する。
• アシリンジカルに双曲的な群に一意に存在する最大有限正規部分群E(G)を用いて、HNN拡大G˙∗E(G)をG ∗E(G)(Z × E(G))として定義する。
• E(G)が集合DN(G) = {h′ ∈ G | [h^N, h′] = 1 for all 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が同じ∃∀∃-理論を持つならば、これは矛盾を引き起こす。
• バウムスラグ＝ソリター群は、主定理の結論を満たさない。これは、より弱い小分類条件では、正の理論に関する結果を拡張するのに不十分であることを示している。