[論文レビュー] Acylindrical hyperbolicity and existential closedness

Simon André|arXiv (Cornell University)|May 14, 2020

Geometric and Algebraic Topology被引用数 1

ひとこと要約

この論文は、有限生成群 $G$ が、$G$ において存在的に閉じたアセイルインディル的双曲的である部分群 $H$ を含むならば、$G$ 自身もアセイルインディル的双曲的であることを確立する。この結果は、存在的同値性の下でのアセイルインディル的双曲性の保存に関する問題を解決し、$n \geq 2$ の $\mathrm{Out}(F_n)$, $\mathrm{Aut}(F_n)$、またはヒグマン群の写像類群、$\mathrm{Mod}(\Sigma_g)$（$g \geq 4$）と存在的に同値な群が、有限生成または有限提示である限り、アセイルインディル的双曲的であることが示される。

ABSTRACT

Let $G$ be a finitely presented group, and let $H$ be a subgroup of $G$. We prove that if $H$ is acylindrically hyperbolic and existentially closed in $G$, then $G$ is acylindrically hyperbolic. As a corollary, any finitely presented group which is existentially equivalent to the mapping class group of a surface of finite type, to $\mathrm{Out}(F_n)$ or $\mathrm{Aut}(F_n)$ for $n\geq 2$ or to the Higman group, is acylindrically hyperbolic.

研究の動機と目的

• 有限生成または有限提示群の間におけるアセイルインディル的双曲性が初等同値性の下で保存されるかを調査すること。
• 部分群 $H$ がアセイルインディル的双曲的であり、$G$ において存在的に閉じている場合に、$G$ が自身でアセイルインディル的双曲的であるための条件を同定すること。
• $H$ が $G$ において存在的に閉じていることが、$H$ が有限生成でない場合でも、$G$ がアセイルインディル的双曲的であることを保証する十分条件であることを確立すること。
• $H$ が同時に方程式的ノエター的である場合にも、$G$ がその性質を引き継ぐ条件を強化すること。

提案手法

• グローヴズとハルによって開発された、アセイルインディル的双曲的群へのリップス・マシン技法の適応。
• 特に存在的論式と存在的に閉じているという概念を用いたモデル理論的道具を用い、$H$ と $G$ における方程式および不等式系の解を比較する。
• 方程式的ノエター的群に関する結果を用いて、追加の仮定のもとで主定理を強化する。
• コンパクト性と超積構成を用いて、有限生成が成り立たない場合の反例を構築する。
• 写像類群、$\mathrm{Out}(F_n)$、ヒグマン群に関する既知の構造的結果を活用し、系を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限提示群において、アセイルインディル的双曲性は存在的同値性の下でも保たれるか？
• RQ2 部分群 $H$ がアセイルインディル的双曲的かつ $G$ において存在的に閉じている場合、$G$ がアセイルインディル的双曲的であるための条件は何か？
• RQ3 主定理における有限提示の仮定を、追加のモデル理論的条件（例えば、方程式的ノエター的）を課すことで、有限生成に弱めることができるか？
• RQ4 可算群のクラスにおいて、アセイルインディル的双曲性は初等同値性の下で保存されるか、それとも反例が存在するか？

主な発見

• 群 $G$ が有限提示であり、部分群 $H \leq G$ がアセイルインディル的双曲的かつ $G$ において存在的に閉じているならば、$G$ はアセイルインディル的双曲的である。
• 写像類群 $\mathrm{Mod}(\Sigma_g)$（$g \geq 4$）と存在的に同値な任意の有限提示群はアセイルインディル的双曲的である。
• 同様の結論が、$n \geq 2$ に対して $\mathrm{Out}(F_n)$ や $\mathrm{Aut}(F_n)$ と存在的に同値な群に対しても成り立つ。
• $H$ がさらに方程式的ノエター的であると仮定しても、$G$ が有限生成である限り、この結果は成り立つ。
• 可算群のクラスにおいて反例が存在する：$F_2$ の初等拡大のうち、アセイルインディル的双曲的でないものがある。これは、有限生成性が本質的であることを示している。
• ヒグマン群は方程式的ノエター的であり、そのアセイルインディル的双曲性から、それと初等同値な任意の有限生成群がアセイルインディル的双曲的であることが導かれる。