Integral Representations of Holomorphic Functions on Coverings of Pseudoconvex Domains in Stein Manifolds
Alexander BrudnyiResearch supported in part by NSERC. 2000 Mathematics Subject Classification. Primary 32A26. Secondary 32T15, 46E15. Key words and phrases. Covering, integral formula, strictly pseudoconvex set.
Department of Mathematics and Statistics University of Calgary, Calgary Canada
Abstract
The classical integral representation formulas for holomorphic functions defined on pseudoconvex domains in Stein manifolds play an important role in the constructive theory of functions of several complex variables. In this paper we construct similar formulas for certain classes of holomorphic functions defined on coverings of such domains.
1 . Introduction.
1.1. The method of integral representations for holomorphic functions works successfully in various problems of the theory of functions of several complex variables, e.g., in problems of uniform estimates for solutions of the Cauchy-Riemann equations, uniform estimates for extensions of holomorphic functions from submanifolds, uniform approximation of holomorphic functions that are continuous on the boundary, etc.
(We refer to the book of Henkin and Leiterer [HL] devoted to this subject.) In the present paper we use this method to study holomorphic functions of slow growth defined on unbranched coverings of pseudoconvex domains in Stein manifolds. In particular, we will show that many known results for holomorphic functions on such domains can be extended to similar results for holomorphic functions of slow growth defined on their coverings. Our approach is based on new integral representation formulas for holomorphic functions of slow growth on coverings of pseudoconvex domains. These formulas generalize the classical Leray integral formula and certain of its developments. (Note that the classical integral formulas are usually applied to bounded domains with rectifiable boundaries, while infinite coverings of such domains may have not these properties.) The application of our integral formulas allows to reduce some problems for holomorphic functions on the covering of a domain to analogous problems for Banach-valued holomorphic functions on the domain itself. In our proofs we exploit some ideas previously used in [Br1], [Br2] in the area of the Corona problem and based on infinite-dimensional versions of Cartan's A and B theorems originally proved by Bungart [B].
In [Br3] we apply our technique to extend and strengthen certain results of Gromov, Henkin and Shubin [GHS] on holomorphic
-functions on coverings of pseudoconvex manifolds in the case of coverings of Stein manifolds.
To formulate our main results we first introduce basic notation and definitions.
Throughout this paper we consider complex manifolds
satisfying the condition
|
(1.1)
|
where
and
are open connected subsets of a complex manifold
, and
is Stein. (Here
denotes the fundamental group of
.) For instance, this condition is valid for
a strictly pseudoconvex domain or an analytic polyhedra in a Stein manifold.
Let
be an unbranched covering of
. By
we denote the corresponding unbranched covering of
. Condition ( 1.1 ) implies that
is an open connected subset of
and
. Let
be such that
is uniformly continuous with respect to the path metric induced by a Riemannian metric pulled back from
. We introduce the Banach space
,
, of functions
holomorphic on
with norm
|
(1.2)
|
(Here
is the Banach space of bounded holomorphic functions on
.)
Example 1.1
Let
be the path metric on
obtained by the pullback of a Riemannian metric defined on
. Fix a point
and set
It is easy to show by means of the triangle inequality that as the function
one can take, e.g.,
or
with
. (For instance, if
is a strip
with the action of group
given by translations along
, i.e.,
is a regular covering of an annulus, one can take as
either the functions
or
,
.)
Remark 1.2
Let
be the Riemannian volume form on the covering
obtained by a Riemannian metric pulled back from
. Note that every
also belongs to the Banach space
of holomorphic functions
on
with norm
Moreover, one has a continuous embedding
.
Let
and
be an unbranched covering of
. We introduce the Banach space
,
, of functions
on
with norm
|
(1.3)
|
Also, for Banach spaces
and
, by
we denote the space of all linear bounded operators
with norm
.
Theorem 1.3
Suppose that
satisfies condition ( 1.1 ). Then for any
there exists a family
holomorphic in
such that
Moreover,
1.2. Theorem 1.3 allows to obtain integral representation formulas for holomorphic functions from
by means of known integral formulas for holomorphic functions on
. 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
we set
Also, we set
Let
be a domain and
be a fixed point. Consider in the domain
with coordinates
and
the hypersurface of the form
Let
be a
-dimensional cycle in the domain
such that its projection onto
is homologous to
. Then for any holomorphic function
defined on
we have (see [L])
|
(1.4)
|
Note that since the integral kernel in this formula is bounded and continuous on
, similar formulas are valid for Banach-valued holomorphic functions defined on
.
Now from Theorem 1.3 we obtain
Corollary 1.4
Suppose that
satisfies condition ( 1.1 ). Then under the assumptions of the Leray integral formula for any holomorphic function
we have
|
(1.5)
|
Similarly to ( 1.5 ) we obtain extensions of other known integral formulas. To get such an extension replace only the integrand function
in an integral formula by
. In the same way one obtains multi-dimensional Cauchy-Green and Koppelman-Leray type formulas for some classes of differential forms defined on coverings of
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
be a covering. Suppose that
converges to
.
Then for sufficiently big
we can arrange
and
in sequences
and
such that every
converges to
as
. For such
we define maps
so that
,
. Below,
denotes the transpose map generated by
on functions defined on
and
.
Definition 1.5
Let
be a subset. We say that a function
on
belongs to the class
if
-
(1)
for any
and
-
(2)
for any
and any sequence
converging to
the sequence of functions
converges to
in the norm of
.
Suppose that
belongs to a complex manifold
with
and any other complex manifold of dimension
,
, does not contain
.
In what follows the interior of
is defined with respect to
.
Definition 1.6
By
we denote the Banach space of functions
holomorphic in interior points of
with norm
|
(1.6)
|
Remark 1.7
(a) Arguments used in the proof of Proposition 2.4 stated below show that if
is open then any function
holomorphic on
satisfying part (1) of Definition 1.5 and such that
belongs to
.
(b) Suppose that
satisfies condition ( 1.1 ) and that the function
in the definition of
is such that
. Then it is easy to see that any function on
uniformly continuous with respect to the path metric pulled back from
satisfies part (2) of Definition 1.5 . In particular, this is always true for
.
Suppose that a domain
satisfies ( 1.1 ). Let
be a strictly pseudoconvex open set (not necessarily
), and
be a strictly plurisubharmonic
-function in a neighbourhood
of
such that
|
(1.7)
|
We set
.
Theorem 1.8
There is a neighbourhood
of
such that every
can be uniformly approximated in the norm of
by functions from
.
Example 1.9
Let
be a (connected) compact real-analytic manifold. By the Grauert theorem [Gr] we can assume that
is an analytic submanifold of some
. It is easy to show that
is the zero set of a non-negative strictly plurisubharmonic
-function defined in a neighbourhood of
. Let
be an
-neighbourhood of
in
where
is sufficiently small. Then
satisfies condition ( 1.1 ). Let
be a covering of
, and
be the covering of
such that
(i.e., for this covering
). Now, Theorem 1.8 implies that for a sufficiently small
any
-function on
can be uniformly approximated in the norm of
by functions from
.
Finally, let us formulate a result on bounded extension of holomorphic functions from complex submanifolds.
Suppose that
is a strictly pseudoconvex open set (with not necessarily smooth boundary) in a Stein manifold satisfying condition ( 1.1 ). Let
be a closed complex submanifold of some neighbourhood of
. Consider a covering
. Since
satisfies condition ( 1.1 ), there exists a covering
such that
is an open subset of
. By
we denote the closure of
in
. Also, we set
.
Theorem 1.10
-
(1)
For every function
, there exists a function
such that
on
.
-
(2)
For every function
, there exists a function
such that
on
.
(Recall that
is the space of
-functions on
holomorphic in
with the norm defined by ( 1.6 ).) Analogous results hold for a connected component
of
. In this case we define
as the space of functions on
whose extensions to
by 0 belong to
. One defines
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
be a complex analytic space and
be a complex analytic Lie group with unit
. Consider an effective holomorphic action of
on a complex analytic space
. Here holomorphic action means a holomorphic map
sending
to
such that
and
for any
.
Efficiency means that the condition
for some
and any
implies that
.
Definition 2.1
A complex analytic space
together with a holomorphic map (projection)
is called a holomorphic bundle on
with structure group
and fibre
, if there exists a system of coordinate transformations, i.e., if
-
(1)
there is an open cover
of
and a family of biholomorphisms
, that map “fibres”
onto
;
-
(2)
for any
there are elements
such that
In particular, a holomorphic bundle
whose fibre is a Banach space
and the structure group is
(the group of linear invertible transformations of
) is called a holomorphic Banach vector bundle.
A holomorphic section of a holomorphic bundle
is a holomorphic map
satisfying
.
Let
,
, be holomorphic Banach vector bundles. A holomorphic map
satisfying
-
(a)
for any
;
-
(b)
is a linear continuous map of the corresponding Banach spaces,
is called a homomorphism. If, in addition,
is a homeomorphism, then
is called an isomorphism.
We will use the following construction of holomorphic bundles (see, e.g. [Hi, Ch.1]): Let
be a complex analytic Lie group and
be an open cover of
.
By
we denote the set of holomorphic
-valued
-cocycles. By definition,
, where
and
.
Consider the disjoint union
and for any
identify the point
with
. We obtain a holomorphic bundle
on
whose projection is induced by the projection
. Moreover, any holomorphic bundle on
with structure group
and fibre
is isomorphic (in the category of holomorphic bundles) to a bundle
.
Example 2.2
(a) Let
be a complex manifold. For any subgroup
consider the unbranched covering
corresponding to
. We will describe
as a holomorphic bundle on
.
First, assume that
is a normal subgroup. Then
is a regular covering of
and the quotient group
acts holomorphically on
by deck transformations. It is well known that
in this case can be thought of as a principle fibre bundle on
with fibre
(here
is equipped with the discrete topology). Namely, let us consider the map
,
, defined by the formula
Then there is an open cover
of
by sets biholomorphic to open Euclidean balls in some
and a locally constant cocycle
such that
is biholomorphic to the quotient space of the disjoint union
by the equivalence relation:
.
The identification space is a holomorphic bundle with projection
induced by the projections
. In particular, when
we obtain the definition of the universal covering
of
.
Assume now that
is not necessarily normal. Let
be the set of cosets with respect to the (left) action of
on
defined by left multiplications. By
we denote the coset containing
. Let
be the group of all homeomorphisms of
(equipped with the discrete topology). We define the homomorphism
by the formula:
Set
and let
be the image of
in
. By
we denote the unique homomorphism whose pullback to
coincides with
. Consider the action of
on
induced by the left action of
on
and let
be the corresponding quotient set. Define the equivalence relation
with the same
as in the definition of
. The corresponding quotient space is a holomorphic bundle with fibre
biholomorphic to
.
(b) We retain the notation of example (a). Let
be a complex Banach space and
be the group of invertible bounded linear operators
. Consider a homomorphism
. Without loss of generality we assume that
, for otherwise we can pass to the corresponding quotient group. The holomorphic Banach vector bundle
associated with
is defined as the quotient of
by the equivalence relation
for any
. Let us illustrate this construction by an example.
Let
be the fibre of the covering
. Consider a function
satisfying
|
(2.1)
|
where
is a constant depending on
. By
,
, we denote the Banach space of complex functions
on
with norm
|
(2.2)
|
Then according to ( 2.1 ) the map
defined by the formula
is a homomorphism of
into
. By
we denote the holomorphic Banach vector bundle associated with this
.
2.2. Let
be a covering where
(i.e.,
). In this part we establish a connection between Banach spaces
defined in section 1.1 and certain spaces of holomorphic sections of bundles
.
We retain the notation of Example 2.2 . Assume that
satisfies condition ( 1.1 ), i.e.,
and
. Then
is embedded into
. (Without loss of generality we consider
as an open subset of
.) Let
be a finite acyclic open cover of
by relatively compact sets. We set
and consider the open cover
of
. Then as in Example 2.2 (a) we can define
by a cocycle
where
.
Further, let
be a function such that
is uniformly continuous with respect to the path metric induced by a Riemannian metric pulled back from
.
Fix a point
. Identifying
with
define the function
by the formula
Lemma 2.3
The function
satisfies inequality ( 2.1 ).
Proof. We recall some facts from the theory of covering spaces (see, e.g., [Hu, Chapter III]. Let
.
Then there exists a closed path
passing through the point
such that its lifting
with the initial point
has the endpoint
.
By the definition of the metric on
, the length of every such
is the same.
This and uniform continuity of
with respect to the path metric defined by a Riemannian metric pulled back from
imply that every
can be covered by
metric balls
such that
In particular, we have
According to this lemma, the bundle
is well defined. By definition, any holomorphic section of this bundle can be determined by the family
of holomorphic functions on
with values in
satisfying
We introduce the Banach space
of bounded holomorphic sections
of
with norm
|
(2.3)
|
(Here
is the norm on
, see ( 2.2 ).) Further, let
(see section 1.1 for the definition). We identify
with the quotient set of
as in Example 2.2 (a). This gives local coordinates on
. Using these coordinates we define the family
of functions on
with values in the space of functions on
by the formula
|
(2.4)
|
Then the following result holds.
Proposition 2.4
The correspondence
determines an isomorphism of Banach spaces
.
Proof. First we will prove that every
determines a holomorphic map of
into
. Since by definition
for any
, this will show that
is a holomorphic section of
.
Check that
for any
. We will assume that
in the definition of
from Lemma 2.3 belongs to some
and so
in the above coordinates on
. Let us fix some points
.
Since
is compactly embedded into
and the path metric on
is defined by a Riemannian metric pulled back from
, for every
,
, there exists a path
joining
with
such that the lengths of all these paths are bounded from above by a constant
. Further, by the covering homotopy theorem for every
there exist a point
and a path
joining these two points in
such that
for some
(independent of
) and the lengths of all
(for all
and
) are bounded from above by
. Since
is uniformly continuous with respect to the path metric obtained by a Riemannian metric pulled back from
, from here arguing as in the proof of Lemma 2.3 and using the boundedness of lengths of all the paths
and
we obtain that there is a constant
depending on
and
such that
|
(2.5)
|
Now by the definition of the norm on
we have
Combining this with ( 2.5 ) we get
|
(2.6)
|
This shows that every
.
Let us prove now that
is holomorphic. Without loss of generality we identify
with an open subset of a certain
. Let
,
, be a polydisk with the center at a point
and of radius
. By
we denote its boundary torus (i.e.,
). Let us introduce
by the formula
We will show that
|
(2.7)
|
In what follows
denotes the standard torus in
with coordinates
.
Now, using the definition of
, the triangle inequality for the norm
, inequality ( 2.6 ) and the Lebesgue monotone convergence theorem we have
| |
| |
| |
Inequality ( 2.7 ) implies, in particular, that
converges uniformly in any polydisk
centered at
of radius
to a holomorphic
-valued function
. By definition, evaluation of this function at every point
coincides with
on any such
. Thus
for
. Since
is an arbitrary point of
, this shows that
is holomorphic.
Therefore by ( 2.6 ) we obtain that the map
,
, is well defined and continuous.
Conversely, let
be a family of holomorphic
-valued functions on the cover
determining an element from
. We set
Then by the definition
is a holomorphic function on
. Now inequality ( 2.6 ) easily implies that
.
The map
from Proposition 2.4 will be called the direct image map.
Remark 2.5
One can easily see that the direct image map
is an isometry in the case
.
3 . Proof of Theorem 1.3 .
3.1. Assume that
satisfies condition ( 1.1 ). Let
be an unbranched covering. By
we denote the restriction map of functions from
to the fibre
,
. The definitions of the norms on
and
(see section 1.1) imply that
is a linear continuous operator.
Proposition 3.1
For every
there exists a linear continuous operator
such that
Proof. As before we think of
as an open subset of
where
is a covering such that
. We also set
. (Here by our assumption
and
is Stein.) Recall that the fibre of the covering
is
where
and the quotient is taken with respect to the left action of
on
. In what follows, according to Proposition 2.4 , we identify
with the space
of bounded holomorphic sections of the Banach vector bundle
where
for some
(see Example 2.2 ).
Let us introduce the Banach space
of complex functions
defined on
with norm
It is easy to see by means of ( 2.1 ) that the formula
determines a homomorphism of the group
into
(see Example 2.2 (a) for the definitions of
and
). Note that
is the quotient of
. Thus the associated with
holomorphic Banach vector bundle
on
is defined. We identify the fibre
with
. Further, let
be a function on
such that
if
and
if
. We define a function
on
by the formula
Check that
. Indeed,
Now, according to Bungart [B, Lemma 3.3]) there is a holomorphic section
of
such that
. Since
is compact,
is a bounded holomorphic section of
, cf. ( 2.3 ).
Let
be a finite acyclic open cover of
. We set
and consider the open cover
of
. According to Example 2.2 (a)
is defined on the cover
of
by a cocycle
. Then
is defined on
by the cocycle
.
Using this construction one represents the restriction of the section
to
by a family
of holomorphic functions on
with values in
satisfying for
|
(3.1)
|
Since
is bounded on
,
|
(3.2)
|
Also, by the definition we have for
(say, e.g.,
,
)
|
(3.3)
|
Next, consider the restriction of
to
and the open cover
of
. We define a family
of linear operators on the set of complex functions
on
by the formula
|
(3.4)
|
Lemma 3.2
(a)
is a bounded operator from
into the Banach space
of bounded
-valued holomorphic functions
on
with norm
(here
is the norm on
, see ( 2.2 )).
(b) For every
Proof. (a) Let us first check the above statement for
and
. In fact, for
from ( 3.4 ) and ( 3.2 ) we have
| |
| |
| |
| |
From here we have (see ( 2.3 ))
Thus
, and
is a linear bounded operator.
Similarly, for
we have
| |
| |
So,
is well defined and continuous.
Let us prove the similar statement for
. Consider the evaluation
of
at
:
From the above arguments it follows that
is a linear continuous map of
to
and of
to
, and in both these cases its norm is bounded by
. Now, by the M. Riesz interpolation theorem (see, e.g., [R]),
maps also each
to
and its norm there is bounded by
, as well. Taken the supremum of norms of
over
we obtain that
is a linear continuous operator from
into
for any
.
(b) Using ( 3.1 ) with
,
and
,
we get
This and ( 3.4 ) produce the result.
From Lemma 3.2 we obtain that for every
the family
represents a section
from
, see ( 2.3 ). Moreover, the correspondence
determines a linear bounded operator
. Note also that ( 3.3 ) implies that
. From this identifying
with the fibre of
over
(by means of the coordinates on
) we obtain that
maps the sections of
to
and
. To complete the proof of the proposition it remains to identify
with
and the space of sections of
with
.
3.2. We proceed with the proof of the theorem. According to condition ( 1.1 ) there exists a connected Stein neighbourhood
of
such that
. Let
be the corresponding covering of
. Let us consider the space
. By
we denote the trivial holomorphic Banach vector bundle on
with fibre
. Also, by
we denote the bundle
(see Example 2.2 (b)). (Here
is defined as in Proposition 3.1 .) For
let
be the restriction map of functions from
to the fibre
. If we identify
with the Banach space
of bounded holomorphic sections of the bundle
by the direct image map (cf. Proposition 2.4 ), then
will be the evaluation map of sections from
at
. In particular, one can define a homomorphism of bundles
which maps
to the vector
in the fibre over
of the bundle
(see Definition 2.1 ). Now, by Proposition 3.1 with
replaced by
, every
is surjective and, moreover, there exists a linear continuous map
of the fibre
of
over
to the fibre
of
over
such that
. Finally, by
we denote the kernel of
. Let
be an open set biholomorphic to a Euclidean ball. Using some holomorphic trivializations of
and
we may assume that
and
, where
is the fibre of
.
In these trivializations we have
,
, where
, and
,
, where
is a linear continuous map.
Next, take
. Then in the above trivializations
,
, is a family of linear continuous operators, holomorphic in
, such that
.
Thus by the inverse function theorem (which in this case follows easily from the Taylor expansion of
at
) we obtain that there exists a neighbourhood
of
such that
is invertible for every
.
We set
, and
,
. Then
and
are holomorphic in
, and by definition
It is easy to see (by the inverse function theorem) that this identity implies that there is a neighbourhood
of
such that
is biholomorphic to
and this biholomorphism is linear on every
and maps this space onto
,
.
Taking different
and
we then obtain from here that
is a holomorphic Banach vector subbundle of
and locally, for every
as above, we have an isomorphism of bundles
given in the above trivializations by the formula
Let
be an open cover of
by Stein sets such that every quotient bundle
is complemented in
. Let
be the complement homomorphism (i.e.,
is the identity homomorphism of
). We set
Then
is a holomorphic 1-cocycle with values in
. Since
is acyclic and
is Stein, by the Bungart theorem [B] and the Leray lemma one can find a family
of holomorphic sections of
over
such that
In particular, setting
we obtain that
is a (holomorphic) homomorphism of bundles such that
. Since by the definition
is compact,
is bounded. Next, by
we denote the restriction homomorphism of trivial bundles
defined by
Finally, we set
Then by definition, every
is a linear continuous map of
into
(see section 1.1), the family
is holomorphic in
,
, and
.
This completes the proof of the theorem.
Remark 3.3
Using some modification of the arguments of the above proof one can show that for a fixed
there exists a family
satisfying the assumptions of Theorem 1.3 such that
where
does not depend on the class
(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
is a holomorphic function with values in
and from the properties of the operators
.
Proof of Theorem 1.8 . Let
be a function satisfying the assumptions of the theorem. Consider the function
By Definition 1.5 , Proposition 2.4 and by the properties of
we have that
is a
-valued continuous function on
holomorphic in
. (It can be written as the scalar function of the variables
.) Therefore it suffices to prove an approximation theorem for such Banach-valued functions. Namely, it suffices to show that every such
can be uniformly approximated on
by
-valued holomorphic functions defined in a neighbourhood
of
.
Further, if
is such an approximation sequence for
, then
with
is the approximation sequence for
satisfying the required statement of the theorem.
The proof of the above approximation theorem for functions
repeats word-for-word the proof of Theorem 3.5.1 in [HL] where in all integral formulas we replace the scalar functions by Banach-valued ones. We leave the details to the readers.
Proof of Theorem 1.10 . Let us consider a function
satisfying either (1) or (2).
Define the function
Then according to Definition 1.5 ,
is a holomorphic function on the submanifold
with values in
(and in case (2) it is also continuous on
). Thus it suffices to prove the extension theorem for Banach-valued holomorphic functions on
(extending them to
). Evaluating the extended Banach-valued functions at the points
,
(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 Banach-valued case repeats literally the arguments of the proof of Theorem 4.11.1 where in all integral formulas we replace scalar functions by Banach-valued ones. Also, instead of the classical Cartan B theorem for Stein manifolds, we use in the proof its Banach-valued generalization due to Bungart.
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
such that
on
for all
. Moreover, the norm
of
is bounded by a constant depending only on
and
. In particular, if
, then
depends only on
(and not on the covering
). 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 multi-dimensional analog of Cauchy-Green formulas on coverings of domains
satisfying condition ( 1.1 ). These formulas are obtained from similar ones on the domains
(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
be a domain with a rectifiable boundary. Assume that
satisfies condition ( 1.1 ), that is,
,
and
is Stein. Let
be a smooth
-valued function of the variable
such that
for
. Consider a covering
of
.
Then
is an open subset of the covering
such that
.
Let
be such that
is uniformly continuous with respect to the path metric obtained by a Riemannian metric pulled back from
. By
we denote the bundle
on
(see Example 2.2 (b)). Here
is defined as in Proposition 3.1 . Also, by
we denote the family of operators given by Theorem 1.3 (with the same
and
) where
varies in a small neighbourhood
of
(in this case
maps
into
)).
Suppose that a function
defined on
is such that its direct image
with respect to
is a continuous section of
, and
is a continuous section of
. We set
Then from the construction of the family
and from the definition of
it follows that
is a continuous
-valued function on
such that
is a continuous
-valued
-form on
.
Now, for the function
we have the following integral representations:
|
(5.1)
|
where, for
,
| |
| |
And for
,
| |
| |
| |
References
-
L. Bungart, On analytic fibre bundles I. Holomorphic fibre bundles with infinite dimensional fibres. Topology, 7 (1) (1968), 55-68.
-
A. Brudnyi, Projections in the space
and the corona theorem for subdomains of coverings of finite bordered Riemann surfaces. Ark. Mat., 42 (2004), 31-59.
-
A. Brudnyi, Grauertand Lax-Halmos-type theorems and extension of matrices with entries in
. J. Funct. Anal., 206 (2004), 87-108.
-
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
-functions on coverings of pseudoconvex manifolds. GAFA, Vol. 8 (1998), 552-585.
-
H. Grauert, On Levi's problem and the imbedding of real-analytic manifolds. Annals of Math., 68 (1958), 460-472.
-
G. Henkin, The method of integral representations in complex analysis. (Russian). Current problems in Mathematics. Fundamental directions, Vol. 7, 23-124, 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), 81-180.
-
W. Rudin, Real and complex analysis. Second edition. McGraw-Hill Series in Higher Mathematics, New York, 1974.