Let
$\phi :{N}^{\prime}\to \mathbb{R}$
be a function uniformly continuous with respect to the path metric induced by a Riemannian metric pulled back from
$N$
.
Theorem 2.1
There exist a function
${f}_{\phi}\in \mathcal{O}\left({M}^{\prime}\right)\cap C\left(\overline{{M}^{\prime}}\right)$
and a constant
$C=C(\phi ,{M}^{\prime},{N}^{\prime})$
^{
$1$
}
such that
$$\left{f}_{\phi}\right(z)\phi (z\left)\right<Cand\leftd{f}_{\phi}\right(z\left)\right<Cforallz\in {M}^{\prime}.$$
(Here the norm
$\left\omega \right(z\left)\right$
of a differential form
$\omega $
at
$z\in {M}^{\prime}$
is determined with respect to the Riemannian metric pulled back from
$N$
.) As a corollary of this result we answer an extended version of Question 2 of the Introduction for coverings of manifolds
$M$
satisfying condition ( 1.1 ). Namely, let
$d$
be the path metric on
${N}^{\prime}$
obtained by the pullback of a Riemannian metric defined on
$N$
. Fix a point
$o\in {M}^{\prime}$
and set
$${d}_{o}\left(x\right):=d(o,x),x\in {N}^{\prime}.$$
From the triangle inequality it follows that the function
$\phi \left(x\right):={d}_{o}\left(x\right)$
,
$x\in {N}^{\prime}$
, satisfies the hypothesis of Theorem 2.1 .
Corollary 2.2
Let
$f:={f}_{\phi}$
be the function from Theorem 2.1 for
$\phi ={d}_{o}$
. Then there exists a constant
$\alpha >0$
such that
$F={e}^{\alpha f}\in {H}^{2}\left({M}^{\prime}\right)\cap C\left(\overline{{M}^{\prime}}\right)$
.
(Note that here
$F\left(x\right)\ne 0$
for all
$x\in {M}^{\prime}$
and there are no restrictions on
$di{m}_{\mathbb{C}}M$
.) 2.2. In this part we formulate our results related to Theorem A of the Introduction. Let
${M}^{\prime}$
be an unbranched covering of
$M$
satisfying ( 1.1 ). Let
$\psi :{M}^{\prime}\to {\mathbb{R}}_{+}$
be a continuous function and
$d{V}_{{M}^{\prime}}$
be the Riemannian volume form on
${M}^{\prime}$
obtained by a Riemannian metric pulled back from
$N$
. For an open set
$D\subset M$
we introduce the Banach space
${H}_{\psi}^{p}\left({D}^{\prime}\right)$
of holomorphic functions
$g$
on
${D}^{\prime}:={r}^{1}\left(D\right)\subset {M}^{\prime}$
with norm
$${\left({\int}_{z\in {M}^{\prime}}\leftg\right(z\left){}^{p}\psi \right(z\left)d{V}_{{M}^{\prime}}\right(z)\right)}^{1/p}.$$
Let
$r:{N}^{\prime}\to N$
be the covering of
$N$
satisfying ( 1.1 ) such that
${\pi}_{1}\left({N}^{\prime}\right)={\pi}_{1}\left({M}^{\prime}\right)$
. Then
${M}^{\prime}(={r}^{1}(M\left)\right)$
is a domain in
${N}^{\prime}$
. Suppose that
$\psi :{N}^{\prime}\to {\mathbb{R}}_{+}$
is such that
$log\psi $
is uniformly continuous with respect to the path metric induced by a Riemannian metric pulled back from
$N$
. We set
$\phi :=log\psi $
and consider the holomorphic function
${f}_{\phi}$
from Theorem 2.1 . This theorem implies that for
$\stackrel{~}{C}:={e}^{C}$
$$\begin{array}{c}\frac{1}{\stackrel{~}{C}}\psi \left(z\right)\le \left{e}^{{f}_{\phi}\left(z\right)}\right\le \stackrel{~}{C}\psi \left(z\right),z\in \overline{{M}^{\prime}}.\end{array}$$ 
(2.1)

Therefore the following result holds.
Proposition 2.3
For any open set
$D\subset M$
and every
$p\in [1,\infty )$
the map
${L}_{\psi}:{H}_{\psi}^{p}\left({D}^{\prime}\right)\to {H}_{1}^{p}\left({D}^{\prime}\right)$
,
${L}_{\psi}\left(g\right)=g\cdot {e}^{{f}_{\phi}/p}$
, is an isomorphism of Banach spaces.
$\square $
Let us now formulate an extension of Theorem A of the Introduction. Suppose that
$M$
is a strictly pseudoconvex domain in a complex manifold
$N$
such that
${\pi}_{1}\left(M\right)={\pi}_{1}\left(N\right)$
and
$N$
is a domain in a Stein manifold. Let
$r:{N}^{\prime}\to N$
be an unbranched covering of
$N$
and
${M}^{\prime}={r}^{1}\left(M\right)$
be the corresponding covering of
$M$
. Let
$b{M}^{\prime}={r}^{1}\left(bM\right)$
be the boundary of
${M}^{\prime}$
in
${N}^{\prime}$
.
Theorem 2.4
Each point in
$b{M}^{\prime}$
is a peak point for
$\mathcal{O}\left({M}^{\prime}\right)$
and for every
${H}_{1}^{p}\left({M}^{\prime}\right)$
,
$1\le p<\infty $
.
From Theorem 2.4 and Proposition 2.3 we get (for
$\psi $
as in Proposition 2.3 )
Corollary 2.5
Each
$z\in b{M}^{\prime}$
is a peak point for
${H}_{\psi}^{p}\left({M}^{\prime}\right)$
,
$1\le p<\infty $
.
$\square $
Remark 2.6
The main ingredient of the proof of Theorem 2.4 is uniform estimates for solutions of certain
$\overline{\partial}$
equations on
${M}^{\prime}$
. In fact similar estimates are valid on coverings of, socalled, nondegenerate pseudoconvex polyhedrons on Stein manifolds (see [SH] and [He] for their definition). This class contains, in particular, piecewise strictly pseudoconvex domains and nondegenerate analytic polyhedrons on Stein manifolds. Also, every
$M$
from this class satisfies condition ( 1.1 ). Let
${M}^{\prime}$
be a covering of such
$M$
and
$z\in b{M}^{\prime}$
be such that
${M}^{\prime}\cap U$
is strictly pseudoconvex for a neighbourhood
$U\subset {N}^{\prime}$
of
$z$
. Then arguing as in the proof of Theorem 2.4 one obtains that
$z$
is a peak point for
$\mathcal{O}\left({M}^{\prime}\right)$
and for every
${H}_{1}^{p}\left({M}^{\prime}\right)$
,
$1\le p<\infty $
.
2.3.
In this section we discuss some results related to Problem 3 of the Introduction. Let
$r:{N}^{\prime}\to N$
be a covering of
$N$
satisfying ( 1.1 ). As before we set
${M}^{\prime}={r}^{1}\left(M\right)\subset {N}^{\prime}$
. Consider a function
$\psi :{N}^{\prime}\to {\mathbb{R}}_{+}$
such that
$log\psi $
is uniformly continuous with respect to the path metric induced by a Riemannian metric pulled back from
$N$
. For such
$\psi $
and every
$x\in M$
we introduce the Banach space
${l}_{p,\psi ,x}\left({M}^{\prime}\right)$
,
$1\le p\le \infty $
, of functions
$g$
on
${r}^{1}\left(x\right)\subset {M}^{\prime}$
with norm
$$\begin{array}{c}g{}_{p,\psi ,x}:={\left({\sum}_{y\in {r}^{1}\left(x\right)}\leftg\right(y\left){}^{p}\psi \right(y)\right)}^{1/p}.\end{array}$$ 
(2.2)

Next, for an open set
$D\subset M$
we introduce the Banach space
${\mathcal{\mathscr{H}}}_{p,\psi}\left({D}^{\prime}\right)$
,
$1\le p\le \infty $
, of functions
$f$
holomorphic on
${D}^{\prime}:={r}^{1}\left(D\right)\subset {M}^{\prime}$
with norm
$$\begin{array}{c}f{}_{p,\psi}^{D}:={sup}_{x\in D}f{}_{p,\psi ,x}.\end{array}$$ 
(2.3)

Clearly, one has a continuous embedding
${\mathcal{\mathscr{H}}}_{p,\psi}\left({D}^{\prime}\right)\hookrightarrow {H}_{\psi}^{p}\left({D}^{\prime}\right)$
. Let
$U\subset N$
be an open set containing
$\overline{D}$
and
${U}^{\prime}={r}^{1}\left(U\right)$
. Then for
$\psi $
as above using the mean value property for plurisubharmonic functions one can easily show that for each
$p\in [1,\infty ]$
the restriction
$f\mapsto f{}_{{D}^{\prime}}$
induces a linear continuous map
${H}_{\psi}^{p}\left({U}^{\prime}\right)\to {\mathcal{\mathscr{H}}}_{p,\psi}\left({D}^{\prime}\right)$
. Also, for such
$\psi $
from the results proved in [Br1] follow that holomorphic functions from
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
separate all points in
${M}^{\prime}$
(for each
$p\in [1,\infty ]$
).
Let us formulate the main result of this section.
Let
$M\subset \subset \stackrel{~}{M}\subset N$
be manifolds satisfying condition ( 1.1 ) with
$di{m}_{\mathbb{C}}M\ge 2$
.
Suppose that
$D\subset \subset M$
is an open subset whose boundary
$bD$
is a connected
${C}^{k}$
submanifold of
$M$
$(1\le k\le \infty )$
. For a covering
$r:{N}^{\prime}\to N$
we set
${D}^{\prime}={r}^{1}\left(D\right)$
and
$b{D}^{\prime}={r}^{1}\left(bD\right)$
.
Theorem 2.7
For every
$CR$
function
$f\in {C}^{s}\left(b{D}^{\prime}\right)$
,
$0\le s\le k$
, satisfying
$$f{}_{{r}^{1}\left(x\right)}\in {l}_{p,\psi ,x}\left({M}^{\prime}\right)forallx\in Dand{sup}_{x\in bD}f{}_{p,\psi ,x}<\infty $$
there exists a function
${f}^{\prime}\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({D}^{\prime}\right)\cap {C}^{s}\left(\overline{{D}^{\prime}}\right)$
such that
${f}^{\prime}{}_{b{D}^{\prime}}=f$
.
Remark 2.8
(1) The converse to this theorem is always true: the restriction of every
${f}^{\prime}\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({D}^{\prime}\right)\cap {C}^{s}\left(\overline{{D}^{\prime}}\right)$
to
$b{D}^{\prime}$
is a
$CR$
function satisfying the hypotheses of the theorem.
(2) We will prove also (see (
6.6 )) that for some
$c=c({M}^{\prime},M,\psi ,p)$
$${f}^{\prime}{}_{p,\psi}^{D}\le c{sup}_{x\in bD}f{}_{p,\psi ,x}.$$
As a corollary we obtain an analog of the Hartogs extension theorem. We formulate it for functions of the maximal possible growth for which our method works.
Suppose that
$M$
satisfies ( 1.1 ). Let
$D\subset M$
be a domain and
$K\subset \subset D$
be a compact set such that
$U:=D\backslash K$
is connected. Consider a covering
$r:{M}^{\prime}\to M$
and set
${D}^{\prime}={r}^{1}\left(D\right)$
,
${U}^{\prime}={r}^{1}\left(U\right)$
. By
${d}_{o}$
,
$o\in {M}^{\prime}$
, we denote the distance function on
${M}^{\prime}$
as in Corollary 2.2 .
Corollary 2.9
There exists a constant
$c>0$
such that for every
$f\in \mathcal{O}\left({U}^{\prime}\right)$
satisfying for some
${c}_{2}>0$
and
$0<{c}_{1}<c$
the inequality
$$\leftf\right(z\left)\right\le {e}^{{c}_{2}{e}^{{c}_{1}{d}_{o}\left(z\right)}},z\in {U}^{\prime},$$
there is
${f}^{\prime}\in \mathcal{O}\left({D}^{\prime}\right)$
such that
$$\left{f}^{\prime}\right(z\left)\right\le {e}^{{c}_{3}{e}^{{c}_{1}{d}_{0}\left(z\right)}},z\in {D}^{\prime},and{f}^{\prime}{}_{{U}^{\prime}}=f;$$
where
${c}_{3}$
depends on
${c}_{2},{c}_{1},c,M,{M}^{\prime}$
only.
We don't know whether a similar extension result holds for functions
$f$
growing faster than those of the corollary.
2.4. Finally, we formulate a result related to Problem 1 of the Introduction. First, we recall some definitions of the theory of flat vector bundles (see, e.g., [O]).
Let
$X$
be a complex manifold and
$\rho :{\pi}_{1}\left(X\right)\to G{L}_{k}(\mathbb{C})$
be a homomorphism of its fundamental group. We set
$G:={\pi}_{1}\left(X\right)/Ker\rho $
. It is well known (see, e.g., Example 3.2 (b) below) that to any such
$\rho $
corresponds a complex flat vector bundle
${E}_{\rho}$
on
$X$
(i.e., a bundle constructed by a locally constant cocycle). We call
${E}_{\rho}$
the bundle associated with
$\rho $
. Assume that
$\rho $
is such that
${E}_{\rho}$
is topologically trivial, i.e., is isomorphic in the category of continuous bundles to the bundle
$X\times {\mathbb{C}}^{k}$
. Every such
$\rho $
can be obtained as the monodromy of the equation
$dF=\omega F$
on
$X$
where
$\omega $
is a matrixvalued
$1$
form on
$X$
satisfying
$d\omega \omega \wedge \omega =0$
. By
$\mathcal{T}\left(X\right)$
we denote the class of quotient groups
$G$
obtained by representations
$\rho $
as above.
Now, let
$r:{M}_{G}\to M$
be the regular covering of
$M$
satisfying condition ( 1.1 ) with transformation group
$G$
. Let
${G}_{1}\subset G$
be a subgroup of a finite index. Then there is a finite covering
${r}_{1}:{M}_{1}\to M$
whose fibre is the quotient set
$G/{G}_{1}$
such that
${M}_{G}$
is also the regular covering of
${M}_{1}$
with transformation group
${G}_{1}$
.
Theorem 2.10
Assume that
${G}_{1}\in \mathcal{T}\left({M}_{1}\right)$
. Then there is a finite number of functions in
${\mathcal{\mathscr{H}}}_{2,1}\left({M}_{G}\right)\cap C\left({\overline{M}}_{G}\right)$
which separate all points in
${M}_{G}$
.
Remark 2.11
(1) We will see from the proof that the functions in Theorem 2.10 can be taken even from
${\mathcal{\mathscr{H}}}_{2,\psi}\left({M}_{G}\right)$
where
$\psi :{M}_{G}\to {\mathbb{R}}_{+}$
has a double exponential growth.
(2) As the group
$G$
in Theorem 2.10 one can take, e.g., a finitely generated free group (see, e.g., [O]) or a polycyclic group (see, e.g., [Ra]). If
$di{m}_{\mathbb{C}}M=1$
then, since
$M$
is homotopically equivalent to a onedimensional
$CW$
complex (see, e.g., [GR]), every quotient group
$G$
obtained by a linear representation
$\rho $
belongs to
$\mathcal{T}\left(M\right)$
.
3 . Preliminary Results.
3.1. First, we recall some basic facts from the theory of bundles see, e.g., [Hi].
Let
$X$
be a complex analytic space and
$S$
be a complex analytic Lie group with unit
$e\in S$
. Consider an effective holomorphic action of
$S$
on a complex analytic space
$F$
. Here holomorphic action means a holomorphic map
$S\times F\to F$
sending
$s\times f\in S\times F$
to
$sf\in F$
such that
${s}_{1}\left({s}_{2}f\right)=\left({s}_{1}{s}_{2}\right)f$
and
$ef=f$
for any
$f\in F$
.
Efficiency means that the condition
$sf=f$
for some
$s$
and any
$f$
implies that
$s=e$
.
Definition 3.1
A complex analytic space
$W$
together with a holomorphic map (projection)
$\pi :W\to X$
is called a holomorphic bundle on
$X$
with structure group
$S$
and fibre
$F$
, if there exists a system of coordinate transformations, i.e., if

