计算算术Kleinian群的生成集
Computing a Generating Set of Arithmetic Kleinian Groups
AI总结：
本文利用双曲几何技术计算签名(3,1)且不表示0的整二次型Q对应的SO^+(Q,Z)的生成集，并以Q_7=x_1^2+x_2^2+x_3-7x^4为例给出显式生成矩阵。
摘要：
本文旨在展示如何使用双曲几何技术计算$SL^+(2,\mathbb{C})$的某些子群的生成集；具体来说，是$SO^+(Q,\mathbb{Z})$，其中$Q$是签名$(3,1)$且不表示0的整二次型。该算法以形式$Q_7=x_1^2+x_2^2+x_3-7x^4$为例进行说明，并找到了显式的生成矩阵。
英文摘要：
The goal of this paper is to demonstrate the use of techniques from hyperbolic geometry to compute generating sets of certain subgroups of $SL^+(2,\mathbb{C})$; specifically, $SO^+(Q,\mathbb{Z})$ for $Q$ some integral quadratic form of signature $(3,1)$ that does not represent 0. The algorithm is illustrated for the form $Q_7=x_1^2+x_2^2+x_3-7x^4$, and explicit generating matrices are found.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
