The map to the orbifold base need not be an orbifold map

This paper presents an explicit counterexample demonstrating that the natural map from a smooth projective variety to its Campana orbifold base is not necessarily an orbifold morphism, while also establishing conditions under which this property holds and discussing the implications for Campana's conjectures regarding dense entire curves and integral points.

The Gist

Here is an explanation of the paper using simple language, analogies, and metaphors.

The Big Picture: A Map That Lies

Imagine you are a cartographer trying to draw a map of a complex, hilly landscape (let's call it $X$) onto a flat, simple plain (let's call it $Y$).

In mathematics, specifically in a field called algebraic geometry, there is a special way of drawing these maps. Sometimes, the landscape $X$ has "bumpy" features—like mountains that fold over themselves or rivers that split and merge in weird ways. When you project these features onto the flat plain $Y$, they create "special zones" or Orbifolds.

Mathematicians have two different rulebooks for how to draw these maps:

1. The "Orbifold Base" Rulebook: This rulebook looks at the bumpy features of $X$ and tries to summarize them into a single, neat map on $Y$. It's like a summary report.
2. The "C-Pair" Rulebook: This is a stricter, more rigorous rulebook. It demands that if you walk from $X$ to $Y$, you must respect the "special zones" in a very specific way. You can't just walk through a wall; you have to either go around it or walk through it with a specific "speed" (multiplicity).

The Problem:
The author, Finn Bartsch, discovered a shocking truth: The summary report (Rulebook 1) is not always a valid map for the strict rulebook (Rulebook 2).

He found a specific landscape where the summary says, "Everything looks fine here," but if you actually try to walk the path according to the strict rules, you get stuck or break the rules. In math terms: The map to the orbifold base is not always an "orbifold map."

---

The Analogy: The Elevator and the Staircase

To understand why this matters, imagine a building with a fancy elevator (the map $f$) that takes people from the top floor ($X$) down to the lobby ($Y$).

• The "Orbifold Base" ($\Delta_f$): This is like a sign on the lobby wall that says, "Watch out! The elevator stops at the 3rd floor and the 5th floor." It summarizes the stops.
• The "C-Pair" Rule: This is the actual physics of the elevator. It says, "If the sign says the elevator stops at the 3rd floor, the elevator car must physically stop there and let people out in a specific way."

Bartsch's Discovery:
He built a weird elevator system where the sign on the wall (the Orbifold Base) says, "We stop at the 3rd floor," but the elevator car actually just glides past the 3rd floor without stopping, or stops in a way that violates the physics.

• The Result: The sign is mathematically "correct" based on the summary of the building's shape, but the elevator doesn't obey the rules required to be a "C-Pair Morphism."

Why Does This Matter? (The "Why Should I Care?" Section)

You might ask, "So what? It's just a weird elevator."

In the world of math, these maps are used to solve two massive mysteries about the universe of shapes:

1. The "Infinite Wanderer" Problem (Entire Curves):
   Imagine a traveler who can walk forever without ever getting tired or hitting a wall. Mathematicians want to know: Which landscapes allow a traveler to wander everywhere (a "dense" path)?

   • The Theory: If a landscape is "special" (like a flat plain), travelers can wander everywhere. If it's "general type" (like a jagged, complex mountain range), travelers get stuck or have to stay in a small circle.
   • The Connection: To prove that a traveler can't wander everywhere, mathematicians try to map the landscape to a "general type" plain. If the map works, the traveler is trapped.
   • The Glitch: Bartsch showed that if you use the "summary map" (Orbifold Base) to prove the traveler is trapped, you might be lying. The map might look like it traps the traveler, but because the map isn't a "valid" C-Pair map, the traveler might actually escape.

2. The "Number Hunter" Problem (Integral Points):
   Imagine you are hunting for specific numbers (like whole numbers) hidden in a landscape.

   • The Theory: In "general type" landscapes, these numbers are rare and scattered. In "special" landscapes, they are everywhere.
   • The Connection: Similar to the traveler, we try to map the landscape to a "general type" plain to prove the numbers are rare.
   • The Glitch: Again, if the map isn't valid, your proof that the numbers are rare might be wrong.