(1)
there is an open cover
$\mathcal{U}=\{{U}_{i}{\}}_{i\in I}$
of
$X$
and a family of biholomorphisms
${h}_{i}:{\pi}^{1}\left({U}_{i}\right)\to {U}_{i}\times F$
, that map “fibres”
${\pi}^{1}\left(u\right)$
onto
$u\times F$
;

(2)
for any
$i,j\in I$
there are elements
${s}_{ij}\in \mathcal{O}({U}_{i}\cap {U}_{j},S)$
such that
$$\left({h}_{i}{h}_{j}^{1}\right)(u\times f)=u\times {s}_{ij}\left(u\right)fforanyu\in {U}_{i}\cap {U}_{j},f\in F.$$
A holomorphic bundle
$\pi :W\to X$
whose fibre is a Banach space
$F$
and the structure group is
$GL\left(F\right)$
(the group of linear invertible transformations of
$F$
) is called a holomorphic Banach vector bundle. A holomorphic section of a holomorphic bundle
$\pi :W\to X$
is a holomorphic map
$s:X\to W$
satisfying
$\pi \circ s=id$
.
We will use the following construction of holomorphic bundles (see, e.g. [Hi, Ch.1]): Let
$S$
be a complex analytic Lie group and
$\mathcal{U}=\{{U}_{i}{\}}_{i\in I}$
be an open cover of
$X$
.
By
${Z}_{\mathcal{O}}^{1}(\mathcal{U},S)$
we denote the set of holomorphic
$S$
valued
$\mathcal{U}$
cocycles. By definition,
$s=\left\{{s}_{ij}\right\}\in {Z}_{\mathcal{O}}^{1}(\mathcal{U},S)$
, where
${s}_{ij}\in \mathcal{O}({U}_{i}\cap {U}_{j},S)$
and
${s}_{ij}{s}_{jk}={s}_{ik}on{U}_{i}\cap {U}_{j}\cap {U}_{k}$
.
Consider the disjoint union
${\bigsqcup}_{i\in I}{U}_{i}\times F$
and for any
$u\in {U}_{i}\cap {U}_{j}$
identify the point
$u\times f\in {U}_{j}\times F$
with
$u\times {s}_{ij}\left(u\right)f\in {U}_{i}\times F$
. We obtain a holomorphic bundle
${W}_{s}$
on
$X$
whose projection is induced by the projection
${U}_{i}\times F\to {U}_{i}$
. Moreover, any holomorphic bundle on
$X$
with structure group
$S$
and fibre
$F$
is isomorphic (in the category of holomorphic bundles) to a bundle
${W}_{s}$
.
Example 3.2
(a) Let
$M$
be a complex manifold. For any subgroup
$H\subset {\pi}_{1}\left(M\right)$
consider the unbranched covering
$r:M\left(H\right)\to M$
corresponding to
$H$
. We will describe
$M\left(H\right)$
as a holomorphic bundle on
$M$
.
First, assume that
$H\subset {\pi}_{1}\left(M\right)$
is a normal subgroup. Then
$M\left(H\right)$
is a regular covering of
$M$
and the quotient group
$G:={\pi}_{1}\left(M\right)/H$
acts holomorphically on
$M\left(H\right)$
by deck transformations. It is well known that
$M\left(H\right)$
in this case can be thought of as a principle fibre bundle on
$M$
with fibre
$G$
(here
$G$
is equipped with the discrete topology). Namely, let us consider the map
${R}_{G}\left(g\right):G\to G$
,
$g\in G$
, defined by the formula
$${R}_{G}\left(g\right)\left(q\right)=q\cdot {g}^{1},q\in G.$$
Then for an open cover
$\mathcal{U}=\{{U}_{i}{\}}_{i\in I}$
of
$M$
by sets biholomorphic to open Euclidean balls in some
${\mathbb{C}}^{n}$
there is a locally constant cocycle
$c=\left\{{c}_{ij}\right\}\in {Z}_{\mathcal{O}}^{1}(\mathcal{U},G)$
such that
$M\left(H\right)$
is biholomorphic to the quotient space of the disjoint union
$V={\bigsqcup}_{i\in I}{U}_{i}\times G$
by the equivalence relation:
${U}_{i}\times G\ni x\times {R}_{G}\left({c}_{ij}\right)\left(q\right)\sim x\times q\in {U}_{j}\times G$
. The identification space is a holomorphic bundle with projection
$r:M\left(H\right)\to M$
induced by the projections
${U}_{i}\times G\to {U}_{i}$
. In particular, when
$H=e$
we obtain the definition of the universal covering
${M}_{u}$
of
$M$
.
Assume now that
$H\subset {\pi}_{1}\left(M\right)$
is not necessarily normal. Let
${X}_{H}={\pi}_{1}\left(M\right)/H$
be the set of cosets with respect to the (left) action of
$H$
on
${\pi}_{1}\left(M\right)$
defined by left multiplications. By
$\left[Hq\right]\in {X}_{H}$
we denote the coset containing
$q\in {\pi}_{1}\left(M\right)$
. Let
$A\left({X}_{H}\right)$
be the group of all homeomorphisms of
${X}_{H}$
(equipped with the discrete topology). We define the homomorphism
$\tau :{\pi}_{1}\left(M\right)\to A\left({X}_{H}\right)$
by the formula:
$$\tau \left(g\right)\left(\right[Hq\left]\right):=\left[Hq{g}^{1}\right],q\in {\pi}_{1}\left(M\right).$$
Set
$Q\left(H\right):={\pi}_{1}\left(M\right)/Ker\left(\tau \right)$
and let
$\stackrel{~}{g}$
be the image of
$g\in {\pi}_{1}\left(M\right)$
in
$Q\left(H\right)$
. By
${\tau}_{Q\left(H\right)}:Q\left(H\right)\to A\left({X}_{H}\right)$
we denote the unique homomorphism whose pullback to
${\pi}_{1}\left(M\right)$
coincides with
$\tau $
. Consider the action of
$H$
on
$V={\bigsqcup}_{i\in I}{U}_{i}\times {\pi}_{1}\left(M\right)$
induced by the left action of
$H$
on
${\pi}_{1}\left(M\right)$
and let
${V}_{H}={\bigsqcup}_{i\in I}{U}_{i}\times {X}_{H}$
be the corresponding quotient set. Define the equivalence relation
${U}_{i}\times {X}_{H}\ni x\times {\tau}_{Q\left(H\right)}\left({\stackrel{~}{c}}_{ij}\right)\left(h\right)\sim x\times h\in {U}_{j}\times {X}_{H}$
with the same
$\left\{{c}_{ij}\right\}$
as in the definition of
$M\left(e\right)$
. The corresponding quotient space is a holomorphic bundle with fibre
${X}_{H}$
biholomorphic to
$M\left(H\right)$
.
(b) We retain the notation of example (a). Let
$B$
be a complex Banach space and
$GL\left(B\right)$
be the group of invertible bounded linear operators
$B\to B$
. Consider a homomorphism
$\rho :G\to GL\left(B\right)$
. Without loss of generality we assume that
$Ker\left(\rho \right)=e$
, for otherwise we can pass to the corresponding quotient group. The holomorphic Banach vector bundle
${E}_{\rho}\to M$
associated with
$\rho $
is defined as the quotient of
${\bigsqcup}_{i\in I}{U}_{i}\times B$
by the equivalence relation
${U}_{i}\times B\ni x\times \rho \left({c}_{ij}\right)\left(w\right)\sim x\times w\in {U}_{j}\times B$
for any
$x\in {U}_{i}\cap {U}_{j}$
. Let us illustrate this construction by an example.
Let
$\phi :{X}_{H}\to {\mathbb{R}}^{+}$
(
${X}_{H}:={\pi}_{1}\left(M\right)/H$
) be a function satisfying
$$\begin{array}{c}\phi \left(\tau \right(h\left)\right(x\left)\right)\le {c}_{h}\phi \left(x\right),x\in {X}_{H},h\in {\pi}_{1}\left(M\right),\end{array}$$ 
(3.1)

where
${c}_{h}$
is a constant depending on
$h$
. By
${l}_{p,\phi}\left({X}_{H}\right)$
,
$1\le p\le \infty $
, we denote the Banach space of complex functions
$f$
on
${X}_{H}$
with norm
$$\begin{array}{c}\left\rightf{}_{p,\phi}:={\left({\sum}_{g\in {X}_{H}}\leftf\right(g\left){}^{p}\phi \right(g)\right)}^{1/p}.\end{array}$$ 
(3.2)

Then according to ( 3.1 ) the map
$\rho $
defined by the formula
$\left[\rho \right(g\left)\right(f\left)\right]\left(x\right):=f\left(\tau \right(g\left)\right(x\left)\right)$
,
$g\in {\pi}_{1}\left(M\right)$
,
$x\in {X}_{H}$
, is a homomorphism of
${\pi}_{1}\left(M\right)$
into
$GL\left({l}_{p,\phi}\right({X}_{H}\left)\right)$
. By
${E}_{p,\phi}\left({X}_{H}\right)$
we denote the holomorphic Banach vector bundle associated with this
$\rho $
.
3.2.
We retain the notation of Example 3.2 . Let
$r:{M}^{\prime}\to M$
be a covering where
${M}^{\prime}=M\left(H\right)$
(i.e.,
${\pi}_{1}\left({M}^{\prime}\right)=H$
). Assume that
$M$
satisfies condition ( 1.1 ), i.e.,
$M\subset \subset N$
and
${\pi}_{1}\left(M\right)={\pi}_{1}\left(N\right)$
. Then there is an embedding
$M\left(H\right)\hookrightarrow N\left(H\right)$
. (Without loss of generality we consider
$M\left(H\right)$
as an open subset of
$N\left(H\right)$
.) Let
$\{{V}_{i}{\}}_{i\in I}$
be a finite acyclic open cover of
$\overline{M}$
by relatively compact sets. We set
${U}_{i}:={V}_{i}\cap M$
and consider the open cover
$\mathcal{U}=\{{U}_{i}{\}}_{i\in I}$
of
$M$
. Then as in Example 3.2 (a) we can define
$M\left(H\right)$
by a cocycle
$c=\left\{{c}_{ij}\right\}\in {Z}_{\mathcal{O}}^{1}(\mathcal{U},{\pi}_{1}(M\left)\right)$
.
Further, let
$\psi :N\left(H\right)\to {\mathbb{R}}_{+}$
be a function such that
$log\psi $
is uniformly continuous with respect to the path metric induced by a Riemannian metric pulled back from
$N$
. Fix a point
${z}_{0}\in M$
and identify
${r}^{1}\left({z}_{0}\right)$
with
${z}_{0}\times {X}_{H}$
(
${X}_{H}:={\pi}_{1}\left(M\right)/H$
). We define the function
$\phi :{X}_{H}\to {\mathbb{R}}_{+}$
by the formula
$$\phi \left(x\right):=\psi ({z}_{0},x),x\in {X}_{H}.$$
It was proved in [Br1, Lemma 2.3] that
$\phi $
satisfies inequality ( 3.1 ). Then the bundle
${E}_{p,\phi}\left({X}_{H}\right)$
is well defined. By definition, any holomorphic section of this bundle is determined by a family
$\left\{{f}_{i}\right(z,g){\}}_{i\in I}$
of holomorphic functions on
${U}_{i}$
with values in
${l}_{p,\phi}\left({X}_{H}\right)$
satisfying
$${f}_{i}(z,\tau ({c}_{ij}\left)\right(h\left)\right)={f}_{j}(z,h)foranyz\in {U}_{i}\cap {U}_{j}.$$
We introduce the Banach space
${B}_{p,\phi}\left({X}_{H}\right)$
of bounded holomorphic sections
$f=\{{f}_{i}{\}}_{i\in I}$
of
${E}_{p,\phi}\left({X}_{H}\right)$
with norm
$$\begin{array}{c}f{}_{p,\phi}:={sup}_{i\in I,z\in {U}_{i}}\left{f}_{i}\right(z,\cdot \left)\right{}_{p,\phi}.\end{array}$$ 
(3.3)

