[论文解读] On the S_n-equivariant Euler characteristic of M_{2,n}

Eugene Gorsky|ArXiv.org|Jul 18, 2007

Advanced Algebra and Geometry参考文献 9被引用 3

一句话总结

本论文通过将格茨勒公式推广至具有非平凡自同构群的代数簇，推导出具有 $n$ 个标记点的亏格 2 曲线模空间 $Χ_{2,n}$ 的 $S_n$-等变欧拉特征。该研究考虑了自同构群在点配置空间上的作用，利用群作用与亚当斯运算计算等变欧拉特征的生成函数，从而对所有 $n$ 得到一个闭式表达公式。关键成果是一个精确的生成函数，其包含了不同对称类型曲线上轨道空间的贡献。

ABSTRACT

The Getzler's formula relates the S_n-equivariant Hodge-Deligne polynomial of the space of ordered tuples of distinct points on a given variety X with the Hodge-Deligne polynomial of X. We obtain the analogue of this formula for the case when X has a nontrivial automorphism group. Collecting together all strata of $\mathcal{M}_2$ with different automorphism groups, we derive a formula for the S_n-equivariant Euler characteristic of $\mathcal{M}_{2,n}$.

研究动机与目标

• 计算具有 $n$ 个标记点的亏格 2 曲线模空间 $\mathcal{M}_{2,n}$ 的 $S_n$-等变欧拉特征。
• 将格茨勒公式从 $S_n$-等变霍奇-德利涅多项式推广至具有非平凡自同构群的代数簇。
• 在忘却映射 $\mathcal{M}_{2,n} \to \mathcal{M}_2$ 的纤维中，考虑 $\mathrm{Aut}(C)$ 对配置空间 $F(C,n)$ 的作用。
• 通过分析 $\mathcal{M}_2$ 中具有不同自同构群的子簇，推导出 $S_n$-等变欧拉特征的生成函数。

提出的方法

• 通过引入有限群表示的格罗滕迪克环并使用亚当斯运算，将格茨勒公式修改以包含群作用。
• 利用拉姆齐不动点定理计算上同调上群作用的特征标，将其与不动点计数关联。
• 通过涉及牛顿多项式 $p_k$ 和轨道数据的生成函数，计算有限群 $G$ 作用在 $X$ 上时 $F(X,n)/G$ 的 $S_n$-等变欧拉特征。
• 按自同构群类型（如双椭圆对合、更大群）对 $\mathcal{M}_2$ 中的子簇进行分类，并通过轨道计数与轨道欧拉特征计算其贡献。
• 通过分析具有不同自同构群的曲线上方的纤维，将公式应用于 $\mathcal{M}_{2,n}$，特别关注 $\mathrm{Aut}(C)$ 作用下 $\mathbb{CP}^1$ 的商空间。
• 利用 $\mathbb{CP}^1$ 上对称构型的结构及双椭圆模空间的已知结果，推导出 $S_n$-等变欧拉特征的生成函数。

实验结果

研究问题

• RQ1 格茨勒公式在 $S_n$-等变霍奇-德利涅多项式上的推广，能否推广至具有非平凡自同构群的代数簇？
• RQ2 具有 $n$ 个标记点的亏格 2 曲线模空间 $\mathcal{M}_{2,n}$ 的 $S_n$-等变欧拉特征是什么？
• RQ3 亏格 2 曲线的自同构群如何影响标记点配置空间的等变拓扑？
• RQ4 能否利用群作用数据与轨道修正项，以闭式表达 $\mathcal{M}_{2,n}$ 的 $S_n$-等变欧拉特征的生成函数？
• RQ5 双椭圆对合及其他自同构在计算 $\mathcal{M}_{2,n}$ 的轨道欧拉特征中起什么作用？

主要发现

• 通过考虑点构型上自同构群作用的推广公式，推导出 $\mathcal{M}_{2,n}$ 的 $S_n$-等变欧拉特征。
• 该 $S_n$-等变欧拉特征的生成函数以牛顿多项式 $p_k$ 和群作用轨道数据为参数，表示为有理函数。
• 在亏格 2 情形下，忘却映射 $\mathcal{M}_{2,n} \to \mathcal{M}_2$ 在曲线 $C$ 上的纤维为 $F(C,n)/\mathrm{Aut}(C)$，而非 $F(C,n)$，且该商空间在 $\mathrm{Aut}(C)$ 作用下同构于 $\mathbb{CP}^1$。
• 双椭圆模空间 $\mathcal{H}_{g,0}$ 的轨道欧拉特征为 $-{1\over 4g(2g+1)(2g+2)}$，其贡献于双椭圆模空间的生成函数。
• 当 $g=2$ 时，欧拉特征 $\chi(\mathcal{H}_{2,5})$ 为零，该结果为新发现且非平凡。
• 生成函数 $\chi(\mathcal{H}_{g,n})$ 由包含 $a$、$b$、$c$ 和 $d$ 的有理表达式给出，其中 $d = -{1\over 4g(2g+1)(2g+2)}$，并满足线性约束 $2a + 2b + c = 1 + {1\over 2g(2g+1)(2g+2)}$。