[论文解读] Theta-duality on Prym varieties and a Torelli Theorem

Martí Lahoz, Juan Carlos Naranjo|arXiv (Cornell University)|Oct 3, 2010

Algebraic Geometry and Number Theory参考文献 18被引用 5

一句话总结

本文为非双椭圆曲线（genus $ g \geq 4 $）的无分支双覆盖所关联的Prym簇建立了方案层意义下的theta对偶等式，证明了 $ T(\widetilde{C}) = V^2 $ 与 $ T(V^2) = \widetilde{C} $，其中 $ V^2 $ 为指数2的Brill-Noether簇。通过傅里叶- Mukai变换与上同调技巧，进一步证明了一个Torelli型定理：变体 $ X^{-} $（参数化Prym簇上某些除子的簇）即使在无通用性假设下，也能确定原始双覆盖。

ABSTRACT

Let p:C' -> C be an unramified double covering of irreducible smooth curves and let P be the attached Prym variety. We prove the schematic theta-dual equalities in the Prym variety T(C')=V^2 and T(V^2)=C', where V^2 is the Brill-Noether locus of P associated to p considered by Welters. As an application we prove a Torelli Theorem analogous to the fact that the g-th symmetric product of a curve D of genus g determines the curve.

研究动机与目标

• 建立与非双椭圆曲线（genus $ g \geq 4 $）的无分支双覆盖相关的Prym簇中方案层意义下的theta对偶等式 $ T(\widetilde{C}) = V^2 $ 与 $ T(V^2) = \widetilde{C} $。
• 证明一个Torelli型定理，表明参数化Prym簇上次数为 $ g-1 $ 的有效除子的变体 $ X^{-} $ 能确定原始双覆盖 $ \widetilde{C} \to C $。
• 证明Brill-Noether簇 $ V^2 $ 与主极化 $ \Xi $ 一起能唯一确定覆盖关系，即使在无通用性或亏格限制下亦成立。
• 展示对 $ \widetilde{C} $ 上线丛的推前在傅里叶-Mukai变换下的结果，其上同调层实现为 $ \mathcal{I}_{V^2}(\Xi_\lambda) $，从而为对偶性证明提供基础。
• 在光滑立方三复形的中间雅可比簇背景下说明主定理，该雅可比簇同构于5维Prym簇。

提出的方法

• 对嵌入 $ j: \widetilde{C} \to P $ 的推前 $ j_*L $（其中 $ L \in \operatorname{Pic}^{2g-2}(\widetilde{C}) $ 且其范数为 $ \omega_C $）应用傅里叶-Mukai变换，以分析 $ X^{-} $ 与 $ V^2 $ 的几何结构。
• 利用当 $ h^0(L) $ 为奇数时，傅里叶-Mukai变换 $ \mathbf{R}\mathscr{S}_P(j_*L) $ 仅有两个非零上同调层 $ \mathcal{R}^0 $ 与 $ \mathcal{R}^1 $，且满足 $ \mathcal{R}^1 \cong \mathcal{I}_{V^2}(\Xi_\lambda) $ 的事实。
• 利用傅里叶-Mukai变换的对偶性质，由同构 $ \mathcal{R}^1 \cong \mathcal{I}_{V^2}(\Xi_\lambda) $ 推出 $ T(V^2) = \widetilde{C} $，其中 $ T(Y) $ 定义为满足 $ a + Y \subset \Xi $ 的点 $ a \in P $ 的集合。
• 使用Fitting支集与上同调技巧，证明方案层等式 $ T(\widetilde{C}) = V^2 $，该等式在集合意义下显然成立，但需精细的代数几何方法才能建立方案层意义下的等式。
• 结合 [B1]、[CG] 与 [H1] 的结果，将立方三复形的Fano面 $ F $（即直线的面）嵌入Prym簇中，识别出 $ V^2 $ 为 $ F $ 与 $ \sigma F $ 的平移并集。
• 利用恒等式 $ \mathcal{O}_{C_t}(D(r) + D(\sigma r)) \cong L^\otimes 2 $，证明映射 $ r \mapsto L^{-1}(D(r)) $ 将 $ C_t $ 嵌入 $ T(V^2) $，并借助主定理得出等式成立。

实验结果

研究问题

• RQ1 在Prym簇 $ P $ 中，曲线 $ \widetilde{C} $ 的方案层theta对偶是否等于Brill-Noether簇 $ V^2 $？
• RQ2 参数化Prym簇上次数为 $ g-1 $ 的有效除子的变体 $ X^{-} $ 是否能确定原始无分支双覆盖 $ \widetilde{C} \to C $？
• RQ3 等式 $ T(V^2) = \widetilde{C} $ 是否为方案层意义下的等式？它是否在无通用性假设（如曲线或其亏格）下依然成立？
• RQ4 傅里叶-Mukai变换对 $ j_*L $ 的结果如何与理想层 $ \mathcal{I}_{V^2}(\Xi_\lambda) $ 关联？该同构是否可用于证明对偶性？
• RQ5 在光滑立方三复形的中间雅可比簇情形下，主定理是否恢复了已知的 $ V^2 $ 与 $ T(V^2) $ 的几何结构？

主要发现

• 在 $ C $ 为非双椭圆曲线且 $ g \geq 4 $ 的假设下，Prym簇 $ P $ 中曲线 $ \widetilde{C} $ 的方案层theta对偶恰好为Brill-Noether簇 $ V^2 $，即 $ T(\widetilde{C}) = V^2 $。
• 对 $ V^2 $ 的方案层theta对偶为曲线 $ \widetilde{C} $，即 $ T(V^2) = \widetilde{C} $，这在Prym簇中建立了 $ \widetilde{C} $ 与 $ V^2 $ 之间的完美对偶。
• 参数化Prym簇上次数为 $ g-1 $ 的有效除子的变体 $ X^{-} $ 能确定原始双覆盖 $ \widetilde{C} \to C $，即使在无通用性或亏格限制下亦成立。
• 傅里叶-Mukai变换对 $ j_*L $ 的上同调层 $ \mathcal{R}^1 $ 同构于理想层 $ \mathcal{I}_{V^2}(\Xi_\lambda) $，这是证明对偶性结果的核心。
• 在光滑立方三复形的中间雅可比簇情形下，$ V^2 $ 为Fano面 $ F $ 与其对称面 $ \sigma F $ 的两个平移的并集，且 $ T(V^2) $ 同构于与固定直线 $ t $ 相交的直线曲线 $ C_t $，从而在经典几何背景下验证了主定理。
• 等式 $ T(V^2) = \widetilde{C} $ 通过交集 $ F_{L^{-2}} \cap (-1)^*F_{L^{-2}} $ 得到证明，其结果为 $ C_t $，表明该对偶性在立方三复形的已知几何背景下成立。