Let
$r:{N}^{\prime}\to N$
be an unbranched covering of
$N$
. By
${M}^{\prime}={r}^{1}\left(M\right)$
we denote the corresponding unbranched covering of
$M$
. Condition ( 1.1 ) implies that
${M}^{\prime}$
is an open connected subset of
${N}^{\prime}$
and
${\pi}_{1}\left({M}^{\prime}\right)={\pi}_{1}\left({N}^{\prime}\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$
. We introduce the Banach space
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
,
$1\le p\le \infty $
, of functions
$f$
holomorphic on
${M}^{\prime}$
with norm
$$\begin{array}{c}f{}_{p,\psi}:={sup}_{x\in M}{\left({\sum}_{y\in {r}^{1}\left(x\right)}\leftf\right(y\left){}^{p}\psi \right(y)\right)}^{1/p}.\end{array}$$ 
(1.2)

(Here
${\mathcal{\mathscr{H}}}_{\infty ,\psi}\left({M}^{\prime}\right)$
is the Banach space of bounded holomorphic functions on
${M}^{\prime}$
.)
Example 1.1
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}.$$
It is easy to show by means of the triangle inequality that as the function
$\psi $
one can take, e.g.,
$(1+{d}_{o}{)}^{\alpha}$
or
${e}^{\alpha {d}_{o}}$
with
$\alpha \in \mathbb{R}$
. (For instance, if
${N}^{\prime}$
is a strip
$\{z=x+iy:y<L\}\subset \mathbb{C}$
with the action of group
$\mathbb{Z}$
given by translations along
$\mathbb{R}$
, i.e.,
${N}^{\prime}$
is a regular covering of an annulus, one can take as
$\psi $
either the functions
$(1+x{)}^{\alpha}$
or
${e}^{\alpha \leftx\right}$
,
$\alpha \in \mathbb{R}$
.)
Remark 1.2
Let
$d{V}_{{M}^{\prime}}$
be the Riemannian volume form on the covering
${M}^{\prime}$
obtained by a Riemannian metric pulled back from
$N$
. Note that every
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
also belongs to the Banach space
${H}_{\psi}^{p}\left({M}^{\prime}\right)$
of holomorphic functions
$g$
on
${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}.$$
Moreover, one has a continuous embedding
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)\hookrightarrow {H}_{\psi}^{p}\left({M}^{\prime}\right)$
.
Let
$x\in M$
and
$r:{M}^{\prime}\to M$
be an unbranched covering of
$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)$
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}$$ 
(1.3)

Also, 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 1.3
Suppose that
$M$
satisfies condition ( 1.1 ). Then for any
$p\in [1,\infty ]$
there exists 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 .$$
1.2. Theorem 1.3 allows to obtain integral representation formulas for holomorphic functions from
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
by means of known integral formulas for holomorphic functions on
$M$
. As an example we will show how to get such formulas from the classical Leray integral formula, the basis of many other integral formulas. We first recall this formula itself.
For vectors
$\xi ,\eta \in {\mathbb{C}}^{n}$
we set
$$<\eta ,\xi >={\sum}_{j=1}^{n}{\eta}_{j}\cdot {\xi}_{j}.$$
Also, we set
$$\omega \left(\xi \right)=d{\xi}_{1}\wedge \cdots \wedge d{\xi}_{n}and{\omega}^{\prime}\left(\eta \right)={\sum}_{k=1}^{n}(1{)}^{k1}{\eta}_{k}d{\eta}_{1}\wedge \cdots \wedge d{\eta}_{k1}\wedge d{\eta}_{k+1}\wedge \cdots \wedge d{\eta}_{n}.$$
Let
$M\subset {\mathbb{C}}^{n}$
be a domain and
$z\in M$
be a fixed point. Consider in the domain
$Q={\mathbb{C}}^{n}\times M$
with coordinates
$\eta =({\eta}_{1},...,{\eta}_{n})\in {\mathbb{C}}^{n}$
and
$\xi =({\xi}_{1},...,{\xi}_{n})\in M$
the hypersurface of the form
$${P}_{z}=\left\{\right(\eta ,\xi )\in Q:<\eta ,\xi z>=0\}.$$
Let
${h}_{z}$
be a
$(2n1)$
dimensional cycle in the domain
$Q\backslash {P}_{z}$
such that its projection onto
$M\backslash \left\{z\right\}$
is homologous to
$\partial M$
. Then for any holomorphic function
$f$
defined on
$M$
we have (see [L])
$$\begin{array}{c}f\left(z\right)=\frac{(n1)!}{(2\pi i{)}^{n}}{\int}_{{h}_{z}}f\left(\xi \right)\frac{{\omega}^{\prime}\left(\eta \right)\wedge \omega \left(\xi \right)}{<\eta ,\xi z{>}^{n}}.\end{array}$$ 
(1.4)

Note that since the integral kernel in this formula is bounded and continuous on
${h}_{z}$
, similar formulas are valid for Banachvalued holomorphic functions defined on
$M$
.
Now from Theorem
1.3 we obtain
Corollary 1.4
Suppose that
$M\subset {\mathbb{C}}^{n}$
satisfies condition ( 1.1 ). Then under the assumptions of the Leray integral formula for any holomorphic function
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
we have
$$\begin{array}{c}f\left(x\right)=\frac{(n1)!}{(2\pi i{)}^{n}}{\int}_{{h}_{z}}{L}_{\xi}\left(f{}_{{r}^{1}\left(\xi \right)}\right)\left(x\right)\frac{{\omega}^{\prime}\left(\eta \right)\wedge \omega \left(\xi \right)}{<\eta ,\xi z{>}^{n}}foranyx\in {r}^{1}\left(z\right).\end{array}$$ 
(1.5)

Similarly to ( 1.5 ) we obtain extensions of other known integral formulas. To get such an extension replace only the integrand function
$f\left(\xi \right)$
in an integral formula by
${L}_{\xi}\left(f{}_{{r}^{1}\left(\xi \right)}\right)\left(x\right)$
. In the same way one obtains multidimensional CauchyGreen and KoppelmanLeray type formulas for some classes of differential forms defined on coverings of
$M$
satisfying ( 1.1 ). Several such formulas are presented in the Appendix (see also [HL] for an exposition of known integral formulas).
1.3. Let us formulate some other applications of Theorem 1.3 .
Let
$r:{M}^{\prime}\to M$
be a covering. 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 1.5
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 any
$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)$
.
Suppose that
$X$
belongs to a complex manifold
${X}_{a}\subset M$
with
$di{m}_{\mathbb{C}}{X}_{a}\ge 1$
and any other complex manifold of dimension
$d$
,
$1\le d<di{m}_{\mathbb{C}}{X}_{a}$
, does not contain
$X$
.
In what follows the interior of
${r}^{1}\left(X\right)$
is defined with respect to
${r}^{1}\left({X}_{a}\right)$
.
Definition 1.6
By
${\mathcal{\mathscr{H}}}_{p,\psi}\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)$
holomorphic in interior points of
${r}^{1}\left(X\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}$$ 
(1.6)

Remark 1.7
(a) Arguments used in the proof of Proposition 2.4 stated below show that if
$X\subset {X}_{a}$
is open then any function
$f$
holomorphic on
${r}^{1}\left(X\right)$
satisfying part (1) of Definition 1.5 and such that
$f{}_{p,\psi}^{X}<\infty $
belongs to
${\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(X\left)\right)$
.
(b) Suppose that
$M$
satisfies condition ( 1.1 ) and that the function
$\psi $
in the definition of
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
is such that
$1\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
. Then it is easy to see that any function on
${r}^{1}\left(X\right)$
uniformly continuous with respect to the path metric pulled back from
$N$
satisfies part (2) of Definition 1.5 . In particular, this is always true for
$p=\infty $
.
Suppose that a domain
$M\subset {\mathbb{C}}^{N}$
satisfies ( 1.1 ). Let
$D\subset \subset M$
be a strictly pseudoconvex open set (not necessarily
$D\ne \varnothing $
), and
$\rho $
be a strictly plurisubharmonic
${C}^{2}$
function in a neighbourhood
$O$
of
$\partial D$
such that
$$\begin{array}{c}D\cap O=\{z\in O:\rho (z)<0\}andN\left(\rho \right):=\{z\in O:\rho (z)=0\}\subset \subset O.\end{array}$$ 
(1.7)

