🔢 mathematics

Resolution of the Prym map in genus 4

This paper utilizes the tropical trigonal construction to describe the minimal toroidal resolution of the Prym period map from the moduli space of genus-4 Prym curves to the moduli space of principally polarized abelian threefolds.

Original authors: Dmitry Zakharov

Published 2026-07-21

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Dmitry Zakharov

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to organize a massive, chaotic library where every book represents a different shape of a twisted, multi-holed doughnut. Mathematicians call these shapes "curves," and the library is a map of all possible versions of them. The goal is to figure out how to sort these shapes into neat, predictable categories. To do this, they use a special tool called a "period map," which acts like a translator. It takes a complex, twisted shape and translates it into a simpler, more orderly object (like a perfectly symmetrical grid) that is easier to study.

However, just like a translator might stumble when faced with a sentence that is too long or too broken, this mathematical translator sometimes hits a wall. When the shapes get too weird or break apart in specific ways, the translator stops working, leaving a gap in the map. This is called an "indeterminacy." For decades, mathematicians have been trying to fix these gaps, to figure out exactly how to smooth out the translator so it can handle even the most broken shapes. This paper dives into one specific, tricky case: shapes with four holes. It asks, "How do we fix the translator for this specific size of doughnut so it never gets stuck?"

The Paper's Mission: Fixing the Translator for Four-Holed Doughnuts

In this paper, Dmitry Zakharov tackles the problem of resolving the "Prym map" for curves of genus 4. In plain English, a "genus 4" curve is a shape with four holes (like a four-holed doughnut). The Prym map is a specific type of translator that takes a double-layered version of this shape and turns it into a simpler, three-dimensional grid-like object. The problem is that for certain broken versions of these shapes, the map crashes. Zakharov's goal was to build a "resolution"—a set of instructions or a new way of looking at the shapes—that fixes the crash and allows the map to work smoothly everywhere.

The Main Finding: The "Trigonal" Key

The paper's main discovery is that the best way to fix the map is to use a concept from "tropical geometry," which is a way of thinking about shapes using graphs and trees instead of smooth curves. Zakharov shows that every four-holed shape can be viewed as having a "trigonal" structure. Think of this like realizing that every complex, twisted knot can actually be untangled by looking at it as a three-strand braid leading to a simple tree.

By breaking the problem down into these "trigonal" pieces, Zakharov proves that if you organize the shapes based on how they relate to these three-strand braids, the translator (the Prym map) suddenly starts working perfectly. He constructs a "trigonal decomposition," which is a large set of instructions that fixes the map. However, this initial set is not the smallest possible one. To find the minimal resolution—the absolute smallest, most efficient set of instructions needed without any unnecessary complexity—he takes these trigonal pieces and joins them together based on how their geometric "fingerprints" (Voronoi polytopes) match up.

How It Works: The Metaphor of the Map and the Tree

To understand how this works, imagine the space of all possible four-holed shapes as a giant, multi-colored cone. Inside this cone, different colors represent different types of shapes. The translator (the Prym map) works fine in most of the cone, but in certain spots, it gets confused.

Zakharov's method is to slice this cone into smaller, manageable pieces based on a "trigonal construction." He uses a clever trick: he takes the four-holed shape and connects it to a simple tree (a shape with no loops). He shows that for any shape in a specific slice of the cone, this connection looks the same. Because the connection looks the same, the translator behaves the same way.

He then uses a "trigonal decomposition" to divide the cone. This is like sorting a messy pile of puzzle pieces not by their picture, but by the shape of their edges. Once sorted this way, every piece fits perfectly into the translator. The paper proves that this specific way of sorting (the trigonal decomposition) is enough to fix the map, but to get the minimal fix, you have to merge some of these slices together.

What It Rules Out and What It Confirms

The paper clarifies the role of "simple blowups" (single-step fixes). While the author notes that a simple blowup is sufficient to fix the map for each specific type of broken shape (stratum) individually, the paper shows that for the general case of genus 4, you cannot just apply a single simple fix everywhere. Instead, you need the more complex, structured approach based on trigonal structures, which is then refined into the minimal resolution by joining the pieces.

It also confirms a previous guess (a conjecture) made by the author in an earlier paper. The author had suspected that the way the shapes behave mathematically (specifically, how their "second moment" or average size changes) would match the way the translator behaves. This paper proves that suspicion was correct for genus 4: the regions where the translator works smoothly are exactly the same regions where the mathematical "size" of the shape follows a predictable pattern.

The Confidence Level

The paper presents this as a mathematical proof. Zakharov doesn't just suggest this might work; he demonstrates it using a combination of theoretical logic and computer calculations. He wrote code (using the software Sage) to check thousands of specific examples of these shapes and their "Voronoi polytopes" (which are like the unique geometric fingerprints of each shape). The code ran on a standard laptop and confirmed that the trigonal decomposition works for all the cases he tested.

The paper concludes that the "minimal resolution" (the most efficient fix) he found matches the decomposition he had previously guessed. While the paper focuses on the mathematical mechanics of fixing the map, it leaves the door open for a future question: What does this fixed map actually mean in the real world of geometry? The paper admits that while the map is now fixed, the deeper "modular interpretation" (the story of what the fixed map represents) is a mystery for another day.

In Summary