(Here
$\left\right\cdot {}_{p,\phi}$
is the norm on
${l}_{p,\phi}\left({X}_{H}\right)$
, see ( 3.2 ).) Further, let
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left(M\right(H\left)\right)$
(see section 2.2 for the definition). We define the family
$\{{f}_{i}{\}}_{i\in I}$
of functions on
${U}_{i}$
with values in the space of functions on
${X}_{H}$
by the formula
$$\begin{array}{c}{f}_{i}(z,g):=f(z,g),z\in {U}_{i},i\in I,g\in {X}_{H}.\end{array}$$ 
(3.4)

It was established in [Br1, Proposition 2.4] that the correspondence
$f\mapsto \{{f}_{i}{\}}_{i\in I}$
determines an isomorphism of Banach spaces
$D:{\mathcal{\mathscr{H}}}_{p,\psi}\left(M\right(H\left)\right)\to {B}_{p,\phi}\left({X}_{H}\right)$
. (Here
$D$
is an isometry for
$\psi \equiv 1$
.) Next, suppose that
$\{{x}_{n}{\}}_{n\ge 1}\subset M$
converges to
$x\in M$
. Then for sufficiently big
$n$
we can arrange
${r}^{1}\left({x}_{n}\right)$
and
${r}^{1}\left(x\right)$
in sequences
$\{{y}_{in}{\}}_{i\ge 1}$
and
$\{{y}_{i}{\}}_{i\ge 1}$
such that every
$\left\{{y}_{in}\right\}$
converges to
${y}_{i}$
as
$n\to \infty $
. For such
$n$
we define maps
${\tau}_{n}\left(x\right):{r}^{1}\left(x\right)\to {r}^{1}\left({x}_{n}\right)$
so that
${\tau}_{n}\left({y}_{i}\right)={y}_{in}$
,
$i\in \mathbb{N}$
. Below,
${\tau}_{n}^{*}$
denotes the transpose map generated by
${\tau}_{n}$
on functions defined on
${r}^{1}\left({x}_{n}\right)$
and
${r}^{1}\left(x\right)$
.
Definition 3.3
Let
$X\subset M$
be a subset.
We say that a function
$f$
on
${r}^{1}\left(X\right)$
belongs to the class
${C}_{p,\psi}\left({r}^{1}\right(X\left)\right)$
if

(1)
$f{}_{{r}^{1}\left(x\right)}\in {l}_{p,\psi ,x}\left({M}^{\prime}\right)$
for all
$x\in X$
and

(2)
for any
$x\in X$
and any sequence
$\left\{{x}_{n}\right\}\subset X$
converging to
$x$
the sequence of functions
$\left\{{\tau}_{n}^{*}\right(f{}_{{r}^{1}\left({x}_{n}\right)}\left)\right\}$
converges to
$f{}_{{r}^{1}\left(x\right)}$
in the norm of
${l}_{p,\psi ,x}\left({M}^{\prime}\right)$
.
By
${C}_{p,\psi}^{b}\left({r}^{1}\right(X\left)\right)$
we denote the Banach space of functions
$f\in {C}_{p,\psi}\left({r}^{1}\right(X\left)\right)$
with norm
$$\begin{array}{c}f{}_{p,\psi}^{X}:={sup}_{x\in X}f{}_{{r}^{1}\left(x\right)}{}_{p,\psi ,x}.\end{array}$$ 
(3.5)

Note that if
$X\subset M$
is compact, then
$f{}_{p,\psi}^{X}<\infty $
for every
$f\in {C}_{p,\psi}\left({r}^{1}\right(X\left)\right)$
.
Comparing with the above definition of
$D$
one determines a similar map for
${C}_{p,\psi}^{b}\left({r}^{1}\right(X\left)\right)$
. This gives an isomorphism
$D:{C}_{p,\psi}^{b}\left({r}^{1}\right(X\left)\right)\to C{B}_{p,\phi}^{X}\left({X}_{H}\right)$
where
$C{B}_{p,\phi}^{X}\left({X}_{H}\right)$
is the Banach space of bounded continuous sections of
${E}_{p,\phi}\left({X}_{H}\right){}_{X}$
with norm defined as in ( 3.3 ).
3.3. Most of our proofs are based on Theorem 1.3 of [Br1]. In its proof we use the above isomorphisms
$D$
and Cartan's A and B theorems for coherent Banach vector sheaves (see [B]). Let us formulate this result.
Suppose that
$r:{M}^{\prime}\to M$
is a covering with
$M$
satisfying ( 1.1 ). We define
$\psi :{M}^{\prime}\to {\mathbb{R}}_{+}$
as in section 3.2. Also, we define
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
and
${l}_{p,\psi ,x}\left({M}^{\prime}\right)$
as in section 2.3. For Banach spaces
$E$
and
$F$
by
$\mathcal{\mathcal{B}}(E,F)$
we denote the space of all linear bounded operators
$E\to F$
with norm
$\left\right\cdot \left\right$
.
Theorem 3.4
For any
$p\in [1,\infty ]$
there is a family
$\{{L}_{z}\in \mathcal{\mathcal{B}}({l}_{p,\psi ,z}\left({M}^{\prime}\right),{\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)){\}}_{z\in M}$
holomorphic in
$z$
such that
$$\left({L}_{z}h\right)\left(x\right)=h\left(x\right)foranyh\in {l}_{p,\psi ,z}\left({M}^{\prime}\right)andx\in {r}^{1}\left(z\right).$$
Moreover,
$${sup}_{z\in M}\left\right{L}_{z}\left\right<\infty .$$
The following facts are simple corollaries of this result.
Suppose that
$X\subset M$
and
$f\in {C}_{p,\psi}^{b}\left({r}^{1}\right(X\left)\right)$
. We define the function
$F$
on
$X\times {M}^{\prime}$
by the formula
$$\begin{array}{c}F(x,z):=\left({L}_{x}\right(f{}_{{r}^{1}\left(x\right)}\left)\right)\left(z\right),x\times z\in X\times {M}^{\prime}.\end{array}$$ 
(3.6)

