Pseudo-convex and pseudo-concave
Properties of domains in complex spaces, as well as of complex spaces and functions on them, analogous to convexity and concavity properties of domains and functions in the space . A real-valued function of class on an open set is called -pseudo-convex (or -convex) if the Hermitian form
has, at each point of , at least non-negative eigen values. If has at least positive eigen values, then one says that is strictly (or strongly) -pseudo-convex. In particular, a (strictly) -pseudo-convex function is a (strictly) plurisubharmonic function of class . A function on an analytic set is called (strictly) -convex if it is the restriction of a (strictly) -pseudo-convex function on . Finally, a (strictly) -convex function on an arbitrary complex space is a continuous function on that is, in a neighbourhood of each point, a (strictly) convex function on the corresponding model (cf. Analytic space).
A complex space is called -convex-concave if there is a continuous function and two numbers , , such that for any and the set
is relatively compact in , while is strictly -convex on and strictly -concave on . If or , then is called strongly -pseudo-convex or strongly -pseudo-concave, respectively. If , then is called -complete.
1) An open set with smooth boundary in a complex manifold is called strongly -pseudo-convex (strongly -pseudo-concave) if every point has a neighbourhood in which there is a strictly -pseudo-convex (strictly -pseudo-concave) function such that (respectively, ). Every strongly -pseudo-convex (strongly -pseudo-concave) relatively-compact open set is a strongly -convex (strongly -concave) manifold. If certain components of the boundary satisfy the -pseudo-convexity condition, while the remaining satisfy the -pseudo-concavity condition, then one obtains an example of a -convex-concave manifold.
2) Compact complex spaces are naturally considered to be -convex.
3) The class of -complete spaces coincides with the class of Stein spaces (cf. Stein space).
4) The class of strongly -convex spaces coincides with the class of spaces obtained from Stein spaces by proper modifications at a finite set of points.
5) Let be a compact complex manifold of dimension , and let be a closed submanifold of it all components of which have dimension . Then is strongly -concave, and if the normal bundle over is positive, then is a strongly -convex space.
6) If is a closed submanifold of codimension in a Stein manifold , then is -complete.
7) A holomorphic vector bundle of rank over a manifold is called -positive (-negative) if there is a fibre-wise Hermitian metric on such that is a strictly -convex (respectively, is a strictly -convex) function on outside the zero section (if one obtains the concepts of a positive vector bundle and a negative vector bundle). If is compact, then the space of a -positive vector bundle is strongly -concave, while the space of a -negative vector bundle is strongly -convex. The space of a holomorphic vector bundle over a -complete space is always -complete.
For -convex-concave spaces one has proved theorems on the finite dimensionality and separability of certain cohomology spaces with values in coherent analytic sheaves (cf. Finiteness theorems in the theory of analytic spaces). Analogous finiteness theorems have been proved for strictly -convex-concave mappings (cf. , ). A space is strongly -convex if and only if for all and any coherent analytic sheaf on . If is -complete, then for all and any coherent analytic sheaf on .
The homology groups of -convex and -complete spaces have the following properties. If is an -dimensional reduced strongly -convex (-complete) complex space, then (respectively, ) for . For strongly -convex spaces it is also known that is a finitely-generated group for , while for -complete manifolds it is known that for and that is free.
A complex space is called pseudo-concave if there is a relatively-compact open set in , intersecting each non-degenerate component of and satisfying the following condition: Any point has a neighbourhood in such that for any sufficiently close to ,
for all holomorphic functions in . If is an -dimensional manifold, , then it is sufficient that is a strongly -pseudo-concave set in . Any compact space is pseudo-concave. For pseudo-concave spaces the following finiteness theorems have been proved: The space of holomorphic sections of any holomorphic vector bundle over is finite-dimensional; if is connected, then all holomorphic functions on are constant; the field of meromorphic functions on is an algebraic function field whose transcendence degree does not exceed . The latter theorem has important applications to automorphic functions (cf. Automorphic function), based on the fact that the space , where is a properly-discontinuous group of automorphisms of a bounded domain , turns out to be pseudo-concave in many cases (one says in this case that is a pseudo-concave group). E.g., arithmetic subgroups of automorphism groups of bounded symmetric domains are pseudo-concave.
|||J. Ermine, "Cohérence de certaines images directes à supports propres dans le cas d'un morphisme fortement -convexe" Ann. Scuola Norm. Sup. Pisa Cl. Sci. , 6 (1979) pp. 1–18|
|||A.L. Onishchik, "Pseudoconvexity in the theory of complex spaces" J. Soviet Math. , 14 (1980) pp. 1363–1407 Itogi Nauk. i Tekhn. Algebra Topol. Geom. , 15 (1977) pp. 93–171|
The Hermitian form is usually called the Levi form of .
The fundamental domains for function theory in are the pseudo-convex ones, for they coincide with the domains of holomorphy (solution of the Levi problem). Especially well understood are the strongly pseudo-convex domains (the ones of the form , where is a strictly plurisubharmonic function). Good references are [a13]–[a15].
In many respects strongly -pseudo-convex domains have "better" properties than arbitrary -pseudo-convex domains. For simplicity (1-) pseudo-convex domains in will be discussed only. Thus, let be a smoothly bounded domain with boundary and . Then is called pseudo-convex at if the Levi form is positive semi-definite when restricted to the complex tangent space at , while is called strongly pseudo-convex at if the Levi form is positive definite when restricted to the complex tangent space at . A domain is called (strongly) pseudo-convex if it is (strongly) pseudo-convex at every boundary point. A pseudo-convex domain which is not strongly pseudo-convex is called a weakly pseudo-convex domain.
The weakly pseudo-convex domains in are the ones that can be exhausted by strongly pseudo-convex domains.
Some of the properties of strongly pseudo-convex domains that are not usually shared with — or do not have a proper analogue for — arbitrary weakly pseudo-convex domains, are:
a) One can solve the inhomogeneous Cauchy–Riemann equations with a gain: If is a -closed -form and the coefficients of belong to some Hölder space or Sobolev space , then there is an -form , with coefficients in , respectively , such that . More precisely, one has subelliptic estimates for the -Neumann problem. This implies that the (unique) solution with minimal norm of the inhomogeneous Cauchy–Riemann equations is well-behaved in the Sobolev norms as described above, cf. [a6]. As a consequence, the Bergman projection maps smooth functions to smooth functions.
b) Strongly pseudo-convex domains are locally biholomorphically equivalent to strongly convex domains.
c) A strongly pseudo-convex domain can be written as the interior of the intersection of a properly decreasing family of strongly pseudo-convex domains.
Apparently it makes a big difference whether the Levi form is positive definite or positive semi-definite. Analyzing this difference in conjunction with subelliptic estimates for the -Neumann problem, the notion of domain of finite type was introduced by J.J. Kohn for domains in , cf. [a9]. Closely related to Kohn's original definition and important in partial differential equations, see [a6], is a definition of finite type in terms of iterated commutators. Let denote the complexified tangent bundle to , the subbundle whose sections are vector fields, that is, the complex tangential vector fields, and let be the complex conjugate bundle of . Now pick a real -form which annihilates . Let be a local section of , . An iterated commutator of and of length is a local section of of the form
where . The type of at is the smallest integer for which there is an iterated commutator of of length such that . Now one defines the (commutator) -type of at :
and is of finite type if all points of are of finite type. The commutator -type of a point, , was introduced by T. Bloom, cf. [a4]. However, it seems that only in the -dimensional case these notions are related to subelliptic estimates.
In the higher-dimensional case the following approach is useful. Again, let be a smoothly bounded domain with boundary , defining function , and let be a boundary point. (In the definitions one only needs a hypersurface .) Let be a germ of a holomorphic mapping sending 0 to . Let be the multiplicity of at 0 and the multiplicity of the composition at 0. The point is called a point of finite -type if there is a such that
for all non-constant germs of holomorphic mappings as above. The smallest for which (a2) holds is called the type of and is denoted by . Roughly speaking, this means that has finite order of contact with analytic curves at . The domain , or the hypersurface , is called of finite type if all its points are of finite type.
There are many variants and refinements of these definitions. If one does not require pseudo-convexity in advance and , then the commutator -type has nothing to do with orders of contact. From now on finite type will be in the order-of-contact sense.
The following results were obtained. Kohn proved that if is a boundary point of finite type of a smooth pseudo-convex domain in , then there is a subelliptic estimate for the -Neumann problem, cf. [a9]. P. Greiner proved the converse, cf. [a7]. D. Catlin extended these results to pseudo-convex domains in , cf. [a2]. One has also obtained corresponding Hölder estimates for domains of finite type in , cf. [a5]. Property c) is also shared by domains of finite type, cf. [a11]. There are domains of finite type that do not have property b), cf. [a10].
Finally, Catlin discovered "Catlin condition Pcondition P" , which is weaker than finite type and guarantees a compactness estimate for the -Neumann problem. This implies estimates for Sobolev norms without gain, including the regularity of the Bergman projection and also property c): Condition is equivalent to so-called weak B(remermann) regularity. This can be expressed as follows: Every continuous function on is the boundary value of a plurisubharmonic function on , cf. [a11].
A good reference for -convexity and -convexity is [a12].
|[a1]||D. Catlin, "Boundary invariants of pseudo-convex domains" Ann. of Math. , 120 (1984) pp. 529–586|
|[a2]||D. Catlin, "Subelliptic estimates for the -Neumann problem on pseudo-convex domains" Ann. of Math. , 126 (1987) pp. 131–191|
|[a3]||J. d'Angelo, "Real hypersurfaces, orders of contact, and applications" Ann. of Math. , 115 (1982) pp. 615–637|
|[a4]||J. d'Angelo, "Finite type conditions for real hypersurfaces in " S.G. Krantz (ed.) , Complex Analysis , Lect. notes in math. , 1268 , Springer (1987) pp. 83–110|
|[a5]||C.L. Fefferman, J.J. Kohn, "Hölder estimates on domains of complex dimension two and on three dimensional CR manifolds" Adv. in Math. , 69 (1988) pp. 223–303|
|[a6]||G.B. Folland, J.J. Kohn, "The Neumann problem for the Cauchy–Riemann complex" , Annals Math. Studies , 75 , Princeton Univ. Press (1972)|
|[a7]||P. Greiner, "On subelliptic estimates of the -Neumann problem in " J. Diff. Geometry , 9 (1974) pp. 239–250|
|[a8]||L.V. Hörmander, "The analysis of linear partial differential operators" , 3 , Springer (1985) pp. Chapt. 22|
|[a9]||J.J. Kohn, "Boundary behavior of on weakly pseudo-convex domains" J. Diff. Geometry , 6 (1972) pp. 523–542|
|[a10]||J.J. Kohn, L. Nirenberg, "A pseudo-convex domain not admitting a holomorphic support function" Math. Ann. , 201 (1973) pp. 265–268|
|[a11]||N. Sibony, "Une classe de domaines pseudo-convexes" Duke Math. J. , 55 (1987) pp. 299–319|
|[a12]||G.M. Henkin, J. Leiterer, "Andreotti–Grauert theory by integral formulas" , Akademie Verlag (1988)|
|[a13]||G.M. [G.M. Khenkin] Henkin, J. Leiterer, "Theory of functions on complex manifolds" , Birkhäuser (1983)|
|[a14]||S.G. Krantz, "Function theory of several complex variables" , Wiley (1982)|
|[a15]||R.M. Range, "Holomorphic functions and integral representations in several complex variables" , Springer (1986)|
Pseudo-convex and pseudo-concave. A.L. Onishchik (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Pseudo-convex_and_pseudo-concave&oldid=15578