Smoothability of relative stable maps to stacky curves

This paper employs log geometry to investigate the smoothability of genus zero twisted stable maps to stacky curves relative to marked points, with applications to smoothing semi-log canonical fibered surfaces with marked singular fibers.

The Gist

Imagine you are an architect trying to design a building. You have a blueprint for a perfect, smooth, modern skyscraper (this is what mathematicians call a "smooth curve"). But, due to budget cuts or material shortages, you are forced to build a version of this building that has collapsed sections, jagged edges, and pieces that are just floating in the air (this is a "singular" or "nodal" curve).

The big question this paper asks is: Can we fix the broken building? Can we take this messy, collapsed structure and slowly, smoothly, repair it until it becomes the perfect skyscraper again, without changing the fundamental rules of how the building was supposed to look?

In the world of algebraic geometry, these "buildings" are mathematical objects called curves, and the "blueprints" are maps that tell us how these curves relate to a target space (like a sphere or a projective line).

Here is a breakdown of the paper's journey, using simple analogies:

1. The Problem: The "Cracked" Map

Imagine you are drawing a line on a piece of paper. Sometimes, the line is smooth. But sometimes, the line hits a point, stops, and then continues from a different angle, or it loops back on itself. In math, we call these "stable maps."

The authors are interested in a specific type of map where the line touches a specific point (let's call it "Infinity") in a very specific way.

• The Rule: If the line touches "Infinity," it must do so with a specific "tangency" (like a car gently kissing a wall rather than crashing into it).
• The Twist: The paper deals with "stacky" curves. Think of these as curves that have invisible "ghosts" or "stacks" attached to them. A point on the curve might look like a normal point, but it actually has a secret identity (a stabilizer group) that makes it behave like a point with a little bit of extra weight or spin.

2. The "Combinatorial" Checklist

The authors first ask: "If we see a broken, collapsed map, how do we know if it can be fixed?"

They create a Combinatorial Checklist (Conditions *). Think of this like a safety inspection for a broken bridge:

1. The Destination: All the marked points must be pointing to the right place (Infinity).
2. The Collapsed Parts: If a whole section of the bridge has collapsed (is "contracted"), it can't just be floating; it must be attached to the main structure at specific points.
3. The Balance: This is the most important rule. Imagine the collapsed section is a seesaw. The "weight" of the marked points sitting on that seesaw must exactly balance the "pull" of the connections where it attaches to the rest of the bridge. If the weights don't balance, the bridge is fundamentally broken and cannot be fixed.

The paper proves that if a broken map passes this checklist, it is smoothable. In other words, if the pieces fit together logically, there is a mathematical way to "glue" them back into a perfect, smooth curve.

3. The Secret Weapon: Log Geometry

How do they prove this? They use a tool called Log Geometry.

The Analogy:
Imagine you are trying to smooth out a crumpled piece of paper. If you just look at the paper (standard geometry), it's hard to see how to unfold it without tearing it. But, imagine the paper has a "log" or a "record" written on it that says, "I was crumpled here, and I was crumpled there."

Log geometry adds this "record" to the mathematical objects. It keeps track of how the curve touches the special points (like Infinity). By keeping this "log" of the contact points, the mathematicians can treat the messy, broken curve as if it were a smooth curve that just happens to be touching a wall. This makes the "smoothing" process much easier to calculate.

4. The "Twisted" Part

The paper deals with Twisted Stable Maps.

• The Metaphor: Imagine a standard curve is a flat rubber band. A "twisted" curve is like a rubber band that has been twisted into a Mobius strip or has little knots tied in it.
• The Challenge: When you try to smooth out a twisted rubber band, the knots (the "stacky" points) make it tricky. You can't just pull it straight; you have to respect the twist.
• The Solution: The authors show that even with these twists, as long as the "Balance Rule" (Condition 3) is met, you can still smooth it out. They use the "log" tool to handle the twists, effectively "unwrapping" the knots just enough to fix the shape, and then re-twisting it back at the end.

5. Why Does This Matter? (The Application)

The paper isn't just about abstract shapes; it has a real-world application in understanding fibered surfaces.

The Analogy:
Imagine a loaf of bread. The whole loaf is a 3D object, but if you slice it, you get 2D slices (the fibers).

• Sometimes, a slice of bread might be perfect.
• Sometimes, a slice might be burnt or have a hole in it (a "singular fiber").
• The authors are studying how to take a loaf of bread that has some burnt slices and "smooth" the whole loaf so that it becomes a perfect, uniform loaf again.

This is crucial for Elliptic Fibrations (a specific type of mathematical loaf). By understanding how to smooth these broken maps, the authors can classify all the possible ways these "loaves" can break and how they can be repaired. This helps mathematicians understand the "moduli space," which is essentially a giant map of all possible shapes these objects can take.

Summary

• The Goal: Can we fix a broken, twisted mathematical curve so it becomes smooth again?
• The Condition: Yes, but only if the "weights" of the broken pieces balance perfectly (the Combinatorial Conditions).
• The Method: They use Log Geometry (a way of keeping a "log" of how the curve touches special points) to navigate the twists and knots.
• The Result: They proved that if the balance is right, the curve can always be smoothed out. This helps mathematicians organize and understand the vast universe of geometric shapes, particularly those that look like loaves of bread with burnt slices.

In short, the paper provides the instruction manual for fixing broken mathematical curves, ensuring that as long as the pieces balance, the universe of shapes remains whole and smooth.

Technical Summary

1. Problem Statement and Motivation

The paper addresses a fundamental question in the moduli theory of curves and stable maps: What are the combinatorial conditions that characterize the boundary of the locus of smoothable relative stable maps?

• Context: In classical algebraic geometry, Gathmann (building on Vakil) characterized the closure of the locus of degree $n$ maps from a smooth rational curve to $\mathbb{P}^1$ that are unramified over $\infty$ (or ramified with specific orders). These maps satisfy specific "balancing conditions" (Conditions $(\ast)$) regarding the preimage of the target point.
• The Gap: The authors extend this problem to twisted stable maps (introduced by Abramovich and Vistoli) where the target is a Deligne-Mumford stacky curve (specifically a weighted projective line $\mathbb{P}(a,b)$ or a genus 0 DM curve). In this setting, the source curves acquire stacky structures (orbifold points) at nodes and marked points to ensure properness of the moduli space.
• Core Question: Given a twisted stable map $(f: C \to X, p_1, \dots, p_n)$ to a stacky curve $X$, where the coarse map satisfies the classical relative conditions (tangency orders at marked points), is the map smoothable? That is, does it lie in the closure of the locus of maps from a smooth source curve satisfying the same tangency conditions?
• Application: The primary motivation is the study of moduli spaces of fibered surfaces, specifically elliptic fibrations with marked singular fibers. Understanding the smoothability of these maps is crucial for constructing and interpreting compactifications of these moduli spaces (related to semi-log canonical surfaces).

2. Methodology

The authors employ Logarithmic Geometry as their primary tool to bridge the gap between the combinatorial constraints of the boundary and the existence of smoothings.

• Log Geometry Framework:
  • They utilize the theory of log twisted curves and log stable maps. A log structure is placed on the source curve and the target to encode the ramification and tangency data.
  • They rely on the equivalence between twisted curves and log twisted curves (Olsson's Theorem), which allows them to translate deformation problems of stacks into deformation problems of log schemes.
• Step-by-Step Strategy:
  1. Reduction to Coarse Maps: They first analyze the problem on the coarse moduli space (a map to $\mathbb{P}^1$). They provide a direct construction of smoothings for "comb-type" maps (maps where components are contracted to the target point) using log smooth deformations. This involves constructing specific singularities ($A_m$ singularities) in the total space of the family to resolve the nodes.
  2. Lifting to Log Maps: They establish criteria (Proposition 4.1) to lift a prestable map to a log map. This requires the connected components of the preimage of the marked points to be smooth rational curves.
  3. Lifting to Twisted Maps: Using the root stack construction and properties of log cotangent complexes, they lift the log smooth deformation of the coarse map to a deformation of the twisted log map (Proposition 4.3, Theorem 5.1).
  4. Global Smoothing: They address global obstructions. For general targets, they prove partial smoothability (smoothing near the marked points). For the specific case of weighted projective lines $\mathbb{P}(a,b)$, they use vanishing results on the log deformation space (specifically $H^1$ vanishing due to the toric nature of the target) to achieve full smoothability.

3. Key Contributions and Results

The paper establishes precise necessary and sufficient conditions for smoothability in the stacky setting.

A. Combinatorial Conditions (Generalization of Gathmann)

The authors define a set of combinatorial conditions $(\ast)$ for a twisted stable map $(f: C \to X, \{p_{jk}\})$ relative to points $x_j \in X$ with tangency orders $\Gamma_j$:

1. Evaluation: $f(p_{jk}) = x_j$.
2. Support: Every point in $f^{-1}(x_j)$ is either a marked point or lies on a contracted component.
3. Balancing: For each maximal connected contracted subvariety $T \subset f^{-1}(x_j)$, the sum of tangency orders of marked points on $T$ equals the sum of ramification indices of $f$ at the nodes connecting $T$ to the rest of the curve.

B. Main Theorems

• Theorem 1.5 (General Stacky Curves):
  Let $X$ be a genus 0 Deligne-Mumford curve and $\Gamma$ a tuple of combinatorial data. Let $K_\Gamma(X)$ be the locus of maps satisfying the relative conditions $(\ast)$, and $N_\Gamma(X)$ be the locus of maps satisfying $(\ast)$ where the source curve is smooth near the preimages of the marked points.
  Result: $N_\Gamma(X) = K_\Gamma(X)$.
  Interpretation: Any twisted stable map satisfying the relative conditions is smoothable to a map where the source is smooth near the singular fibers. This implies $K_\Gamma(X)$ is a closed substack.

• Theorem 1.7 (Weighted Projective Lines):
  Let $X = \mathbb{P}(a,b)$. Let $M_\Gamma(X)$ be the locus of maps from a smooth rational curve satisfying the relative conditions.
  Result: $M_\Gamma(X) = K_\Gamma(X)$.
  Interpretation: For weighted projective lines, the conditions $(\ast)$ are necessary and sufficient for a twisted stable map to be smoothable to a map from a globally smooth rational curve. This is a stronger result than Theorem 1.5, as it removes the "local smoothness" restriction.

• Theorem 1.8 (Application to Fibered Surfaces):
  The combinatorial conditions derived above provide necessary and sufficient conditions for a twisted elliptic surface over a genus 0 curve with marked singular fibers to be smoothable to an elliptic surface over $\mathbb{P}^1$. This solves a specific problem regarding the boundary components of the moduli space of fibered surfaces.

4. Technical Highlights

• Handling $A_m$ Singularities: In Section 2, the authors construct explicit smoothings of nodal curves where the total space has $A_m$ singularities ($xy = z^m$). This is crucial for matching the ramification indices required by the relative conditions.
• Log Cotangent Complex: The proof relies heavily on the log cotangent complex $L^{\log}_{f}$. They show that the deformation space of a log map decomposes into a product of local deformation spaces near the critical locus (Proposition 4.4).
• Vanishing Obstructions: For the weighted projective line case (Theorem 5.6), they prove that the obstruction group $Ext^1(g^* L^{\log}_{\mathbb{P}}, \mathcal{O}_{\tilde{C}})$ vanishes because the target is toric and the source is genus 0. This ensures that local smoothings can be glued globally.
• Local vs. Global: The paper distinguishes between targets where only local smoothability is guaranteed (general DM curves) and those where global smoothability holds (weighted projective lines), highlighting the role of the target's geometry (positivity/toricity).

5. Significance

• Moduli Theory: The paper provides a complete combinatorial description of the boundary of the moduli space of relative twisted stable maps to stacky curves. This fills a gap left by previous work which focused on classical targets or did not fully address the stacky source.
• Compactifications: The results are directly applicable to the construction of compact moduli spaces for fibered surfaces (e.g., elliptic fibrations). The ability to determine exactly which boundary points are smoothable allows for a better understanding of the geometry of these compactifications, linking them to the Minimal Model Program (MMP) and stable log varieties.
• Methodological Advancement: The paper demonstrates the power of log geometry in solving deformation problems for twisted maps. By converting stacky deformation problems into log deformation problems, they bypass the complexities of working directly with root stacks and orbifold structures.

In summary, Ascher and Bejleri successfully generalize the classical theory of relative stable maps to the stacky setting, proving that the intuitive combinatorial "balancing conditions" remain the correct criterion for smoothability, provided the target has sufficient positivity (as in the case of weighted projective lines).