Then
$F$
is continuous and
$F(x,\cdot )\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
for every
$x$
. Moreover, if
$X$
is open and
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(X\left)\right)$
, then
$F\in \mathcal{O}(X\times {M}^{\prime})$
and the map
$X\to {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
,
$x\mapsto F(x,\cdot )$
, is holomorphic.
We can also express
$F$
in local coordinates. Namely, take
$x\in X$
and let
$U\subset M$
be a neighbourhood of
$x$
biholomorphic to an open Euclidean ball. Then
${r}^{1}\left(U\right)={\bigsqcup}_{y\in {r}^{1}\left(x\right)}{V}_{y}$
and there are biholomorphisms
${s}_{y}:U\to {V}_{y}$
such that
$r\circ {s}_{y}=id$
. Now, the restriction of
$f\in {C}_{p,\psi}^{b}\left({r}^{1}\right(X\left)\right)$
to
${r}^{1}(U\cap X)$
can be written as
$$\begin{array}{c}f\left(z\right)={\sum}_{y\in {r}^{1}\left(x\right)}f\left(z\right){\chi}_{y}\left(z\right),z\in {r}^{1}(U\cap X),\end{array}$$ 
(3.7)

where
${\chi}_{y}$
is the characteristic function of
${V}_{y}$
. Let us introduce the functions
${\stackrel{~}{f}}_{y}$
,
$y\in {r}^{1}\left(x\right)$
, by the formulas
$${\stackrel{~}{f}}_{y}\left(v\right)=f\left({s}_{y}\right(v\left)\right),v\in X\cap U.$$
Then we have
$$\begin{array}{c}f\left(z\right)={\sum}_{y\in {r}^{1}\left(x\right)}{\stackrel{~}{f}}_{y}\left(v\right){\chi}_{y}\left(z\right),v=r\left(z\right)\in U\cap X.\end{array}$$ 
(3.8)

Consider the series
$$\begin{array}{c}{\sum}_{y\in {r}^{1}\left(x\right)}{\stackrel{~}{f}}_{y}\left(v\right){L}_{v}\left({\chi}_{y}{}_{{r}^{1}\left(v\right)}\right),v\in U\cap X,\end{array}$$ 
(3.9)

with
${L}_{v}$
as in Theorem 3.4 .
Proposition 3.5
For
$p\in [1,\infty )$
the series in ( 3.9 ) converges in
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
to
$F(v,\cdot ):={L}_{v}\left(f{}_{{r}^{1}\left(v\right)}\right)$
uniformly on every compact subset of
$U\cap X$
. If
$p=\infty $
and
$f\in {C}_{1,1}^{b}\left({r}^{1}\right(X\left)\right)$
then this series also converges in
${\mathcal{\mathscr{H}}}_{\infty ,\psi}\left({M}^{\prime}\right)$
to
$F(v,\cdot )$
uniformly on every compact subset of
$U\cap X$
.
Proof. Suppose that
$p\in [1,\infty )$
and
$f\in {C}_{p,\psi}^{b}\left({r}^{1}\right(X\left)\right)$
. Let
$C\subset U\cap X$
be a compact subset. By the definition the function
$\Phi :U\cap X\to {l}_{p,\psi}\left({X}_{H}\right)$
,
$z\mapsto {\stackrel{~}{f}}_{\cdot}\left(z\right)$
, is continuous (here we identify
${r}^{1}\left(x\right)$
with
${X}_{H}$
). Thus
$\Phi \left(C\right)\subset {l}_{p,\psi}\left({X}_{H}\right)$
is compact. Fix a family
$\{{X}_{i}{\}}_{i\in \mathbb{N}}$
of finite subsets of
${X}_{H}$
such that
${X}_{i}\subset {X}_{i+1}$
for any
$i$
and
${\cup}_{i=1}^{\infty}{X}_{i}={X}_{H}$
. Let
${V}_{i}\subset {l}_{p,\psi}\left({X}_{H}\right)$
be a finitedimensional subspace generated by functions
${\delta}_{z}$
on
${X}_{H}$
with
$z\in {X}_{i}$
. Here
${\delta}_{z}\left(v\right)=1$
if
$v=z$
and
${\delta}_{z}\left(v\right)=0$
if
$v\ne z$
. Then
${\cup}_{i=1}^{\infty}{V}_{i}$
is everywhere dense in
${l}_{p,\psi}\left({X}_{H}\right)$
(since
$1\le p<\infty $
). This and compactness of
$\Phi \left(C\right)$
imply that for any
$\epsilon >0$
there exists an integer
$l$
such that
$\Phi \left(C\right)\subset {V}_{l}+{B}_{\epsilon}$
where
${B}_{\epsilon}$
is the open ball in
${l}_{p,\psi}\left({X}_{H}\right)$
centered at
$0$
of radius
$\epsilon $
. By
${p}_{l}:{l}_{p,\psi}\left({X}_{H}\right)\to {V}_{l}$
we denote the projection sending
$v={\sum}_{x\in {X}_{H}}{v}_{x}{\delta}_{x}\in {l}_{p,\psi}\left({X}_{H}\right)$
to
${\sum}_{x\in {X}_{l}}{v}_{x}{\delta}_{x}\in {V}_{l}$
(here all
${v}_{x}\in \mathbb{C}$
). Then for
$\epsilon $
as above and every
$v\in \Phi \left(C\right)$
we have
$\left\rightv{p}_{l}\left(v\right){}_{p,\phi}<\epsilon $
. From this by ( 3.8 ), identifying
${r}^{1}\left(x\right)$
with
${X}_{H}$
, we obtain
$$\begin{array}{c}{sup}_{v\in C}\left\rightf{}_{{r}^{1}\left(v\right)}{\sum}_{y\in {X}_{l}}{\stackrel{~}{f}}_{y}\left(v\right){\chi}_{y}{}_{{r}^{1}\left(v\right)}{}_{p,\phi}<\epsilon .\end{array}$$ 
(3.10)

Thus by the definition of operators
${L}_{v}$
(see Theorem 3.4 )
$$\begin{array}{c}{sup}_{v\in C}\leftF\right(v,\cdot ){\sum}_{y\in {X}_{l}}{\stackrel{~}{f}}_{y}(v\left){L}_{v}\right({\chi}_{y}{}_{{r}^{1}\left(v\right)}){}_{p,\psi}^{M}<C\epsilon \end{array}$$ 
(3.11)

for some constant
$C$
. This implies the required uniform convergence for
$p\in [1,\infty )$
.
For
$p=\infty $
and
$f\in {C}_{1,1}^{b}\left({r}^{1}\right(X\left)\right)$
we obtain anew that
$\Phi \left(C\right)\subset {l}_{1,1}\left({X}_{H}\right)$
is compact. Then in the above notation we easily get
$\left\rightv{p}_{l}\left(v\right){}_{\infty ,\phi}<\epsilon $
for any
$v\in \Phi \left(C\right)$
(because
$\left\right\cdot {}_{\infty ,\phi}=\cdot {}_{\infty ,1}\le \left\right\cdot {}_{1,1}$
). Thus ( 3.10 ) is also valid for
$p=\infty $
.
This gives (
3.11 ) with
$p=\infty $
.
$\square $
4 . Proofs of Theorem 2.1 and Corollary 2.2 .
Proof of Theorem 2.1 . Let
$M\subset \subset \stackrel{~}{M}\subset N$
be complex manifolds such that
${\pi}_{1}\left(M\right)={\pi}_{1}\left(N\right)$
and
$\stackrel{~}{M}$
is Stein. Consider an unbranched covering
$r:{N}^{\prime}\to N$
of
$N$
and the corresponding coverings
${M}^{\prime}={r}^{1}\left(M\right)$
and
${\stackrel{~}{M}}^{\prime}={r}^{1}\left(\stackrel{~}{M}\right)$
of
$M$
and
$\stackrel{~}{M}$
.
According to Example
3.2 (a)
${\stackrel{~}{M}}^{\prime}$
is defined on an open cover
$\mathcal{U}=\{{U}_{i}{\}}_{i\in I}$
of
$\stackrel{~}{M}$
by sets biholomorphic to open Euclidean balls by a locally constant cocycle
$\left\{{\stackrel{~}{c}}_{ij}\right\}\in {Z}_{\mathcal{O}}^{1}(\mathcal{U},Q(H\left)\right)$
. (Here we retain the notation of Example 3.2 (a) so that
${\stackrel{~}{M}}^{\prime}=\stackrel{~}{M}\left(H\right)$
.) Using this construction we identify
${r}^{1}\left({U}_{i}\right)$
with
${U}_{i}\times {X}_{H}$
(
${X}_{H}={\pi}_{1}\left(M\right)/H$
). Also, we choose some points
${z}_{i}\in {U}_{i}$
and assume that diameters of all
${U}_{i}$
in the path metric on
$N$
induced by a Riemannian metric are uniformly bounded by a constant.
Let
$\phi :{N}^{\prime}\to \mathbb{R}$
be a function uniformly continuous with respect to the path metric induced by the Riemannian metric pulled back from
$N$
. For every
$i\in I$
we define a function
${\phi}_{i}:{r}^{1}\left({U}_{i}\right)\to \mathbb{R}$
by the formula
$${\phi}_{i}(z,g):=\phi ({z}_{i},g),z\times g\in {r}^{1}\left({U}_{i}\right).$$
Then from the uniform continuity of
$\phi $
and boundedness of
$diam\left({U}_{i}\right)$
for all
$i$
we obtain that there exists a constant
$c$
such that
$$\begin{array}{c}\left\phi \right(v){\phi}_{i}(v\left)\right\le cforeveryv\in {r}^{1}\left({U}_{i}\right),i\in I.\end{array}$$ 
(4.1)

Define a locally constant cocycle
${\phi}_{ij}$
on the open cover
$\left\{{r}^{1}\right({U}_{i}\left)\right\}$
of
${\stackrel{~}{M}}^{\prime}$
by the formula
$${\phi}_{ij}\left(v\right)={\phi}_{i}\left(v\right){\phi}_{j}\left(v\right)forv\in {r}^{1}({U}_{i}\cap {U}_{j}).$$
Then from ( 4.1 ) by the triangle inequality we get
$$\begin{array}{c}{sup}_{i,j,v}\left{\phi}_{ij}\right(v\left)\right\le 2c.\end{array}$$ 
(4.2)

This inequality implies that rewriting cocycle
$\left\{{\phi}_{ij}\right\}$
in the coordinates on
$\stackrel{~}{M}$
(i.e., taking its direct image
$\left\{{r}_{*}\right({\phi}_{ij}\left)\right\}$
with respect to
$r$
) we can regard it as a holomorphic cocycle on the cover
$\mathcal{U}$
with values in the Banach vector bundle
${E}_{\infty ,1}\left({X}_{H}\right)$
with fibre
${l}_{\infty ,1}\left({X}_{H}\right)$
defined on
$\stackrel{~}{M}$
(see Example 3.2 (b)). This correspondence is described in [Br2, Proposition 2.4]. Since
$\mathcal{U}$
is acyclic and
$\stackrel{~}{M}$
is Stein, from the above construction, a version of Cartan's B theorem for coherent Banach sheaves (see [B]), and the classical Leray theorem we obtain as in [Br2] that there are holomorphic functions
${f}_{i}\in \mathcal{O}\left({r}^{1}\right({U}_{i}\left)\right)$
such that

(1)
for every compact set
$K\subset {U}_{i}$
,
$${sup}_{y\in {r}^{1}\left(K\right)}\left{f}_{i}\right(y\left)\right<\infty ;$$

(2)
$${f}_{i}\left(z\right){f}_{j}\left(z\right)={\phi}_{ij}\left(z\right)forz\in {r}^{1}({U}_{i}\cap {U}_{j}).$$
Let
$\mathcal{V}=\{{V}_{j}{\}}_{j\in J}$
be a refinement of
$\mathcal{U}$
such that every
${V}_{j}$
is open and relatively compact in some
${U}_{{i}_{j}}$
. Then condition (1) implies that
$$\begin{array}{c}{sup}_{y\in {r}^{1}\left({V}_{j}\right)}\left{f}_{{i}_{j}}\right(y\left)\right<\infty .\end{array}$$ 
(4.3)

Finally, define a function
$\stackrel{~}{f}\in \mathcal{O}\left({\stackrel{~}{M}}^{\prime}\right)$
by the formula
$$\begin{array}{c}\stackrel{~}{f}\left(z\right):={\phi}_{i}\left(z\right){f}_{i}\left(z\right),z\in {r}^{1}\left({U}_{i}\right).\end{array}$$ 
(4.4)

Since
$\overline{M}\subset \stackrel{~}{M}$
is a compact set, there is a finite subcover of
$\mathcal{V}$
that covers
$\overline{M}$
. From here, ( 4.3 ) and ( 4.1 ) for the restriction
${f}_{\phi}:=\stackrel{~}{f}{}_{\overline{{M}^{\prime}}}$
we obtain (for some
$C$
)
$$\begin{array}{c}\left{f}_{\phi}\right(z)\phi (z\left)\right<Cand\leftd{f}_{\phi}\right(z\left)\right<Cforanyz\in {M}^{\prime}.\end{array}$$ 
(4.5)

The proof of the theorem is complete.
$\square $
Proof of Corollary 2.2 . We retain the notation of the proof of Theorem 2.1 .
Let
${d}_{o}:=d(o,\cdot )$
be the distance on
${N}^{\prime}$
from a fixed point
$o\in {M}^{\prime}$
and let
$f:={f}_{\phi}$
be the function from Theorem 2.1 for
$\phi ={d}_{o}$
. Consider a finite open cover
$\{{U}_{i}{\}}_{i=1}^{l}$
of
$\overline{M}$
such that every
${U}_{i}\subset \subset \stackrel{~}{M}$
is biholomorphic to an open Euclidean ball. As above we identify
${r}^{1}\left({U}_{i}\right)\subset {N}^{\prime}$
with
${U}_{i}\times {X}_{H}$
. Fix an element
$e\in {X}_{H}$
and set
${o}_{i}\left(z\right)=(z,e)\in {r}^{1}\left({U}_{i}\right)$
for every
$z\in {U}_{i}$
,
$1\le i\le l$
, and
${d}_{{o}_{i}\left(z\right)}\left(v\right):=d\left({o}_{i}\right(z),v)$
,
$v\in {N}^{\prime}$
. Then from compactness of every
$\overline{{U}_{i}}$
by the triangle inequality we get
$$\begin{array}{c}\left{d}_{{o}_{i}\left(z\right)}\right(v){d}_{o}(v\left)\right\le a,1\le i\le l,\end{array}$$ 
(4.6)

for some constant
$a$
. By
${B}_{z,i}\left(R\right)$
we denote the open ball on
${r}^{1}\left(z\right)$
of radius
$R$
centered at
${o}_{i}\left(z\right)$
with respect to the induced metric
$d{}_{{r}^{1}\left(z\right)}$
. Also, by
$\#A$
we denote the number of elements of
$A$
. Now we prove
Lemma 4.1
There is
$k\in \mathbb{N}$
such that
$$\#{B}_{z,i}\left(R\right)\le {e}^{kR},1\le i\le l.$$
Proof. Let
$\stackrel{~}{r}:{N}_{u}\to N$
be the universal covering of
$N$
and
${r}^{\prime}:{N}_{u}\to {N}^{\prime}$
be the intermediate covering, i.e.,
$\stackrel{~}{r}=r\circ {r}^{\prime}$
. We equip
${N}_{u}$
with the path metric
$\stackrel{~}{d}$
induced by the Riemannian metric pulled back from
$N$
, the same as in the definition of the metric
$d$
on
${N}^{\prime}$
. Let
${\stackrel{~}{o}}_{i}\left(z\right)\in {\stackrel{~}{r}}^{1}\left(z\right)$
be such that
${r}^{\prime}\left({\stackrel{~}{o}}_{i}\right(z\left)\right)={o}_{i}\left(z\right)$
. By
${\stackrel{~}{B}}_{\stackrel{~}{z},i}\left(R\right)$
we denote the open ball on
${\stackrel{~}{r}}^{1}\left(z\right)$
of radius
$R$
centered at
${\stackrel{~}{o}}_{i}\left(z\right)$
with respect to the metric
$\stackrel{~}{d}{}_{{\stackrel{~}{r}}^{1}\left(z\right)}$
. Let us check that
${r}^{\prime}\left({\stackrel{~}{B}}_{\stackrel{~}{z},i}\right(R\left)\right)={B}_{z,i}\left(R\right)$
.
Indeed, let
$y\in {\stackrel{~}{B}}_{\stackrel{~}{z},i}\left(R\right)$
and
${\gamma}_{y}$
be a path joining
${\stackrel{~}{o}}_{i}\left(z\right)$
and
$y$
in
${N}_{u}$
whose length is less than
$R$
(such a path exists by the definition of
$\stackrel{~}{d}$
). Then
${r}^{\prime}\left({\gamma}_{y}\right)$
is a path joining
${o}_{i}\left(z\right)$
and
${r}^{\prime}\left(y\right)$
in
${N}^{\prime}$
. By the definition of the metrics on
${N}_{u}$
and
${N}^{\prime}$
the length of
${r}^{\prime}\left({\gamma}_{y}\right)$
does not exceed the length of
${\gamma}_{y}$
. In particular, it is less than
$R$
. Thus
${d}_{{o}_{i}\left(z\right)}\left({r}^{\prime}\right(y\left)\right)<R$
, i.e.,
${r}^{\prime}\left(y\right)\in {B}_{z,i}\left(R\right)$
. Conversely, let
$w\in {B}_{z,i}\left(R\right)$
and let
${\gamma}_{w}$
be a path in
${N}^{\prime}$
joining
${o}_{i}\left(z\right)$
and
$w$
with length less than
$R$
. By the covering homotopy theorem (see, e.g., [Hu, Chapter III]) there is a path
${\stackrel{~}{\gamma}}_{w}\subset {N}_{u}$
that covers
${\gamma}_{w}$
and joins
${\stackrel{~}{o}}_{i}\left(z\right)$
with some point
$\stackrel{~}{w}$
such that
${r}^{\prime}\left(\stackrel{~}{w}\right)=w$
. Moreover, by the definition, the length of
${\stackrel{~}{\gamma}}_{w}$
is the same as the length of
${\gamma}_{w}$
. In particular, it is less than
$R$
. Thus
$\stackrel{~}{w}\in {\stackrel{~}{B}}_{\stackrel{~}{z},i}\left(R\right)$
. This shows that
${r}^{\prime}\left({\stackrel{~}{B}}_{\stackrel{~}{z},i}\right(R\left)\right)={B}_{z,i}\left(R\right)$
. In turn, the latter implies that
$$\begin{array}{c}\#{B}_{z,i}\left(R\right)\le \#{\stackrel{~}{B}}_{\stackrel{~}{z},i}\left(R\right).\end{array}$$ 
(4.7)

Next, let
$A$
be a finite set of generators of
${\pi}_{1}\left(N\right)$
(recall that condition ( 1.1 ) implies that
${\pi}_{1}\left(N\right)$
is finitely generated). By
${d}_{w}$
we denote the word metric on
${\pi}_{1}\left(N\right)$
with respect to
$A$
. Now, from compactness of every
$\overline{{U}_{i}}$
by the ŠvarcMilnor lemma (see, e.g., [BH, p.140]) we obtain that there exists a constant
$c$
such that for any
$z\in {U}_{i}$
,
$1\le i\le l$
, and
$g,h\in {\pi}_{1}\left(N\right)$
,
$$\begin{array}{c}{c}^{1}{d}_{w}(g,h)\le \stackrel{~}{d}\left(\right(z,g),(z,h\left)\right)\le c{d}_{w}(g,h)\end{array}$$ 
(4.8)

(Here we identify
${\stackrel{~}{r}}^{1}\left({U}_{i}\right)$
with
${U}_{i}\times {\pi}_{1}\left(N\right)$
as in Example 3.2 (a).) Let
${B}_{R}\subset {\pi}_{1}\left(N\right)$
be the open ball of radius
$R$
centered at
$1$
with respect to
${d}_{w}$
. Then there is a natural number
$\stackrel{~}{k}$
such that
$$\begin{array}{c}\#{B}_{R}\le {e}^{\stackrel{~}{k}R}foranyR\ge 0.\end{array}$$ 
(4.9)

From here, ( 4.8 ) and ( 4.7 ) we get for
$k:=\stackrel{~}{k}c$
$$\#{B}_{z,i}\left(R\right)\le {e}^{kR},1\le i\le l.\square $$
We proceed with the proof of the corollary. Let us define
$\alpha :=\frac{k+1}{2}$
and prove that
$F={e}^{\alpha f}\in {\mathcal{\mathscr{H}}}_{2,1}\left({M}^{\prime}\right)\cap C\left(\overline{{M}^{\prime}}\right)$
. Since
${\mathcal{\mathscr{H}}}_{2,1}\left({M}^{\prime}\right)\hookrightarrow {H}_{1}^{2}\left({M}^{\prime}\right)$
(see section 2.3), this implies the required statement.
Let
$z\in {U}_{i}$
for some
$1\le i\le l$
. We will estimate
$F{}_{2,1,z}$
(see ( 2.2 )). By the definition using inequalities ( 4.5 ), ( 4.6 ) and Lemma 4.1 we obtain
$$\begin{array}{c}F{}_{2,1,z}^{2}={\sum}_{y\in {r}^{1}\left(z\right)}{e}^{\alpha f\left(y\right)}{}^{2}\le {e}^{2\alpha (a+C)}\cdot {\sum}_{y\in {r}^{1}\left(z\right)}{e}^{2\alpha {d}_{{o}_{i}\left(z\right)}\left(y\right)}\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}{e}^{2\alpha (a+C)}\cdot {\sum}_{R=0}^{\infty}{e}^{2\alpha R}\cdot \#{B}_{z,i}\left(R\right)\le {e}^{2\alpha (a+C)}\cdot {\sum}_{R=0}^{\infty}{e}^{(2\alpha +k)R}=\frac{{e}^{2\alpha (a+C)+1}}{e1}.\end{array}$$  
Therefore
$$F{}_{2,1}^{M}:={sup}_{z\in M}F{}_{2,1,z}\le {\left(\frac{{e}^{2\alpha (a+C)+1}}{e1}\right)}^{1/2}.$$
This shows that
$F\in {\mathcal{\mathscr{H}}}_{2,1}\left({M}^{\prime}\right)\cap C\left(\overline{{M}^{\prime}}\right)$
.
$\square $
Remark 4.2
(1) Using some construction from [Br2] one can prove that the constant
$C$
in Theorem 2.1 for
$\phi ={d}_{o}$
(see ( 4.5 )) can be chosen independent of the covering
$r:{M}^{\prime}\to M$
. It depends only on
$M$
,
$\stackrel{~}{M}$
and the Riemannian metric on
$N$
.
(2) Consider the holomorphic map
$f:{M}^{\prime}\to \mathbb{C}$
with
$f$
as in Corollary 2.2 . Then
$$f\left({M}^{\prime}\right)\subset S:=\{z\in \mathbb{C}:Imz<C,C<Rez<\infty \}$$
where
$C$
is the constant in Theorem 2.1 for
$\phi ={d}_{o}$
. Let
${B}_{t}=\{x\in {M}^{\prime}:{d}_{o}(x)<t\}$
be the open ball in
${M}^{\prime}$
centered at
$o$
of radius
$t$
and
${S}_{R}:=\{z\in S:Rez\ge R\}$
.
Then
$${f}^{1}\left({S}_{R}\right)\subset {M}^{\prime}\backslash {B}_{RC}forR>Cand{f}^{1}(S\backslash {S}_{R})\subset {B}_{R+C}.$$
Using such
$f$
one can construct holomorphic functions on
${M}^{\prime}$
decreasing faster than the function
$F$
from Corollary 2.2 . Actually, let
$l:{\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$
be a continuous function monotonically increasing for
$x\ge {R}_{0}$
. Consider a holomorphic function
$g$
on
$S$
satisfying
$$\begin{array}{c}log\leftg\right(x+iy\left)\right\ge l\left(x\right)forx\ge {R}_{0}and{inf}_{z\in S}\leftg\right(z\left)\right>0.\end{array}$$ 
(4.10)

Then one can easily check that the function
$G=g\circ f\in \mathcal{O}\left({M}^{\prime}\right)\cap C\left(\overline{{M}^{\prime}}\right)$
satisfies
$$\leftG\right(z\left)\right\ge {e}^{l\left({d}_{o}\right(z)C)}for{d}_{o}\left(z\right)\ge {R}_{0}+C.$$
In particular,
$H=1/G\in \mathcal{O}\left({M}^{\prime}\right)\cap C\left(\overline{{M}^{\prime}}\right)$
satisfies (for some
${c}_{1}>0$
)
$$\begin{array}{c}\leftH\right(z\left)\right\le {c}_{1}{e}^{l\left({d}_{o}\right(z)C)},z\in \overline{{M}^{\prime}}\backslash {B}_{C}.\end{array}$$ 
(4.11)

Observe that the Harnack inequality for positive harmonic functions implies for
$g$
as in ( 4.10 ) (for some positive
${\stackrel{~}{c}}_{1}$
,
${\stackrel{~}{c}}_{2}$
)
$$l\left(x\right)\le log\leftg\right(x\left)\right\le {\stackrel{~}{c}}_{1}{e}^{{\stackrel{~}{c}}_{2}x},x\ge {R}_{0}.$$
This and the properties of
$f$
impose the following restriction on the decay of
$H$
:
$$\begin{array}{c}\leftH\right(z\left)\right\ge {e}^{{\stackrel{~}{c}}_{3}{e}^{{\stackrel{~}{c}}_{2}{d}_{o}\left(z\right)}},z\in {M}^{\prime}.\end{array}$$ 
(4.12)

Example 4.3
As the function
$g$
in ( 4.10 ) one can take, e.g.,
$g\left(z\right)={e}^{{z}^{n}}$
for
$n\in \mathbb{N}$
(in this case
$l\left(x\right)=(1\epsilon ){x}^{n}$
for any
$\epsilon >0$
), or
$g\left(z\right)={e}^{{C}_{1}{e}^{{C}_{2}z}}$
for
${C}_{1}>0$
and
$0<{C}_{2}<\frac{\pi}{2C}$
with
$C$
as above (in this case
$l\left(x\right)={C}_{1}cos\left({C}_{2}C\right){e}^{{C}_{2}x}$
). For the latter example estimate ( 4.11 ) shows that the lower bound ( 4.12 ) of the decay of
$H$
is attainable.
5 . Proof of Theorem 2.4 .
Suppose that
$M\subset \subset N$
are domains in a Stein manifold,
$M$
is strictly pseudoconvex and
${\pi}_{1}\left(M\right)={\pi}_{1}\left(N\right)$
. Using the Remmert embedding theorem (see, e.g., [GR]) we may assume without loss of generality that
$N$
is a domain in a closed complex submanifold of some
${\mathbb{C}}^{k}$
. Let
$r:{N}^{\prime}\to N$
be an unbranched covering of
$N$
. As usual, we set
${M}^{\prime}={r}^{1}\left(M\right)$
and
$b{M}^{\prime}={r}^{1}\left(bM\right)$
where
$bM$
is the boundary of
$M$
.
We must show that every point in
$b{M}^{\prime}$
is a peak point for
${\mathcal{\mathscr{H}}}_{p,1}\left({M}^{\prime}\right)$
,
$1\le p\le \infty $
. In our proof we use a result on uniform estimates for solutions of certain
$\overline{\partial}$
equations on
${M}^{\prime}$
. To its formulation we first introduce the corresponding class of
$(0,1)$
forms on
${M}^{\prime}$
.
Let
$\{{V}_{i}{\}}_{i\in I}$
be a finite acyclic open cover of
$\overline{M}$
by relatively compact complex coordinate systems. We set
${U}_{i}\cap M$
and consider the open cover
$\mathcal{U}=\{{U}_{i}{\}}_{i\in I}$
of
$M$
.
Let
${X}_{H}$
be the fibre of
${N}^{\prime}$
with
$H={\pi}_{1}\left({N}^{\prime}\right)$
. Using the construction of Example 3.2 (a) we identify
${r}^{1}\left({U}_{i}\right)$
with
${U}_{i}\times {X}_{H}$
. Let
$\omega $
be a
$(0,1)$
form on
${M}^{\prime}$
. Then in local coordinates on
${r}^{1}\left({U}_{i}\right)$
it is presented as
$$\omega (v,x)={\sum}_{j=1}^{n}{a}_{j}(v,x)d{\overline{v}}_{j}forv\times x\in {U}_{i}\times {X}_{H}$$
where
$v=({v}_{1},...,{v}_{n})$
are coordinates on
${U}_{i}$
. Consider every
${a}_{j}$
as a function on
${U}_{i}$
with values in the space of functions on
${X}_{H}$
. We assume that for every
$i\in I$
$$\begin{array}{c}{a}_{j}\in {C}^{\infty}({U}_{i},{l}_{p,1}({X}_{H}\left)\right),1\le j\le n.\end{array}$$ 
(5.1)

Then for such an
$\omega $
its direct image
${r}_{*}\left(\omega \right)$
is a bounded
${C}^{\infty}$
form with values in the Banach vector bundle
${E}_{p,1}\left({X}_{H}\right)$
(see section 3.1). Also, we assume that the norm of
$\omega $
defined by the formula
$$\begin{array}{c}\left\right\omega \left\right:={sup}_{i\in I}{max}_{1\le j\le n}{a}_{j}{}_{p,1}^{{U}_{i}}\end{array}$$ 
(5.2)

is finite. (Recall that
$\cdot {}_{p,1}^{{U}_{i}}$
are norms on
${C}_{p,1}\left({r}^{1}\right({U}_{i}\left)\right)$
, see ( 3.5 ).)
Proposition 5.1
There is a constant
$C>0$
and for each
$\overline{\partial}$
closed
$(0,1)$
form
$\omega $
satisfying ( 5.1 ) there is a function
$f\in {C}^{\infty}\left({M}^{\prime}\right)\cap {C}_{p,1}^{b}\left({M}^{\prime}\right)$
such that
$$\overline{\partial}f=\omega andf{}_{p,1}^{M}\le C\left\omega \right.$$
Proof. We apply the operators
${L}_{z}$
from Theorem 3.4 to
$\omega $
. Namely, let us define a form
$\stackrel{~}{\omega}$
on
$M$
by the formula
$$\stackrel{~}{\omega}(v,z):={\sum}_{j=1}^{n}\left({L}_{v}{a}_{j}\right(v,\cdot \left)\right)\left(z\right)d{\overline{v}}_{j}forv\times z\in {U}_{i}\times {M}^{\prime},i\in I.$$
It is readily seen that
$\stackrel{~}{\omega}$
is a bounded
$\overline{\partial}$
closed
${C}^{\infty}$
form on
$M$
with values in
${\mathcal{\mathscr{H}}}_{p,1}\left({M}^{\prime}\right)$
. We define the norm of
$\stackrel{~}{\omega}$
by
$$\begin{array}{c}\left\right\stackrel{~}{\omega}\left\right:={sup}_{i\in I,v\in {U}_{i}}{max}_{1\le j\le n}\left{L}_{v}{a}_{j}\right(v,\cdot ){}_{p,1}^{M}\end{array}$$ 
(5.3)

where
$\cdot {}_{p,1}^{M}$
is norm on
${\mathcal{\mathscr{H}}}_{p,1}\left({M}^{\prime}\right)$
. Then according to Theorem 3.4 there is a constant
$c$
(independent of
$\omega $
) such that
$$\begin{array}{c}\left\right\stackrel{~}{\omega}\left\right\le c\left\right\omega \left\right.\end{array}$$ 
(5.4)

Further, we use Lemma 1 from [He]. According to this lemma there exist a strictly pseudoconvex domain
$W\subset {\mathbb{C}}^{k}$
with
${C}^{2}$
boundary such that
$W\cap N=M$
and a holomorphic map
$\pi $
from a neigbourhood
$U\left(\overline{W}\right)$
of
$\overline{W}$
onto
$U\left(\overline{W}\right)\cap N$
such that
$\pi \left(W\right)=M$
and
$\pi {}_{U\left(\overline{W}\right)\cap N}$
is the identity map.
Using this result we obtain that the pullback
${\pi}^{*}\stackrel{~}{\omega}$
with respect to
$\pi $
is a bounded
$\overline{\partial}$
closed
${C}^{\infty}$
form on
$W$
with values in
${\mathcal{\mathscr{H}}}_{p,1}\left({M}^{\prime}\right)$
. Moreover, there is a constant
${c}^{\prime}$
(depending on
$\pi $
and
$W$
) such that
$$\begin{array}{c}\left\right{\pi}^{*}\stackrel{~}{\omega}\left\right\le {c}^{\prime}\left\right\stackrel{~}{\omega}\left\right.\end{array}$$ 
(5.5)

Here for
${\pi}^{*}\stackrel{~}{\omega}(w,\cdot )={\sum}_{j=1}^{k}{\stackrel{~}{a}}_{j}(w,\cdot )d{\overline{w}}_{j}$
,
$w=({w}_{1},...,{w}_{k})\in {\mathbb{C}}^{k}$
, we define
$$\left\right{\pi}^{*}\stackrel{~}{\omega}\left\right:={sup}_{w\in W}{max}_{1\le j\le k}\left{\stackrel{~}{a}}_{j}\right(w,\cdot ){}_{p,1}^{M}.$$
In [SH] uniform estimates for solutions of
$\overline{\partial}$
equations on socalled pseudoconvex polyhedra were obtained by means of global integral formulas. This class contains, in particular, strictly pseudoconvex domains with
${C}^{2}$
boundaries. Note that the estimates in [SH] remain valid if one solves Banachvalued
$\overline{\partial}$
equations. Therefore from the results of [SH] we obtain that there exists a bounded
${C}^{\infty}$
function
$h$
on
$W$
with values in
${\mathcal{\mathscr{H}}}_{p,1}\left({M}^{\prime}\right)$
such that
$\overline{\partial}h={\pi}^{*}\stackrel{~}{\omega}$
. Moreover,
$$\begin{array}{c}\left\righth\left\right\le {c}^{\prime \prime}\left\right{\pi}^{*}\stackrel{~}{\omega}\left\right\end{array}$$ 
(5.6)

for some
${c}^{\prime \prime}$
(depending on
$W$
only). Here
$$\left\righth\left\right:={sup}_{w\in W}\lefth\right(w,\cdot ){}_{p,1}^{M}.$$
Finally, define a function
$f$
on
${M}^{\prime}$
by the formula
$$f\left(z\right):=h\left(r\right(z),z),z\in {M}^{\prime}.$$
Using that
$r$
is holomorphic,
$\stackrel{~}{\omega}\left(r\right(z),z)=\omega \left(z\right)$
,
$z\in {M}^{\prime}$
, and
$\left({\pi}^{*}\stackrel{~}{\omega}\right){}_{M}=\stackrel{~}{\omega}$
we easily conclude that
$\overline{\partial}f=\omega $
. By the definition
$f\in {C}^{\infty}\left({M}^{\prime}\right)\cap {C}_{p,1}^{b}\left({M}^{\prime}\right)$
and from ( 5.4 )( 5.6 ) we have (for some
$C$
)
$$f{}_{p,1}^{M}\le C\left\omega \right.\square $$
Remark 5.2
(1) An analogous to Proposition 5.1 statement is valid for a similar class of bounded
$\overline{\partial}$
closed
$(0,q)$
forms on
${M}^{\prime}$
.
(2) Using the main result of [He] and the estimates from [SH] one can show that the result of Proposition
5.1 is valid also for coverings of nondegenerate pseudoconvex polyhedrons on Stein manifolds (see [He] and [SH] for the definition).
We pass to the proof of Theorem 2.4 . Take a point
$z\in b{M}^{\prime}$
and set
$v=r\left(z\right)\in bM$
. Let
$U\subset \subset N$
be a simply connected coordinate neighbourhood of
$v$
and let
$W\subset {N}^{\prime}$
be the neighbourhood of
$z$
such that
$r:W\to U$
is biholomorphic. Since
$M$
is strictly pseudoconvex,
$v$
is a peak point for
$\mathcal{O}(U\cap M)$
for a sufficiently small
$U$
.
Moreover, for such
$U$
we can find
$\stackrel{~}{f}\in \mathcal{O}(U\cap M)$
with a peak point at
$v$
such that
$\stackrel{~}{f}\in {L}^{q}(U\cap M)$
for all
$1\le q<\infty $
(see [GHS, p.575]). Then
$f:=\left({r}^{*}\stackrel{~}{f}\right){}_{W\cap {M}^{\prime}}$
has a peak point at
$z$
and
$f\in {L}^{q}(W\cap {M}^{\prime})$
for all
$1\le q<\infty $
. Next, let
$\stackrel{~}{\rho}\in {C}^{\infty}\left(U\right)$
be a cutoff function which equals 1 in a neighbourhood
$O\subset \subset U$
of
$v$
and 0 outside
$U$
.
Consider its pullback
$\rho :=\left({r}^{*}\stackrel{~}{\rho}\right){}_{W}\in {C}^{\infty}\left(W\right)$
. Clearly the
$(0,1)$
form
$\omega =\overline{\partial}\left(\rho f\right)$
on
${M}^{\prime}$
satisfies conditions of Proposition 5.1 . Then this proposition implies that there exists a function
$h\in {C}^{\infty}\left({M}^{\prime}\right)\cap {C}_{p,1}^{b}\left({M}^{\prime}\right)$
such that
$\overline{\partial}h=\omega $
. Finally, consider the function
${h}_{z}:=\rho fh$
. Then
${h}_{z}$
is holomorphic, has a peak point at
${z}_{0}$
and belongs to
${H}_{1}^{p}\left({M}^{\prime}\right)$
for
$1\le p<\infty $
by the choice of
$f$
. Also, for
$p=\infty $
the function
${h}_{z}$
is bounded outside
$W$
.
The proof of the theorem is complete.
$\square $
6 . Proofs of Theorem 2.7 and Corollary 2.9 .
Proof of Theorem 2.7 . Let
$M\subset \subset \stackrel{~}{M}\subset N$
be manifolds satisfying condition ( 1.1 ) with
$di{m}_{\mathbb{C}}M\ge 2$
. Let
$D\subset \subset M$
be an open subset whose boundary
$bD$
is a connected
${C}^{k}$
submanifold of
$M$
$(1\le k\le \infty )$
. Consider a covering
$r:{N}^{\prime}\to N$
and set
${M}^{\prime}={r}^{1}\left(M\right)$
,
${D}^{\prime}={r}^{1}\left(D\right)$
and
$b{D}^{\prime}={r}^{1}\left(bD\right)$
. Let
$\psi :{N}^{\prime}\to {\mathbb{R}}_{+}$
be such that
$log\psi $
is uniformly continuous with respect to the path metric induced by a Riemannian metric pulled back from
$N$
. Let
$f\in {C}^{s}\left(b{D}^{\prime}\right)$
,
$0\le s\le k$
, be a
$CR$
function satisfying the hypotheses of Theorem 2.7 .
(A) First, we will prove the theorem for
$s=0$
under the additional assumption
$$\begin{array}{c}f\in {C}_{p,\psi}\left(b{D}^{\prime}\right)forp\in [1,\infty )andf\in {C}_{1,1}\left(b{D}^{\prime}\right)forp=\infty .\end{array}$$ 
(6.1)

(We use here that
${C}_{1,1}\left(b{D}^{\prime}\right)\subset {C}_{\infty ,1}\left(b{D}^{\prime}\right)={C}_{\infty ,\psi}\left(b{D}^{\prime}\right)$
, see Definition 3.3 .) For a
$CR$
function
$f$
satisfying ( 6.1 ) we define a continuous
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
valued function
$F$
on
$b{D}^{\prime}$
by the formula
$$F\left(v\right):={L}_{v}\left(f{}_{{r}^{1}\left(v\right)}\right),v\in bD,$$
where
${L}_{v}$
are operators from Theorem 3.4 , see section 3.3.
Lemma 6.1
$F$
is a
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
valued continuous
$CR$
function.
Proof. Let
$U\subset M$
be a simply connected coordinate neighbourhood of a point
$x\in bD$
. It suffices to check that
$F{}_{U\cap bD}$
satisfies the required property. Note that by Proposition 3.5
$$\begin{array}{c}\left[F\right(v\left)\right]\left(z\right)={\sum}_{y\in {r}^{1}\left(x\right)}{\stackrel{~}{f}}_{y}\left(v\right){H}_{y}(v,z),v\times z\in (U\cap bD)\times {M}^{\prime},\end{array}$$ 
(6.2)

where
${\stackrel{~}{f}}_{y}\left(v\right)=f\left({s}_{y}\right(v\left)\right)$
,
$v\in U\cap bD$
, and
${s}_{y}:U\to {V}_{y}$
is a biholomorphic map onto the connected component
${V}_{y}$
of
${r}^{1}\left(U\right)$
containing
$y$
. By the definition of operators
${L}_{v}$
functions
${H}_{y}$
are restrictions to
$bD\times {M}^{\prime}$
of some holomorphic functions on
$U\times {M}^{\prime}$
.
Moreover, Proposition
3.5 implies that the series in ( 6.2 ) converges uniformly to
$F$
on every compact subset of
$(U\cap bD)\times {M}^{\prime}$
. Next, since
$f{}_{{V}_{y}\cap b{D}^{\prime}}$
is a continuous
$CR$
function,
${\stackrel{~}{f}}_{y}$
is a continuous
$CR$
function on
$U\cap bD$
. Also, by the definition of
${H}_{y}$
, for a fixed
$z\in {M}^{\prime}$
every
${H}_{y}(\cdot ,z)$
is a continuous
$CR$
function on
$U\cap bD$
.
Hence,
${\stackrel{~}{f}}_{y}\cdot {H}_{y}(\cdot ,z)$
is a continuous
$CR$
function on
$U\cap bD$
, as well. Indeed, for each
$(n,n2)$
form
$\omega $
with a compact support in
$U$
we have
$${\int}_{U\cap bD}{\stackrel{~}{f}}_{y}\left(v\right)\cdot {H}_{y}(v,z)\overline{\partial}\omega \left(v\right)={\int}_{U\cap bD}{\stackrel{~}{f}}_{y}\left(v\right)\overline{\partial}\left({H}_{y}\right(v,z)\cdot \omega (v\left)\right)=0$$
because
${\stackrel{~}{f}}_{y}$
is
$CR$
. Since the series in ( 6.2 ) converges uniformly to
$\left[F\right(\cdot \left)\right]\left(z\right)$
on every compact subset of
$(U\cap bD)\times z$
, every
$\left[F\right(\cdot \left)\right]\left(z\right)$
,
$z\in {M}^{\prime}$
, is a continuous
$CR$
function on
$U\cap bD$
. This implies the required statement.
$\square $
Further, since
$\left[F\right(v\left)\right]\left(z\right)$
from Lemma 6.1 is holomorphic in
$z\in {M}^{\prime}$
, we can expand it in the Taylor series in a complex coordinate neighbourhood
${U}_{z}$
,
$$\begin{array}{c}\left[F\right(v\left)\right]\left(w\right)={\sum}_{0\le \left\alpha \right<\infty}{F}_{\alpha}\left(v\right){w}^{\alpha},v\in bD.\end{array}$$ 
(6.3)

Here
$\alpha =({\alpha}_{1},...,{\alpha}_{s})\in ({\mathbb{Z}}_{+}{)}^{s}$
,
$\left\alpha \right={\sum}_{i=1}^{s}{\alpha}_{i}$
,
${w}^{\alpha}={w}_{1}^{{\alpha}_{1}}...{w}_{n}^{{\alpha}_{n}}$
and
$w=({w}_{1},...,{w}_{n})$
are coordinates on
${U}_{z}$
such that
$w\left(z\right)=0$
. Now, from Lemma 6.1 follows that each
${F}_{\alpha}$
in ( 6.3 ) is a continuous
$CR$
function on
$bD$
. Then by Theorem 3.14 of Harvey [Ha] for every
${F}_{\alpha}$
there exists a function
${\stackrel{~}{F}}_{\alpha}\in \mathcal{O}\left(D\right)\cap C\left(\overline{D}\right)$
such that
${\stackrel{~}{F}}_{\alpha}{}_{bD}={F}_{\alpha}$
. Also, for a sufficiently small
${U}_{z}$
using estimates of the Cauchy integrals for derivatives of a holomorphic function and compactness of
$bD$
we get from ( 6.3 )
$$M:={sup}_{\alpha ,v\in bD}\left{F}_{\alpha}\right(v\left)\right<\infty .$$
Thus by the maximum modulus principle
$${sup}_{\alpha ,v\in \overline{D}}\left{\stackrel{~}{F}}_{\alpha}\right(v\left)\right=M<\infty .$$
The latter implies that for a sufficiently small
${U}_{z}$
the series
$${\stackrel{~}{F}}_{z}(v,w)={\sum}_{0\le \left\alpha \right<\infty}{\stackrel{~}{F}}_{\alpha}\left(v\right){w}^{\alpha},v\times w\in \overline{D}\times {U}_{z},$$
converges absolutely and uniformly. Hence,
${\stackrel{~}{F}}_{z}\in \mathcal{O}(D\times {U}_{z})\cap C(\overline{D}\times {U}_{z})$
. Further, assume that for
$y,z\in {M}^{\prime}$
we have
${U}_{y}\cap {U}_{z}\ne \varnothing $
. Then for every
$w\in {U}_{y}\cap {U}_{z}$
and
$v\in bD$
$${\stackrel{~}{F}}_{y}(v,w){\stackrel{~}{F}}_{z}(v,w)=\left[F\right(v\left)\right]\left(w\right)\left[F\right(v\left)\right]\left(w\right)=0.$$
This leads to the identity
$${\stackrel{~}{F}}_{y}(\cdot ,w)={\stackrel{~}{F}}_{z}(\cdot ,w),w\in {U}_{y}\cap {U}_{z}.$$
Thus we can define a function
$F\in \mathcal{O}(D\times {M}^{\prime})\cap C(\overline{D}\times {M}^{\prime})$
by the formula
$$\begin{array}{c}\stackrel{~}{F}(v,w):={\stackrel{~}{F}}_{z}(v,w),v\times w\in \overline{D}\times {U}_{z}.\end{array}$$ 
(6.4)

Lemma 6.2
$\stackrel{~}{F}(v,\cdot )\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
for any
$v\in D$
.
Proof. Observe that the evaluation at
$v\in D$
is a linear continuous functional on the Banach space
$\mathcal{O}\left(D\right)\cap C\left(\overline{D}\right)$
equipped with supremum norm. Identifying
$\mathcal{O}\left(D\right)\cap C\left(\overline{D}\right)$
with its trace space on
$bD$
and using the HahnBanach and F. Riesz theorems we have
$$h\left(v\right)={\int}_{bD}h\left(\xi \right)d\mu \left(\xi \right),h\in \mathcal{O}\left(D\right)\cap C\left(\overline{D}\right),$$
where
$\mu $
is a complex regular Borel measure on
$bD$
with the total variation
$Var\mu =1$
. Thus for every fixed
$w\in {M}^{\prime}$
we have
$$\stackrel{~}{F}(v,w)={\int}_{bD}\left[F\right(\xi \left)\right]\left(w\right)d\mu \left(\xi \right).$$
Now, by the definition of the norm on
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
using the triangle inequality, the identity
$\stackrel{~}{F}(v,\cdot )=F\left(v\right)$
,
$v\in bD$
, and the fact that
$F$
is a continuous
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
valued function on
$bD$
we obtain
$$\begin{array}{c}\left\stackrel{~}{F}\right(v,\cdot ){}_{p,\psi}^{M}:={sup}_{z\in M}{\left({\sum}_{y\in {r}^{1}\left(z\right)}\left\stackrel{~}{F}\right(v,y\left){}^{p}\psi \right(y)\right)}^{1/p}\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}{sup}_{z\in M}{\left({\sum}_{y\in {r}^{1}\left(z\right)}{\left({\int}_{bD}\left\stackrel{~}{F}\right(\xi ,y\left)\right\leftd\mu \right(\xi \left)\right\right)}^{p}\psi \left(y\right)\right)}^{1/p}\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}{sup}_{z\in M}\left({\int}_{bD}{\left({\sum}_{y\in {r}^{1}\left(z\right)}\left\right[F\left(\xi \right)\left]\right(y\left){}^{p}\psi \right(y)\right)}^{1/p}\leftd\mu \right(\xi \left)\right\right)\le {sup}_{\xi \in bD}\leftF\right(\xi ){}_{p,\psi}^{M}<\infty .\square \end{array}$$  
Further, set
$$\begin{array}{c}{f}^{\prime}\left(z\right):=\stackrel{~}{F}\left(r\right(z),z),z\in \overline{{D}^{\prime}}.\end{array}$$ 
(6.5)

