On Vanishing Theorems and Bogomolov's Inequality on Surfaces in Positive Characteristic

Imagine you are an architect trying to build a stable structure (a mathematical "surface") using specific types of bricks (mathematical "divisors"). In the world of mathematics, there are famous "rules of physics" called Vanishing Theorems. These rules tell us that if we build our structure correctly, certain "ghosts" (mathematical errors or unwanted cohomology groups) will simply disappear, leaving us with a clean, predictable building.

For a long time, mathematicians believed these rules worked everywhere. But then, in the 1970s, someone discovered that in a specific universe called Positive Characteristic (think of this as a world where math works like a video game with a limited number of colors or a clock that only ticks in specific intervals), these rules sometimes break. The "ghosts" don't vanish; they haunt the building, making it unstable.

This paper by Fei Ye and Zhixian Zhu is like a detective story trying to figure out:

Why the rules break in this weird universe.
How different broken rules are actually connected to each other.
Where we can still build safely, even if the general rules are broken.

Here is the breakdown of their investigation using everyday analogies:

1. The Three Suspects: The "Big Three" Theorems

The paper focuses on the relationship between three famous mathematical ideas. Think of them as three different ways to check if your building is safe:

Bogomolov's Instability Theorem: This is like a stress test. It says, "If your building has too much tension (instability), it will collapse in a specific way."
The Miyaoka-Sakai Theorem: This is a repair manual. It says, "If your building is unstable, we can find a specific piece of it (a divisor) to remove or adjust so that the rest of the building becomes stable."
Kawamata-Viehweg Vanishing: This is the "Ghost Busters" rule. It promises that if you build a certain way, the ghosts (mathematical errors) will vanish completely.

The Big Discovery:
In the "normal" world (Characteristic Zero), these three ideas are equivalent. If one is true, the others are too. They are just different ways of saying the same thing.
But in the "weird" world (Positive Characteristic), things get messy. The authors show that:

If you have the Repair Manual (Miyaoka-Sakai), you can prove the Stress Test (Bogomolov) works.
However, the Repair Manual doesn't always guarantee the Ghost Busters rule works perfectly. Sometimes, you can fix the structure, but a few ghosts might still linger.
The Catch: If you do have the Ghost Busters rule working, then you automatically get the Repair Manual and the Stress Test.

2. The "Magic Zones" (Where the Rules Still Work)

Since the rules break in general, the authors went on a treasure hunt to find specific types of surfaces (architectural styles) where the rules do still hold, even in this weird universe.

They found several "Safe Zones":

Frobenius Split Surfaces: Imagine a building made of special "self-healing" bricks. If the building has this property, the Ghost Busters rule works perfectly.
Hirzebruch and Del Pezzo Surfaces: These are like very specific, well-known architectural styles (think of a classic Greek temple or a specific type of tower). The authors proved that even in the weird universe, these specific shapes are so well-designed that the ghosts still vanish. They provided a new, simpler way to prove this, like finding a shortcut through a maze.
Ruled Surfaces and Weak Del Pezzo: These are like buildings built on a straight line or with slightly curved walls. The authors showed that if the base of the building is "self-healing," the whole thing is safe.

3. The "Weak" Solution

For the surfaces that don't fit into these "Safe Zones" (like complex, twisted shapes), the authors couldn't prove the full "Ghost Busters" rule. But they didn't give up.

They came up with a "Weak Miyaoka-Sakai Theorem."

The Analogy: Imagine you can't banish the ghosts entirely. Instead, you find a way to trap them in a specific room so they can't ruin the whole house.
This "weak" version is enough to prove a slightly older, famous rule called the Mumford-Ramanujam Vanishing Theorem. It's like saying, "We can't fix the whole building, but we can at least make sure the foundation is solid."

