[Paper Review] Additional Explanatory Notes on the Analytic Proof of the Finite Generation of the Canonical Ring

Yum-Tong Siu|ArXiv.org|Apr 16, 2007

Algebraic Geometry and Number Theory5 references3 citations

TL;DR

This paper provides detailed explanatory notes on Yum-Tong Siu's analytic proof of the finite generation of the canonical ring for compact complex algebraic manifolds. It introduces the modified restriction of the curvature current of the canonical line bundle and uses the second case of a curvature current dichotomy to explicitly construct sections that achieve stable vanishing orders, ultimately proving finite generation via constrained minimum center of log canonical singularity techniques.

ABSTRACT

This set of notes provides some additional explanatory material on the analytic proof of the finite generation of the canonical ring for a compact complex algebraic manifold of general type.

Motivation & Objective

• To clarify the analytic proof of finite generation of the canonical ring for compact complex algebraic manifolds.
• To resolve questions raised by Mihai Paun and others about the role of the curvature current dichotomy in the proof.
• To provide explicit constructions of sections achieving stable vanishing orders in codimension one and higher via multiplier ideal sheaves.
• To establish the existence of a uniform finite set $ Z $ in curves where singular behavior occurs, independent of parameter choices.

Proposed method

• The method uses the modified restriction $ \Theta_V $ of the curvature current of the canonical line bundle $ K_X $, defined inductively through nested subvarieties $ V_k \subset \cdots \subset V_0 = X $.
• It applies the general nonvanishing theorem by distinguishing two cases of the canonical decomposition $ \Theta_V = \sum \gamma_j [Y_j] + R $, where $ R $ has zero Lelong numbers outside a countable union of codimension-two subvarieties.
• The second case—$ J < \infty $ and $ R = 0 $—is shown to eventually occur, yielding an explicitly constructed section in the multiplier ideal sheaf associated to $ \Theta_V $, unique up to a constant.
• For higher codimension, the method uses constrained minimum center of log canonical singularity to extend sections from subvarieties back to the ambient manifold $ X $.
• In low-dimensional cases (surfaces and threefolds), the argument is illustrated by analyzing curves $ C $ in the stable base locus, using pluricanonical sections $ s_j $ to define surfaces $ S_\sigma $ and tracking vanishing orders.
• The existence of a uniform finite set $ Z \subset C $ such that $ Z_{\sigma} \subset Z $ for all $ \sigma $ is established via Lemma 2, relying on the continuity and boundedness of ratios of $ \sum |f_j|^2 $ to powers of $ |z_j|^2 $.

Experimental results

Research questions

• RQ1 How can the second case of the curvature current dichotomy be used to construct explicit sections achieving stable vanishing orders in codimension one?
• RQ2 Why must the second case of the dichotomy eventually occur in the inductive process of cutting down the dimension of the base locus?
• RQ3 How can sections constructed in the second case be extended back to the ambient manifold $ X $ using constrained minimum centers of log canonical singularity?
• RQ4 What is the geometric reason for the existence of a uniform finite set $ Z \subset C $ such that the 'bad set' $ Z_\sigma $ of singular vanishing behavior is contained in $ Z $, independent of $ \sigma $?
• RQ5 How does the behavior of the Lelong number of the restricted current $ \hat{\Theta} $ on $ C $ relate to the multiplicity of the ideal generated by the pluricanonical sections?

Key findings

• The second case of the curvature current dichotomy ($ J < \infty $, $ R = 0 $) must eventually occur for any positive-dimensional subvariety $ V $, ensuring the existence of an explicitly constructed section in the multiplier ideal sheaf associated to $ \Theta_V $.
• This section is unique up to a nonzero constant and achieves the stable vanishing order on $ V $, enabling inductive control over the base locus.
• For a curve $ C $ in a threefold, the restriction of a pluricanonical section $ s $ to a surface $ S_\sigma $, after removing the stable vanishing order $ \alpha_\sigma $, yields a section on $ C $ that achieves the restriction of $ \alpha_\sigma $ at all but finitely many points.
• A finite subset $ Z \subset C $ exists such that for all $ \sigma $, the set $ Z_\sigma $ of points with abnormal vanishing lies within $ Z $, and this is proven via Lemma 2 on the continuity and boundedness of $ \sum |f_j|^2 / (|z_1|^2 + |z_2|^2)^{\gamma} $.
• The Lelong number $ \lambda $ of the current $ \hat{\Theta} $ on the normalization of $ C_0 $ equals the multiplicity of the ideal generated by the $ f_j $, and also equals the exponent $ \eta $ such that $ \sum |f_j|^2 / (|z_1|^2 + |z_2|^2)^\eta $ is bounded near the origin.
• The existence of such a uniform $ Z $ follows from the fact that the relative position of two Artinian subschemes (from $ s_j $ and $ s_j + \sigma_j s_j $) in the normal direction to $ C $ can only jump at finitely many points, which are contained in $ Z $.