On the uniqueness of the Prym map

Basic Information

• Paper ID: 2207.01704
• Title: On the uniqueness of the Prym map
• Author: Carlos A. Servián
• Classification: math.AG (Algebraic Geometry), math.GT (Geometric Topology)
• Publication Date: July 2022 (arXiv v2: October 2025)
• Paper Link: https://arxiv.org/abs/2207.01704

Abstract

The classical Prym construction associates to a smooth genus $g$ complex curve $X$ and a nonzero cohomology class $\theta \in H^1(X,\mathbb{Z}/2\mathbb{Z})$ a principally polarized abelian variety (PPAV) $\text{Prym}(X,\theta)$. Let $\mathcal{R}_g$ denote the moduli space of $(X,\theta)$ pairs and $\mathcal{A}_h$ the moduli space of $h$-dimensional PPAVs. The Prym construction globalizes to a holomorphic orbifold map $\text{Prym}: \mathcal{R}_g \to \mathcal{A}_{g-1}$. For $g\geq 4$ and $h \leq g-1$, the author proves that $\text{Prym}$ is the unique non-constant holomorphic orbifold map $F:\mathcal{R}_g \to \mathcal{A}_h$. This resolves a conjecture of Farb. The main component of the proof is a classification of homomorphisms $\pi_1^{\text{orb}}(\mathcal{R}_g) \to \text{Sp}(2h,\mathbb{Z})$ for $h \leq g-1$, employing arguments from geometric group theory and low-dimensional topology.

Research Background and Motivation

Problem Background

1. Rigidity of the Torelli map: Farb recently proved that for $g \geq 3$ and $h \leq g$, the Torelli map $J: \mathcal{M}_g \to \mathcal{A}_g$ induced by the Jacobian is the unique non-constant holomorphic orbifold map $\mathcal{M}_g \to \mathcal{A}_h$.
2. Significance of the Prym construction: Prym varieties provide a classical example of how to obtain a PPAV of dimension $g-1$ from a smooth curve of genus $g$. Any nonzero $\theta \in H^1(X,\mathbb{Z}/2\mathbb{Z})$ defines an unramified double cover $p: Y \to X$, where $Y$ is a curve of genus $2g-1$.
3. Research motivation:
   • To attach additional data to smooth genus $g$ curves in a manner respecting the orbifold structure, thereby associating PPAVs of dimension less than $g$ to each such curve
   • Farb conjectured that the Prym map possesses holomorphic rigidity similar to the Torelli map
   • Understanding classification problems for holomorphic maps between moduli spaces

Importance of the Problem

• Moduli-theoretic significance: This problem concerns fundamental properties of moduli spaces in algebraic geometry, particularly the uniqueness of maps between different moduli spaces
• Connection to geometric group theory: The proof requires deep understanding of representation theory of mapping class groups
• Broad impact: Results are important for understanding the geometric structure of moduli spaces of abelian varieties

Core Contributions

1. Main Theorem: Proves the holomorphic rigidity theorem for the Prym map (Theorem 1.1): For $g \geq 4$ and $h \leq g-1$, any non-constant holomorphic orbifold map $F: \mathcal{R}_g \to \mathcal{A}_h$ satisfies $h = g-1$ and $F = \text{Prym}$.
2. Distinction of orbifold structures: Identifies and analyzes two distinct orbifold structures on $\mathcal{R}_g$, proving they yield substantially different results regarding maps to $\mathcal{A}_h$.
3. Representation-theoretic classification: Completes the classification of low-dimensional linear and symplectic representations of the mapping class groups $\text{Mod}(S_{2g-1}, \sigma)$ and $\text{Mod}(S_g, [\beta])$ (Theorems 1.3 and 3.1).
4. Geometric group theory techniques: Proves connectivity of the modified curve complex $N_1(S_g)$ and establishes new generating set theory.

Detailed Methodology

Problem Formulation

Prove that for genus $g \geq 4$, the Prym map $\text{Prym}: \mathcal{R}_g \to \mathcal{A}_{g-1}$ is the unique non-constant holomorphic orbifold map from $\mathcal{R}_g$ to any $\mathcal{A}_h$ ($h \leq g-1$).

Main Technical Framework

1. Orbifold Structure Analysis

• Two orbifold structures:
  • $\hat{\mathcal{R}}_g$: orbifold fundamental group is $\text{Mod}(S_g, [\beta])$
  • $\mathcal{R}_g$: orbifold fundamental group is $\text{Mod}(S_{2g-1}, \sigma)$
• Key difference: Only the latter allows the Prym construction to define an orbifold map

2. Representation-Theoretic Approach

Prym representation: $\text{Prym}_*: \text{Mod}(S_{2g-1}, \sigma) \to \text{Sp}(2g-2, \mathbb{Z})$

Rigidity theorem: For homomorphisms $\phi: \text{Mod}(S_{2g-1}, \sigma) \to \text{GL}(m,\mathbb{C})$ with $m \leq 2(g-1)$:

• If $m < 2(g-1)$, then $\text{Im}(\phi)$ is a cyclic group of order at most 4
• If $m = 2g-2$, then $\phi$ either has finite image or is conjugate to $f \mapsto \chi(f)\text{Prym}_*(f)$

3. Geometric Group Theory Techniques

Curve complex methods:

• Define the modified curve complex $N_1(S_g)$ with vertices $\{a: \hat{i}_2([a],[\beta]) = 1\}$
• Prove connectivity of $N_1(S_g)$ (Lemma 3.3)
• Utilize transitive action of $\text{Mod}(S_g,[\beta])$ on $N_1(S_g)$

