[Paper Review] A note on a theorem of Xiao Gang

Margarida Mendes Lopes|ArXiv.org|Feb 26, 2003

Meromorphic and Entire Functions5 references3 citations

TL;DR

This paper presents a new proof of Xiao Gang's 1985 theorem stating that the bicanonical system |2K_S| on a minimal surface S of general type is not composed of a pencil if and only if K_S² > 1. Using standard techniques in surface theory—such as the base point freeness of |2K_S| for p_g ≥ 1, adjunction formulas, index theorem, and properties of étale and double covers—the authors show that assuming |2K_S| is a pencil leads to contradictions when K_S² > 1, particularly through the construction of irregular double covers and violation of Arakelov inequality.

ABSTRACT

In 1985 Xiao Gang proved that the bicanonical system of a complex surface $S$ of general type with $p_2(S)>2$ is not composed of a pencil [Bull. Soc. Math. France, 113 (1985), 23--51]. When in the end of the 80's it was finally proven that $| 2K_S|$ is base point free, whenever $p_g\geq 1$, the part of this theorem concerning surfaces with $p_g\geq 1$ became trivial. In this note a new proof of this theorem for surfaces with $p_g=0$ is presented.

Motivation & Objective

• To provide a new, concise proof of Xiao Gang's 1985 result on the bicanonical system of surfaces of general type.
• To establish that |2K_S| is not composed of a pencil when K_S² > 1, under the assumption of p_g = 0.
• To use standard tools from surface theory—such as double covers, adjunction, and index theorem—to derive contradictions under the assumption that |2K_S| is a pencil.
• To resolve the remaining non-trivial case (K_S² > 1) where earlier proofs relied on more technical vanishing theorems.

Proposed method

• Assume |2K_S| is composed of a pencil with general fiber F, leading to 2K_S ≡ dF + Z with d = K_S² and Z effective.
• Use the nefness of K_S to derive K_S F ≤ 2, and apply the index theorem to bound K_S² F² ≤ (K_S F)².
• Analyze numerical possibilities: (i) K_S F = 2, F² = 2, K_S ∼ F; (ii) K_S F = 2, F² = 0.
• Show case (i) leads to a 2-torsion divisor η = K_S − F, inducing an étale double cover Y → S with p_g(Y) = 2, contradicting Proposition 2.2 since q(Y) > 0.
• For case (ii), decompose Z = 2Z₀ + Z₁ with Z₁ reduced and effective; construct a double cover Y′ → S branched on Z₁ to derive χ(O_Y′) = 2 − p/4 and K_Y′² = 4 − p.
• Use De Franchis’ theorem and Arakelov inequality to show that p = 4 leads to contradiction in K_Y′² ≥ 8(f − 1)(q(Y) − 1), proving the impossibility of the pencil assumption.

Experimental results

Research questions

• RQ1 Under what conditions is the bicanonical system |2K_S| on a minimal surface S of general type composed of a pencil?
• RQ2 Can the bicanonical system |2K_S| be a pencil when K_S² > 1 and p_g(S) = 0?
• RQ3 What are the cohomological and geometric consequences of assuming |2K_S| is a pencil in the case p_g = 0 and K_S² > 1?
• RQ4 How do double covers and the Albanese map help detect contradictions in such configurations?
• RQ5 What role does Arakelov inequality play in obstructing the existence of certain fibrations on surfaces of general type?

Key findings

• The bicanonical system |2K_S| is not composed of a pencil if and only if K_S² > 1 for minimal surfaces S of general type with p_g(S) = 0.
• When K_S² = 1, |2K_S| is necessarily a pencil, as h⁰(2K_S) = 2.
• Case (i) with K_S ∼ F leads to a 2-torsion divisor η = K_S − F, inducing an étale double cover Y → S with p_g(Y) = 2 and q(Y) > 0, contradicting Proposition 2.2.
• Case (ii) with F² = 0 and K_S F = 2 leads to a double cover Y′ → S branched on a reduced divisor Z₁, with χ(O_Y′) = 2 − p/4 and K_Y′² = 4 − p.
• The only possibility for χ(O_Y′) = 1 is p = 4, but this leads to a contradiction with Arakelov inequality K_Y′² ≥ 8(f − 1)(q(Y) − 1) when q(Y) = 2.
• Thus, no such pencil can exist when K_S² > 1, confirming Xiao Gang’s theorem via geometric and cohomological constraints.