[Paper Review] The Bloch Principle

Michael McQuillan|arXiv (Cornell University)|Sep 24, 2012

Algebraic Geometry and Number Theory1 references3 citations

TL;DR

This paper establishes an optimal version of the Bloch Principle for quasi-projective surfaces by proving that sequences of holomorphic discs not arbitrarily close to a proper Zariski closed subset $ Z $ (the exceptional set) converge in the Gromov sense to a limit disc with bubbles. The key contribution is a direct proof of the 'in finito' implication from the 'infinito' property using a refined version of Brody's lemma and Duval's Ahlfors current technique, extending the Bloch-Cartan theorem beyond its original scope to general type surfaces with $ s_2 > 0 $.

ABSTRACT

We formulate and prove an optimal version for quasi-projective surfaces of A. Bloch's dictum, "Nihil est in infinito quod prius non fuerit in finito" by way of a complement to a theorem of J. Duval.

Motivation & Objective

• To formulate and prove an optimal version of the Bloch Principle for quasi-projective surfaces, generalizing the classical Bloch-Cartan theorem beyond the case of $ \mathbb{P}^2 \setminus \{4\text{ lines}\} $.
• To establish the 'in finito' property—uniform convergence (in the Gromov sense) of sequences of discs not close to the exceptional set $ Z $—as a direct consequence of the 'infinito' property, without relying on indirect ODE-based inductive methods.
• To resolve the methodological flaw in prior approaches by using Duval's refined version of Brody's lemma, which links the degeneration of discs to the mass of Ahlfors currents on compact sets.
• To show that for general type surfaces with $ s_2 = c_1^2 - c_2 > 0 $, the Bloch Principle holds with a non-empty exceptional set $ Z $, and that bubble convergence is necessary and sufficient for the in finito condition.

Proposed method

• Utilizes Julien Duval's enhanced version of Brody's lemma, which links the ratio of length to area of holomorphic discs to the existence of entire curves with bubbles cutting compact sets.
• Applies Ahlfors current theory to analyze the limit behavior of sequences of holomorphic discs, replacing uniform convergence with Gromov bubble convergence in the presence of exceptional sets.
• Employs a metricized adjunction formula for $ \mathrm{c}_1(\overline{K_X + D}) $, adjusting for singularities and boundary components via logarithmic metrics and Kähler-Einstein models.
• Uses Nevanlinna integral estimates on the complete metric of $ X \setminus \tilde{B} $, comparing them to the Kähler form $ \omega_{X \setminus \tilde{B}} $, to control degeneration of the Kobayashi metric.
• Applies a factorization $ (X,D) \to (S_0,B_0) \to (S,B) $ to reduce the problem to the canonical model, where $ K_S + B $ is ample, enabling comparison of metrics.
• Establishes a lower bound for the pullback of the Kobayashi metric on $ S \setminus \{B \cup P\} $ in terms of logarithmic singularities and a bounded function, showing it is comparable to a model metric up to controlled degenerations.

Experimental results

Research questions

• RQ1 Can the Bloch Principle be extended beyond the Bloch-Cartan theorem to quasi-projective surfaces with non-empty exceptional set $ Z $, and if so, under what conditions?
• RQ2 Is the 'in finito' property—convergence of discs not close to $ Z $—equivalent to the 'infinito' property (factorization through $ Z $) for general type surfaces?
• RQ3 Can the convergence of sequences of holomorphic discs be characterized not by uniform convergence but by Gromov bubble convergence, and does this provide a stable framework for the Bloch Principle?
• RQ4 Does Duval's Ahlfors current method allow a direct proof of the Bloch Principle without relying on ODE approximation techniques?
• RQ5 What is the precise asymptotic behavior of the Kobayashi metric near the exceptional set $ Z $ and boundary components, and how does it relate to the canonical metric?

Key findings

• The Bloch Principle holds for all quasi-projective surfaces of general type with $ s_2 > 0 $, with the exceptional set $ Z $ being the proper transform of the singular locus and the canonical model's exceptional locus.
• The 'in finito' property is established via Gromov bubble convergence: any sequence of holomorphic discs $ f_n: \Delta \to X \setminus B $ not arbitrarily close to $ Z \cup B $ admits a subsequence converging to a limit disc with bubbles.
• The Kobayashi metric on the canonical model $ (S,B) $ is bounded above by a constant times the Kähler-Einstein metric, and bounded below by a singular model involving $ |\log |\log |\zeta||^{-2} $, $ |\log |p^*B_0|| $, and $ |\log |\zeta|| $, up to a bounded function.
• The proof avoids ODE-based inductive methods by using Duval's Ahlfors current technique, which links the mass of the current to the existence of entire curves with bubbles, providing a direct path from 'infinito' to 'in finito'.
• The Nevanlinna area of the pullback of $ \omega_{X \setminus \tilde{B}} $ remains comparable to that of the metric on $ X \setminus D $, even when $ \mathrm{c}_1(\overline{L}) $ is not algebraic, due to controlled degeneration via logarithmic metrics.
• The adjunction formula for $ \mathrm{c}_1(\overline{K_X + \partial}) $ is adjusted via a bounded function $ \psi $, and the resulting curvature form is shown to be $ dd^c(\log \log^2 |\zeta| - \log \log^2 |\tilde{B}| + \psi) $, ensuring the necessary positivity for the main inequality.