Dmitry Zakharov has successfully built a bridge over a gap in the mathematical map of four-holed shapes. By realizing that these shapes can be understood through the lens of three-strand braids and simple trees, he created a precise, minimal set of instructions that allows the Prym period map to function without errors. This isn't just a theoretical victory; it provides a concrete, computable way to handle these complex shapes, turning a chaotic mess into an orderly, solvable puzzle.

Technical Summary: Resolution of the Prym Map in Genus 4

Problem Statement
The paper addresses the extension problem for the Prym period map $p_g: R_g \dashrightarrow A_{g-1}$ , which assigns a principally polarized abelian variety (ppav) to a curve equipped with an étale double cover. While the Torelli map (assigning Jacobians) extends to toroidal compactifications of the moduli space of abelian varieties $A_g$ under specific conditions, the Prym map $p_g$ encounters indeterminacy loci on the boundary of the moduli space of double covers $R_g$ .

Specifically, for genus $g=4$ , the indeterminacy locus of the extended Prym map $p_4: R_4 \dashrightarrow A_3$ (with respect to the second Voronoi compactification $A_3^V$ ) is known to be the union of the closures of the Friedman–Smith boundary strata $FS_2$ and $FS_3$ . The central problem is to construct the minimal toroidal resolution of this map. This requires finding a decomposition of the cone of edge lengths $RE(G)_{\ge 0}$ for each boundary stratum $R(\tilde{G}/G)$ such that the induced map on the tropical Prym varieties respects the admissible decomposition of the target cone $\Omega_{3}^{rt}$ .

Methodology
The author employs tropical geometry to translate the algebraic extension problem into a combinatorial problem involving metric graphs and cone decompositions.

Tropical Translation: The monodromy cone associated with a boundary stratum $R(\tilde{G}/G)$ is identified with the cone of edge lengths $RE(G)_{\ge 0}$ . The Prym period map on this cone corresponds to the tropical Prym period map, which assigns to a metric double cover $\tilde{\Gamma} \to \Gamma$ its continuous Prym variety $Prym_c(\tilde{\Gamma}/\Gamma)$ .
Extension Criterion: Following Proposition 3.3, the map extends over a stratum if and only if the Voronoi polytopes of the resulting Prym varieties are "normally equivalent" (i.e., share the same normal fan) for all points within a cone of the decomposition.
Trigonal Construction: The core technical tool is the tropical trigonal construction (based on Recillas' algebraic construction). Since every metric graph of genus 4 is trigonal (admits a degree 3 harmonic morphism to a tree, possibly after tropical modification), the author decomposes the cone $RE(G)_{\ge 0}$ into trigonal cones. On each subcone, the combinatorial type of the trigonal structure is constant.
Reduction to Jacobians: Using the trigonal construction, the continuous Prym variety $Prym_c(\tilde{\Gamma}/\Gamma)$ is shown to be isomorphic to the tropical Jacobian $Jac(\Pi)$ of a specific "tetragonal" graph $\Pi$ (Theorem 2.5). Since the combinatorial type of $\Pi$ is constant on trigonal cones, the normal equivalence of the Voronoi polytopes for $Jac(\Pi)$ (guaranteed by Mumford and Namikawa's results on the Torelli map) implies the resolution of the Prym map on these cones.
Minimization: The initial trigonal decomposition is not minimal. To obtain the minimal resolution, the author computes the Voronoi polytopes for representative points in each trigonal cone and merges adjacent cones that yield normally equivalent polytopes. This process is verified computationally using Sage code.

Key Contributions and Results

Minimal Resolution for Genus 4: The paper provides an explicit description of the minimal toroidal resolution of the Prym period map $p_4: R_4 \dashrightarrow A_3$ . This is achieved by describing the minimal decomposition of the cone $RE(G)_{\ge 0}$ for every double cover of weighted graphs with genus 4.
Verification of Conjecture: The resulting minimal decomposition confirms Conjecture 5.1 from the author's previous work [Zak25]. This conjecture posits that the domains of polynomiality for the second moment of the tropical Prym variety coincide exactly with the domains where the Voronoi polytope of the Prym variety has a constant normal cone.
Algorithmic Construction: The paper outlines a computational procedure to generate the trigonal decomposition. For a stable graph $G$ of genus 4 with 9 edges, the author enumerates 821 trigonal structures (degree 3 harmonic morphisms to trees with 9 edges) to cover the cone of edge lengths.
Handling of Friedman–Smith Strata: The resolution explicitly addresses the indeterminacy loci $FS_2$ and $FS_3$ , demonstrating that the necessary blowups are captured by the specific cone decompositions derived from the trigonal structures.

Significance
The paper claims significance primarily as a solution to a specific, difficult case in the theory of period maps:

It resolves the Prym map for genus 4, a case where the indeterminacy locus is non-trivial ( $FS_2 \cup FS_3$ ) and previous general results were insufficient to describe the minimal resolution.
It bridges the gap between the algebraic theory of Prym varieties and tropical geometry, utilizing the tropical trigonal construction as a mechanism to linearize the problem of resolving indeterminacy.
It validates a computational conjecture regarding the piecewise-polynomial nature of the second moment of Prym varieties, linking arithmetic invariants to the geometry of the Voronoi polytopes.

The author notes modestly that while the paper provides the minimal resolution, it does not yet provide a modular interpretation of the resolved map (i.e., describing the geometry of the resulting compactified moduli space in terms of stable pairs or compactified Jacobians), a task left for future work. The calculations rely heavily on Sage code, with AI used only for minor code assistance, not for proofs.

Technical Summary: Resolution of the Prym Map in Genus 4

More like this