The dual complex of $\mathcal{M}_{1,n}(\mathbb{P}^r,d)$ via the geometry of the Vakil--Zinger moduli space

This paper explicitly determines the dual boundary complexes of normal crossings compactifications for the moduli spaces of maps $\mathcal{M}_{g,n}(\mathbb{P}^r,d)$ with $g=0$ and $g=1$, identifying them as moduli spaces of decorated metric graphs and proving their contractibility under specific conditions by analyzing the boundary strata of the Vakil--Zinger desingularization.

The Gist

Imagine you are an architect trying to understand the shape of a city that is constantly under construction. Some parts of the city are finished and stable (like a smooth park), but other parts are messy construction zones with scaffolding, cranes, and half-built structures.

This paper is about studying the "construction zones" of a very specific, abstract mathematical city called $M_{g,n}(\mathbb{P}^r, d)$.

Here is the breakdown of what the authors are doing, using simple analogies:

1. The City and the Maps

• The Map: Imagine you have a piece of flexible rubber (a curve) with some dots drawn on it (points). You want to stretch and paint this rubber onto a giant canvas (projective space).
• The Problem: Sometimes, the rubber gets too stretched or tangled. It might tear, or the dots might get squished together. In math, we call these "singularities."
• The Goal: Mathematicians want to build a "compactification." Think of this as building a fence around the city to include all the messy construction zones so the city is complete and closed off.

2. The Two Types of Cities (Genus 0 vs. Genus 1)

The paper looks at two specific types of rubber sheets:

• Genus 0 (The Sphere): This is a smooth rubber ball. The authors know how to build a perfect fence around this city. It's like a well-organized construction site where you can clearly see every wall and corner.
• Genus 1 (The Donut): This is a rubber donut. This is much trickier. The standard fence (the "Kontsevich space") is messy. It has holes in it, and some parts of the fence are actually taller than the city itself! It's a "bad" fence.
  • The Solution: The authors use a new, fancy fence built by other mathematicians (Vakil, Zinger, and others). This new fence is smooth and tidy. It's like replacing a rickety wooden fence with a sleek, modern glass wall.

3. The "Dual Complex" (The Skeleton of the City)

To understand the shape of the construction zones, the authors look at the Dual Complex.

• The Analogy: Imagine the construction zones are made of different colored rooms.
  • If two rooms share a wall, you draw a line connecting them.
  • If three rooms meet at a corner, you draw a triangle connecting them.
  • If four rooms meet, you draw a pyramid.
• This network of lines, triangles, and pyramids is the Dual Complex. It's the "skeleton" or the "blueprint" of how the messy parts of the city fit together.

4. The Radial Alignment (The Traffic Flow)

For the "Donut" city (Genus 1), the authors introduce a special rule called Radial Alignment.

• The Analogy: Imagine the center of the donut is a busy roundabout. The construction zones are arranged in concentric rings around this roundabout, like ripples in a pond.
• The authors assign a "ring number" to every part of the construction. This helps them organize the chaos. It's like giving every construction crew a specific lane number so they don't crash into each other.

5. The Big Discovery: The Shape is a "Point"

The most exciting part of the paper is Theorem B.

The authors ask: "What does the skeleton of this construction zone look like?"

• The Answer: It is contractible.
• The Metaphor: Imagine the skeleton is a giant, complex spiderweb made of rubber bands. If you pull on all the corners, the whole web shrinks down until it becomes a single, tiny dot.
• Why this matters: In mathematics, if a shape can shrink to a single dot, it means it has no "holes" or "loops." It is topologically simple.
  • This implies that the "messy" parts of the city, while they look complicated, don't hide any secret, twisted loops or hidden tunnels. They are essentially "flat" and simple in a deep, structural way.

6. Why Should You Care?

You might ask, "Who cares if a mathematical spiderweb shrinks to a dot?"

• The "Weight" of the City: In advanced math, shapes have "weights" (like how heavy a building feels). The authors prove that because the skeleton shrinks to a dot, the "heaviest" parts of the city's cohomology (a way of counting holes) vanish.
• The Takeaway: When you map a rubber sheet onto a canvas (with enough complexity), the resulting "mess" is actually very orderly. The chaos of the boundary is an illusion; underneath, it's as simple as a single point.

Summary

The authors took a very messy, complicated mathematical object (maps from donuts to projective space), built a new, clean fence around it, mapped out the skeleton of the messy parts, and proved that the entire skeleton can be squished down to a single dot.

They did this by inventing a new way to organize the mess (Radial Alignment) and showing that, despite the complexity, the underlying structure is surprisingly simple and hole-free.

Technical Summary

1. Problem Statement

The paper investigates the topology of the moduli space of stable maps, $M_{g,n}(\mathbb{P}^r, d)$, which parameterizes degree $d$ maps from smooth $n$-pointed curves of genus $g$ to projective space $\mathbb{P}^r$.

• The Challenge: While the Kontsevich moduli space $\overline{M}_{g,n}(\mathbb{P}^r, d)$ provides a compactification, it is generally not a normal crossings compactification for $g \geq 1$. It is often reducible and singular, making the study of its boundary combinatorics and the associated dual complex (which encodes the intersection pattern of the boundary divisor) difficult.
• The Goal: To explicitly determine the dual boundary complex for the moduli space of maps when $g=0$ and $g=1$, specifically using a smooth, modular normal crossings compactification for the genus 1 case. The authors aim to prove that these dual complexes are contractible, implying the vanishing of top-weight cohomology groups for these mapping spaces.

2. Methodology

The authors employ a combination of logarithmic geometry, tropical geometry, and combinatorial graph theory.

A. The Genus 1 Setting: Vakil–Zinger Desingularization

