Nevanlinna theory deals with the following type of questions: Let be a holomorphic map. Given in , what is the inverse image ? Since is noncompact, there may be infinitely many points in the pre-image . Sometimes will be empty, meaning that misses the point in .

The exponential map misses exactly two points, 0 and , in . According to a classical theorem of Picard, a nonconstant holomorphic map cannot miss more than two points.

Nevanlinna theory refines Picard's theorem in a beautiful way. To each
, it attaches a real number
between 0
and
inclusive, the *deficiency index* of
.
The deficiency index is a normalized way of
counting the number of points in the inverse image. If
is
empty, then the deficiency index is
.

In this context the first main theorem of Nevanlinna theory says that a nonconstant holomorphic map has deficiency index 0 almost everywhere. The second main theorem yields the stronger inequality:

Ahlfors generalized these two theorems to holomorphic maps with values in a complex projective space .

In [38] Bott and Chern souped up Nevanlinna's hard analysis to give a more conceptual proof of the first main theorem.

A by-product of Bott and Chern's excursion in Nevanlinna theory is the
notion of a refined Chern class, now called the *Bott-Chern class*,
that has since been transformed into a
powerful tool in Arakelov geometry and other aspects of modern number
theory.

Briefly, the Bott-Chern classes arise as follows. On a complex manifold the exterior derivative decomposes into a sum , and the smooth -forms decompose into a direct sum of -forms. Let be the space of smooth -forms on . Then the operator makes into a differential complex. Thus, the cohomology is defined.

A Hermitian structure on a holomorphic rank vector bundle on determines a unique connection and hence a unique curvature tensor. If and are the curvature forms determined by two Hermitian structures on and is a -invariant polynomial on , then it is well known that and are global closed forms on whose difference is exact:

for a differential form on . This allows one to define the characteristic classes of as cohomology classes in .

In the holomorphic case, and are -forms closed under . Bott and Chern found that in fact,

for some -form . For a holomorphic vector bundle , the Bott-Chern class of associated to an invariant polynomial is the cohomology class of , not in the usual cohomology, but in the cohomology of the complex .