We set
$C:=D\cup N\left(\rho \right)$
.
Theorem 1.8
There is a neighbourhood
$\Omega $
of
$C$
such that every
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(C\left)\right)$
can be uniformly approximated in the norm of
${\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(C\left)\right)$
by functions from
${\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(\Omega \left)\right)$
.
Example 1.9
Let
$C$
be a (connected) compact realanalytic manifold. By the Grauert theorem [Gr] we can assume that
$C$
is an analytic submanifold of some
${\mathbb{R}}^{n}$
. It is easy to show that
$C$
is the zero set of a nonnegative strictly plurisubharmonic
${C}^{2}$
function defined in a neighbourhood of
$C$
. Let
${C}_{\epsilon}$
be an
$\epsilon $
neighbourhood of
$C$
in
${\mathbb{C}}^{n}$
where
$\epsilon $
is sufficiently small. Then
${C}_{\epsilon}$
satisfies condition ( 1.1 ). Let
$r:{C}^{\prime}\to C$
be a covering of
$C$
, and
$r:{C}_{\epsilon}^{\prime}\to {C}_{\epsilon}$
be the covering of
${C}_{\epsilon}$
such that
${C}^{\prime}\subset {C}_{\epsilon}^{\prime}$
(i.e., for this covering
${\pi}_{1}\left({C}^{\prime}\right)={\pi}_{1}\left({C}_{\epsilon}^{\prime}\right)$
). Now, Theorem 1.8 implies that for a sufficiently small
$\epsilon $
any
${C}_{p,\psi}$
function on
${C}^{\prime}$
can be uniformly approximated in the norm of
${\mathcal{\mathscr{H}}}_{p,\psi}\left({C}^{\prime}\right)$
by functions from
${\mathcal{\mathscr{H}}}_{p,\psi}\left({C}_{\epsilon}^{\prime}\right)$
.
Finally, let us formulate a result on bounded extension of holomorphic functions from complex submanifolds.
Suppose that
$M$
is a strictly pseudoconvex open set (with not necessarily smooth boundary) in a Stein manifold satisfying condition ( 1.1 ). Let
$Y$
be a closed complex submanifold of some neighbourhood of
$\overline{M}$
. Consider a covering
$r:{M}^{\prime}\to M$
. Since
$M$
satisfies condition ( 1.1 ), there exists a covering
$r:{N}^{\prime}\to N$
such that
${M}^{\prime}$
is an open subset of
${N}^{\prime}$
. By
$\overline{{M}^{\prime}}$
we denote the closure of
${M}^{\prime}$
in
${N}^{\prime}$
. Also, we set
$X:=Y\cap M$
.
Theorem 1.10

(1)
For every function
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(X\left)\right)$
, there exists a function
$F\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
such that
$F=f$
on
${r}^{1}\left(X\right)$
.

(2)
For every function
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(\overline{X}\left)\right)$
, there exists a function
$F\in {\mathcal{\mathscr{H}}}_{p,\psi}\left(\overline{{M}^{\prime}}\right)$
such that
$F=f$
on
${r}^{1}\left(\overline{X}\right)$
.
(Recall that
${\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(\overline{X}\left)\right)$
is the space of
${C}_{p,\psi}$
functions on
${r}^{1}\left(\overline{X}\right)$
holomorphic in
${r}^{1}\left(X\right)$
with the norm defined by ( 1.6 ).) Analogous results hold for a connected component
$Z$
of
${r}^{1}\left(X\right)$
. In this case we define
${\mathcal{\mathscr{H}}}_{p,\psi}\left(Z\right)$
as the space of functions on
$Z$
whose extensions to
${r}^{1}\left(X\right)$
by 0 belong to
${\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(X\left)\right)$
. One defines
${\mathcal{\mathscr{H}}}_{p,\psi}\left(\overline{Z}\right)$
similarly.
2 . Auxiliary Results.
For the standard facts about bundles see, e.g., Hirzebruch's book [Hi]. In what follows, all topological spaces are assumed to be finite or infinite dimensional.
2.1. 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 2.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.$$
In particular, 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$
.
Let
${\pi}_{i}:{W}_{i}\to X$
,
$i=1,2$
, be holomorphic Banach vector bundles. A holomorphic map
$f:{W}_{1}\to {W}_{2}$
satisfying

(a)
$f\left({\pi}_{1}^{1}\right(x\left)\right)\subset {\pi}_{2}^{1}\left(x\right)$
for any
$x\in X$
;

(b)
$f{}_{{\pi}_{1}^{1}\left(x\right)}$
is a linear continuous map of the corresponding Banach spaces,
is called a homomorphism. If, in addition,
$f$
is a homeomorphism, then
$f$
is called an isomorphism.
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 2.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 there is an open cover
$\mathcal{U}=\{{U}_{i}{\}}_{i\in I}$
of
$M$
by sets biholomorphic to open Euclidean balls in some
${\mathbb{C}}^{n}$
and 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
${X}_{H}={\pi}_{1}\left(M\right)/H$
be the fibre of the covering
$r:M\left(H\right)\to M$
. Consider a function
$\phi :{X}_{H}\to {\mathbb{R}}_{+}$
satisfying
$$\begin{array}{c}\phi \left({\tau}_{Q\left(H\right)}\right(h\left)\right(x\left)\right)\le {c}_{h}\phi \left(x\right),h\in Q\left(H\right),x\in {X}_{H},\end{array}$$ 
(2.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}_{x\in {X}_{H}}\leftf\right(x\left){}^{p}\phi \right(x)\right)}^{1/p}.\end{array}$$ 
(2.2)

Then according to ( 2.1 ) the map
$\rho $
defined by the formula
$$\left[\rho \right(h\left)\right(f\left)\right]\left(x\right):=f\left({\tau}_{Q\left(H\right)}\right(h\left)\right(x\left)\right),h\in Q\left(H\right),x\in {X}_{H},$$
is a homomorphism of
$Q\left(H\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 $
.
2.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$
). In this part we establish a connection between Banach spaces
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
defined in section 1.1 and certain spaces of holomorphic sections of bundles
${E}_{p,\phi}\left({X}_{H}\right)$
.
We retain the notation of Example
2.2 . 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
$M\left(H\right)$
is embedded into
$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 2.2 (a) we can define
$M\left(H\right)$
by a cocycle
$\stackrel{~}{c}=\left\{{\stackrel{~}{c}}_{ij}\right\}\in {Z}_{\mathcal{O}}^{1}(\mathcal{U},Q(H\left)\right)$
where
$Q\left(H\right)={\pi}_{1}\left(M\right)/Ker\tau $
.
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$
. Identifying
${r}^{1}\left({z}_{0}\right)$
with
${X}_{H}$
define the function
$\phi :{X}_{H}\to {\mathbb{R}}_{+}$
by the formula
$$\phi \left(x\right):=\psi \left(x\right),x\in {X}_{H}(={r}^{1}({z}_{0}\left)\right).$$
Lemma 2.3
The function
$\phi $
satisfies inequality ( 2.1 ).
Proof. We recall some facts from the theory of covering spaces (see, e.g., [Hu, Chapter III]. Let
$h\in Q\left(H\right)$
.
Then there exists a closed path
$\gamma \subset M$
passing through the point
${z}_{0}$
such that its lifting
${\gamma}_{x}\subset M\left(H\right)$
with the initial point
$x\in {r}^{1}\left({z}_{0}\right)$
has the endpoint
${\tau}_{Q\left(H\right)}\left(h\right)\left(x\right)$
.
By the definition of the metric on
$M\left(H\right)$
, the length of every such
${\gamma}_{x}$
is the same.
This and uniform continuity of
$log\psi $
with respect to the path metric defined by a Riemannian metric pulled back from
$N$
imply that every
${\gamma}_{x}$
can be covered by
$k$
metric balls
$\left\{{N}_{j}\right(x){\}}_{j=1}^{k}$
such that
$$\frac{1}{2}\psi \left(y\right)\le \psi \left(z\right)\le 2\psi \left(y\right)foranyy,z\in {N}_{j}\left(x\right),1\le j\le k.$$
In particular, we have
$$\frac{\psi \left({\tau}_{Q\left(H\right)}\right(h\left)\right(x\left)\right)}{\psi \left(x\right)}\le {2}^{k}foreveryx\in {r}^{1}\left({z}_{0}\right).\square $$
According to this lemma, the bundle
${E}_{p,\phi}\left({X}_{H}\right)$
is well defined. By definition, any holomorphic section of this bundle can be determined by the family
$\left\{{f}_{i}\right(z,x){\}}_{i\in I}$
of holomorphic functions on
${U}_{i}$
with values in
${l}_{p,\phi}\left({X}_{H}\right)$
satisfying
$${f}_{i}(z,{\tau}_{Q\left(H\right)}({\stackrel{~}{c}}_{ij}\left)\right(x\left)\right)={f}_{j}(z,x)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}$$ 
(2.3)