Then using the inequalities of Lemma 6.2 we get
$$\begin{array}{c}{f}^{\prime}\in \mathcal{O}\left({D}^{\prime}\right)\cap C\left(\overline{{D}^{\prime}}\right),{f}^{\prime}{}_{b{D}^{\prime}}=F{}_{b{D}^{\prime}}=f,and\end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}{f}^{\prime}{}_{p,\psi ,z}:={\left({\sum}_{y\in {r}^{1}\left(z\right)}\left{f}^{\prime}\right(y\left){}^{p}\psi \right(y)\right)}^{1/p}\le {sup}_{\xi \in bD}F\left(\xi \right){}_{p,\psi}^{M}\le cf{}_{p,\psi}^{bD},z\in D,\end{array}$$  
see ( 3.5 ) for the definition of
$\cdot {}_{p,\psi}^{bD}$
. (Here the last inequality follows directly from Theorem 3.4 .) The latter implies that
${f}^{\prime}{}_{{r}^{1}\left(z\right)}\in {l}_{p,\psi ,z}\left({M}^{\prime}\right)$
,
$z\in D$
, see section 2.3.
Thus
${f}^{\prime}\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({D}^{\prime}\right)\cap C\left(\overline{{D}^{\prime}}\right)$
and
$$\begin{array}{c}{f}^{\prime}{}_{p,\psi}^{D}:={sup}_{z\in D}{f}^{\prime}{}_{p,\psi ,z}\le c{sup}_{z\in bD}\leftf{}_{p,\psi ,z}\right(:=c\leftf{}_{p,\psi}^{bD}\right).\end{array}$$ 
(6.6)