Generating set theory: Two approaches to generating sets:

1. Dehn twist generating set: $\{T_c^{\xi(c)}: \xi(c) = \hat{i}_2([c],[\beta]) + 1 \bmod 2\}$
2. Stabilizer generating set: Utilizing the action on $N_1(S_g)$

Technical Innovations

1. Refined application of orbifold theory: Distinguishes the effects of effective and non-effective group actions on the existence of orbifold maps
2. Deep representation-theoretic analysis: Extends results of Franks-Handel and Korkmaz to symmetric mapping class groups
3. Novel curve complex construction: The definition and connectivity proof of $N_1(S_g)$ represents a technical innovation
4. Hierarchical proof strategy:
   • Topological level: classify representations
   • Holomorphic level: apply Farb's strategy
   • Rigid curves: construct appropriate test families

Experimental Setup

Theoretical Verification Framework

As this is a pure mathematics theoretical paper, there are no traditional experiments, but the following verifications are present:

1. Special case verification: Verify validity boundaries for $g=2,3$
2. Comparison with known results: Analogy with rigidity results for the Torelli map
3. Constructive proofs: Verify boundary conditions through explicit construction of counterexamples

Proof Strategy Verification

Follows Farb's six-step proof strategy:

1. Topological reduction to $h=g-1$ and $F$ homotopic to Prym
2. Application of Borel-Narasimhan criterion
3. Homotopic refinement restricted to curves
4. Lifting holomorphicity and algebraicity
5. Existence of rigid curves
6. Final uniqueness conclusion

Main Results

Core Theorems

Theorem 1.1 (Prym Rigidity): Let $g \geq 4$ and $h \leq g-1$. If $F: \mathcal{R}_g \to \mathcal{A}_h$ is a non-constant holomorphic orbifold map, then $h = g-1$ and $F = \text{Prym}$.

Theorem 1.2: For $g \geq 4$ and $h \leq g-1$, any holomorphic map $F: \hat{\mathcal{R}}_g \to \mathcal{A}_h$ is constant.

Representation-Theoretic Results

Theorem 1.3: Classification of low-dimensional representations of $\text{Mod}(S_{2g-1}, \sigma)$

Theorem 3.1: Classification of low-dimensional representations of $\text{Mod}(S_g, [\beta])$

Key Lemmas

• Lemma 3.3: Connectivity of $N_1(S_g)$
• Lemma 3.6: Transitive action of $\text{Mod}(S_g,[\beta])$ on $N_1(S_g)$

Related Work

Main Research Directions

1. Torelli map theory: Farb's pioneering work on rigidity of the Torelli map
2. Mapping class group representations: Low-dimensional representation classifications by Franks-Handel, Korkmaz, and others
3. Prym variety theory: Classical theory established by Mumford and others
4. Moduli space geometry: Geometric properties of moduli spaces of abelian varieties

Relationship to Related Work

• Extension of Farb's results: Generalizes from the Torelli map to the Prym map
• Deepening representation theory: Extends known results to symmetric mapping class groups
• Application of orbifold theory: Carefully handles subtleties of non-effective group actions

Conclusions and Discussion

Main Conclusions

1. The Prym map indeed possesses holomorphic rigidity similar to the Torelli map
2. The choice of orbifold structure is crucial for the existence of maps
3. Representation theory of symmetric mapping class groups has rich structure

Limitations

1. Genus restriction: The proof requires $g \geq 4$; cases $g=2,3$ remain unresolved
2. Technical dependence: Heavily relies on deep results from geometric group theory
3. Generalization problems: Generalization to more general moduli spaces remains open

Future Directions

1. More general maps: Classify maps $\mathcal{R}_g \to \mathcal{A}_g$
2. Low genus cases: Resolve the problem for $g=2,3$
3. Homomorphism classification: Complete the classification of $\text{Mod}(S_{2g-1}, \sigma) \to \text{Sp}(2g,\mathbb{Z})$

In-Depth Evaluation

Strengths

1. Theoretical depth: Resolves an important conjecture with profound theoretical significance
2. Technical innovation: Skillfully combines methods from algebraic geometry, geometric topology, and group theory
3. Complete proof: Provides two distinct proof approaches (rigid curves method and VHS method)
4. Clear structure: Well-organized paper with clear logical flow

Weaknesses

1. Technical threshold: Requires deep background knowledge in multiple fields
2. Computational complexity: Certain technical details are quite involved
3. Limited applications: Results are primarily of theoretical value

Impact

1. Academic value: Important contributions to moduli space theory and mapping class group research
2. Methodological significance: Demonstrates powerful applications of orbifold theory to moduli problems
3. Subsequent research: Provides important tools and insights for related problems

Applicable Scenarios

• Moduli theory research in algebraic geometry
• Mapping class group theory in geometric topology
• Classification of holomorphic maps in complex geometry
• Arithmetic and geometric properties of abelian varieties

References

The paper cites 26 important references, including:

• Farb's work on Torelli map rigidity 8
• Representation-theoretic results by Franks-Handel and Korkmaz 11,15
• Mumford's Prym variety theory 17
• Birman-Hilden theory of symmetric mapping class groups 3
• Other related literature in algebraic geometry and topology

This paper represents a high-level research achievement at the intersection of modern algebraic geometry and geometric topology, resolving an important theoretical problem through sophisticated technical methods and making significant contributions to the development of related fields.