关于庞加莱上半平面中以i为对称中心的理想三角形在ℤ/3ℤ循环群作用下的商锥及投影映射的显式坐标描述问询

首先咱们把问题里的各个对象先明确下来，再一步步推导商空间和投影映射的显式表达：

1. 先明确理想三角形T的具体形态 #

因为T是以i为对称中心的理想三角形（顶点都在ℍ的边界ℝ∪{∞}上），我们可以直接算出它的顶点、边和区域：

• 顶点：∞、√3/3、-√3/3（这三个点在实轴或无穷远点上，彼此在绕i的120°旋转下互相置换）
• 三条边：
  • 连接∞和√3/3的测地线：垂直于实轴的直线x=√3/3（仅取y>0的部分）
  • 连接∞和-√3/3的测地线：垂直于实轴的直线x=-√3/3（仅取y>0的部分）
  • 连接√3/3和-√3/3的测地线：上半平面中以原点为圆心、半径√3/3的半圆（方程x²+y²=1/3，y>0）
• T的区域：就是这三条边围成的区域，所有满足x∈[-√3/3, √3/3]且y≥√(1/3 - x²)的点z=x+iy∈ℍ都属于T，i点（0,1）正好在区域中心。

2. 群V_T的显式生成元 #

你提到的ℤ/3ℤ群是绕i逆时针转120°的旋转群，对应的庞加莱上半平面等距变换（分式线性变换）为：

g(z) = (z + √3)/(-√3 z + 1)

这个变换满足g(i)=i（固定中心），且g³(z)=z（三次旋转后回到原位置），群内的三个元素是id（恒等变换）、g、g²，其中g²(z)的表达式为：

g²(z) = (z - √3)/(√3 z + 1)

3. 商空间T/V_T的描述 #

商空间本质是把T中每个点z和它被旋转120°、240°后的点g(z)、g²(z)视为同一个点：

• 几何上相当于把T这个120°的「双曲扇形」的两条侧边粘起来，得到一个双曲锥面
• 它是一个orbifold：除了i点对应的等价类（唯一的不动点轨道），其他点都是普通流形点；i点附近的局部结构是ℝ²被ℤ/3ℤ旋转作用后的商，也就是锥角为120°的锥点（简单说就是这个点要绕3圈才会回到原位）

4. 投影映射φ:T→T/V_T的显式坐标 #

我们可以用两种方式给出显式坐标：

方法一：通过单位圆盘模型过渡 #

庞加莱上半平面ℍ和单位圆盘D之间有保距变换：

w = (z - i)/(z + i)

这个变换把i映射到D的原点，把T映射到D中辐角arg(w)∈[-π/3, π/3]的扇形区域，群的旋转作用在D中就是绕原点转120°（w ↦ e^(2πi/3)w）。

此时投影映射φ对应把D中的点w映射到它的轨道{w, e^(2πi/3)w, e^(4πi/3)w}，商空间的坐标可取：

• r = |w|：对应z到i的双曲距离，换算公式为d(i,z) = ln((1+r)/(1-r))
• θ = arg(w) mod (2π/3)：取θ∈[0, 2π/3)，代表轨道的角度类

对于任意z∈T，先算出w=(z-i)/(z+i)，再得到(r,θ)，这就是φ(z)的坐标。

方法二：直接用ℍ的原生坐标 #

对于z=x+iy∈T，我们可以直接定义两个坐标：

• u = arccosh( (x² + y² + 1)/(2y) )：这是z到i的双曲距离，属于轨道不变量（同一轨道上的点到i的距离都相等）
• v = arg( (z - i)/(z + i) ) + π/3：调整角度到v∈[0, 2π/3)，代表轨道的角度类

此时φ(z)=(u, v)，其中u≥0，v∈[0, 2π/3)；特别地，当u=0时（即z=i），所有v都对应商空间里的同一个点（锥点）。

备注：内容来源于stack exchange，提问作者kodyv