🔢 mathematics

The class of the Prym-Brill-Noether divisor

This paper computes the class of the Prym-Brill-Noether divisor in the Picard group of the moduli space of Prym curves and uses these results to prove that the moduli space $\mathcal{R}_{14,2}$ is of general type.

Original authors: Andrei Bud

Published 2026-02-11

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Andrei Bud

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 a professional photographer trying to map out the "landscape" of all possible beautiful portraits. In this world, a "portrait" isn't just a person; it’s a complex mathematical object called a curve.

This paper, written by Andrei Bud, is essentially a high-level map-making project. He is studying the "geography" of a very specific, very crowded neighborhood in the mathematical universe called the Moduli Space of Prym Curves.

Here is the breakdown of what he is doing, using everyday analogies.

1. The Setting: The "Neighborhood of Curves"

In mathematics, a "moduli space" is like a giant city where every single house represents a different shape of a curve. If you move from one house to the next, the shape of the curve changes slightly.

The author is focusing on a specific type of house: Prym curves. You can think of a Prym curve as a "double-exposure" photograph. It’s not just one curve; it’s a curve paired with a special mathematical "shadow" (a 2-torsion line bundle) that tells you how to create a double-layered version of it.

2. The Discovery: The "Special VIP Club" (The Divisor)

In this massive city of curves, most curves are "average." They follow standard rules and behave predictably. However, there is a very exclusive, very rare group of curves that possess an extra, unexpected superpower: they have special "linear series" (think of these as hidden symmetries or extra ways to draw the curve).

Bud is studying the Prym-Brill-Noether divisor.

The Analogy: Imagine a city of millions of houses. Most houses are just standard buildings. But there is a specific, thin boundary line—a "divisor"—where every house on that line has a secret, hidden basement.
The Goal: Bud isn't just saying the basement exists; he is calculating the exact "GPS coordinates" (the mathematical class) of this boundary. He wants to know exactly how this "basement-having" property relates to the other features of the city (like the roads and the boundaries).

3. The Tool: "Stress-Testing" the Map (Test Curves)

How do you find the coordinates of a boundary in a city you've never visited? You drive a "test car" through it.

In math, these are called test curves. Bud takes a simple, well-understood path (a "pencil" of curves) and drives it through the city. By seeing where the path hits the "VIP Club" (the divisor), he can work backward to solve the equations for the entire boundary. It’s like driving a car through a fog and counting how many times you hit a guardrail to figure out where the road ends.

4. The Big Result: "The City is Rugged" (General Type)

One of the most important questions in this field is: Is the city smooth and easy to navigate, or is it jagged, complex, and "wild"?

In math terms, this is asking about the Kodaira dimension.

If a space is "rational," it’s like a flat, easy-to-understand parking lot.
If it is of "general type," it is like a rugged, mountainous terrain that is incredibly complex and difficult to map.

Bud proves that for certain high-genus curves (specifically $R_{14,2}$ ), the landscape is "of general type." He has proven that this mathematical neighborhood is not a flat parking lot; it is a massive, complex mountain range.

5. The "Nikulin" Connection: The Hidden Landmark

Finally, he mentions Nikulin surfaces. Think of these as famous, beautiful landmarks within the city. By using his new map, he proves that these landmarks are actually located right on the edge of that "VIP Club" boundary. This confirms that these special surfaces aren't just random; they are mathematically "forced" to have those extra hidden symmetries.

Summary for the Non-Mathematician

The Paper's "Elevator Pitch":
"I am studying a massive, complex mathematical universe of 'double-exposure' shapes. I found a very specific, rare boundary where these shapes gain extra powers. I have calculated the exact mathematical formula for where that boundary lies, and by doing so, I proved that this universe is incredibly rugged and complex, rather than simple and flat."

This paper, titled "The class of the Prym-Brill-Noether divisor" by Andrei Bud, investigates the birational geometry of moduli spaces of Prym curves and pointed curves. The work primarily focuses on computing the divisor class of the Prym-Brill-Noether locus and applying these results to determine the Kodaira dimension of specific moduli spaces.

1. The Problem

The central objective is to understand the geometry of the moduli space of Prym curves, $\mathcal{R}_g$ , which parametrizes pairs $(C, \eta)$ where $C$ is a smooth curve of genus $g$ and $\eta$ is a 2-torsion line bundle.

