[论文解读] Lectures on Moduli Spaces of Elliptic Curves

Richard Hain|arXiv (Cornell University)|Dec 9, 2008

Algebraic Geometry and Number Theory参考文献 7被引用 29

一句话总结

本文通过将椭圆曲线的模空间作为基础范例，清晰地介绍了轨道丛、堆栈及相关几何与拓扑概念。它将模空间 $ olimits_{1,1}$ 及其 Deligne-Mumford 紧化 $ olimits_{1,1}$ 构造为轨道丛，展示了模形式如何作为霍奇丛的截面自然出现，并计算了它们的佩克特群与同伦型，同时通过具体而基础的构造，阐明了使用堆栈的必要性。

ABSTRACT

These informal notes are an expanded version of lectures on the moduli space of elliptic curves given at Zhejiang University in July, 2008. Their goal is to introduce and motivate basic concepts and constructions (such as orbifolds and stacks) important in the study of moduli spaces of curves and abelian varieties through the example of elliptic curves. The reason for working with elliptic curves is that most constructions are elementary and explicit in this case. All four approaches to moduli spaces of curves -- complex analytic, topological, algebro-geometric, and number theoretic -- are considered. Topics covered reflect my own biases. Very little, if anything, in these notes is original, except perhaps the selection of topics and the point of view.

研究动机与目标

• 通过椭圆曲线这一具体且易于处理的范例，介绍曲线的模空间。
• 通过具体构造 $\mathcal{M}_{1,1}$ 和 $\overline{\mathcal{M}}_{1,1}$，阐明在代数几何中使用轨道丛和堆栈的必要性。
• 展示模形式如何自然地作为 $\overline{\mathcal{M}}_{1,1}$ 上霍奇丛的全纯截面出现。
• 使用具体的几何与拓扑方法，计算 $\mathcal{M}_{1,1}$ 和 $\overline{\mathcal{M}}_{1,1}$ 的佩克特群与同伦型。
• 通过连接复分析、拓扑、代数几何与数论的视角，为模理论的高阶主题提供教学基础。

提出的方法

• 将模空间 $\mathcal{M}_{1,1}$ 构造为上半平面 $\mathfrak{h}$ 关于 $\mathrm{SL}_2(\mathbb{Z})$ 作用的商，并将其视为轨道丛。
• 通过堆的商构造，添加边界处的稳定椭圆曲线，定义 Deligne-Mumford 紧化 $\overline{\mathcal{M}}_{1,1}$。
• 利用轨道丛理论，通过 $\mathrm{SL}_2(\mathbb{Z})$ 在 $\mathfrak{h}$ 上的作用，以及 $\mathrm{SL}_2(\mathbb{Z}/m\mathbb{Z})$ 在 $\overline{\mathcal{M}}_{1,1}[m]$ 上的作用（$m \geq 3$），来引出堆的定义。
• 构造普遍椭圆曲线 $\mathcal{E} \to \mathcal{M}_{1,1}$，并利用模形式作为霍奇丛的截面，将其延拓为 $\overline{\mathcal{E}} \to \overline{\mathcal{M}}_{1,1}$。
• 通过线丛与模形式，计算出 $\mathcal{M}_{1,1}$ 的佩克特群为 $\mathbb{Z}/12\mathbb{Z}$，$\overline{\mathcal{M}}_{1,1}$ 的佩克特群为 $\mathbb{Z}$。
• 通过其轨道丛结构与基本群，分析 $\overline{\mathcal{M}}_{1,1}$ 的同伦型，并将其与模群的基本群联系起来。

实验结果

研究问题

• RQ1 如何通过 $\mathrm{SL}_2(\mathbb{Z})$ 在上半平面上的作用，将椭圆曲线的模空间构造为轨道丛？
• RQ2 模形式以何种方式作为 $\overline{\mathcal{M}}_{1,1}$ 上霍奇丛的全纯截面出现？
• RQ3 $\mathcal{M}_{1,1}$ 与 $\overline{\mathcal{M}}_{1,1}$ 的佩克特群结构是什么？它们如何通过模形式计算得出？
• RQ4 堆的视角如何在轨道丛的背景下，澄清模空间的几何结构？
• RQ5 $\mathcal{M}_{1,1}$ 与 $\overline{\mathcal{M}}_{1,1}$ 的同伦型是什么？它们与模群基本群有何关联？

主要发现

• 模空间 $\mathcal{M}_{1,1}$ 同构于轨道丛 $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathfrak{h}$，其具有一个阶为 2 的轨道丛点与一个阶为 3 的轨道丛点。
• Deligne-Mumford 紧化 $\overline{\mathcal{M}}_{1,1}$ 同构于射影直线 $\mathbb{P}^1$，其上有三个轨道丛点，分别对应 $j$-不变量的取值 0、$12^3$ 与 $\infty$。
• $\mathcal{M}_{1,1}$ 的佩克特群为 $\mathbb{Z}/12\mathbb{Z}$，由霍奇丛生成；$\overline{\mathcal{M}}_{1,1}$ 的佩克特群为 $\mathbb{Z}$，由线丛 $\mathcal{O}(1)$ 生成。
• 权为 $k$ 的模形式精确对应于 $\overline{\mathcal{M}}_{1,1}$ 上霍奇丛的 $k$ 次张量幂的全纯截面。
• $\overline{\mathcal{M}}_{1,1}$ 的同伦型为 $K(\mathrm{SL}_2(\mathbb{Z}),1)$ 空间，其基本群为 $\mathrm{SL}_2(\mathbb{Z})$，其上同调反映了模形式的结构。
• 普遍椭圆曲线 $\mathcal{E} \to \mathcal{M}_{1,1}$ 通过模形式的构造，延拓为一个稳定族 $\overline{\mathcal{E}} \to \overline{\mathcal{M}}_{1,1}$，从而将紧化后的普遍曲线实现为稳定曲线族。