This completes the proof of the theorem for
$s=0$
under assumption ( 6.1 ).
(B) Let us consider the general case of a continuous
$CR$
function
$f$
on
$b{D}^{\prime}$
satisfying
$$\begin{array}{c}f{}_{{r}^{1}\left(x\right)}\in {l}_{p,\psi ,x}\left({M}^{\prime}\right)foranyx\in Dandm:={sup}_{x\in bD}f{}_{p,\psi ,x}<\infty .\end{array}$$ 
(6.7)

According to Remark 4.2 (2) and Example 4.3 there is a constant
$c>0$
such that for any
$0<{c}_{1}<c$
and
${c}_{2}>0$
there exists a function
${F}_{{c}_{1},{c}_{2}}\in \mathcal{O}\left({M}^{\prime}\right)\cap C\left(\overline{{M}^{\prime}}\right)$
satisfying
$$\begin{array}{c}{e}^{{c}_{3}{e}^{{c}_{1}{d}_{o}\left(z\right)}}\le \left{F}_{{c}_{1},{c}_{2}}\right(z\left)\right\le {e}^{{c}_{2}{e}^{{c}_{1}{d}_{o}\left(z\right)}}forallz\in \overline{{M}^{\prime}}\end{array}$$ 
(6.8)

with
${c}_{3}$
depending on
${c}_{2}$
,
${c}_{1}$
,
$c$
,
$M$
,
${M}^{\prime}$
such that
${c}_{3}\to 0$
as
${c}_{2}\to 0$
. (Recall that
${d}_{o}$
,
$o\in {M}^{\prime}$
, is the distance on
${N}^{\prime}$
defined as in Corollary 2.2 .) Define a continuous
$CR$
function
${f}_{{c}_{1},{c}_{2}}$
by the formula
$${f}_{{c}_{1},{c}_{2}}\left(z\right):=f\left(z\right){F}_{{c}_{1},{c}_{2}}\left(z\right),z\in b{D}^{\prime}.$$
Lemma 6.3
${f}_{{c}_{1},{c}_{2}}$
satisfies assumption ( 6.1 ).
Proof. Note that for any
$l\in \mathbb{N}$
there is a nonnegative
$r$
such that
$${e}^{{c}_{2}{e}^{{c}_{1}{d}_{o}\left(z\right)}}<{e}^{l{d}_{o}\left(z\right)}for{d}_{o}\left(z\right)>r,z\in \overline{{M}^{\prime}}.$$
Let
$U\subset \subset M$
be a neighbourhood of
$\overline{D}$
and
${U}^{\prime}={r}^{1}\left(U\right)\subset {M}^{\prime}$
. From the above inequality arguing as in the proof of Corollary 2.2 we obtain that
${F}_{{c}_{1},{c}_{2}}\in {\mathcal{\mathscr{H}}}_{p,1}\left({U}^{\prime}\right)$
for any
$p\in [1,\infty ]$
. Then from [Br, Proposition 2.4] follows that
${F}_{{c}_{1},{c}_{2}}{}_{b{D}^{\prime}}$
belongs to
${C}_{p,1}\left(b{D}^{\prime}\right)$
for all
$p$
.
Next, take a point
$x\in bD$
and prove that
${f}_{{c}_{1},{c}_{1}}$
is
${C}_{p,\psi}$
continuous over
$x$
. Let
${U}_{x}\subset M$
be a complex (simply connected) coordinate neighbourhood of
$x$
. We will identify
${r}^{1}\left({U}_{x}\right)$
with
${U}_{x}\times {X}_{H}$
where
${X}_{H}$
is the fibre of
$r:{M}^{\prime}\to M$
. Consider a sequence
$\left\{{x}_{n}\right\}\subset {U}_{x}\cap bD$
convergent to
$x$
. For
$g\in {X}_{H}$
put
${a}_{n}\left(g\right):=f({x}_{n},g)$
,
$a\left(g\right):=f(x,g)$
,
${b}_{n}\left(g\right):={F}_{{c}_{1},{c}_{2}}({x}_{n},g)$
,
$b\left(g\right):={F}_{{c}_{1},{c}_{2}}(x,g)$
and
${c}_{n}:={a}_{n}{b}_{n}$
,
$c:=ab$
.
Then we must check that
$${lim}_{n\to \infty}c{c}_{n}{}_{p,\psi ,x}:={lim}_{n\to \infty}{\left({\sum}_{g\in {X}_{H}}\leftc\right(g){c}_{n}(g\left){}^{p}\psi \right(x,g)\right)}^{1/p}=0.$$
Using the triangle inequality we have
$$c{c}_{n}{}_{p,\psi ,x}\le (a{a}_{n})b{}_{p,\psi ,x}+\left{a}_{n}\right(b{b}_{n}){}_{p,\psi ,x}:=I+II.$$
According to ( 6.8 ) for any
$\epsilon >0$
we can decompose
$b$
in the sum
${b}^{\prime}+{b}^{\prime \prime}$
where
${b}^{\prime}=0$
outside a finite subset
${S}_{\epsilon}\subset {X}_{H}$
and
${b}^{\prime \prime}=0$
on
${S}_{\epsilon}$
such that
$\left{b}^{\prime \prime}\right(g\left)\right<\epsilon $
for all
$g$
. Note also that
$\left{b}^{\prime}\right(g\left)\right\le 1$
for all
$g$
. Also, ( 6.7 ) and uniform continuity of
$log\psi $
on the compact set
$bD$
imply that
$a{a}_{n}{}_{p,\psi ,x}\le km$
for some
$k>0$
. Finally, by continuity of
$f$
on
$b{D}^{\prime}$
we can find a number
$N$
such that for any
$n\ge N$
we have
$\left\right(a{a}_{n}){\chi}_{\epsilon}{}_{p,\psi ,x}<\epsilon $
, where
${\chi}_{\epsilon}$
is the characteristic function of
${S}_{\epsilon}$
. Using all these facts we get for
$n\ge N$
$$I\le \left\right(a{a}_{n}){\chi}_{\epsilon}{b}^{\prime}{}_{p,\psi ,x}+(a{a}_{n}){b}^{\prime \prime}{}_{p,\psi ,x}\le \epsilon +km\epsilon =(1+km)\epsilon .$$
To estimate
$II$
observe that from ( 6.7 ) and uniform continuity of
$log\psi $
follow that for each
$g\in {X}_{H}$
$$\left(\right{a}_{n}\left(g\right){}^{p}\psi (x,g){)}^{1/p}\le {a}_{n}{}_{p,\psi ,x}\le {k}^{\prime}{a}_{n}{}_{p,\psi ,{x}_{n}}\le {k}^{\prime}m$$
(for some
${k}^{\prime}$
). Moreover, since
${F}_{{c}_{1},{c}_{2}}{}_{b{D}^{\prime}}\in {C}_{p,1}\left(b{D}^{\prime}\right)$
, there is an integer
${N}^{\prime}$
such that for any
$n\ge {N}^{\prime}$
we have
$b{b}_{n}{}_{p,1,x}<\epsilon $
. These two inequalities yield for
$n\ge {N}^{\prime}$
$$II\le {sup}_{g\in {X}_{H}}\left(\right{a}_{n}\left(g\right){}^{p}\psi (x,g){)}^{1/p}b{b}_{n}{}_{p,1,x}\le {k}^{\prime}m\epsilon .$$
Combining the estimates for
$I$
and
$II$
we obtain that
$${lim}_{n\to \infty}c{c}_{n}{}_{p,\psi ,x}=0.$$
This is equivalent to
${C}_{p,\psi}$
continuity of
${f}_{{c}_{1},{c}_{2}}$
over
$x$
.
Similarly one can check that if
$p=\infty $
then
${f}_{{c}_{1},{c}_{2}}$
belongs to
${C}_{1,1}\left(b{D}^{\prime}\right)$
. We leave it as an excercise to the readers.
$\square $
Let us finish the proof of the theorem. According to Lemma 6.3 and the case (A) there is a function
${f}_{{c}_{1},{c}_{2}}^{\prime}\in \mathcal{O}\left({D}^{\prime}\right)\cap C\left(\overline{{D}^{\prime}}\right)$
such that
${f}_{{c}_{1},{c}_{2}}^{\prime}{}_{b{D}^{\prime}}={f}_{{c}_{1},{c}_{2}}$
. Note also that since
$\left{F}_{{c}_{1},{c}_{2}}\right\le 1$
inequality ( 6.6 ) yields
$${f}_{{c}_{1},{c}_{2}}^{\prime}{}_{p,\psi}^{D}\le c{sup}_{z\in bD}f{}_{p,\psi ,z}:=cm.$$
Consider
${f}^{\prime}:={f}_{{c}_{1},{c}_{2}}/{F}_{{c}_{1},{c}_{2}}$
. Then
${f}^{\prime}\in \mathcal{O}\left({D}^{\prime}\right)\cap C\left(\overline{{D}^{\prime}}\right)$
and
${f}^{\prime}{}_{b{D}^{\prime}}=f$
. The uniqueness property for holomorphic functions implies that
${f}^{\prime}$
does not depend on
${c}_{1}$
and
${c}_{2}$
. Since
${F}_{{c}_{1},{c}_{2}}$
converges uniformly on compact subsets of
${M}^{\prime}$
to
$1$
as
${c}_{2}\to 0$
from the last inequality we get
$${f}^{\prime}{}_{p,\psi}^{D}\le c{sup}_{z\in bD}f{}_{p,\psi ,z}.$$
Therefore
${f}^{\prime}\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({D}^{\prime}\right)\cap C\left(\overline{{D}^{\prime}}\right)$
.
The proof of the theorem for
$s=0$
is complete. If, in addition,
$f\in {C}^{s}\left(bD\right)$
for
$1\le s\le k$
, then in fact the extended function
${f}^{\prime}\in {C}^{s}\left(\overline{{D}^{\prime}}\right)$
(see, e.g., Theorem 3.14 in [Ha], and the discussion that follows it).
$\square $
Proof of Corollary 2.9 . Let us consider the function
${F}_{{c}_{1},{c}_{2}}$
from ( 6.8 ). Suppose that
$f\in \mathcal{O}\left({U}^{\prime}\right)$
satisfies the hypotheses of Corollary 2.9 with
${c}_{1}$
,
${c}_{2}$
and
$c$
as in the definition of
${F}_{{c}_{1},{c}_{2}}$
. Then
${f}_{{c}_{1},{c}_{2}}:=f{F}_{{c}_{1},{c}_{2}}\in {H}^{\infty}\left({U}^{\prime}\right)$
with the norm bounded by 1. Further, by the hypotheses we can find a connected
${C}^{\infty}$
compact submanifold
$bS\subset U$
that bounds a domain
$S$
containing
$K$
. By Theorem 2.7 (applied to
${S}^{\prime}:={r}^{1}\left(S\right)$
and
$b{S}^{\prime}:={r}^{1}\left(bS\right)$
) the function
${f}_{{c}_{1},{c}_{2}}$
admits an extension
${f}_{{c}_{1},{c}_{2}}^{\prime}\in {H}^{\infty}\left({D}^{\prime}\right)$
. Since
${f}_{{c}_{1},{c}_{2}}^{\prime}={f}_{{c}_{1},{c}_{2}}$
on
${U}^{\prime}$
and
$h\left(z\right):={sup}_{y\in {r}^{1}\left(z\right)}\left{f}_{{c}_{1},{c}_{2}}^{\prime}\right(y\left)\right$
is a continuous plurisubharmonic function on
$D$
,
$${f}_{{c}_{1},{c}_{2}}^{\prime}{}_{\infty}^{D}={sup}_{z\in {U}^{\prime}}f\left(z\right)\le 1.$$
Then the function
${f}^{\prime}:={f}_{{c}_{1},{c}_{2}}^{\prime}/{F}_{{c}_{1},{c}_{2}}\in \mathcal{O}\left({D}^{\prime}\right)$
extends
$f$
and satisfies
$$\left{f}^{\prime}\right(z\left)\right\le {e}^{{c}_{3}{e}^{{c}_{1}{d}_{o}\left(z\right)}},z\in {D}^{\prime},$$
with
${c}_{3}$
as in ( 6.8 ).
$\square $
7 . Proof of Theorem 2.10 .
Let
$r:{M}_{G}\to M$
be the regular covering of
$M$
satisfying condition ( 1.1 ) (for some
$\stackrel{~}{M}$
and
$N$
) with transformation group
$G$
. Let
${G}_{1}\subset G$
be a subgroup of a finite index and let
${r}_{1}:{M}_{1}\to M$
be the covering with fibre
$G/{G}_{1}$
. Then there are coverings
${N}_{1}$
and
${\stackrel{~}{M}}_{1}$
of
$N$
and
$\stackrel{~}{M}$
with fibre
$G/{G}_{1}$
such that
${M}_{1}\subset \subset {\stackrel{~}{M}}_{1}\subset {N}_{1}$
.
Clearly this triple satisfies condition (
1.1 ), as well. Thus without loss of generality we may assume that
$M:={M}_{1}$
,
$G:={G}_{1}$
,
$\stackrel{~}{M}:={\stackrel{~}{M}}_{1}$
and
$N:={N}_{1}$
, and so
$G\in \mathcal{T}\left(M\right)$
.
The latter means that
$G$
admits a linear representation
$\rho $
into
$G{L}_{k}(\mathbb{C})$
and that the flat vector bundle
${E}_{\rho}$
on
$N$
associated with
$\rho $
is topologically trivial. Then the restriction
${E}_{\rho}{}_{\stackrel{~}{M}}$
is topologically trivial. Since
$\stackrel{~}{M}$
is Stein, according to the OkaGrauert principle (see [G2]),
${E}_{\rho}{}_{\stackrel{~}{M}}$
is holomorphically trivial. In particular,
$\rho $
can be obtained as the monodromy of an equation
$dF=\omega F$
on
$\stackrel{~}{M}$
where
$\omega $
is a matrixvalued holomorphic 1form on
$\stackrel{~}{M}$
satisfying
$d\omega \omega \wedge \omega =0$
. Let
$\stackrel{~}{\omega}={r}^{*}\omega $
be the pullback of
$\omega $
on
${\stackrel{~}{M}}_{G}={r}^{1}\left(\stackrel{~}{M}\right)$
. (Here
$r:{N}_{G}\to N$
is the regular covering of
$N$
with the transformation group
$G$
so that
${M}_{G}$
and
${\stackrel{~}{M}}_{G}$
are domains in
${N}_{G}$
.) Then there exists a function
$\stackrel{~}{F}\in \mathcal{O}({\stackrel{~}{M}}_{G},G{L}_{k}(\mathbb{C}\left)\right)$
such that
$d\stackrel{~}{F}=\stackrel{~}{\omega}\stackrel{~}{F}$
. This follows from the fact that the monodromy of the last equation is the restriction of
$\rho $
to
${\pi}_{1}\left({M}_{G}\right)$
and so it is trivial (since
${\pi}_{1}\left({M}_{G}\right)\subset Ker\rho $
). Note that
$\stackrel{~}{F}$
can be obtained by Picard iteration applied to
$\stackrel{~}{\omega}$
. Since
$\overline{M}$
is a compact subset of
$\stackrel{~}{M}$
(and so
$\omega {}_{M}$
is bounded), the Picard iteration produces for some positive
$c=c(M,\omega )$
the estimate
$$\begin{array}{c}\left\right\stackrel{~}{F}\left(z\right){}_{2}\le {e}^{c{d}_{o}\left(z\right)},z\in {M}_{G},\end{array}$$ 
(7.1)

