[论文解读] A modular compactification of $\mathcal{M}_{1,n}$ from $A_\infty$-structures

Yankı Lekili, Alexander Polishchuk|arXiv (Cornell University)|Aug 4, 2014

Algebraic Geometry and Number Theory参考文献 14被引用 6

一句话总结

本文建立了关于具有 $n$ 个标记点的亏格一曲线所关联的某代数上最小 $A_\infty$-结构的模空间与 Smyth 的模紧化 $\overline{\mathcal{M}}_{1,n}(n-1)$ 之间的精确对应关系，证明了当且仅当 $n \leq 11$ 时，紧化模空间是正规的、Gorenstein 的，并具有有理奇点。该构造通过导出范畴与同调微扰理论实现，利用 $A_\infty$-结构实现紧化。

ABSTRACT

We show that a certain moduli space of minimal $A_\infty$-structures coincides with the modular compactification $\bar{\mathcal{M}}_{1,n}(n-1)$ of $\mathcal{M}_{1,n}$ constructed by Smyth. In addition, we describe these moduli spaces and the universal curves over them by explicit equations, prove that they are normal and Gorenstein, show that their Picard groups have no torsion and that they have rational singularities if and only if $n\le 11$.

研究动机与目标

• 建立具有 $n$ 个标记点的亏格一曲线上 $A_\infty$-结构模空间与 $\mathcal{M}_{1,n}$ 的模紧化之间的几何对应关系。
• 证明此类 $A_\infty$-结构的模空间与 Smyth 的 $\overline{\mathcal{M}}_{1,n}(n-1)$ 同构，后者是通过 $m$-稳定性构造的紧化。
• 通过显式方程描述紧化模空间及其通用曲线，并研究其几何性质，包括正规性、Gorenstein 条件及 Picard 群结构。
• 确定模空间在 $d$-截断层面上的精确稳定化水平，该水平依赖于 $n$ 与基域的特征。

提出的方法

• 构造在具有 $n$ 个标记点的亏格一曲线上，对生成元 $G = \mathcal{O}_C \oplus \bigoplus_{i=1}^n \mathcal{O}_{p_i}$ 的 Ext-代数上最小 $A_\infty$-结构的模空间 $\mathcal{U}_{1,n}^{\text{sns}}$。
• 利用同调微扰理论定义至规范等价的 $A_\infty$-结构，确保导出范畴能恢复曲线。
• 证明 $A_\infty$-结构由 Ext-代数通过曲线唯一确定，且模空间 $\mathcal{M}_\infty(E_{1,n})$ 同构于 $\mathcal{U}_{1,n}^{\text{sns}}$。
• 对充分大的 $d$，建立 $\mathcal{M}_\infty(E_{1,n})$ 与 $\mathcal{M}_d(E_{1,n})$ 之间的同构，并给出依赖于 $n$ 与特征的 $d$ 的显式界限。
• 利用仿射概形 $U_n$ 上的显式代数坐标，将模空间描述为仿射空间的闭子概形，并将该嵌入识别为从 $A_\infty$-结构到 $A_3$-结构的遗忘映射。
• 应用 Hochschild 上同调与形变理论的结果，证明截断模空间的逆极限在有限 $d$ 处稳定，并计算出稳定化的阈值。

实验结果

研究问题

• RQ1 具有 $n$ 个标记点的亏格一曲线的 Ext-代数上最小 $A_\infty$-结构的模空间是否与 Smyth 的模紧化 $\overline{\mathcal{M}}_{1,n}(n-1)$ 重合？
• RQ2 使得 $A_\infty$-结构的模空间同构于其 $d$-截断的精确稳定化水平 $d$ 是什么？
• RQ3 在何种条件下模空间 $\mathcal{U}_{1,n}^{\text{sns}}$ 是正规且 Gorenstein 的？
• RQ4 模空间 $\mathcal{U}_{1,n}^{\text{sns}}$ 何时具有有理奇点？
• RQ5 模空间 $\mathcal{U}_{1,n}^{\text{sns}}$ 的 Picard 群结构如何？

主要发现

• 具有 $n$ 个标记点的亏格一曲线的 Ext-代数上最小 $A_\infty$-结构的模空间 $\mathcal{U}_{1,n}^{\text{sns}}$ 同构于 Smyth 的紧化 $\overline{\mathcal{M}}_{1,n}(n-1)$。
• 模空间 $\mathcal{U}_{1,n}^{\text{sns}}$ 在 $\operatorname{Spec}(\mathbb{Z})$ 上是正规且 Gorenstein 的。
• $\mathcal{U}_{1,n}^{\text{sns}}$ 的 Picard 群无挠。
• 模空间具有有理奇点当且仅当 $n \leq 11$。
• 截断模空间 $\mathcal{M}_d(E_{1,n})$ 的逆极限稳定：当 $n \geq 5$ 时，对所有 $d \geq 4$，有 $\mathcal{M}_\infty(E_{1,n}) \simeq \mathcal{M}_d(E_{1,n})$。
• 当 $n=3$ 时，稳定化发生在 $d \geq 5$；当 $n=2$ 时，$d \geq 6$；当 $n=1$ 时，$d \geq 8$，在特征 $\neq 2,3$ 的域上成立。