The Solution: The "Neat" Fix

So, is the whole theory broken? No.

Bartsch found a "fix" for this problem. He showed that if the elevator system is "Neat" (a technical term meaning the map doesn't do anything messy like crushing a whole floor into a single point), then the summary map does work.

• The Metaphor: If your elevator system is well-designed and doesn't have weird glitches where it squashes whole floors into dust, then the sign on the wall accurately reflects the physics of the ride.
• The Result: For these "Neat" maps, the summary is trustworthy. We can safely use it to prove that travelers get stuck or that numbers are rare.

The Takeaway

1. The Warning: Don't blindly trust the "summary map" (Orbifold Base) when trying to prove things about complex shapes. Sometimes the summary lies about the rules of the road.
2. The Hope: If the map is "Neat" (well-behaved), the summary is safe to use.
3. The Impact: This helps mathematicians finally prove big conjectures about where "infinite travelers" can go and where "hidden numbers" can be found. It clears up a confusion that had been lurking in the background of these theories for years.

In short: The paper says, "We found a trap in the math rules, but we also found a safe path around it, so we can keep solving the biggest mysteries of geometry."

Technical Summary

Here is a detailed technical summary of the paper "The Map to the Orbifold Base Need Not Be an Orbifold Map" by Finn Bartsch.

1. Problem Statement

The paper addresses a subtle but critical gap in Campana's theory of special varieties and orbifolds. In this theory, two distinct concepts involving pairs $(X, \Delta)$ (where $X$ is a variety and $\Delta$ is a $\mathbb{Q}$-divisor) are central:

1. The Orbifold Base: Given a dominant morphism $f: X \to Y$ between smooth varieties, one can define an "orbifold base" divisor $\Delta_f$ on $Y$. This divisor encodes the multiplicities of the fibers of $f$ (specifically, the "nowhere reduced" fibers). The pair $(Y, \Delta_f)$ is intended to capture the geometric complexity of the fibration.
2. C-pairs and Orbifold Morphisms: A "C-pair" is a pair $(Y, \Delta)$ where $\Delta$ has specific coefficients. A morphism $f: X \to (Y, \Delta)$ is defined as a "C-pair morphism" (or orbifold morphism) if the pullback of the components of $\Delta$ satisfies specific coefficient constraints (essentially, the pullback must be "more singular" than the divisor itself).

The Core Question:
Given a dominant morphism $f: X \to Y$ between smooth varieties, does the natural map $f: X \to (Y, \Delta_f)$ constitute a valid C-pair morphism?

• It is known that if $f$ is flat (or does not contract divisors to codimension $\ge 2$), the answer is yes.
• It was an open question whether this holds generally for proper surjective morphisms between smooth varieties, or if the "contraction of divisors" phenomenon could break the C-pair condition even when the base is the orbifold base.

2. Methodology

The author employs a combination of explicit algebraic geometry constructions and sheaf-theoretic arguments to resolve the problem.

• Counter-example Construction (Section 2): The author constructs explicit examples of surjective morphisms $f: X \to Y$ between smooth projective varieties where the induced map to the orbifold base fails to be a C-pair morphism.

  • Technique: The construction relies on quotients of products of curves by finite group actions (involutions). Specifically, the author uses the interplay between the resolution of singularities of a quotient and the contraction of exceptional divisors.
  • Key Insight: The failure occurs because the definition of the orbifold base divisor $\Delta_f$ ignores divisors contracted by $f$ to codimension $\ge 2$ (as they do not affect the generic fiber multiplicity). However, the definition of a C-pair morphism requires checking conditions on all divisors in the source. If $f$ contracts a divisor $E$ to a point (codimension 2 in the target), the coefficient of $E$ in the pullback of a component of $\Delta_f$ might be too low to satisfy the C-pair condition, even though $E$ was ignored in the calculation of $\Delta_f$.

• Sheaf-Theoretic Analysis (Section 3): To prove when the map is a C-pair morphism, the author utilizes the theory of symmetric differential forms on C-pairs.

  • Tool: The sheaf $S^n\Omega^1_{(X, \Delta)}$ of symmetric 1-forms with logarithmic poles adapted to the multiplicities of $\Delta$.
  • Criterion: A morphism $f: X \to (Y, \Delta)$ is a C-pair morphism if and only if the pullback of symmetric differentials $f^* S^n\Omega^1_{(Y, \Delta)} \to S^n\Omega^1_X$ is well-defined (regular).
  • Neatness: The author introduces the concept of a "neat" morphism. A dominant morphism $f: X \to Y$ is neat if there exists a birational modification $X \to X''$ such that every divisor contracted by $f$ is also contracted by the map to $X''$. This condition ensures that the "bad" contractions (those causing the counter-examples) are handled correctly in the birational model.

3. Key Contributions and Results

A. The Counter-Example (Theorem A)

The paper provides the first explicit examples showing that the map to the orbifold base is not always a C-pair morphism.

• Example 2.5: A surjective morphism $f: \tilde{X} \to Y$ from a smooth projective threefold $\tilde{X}$ to a smooth projective surface $Y$ with connected fibers.
• Result: The induced map $\tilde{X} \to (Y, \Delta_f)$ is not a C-pair morphism.
• Mechanism: The morphism contracts divisors to points in the target. The orbifold base $\Delta_f$ is calculated ignoring these contractions, but the C-pair condition fails because the pullback of the boundary divisor along the contracted divisors does not meet the required multiplicity threshold.

B. The Positive Result for Neat Morphisms (Theorem B)

The paper establishes sufficient conditions under which the map is a C-pair morphism.

• Theorem: Let $f: X \to Y$ be a dominant morphism of smooth varieties. If $f$ is neat and the orbifold base divisor $\Delta_f$ has simple normal crossing (snc) support, then $f: X \to (Y, \Delta_f)$ is a C-pair morphism.
• Significance: This resolves the issue for "well-behaved" fibrations, which are the primary objects of study in Campana's conjectures.

C. Implications for Campana's Conjectures (Theorems C & D)

The author connects these geometric findings to major conjectures regarding the distribution of entire curves and integral points.

• Context: Campana conjectured that a variety admits a dense entire curve (or potentially dense integral points) if and only if it is "Campana-special" (i.e., it does not admit a fibration to a general type orbifold base).
• Logical Gap: Proving this direction usually requires that the fibration to the general type base is a C-pair morphism, so that the non-existence of curves/points on the base lifts to the total space.
• Resolution:
  • Theorem C: Assuming the weak Green–Griffiths–Lang conjecture for C-pairs, any variety with a dense entire curve is Campana-special.
  • Theorem D: Assuming the weak Bombieri–Lang conjecture for C-pairs, any variety with potentially dense integral points is Campana-special.
• Crucial Step: The proof relies on Lemma 4.3, which uses Theorem B to show that any non-special variety admits a neat fibration to a general type C-pair. Without the "neat" condition and the resulting C-pair morphism property, this deduction would fail.

4. Significance

1. Clarification of Definitions: The paper rigorously distinguishes between the "orbifold base" as a divisorial object and the "orbifold base" as a target for orbifold morphisms. It demonstrates that these are not automatically compatible without additional assumptions (like neatness).
2. Foundational for Conjectures: By proving that neat morphisms induce valid C-pair morphisms, the paper validates the logical structure of Campana's program. It confirms that the conjectures regarding the distribution of rational points and entire curves can be reduced to the study of C-pairs of general type, provided one works with neat fibrations.
3. Explicit Counter-examples: The construction of the threefold-to-surface example (Example 2.5) is a significant contribution to the literature, providing concrete geometric intuition for why the "naive" expectation fails when divisors are contracted to high-codimension subsets.
4. Methodological Bridge: The use of symmetric differential forms to detect C-pair morphisms provides a powerful technical tool for future work in the field, linking birational geometry with the analytic properties of differential forms.

In summary, Bartsch's paper corrects a potential oversight in the application of Campana's theory, provides necessary counter-examples, and establishes the precise conditions (neatness) under which the theory holds, thereby solidifying the foundation for conjectures linking geometry to the distribution of points and curves.