(Here
$\left\right\cdot {}_{p,\phi}$
is the norm on
${l}_{p,\phi}\left({X}_{H}\right)$
, see ( 2.2 ).) Further, let
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left(M\right(H\left)\right)$
(see section 1.1 for the definition). We identify
$M\left(H\right)$
with the quotient set of
${V}_{H}={\bigsqcup}_{i\in I}{U}_{i}\times {X}_{H}$
as in Example 2.2 (a). This gives local coordinates on
$M\left(H\right)$
. Using these coordinates 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,x):=f(z,x),z\in {U}_{i},i\in I,x\in {X}_{H}.\end{array}$$ 
(2.4)

Then the following result holds.
Proposition 2.4
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)$
.
Proof. First we will prove that every
${f}_{i}(z,x)=f(z,x)$
determines a holomorphic map of
${U}_{i}$
into
${l}_{p,\phi}\left({X}_{H}\right)$
. Since by definition
${f}_{i}(z,{\tau}_{Q\left(H\right)}({\stackrel{~}{c}}_{ij}\left(x\right))={f}_{j}(z,x)$
for any
$z\in {U}_{i}\cap {U}_{j}$
, this will show that
$\left\{{f}_{i}\right\}$
is a holomorphic section of
${E}_{p,\phi}\left({X}_{H}\right)$
.
Check that
${f}_{i}(z,\cdot ))\in {l}_{p,\phi}({X}_{H})$
for any
$z\in {U}_{i}$
. We will assume that
${z}_{0}$
in the definition of
$\phi $
from Lemma 2.3 belongs to some
${U}_{k}$
and so
${r}^{1}\left({z}_{0}\right)={z}_{0}\times {X}_{H}$
in the above coordinates on
${r}^{1}\left({U}_{k}\right)\subset M\left(H\right)$
. Let us fix some points
${z}_{i}\in {U}_{i}$
.
Since
$M$
is compactly embedded into
$N$
and the path metric on
$N\left(H\right)$
is defined by a Riemannian metric pulled back from
$N$
, for every
$(z,x)\in {r}^{1}\left({U}_{i}\right)$
,
$i\in I$
, there exists a path
${\gamma}_{i}\left(x\right)$
joining
$({z}_{i},x)$
with
$(z,x)$
such that the lengths of all these paths are bounded from above by a constant
$L$
. Further, by the covering homotopy theorem for every
$({z}_{0},x)\in {r}^{1}\left({z}_{0}\right)$
there exist a point
$({z}_{i},{s}_{i}(x\left)\right)\in {r}^{1}\left({U}_{i}\right)$
and a path
${\stackrel{~}{\gamma}}_{i}\left(x\right)$
joining these two points in
$M\left(H\right)$
such that
${s}_{i}\left(x\right)={\tau}_{Q\left(H\right)}\left({h}_{i}\right)\left(x\right)$
for some
${h}_{i}\in Q\left(H\right)$
(independent of
$x$
) and the lengths of all
${\stackrel{~}{\gamma}}_{i}\left(x\right)$
(for all
$i\in I$
and
$x\in {X}_{H}$
) are bounded from above by
${L}_{1}$
. Since
$log\psi $
is uniformly continuous with respect to the path metric obtained by a Riemannian metric pulled back from
$N$
, from here arguing as in the proof of Lemma 2.3 and using the boundedness of lengths of all the paths
${\stackrel{~}{\gamma}}_{i}\left(x\right)$
and
${\gamma}_{i}\left(x\right)$
we obtain that there is a constant
$C$
depending on
$M$
and
${z}_{0}$
such that
$$\begin{array}{c}\frac{1}{C}\psi (z,x)\le \phi \left(x\right)\le C\psi (z,x)foranyz\in {U}_{i},i\in I,x\in {X}_{H}.\end{array}$$ 
(2.5)

Now by the definition of the norm on
${\mathcal{\mathscr{H}}}_{p,\psi}\left(M\right(H\left)\right)$
we have
$${sup}_{i\in I,z\in {U}_{i}}{\left({\sum}_{x\in {X}_{H}}\leftf\right(z,x\left){}^{p}\psi \right(z,x)\right)}^{1/p}=f{}_{p,\psi}.$$
Combining this with ( 2.5 ) we get
$$\begin{array}{c}(1/C{)}^{1/p}\cdot f{}_{p,\psi}\le {sup}_{i\in I,z\in {U}_{i}}\left\rightf(z,\cdot ){}_{p,\phi}\le {C}^{1/p}\cdot f{}_{p,\psi}.\end{array}$$ 
(2.6)

This shows that every
${f}_{i}(z,\cdot )\in {l}_{p,\phi}\left({X}_{H}\right)$
.
Let us prove now that
${f}_{i}(\cdot ,\cdot ):{U}_{i}\to {l}_{p,\phi}\left({X}_{H}\right)$
is holomorphic. Without loss of generality we identify
${U}_{i}$
with an open subset of a certain
${\mathbb{C}}^{n}$
. Let
$P\subset \subset {U}_{i}$
,
$P=\left\{\right({z}_{1},...,{z}_{n})\in {\mathbb{C}}^{n}:{z}_{j}{x}_{j}\le r,1\le j\le n\}$
, be a polydisk with the center at a point
$x=({x}_{1},...,{x}_{n})\in {U}_{i}$
and of radius
$r$
. By
${P}_{t}$
we denote its boundary torus (i.e.,
${P}_{t}=\{z\in P:{z}_{j}{x}_{j}=r,1\le j\le n\}$
). Let us introduce
${c}_{{\alpha}_{1},...,{\alpha}_{n}}\left(y\right)$
by the formula
$${c}_{{\alpha}_{1},...,{\alpha}_{n}}\left(y\right)={\left(\frac{1}{2\pi i}\right)}^{n}{\int}_{{P}_{t}}\frac{{f}_{i}(w,y)}{{w}_{1}^{{\alpha}_{1}+1}\cdots {w}_{n}^{{\alpha}_{n}+1}}d{w}_{1}\cdots d{w}_{n}.$$
We will show that
$$\begin{array}{c}{c}_{{\alpha}_{1},...,{\alpha}_{n}}\in {l}_{p,\phi}\left({X}_{H}\right)and\left\right{c}_{{\alpha}_{1},...,{\alpha}_{n}}{}_{p,\phi}\le \frac{{C}^{1/p}f{}_{p,\psi}}{{r}^{{\alpha}_{1}+...+{\alpha}_{n}}}.\end{array}$$ 
(2.7)

