首页/论文/0802.0196

arXiv 0802.01962008-02math.NT

计算富克斯群的基本区

Computing fundamental domains for Fuchsian groups

John Voight

备注：: 18 pages, uses pstricks; corrections made as suggested by referree

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

给出了一个计算上有限富克斯群Gamma的Dirichlet整环的算法.因此，我们计算伽玛的不变量，包括一个明确的有限表示伽玛。

英文摘要：

We exhibit an algorithm to compute a Dirichlet domain for a cofinite Fuchsian group Gamma. As a consequence, we compute the invariants of Gamma, including an explicit finite presentation for Gamma.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

算术富克斯群的基本区的改进计算

Improved computation of fundamental domains for arithmetic Fuchsian groups

Voight给出了一个计算算术富克斯群的基本区的实用算法，并在Magma中实现。后来佩奇将其扩展到算术克莱因群的情形。我们结合和改进的两个算法的一部分，产生一个更有效的算法的算术富克斯群。该算法在PARI/GP中实现，我们通过比较运行时间与现场岩浆实现来证明改进。

2022-07-06math.NT

模形式的计算幂级数展开

Computing power series expansions of modular forms

利用基本区和线性代数的显式计算，给出了一种数值计算上紧富克斯群上模形式的幂级数展开式的方法.

2012-09-30math.NT

亏格为零的富克斯群的Eisenstein级数的零点

On zeros of Eisenstein series for genus zero Fuchsian groups

设$\GN\leq\SLR$是第一类亏格为零的Fuchsian群，其中$\infty$为尖点，并设$\Ek$是$\GN$上权$2k$的全纯Eisenstein级数，它在$\infty$处不为零，在所有其他尖点处为零（假设这样的Eisenstein级数存在）。在一定的假设下$\GN,$和一个基本域$\F$的选择，我们证明了所有，但可能$c(\GN,\F)$的非平凡零$\Ek$谎言的某个子集的$\{z\in\mathfrak{H} : \JN(z)\in\mathbb{R}\}$。这里，$c(\GN,\F)$是不依赖于权重$2k$的常数，$\JN$是$\GN.$的规范半模

2006-03-27math.NT

亏格为零的富克斯群的Eisenstein级数零点的一个注记

A note on zeros of Eisenstein series for genus zero Fuchsian groups

令$Γ\subseteq \text{SL}_2(\mathbb{R})$是一个亏格为零的第一类富克斯群，其尖点为$\infty$，令$E_{2 k}^Γ$是与$Γ$相关的全纯艾森斯坦级数，其尖点在$\infty$处不为零，但在所有其他尖点处为零。在“关于亏格为零的富克斯群的Eisenstein级数的零点“一文中，在$Γ$和某个基本区$\mathcal{F}$的假设下，H.哈恩证明，但最多$c(Γ, \mathcal{F})$（一个常数）的零$E_{2 k}^Γ$谎言的某一子集的$\{z \in \mathfrak{H} : j_Γ(z) \in \mathbb{R}\}$。本文考虑了Hahn关于$E_{2 k}^Γ$的零点区域的结果的一个小推广.在同样的假设下，我们可以证明$\mathcal{F}$中$E_{2 k}^Γ$的零点大多数位于它的下弧上。

2008-10-07math.NT

Fuchsian基本群中随机游动抽样时几何长度分布的概率律

Probability laws for the distribution of geometric lengths when sampling by a random walk in a Fuchsian fundamental group

设$S=Γ\backslash \mathbb{H}$是有限拓扑型的双曲曲面，使得Fuchsian群$Γ\le \operatorname{PSL}_2(\mathbb{R})$是非初等的，并考虑$Γ$的任意生成集$\mathfrak S$.当通过$π_1(S) \cong Γ$中的$n$ -步随机游动进行采样时，每个步由$\mathfrak S$中的元素给出，由双曲元素组成的该采样集的子集作为$n\to \infty$接近满测度，并且对于该子集，几何长度的分布服从大数定律、中心极限定理、大偏差原理和局部极限定理。利用Gromov双曲群平移长度的Gromov定理给出了这个已知定理的一个证明。

2019-02-08math.DSmath.GRmath.GT

什么是基本域？

What is a fundamental domain?

本文针对Fuchsian群基本域现有定义的不足，通过多组示例指出这些定义普遍缺失关键约束条件，无法保障基本域与可测基本集仅在零测集上存在差异。

2023-08-23math.NT

更多相关论文收起更多论文

关于函数域的四元数商图的计算

On computing quaternion quotient graphs for function fields

设$Λ$是$\mathbb{F}_q(T)$上可除四元数代数中在位置$\infty$分裂的极大$\mathbb{F}_q[T]$ -阶.本文给出了一个计算单位群$Λ^*$在与$PGL_2(\mathbb{F}_q((1/T)))$相关的Bruhat-Tits树$\mathcal{T}$上作用的基本区的算法。这个作用是上半平面上的一个余紧Fuchsian群的作用的函数场模拟。该算法还产生一个显式的介绍组$Λ^*$的发电机和关系。此外，我们确定了一个上限，其运行时间使用$Λ^*\backslash\mathcal{T}$是{ \em几乎} Ramanujan。

2012-03-14math.NT

