2025-11-14T15:52:18.038559

On the uniqueness of the Prym map

ServÃ¡n

The classical Prym construction associates to a smooth, genus $g$ complex curve $X$ equipped with a nonzero cohomology class $Î¸\in H^1(X,\mathbb{Z}/2\mathbb{Z})$, a principally polarized abelian variety (PPAV) $\mbox{Prym}(X,Î¸)$. Denote the moduli space of pairs $(X,Î¸)$ by $\mathcal{R}_g$, and let $\mathcal{A}_h$ be the moduli space of PPAVs of dimension $h$. The Prym construction globalizes to a holomorphic map of complex orbifolds $\mbox{Prym}: \mathcal{R}_g \to \mathcal{A}_{g-1}$. For $g\geq 4$ and $h \leq g-1$, we show that $\mbox{Prym}$ is the unique nonconstant holomorphic map of complex orbifolds $F:\mathcal{R}_g \to \mathcal{A}_h$. This solves a conjecture of Farb. A main component in our proof is a classification of homomorphisms $Ï_1^{\mbox{orb}}(\mathcal{R}_g) \to \mbox{Sp}(2h,\mathbb{Z})$ for $h \leq g-1$. This is achieved using arguments from geometric group theory and low-dimensional topology.

academic

On the uniqueness of the Prym map

基本信息

论文ID: 2207.01704
标题: On the uniqueness of the Prym map
作者: Carlos A. Servián
分类: math.AG (代数几何), math.GT (几何拓扑)
发表时间: 2022年7月 (arXiv v2: 2025年10月)
论文链接: https://arxiv.org/abs/2207.01704

摘要

经典的Prym构造将一个光滑的genus $g$ 复曲线 $X$ 及其非零上同调类 $\theta \in H^1(X,\mathbb{Z}/2\mathbb{Z})$ 关联到一个主极化阿贝尔簇(PPAV) $\text{Prym}(X,\theta)$ 。设 $(X,\theta)$ 对的模空间为 $\mathcal{R}_g$ ， $h$ 维PPAV的模空间为 $\mathcal{A}_h$ 。Prym构造全局化为复轨道fold的全纯映射 $\text{Prym}: \mathcal{R}_g \to \mathcal{A}_{g-1}$ 。对于 $g\geq 4$ 和 $h \leq g-1$ ，作者证明了 $\text{Prym}$ 是唯一的非常数全纯轨道fold映射 $F:\mathcal{R}_g \to \mathcal{A}_h$ 。这解决了Farb的一个猜想。证明的主要组成部分是对 $h \leq g-1$ 时同态 $\pi_1^{\text{orb}}(\mathcal{R}_g) \to \text{Sp}(2h,\mathbb{Z})$ 的分类，使用了几何群论和低维拓扑的论证。

研究背景与动机

问题背景

Torelli映射的刚性: Farb在最近的工作中证明了，对于 $g \geq 3$ 和 $h \leq g$ ，Jacobian诱导的Torelli映射 $J: \mathcal{M}_g \to \mathcal{A}_g$ 是唯一的非常数全纯轨道fold映射 $\mathcal{M}_g \to \mathcal{A}_h$ 。
Prym构造的重要性: Prym簇提供了一个经典的例子，展示如何从genus $g$ 的光滑曲线获得维数为 $g-1$ 的PPAV。任何非零 $\theta \in H^1(X,\mathbb{Z}/2\mathbb{Z})$ 定义一个无分支双覆盖 $p: Y \to X$ ，其中 $Y$ 是genus $2g-1$ 的曲线。
研究动机:
- 为了将额外数据附加到genus $g$ 的光滑曲线上，以便以尊重轨道fold结构的方式将维数小于 $g$ 的PPAV关联到每条这样的曲线
- Farb猜想Prym映射具有类似于Torelli映射的全纯刚性
- 理解模空间之间全纯映射的分类问题

问题的重要性

模理论意义: 这个问题涉及代数几何中模空间的基本性质，特别是不同模空间之间映射的唯一性
几何群论联系: 证明需要深入理解mapping class群的表示理论
广泛影响: 结果对理解阿贝尔簇模空间的几何结构具有重要意义

核心贡献

主要定理: 证明了Prym映射的全纯刚性定理(Theorem 1.1)：对于 $g \geq 4$ 和 $h \leq g-1$ ，任何非常数全纯轨道fold映射 $F: \mathcal{R}_g \to \mathcal{A}_h$ 都满足 $h = g-1$ 且 $F = \text{Prym}$ 。
轨道fold结构的区分: 发现并分析了 $\mathcal{R}_g$ 上两种不同的轨道fold结构，证明了它们给出关于到 $\mathcal{A}_h$ 映射的非常不同的结果。
表示理论分类: 完成了对mapping class群 $\text{Mod}(S_{2g-1}, \sigma)$ 和 $\text{Mod}(S_g, [\beta])$ 的低维线性和辛表示的分类(Theorems 1.3和3.1)。
几何群论技术: 证明了修正曲线复形 $N_1(S_g)$ 的连通性，并建立了新的生成集理论。

方法详解

任务定义

证明对于genus $g \geq 4$ 的情况，Prym映射 $\text{Prym}: \mathcal{R}_g \to \mathcal{A}_{g-1}$ 是从 $\mathcal{R}_g$ 到任何 $\mathcal{A}_h$ ( $h \leq g-1$ )的唯一非常数全纯轨道fold映射。

主要技术框架

1. 轨道fold结构分析

两种轨道fold结构:
- $\hat{\mathcal{R}}_g$ ：轨道fold基本群为 $\text{Mod}(S_g, [\beta])$
- $\mathcal{R}_g$ ：轨道fold基本群为 $\text{Mod}(S_{2g-1}, \sigma)$
关键差异: 只有后者允许Prym构造定义轨道fold映射