In what follows
${\mathbb{T}}^{n}$
denotes the standard torus in
${\mathbb{R}}^{n}$
with coordinates
$t=({t}_{1},...,{t}_{n})$
.
Now, using the definition of
${c}_{{\alpha}_{1},...,{\alpha}_{n}}\left(y\right)$
, the triangle inequality for the norm
$\left\right\cdot {}_{p,\phi}$
, inequality ( 2.6 ) and the Lebesgue monotone convergence theorem we have
$$\begin{array}{c}\left\right{c}_{{\alpha}_{1},...,{\alpha}_{n}}{}_{p,\phi}:={\left({\sum}_{y\in {X}_{H}}\left{c}_{{\alpha}_{1},...,{\alpha}_{n}}\right(y\left){}^{p}\phi \right(y)\right)}^{1/p}\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}{\left({\sum}_{y\in {X}_{H}}{\left({\left(\frac{1}{2\pi}\right)}^{n}{\int}_{{\mathbb{T}}^{n}}\frac{\left{f}_{i}\right(x+rt,y\left)\right}{{r}^{{\alpha}_{1}+...+{\alpha}_{n}}}d{t}_{1}\cdots d{t}_{n}\right)}^{p}\cdot \phi \left(y\right)\right)}^{1/p}\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}\frac{1}{{r}^{{\alpha}_{1}+...+{\alpha}_{n}}}\cdot {\left(\frac{1}{2\pi}\right)}^{n}{\int}_{{\mathbb{T}}^{n}}{\left({\sum}_{y\in {X}_{H}}\left{f}_{i}\right(x+rt,y\left){}^{p}\phi \right(y)\right)}^{1/p}d{t}_{1}\cdots d{t}_{n}\le \frac{{C}^{1/p}f{}_{p,\psi}}{{r}^{{\alpha}_{1}+...+{\alpha}_{n}}}.\end{array}$$  
Inequality ( 2.7 ) implies, in particular, that
$${\sum}_{{\alpha}_{1}+...+{\alpha}_{n}=0}^{\infty}{c}_{{\alpha}_{1},...,{\alpha}_{n}}({z}_{1}{x}_{1}{)}^{{\alpha}_{1}}\cdots ({z}_{n}{x}_{n}{)}^{{\alpha}_{n}}$$
converges uniformly in any polydisk
${P}^{\prime}$
centered at
$x$
of radius
$<r$
to a holomorphic
${l}_{p,\phi}\left({X}_{H}\right)$
valued function
$F$
. By definition, evaluation of this function at every point
$y\in {X}_{H}$
coincides with
${f}_{i}(\cdot ,y)$
on any such
${P}^{\prime}$
. Thus
$F\left(z\right)={f}_{i}(z,\cdot )$
for
$z\in {P}^{\prime}$
. Since
$x$
is an arbitrary point of
${U}_{i}$
, this shows that
${f}_{i}(\cdot ,\cdot ):{U}_{i}\to {l}_{p,\phi}\left({X}_{H}\right)$
is holomorphic.
Therefore by (
2.6 ) we obtain that the map
$D:{\mathcal{\mathscr{H}}}_{p,\psi}\left(M\right(H\left)\right)\to {B}_{p,\phi}\left({X}_{H}\right)$
,
$f\mapsto \{{f}_{i}{\}}_{i\in I}$
, is well defined and continuous.
Conversely, let
$\left\{{f}_{i}\right(z,x){\}}_{i\in I}$
be a family of holomorphic
${l}_{p,\phi}\left({X}_{H}\right)$
valued functions on the cover
$\{{U}_{i}{\}}_{i\in I}$
determining an element from
${B}_{p,\phi}\left({X}_{H}\right)$
. We set
$$f(z,x):={f}_{i}(z,x),z\in {U}_{i},x\in {X}_{H}.$$
Then by the definition
$f$
is a holomorphic function on
$M\left(H\right)$
. Now inequality ( 2.6 ) easily implies that
$f{}_{p,\psi}\le {C}^{1/p}\cdot f{}_{p,\phi}$
.
$\square $
The map
$D$
from Proposition 2.4 will be called the direct image map.
Remark 2.5
One can easily see that the direct image map
$D$
is an isometry in the case
$\psi \equiv 1$
.
3 . Proof of Theorem 1.3 .
3.1. Assume that
$M$
satisfies condition ( 1.1 ). Let
$r:{M}^{\prime}\to M$
be an unbranched covering. By
${R}_{x}$
we denote the restriction map of functions from
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
to the fibre
${r}^{1}\left(x\right)$
,
$x\in M$
. The definitions of the norms on
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
and
${l}_{p,\psi ,x}\left({M}^{\prime}\right)$
(see section 1.1) imply that
${R}_{x}:{\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)\to {l}_{p,\psi ,x}\left({M}^{\prime}\right)$
is a linear continuous operator.
Proposition 3.1
For every
$x\in M$
there exists a linear continuous operator
${C}_{x}:{l}_{p,\psi ,x}\left({M}^{\prime}\right)\to {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
such that
$${R}_{x}\circ {C}_{x}=id.$$
Proof. As before we think of
${M}^{\prime}$
as an open subset of
${N}^{\prime}$
where
$r:{N}^{\prime}\to N$
is a covering such that
${\pi}_{1}\left({N}^{\prime}\right)={\pi}_{1}\left({M}^{\prime}\right)$
. We also set
${\stackrel{~}{M}}^{\prime}:={r}^{1}\left(\stackrel{~}{M}\right)$
. (Here by our assumption
$M\subset \subset \stackrel{~}{M}\subset N$
and
$\stackrel{~}{M}$
is Stein.) Recall that the fibre of the covering
${N}^{\prime}$
is
${X}_{H}:={\pi}_{1}\left(N\right)/H$
where
$H:={\pi}_{1}\left({N}^{\prime}\right)$
and the quotient is taken with respect to the left action of
$H$
on
${\pi}_{1}\left(N\right)$
. In what follows, according to Proposition 2.4 , we identify
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
with the space
${B}_{p,\phi}\left({X}_{H}\right)$
of bounded holomorphic sections of the Banach vector bundle
${E}_{p,\phi}\left({X}_{H}\right)\to M$
where
$\phi =\psi {}_{{r}^{1}\left({z}_{0}\right)}$
for some
${z}_{0}\in M$
(see Example 2.2 ).
Let us introduce the Banach space
$B$
of complex functions
$F$
defined on
${X}_{H}\times {X}_{H}$
with norm
$$\leftF\right(h,g){}_{B}:=max\left\{{sup}_{h\in {X}_{H}}\left({\sum}_{g\in {X}_{H}}\leftF\right(h,g\left)\right\cdot \frac{\phi \left(g\right)}{\phi \left(h\right)}\right),{sup}_{g\in {X}_{H}}\left({\sum}_{h\in {X}_{H}}\leftF\right(h,g\left)\right\right)\right\}.$$
It is easy to see by means of ( 2.1 ) that the formula
$$\left[\rho \right(q,s\left)\right(F\left)\right](h,g):=F\left({\tau}_{Q\left(H\right)}\right(q\left)\right(h),{\tau}_{Q\left(H\right)}(s\left)\right(g\left)\right),h,g\in {X}_{H},q,s\in Q\left(H\right),$$
determines a homomorphism of the group
$Q\left(H\right)\times Q\left(H\right)$
into
$GL\left(B\right)$
(see Example 2.2 (a) for the definitions of
${\tau}_{Q\left(H\right)}$
and
$Q\left(H\right)$
). Note that
$Q\left(H\right)\times Q\left(H\right)$
is the quotient of
${\pi}_{1}(N\times N)={\pi}_{1}\left(N\right)\times {\pi}_{1}\left(N\right)$
. Thus the associated with
$\rho $
holomorphic Banach vector bundle
$t:{E}_{\rho}\to N\times N$
on
$N\times N$
is defined. We identify the fibre
${t}^{1}(x\times x)$
with
$B$
. Further, let
${\delta}_{h}$
be a function on
${X}_{H}$
such that
${\delta}_{h}\left(g\right)=1$
if
$h=g$
and
${\delta}_{h}\left(g\right)=0$
if
$h\ne g$
. We define a function
$\Delta $
on
${X}_{H}\times {X}_{H}$
by the formula
$$\Delta (h,g):={\delta}_{h}\left(g\right).$$
Check that
$\Delta \in B(={t}^{1}(x\times x\left)\right)$
. Indeed,
$$\Delta {}_{B}:=max\left\{{sup}_{h\in {X}_{H}}\left({\sum}_{g\in {X}_{H}}\left{\delta}_{h}\right(g\left)\right\cdot \frac{\phi \left(g\right)}{\phi \left(h\right)}\right),{sup}_{g\in {X}_{H}}\left({\sum}_{h\in {X}_{H}}\left{\delta}_{h}\right(g\left)\right\right)\right\}=1.$$
Now, according to Bungart [B, Lemma 3.3]) there is a holomorphic section
$S$
of
${E}_{\rho}$
such that
$S(x\times x)=\Delta $
. Since
$\overline{M}\subset N$
is compact,
$S{}_{M\times M}$
is a bounded holomorphic section of
${E}_{\rho}{}_{M\times M}$
, cf. ( 2.3 ).
Let
$\{{V}_{i}{\}}_{i\in I}$
be a finite acyclic open cover of
$\overline{M}$
. We set
${U}_{i}={V}_{i}\cap M$
and consider the open cover
$\mathcal{U}=\{{U}_{i}\times {U}_{j}{\}}_{i,j\in I}$
of
$M\times M$
. According to Example 2.2 (a)
${M}^{\prime}$
is defined on the cover
$\{{U}_{i}{\}}_{i\in I}$
of
$M$
by a cocycle
$\stackrel{~}{c}=\left\{{\stackrel{~}{c}}_{ij}\right\}\in {\mathcal{Z}}_{\mathcal{O}}^{1}\left(\right\{{U}_{i}\},Q(H\left)\right)$
. Then
${M}^{\prime}\times {M}^{\prime}$
is defined on
$\mathcal{U}$
by the cocycle
$\stackrel{~}{c}\times \stackrel{~}{c}=\{{\stackrel{~}{c}}_{ij}\times {\stackrel{~}{c}}_{ij}\}\in {\mathcal{Z}}_{\mathcal{O}}^{1}(\mathcal{U},Q(H)\times Q(H\left)\right)$
.
Using this construction one represents the restriction of the section
$S$
to
$\mathcal{U}$
by a family
$\left\{{S}_{ij}\right(z,h,w,g):h,g\in {X}_{H},z\times w\in {U}_{i}\times {U}_{j}{\}}_{i,j\in I}$
of holomorphic functions on
${U}_{i}\times {U}_{j}$
with values in
$B$
satisfying for
$z\times w\in ({U}_{i}\times {U}_{j})\cap ({U}_{l}\times {U}_{m})$
$$\begin{array}{c}{S}_{ij}(z,{\tau}_{Q\left(H\right)}({\stackrel{~}{c}}_{il}\left)\right(h),w,{\tau}_{Q\left(H\right)}({\stackrel{~}{c}}_{mj}\left)\right(g\left)\right)={S}_{lm}(z,h,w,g).\end{array}$$ 
(3.1)