4. Why Does This Matter? (Fujita's Conjecture)

The paper ends by applying these findings to Fujita's Conjecture.

The Conjecture: This is a guess about how many "bricks" (divisors) you need to add to a building to make it "very ample" (meaning you can see every angle of it clearly, or it can be projected onto a screen without distortion).
The Result: In the normal world, we know exactly how many bricks you need. In the weird world, the authors used their "Repair Manual" to show that for most surfaces, the rule holds true. However, they also confirmed that for some very twisted surfaces (quasi-elliptic surfaces), the rule does fail, explaining exactly why and when it breaks.

Summary

Think of this paper as a guidebook for architects in a chaotic universe where the laws of physics are glitchy.

The Glitch: The standard rules for stability and vanishing ghosts often fail.
The Connection: The authors mapped out how the different rules for stability are linked, showing that fixing one part often helps fix another.
The Safe Havens: They identified specific, beautiful architectural styles where the rules still work perfectly.
The Backup Plan: For the chaotic areas, they found a "weak" version of the rules that is still strong enough to keep the foundations safe.

In short, they didn't just say "the rules are broken"; they figured out exactly where they work, how they are related, and what to do when they don't.

Here is a detailed technical summary of the paper "On Vanishing Theorems and Bogomolov's Inequality on Surfaces in Positive Characteristic" by Fei Ye and Zhixian Zhu.

1. Problem Statement

In algebraic geometry over fields of characteristic zero, fundamental results such as the Kodaira Vanishing Theorem, Kawamata-Viehweg Vanishing Theorem, Bogomolov's Instability Theorem, and the Miyaoka-Sakai Theorem are deeply interconnected and widely used (e.g., in the Minimal Model Program).

However, in positive characteristic ( $p > 0$ ), these theorems often fail. Counterexamples exist for:

Kodaira and Kawamata-Viehweg vanishing (Raynaud, Ekedahl, etc.).
Bogomolov's instability and the Bogomolov-Miyaoka-Yau inequality.
Fujita's conjecture on adjoint linear systems.

The central problem addressed by the authors is to clarify the logical relationships between these theorems in positive characteristic. Specifically, they investigate:

The equivalence (or lack thereof) between Bogomolov's instability theorem and the Miyaoka-Sakai theorem.
Under what specific geometric conditions (types of surfaces) these theorems or their partial versions can be recovered.
Whether the failure of vanishing theorems prevents the derivation of instability results, and vice versa.

2. Methodology

The authors employ a combination of cohomological techniques, vector bundle stability theory, and the geometry of surfaces in positive characteristic. Key methodological tools include:

Vector Bundle Stability: Utilizing the slope stability of rank 2 vector bundles to derive instability conditions (Bogomolov's theorem).
Exact Sequences and Cohomology: Constructing non-split exact sequences of the form $0 \to \mathcal{O}_S \to E \to \mathcal{O}_S(D) \to 0 $to link the non-vanishing of$ H^1(S, \mathcal{O}_S(-D)) $to the instability of$ E$.
Zariski Decomposition: Using both standard and Integral Zariski Decompositions (specifically the concept of $\mathbb{Z}$ -positive divisors introduced by Enokizono) to analyze big divisors.
Frobenius Morphism: Analyzing the action of the Frobenius morphism on cohomology groups, particularly the Frobenius-nilpotent part $H^1(S, \mathcal{O}_S)_n$ , and utilizing Frobenius splitting properties.
Blow-ups and Reider-type Arguments: Adapting Reider's method (using blow-ups to study base points of linear systems) to positive characteristic, incorporating a correction term $C_S$ related to the surface's volume and characteristic.

3. Key Contributions and Results

A. Logical Equivalence and Implications

The paper establishes a precise hierarchy of implications in positive characteristic, distinguishing between what holds generally and what requires specific conditions:

Bogomolov $\to$ Miyaoka-Sakai: The Effective Bogomolov Instability Theorem implies an Effective Miyaoka-Sakai Theorem (Theorem 3.1). This result yields Reider-type criteria for adjoint linear systems (Theorem 3.5).
Miyaoka-Sakai $\to$ Bogomolov: Conversely, the Miyaoka-Sakai theorem implies Bogomolov's instability theorem only if a specific vanishing condition holds: $H^1(S, \mathcal{O}_S(-D+B)) = 0$ . In general positive characteristic, this vanishing is not guaranteed without additional assumptions (like Kawamata-Viehweg vanishing).
Vanishing Theorems: The full Miyaoka-Sakai theorem (including the vanishing conclusion) is equivalent to the Kawamata-Viehweg vanishing theorem. Since Kawamata-Viehweg fails generally in $p>0$ , the full Miyaoka-Sakai theorem also fails generally.

B. Identification of Valid Surfaces

The authors identify specific classes of surfaces where these theorems (or their variants) hold:

Frobenius Split Surfaces: If $S$ is Frobenius split (e.g., toric surfaces, weak del Pezzo surfaces for $p>5$ , ruled surfaces over split curves), the Kawamata-Viehweg vanishing theorem holds for effective, nef, and big $\mathbb{Q}$ -divisors. Consequently, the Miyaoka-Sakai theorem holds on these surfaces.
Hirzebruch and Del Pezzo Surfaces: The authors provide a new proof of the Kawamata-Viehweg vanishing theorem for smooth del Pezzo surfaces and Hirzebruch surfaces in positive characteristic, relying on the properties of the $\mathbb{Z}$ -positive part of the integral Zariski decomposition.
Minimal Surfaces of Kodaira Dimension $\le 1$ : For surfaces that are not of general type and not quasi-elliptic of Kodaira dimension 1, the authors prove a Weak Miyaoka-Sakai Theorem. This variant lacks the full vanishing conclusion but is sufficient to deduce the Mumford-Ramanujam Vanishing Theorem ( $H^1(S, \mathcal{O}_S(-D)) = 0$ for nef and big $D$ ).

C. Reider-Type Results and Fujita's Conjecture

Using the Effective Miyaoka-Sakai Theorem, the authors derive Reider-type results for adjoint divisors $K_S + D$ . They establish conditions under which $K_S + D$ is basepoint-free or very ample, depending on the self-intersection $D^2$ and the correction term $C_S$ .

They confirm that Fujita's conjecture holds for surfaces with $\kappa(S) \le 1$ (excluding quasi-elliptic cases) and for certain quasi-elliptic surfaces.
They note that for surfaces of general type ( $\kappa(S)=2$ ), Fujita's conjecture can fail, and their derived conditions correctly predict these failures (as the required intersection numbers are not met).

D. Mumford-Ramanujam Vanishing

A significant result is the recovery of the Mumford-Ramanujam Vanishing Theorem ( $H^1(S, \mathcal{O}_S(-D)) = 0$ for nef and big $D$ ) on a broad class of surfaces (those with $\kappa(S) \le 1$ not quasi-elliptic). This is achieved via a "Weak Miyaoka-Sakai" approach that bypasses the need for the full Kawamata-Viehweg vanishing theorem by utilizing the Frobenius-nilpotent part of cohomology and the geometry of minimal models.

4. Significance

Clarification of Dependencies: The paper resolves ambiguity regarding the logical flow between instability theorems and vanishing theorems in positive characteristic, showing that while Bogomolov's instability can be derived from Miyaoka-Sakai, the reverse requires stronger vanishing assumptions that often fail.
New Proofs: It offers a novel, unified proof of Kawamata-Viehweg vanishing for del Pezzo and Hirzebruch surfaces using Enokizono's integral Zariski decomposition, bypassing previous counterexample-heavy literature.
Robustness of Vanishing: It demonstrates that while the strongest vanishing theorems fail in general, significant portions of the theory (specifically Mumford-Ramanujam vanishing and Reider-type criteria) remain valid for large classes of surfaces (Kodaira dimension $\le 1$ ) through the use of "weak" variants and Frobenius splitting techniques.
Correction Terms: The explicit inclusion of the correction term $C_S$ (dependent on volume and characteristic) allows for precise numerical bounds in Reider-type theorems, making the results applicable to concrete calculations in positive characteristic.

In summary, the paper maps the landscape of vanishing and instability theorems in positive characteristic, identifying exactly where the classical equivalences break and where they can be salvaged through geometric constraints and Frobenius techniques.