On the projectivity of compactified universal Jacobians

In the vast landscape of algebraic geometry, mathematicians study shapes defined by equations, often focusing on curves that can twist, bend, and even develop sharp corners or self-intersections. Among the most important tools for understanding these curves are objects called Jacobians. Think of a Jacobian as a vast, multi-dimensional map that organizes all the possible ways to wrap a specific kind of mathematical string, known as a line bundle, around a curve. For smooth, perfect curves, this map is well-understood and behaves beautifully. However, when the curves themselves become imperfect—developing nodes where they cross over themselves—the map breaks down. To fix this, mathematicians have spent decades building "compactified" versions of these maps. These are expanded, complete versions that include the broken curves and their associated strings, creating a closed, finite space where every possible configuration has a home.

For a long time, researchers knew how to build these compactified spaces and could classify them into different families. But a crucial question remained unanswered: are all these different families actually "projective"? In the language of geometry, being projective is a strong condition that ensures a space can be embedded into a standard, familiar setting, much like how a flat map can represent a globe without tearing. If a space is not projective, it is more elusive and harder to work with using standard tools. The question was whether every possible way of compactifying the Jacobian resulted in a projective space, or if some of these constructions led to spaces that were fundamentally different and less manageable.

Filippo Viviani's paper settles this question with a definitive answer: not all compactified universal Jacobian spaces are projective. In fact, the paper proves that the only ones that are projective are the "classical" ones, which were constructed independently by other mathematicians years ago using specific, well-behaved methods. The author demonstrates that any attempt to build a compactified Jacobian space using a different, more exotic method results in a space that fails to be projective. This finding effectively draws a hard line in the sand, separating the well-behaved, classical constructions from the rest of the mathematical possibilities.

To reach this conclusion, the author had to first understand the internal structure of these spaces in great detail. The paper begins by reviewing a recent classification system that organizes all possible compactified Jacobians based on how they treat the "biconnected" parts of a curve—essentially, the pieces of the curve that remain connected even if you cut it at a single point. This classification revealed a huge variety of potential spaces, many of which had never been studied before. The author then turned to the problem of projectivity by investigating the "Picard group" of these spaces. In simple terms, the Picard group is a catalog of all the distinct ways one can attach a line bundle to the space itself. By computing this catalog for both the smooth curves and their compactified versions, the author discovered a precise relationship between the geometry of the space and the tools available to measure it.

The core of the proof relies on a clever comparison. The author shows that if a compactified Jacobian space is projective, it must possess a specific type of measuring tool, known as a polarization, that allows it to be embedded in a standard setting. By analyzing the catalog of available tools, the paper proves that only the classical constructions possess this necessary polarization. Any other construction, no matter how carefully built, lacks the specific geometric ingredients required to be projective. The author further shows that for the classical spaces, this polarization is not just theoretical but can be explicitly written down, confirming their projective nature.

The result is a complete classification of which compactified Jacobian spaces are projective. The paper establishes that a space is projective if and only if it is isomorphic to one of the classical examples. This means that the search for new, projective compactified Jacobians is over; the classical ones are the only ones that exist. The paper also clarifies the relationship between the "stacks" (which keep track of symmetries) and the "spaces" (which are the actual geometric shapes). It turns out that a stack is projective if and only if its associated space is projective, and again, this happens only for the classical cases.

This work resolves a significant open problem that had been left hanging since the full classification of these objects was published recently. It confirms that while mathematicians can construct many different types of compactified Jacobians, the property of being projective is rare and exclusive. The paper does not merely suggest this; it provides a rigorous proof that rules out the possibility of any non-classical projective examples. The findings have immediate implications for the study of the geometry of these spaces, as it tells researchers exactly which tools they can use and which constructions are safe to assume are well-behaved.

The paper also touches on the boundaries of these spaces, describing the "divisors" that form the edges where the smooth curves degenerate into nodal ones. By understanding how the measuring tools behave near these edges, the author was able to show that the behavior of the space on the smooth part determines its behavior everywhere. This allowed the author to extend results from the well-understood smooth case to the complex, compactified case. The proof involves showing that if a space is projective, it must look exactly like a classical space when viewed through the lens of these measuring tools, and since the spaces are determined by these tools, they must be the same.

In the end, the paper provides a clear and complete picture of the projectivity of compactified universal Jacobians. It confirms that the classical constructions, which have been used for decades in various applications ranging from the study of double ramification cycles to the tropicalization of Jacobians, are the only projective ones. This does not diminish the value of the non-classical constructions, which remain important for other types of mathematical investigations, but it clarifies their limitations. The work stands as a definitive guide for anyone working in this field, ensuring that future research can proceed with a precise understanding of which geometric objects possess the desirable property of projectivity.