Since
$S$
is bounded on
$M\times M$
,
$$\begin{array}{c}{sup}_{i,j\in I,z\times w\in {U}_{i}\times {U}_{j}}\left{S}_{ij}\right(z,\cdot ,w,\cdot ){}_{B}=C<\infty .\end{array}$$ 
(3.2)

Also, by the definition we have for
$x\times x\in M\times M$
(say, e.g.,
$x\in {U}_{{i}_{0}}$
,
${i}_{0}\in I$
)
$$\begin{array}{c}{S}_{{i}_{0}{i}_{0}}(x,h,x,g)={\delta}_{h}\left(g\right).\end{array}$$ 
(3.3)

Next, consider the restriction of
$S$
to
$x\times M$
and the open cover
$\{{U}_{{i}_{0}}\times {U}_{i}{\}}_{i\in I}$
of
$x\times M$
. We define a family
$\{{T}_{i}{\}}_{i\in I}$
of linear operators on the set of complex functions
$v$
on
${X}_{H}$
by the formula
$$\begin{array}{c}{T}_{i}\left(v\right)(z,g):={\sum}_{h\in {X}_{H}}v\left(h\right){S}_{{i}_{0}i}(x,h,z,g),z\in {U}_{i},g\in {X}_{H}.\end{array}$$ 
(3.4)

