Let be an snc degeneration, i.e. a proper, surjective
holomorphic map from a connected complex manifold to the
unit disc in , whose restriction to is a submersion
and such that has snc support.
Note that is non-singular for .
The dual complex is defined as that of ;
it is equipped with its natural -PA structure.
The logarithmic canonical bundle of is
|
|
|
Setting , we define the relative logarithmic canonical bundle as
|
|
|
Now suppose we are given a -line bundle on
extending . We then have a unique decomposition
|
|
|
with . Set and .
In general, is neither connected nor pure dimensional.
We say that a face of is maximal if it is not
contained in a larger face of .
Lemma 3.2.
Let be a stratum corresponding to face of ,
and denote by the set of irreducible
components cutting out . Then
|
|
|
is a -divisor on with snc support, and we have a canonical identification
|
|
|
as -line bundles. If we further assume that is a
maximal face of , then has coefficients ,
so the pair is subklt.
Proof.
The first point is a simple consequence of the triviality of the
normal bundle
together with the adjunction formula
|
|
|
canonically realized by PoincarΓ© residues once an order on has
been chosen.
When is a maximal face of , each meeting
properly satisfies , which implies that
has coefficients .
β
If is a continuous metric on , may thus be viewed
as a metric on .
When is a maximal face of ,
the pair is subklt,
and LemmaΒ 1.1 applies.
This leads to the following notion.
This measure can be more explicitly described as follows.
At each point , pick local coordinates such
that are local equations for the components
of that pass through ,
indexed so that , where ,
and such that
The logarithmic form
|
|
|
is a local trivialization of , and hence induces a local trivialization
of . We may then view as a local -generator of . Under the identification , we have
|
|
|
with
|
|
|
We infer
|
|
|
(3.1) |