[論文レビュー] Exponential equations in acylindrically hyperbolic groups

Agnieszka Bier, Oleg Bogopolski|arXiv (Cornell University)|Jun 21, 2021

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

ひとこと要約

この論文は、幾何的群論の技法を用いて、特にloxodrom的要素に対して、非可縮的双曲的群における指数方程式の解に対して線形な境界を確立する。相対的に双曲的である場合、このような群における可解性が、周辺部分群における可解性に還元されることを証明し、既知の双曲的定数と再帰的表現の下で、アルゴリズム的手続きを可能にする。

ABSTRACT

Let $G$ be an acylindrically hyperbolic group and $E$ an exponential equation over $G$. We show that if $E$ is solvable in $G$, then there exists a solution whose components, corresponding to loxodromic elements, can be linearly estimated in terms of lengths of the coefficients of $E$. We give a more precise answer in the case where $G$ is a relatively hyperbolic group. Under some assumption of general character, the solvability and the search problems for exponential equations over $G$ can be reduced to the peripheral subgroups of $G$.

研究の動機と目的

• 双曲的群における指数方程式の決定可能性結果を、より広いクラスの非可縮的双曲的群へ拡張すること。
• 非可縮的双曲的群における指数方程式のloxodrom的生成子に対する解のサイズの有効な線形境界を確立すること。
• 計算可能な条件下で、相対的に双曲的群における指数方程式の可解性および探索問題を、その周辺部分群に還元すること。
• 既知の双曲的定数と再帰的周辺表現を持つ、有限生成された相対的に双曲的群における指数方程式を解くためのアルゴリズム的枠組みを提供すること。

提案手法

• 非可縮的双曲的群における幾何的技法の使用、特に双曲的空間への作用と、群の要素を楕円的、放物的、loxodrom的に分類すること。
• 超双曲的埋め込み部分群の概念を応用し、指数方程式を周辺部分群上の方程式に還元すること。
• 解の可解性が保たれるように、周辺部分群上の指数方程式系の有限論理和の構成。
• 双曲的定数 $ \delta $、生成集合のサイズ、関係式の長さなどの群論的不変量に基づいて、一様定数 $ M $ の計算。
• 有限位数の要素および線形的に有界された指数を持つloxodrom的要素のための、有界な解の探索による有限探索空間の利用。
• 元の方程式を、周辺部分群上の方程式の論理和にアルゴリズム的に還元し、可解性および解の拡張が保たれること。

実験結果

リサーチクエスチョン

• RQ1 非可縮的双曲的群における指数方程式の解のサイズは、係数の長さに関して線形的に有界にできるか？
• RQ2 相対的に双曲的群における指数方程式の可解性が、その周辺部分群に還元できる条件は何か？
• RQ3 与えられた相対的に双曲的群における指数方程式の可解性を捉える、周辺部分群上の有限個の系の論理和を計算するアルゴリズムは存在するか？
• RQ4 非可縮的双曲的群におけるloxodrom的生成子の解のサイズは、有効に有界にできるか？

主な発見

• 任意の非可縮的双曲的群 $ G $ とその生成集合 $ X $ に対して、ある定数 $ M > 1 $ が存在し、任意の可解な指数方程式について、すべてのloxodrom的 $ g_j $ に対して $ |k_j| \leq \left(n^2 + \sum |a_i|_X + \sum |g_i|_X\right) \cdot M $ が成り立つ。
• 相対的に双曲的の場合、指数方程式の可解性は、周辺部分群上の有限個の系の論理和の可解性と同値である。
• 双曲的定数 $ \delta $、有限相対的表現、および周辺部分群の再帰的表現が既知である限り、周辺部分群へのアルゴリズム的還元は有効である。
• 解の境界における定数 $ M $ は、$ |X| $、$ \delta $、および相対的表現における関係式の最大長から、アルゴリズム的に計算可能である。
• 双曲的群の場合、この結果は解のサイズの境界が線形であることを示し、Myasnikov らの以前の多項式境界を改善する。
• $ H * F_2 $（$ H $ が $ \mathbb{Q} $ を含む）の例は、loxodrom的要素が境界において本質的であることを示している — それらがなければ、一様な境界は存在しない。