where
$\left\right\cdot {}_{2}$
is the
${l}_{2}$
norm on
$G{L}_{k}(\mathbb{C})$
and
$o\in {M}_{G}$
. (Here as before
${d}_{o}$
is the distance from
$o$
in the path metric induced by a Riemannian metric pulled back from
$N$
.) Moreover, for every
$z\in {\stackrel{~}{M}}_{G}$
there exists a matrix
${C}_{z}\in G{L}_{k}(\mathbb{C})$
such that
$\stackrel{~}{F}\left(gz\right)={C}_{z}^{1}\rho \left(g\right){C}_{z}$
for any
$g\in G$
. These are standard facts of the theory of flat connections. In particular, from the last identity we derive easily that
$\stackrel{~}{F}$
separates points in every orbit of the action of
$G$
on
${\overline{M}}_{G}$
.
Next, let
$f$
be the function from Corollary 2.2 . Then by ( 7.1 ) we get (for some
${c}_{1}={c}_{1}(f,\alpha )$
)
$$\left\right{e}^{\alpha f\left(z\right)}\stackrel{~}{F}\left(z\right){}_{2}\le {c}_{1}{e}^{(c\alpha ){d}_{o}\left(z\right)},z\in {M}_{G}.$$
From here arguing as in the proof of Corollary 2.2 we deduce that for a sufficiently big
$\alpha $
all entries of the matrix
${e}^{\alpha f}\cdot \stackrel{~}{F}$
belong to
${\mathcal{\mathscr{H}}}_{2,1}\left({M}_{G}\right)\cap C\left({\overline{M}}_{G}\right)$
. Now the family consisting of these entries and the function
${e}^{\alpha f}$
separate all points in any orbit of the action of
$G$
on
${\overline{M}}_{G}$
. For otherwise, there are
$x,y\in {\overline{M}}_{G}$
,
$y=gx$
,
$g\ne 1$
,
$g\in G$
, such that
${e}^{\alpha f\left(x\right)}\stackrel{~}{F}\left(x\right)={e}^{\alpha f\left(y\right)}\stackrel{~}{F}\left(y\right)$
and
${e}^{\alpha f\left(x\right)}={e}^{\alpha f\left(y\right)}$
. But this implies that
$\stackrel{~}{F}\left(x\right)=\stackrel{~}{F}\left(y\right)$
, a contradiction. Finally, since
$M\subset \subset \stackrel{~}{M}$
and
$\stackrel{~}{M}$
is Stein, by the Remmert embedding theorem there are holomorphic functions
${h}_{1},...,{h}_{l}$
from
${H}^{\infty}\left(M\right)\cap C\left(\overline{M}\right)$
that separate all points in
$\overline{M}$
. We set
${\stackrel{~}{h}}_{i}={e}^{\alpha f}{r}^{*}{h}_{i}$
,
$1\le i\le l$
.
Then by the definition
${\stackrel{~}{h}}_{i}\in {\mathcal{\mathscr{H}}}_{2,1}\left({M}_{G}\right)\cap C\left({\overline{M}}_{G}\right)$
and so the family consisting of all
${\stackrel{~}{h}}_{i}$
, entries of
${e}^{\alpha f}\stackrel{~}{F}$
and
${e}^{\alpha f}$
separates all points in
${\overline{M}}_{G}$
.
The proof of Theorem
2.10 is complete.
$\square $
References

