亏格1的互不等价黎曼曲面计数及等价环面的相关问题

嘿，这个问题问到点子上了！你说得完全没错——所有亏格为1的紧黎曼曲面，确实都和某个环面（复几何里也常叫椭圆曲线）等价。那咱们来拆解你关心的两个核心问题：

• 互不等价的环面有多少？
  答案是不可数无穷多！每个环面都对应复平面上一个由两个线性无关复数$\omega_1, \omega_2$生成的格$\Lambda = \mathbb{Z}\omega_1 + \mathbb{Z}\omega_2$，环面就是复平面除以这个格的商空间$\mathbb{C}/\Lambda$。两个环面等价，当且仅当它们对应的格可以通过非零复数缩放得到（也就是存在$\lambda \in \mathbb{C}^*$，使得$\Lambda' = \lambda\Lambda$）。

• 怎么轻松判断它们是否等价？
  我们可以先把格标准化：通过缩放总能把$\omega_1$变成1，$\omega_2$变成上半平面$\mathbb{H} = {z \in \mathbb{C} \mid \text{Im}(z) > 0}$里的数$\tau$，这时候环面就简化为$\mathbb{C}/(\mathbb{Z} + \mathbb{Z}\tau)$。
  两个这样的环面等价的充要条件是：对应的$\tau$和$\tau'$在模群$\text{SL}(2,\mathbb{Z})$的作用下属于同一轨道——也就是存在整数$a,b,c,d$满足$ad - bc = 1$，使得$\tau' = \frac{a\tau + b}{c\tau + d}$。

  更直观的判断方法是利用模群作用的基本域：上半平面中满足$|\tau| \geq 1$且$-\frac{1}{2} < \text{Re}(\tau) \leq \frac{1}{2}$（当$|\tau|=1$时要求$\text{Re}(\tau) \geq 0$）的区域。每个等价类里恰好有一个落在基本域内的$\tau$，所以只要把两个环面对应的$\tau$都转化到基本域里，看是否完全相等，就能快速判断它们是否等价啦。

本质上，互不等价的环面构成的集合就是模群作用在上半平面的轨道空间，也就是模空间$\mathcal{M}_1$，它是一个复一维的流形，规模是不可数无穷的。

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