[论文解读] Tau function and the Prym class

D. Korotkin, P. Zograf|arXiv (Cornell University)|Feb 4, 2013

Meromorphic and Entire Functions被引用 4

一句话总结

本文在高亏格 $g \geq 2$ 的稳定曲线的全纯二次微分模空间上引入了两个Bergman $\tau$ 函数，并利用其在边界除子附近的渐近行为，推导出有理Picard群中的显式关系。关键结果是建立了Prym类 $\lambda_P$、Hodge类 $\lambda$、典范类 $\psi$ 与边界除子类 $\delta_j$ 之间的新关系，该关系通过$\tau$ 函数分析恢复并推广了Mumford在二次微分背景下的关系。

ABSTRACT

We use the formalism of the Bergman tau functions to study the geometry of moduli spaces of holomorphic quadratic differentials on complex algebraic curves. We introduce two natural tau functions and interpret them as holomorphic sections of certain line bundles on the moduli space. Analyzing the asymptotic behavior of these tau functions near the boundary of the moduli space we get two non-trivial relation in the rational Picard group of the moduli space of quadratic differential.

研究动机与目标

• 研究亏格 $g \geq 2$ 的稳定曲线上的全纯二次微分模空间 $\overline{\mathcal{Q}}_g$ 的几何结构。
• 在 $P\overline{\mathcal{Q}}_g$ 上定义并分析两个自然的$\tau$ 函数，作为线丛上的全纯截面。
• 通过在 $P\overline{\mathcal{Q}}_g$ 的边界除子附近对这些$\tau$ 函数进行渐近分析，推导其有理Picard群中的关系。
• 建立Prym类 $\lambda_P$、Hodge类 $\lambda$、典范类 $\psi$ 与边界除子类 $\delta_j$ 之间的新关系。

提出的方法

• 作者使用二次微分模空间上的Bergman $\tau$ 函数形式化方法定义了两个$\tau$ 函数 $\tau_\pm$。
• 通过局部坐标和留数计算，分析 $\tau_\pm$ 在 $P\overline{\mathcal{Q}}_g$ 的边界除子 $D_{\text{deg}}, D_0, \dots, D_{[g/2]}$ 附近的渐近行为。
• 分析过程涉及通过与二次微分 $q = v^2$ 相关的典范双覆盖 $\widehat{C} \to C$ 将二次微分提升至阿贝尔覆盖，并将 $\widehat{C}$ 上的Hodge丛分解为 $\mu$-不变与反不变部分。
• Prym丛 $\Lambda_-$ 被识别为对合 $\mu$ 的 $-1$ 特征空间，其第一陈类 $\lambda_P$ 通过$\tau$ 函数渐近行为计算得出。
• 该方法依赖于在节点和极点附近对 Schwarzian 导数差 $S_{\widehat{B}_0} - S_{v_0}$ 的留数计算。
• 利用所得渐近行为，通过将 $\tau_\pm$ 的对数导数与除子类匹配，推导出有理Picard群中的线性关系。

实验结果

研究问题

• RQ1 Bergman $\tau$ 函数在二次微分模空间 $P\overline{\mathcal{Q}}_g$ 的边界附近如何渐近表现？
• RQ2 从这些$\tau$ 函数的渐近行为中，可在 $P\overline{\mathcal{Q}}_g$ 的有理Picard群中推导出哪些关系？
• RQ3 Prym类 $\lambda_P$ 如何与Hodge类 $\lambda$、典范类 $\psi$ 及边界除子类 $\delta_j$ 相关联？
• RQ4 Mumford关系 $\lambda_2 = 13\lambda_1$ 是否能在二次微分模空间背景下被恢复并推广？

主要发现

• 在退化除子 $D_{\text{deg}}$ 附近，$\tau_\pm$ 的渐近行为导出关系 $48\lambda - \frac{20}{3}(g-1)\psi = \frac{2}{3}\delta_{\text{deg}} + 4\sum_{j=0}^{[g/2]}\delta_j$。
• 在除子 $D_0$ 附近，$\tau_\pm$ 的渐近行为导出相同关系，验证了不同边界分量间的一致性。
• 在每个 $D_j$（$j \geq 1$）附近，渐近行为显示当 $t \to 0$ 时 $\tau_\pm \sim t^4$，从而导出相同的全局关系。
• 综合所有渐近结果，得到关键关系 $\lambda_P - 13\lambda = -\sum_{j=0}^{[g/2]}\delta_j - \frac{3}{2}(g-1)\psi$，该关系在 $\text{Pic}(P\overline{\mathcal{Q}}_g) \otimes \mathbb{Q}$ 中成立。
• 该关系蕴含Mumford关系的拉回形式：$p^*\lambda_2 - 13p^*\lambda_1 = -\sum_{j=0}^{[g/2]}\delta_j$ 在 $P\overline{\mathcal{Q}}_g$ 上成立，其中 $\lambda_2 = c_1(\pi_*\omega_g^2)$。
• 证明了Prym类 $\lambda_P$ 满足 $\lambda_P = p^*\lambda_2 - \frac{3g-3}{2}\psi$，从而将其与二次微分的行列式丛联系起来。