The purpose of these web pages is to serve as a reference point for the author's programme to establish that algebraic surfaces of general type are, modulo a finite number of rational and elliptic curves, hyperbolic, so, inter alia the Green-Griffiths conjecture for the same by way of what is functorially, with respect to the ideas, the Mori theory of foliation by curves. Although the motivating problem is 2 dimensional, it requires, in principle, the study of foliations by curves up to ambient dimension a few hundred, so, to all intents and purposes, arbitrary. The motivating problem may be viewed as a highly structured, and strictly easier, sub-case of the classification problem for foliations by curves in numerical Kodaira co-dimension 1.
That a proof should require its own web site
is somewhat unusual. It is, however, unusually
long. The
current situation with the release of
the residue lemma in dimension 3
is that all pre-requisites for classification
in numerical Kodaira co-dimension 1 and ambient
dimension 3 have been achieved. In particular,
as regards algebraic surfaces,
the programme works perfectly whenever
the surface has enough two jets, e.g.
.
Nevertheless, the residue lemma is
a lemma within a larger whole, and
it did not appear appropriate to
explain the whole in the introduction
to the specific. This, however, creates
a certain lacuna since one must know
how to put the jigsaw together, and
the pieces are somewhat scattered,
albeit Uniform Uniformisation,
modulo ignoring the chapter on residue
theory, is a logically sufficient reference.
As such, these pages are essentially
an appendix to the residue lemma whose
aim is to permit an understanding of
the whole in a matter of hours, as
opposed to the days or weeks that
might be required without them.