[论文解读] Weierstrass cycles in moduli spaces and the Krichever map

Jia-Ming, Liou+1 more|arXiv (Cornell University)|Jul 2, 2012

Algebraic Geometry and Number Theory参考文献 11被引用 3

一句话总结

本文建立了一个上同调框架，将 Krichever 映射与模曲线空间中的 Weierstrass 循环联系起来，利用 Sato Grassmannian 的等变上同调。它推导出 Weierstrass 循环上同调类的显式公式，以平移和阶乘 Schur 函数表示，从而实现对亏格 ≤6 时的典型关系和 Weierstrass 簇维数的计算。

ABSTRACT

We analyze cohomological properties of the Krichever map and use the results to study Weierstrass cycles in moduli spaces and the tautological ring.

研究动机与目标

• 理解带标记点的曲线模空间 $\mathcal{M}_{g,1}$ 中 Weierstrass 循环的上同调结构。
• 分析 Krichever 映射在 Sato Grassmannian 中的像及其与 Schubert 循环的相互作用。
• 利用等变上同调与对称函数，推导出 Weierstrass 循环对偶上同调类的显式公式。
• 通过这些类的拉回与上推，建立 $\mathcal{M}_g$ 的典型环中的关系。
• 对 $g \leq 6$，估计 Weierstrass 循环的维数，并计算其上同调类（至多一个常数因子）。

提出的方法

• 利用 Krichever 映射 $k: \widehat{\mathcal{M}}_g \to \mathrm{Gr}_{g-1}(\mathcal{H})$ 将曲线几何与无穷维 Grassmannian 几何联系起来。
• 对 Grassmannian 应用 $S^1$-等变上同调技术，将其识别为平移对称函数的环。
• 将 Schubert 类的拉回 $k^*\Omega_\mu^T$ 表示为阶乘 Schur 函数 $t_\mu(-k^*x_i/\psi)$ 的形式。
• 将对偶上同调类 $[W_H]$ 推导为 $\mathrm{const}^g s_\mu^*(z_1,\dots,z_g)(-\psi)^{|\mu|}$ 的倍数，其中 $z_i = (k^*x_i - (i-g-1)\psi)/(-\psi)$。
• 使用拉回-上推公式，将 $\mathcal{M}_g$ 中的类 $[W_S']$ 计算为 kappa-类 $\kappa_b$ 和对称函数的组合。
• 利用 Serre 定理验证上同调类公式中常数因子的非零性。

实验结果

研究问题

• RQ1 Weierstrass 循环 $W_H \subset \mathcal{M}_{g,1}$ 的上同调类如何用 Grassmannian 的等变上同调表示？
• RQ2 Krichever 映射与捕捉 Weierstrass 簇的 Grassmannian 中 Schubert 循环之间的确切关系是什么？
• RQ3 能否从 Krichever 映射下 Schubert 循环类的拉回中推导出 $\mathcal{M}_g$ 中的典型关系？
• RQ4 对于低亏格 $g \leq 6$，Weierstrass 循环的维数是多少？其上同调类能否在常数因子意义下被计算？
• RQ5 在何种条件下，对偶类 $[W_H]$ 与 $\pi^{-1}k^*\Omega_\mu^T$ 成比例且系数为 1？

主要发现

• Weierstrass 循环的上同调类 $[W_S]$ 与 $\mathrm{const}^g s_\mu^*(z_1,\dots,z_g)(-\psi)^{|\mu|}$ 成比例，其中 $z_i = (k^*x_i - (i-g-1)\psi)/(-\psi)$，$\mu$ 为与 Weierstrass 序列相关的分拆。
• 当 Krichever 轨迹与 Schubert 循环的交为横截时，比例常数为 1，从而得到 $[W_S] = s_\mu^*(z_1,\dots,z_g)(-\psi)^{|\mu|}$。
• 对于 $g \leq 6$，Weierstrass 循环的维数被估计，并基于 [15] 和 [16] 的计算表明，其维数要么精确匹配，要么相差 1。
• 当满足期望维数条件时，$\mathcal{M}_g$ 中的类 $[W_S']$ 由 $\mathrm{const} \sum_i (-1)^{\nu|-i} \kappa_{|\nu|-i-1} t_\nu^i(k^*x_1,\dots,k^*x_g)$ 给出，其中 $\nu$ 对应该 Weierstrass 序列。
• 当余维数不等于 $|\mu|$ 时，$[W_S]$ 的公式仍作为虚拟类有效，其乘法规则继承自 Grassmannian Schubert 上同调的计算。
• 结果提供了一种系统方法，通过与 Faber 对典型环的描述进行比较，计算 $\mathcal{M}_g$ 中的典型关系。