Lemma 3.2
(a)
${T}_{i}$
is a bounded operator from
${l}_{p,\phi}\left({X}_{H}\right)$
into the Banach space
${H}_{p,\phi}\left({U}_{i}\right)$
of bounded
${l}_{p,\phi}\left({X}_{H}\right)$
valued holomorphic functions
$f$
on
${U}_{i}$
with norm
$$f{}_{p,\phi}^{{U}_{i}}:={sup}_{z\in {U}_{i}}\leftf\right(z,\cdot \left)\right{}_{p,\phi}$$
(here
$\left\right\cdot {}_{p,\phi}$
is the norm on
${l}_{p,\phi}\left({X}_{H}\right)$
, see ( 2.2 )).
(b) For every
$z\in {U}_{i}\cap {U}_{j}$
$${T}_{i}\left(v\right)(z,{\tau}_{Q\left(H\right)}({\stackrel{~}{c}}_{ij}\left)\right(g\left)\right)={T}_{j}\left(v\right)(z,g),v\in {l}_{p,\phi}\left({X}_{H}\right).$$
Proof. (a) Let us first check the above statement for
$p=1$
and
$p=\infty $
. In fact, for
$p=1$
from ( 3.4 ) and ( 3.2 ) we have
$$\begin{array}{c}\left\right{T}_{i}\left(v\right)(z,\cdot ){}_{1,\phi}:={\sum}_{g\in {X}_{H}}\left{\sum}_{h\in {X}_{H}}v\left(h\right){S}_{{i}_{0}i}(x,h,z,g)\right\phi (g)\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}{\sum}_{g\in {X}_{H}}{\sum}_{h\in {X}_{H}}\leftv\right(h\left)\phi \right(h\left)\right\cdot \left{S}_{{i}_{0}i}\right(x,h,z,g\left)\right\frac{\phi \left(g\right)}{\phi \left(h\right)}\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}\left({\sum}_{h\in {X}_{H}}\leftv\right(h\left)\phi \right(h\left)\right\right)\cdot {sup}_{h\in {X}_{H}}\left({\sum}_{g\in {X}_{H}}\left{S}_{{i}_{0}i}\right(x,h,z,g\left)\right\frac{\phi \left(g\right)}{\phi \left(h\right)}\right)\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}\left\rightv{}_{1,\phi}\cdot {S}_{{i}_{0}i}(x,\cdot ,z,\cdot ){}_{B}\le C\cdot \left\rightv{}_{1,\phi}.\end{array}$$  
From here we have (see ( 2.3 ))
$$\left{T}_{i}\right(v){}_{1,\phi}^{{U}_{i}}\le C\cdot \leftv\right{}_{1,\phi}.$$
Thus
${T}_{i}\left(v\right)\in {H}_{1,\phi}\left({U}_{i}\right)$
, and
${T}_{i}:{l}_{1,\phi}\left({X}_{H}\right)\to {H}_{1,\phi}\left({U}_{i}\right)$
is a linear bounded operator.
Similarly, for
$p=\infty $
we have
$$\begin{array}{c}\left{T}_{i}\right(v){}_{\infty ,\phi}^{{U}_{i}}:={sup}_{z\in {U}_{i}}\left({sup}_{g\in {X}_{H}}\left{\sum}_{h\in {X}_{H}}v\left(h\right){S}_{{i}_{0}i}(x,h,z,g)\right\right)\le \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}\left\rightv{}_{\infty ,\phi}\cdot {sup}_{z\in {U}_{i}}\left({sup}_{g\in {X}_{H}}\left({\sum}_{h\in {X}_{H}}\left{S}_{{i}_{0}i}\right(x,h,z,g\left)\right\right)\right)\le C\cdot \leftv\right{}_{\infty ,\phi}.\end{array}$$  
So,
${T}_{i}:{l}_{\infty ,\phi}\left({X}_{H}\right)\to {H}_{\infty ,\phi}\left({U}_{i}\right)$
is well defined and continuous.
Let us prove the similar statement for
$1<p<\infty $
. Consider the evaluation
${T}_{z,i}\left(v\right)$
of
${T}_{i}\left(v\right)$
at
$z\in {U}_{i}$
:
$$\left[{T}_{z,i}\right(v\left)\right]\left(g\right):={T}_{i}\left(v\right)(z,g)={\sum}_{h\in {X}_{H}}v\left(h\right){S}_{{i}_{0}i}(x,h,z,g).$$
From the above arguments it follows that
${T}_{z,i}$
is a linear continuous map of
${l}_{1,\phi}\left({X}_{H}\right)$
to
${l}_{1,\phi}\left({X}_{H}\right)$
and of
${l}_{\infty ,\phi}\left({X}_{H}\right)$
to
${l}_{\infty ,\phi}\left({X}_{H}\right)$
, and in both these cases its norm is bounded by
$C$
. Now, by the M. Riesz interpolation theorem (see, e.g., [R]),
${T}_{z,i}$
maps also each
${l}_{p,\phi}\left({X}_{H}\right)$
to
${l}_{p,\phi}\left({X}_{H}\right)$
and its norm there is bounded by
$C$
, as well. Taken the supremum of norms of
${T}_{z,i}$
over
$z\in {U}_{i}$
we obtain that
${T}_{i}$
is a linear continuous operator from
${l}_{p,\phi}\left({X}_{H}\right)$
into
${H}_{p,\phi}\left({U}_{i}\right)$
for any
$p$
.
(b) Using (
3.1 ) with
$i={i}_{0}$
,
$j=i$
and
$l={i}_{0}$
,
$m=j$
we get
$${S}_{{i}_{0}i}(x,h,z,{\tau}_{Q\left(H\right)}({\stackrel{~}{c}}_{ij}\left)\right(g\left)\right)={S}_{{i}_{0}j}(x,h,z,g).$$
This and ( 3.4 ) produce the result.
$\square $
From Lemma 3.2 we obtain that for every
$v\in {l}_{p,\phi}\left({X}_{H}\right)$
the family
$\left\{{T}_{i}\right(v){\}}_{i\in I}$
represents a section
$T\left(v\right)$
from
${B}_{p,\phi}\left({X}_{H}\right)$
, see ( 2.3 ). Moreover, the correspondence
$v\mapsto T\left(v\right)$
determines a linear bounded operator
$T:{l}_{p,\phi}\left({X}_{H}\right)\to {B}_{p,\phi}\left({X}_{H}\right)$
. Note also that ( 3.3 ) implies that
${T}_{{i}_{0}}\left(v\right)(x,\cdot )=v$
. From this identifying
${l}_{p,\phi}\left({X}_{H}\right)$
with the fibre of
${E}_{p,\phi}\left({X}_{H}\right)$
over
$x$
(by means of the coordinates on
${U}_{{i}_{0}}$
) we obtain that
$T$
maps the sections of
${E}_{p,\phi}\left({X}_{H}\right){}_{\left\{x\right\}}$
to
${B}_{p,\phi}\left({X}_{H}\right)$
and
$T\left(v\right)\left(x\right)=v$
. To complete the proof of the proposition it remains to identify
${B}_{p,\phi}\left({X}_{H}\right)$
with
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
and the space of sections of
${E}_{p,\phi}\left({X}_{H}\right){}_{\left\{x\right\}}$
with
${l}_{p,\psi ,x}\left({M}^{\prime}\right)$
.
$\square $
3.2. We proceed with the proof of the theorem. According to condition ( 1.1 ) there exists a connected Stein neighbourhood
$\stackrel{~}{M}$
of
$\overline{M}$
such that
$\stackrel{~}{M}\subset \subset N$
. Let
${\stackrel{~}{M}}^{\prime}={r}^{1}\left(\stackrel{~}{M}\right)$
be the corresponding covering of
$\stackrel{~}{M}$
. Let us consider the space
${\mathcal{\mathscr{H}}}_{p,\psi}\left({\stackrel{~}{M}}^{\prime}\right)$
. By
${E}_{0}\left(\stackrel{~}{M}\right):=\stackrel{~}{M}\times {\mathcal{\mathscr{H}}}_{p,\psi}\left({\stackrel{~}{M}}^{\prime}\right)$
we denote the trivial holomorphic Banach vector bundle on
$\stackrel{~}{M}$
with fibre
${\mathcal{\mathscr{H}}}_{p,\psi}\left({\stackrel{~}{M}}^{\prime}\right)$
. Also, by
${E}_{p,\phi}\left(\stackrel{~}{M}\right)$
we denote the bundle
${E}_{p,\phi}\left({X}_{H}\right)$
(see Example 2.2 (b)). (Here
$\phi $
is defined as in Proposition 3.1 .) For
$z\in \stackrel{~}{M}$
let
${R}_{z}$
be the restriction map of functions from
${\mathcal{\mathscr{H}}}_{p,\psi}\left({\stackrel{~}{M}}^{\prime}\right)$
to the fibre
${r}^{1}\left(z\right)$
. If we identify
${\mathcal{\mathscr{H}}}_{p,\psi}\left({\stackrel{~}{M}}^{\prime}\right)$
with the Banach space
${B}_{p,\phi}\left(\stackrel{~}{M}\right)$
of bounded holomorphic sections of the bundle
${E}_{p,\phi}\left(\stackrel{~}{M}\right)$
by the direct image map (cf. Proposition 2.4 ), then
${R}_{z}$
will be the evaluation map of sections from
${B}_{p,\phi}\left(\stackrel{~}{M}\right)$
at
$z\in \stackrel{~}{M}$
. In particular, one can define a homomorphism of bundles
$R:{E}_{0}\left(\stackrel{~}{M}\right)\to {E}_{p,\phi}\left(\stackrel{~}{M}\right)$
which maps
$z\times v\in {E}_{0}\left(\stackrel{~}{M}\right)$
to the vector
${R}_{z}\left(v\right)$
in the fibre over
$z$
of the bundle
${E}_{p,\phi}\left(\stackrel{~}{M}\right)$
(see Definition 2.1 ). Now, by Proposition 3.1 with
$M$
replaced by
$\stackrel{~}{M}$
, every
${R}_{z}$
is surjective and, moreover, there exists a linear continuous map
${C}_{z}$
of the fibre
${E}_{p,\phi ,z}\left(\stackrel{~}{M}\right)$
of
${E}_{p,\phi}\left(\stackrel{~}{M}\right)$
over
$z$
to the fibre
${E}_{0,z}\left(\stackrel{~}{M}\right)$
of
${E}_{0}\left(\stackrel{~}{M}\right)$
over
$z$
such that
${R}_{z}\circ {C}_{z}=id$
. Finally, by
$KerR:={\cup}_{z\in \stackrel{~}{M}}Ker{R}_{z}(\subset {E}_{0}(\stackrel{~}{M}\left)\right)$
we denote the kernel of
$R$
. Let
$U\subset \stackrel{~}{M}$
be an open set biholomorphic to a Euclidean ball. Using some holomorphic trivializations of
${E}_{0}\left(\stackrel{~}{M}\right){}_{U}$
and
${E}_{p,\phi}\left(\stackrel{~}{M}\right){}_{U}$
we may assume that
${E}_{0}\left(\stackrel{~}{M}\right){}_{U}=U\times {B}_{p,\phi}\left(\stackrel{~}{M}\right)$
and
${E}_{p,\phi}\left(\stackrel{~}{M}\right){}_{U}=U\times l$
, where
$l={l}_{p,\phi}\left({X}_{H}\right)$
is the fibre of
${E}_{p,\phi}\left(\stackrel{~}{M}\right)$
.
In these trivializations we have
$R(z\times v):=z\times {R}_{z}\left(v\right)$
,
$z\times v\in U\times {B}_{p,\phi}\left(\stackrel{~}{M}\right)$
, where
${R}_{z}\left(v\right):=v\left(z\right)$
, and
${C}_{z}(z\times f):=z\times {C}_{z}\left(f\right)$
,
$z\times f\in U\times l$
, where
${C}_{z}:l\to {B}_{p,\phi}\left(\stackrel{~}{M}\right)$
is a linear continuous map.
Next, take
$x\in U$
. Then in the above trivializations
${R}_{z}\circ {C}_{x}:l\to l$
,
$z\in U$
, is a family of linear continuous operators, holomorphic in
$z$
, such that
${R}_{x}\circ {C}_{x}=id$
.
Thus by the inverse function theorem (which in this case follows easily from the Taylor expansion of
${R}_{z}\circ {C}_{x}$
at
$x$
) we obtain that there exists a neighbourhood
${U}_{x}$
of
$x$
such that
${R}_{z}\circ {C}_{x}$
is invertible for every
$z\in {U}_{x}$
.
We set
${P}_{z}:=({R}_{z}\circ {C}_{x}{)}^{1}$
, and
${\stackrel{~}{C}}_{z}:={C}_{x}\circ {P}_{z}:l\to {B}_{p,\phi}\left(\stackrel{~}{M}\right)$
,
$z\in {U}_{x}$
. Then
${P}_{z}$
and
${\stackrel{~}{C}}_{z}$
are holomorphic in
$z\in {U}_{x}$
, and by definition
$${R}_{z}\circ {\stackrel{~}{C}}_{z}=id.$$
It is easy to see (by the inverse function theorem) that this identity implies that there is a neighbourhood
${V}_{x}\subset {U}_{x}$
of
$x$
such that
$KerR{}_{{V}_{x}}$
is biholomorphic to
${V}_{x}\times Ker{R}_{x}$
and this biholomorphism is linear on every
$Ker{R}_{z}$
and maps this space onto
$z\times Ker{R}_{x}$
,
$z\in {V}_{x}$
.
Taking different
$U$
and
$x$
we then obtain from here that
$KerR$
is a holomorphic Banach vector subbundle of
${E}_{0}\left(\stackrel{~}{M}\right)$
and locally, for every
${V}_{x}$
as above, we have an isomorphism of bundles
${E}_{0}\left(\stackrel{~}{M}\right){}_{{V}_{x}}\sim ={E}_{p,\phi}\left(\stackrel{~}{M}\right){}_{{V}_{x}}\oplus \left(KerR\right){}_{{V}_{x}}$
given in the above trivializations by the formula
$$z\times v\mapsto (z\times {R}_{z}(v),z\times (id{\stackrel{~}{C}}_{z}\circ {R}_{z}\left)\right(v\left)\right).$$
Let
$\mathcal{U}=\{{U}_{i}{\}}_{i\in I}$
be an open cover of
$\stackrel{~}{M}$
by Stein sets such that every quotient bundle
${E}_{p,\phi}\left(\stackrel{~}{M}\right){}_{{U}_{i}}$
is complemented in
${E}_{0}\left(\stackrel{~}{M}\right){}_{{U}_{i}}$
. Let
${C}_{i}:{E}_{p,\phi}\left(\stackrel{~}{M}\right){}_{{U}_{i}}\to {E}_{0}\left(\stackrel{~}{M}\right){}_{{U}_{i}}$
be the complement homomorphism (i.e.,
$R{}_{{U}_{i}}\circ {C}_{i}$
is the identity homomorphism of
${E}_{p,\phi}\left(\stackrel{~}{M}\right){}_{{U}_{i}}$
). We set
$${C}_{ij}\left(z\right)={C}_{i}\left(z\right){C}_{j}\left(z\right),z\in {U}_{i}\cap {U}_{j}.$$
Then
$\left\{{C}_{ij}\right\}$
is a holomorphic 1cocycle with values in
$KerR$
. Since
$\mathcal{U}$
is acyclic and
$\stackrel{~}{M}$
is Stein, by the Bungart theorem [B] and the Leray lemma one can find a family
$\{{H}_{i}{\}}_{i\in I}$
of holomorphic sections of
$KerR$
over
${U}_{i}$
such that
$${H}_{i}\left(z\right){H}_{j}\left(z\right)={C}_{ij}\left(z\right),z\in {U}_{i}\cap {U}_{j}.$$
In particular, setting
$F{}_{{U}_{i}}:={C}_{i}{H}_{i}$
we obtain that
$F:{E}_{p,\phi}\left(\stackrel{~}{M}\right)\to {E}_{0}\left(\stackrel{~}{M}\right)$
is a (holomorphic) homomorphism of bundles such that
$R\circ F=id$
. Since by the definition
$\overline{M}\subset \stackrel{~}{M}$
is compact,
$F{}_{M}$
is bounded. Next, by
${R}_{M}$
we denote the restriction homomorphism of trivial bundles
${E}_{0}\left(\stackrel{~}{M}\right){}_{M}\to {E}_{0}\left(M\right)$
defined by
$$z\times v\mapsto z\times v{}_{M},z\in M,v\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({\stackrel{~}{M}}^{\prime}\right).$$
Finally, we set
$${L}_{z}:={R}_{M}\circ F\left(z\right),z\in M.$$
Then by definition, every
${L}_{z}$
is a linear continuous map of
${l}_{p,\psi ,z}\left({M}^{\prime}\right)$
into
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
(see section 1.1), the family
$\left\{{L}_{z}\right\}$
is holomorphic in
$z\in M$
,
${R}_{z}\circ {L}_{z}=id$
, and
${sup}_{z\in M}\left\right{L}_{z}\left\right<\infty $
.
This completes the proof of the theorem.
$\square $
Remark 3.3
Using some modification of the arguments of the above proof one can show that for a fixed
$\psi $
there exists a family
$\left\{{L}_{z}\right\}$
satisfying the assumptions of Theorem 1.3 such that
${sup}_{z\in M}\left\right{L}_{z}\left\right\le C<\infty $
where
$C$
does not depend on the class
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
(cf. the construction in the proof of Theorem 1.4. of [Br2]).
4 . Proofs.
Proof of Corollary 1.4 . The result follows straightforwardly from formula ( 1.4 ) where
$f$
is a holomorphic function with values in
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
and from the properties of the operators
${L}_{z}$
.
$\square $
Proof of Theorem 1.8 . Let
$f\in \mathcal{\mathscr{H}}\left({r}^{1}\right(C\left)\right)$
be a function satisfying the assumptions of the theorem. Consider the function
$$h\left(z\right):={L}_{z}\left(f{}_{{r}^{1}\left(z\right)}\right),z\in C.$$
By Definition 1.5 , Proposition 2.4 and by the properties of
$\left\{{L}_{z}\right\}$
we have that
$h$
is a
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
valued continuous function on
$C$
holomorphic in
$D$
. (It can be written as the scalar function of the variables
$(z,w)\in C\times {M}^{\prime}$
.) Therefore it suffices to prove an approximation theorem for such Banachvalued functions. Namely, it suffices to show that every such
$h$
can be uniformly approximated on
$C$
by
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
valued holomorphic functions defined in a neighbourhood
$\Omega $
of
$C$
.
Further, if
$\left\{{h}_{i}\right(z,w):z\in \Omega ,w\in {M}^{\prime}{\}}_{i\ge 1}$
is such an approximation sequence for
$h$
, then
$\left\{{f}_{i}\right(y):y\in {r}^{1}(\Omega ){\}}_{i\ge 1}$
with
${f}_{i}\left(y\right):={h}_{i}\left(r\right(y),y)$
is the approximation sequence for
$f$
satisfying the required statement of the theorem.
The proof of the above approximation theorem for functions
$h$
repeats wordforword the proof of Theorem 3.5.1 in [HL] where in all integral formulas we replace the scalar functions by Banachvalued ones. We leave the details to the readers.
$\square $
Proof of Theorem 1.10 . Let us consider a function
$f$
satisfying either (1) or (2).
Define the function
$$h\left(z\right):={L}_{z}\left(f{}_{{r}^{1}\left(z\right)}\right),z\in X(orz\in \overline{X}).$$
Then according to Definition 1.5 ,
$h$
is a holomorphic function on the submanifold
$X\subset M$
with values in
${\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
(and in case (2) it is also continuous on
$\overline{X}$
). Thus it suffices to prove the extension theorem for Banachvalued holomorphic functions on
$X$
(extending them to
$M$
). Evaluating the extended Banachvalued functions at the points
$\left(r\right(y),y)$
,
$y\in {M}^{\prime}$
(cf. the proof of Theorem 1.8 above), we get the required result.
The scalar case of the required extension theorem is proved in Theorem 4.11.1 of [HL]. The Banachvalued case repeats literally the arguments of the proof of Theorem 4.11.1 where in all integral formulas we replace scalar functions by Banachvalued ones. Also, instead of the classical Cartan B theorem for Stein manifolds, we use in the proof its Banachvalued generalization due to Bungart.
$\square $
Remark 4.1
One can show (cf. the remark after the proof of Theorem 4.11.1 of [HL]) that under the hypothesis (1) of Theorem 1.10 there exists a linear continuous operator
$E:{\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(X\left)\right)\to {\mathcal{\mathscr{H}}}_{p,\psi}\left({M}^{\prime}\right)$
such that
$Ef=f$
on
${r}^{1}\left(X\right)$
for all
$f\in {\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(X\left)\right)$
. Moreover, the norm
$\left\rightE\left\right$
of
$E$
is bounded by a constant depending only on
$\psi :{M}^{\prime}\to {\mathbb{R}}_{+}$
and
$X$
. In particular, if
$\psi \equiv 1$
, then
$\left\rightE\left\right$
depends only on
$X$
(and not on the covering
${M}^{\prime}$
). However, it is not clear whether the extension in Theorem 1.10 (2) can be made by a linear continuous operator, as well.
5 . Appendix.
We present a multidimensional analog of CauchyGreen formulas on coverings of domains
$M\subset {\mathbb{C}}^{n}$
satisfying condition ( 1.1 ). These formulas are obtained from similar ones on the domains
$M$
(see, e.g., [H]) by the application of Theorem 1.3 .
Below we use the notation of the Leray integral formula (
1.4 ) (see section 1.2).
Let
$M\subset {\mathbb{C}}^{n}$
be a domain with a rectifiable boundary. Assume that
$M$
satisfies condition ( 1.1 ), that is,
$M\subset \subset \stackrel{~}{M}\subset N\subset {\mathbb{C}}^{n}$
,
${\pi}_{1}\left(N\right)={\pi}_{1}\left(M\right)$
and
$\stackrel{~}{M}$
is Stein. Let
$\eta =\eta (\xi ,z)=({\eta}_{1},...,{\eta}_{n})$
be a smooth
${C}^{n}$
valued function of the variable
$\xi \in \overline{M}$
such that
$<\eta (\xi ,z),\xi z>=1$
for
$\xi \in \partial M$
. Consider a covering
${M}^{\prime}$
of
$M$
.
Then
${M}^{\prime}$
is an open subset of the covering
$r:{N}^{\prime}\to N$
such that
${\pi}_{1}\left({N}^{\prime}\right)={\pi}_{1}\left({M}^{\prime}\right)$
.
Let
$\psi :{N}^{\prime}\to {\mathbb{R}}_{+}$
be such that
$log\psi $
is uniformly continuous with respect to the path metric obtained by a Riemannian metric pulled back from
$N$
. By
${E}_{p,\phi}\left(\stackrel{~}{M}\right)$
we denote the bundle
${E}_{p,\phi}\left({X}_{H}\right)$
on
$\stackrel{~}{M}$
(see Example 2.2 (b)). Here
$\phi $
is defined as in Proposition 3.1 . Also, by
$L=\left\{{L}_{z}\right\}$
we denote the family of operators given by Theorem 1.3 (with the same
$p$
and
$\psi $
) where
$z$
varies in a small neighbourhood
$\Omega $
of
$\overline{M}$
(in this case
${L}_{z}$
maps
${l}_{p,\psi ,z}\left({r}^{1}\right(\Omega \left)\right)$
into
${\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(\Omega )$
)).
Suppose that a function
$f$
defined on
$\overline{{M}^{\prime}}$
is such that its direct image
${r}_{*}\left(f\right)$
with respect to
$r$
is a continuous section of
${E}_{p,\phi}\left(\stackrel{~}{M}\right){}_{\overline{M}}$
, and
$\overline{\partial}{r}_{*}\left(f\right)$
is a continuous section of
${E}_{p,\phi}\left(\stackrel{~}{M}\right){}_{\overline{M}}$
. We set
$$\left(Lf\right)\left(z\right):={L}_{z}\left(f{}_{{r}^{1}\left(z\right)}\right),z\in \overline{M}.$$
Then from the construction of the family
$L$
and from the definition of
$f$
it follows that
$Lf$
is a continuous
${\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(\Omega \left)\right)$
valued function on
$\overline{M}$
such that
$\overline{\partial}Lf$
is a continuous
${\mathcal{\mathscr{H}}}_{p,\psi}\left({r}^{1}\right(\Omega \left)\right)$
valued
$(0,1)$
form on
$\overline{M}$
.
Now, for the function
$f$
we have the following integral representations:
$$\begin{array}{c}f\left(z\right)={\stackrel{~}{K}}^{s}f\left(z\right)+{\stackrel{~}{H}}^{s}\left(\overline{\partial}f\right)\left(z\right),z\in {M}^{\prime},\end{array}$$ 
(5.1)

where, for
$y:=r\left(z\right)$
,
$${\stackrel{~}{K}}^{0}f\left(z\right)=\frac{(n1)!}{(2\pi i{)}^{n}}{\int}_{\xi \in \partial M}{L}_{\xi}\left(f{}_{{r}^{1}\left(\xi \right)}\right)\left(z\right){\omega}^{\prime}\left(\eta \right(\xi ,y\left)\right)\wedge \omega \left(\xi \right),$$
$$\begin{array}{c}{\stackrel{~}{H}}^{0}\left(\overline{\partial}f\right)\left(z\right)=\end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}\frac{(n1)!}{2\pi i{)}^{n}}({\int}_{(\xi ,{\lambda}_{0})\in \partial M\times [0,1]}\left(\overline{\partial}{L}_{\xi}\right(f{}_{{r}^{1}\left(\xi \right)}\left)\right)\left(z\right)\wedge {\omega}^{\prime}\left((1{\lambda}_{0})\frac{\overline{\xi}\overline{y}}{\xi y{}^{2}}+{\lambda}_{0}\eta (\xi ,y)\right)\wedge \omega \left(\xi \right)\end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}+{\int}_{\xi \in M}\left(\overline{\partial}{L}_{\xi}\right(f{}_{{r}^{1}\left(\xi \right)}\left)\right)\left(z\right)\wedge {\omega}^{\prime}\left(\frac{\overline{\xi}\overline{y}}{\xi y{}^{2}}\right)\wedge \omega \left(\xi \right)).\end{array}$$  
And for
$s>0$
,
$$\begin{array}{c}{\stackrel{~}{K}}^{s}f\left(z\right)=\end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}\frac{(n+s1)!}{(s1)!(2\pi i{)}^{n}}{\int}_{\xi \in M}{L}_{\xi}\left(f{}_{{r}^{1}\left(\xi \right)}\right)\left(z\right)(1<\eta (\xi ,y),\xi y>{)}^{s1}\cdot \omega (\eta (\xi ,y))\wedge \omega (\xi ),\end{array}$$  
$$\begin{array}{c}{\stackrel{~}{H}}^{s}\left(\overline{\partial}f\right)\left(z\right)=\end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}\frac{(n+s1)!}{(s1)!(2\pi i{)}^{n}}{\int}_{(\xi ,{\lambda}_{0})\in M\times [0,1]}\left(\overline{\partial}{L}_{\xi}\right(f{}_{{r}^{1}\left(\xi \right)}\left)\right)\left(z\right)\times {\left({\lambda}_{0}(1<\eta (\xi ,y),\xi y>\right)}^{s1}\times \end{array}$$  
$$\begin{array}{c}\end{array}$$  
$$\begin{array}{c}{\omega}^{\prime}\left((1{\lambda}_{0})\frac{\overline{\xi}\overline{z}}{\xi y{}^{2}}+{\lambda}_{0}\eta (\xi ,y)\right)\wedge \omega \left(\xi \right).\end{array}$$  
References

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

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.

A. Brudnyi, Grauertand LaxHalmostype theorems and extension of matrices with entries in
${H}^{\infty}$
. J. Funct. Anal., 206 (2004), 87108.

A. Brudnyi, Holomorphic functions of slow growth on coverings of pseudoconvex domains in Stein manifolds, preprint (2005), 24 pp, available at http://arxiv.org/abs/math.CV/0503408.

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

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

G. Henkin, The method of integral representations in complex analysis. (Russian). Current problems in Mathematics. Fundamental directions, Vol. 7, 23124, 258, Itogi Nauki i Tekhniki, Acad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1985.

F. Hirzebruch, Topological methods in algebraic geometry. Springer, New York, 1966.

G. Henkin and J. Leiterer, Theory of functions on complex manifolds. Monographs in Mathematics, 79, Birkhäuser Verlag, Basel, 1984.

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

J. Leray, Le calcul différentiel et intégral sur une variété analytique complexe. Bull. Soc. Math. France, 87 (1959), 81180.

W. Rudin, Real and complex analysis. Second edition. McGrawHill Series in Higher Mathematics, New York, 1974.