[论文解读] Exponential equations in acylindrically hyperbolic groups

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

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

一句话总结

本文通过利用几何群论技术，为双曲性群中的指数方程解建立了线性界，特别针对loxodromic元素。证明了在相对双曲情形下，此类群上的可解性可归约为其旁系子群上的可解性，从而在已知双曲常数和递归表示的条件下，实现算法决策程序。

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$.

研究动机与目标

• 将指数方程的可判定性结果从双曲群扩展到更广泛的双曲性群类。
• 为双曲性群中指数方程的loxodromic生成元建立有效的线性解大小界。
• 在可计算条件下，将相对双曲群中指数方程的可解性与搜索问题归约为其旁系子群。
• 为具有已知双曲常数和递归旁系表示的有限生成相对双曲群，提供一个指数方程求解的算法框架。

提出的方法

• 在双曲性群中使用几何技术，特别是群在双曲空间上的作用，以及将群元素分类为椭圆型、抛物型或loxodromic型。
• 应用双曲性嵌入子群的概念，将指数方程归约为旁系子群上的方程。
• 构造旁系子群上指数方程系统的有限析取，确保可解性等价。
• 基于群论不变量（如双曲常数 $ \delta $、生成集大小和关系式长度）计算统一常数 $ M $。
• 通过有限搜索空间对有限阶元素及指数线性有界的loxodromic元素进行有界解搜索。
• 将原始方程算法化地归约为旁系子群上的析取方程系统，同时保持可解性与解的延拓性。

实验结果

研究问题

• RQ1 双曲性群中的指数方程是否能以系数长度的线性函数形式界定解的大小？
• RQ2 在何种条件下，相对双曲群中指数方程的可解性可归约为其旁系子群？
• RQ3 是否存在一种算法，可计算出一个有限个旁系子群上系统的析取，以捕捉给定相对双曲群中指数方程的可解性？
• RQ4 在双曲性群中，loxodromic生成元的解大小是否可被有效界定？

主要发现

• 对于任意具有生成集 $ X $ 的双曲性群 $ G $，存在常数 $ M > 1 $，使得任意可解指数方程的解满足：对所有loxodromic $ 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} $）为例，表明loxodromic元素在界中不可或缺——若无此类元素，则不存在统一的有界性。