5
$\开始组$

$\伽马射线$是一个双曲线群。$克$,$\gamma\in\gamma$自由生成一个非阿贝尔半群(特别是它们不交换且具有无限阶)。这个等式$g\gamma^n=小时^m$只有有限多个三元组的解$(n,h,m)\in\mathbb n\times\Gamma\times\mathbb n$具有$m\neq\pm 1$?

一般来说,让美元(X,d)$是一个Gromov双曲空间,并且$\伽马射线$是等距群的一个子群X美元$:$\mathrm{Isom}(X)$。同一问题的答案是什么$\伽马$是双曲线等距X美元$?

$\端组$
5
  • 1
    $\开始组$ 您需要添加$\gamma$具有无限顺序。 $\端组$
    – IJL公司
    评论 2023年11月7日14:40
  • $\开始组$ 对于诚实的双曲型群体,答案是“基本上是”;元素的平移长度是有理的,这意味着如果有无限多个解,那么对于一些$k,l,m,n$,$g\gamma^k=h^l$,$\gamma^m=h^n$。这可以在Bridson-Haefliger的书中找到。 $\端组$ 评论 2023年11月7日14:44
  • $\开始组$ @丹尼斯T对不起,我很困惑。$h$可能不同。你是怎么得出这个结论的?你是指$g\gamma^m=h^n$吗?我相信答案是肯定的,但没有很好的理由。 $\端组$
    – 郝延龙
    评论 2023年11月7日14:59
  • 2
    $\开始组$ 你必须添加额外的条件,因为答案通常是否定的。例如,假设$\Gamma$是无限二面体群,$g,f\in\Gamma$--两个反射。那么$\gamma=gf$具有无限级并且不与$g$交换,$h=g\gamma^n$是每$n$的反射,所以$h^m=h$是每奇数$m$的反射。因此,对于无限多$m$,$g\gamma^n=h^m$。 $\端组$ 评论 2023年11月8日21:54
  • $\开始组$ 对于每个$n$,假设(半群是自由的)迫使$g\gamma^n$具有无限阶,$\gamma$双曲确保它具有有限多个根。因此,问题是:对于足够大的$n$,$g\gamma^n$不是一个合适的幂,这是真的吗? $\端组$
    – Y科尔
    评论 2023年11月9日16:43

1答案1

重置为默认值
5
$\开始组$

关于双曲群的陈述$\伽马射线$为true,如果$\伽马射线$无扭转。这源于特殊的双曲(和相对)双曲群中的元素。

在无扭转情况下,元件$\gamma\in\gamma\setminus\{1\}$是特殊的,如果$\langle\gamma\rangle$是的最大循环子群$\伽马射线$(相当于,如果$\伽马$不是另一个元素的适当力量)。由于$\伽马射线$(作为$\伽马射线$是无扭转双曲线)包含在最大无限循环子群中,我们可以假设该元素$\伽马$从问题是特殊的(如果不是,用它的最大根替换它)。现在,因为$克$不与通勤$\伽马$,我们知道$g\notin\langle\gamma范围$,从那里我们可以应用引理3.6[米纳西安,A。;Osin,D。,相对双曲群的正规自同构。,事务处理。美国数学。Soc.362,No.11,6079-6103(2010)。ZBL1227.2004年11月.]对一些人来说$N\in\mathbb N$元素$克\gamma ^n$只要是特别的$|n|\ge n$.因此$克\gamma ^n$$\伽马射线$什么时候$|n|\ge n$.

这表明只能有有限多个整数亿美元$从问题开始。从这里很容易得出结论,对于给定的n美元$只能有有限的$小时$百万美元$因为在无挠双曲群中,每个元素只有有限多个根。


如果$\伽马射线$不是无扭转的,那么至少必须要求E中的$g\notin(\gamma)$,其中$E(\gamma)$是的最大虚循环子群$\伽马射线$包含$\伽马$(另外,我们在注释中有类似二面体群的示例)。在这种情况下,类似的论点可能会起作用,但肯定会更具技术性。


答案是否定的$等值线(X)$,其中X美元$通常是一个Gromov双曲度量空间。事实上,考虑一下免费产品$\伽马=A*B$,其中美元$有一个非平凡的元素$a\单位:a$这样的话美元$允许无限多根美元$(例如。,美元$属于的副本$\mathbb{Q}$里面美元$).

然后$\伽马射线$忠实地在Bass-Serre树上表演X美元$与自由产物分解相关,因此$\Gamma\hookrightarrow等轴测图(X)$.选择任何非普通元素$b\单位:b$并设置$\gamma=ba\in\gamma$$g=b^{-1}\在\伽马中$。请注意$\伽马$是双曲线等距X美元$$\伽马$不与通勤$克$.通过施工,$g\伽玛=a$在中有无穷多个根$\伽马射线$,因此原始问题的属性失败。

我认为,要想在这种情况下得到肯定的答案,必须要求$\伽马射线$X美元$至少是正确的(但为了避免扭转问题,可能需要更多)。

$\端组$
  • $\开始组$ 谢谢你的回答和参考。我想考虑一个足够大的解决方案。但你的例子很有趣。 $\端组$
    – 郝延龙
    评论 2023年11月9日13:03
  • $\开始组$ “如果$\Gamma$不是无挠的,则必须假设至少$g\notin E(\Gamma)$”:如果$g,\Gamma$自由生成半群,则情况当然不是这样。但这个假设是在这个答案发布后添加的。 $\端组$
    – Y科尔
    评论 2023年11月9日23:47
  • $\开始组$ @炎龙浩,我认为,如果你不要求采取适当的行动,那么即使是大额的行动,也有可能在树上行动的群体之间建立反例。 $\端组$ 评论 2023年11月15日17:46

你的答案

点击“发布您的答案”,即表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.