Specifically, for $r \geq 3$ and $g = \frac{r(r+1)}{2}$ , the author studies the Prym-Brill-Noether locus $R^r_g$ , which consists of Prym curves $[C, \eta]$ such that the associated Prym-Brill-Noether variety $V^r(C, \eta)$ is non-empty. This locus is a divisor in $\mathcal{R}_g$ . The author aims to:

Compute the class $[R^r_g]$ in the rational Picard group $\text{Pic}_{\mathbb{Q}}(\mathcal{R}_g)$ .
Determine the Kodaira dimension of related moduli spaces, specifically $\mathcal{R}_{14,2}$ (the moduli space of pointed Prym curves).
Investigate the relationship between this divisor and the Nikulin locus (curves lying on Nikulin K3 surfaces).

2. Methodology

The paper employs a combination of advanced techniques from algebraic geometry:

Intersection Theory and Test Curves: To determine the coefficients of the divisor class, the author intersects $R^r_g$ with various "test curves" (one-dimensional families) in the boundary of the moduli space. This includes pulling back known test curves from $\mathcal{M}_g$ to $\mathcal{R}_g$ .
Limit Linear Series: To handle the degeneration of Prym-Brill-Noether loci at the boundary of the moduli space, the author utilizes the theory of limit linear series for curves that are not of compact type, specifically following the framework developed by Osserman.
Degeneracy Loci and Determinantal Formulas: The author views the Prym-Brill-Noether locus as a Lagrangian degeneracy locus. To compute the class of a "strongly Brill-Noether divisor" in the pointed moduli space $\mathcal{M}_{g,2}$ , the author uses the Fulton-Pragacz determinantal formula for flag bundles.
Pullback Analysis: The author studies the behavior of the divisor under various maps, such as the map $\chi_g: \mathcal{R}_g \to \mathcal{M}_{2g-1}$ (sending a Prym curve to its associated double cover) and maps involving pointed curves.

3. Key Contributions and Results

A. The Class of the Prym-Brill-Noether Divisor (Theorem 1.1)

The main result is the explicit computation of the class $[R^r_g]$ in $\text{Pic}_{\mathbb{Q}}(\mathcal{R}_g)$ . The class is expressed as a linear combination of the Hodge class $\lambda$ and various boundary divisors ( $\delta'_0, \delta''_0, \delta_{\text{ram}}, \delta_i, \delta_{i:g-i}$ ). The author provides exact formulas for the coefficients of $\lambda$ and the boundary divisors $\delta'_0, \delta''_0,$ and $\delta_{\text{ram}}$ .

B. The Strongly Brill-Noether Divisor (Theorem 1.4)

The author proves that a specific locus in $\mathcal{M}_{g,2}$ (parametrizing curves with a $g^r_{g+r}$ satisfying specific multivanishing conditions at two points) is an irreducible divisor and computes its class in $\text{Pic}_{\mathbb{Q}}(\mathcal{M}_{g,2})$ . This result is a crucial technical stepping stone for the main theorem.

C. Kodaira Dimension of $\mathcal{R}_{14,2}$ (Theorem 1.2)

By pulling back the computed Prym-Brill-Noether divisor to the moduli space of pointed Prym curves $\mathcal{R}_{14,2}$ and combining it with the Brill-Noether and Gieseker-Petri divisors, the author proves that $\mathcal{R}_{14,2}$ is of general type.

D. The Nikulin Locus (Corollary 1.3)

The author demonstrates that for $r \geq 3$ , the Nikulin locus is contained within the Prym-Brill-Noether divisor. This provides a geometric explanation for why Prym-Brill-Noether varieties do not have the expected dimension on curves lying on Nikulin surfaces.

4. Significance

This paper contributes significantly to the birational geometry of moduli spaces. By providing the explicit divisor class of the Prym-Brill-Noether locus, it allows for the calculation of "slopes," which are fundamental tools in determining whether a moduli space is rational, uniruled, or of general type. The result regarding $\mathcal{R}_{14,2}$ fills a gap in the classification of the Kodaira dimension for these spaces, and the connection to Nikulin surfaces links Brill-Noether theory with the study of K3 surfaces.