1: Let $\harmonicbundle$ be
2: an unramifiedly good wild harmonic bundle
3: on $X-D$,
4: where $X$ is a complex manifold
5: and $D$ is a simple normal crossing hypersurface.
6: In Chapter \ref{section;07.11.24.24},
7: we studied the prolongment
8: $(\nbigpzero\nbige,\DD)$ of $(\nbige,\DD)$,
9: i.e.,
10: the sheaf of holomorphic sections
11: whose norms are of polynomial growth
12: with respect to the hermitian metric
13: $\nbigpzero h$.
14: In this chapter,
15: we restrict ourselves
16: to the case that $D$ is smooth,
17: and we will do more refined analysis.
18: The results in this chapter are rather technical,
19: and preliminary for the later sections.
20:
21: \vspace{.1in}
22: In Section \ref{subsection;08.9.15.40},
23: we show that
24: $(\nbige,\nbigpzero h)$ is acceptable
25: (Proposition \ref{prop;07.11.22.45}),
26: which is new even in the tame case.
27: For the proof,
28: we obtain a complementary estimate
29: of the connection form
30: (Lemma \ref{lem;07.7.18.150}
31: and Corollary \ref{cor;07.7.19.100})
32: which is also useful for other purposes.
33:
34: Recall we have studied
35: in Section \ref{subsection;08.9.14.13}
36: the comparison of irregular decompositions
37: for $(\nbigp\nbige^0,\DD^0)$
38: and $(\nbigpzero\nbige,\DD)$
39: in the level $\vecm(0)$.
40: In Section \ref{subsection;08.9.15.41},
41: we compare irregular decompositions in any level
42: under the assumption that $D$ is smooth
43: (Proposition \ref{prop;08.9.17.2}
44: and Proposition \ref{prop;08.9.17.3}).
45: This comparison will be used in
46: the proof of Theorem \ref{thm;07.10.11.120}
47: in one way.
48: We also use it for comparison
49: of the hermitian metrics with some twisting
50: (Corollary \ref{cor;07.11.24.3}),
51: which will be used for the family version
52: of norm estimate
53: (Section \ref{subsection;08.9.15.43}).
54:
55: In Section \ref{subsection;08.9.15.42},
56: we show a standard norm estimate
57: (Proposition \ref{prop;07.11.22.55})
58: for $(\nbigp\nbigelambda,\DDlambda)$
59: under the assumption that $D$ is smooth,
60: which is a generalization of
61: Proposition \ref{prop;07.10.6.40},
62: and preliminary for the family version
63: of norm estimate
64: (Section \ref{subsection;08.9.15.43}).
65: We also show an estimate of a connection form
66: (Proposition \ref{prop;08.9.15.44}),
67: which can be skipped.
68:
69: In Section \ref{subsection;08.9.15.43},
70: we show the family version of norm estimate
71: (Proposition \ref{prop;07.10.22.30}).
72: This is preliminary for Step 1 in the proof of
73: Theorem \ref{thm;07.10.23.20}
74: (Section \ref{subsection;07.10.23.30}).
75:
76: \vspace{.1in}
77:
78: {\em During this chapter,
79: we use the setting in Section
80: {\rm\ref{subsection;07.11.17.1}} with $\ell=1$,
81: i.e., $D$ is assumed to be smooth.}
82: