arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0708.2109math.GTmath.DG
收藏

计算双曲反射群的算术不变量

Computing arithmetic invariants for hyperbolic reflection groups

Omar Antolin-Camarena, Gregory R. Maloney, Roland K. W. Roeder

摘要:

我们描述了一个收集的计算机脚本编写的PARI/GP计算,反射群确定的有限体积多面体在$\mathbb{H}^3$,可扩展性不变量被称为不变的迹场和不变的四元数代数。我们的脚本还允许一个确定算术的这样的群体和同构类的不变四元数代数通过分析其分歧。我们提出了许多计算这些不变量的例子。这足以表明,我们考虑的大多数群是两两不可约的。对于具有相同不变量的群对,并非所有都丢失:当两个群都是算术群时,具有相同不变量保证了可并行性。我们通过这种方式发现了许多“意想不到”的配对。我们还提出了一个非算术对相同的不变量,我们不能确定可扩展性。

英文摘要:

We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $\mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant quaternion algebra. Our scripts also allow one to determine arithmeticity of such groups and the isomorphism class of the invariant quaternion algebra by analyzing its ramification. We present many computed examples of these invariants. This is enough to show that most of the groups that we consider are pairwise incommensurable. For pairs of groups with identical invariants, not all is lost: when both groups are arithmetic, having identical invariants guarantees commensurability. We discover many ``unexpected'' commensurable pairs this way. We also present a non-arithmetic pair with identical invariants for which we cannot determine commensurability.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