[Paper Review] Deformations of Polarized Manifolds With Torsion Canonical Bundles

Xuanyu Pan|arXiv (Cornell University)|Oct 27, 2013

Algebraic Geometry and Number Theory8 references3 citations

TL;DR

This paper establishes that polarized manifolds (X, L) with torsion canonical bundles are unobstructed under two conditions: when L is ample or when X has finite fundamental group. The result extends deformation theory to complex projective varieties with torsion canonical bundles, showing that such pairs admit smooth deformations under these natural geometric constraints.

ABSTRACT

Let X be a smooth projective variety with a torsion canonical bundle over complex numbers and L be a line bundle on X. We prove the pair (X,L) is unobstructed if one of the following conditions is satisfied, (1)the line bundle L is ample, (2)the fundamental group $\pi_1(X)$ of X is finite.

Motivation & Objective

• To investigate the deformation theory of smooth projective varieties X over C with torsion canonical bundles.
• To determine conditions under which the pair (X, L), with L a line bundle on X, is unobstructed in deformation theory.
• To extend known unobstructedness results to the case of torsion canonical bundles, a setting not fully covered by classical results.
• To analyze the role of ampleness of L and finiteness of π₁(X) in ensuring unobstructed deformations.

Proposed method

• Utilizes the standard framework of deformation theory for polarized varieties, focusing on the obstruction space H²(X, T_X) and its interaction with the line bundle L.
• Applies the Kodaira–Spencer–Kuranishi theory to analyze the infinitesimal deformations of (X, L).
• Employs the fact that a torsion canonical bundle implies K_X is numerically trivial, which simplifies cohomological computations.
• Uses the ampleness of L to ensure positivity that controls the obstruction space, leveraging known results on unobstructedness for ample line bundles.
• Applies the finiteness of π₁(X) to deduce that X is a finite quotient of a simply connected Calabi–Yau manifold, enabling control over the deformation space.
• Combines these geometric and cohomological constraints to show that the obstruction classes vanish under either condition.

Experimental results

Research questions

• RQ1 Under what conditions is a polarized manifold (X, L) with torsion canonical bundle unobstructed in deformation theory?
• RQ2 How does the ampleness of the line bundle L affect the unobstructedness of deformations of X?
• RQ3 What role does the fundamental group π₁(X) play in determining the unobstructed nature of deformations when K_X is torsion?
• RQ4 Can the unobstructedness result be extended to varieties with torsion canonical bundles beyond the known cases?
• RQ5 Is there a geometric or cohomological condition that ensures the vanishing of obstruction classes in this setting?

Key findings

• The pair (X, L) is unobstructed if the line bundle L is ample, regardless of the structure of X beyond having a torsion canonical bundle.
• The pair (X, L) is unobstructed if the fundamental group π₁(X) is finite, even without assuming ampleness of L.
• The unobstructedness result holds specifically for smooth projective varieties over the complex numbers with torsion canonical bundles.
• The proof relies on the vanishing of obstruction classes in H²(X, T_X) under the given conditions, which is established via cohomological and geometric arguments.
• The result generalizes classical unobstructedness theorems to the case of torsion canonical bundles, filling a gap in the deformation theory of polarized manifolds.
• The two conditions—ampleness of L and finiteness of π₁(X)—are sufficient and independent in ensuring unobstructed deformations of (X, L).