Hejhal算法在无限体积基本区上的推广

An Extension of Hejhal's Algorithm to Infinite Volume Fundamental Domains

本文提出了一种数值计算无穷余体积富克斯群的Maass型及其特征值的算法。根据Patterson-Sullivan理论，这具有计算这些群的极限集的豪斯多夫维数的额外好处。为了近似Maass形式，我们考虑它们在不同坐标系中的Fourier展开。为了处理无限体积的基本区，我们利用耀斑域的概念。我们还开发理论的傅立叶展开耀斑域模仿经典理论的扩张尖点。最后，我们提出了详细的例子，该算法适用于对称肖特基群和无限体积Hecke群。

2022-05-24math.NT

双曲拼图与伪模群族I

Hyperbolic jigsaws and families of pseudomodular groups I

我们证明了伪模群有无穷多个可分解类，从而回答了Long和Reid提出的一个问题。这些是富克斯群，其尖点集是所有有理数，但不能与模群等价。我们这样做是通过引入一个一般的建设基本区的富克斯群通过粘合在一起标记的理想三角形瓷砖，我们称之为双曲拼图群。

2017-01-18math.GRmath.GTmath.NT

有限维酉表示上有限富克斯群的超zeta函数和正则化行列式

Super-zeta functions and regularized determinants associated to cofinite Fuchsian groups with finite-dimensional unitary representations

设$M$是一个有限体积的非紧双曲Riemann曲面，可能具有椭圆不动点，并设$χ$表示$M$的基本群的有限维酉表示。令$Δ$表示作用在与$χ$相关的$M$上平坦丛的光滑截面上的双曲拉普拉斯算子。根据$Δ$的谱理论，有三个不同的数列：第一个来自$L^{2}$本征函数的本征值，第二个来自与连续谱相关的共振，第三个是负整数的集合。使用这些序列的光谱数据，我们采用超zeta方法正则化，并引入两个超zeta函数，$\Z_-(s,z)$和$\Z_+(s,z)$，编码的$Δ$的频谱，这样的方式，他们可以用来定义正则行列式的$Δ-z(1-z)I$。根据Selberg zeta函数的$Δ-z(1-z)I$的正则化行列式的结果公式，参见定理5.3，编码了对称性$z\leftrightarrow 1-z$，由于正则化行列式的不同定义，这在以前的工作中无法看到。

2020-11-23math-phmath.MPmath.NT

计算GL2（Qp）的Bruhat-Tits树的基本区，p-adic自守形式和Shimura曲线的规范嵌入

Computing fundamental domains for the Bruhat-Tits tree for GL2(Qp), p-adic automorphic forms, and the canonical embedding of Shimura curves

我们描述了一个算法，用于计算某些四元数的Bruhat-Tits树GL 2（QP）。作为应用，我们描述了一个算法，以获得（几何）方程的正则嵌入的志村曲线。

2014-01-16math.NT

数域中理想类群和基本单位系的新计算方法

New techniques for computing the ideal class group and a system of fundamental units in number fields

本文给出了在广义黎曼假设下计算数域中理想类群、调节器和基本单位系的一个新算法。我们使用筛选技术适应数域筛选算法推导出的理想类群的元素之间的关系，和$p$ -adic近似管理损失的精度在计算的单位。这种新的算法是特别有效的数域的小程度，为一个数量级的速度是相对于标准的方法实现。

2012-04-05cs.SCmath.NT

关于尖点形式的计算作用

Computing actions on cusp forms

对于正整数$k$和$N$，我们描述了如何计算$SL_2(\mathbb{Z})$在尖点形式$S_k(Γ(N))$空间上的自然作用，其中尖点形式由它的$q$ -展开的足够多的项给出.这将减少到计算Atkin-Lehner算子对同余子群$Γ_1(N)\subseteq Γ\subseteq Γ_0(N)$的$S_k(Γ)$的作用。我们的激励应用程序，这样的基本计算是计算显式模型的一些模块曲线$X_G$。

2021-02-02math.NT

计算算术Kleinian群

Computing arithmetic Kleinian groups

算术Kleinian群是PSL_2（C）中的算术格。我们提出了一个算法，给出这样一个组伽玛，返回一个基本区和有限的介绍伽玛与可计算的同构。

2013-09-20cs.SCmath.NT

双曲空间中的Poincaré平分线

Poincaré Bisectors in Hyperbolic Spaces

本文给出了在双曲二、三空间中构造Dirichlet基本区的平分线的显式公式。他们进行了比较，等距领域的建设中采用的福特域，并用于找到一个有限集的发电机的离散群体的有限covolume。应用于富克斯群、Kleinian群，包括Bianchi群，以及有限幂零群的整群环的单位群的生成元的有限集的构造。给出了一个易于实现的算法DAFC，并将其用于离散群生成元的搜索。

2014-11-25math.GRmath.NTmath.RA

整数环的行列式计算

Computing in quotients of rings of integers

我们开发的算法，把有效的欧氏环的整数环的环的多项式算法的所有基本环操作。此外，我们还研究了这类环上模的正规形及其在某些条件下的行为。我们说明了我们的想法的力量在一个新的模块标准形式算法的模块在整数环，大大优于经典算法。

2016-12-29cs.SCmath.NT