L. Bungart, On analytic fibre bundles I. Holomorphic fibre bundles with infinite dimensional fibres. Topology, 7 (1) (1968), 5568.

M. R. Bridson and A. Haefliger, Metric spaces of nonpositive curvature. Springer, 1999.

S. Bochner, Analytic and meromorphic continuation by means of Green's formula. Ann. of Math., 44 (1943), 652673.

A. Brudnyi, Integral representations of holomorphic functions on coverings of pseudoconvex domains in Stein manifolds. Preprint (2005), 18 pp.

A. Brudnyi, Projections in the space
${H}^{\infty}$
and the corona theorem for subdomains of coverings of finite bordered Riemann surfaces. Ark. Mat., 42 (2004), 3159.

H. Cartan, Sur les fonctions de plusieurs variables complexes. Les espaces analytiques. Proc. Intern. Congress Mathematicians Edinbourgh 1958, Cambridge Univ. Press, 1960, 3352.

H. Grauert, On Levi's problem and the imbedding of realanalytic manifolds. Ann. of Math., 68 (1958), 460472.

H. Grauert, Analytische Faserungen über holomorphvollständingen Räumen. Math. Ann., 135, no. 3 (1958), 263273.

M. Gromov, G. Henkin and M. Shubin, Holomorphic
${L}^{2}$
functions on coverings of pseudoconvex manifolds. GAFA, Vol. 8 (1998), 552585.

H. Grauert and R. Remmert, Theorie der Steinschen Räume. Springer, New York, 1977.

R. Harvey, Holomorphic chains and their boundaries. Several complex variables (Proc. Sympos. Pure Math., Vol. XXX, Part 1, Williams Coll., Williamstown, Mass., 1975), 309382. Amer. Math. Soc., Providence, R. I., 1977.

D. Heunemann, Uniform estimates for the
$\overline{\partial}$
equation on pseudoconvex polyhedra on Stein manifolds. Math. Nachr., 114 (1983), 191196.

F. Hirzebruch, Topological methods in Algebraic Geometry. SpringerVerlag, New York, 1966.

S.T. Hu, Homotopy theory. Academic Press, new York, 1959.

J. J. Kohn and H. Rossi, On the extension of holomorphic functions from the boundary of a complex manifold. Ann. of Math. (2), 81 (1965), 451472.

A. L. Onishchik, Certain concepts and applications of nonAbelian cohomology theory. Trudy Moskov. Mat. Obshch., 17 (1967), 4588.

M. S. Raghunathan, Discrete subgroups of Lie groups. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 68, Springer Verlag, New York, 1972.

R. Remmert, Sur les espaces analytiques holomorphiquement séparables et holomorphiquement convexes. C. R. Acad. Sci. Paris, 243 (1956), 118121.

A. G. Sergeev and G. M. Henkin, Uniform estimates of the solutions of the
$\overline{\partial}$
equation in pseudoconvex polyhedra. (Russian) Mat. Sb. (N.S.) 112 (154) (1980), no. 4 (8), 522567.