For $g=1$, the standard Kontsevich space is pathological. The authors utilize the Vakil–Zinger (VZ) desingularization, refined by Ranganathan–Santos-Parker–Wise (RSPW).

• Radially-Aligned Stable Maps: They work with the moduli space $\widetilde{M}_{1,n}(\mathbb{P}^r, d)$, a smooth compactification constructed via iterated blow-ups of the Kontsevich space. Points in this space are stable maps satisfying a factorization property at specific nodes.
• Radial Alignments: The boundary strata are indexed by radially-aligned graphs $(G, \rho)$. Here, $G$ is a dual graph of the domain curve, and $\rho$ is a "radial alignment"—a surjective function from vertices to $\{0, \dots, k\}$ that orders vertices by their distance from the genus-1 "core" of the graph.
• Strata Geometry: The authors prove that the strata $\widetilde{M}(G, \rho)$ in this compactification are irreducible and have a tractable geometric description (often as torus bundles over strata of the Kontsevich space).

B. Combinatorial Framework: Dual Complexes

• Virtual Dual Complex ($\Delta^{vir}_{g,n}(d)$): For the Kontsevich space (which is not normal crossings), the authors define a "virtual" dual complex. This is a symmetric $\Delta$-complex constructed from the poset of stable $(g,n,d)$-graphs.
• Genuine Dual Complex ($\Delta_{1,n}(d)$): For the RSPW compactification $\widetilde{M}_{1,n}(\mathbb{P}^r, d)$, the boundary is a normal crossings divisor. Its dual complex is identified with a specific subspace of the virtual dual complex, restricted to radially-aligned graphs satisfying the factorization condition ($d_{min} > 1$).

C. Topological Analysis

• Deformation Retraction: The core topological argument involves constructing an explicit deformation retraction of the virtual dual complex to a point.
• Sprouting Operation: They introduce a "sprouting" operation on graphs, adding "1-end" vertices (genus 0, degree 1, no markings) to any graph. This allows them to define a homotopy that collapses the complex.
• Preservation of Subspaces: They demonstrate that this deformation retraction preserves the subspace corresponding to the genuine dual complex of the genus 1 moduli space.

3. Key Contributions and Results

Theorem A: Irreducibility and Combinatorial Structure

• Irreducibility: The strata $\widetilde{M}(G, \rho)$ of the Vakil–Zinger moduli space are irreducible.
• Non-emptiness Criterion: A stratum is non-empty if and only if the "contraction degree" $d_{min}(G, \rho) > 1$.
• Identification: The dual complex of the boundary divisor $\widetilde{M}_{1,n}(\mathbb{P}^r, d) \setminus M_{1,n}(\mathbb{P}^r, d)$ is naturally identified with the symmetric $\Delta$-complex $\Delta_{1,n}(d)$ of radially-aligned graphs.

Theorem B: Contractibility

• Main Result: For $r \geq 1$, the dual complex $\Delta_{0,n}(d)$ (genus 0) and $\Delta_{1,n}(d)$ (genus 1, $d > 1$) are contractible.
• Implication: The reduced homology groups of these dual complexes vanish.

Corollary C: Vanishing of Top-Weight Cohomology

• Using Deligne's weight spectral sequence, the contractibility of the dual complex implies the vanishing of the top-weight singular cohomology:
  $$\text{Gr}^W_{2\delta} H^{2\delta-k}(X; \mathbb{Q}) \cong (W_0 H^k_c(X; \mathbb{Q}))^\vee = 0$$
  where $X$ is either $M_{0,n}(\mathbb{P}^r, d)$ ($d>0$) or $M_{1,n}(\mathbb{P}^r, d)$ ($d>1$), and $\delta = \dim_{\mathbb{C}} X$.
• Interpretation: The presence of a non-trivial target ($\mathbb{P}^r$ with $r \geq 1$) "destroys" all top-weight cohomology classes that might otherwise exist in the moduli of curves.

4. Technical Details of the Proof

1. Genus 0 Case: The virtual dual complex $\Delta^{vir}_{0,n}(d)$ coincides with the genuine dual complex. The authors construct a deformation retraction by linearly homotoping edge lengths in the "sprouted" graph $G_{sp}$, collapsing the complex to a single point.
2. Genus 1 Case:
   • The genuine dual complex $\Delta_{1,n}(d)$ is a subspace of $\Delta^{vir}_{1,n}(d)$ defined by the condition $d_{min}(G, \rho) > 1$.
   • The authors prove that the deformation retraction of the virtual complex preserves this subspace.
   • This relies on analyzing the "contraction radius" and showing that the homotopy does not reduce the minimal degree below 1, ensuring the subspace remains invariant throughout the deformation.

5. Significance

• Resolution of Singularity Issues: The paper successfully navigates the singularities of the standard Kontsevich space for $g=1$ by utilizing the RSPW/Vakil–Zinger desingularization, providing a clean combinatorial model for the boundary.
• Topological Invariants: It establishes a strong topological property (contractibility) for the boundary of mapping spaces to projective space, a result that was previously unknown for $g=1$.
• Cohomological Vanishing: The result provides a geometric explanation for the vanishing of top-weight cohomology in mapping spaces, linking it directly to the combinatorics of the boundary strata.
• Generalization Potential: The methodology (using radial alignments and virtual dual complexes) is presented as a framework that could be extended to higher genera (e.g., genus 2, as noted in the "Further Questions" section) and other target spaces with Picard rank one.

In summary, the paper bridges the gap between the complex geometry of moduli spaces of maps and the combinatorial topology of their boundaries, proving that for genus 0 and 1, the "shape" of the boundary is trivial (contractible), leading to significant vanishing theorems in cohomology.