[论文解读] A remark on a conjecture of Hain and Looijenga

Carel Faber|arXiv (Cornell University)|Dec 18, 2008

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

一句话总结

本文建立了关于曲线模空间的塔罗逻辑环上三个主要猜想之间的深度等价关系：关于紧致类型、有理尾部和稳定曲线的模空间的 Gorenstein 猜想。证明了猜想 (A) 和 (C) 对所有情况成立，当且仅当关于有理尾部的广义 Hain-Looijenga 猜想 (E) 成立，从而将 Poincaré 对偶性、对偶配对与紧支集塔罗逻辑类的模结构联系起来。

ABSTRACT

After recalling the various tautological algebras of the moduli space of curves and some of its partial compactifications and stating several well-known results and conjectures concerning these algebras, we prove that the natural extension to the case of pointed curves of a 1996 conjecture of Hain and Looijenga is true if and only if two of the stated conjectures are true.

研究动机与目标

• 建立 $M^{rt}_{g,n}$、$M^{ct}_{g,n}$ 和 ${\overline{M}}_{g,n}$ 的塔罗逻辑环上 Gorenstein 猜想之间的等价性。
• 通过引入 $R^\bullet_c(M^{rt}_{g,n})$，将 Hain 和 Looijenga 的猜想 (Conjecture 1) 从 $n=0$ 推广到 $n>0$。
• 证明 $R^\bullet(M^{rt}_{g,n})$ 和 $R^\bullet({\overline{M}}_{g,n})$ 的 Gorenstein 性质，等价于 $R^\bullet_c(M^{rt}_{g,n})$ 作为 $R^\bullet(M^{rt}_{g,n})$-模的自由性与对偶结构。
• 表明任一关键猜想的失败都会在紧支集塔罗逻辑环中导致反例，从而通过 duality 将它们的有效性联系起来。

提出的方法

• 将 $R^\bullet_c(M^{rt}_{g,n})$ 定义为在 ${\overline{M}}_{g,n} \setminus M^{rt}_{g,n}$ 上消失的塔罗逻辑类的理想，推广了 Hain 和 Looijenga 的紧支集塔罗逻辑环。
• 利用标准粘合映射和遗忘映射的上推与下拉映射，分析塔罗逻辑类及其在边界退化下的行为。
• 应用对偶配对 $R^k(M^{rt}_{g,n}) \times R^{3g-3+n-k}_c(M^{rt}_{g,n}) \to \mathbb{Q}$ 来检验完美性与模结构。
• 通过偏序关系 $(g',n') \leq (g,n)$ 上的归纳法，将问题约化为最小反例。
• 利用已知的关于 $R^\bullet(M^{rt}_{g,n})$、$R^\bullet(M^{ct}_{g,n})$ 和 $R^\bullet({\overline{M}}_{g,n})$ 的零化与对偶性结果，推导出各猜想之间的蕴含关系。
• 利用 $\lambda_g\lambda_{g-1}$ 在猜想 (E) 成立时，作为 $R^\bullet(M^{rt}_{g,n})$-模自由生成 $R^\bullet_c(M^{rt}_{g,n})$ 的事实，并证明这蕴含 (A) 和 (C) 的 Gorenstein 性质。

实验结果

研究问题

• RQ1 当且仅当 $R^\bullet_c(M^{rt}_{g,n})$ 是 $R^\bullet(M^{rt}_{g,n})$-模的秩为一的自由模时，塔罗逻辑环 $R^\bullet(M^{rt}_{g,n})$ 是否在度数 $g-2+n-\delta_{0g}$ 处为 Gorenstein 且其 socle 位于该度数？
• RQ2 配对 $R^k(M^{rt}_{g,n}) \times R^{3g-3+n-k}_c(M^{rt}_{g,n}) \to \mathbb{Q}$ 的完美性是否蕴含 $R^\bullet({\overline{M}}_{g,n})$ 的 Gorenstein 性质？
• RQ3 能否通过塔罗逻辑对偶性和紧支集类结构，将 Hain-Looijenga 猜想推广至 $n>0$？
• RQ4 Gorenstein 猜想 (A)、(B) 和 (C) 与 $R^\bullet_c(M^{rt}_{g,n})$ 的模理论结构之间的确切关系为何？
• RQ5 若 $R^\bullet_c(M^{rt}_{g,n})$ 不是 $R^\bullet(M^{rt}_{g,n})$-模的自由模，是否意味着 Gorenstein 猜想 (A) 或 (C) 失败？

主要发现

• 猜想 (A) 和 (C) 对所有 $(g,n)$ 成立，当且仅当猜想 (E) 对所有 $(g,n)$ 成立，从而在 Gorenstein 猜想与广义 Hain-Looijenga 对偶性之间建立了完全等价关系。
• 由 $\lambda_g\lambda_{g-1}$ 无法自由生成 $R^\bullet_c(M^{rt}_{g,n})$ 的事实可推出 $E_{(g,n)} \Rightarrow A_{(g,n)}$：若其不自由生成，则配对中存在非平凡核，导致 $A_{(g,n)}$ 失败。
• $A_{(g,n)}$ 和 $C_{(g,n)} \Rightarrow D_{(g,n)}$ 的蕴含关系通过如下方式建立：若 $R^\bullet_c(M^{rt}_{g,n})$ 或 $R^\bullet(M^{rt}_{g,n})$ 中存在非零类与所有对偶类配对为零，则与 (A) 或 (C) 矛盾。
• $R^\bullet_c(M^{rt}_{g,n})$ 作为 $R^\bullet(M^{rt}_{g,n})$-模的自由性，等价于 $\lambda_g\lambda_{g-1}$ 乘法映射的单射性与满射性，而在此 Gorenstein 假设下二者等价。
• 该结果表明，$\overline{M}_{1,n}$ 的 Gorenstein 猜想（即 $g=1$ 时的猜想 C）成立，当且仅当 $E_{(1,n)}$ 成立，该结论后由 Petersen 证实。
• 本文提供了一个统一框架，通过 duality 和模结构将 Gorenstein 猜想联系起来，将 (A) 和 (C) 的有效性归约为有理尾部局部的单一猜想 (E)。