Namespaces
Variants
Actions

Difference between revisions of "Pseudo-convex and pseudo-concave"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p0756501.png" />. A real-valued function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p0756502.png" /> of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p0756503.png" /> on an open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p0756504.png" /> is called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p0756506.png" />-pseudo-convex (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p0756508.png" />-convex) if the Hermitian form
+
<!--
 +
p0756501.png
 +
$#A+1 = 269 n = 6
 +
$#C+1 = 269 : ~/encyclopedia/old_files/data/P075/P.0705650 Pseudo\AAhconvex and pseudo\AAhconcave
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p0756509.png" /></td> </tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
has, at each point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565010.png" />, at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565011.png" /> non-negative eigen values. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565012.png" /> has at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565013.png" /> positive eigen values, then one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565014.png" /> is strictly (or strongly) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565019.png" />-pseudo-convex. In particular, a (strictly) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565020.png" />-pseudo-convex function is a (strictly) [[Plurisubharmonic function|plurisubharmonic function]] of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565021.png" />. A function on an analytic set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565022.png" /> is called (strictly) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565023.png" />-convex if it is the restriction of a (strictly) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565024.png" />-pseudo-convex function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565025.png" />. Finally, a (strictly) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565026.png" />-convex function on an arbitrary complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565027.png" /> is a continuous function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565028.png" /> that is, in a neighbourhood of each point, a (strictly) convex function on the corresponding model (cf. [[Analytic space|Analytic space]]).
+
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  $  \mathbf R  ^ {n} $.  
 +
A real-valued function $  \phi $
 +
of class $  C  ^ {2} $
 +
on an open set $  U \subset  \mathbf C  ^ {n} $
 +
is called p $-
 +
pseudo-convex (or  $  p $-
 +
convex) if the Hermitian form
  
A [[Complex space|complex space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565029.png" /> is called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565031.png" />-convex-concave if there is a continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565032.png" /> and two numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565033.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565034.png" />, such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565036.png" /> the set
+
$$
 +
H ( \phi )  = \sum _ { j,k }
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565037.png" /></td> </tr></table>
+
\frac{\partial  ^ {2} \phi }{\partial  z _ {j} \partial  \overline{z}\; _ {k} }
  
is relatively compact in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565038.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565039.png" /> is strictly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565040.png" />-convex on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565041.png" /> and strictly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565042.png" />-concave on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565043.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565044.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565045.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565046.png" /> is called strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565048.png" />-pseudo-convex or strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565050.png" />-pseudo-concave, respectively. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565051.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565052.png" /> is called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565054.png" />-complete.
+
u _ {j} \overline{u}\; _ {k}  $$
 +
 
 +
has, at each point of  $  U $,
 +
at least  $  n - p + 1 $
 +
non-negative eigen values. If  $  H ( \phi ) $
 +
has at least  $  n - p + 1 $
 +
positive eigen values, then one says that  $  \phi $
 +
is strictly (or strongly)  $  p $-
 +
pseudo-convex. In particular, a (strictly)  $  1 $-
 +
pseudo-convex function is a (strictly) [[Plurisubharmonic function|plurisubharmonic function]] of class  $  C  ^ {2} $.  
 +
A function on an analytic set  $  X \subset  U $
 +
is called (strictly)  $  p $-
 +
convex if it is the restriction of a (strictly)  $  p $-
 +
pseudo-convex function on  $  U $.  
 +
Finally, a (strictly)  $  p $-
 +
convex function on an arbitrary complex space  $  X $
 +
is a continuous function on  $  X $
 +
that is, in a neighbourhood of each point, a (strictly) convex function on the corresponding model (cf. [[Analytic space|Analytic space]]).
 +
 
 +
A [[Complex space|complex space]]  $  X $
 +
is called  $  ( p, q) $-
 +
convex-concave if there is a continuous function  $  \phi :  X \rightarrow \mathbf R $
 +
and two numbers  $  d _ {0} , c _ {0} $,
 +
$  - \infty \leq  d _ {0} \leq  c _ {0} \leq  \infty $,
 +
such that for any  $  c \geq  c _ {0} $
 +
and $  d \leq  d _ {0} $
 +
the set
 +
 
 +
$$
 +
X _ {c,d}  = \
 +
\{ {x \in X } : {d < \phi ( x) < c } \}
 +
$$
 +
 
 +
is relatively compact in  $  X $,
 +
while  $  \phi $
 +
is strictly  $  p $-
 +
convex on  $  X _ {\infty , c _ {0}  } $
 +
and strictly  $  q $-
 +
concave on $  X _ {d _ {0}  , \infty } $.  
 +
If $  d _ {0} = - \infty $
 +
or $  c _ {0} = \infty $,  
 +
then $  X $
 +
is called strongly p $-
 +
pseudo-convex or strongly $  q $-
 +
pseudo-concave, respectively. If $  d _ {0} = c _ {0} = - \infty $,  
 +
then $  X $
 +
is called p $-
 +
complete.
  
 
===Examples.===
 
===Examples.===
  
 +
1) An open set  $  X $
 +
with smooth boundary  $  \partial  X $
 +
in a complex manifold  $  M $
 +
is called strongly  $  p $-
 +
pseudo-convex (strongly  $  p $-
 +
pseudo-concave) if every point  $  x _ {0} \in \partial  X $
 +
has a neighbourhood  $  U $
 +
in which there is a strictly  $  p $-
 +
pseudo-convex (strictly  $  p $-
 +
pseudo-concave) function  $  \phi $
 +
such that  $  X \cap U = \{ {x \in U } : {\phi ( x) < 0 } \} $(
 +
respectively,  $  X \cap U = \{ {x \in U } : {\phi ( x) > 0 } \} $).
 +
Every strongly  $  p $-
 +
pseudo-convex (strongly  $  p $-
 +
pseudo-concave) relatively-compact open set is a strongly  $  p $-
 +
convex (strongly  $  p $-
 +
concave) manifold. If certain components of the boundary  $  \partial  X $
 +
satisfy the  $  p $-
 +
pseudo-convexity condition, while the remaining satisfy the  $  q $-
 +
pseudo-concavity condition, then one obtains an example of a  $  ( p , q ) $-
 +
convex-concave manifold.
  
1) An open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565055.png" /> with smooth boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565056.png" /> in a complex manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565057.png" /> is called strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565059.png" />-pseudo-convex (strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565061.png" />-pseudo-concave) if every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565062.png" /> has a neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565063.png" /> in which there is a strictly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565064.png" />-pseudo-convex (strictly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565065.png" />-pseudo-concave) function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565066.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565067.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565068.png" />). Every strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565069.png" />-pseudo-convex (strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565070.png" />-pseudo-concave) relatively-compact open set is a strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565071.png" />-convex (strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565072.png" />-concave) manifold. If certain components of the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565073.png" /> satisfy the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565074.png" />-pseudo-convexity condition, while the remaining satisfy the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565075.png" />-pseudo-concavity condition, then one obtains an example of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565077.png" />-convex-concave manifold.
+
2) Compact complex spaces are naturally considered to be 0 $-
 
+
convex.
2) Compact complex spaces are naturally considered to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565078.png" />-convex.
 
  
3) The class of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565079.png" />-complete spaces coincides with the class of Stein spaces (cf. [[Stein space|Stein space]]).
+
3) The class of $  1 $-
 +
complete spaces coincides with the class of Stein spaces (cf. [[Stein space|Stein space]]).
  
4) The class of strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565080.png" />-convex spaces coincides with the class of spaces obtained from Stein spaces by proper modifications at a finite set of points.
+
4) The class of strongly $  1 $-
 +
convex spaces coincides with the class of spaces obtained from Stein spaces by proper modifications at a finite set of points.
  
5) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565081.png" /> be a compact complex manifold of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565082.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565083.png" /> be a closed submanifold of it all components of which have dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565084.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565085.png" /> is strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565086.png" />-concave, and if the normal bundle over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565087.png" /> is positive, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565088.png" /> is a strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565089.png" />-convex space.
+
5) Let $  X $
 +
be a compact complex manifold of dimension $  n $,  
 +
and let $  S $
 +
be a closed submanifold of it all components of which have dimension $  q $.  
 +
Then $  X \setminus  S $
 +
is strongly $  ( q + 1 ) $-
 +
concave, and if the normal bundle over $  S $
 +
is positive, then $  X \setminus  S $
 +
is a strongly $  ( n - q ) $-
 +
convex space.
  
6) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565090.png" /> is a closed submanifold of codimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565091.png" /> in a Stein manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565092.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565093.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565094.png" />-complete.
+
6) If $  S $
 +
is a closed submanifold of codimension p $
 +
in a Stein manifold $  X $,  
 +
then $  X \setminus  S $
 +
is p $-
 +
complete.
  
7) A holomorphic vector bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565095.png" /> of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565096.png" /> over a manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565097.png" /> is called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p07565099.png" />-positive (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650101.png" />-negative) if there is a fibre-wise Hermitian metric <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650102.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650103.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650104.png" /> is a strictly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650105.png" />-convex (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650106.png" /> is a strictly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650107.png" />-convex) function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650108.png" /> outside the zero section (if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650109.png" /> one obtains the concepts of a [[Positive vector bundle|positive vector bundle]] and a [[Negative vector bundle|negative vector bundle]]). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650110.png" /> is compact, then the space of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650111.png" />-positive vector bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650112.png" /> is strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650113.png" />-concave, while the space of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650114.png" />-negative vector bundle is strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650115.png" />-convex. The space of a holomorphic vector bundle over a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650116.png" />-complete space is always <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650117.png" />-complete.
+
7) A holomorphic vector bundle $  E $
 +
of rank $  r $
 +
over a manifold $  X $
 +
is called p $-
 +
positive ( $  q $-
 +
negative) if there is a fibre-wise Hermitian metric $  h $
 +
on $  E $
 +
such that $  \chi ( \nu ) = - h ( \nu , \nu ) $
 +
is a strictly $  ( p + r ) $-
 +
convex (respectively, $  - \chi $
 +
is a strictly $  q $-
 +
convex) function on $  E $
 +
outside the zero section (if $  p = q = 1 $
 +
one obtains the concepts of a [[Positive vector bundle|positive vector bundle]] and a [[Negative vector bundle|negative vector bundle]]). If $  X $
 +
is compact, then the space of a p $-
 +
positive vector bundle $  E $
 +
is strongly $  ( p + r ) $-
 +
concave, while the space of a $  q $-
 +
negative vector bundle is strongly $  q $-
 +
convex. The space of a holomorphic vector bundle over a p $-
 +
complete space is always p $-
 +
complete.
  
For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650118.png" />-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|Finiteness theorems]] in the theory of analytic spaces). Analogous finiteness theorems have been proved for strictly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650120.png" />-convex-concave mappings (cf. [[#References|[1]]], [[#References|[2]]]). A space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650121.png" /> is strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650122.png" />-convex if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650123.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650124.png" /> and any [[Coherent analytic sheaf|coherent analytic sheaf]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650125.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650126.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650127.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650128.png" />-complete, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650129.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650130.png" /> and any coherent analytic sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650131.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650132.png" />.
+
For $  ( p , q ) $-
 +
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|Finiteness theorems]] in the theory of analytic spaces). Analogous finiteness theorems have been proved for strictly $  ( p , q ) $-
 +
convex-concave mappings (cf. [[#References|[1]]], [[#References|[2]]]). A space $  X $
 +
is strongly $  1 $-
 +
convex if and only if $  \mathop{\rm dim}  H  ^ {r} ( X , F  ) < \infty $
 +
for all $  r $
 +
and any [[Coherent analytic sheaf|coherent analytic sheaf]] $  F $
 +
on $  X $.  
 +
If $  X $
 +
is p $-
 +
complete, then $  H  ^ {r} ( X , F  ) = 0 $
 +
for all $  r \geq  p $
 +
and any coherent analytic sheaf $  F $
 +
on $  X $.
  
The homology groups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650133.png" />-convex and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650134.png" />-complete spaces have the following properties. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650135.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650136.png" />-dimensional reduced strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650137.png" />-convex (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650138.png" />-complete) complex space, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650139.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650140.png" />) for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650141.png" />. For strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650142.png" />-convex spaces it is also known that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650143.png" /> is a finitely-generated group for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650144.png" />, while for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650145.png" />-complete manifolds it is known that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650146.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650147.png" /> and that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650148.png" /> is free.
+
The homology groups of p $-
 +
convex and p $-
 +
complete spaces have the following properties. If $  X $
 +
is an $  n $-
 +
dimensional reduced strongly p $-
 +
convex ( p $-
 +
complete) complex space, then $  \mathop{\rm dim}  H _ {r} ( X , \mathbf C ) < \infty $(
 +
respectively, $  H _ {r} ( X , \mathbf C ) = 0 $)  
 +
for $  r \geq  n + p $.  
 +
For strongly $  1 $-
 +
convex spaces it is also known that $  H _ {r} ( X , \mathbf Z ) $
 +
is a finitely-generated group for $  r \geq  n + 1 $,  
 +
while for p $-
 +
complete manifolds it is known that $  H _ {r} ( X , \mathbf Z ) = 0 $
 +
for $  r \geq  n + p $
 +
and that $  H _ {n+} p- 1 ( X , \mathbf Z ) $
 +
is free.
  
A complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650149.png" /> is called pseudo-concave if there is a relatively-compact open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650150.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650151.png" />, intersecting each non-degenerate component of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650152.png" /> and satisfying the following condition: Any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650153.png" /> has a neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650154.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650155.png" /> such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650156.png" /> sufficiently close to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650157.png" />,
+
A complex space $  X $
 +
is called pseudo-concave if there is a relatively-compact open set $  U $
 +
in $  X $,  
 +
intersecting each non-degenerate component of $  X $
 +
and satisfying the following condition: Any point $  x _ {0} \in \partial  U $
 +
has a neighbourhood $  V $
 +
in $  X $
 +
such that for any $  x \in V $
 +
sufficiently close to $  x _ {0} $,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650158.png" /></td> </tr></table>
+
$$
 +
| f ( x) |  \leq  \sup _ {y \in V \cap U }  | f ( y) |
 +
$$
  
for all holomorphic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650159.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650160.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650161.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650162.png" />-dimensional manifold, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650163.png" />, then it is sufficient that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650164.png" /> is a strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650165.png" />-pseudo-concave set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650166.png" />. Any compact space is pseudo-concave. For pseudo-concave spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650167.png" /> the following finiteness theorems have been proved: The space of holomorphic sections of any holomorphic vector bundle over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650168.png" /> is finite-dimensional; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650169.png" /> is connected, then all holomorphic functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650170.png" /> are constant; the field of meromorphic functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650171.png" /> is an algebraic function field whose transcendence degree does not exceed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650172.png" />. The latter theorem has important applications to automorphic functions (cf. [[Automorphic function|Automorphic function]]), based on the fact that the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650173.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650174.png" /> is a properly-discontinuous group of automorphisms of a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650175.png" />, turns out to be pseudo-concave in many cases (one says in this case that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650176.png" /> is a pseudo-concave group). E.g., arithmetic subgroups of automorphism groups of bounded symmetric domains are pseudo-concave.
+
for all holomorphic functions $  f $
 +
in $  V $.  
 +
If $  X $
 +
is an $  n $-
 +
dimensional manifold, $  n \geq  2 $,  
 +
then it is sufficient that $  U $
 +
is a strongly $  ( n - 1 ) $-
 +
pseudo-concave set in $  X $.  
 +
Any compact space is pseudo-concave. For pseudo-concave spaces $  X $
 +
the following finiteness theorems have been proved: The space of holomorphic sections of any holomorphic vector bundle over $  X $
 +
is finite-dimensional; if $  X $
 +
is connected, then all holomorphic functions on $  X $
 +
are constant; the field of meromorphic functions on $  X $
 +
is an algebraic function field whose transcendence degree does not exceed $  \mathop{\rm dim}  X $.  
 +
The latter theorem has important applications to automorphic functions (cf. [[Automorphic function|Automorphic function]]), based on the fact that the space $  D / \Gamma $,  
 +
where $  \Gamma $
 +
is a properly-discontinuous group of automorphisms of a bounded domain $  D \subseteq \mathbf C  ^ {n} $,  
 +
turns out to be pseudo-concave in many cases (one says in this case that $  \Gamma $
 +
is a pseudo-concave group). E.g., arithmetic subgroups of automorphism groups of bounded symmetric domains are pseudo-concave.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J. Ermine,  "Cohérence de certaines images directes à supports propres dans le cas d'un morphisme fortement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650177.png" />-convexe"  ''Ann. Scuola Norm. Sup. Pisa Cl. Sci.'' , '''6'''  (1979)  pp. 1–18</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  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</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J. Ermine,  "Cohérence de certaines images directes à supports propres dans le cas d'un morphisme fortement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650177.png" />-convexe"  ''Ann. Scuola Norm. Sup. Pisa Cl. Sci.'' , '''6'''  (1979)  pp. 1–18</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  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</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
The Hermitian form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650178.png" /> is usually called the Levi form of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650179.png" />.
+
The Hermitian form $  H( \phi ) $
 +
is usually called the Levi form of $  \phi $.
  
The fundamental domains for function theory in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650180.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650181.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650182.png" /> is a strictly plurisubharmonic function). Good references are [[#References|[a13]]]–[[#References|[a15]]].
+
The fundamental domains for function theory in $  \mathbf C  ^ {n} $
 +
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 $  \{ {z \in \mathbf C  ^ {n} } : {\rho ( z) < 0 } \} $,  
 +
where $  \rho $
 +
is a strictly plurisubharmonic function). Good references are [[#References|[a13]]]–[[#References|[a15]]].
  
In many respects strongly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650183.png" />-pseudo-convex domains have  "better"  properties than arbitrary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650184.png" />-pseudo-convex domains. For simplicity (1-) pseudo-convex domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650185.png" /> will be discussed only. Thus, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650186.png" /> be a smoothly bounded domain with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650187.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650188.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650189.png" /> is called pseudo-convex at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650190.png" /> if the Levi form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650191.png" /> is positive semi-definite when restricted to the complex tangent space at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650192.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650193.png" /> is called strongly pseudo-convex at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650194.png" /> if the Levi form is positive definite when restricted to the complex tangent space at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650195.png" />. 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.
+
In many respects strongly p $-
 +
pseudo-convex domains have  "better"  properties than arbitrary p $-
 +
pseudo-convex domains. For simplicity (1-) pseudo-convex domains in $  \mathbf C  ^ {n} $
 +
will be discussed only. Thus, let $  D = \{ r( z) < 0 \} $
 +
be a smoothly bounded domain with boundary $  M $
 +
and p \in M $.  
 +
Then $  D $
 +
is called pseudo-convex at p $
 +
if the Levi form $  H( r)( p) $
 +
is positive semi-definite when restricted to the complex tangent space at p $,  
 +
while $  D $
 +
is called strongly pseudo-convex at p $
 +
if the Levi form is positive definite when restricted to the complex tangent space at p $.  
 +
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650196.png" /> are the ones that can be exhausted by strongly pseudo-convex domains.
+
The weakly pseudo-convex domains in $  \mathbf C  ^ {n} $
 +
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:
 
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650197.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650198.png" />-closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650199.png" />-form and the coefficients of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650200.png" /> belong to some Hölder space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650201.png" /> or Sobolev space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650202.png" />, then there is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650203.png" />-form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650204.png" />, with coefficients in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650205.png" />, respectively <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650206.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650207.png" />. More precisely, one has subelliptic estimates for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650208.png" />-Neumann problem. This implies that the (unique) solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650209.png" /> with minimal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650210.png" /> norm of the inhomogeneous Cauchy–Riemann equations is well-behaved in the Sobolev norms as described above, cf. [[#References|[a6]]]. As a consequence, the Bergman projection maps smooth functions to smooth functions.
+
a) One can solve the inhomogeneous Cauchy–Riemann equations with a gain: If $  f $
 +
is a $  \overline \partial \; $-
 +
closed $  ( l , m+ 1 ) $-
 +
form and the coefficients of $  f $
 +
belong to some Hölder space $  C  ^  \alpha  $
 +
or Sobolev space $  \Lambda  ^  \alpha  $,  
 +
then there is an $  ( l, m) $-
 +
form $  u $,  
 +
with coefficients in $  C  ^  \alpha  $,  
 +
respectively $  \Lambda  ^  \alpha  $,  
 +
such that $  \overline \partial \; u = f $.  
 +
More precisely, one has subelliptic estimates for the $  \overline \partial \; $-
 +
Neumann problem. This implies that the (unique) solution $  u $
 +
with minimal $  L _ {2} $
 +
norm of the inhomogeneous Cauchy–Riemann equations is well-behaved in the Sobolev norms as described above, cf. [[#References|[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.
 
b) Strongly pseudo-convex domains are locally biholomorphically equivalent to strongly convex domains.
Line 60: Line 266:
 
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.
 
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650211.png" />-Neumann problem, the notion of domain of finite type was introduced by J.J. Kohn for domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650212.png" />, cf. [[#References|[a9]]]. Closely related to Kohn's original definition and important in partial differential equations, see [[#References|[a6]]], is a definition of finite type in terms of iterated commutators. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650213.png" /> denote the complexified tangent bundle to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650214.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650215.png" /> the subbundle whose sections are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650216.png" /> vector fields, that is, the complex tangential vector fields, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650217.png" /> be the complex conjugate bundle of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650218.png" />. Now pick a real <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650219.png" />-form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650220.png" /> which annihilates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650221.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650222.png" /> be a local section of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650223.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650224.png" />. An iterated commutator of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650225.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650226.png" /> of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650227.png" /> is a local section <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650228.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650229.png" /> of the form
+
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 $  \overline \partial \; $-
 +
Neumann problem, the notion of domain of finite type was introduced by J.J. Kohn for domains in $  \mathbf C  ^ {2} $,  
 +
cf. [[#References|[a9]]]. Closely related to Kohn's original definition and important in partial differential equations, see [[#References|[a6]]], is a definition of finite type in terms of iterated commutators. Let $  T $
 +
denote the complexified tangent bundle to $  M $,
 +
$  T  ^ {1,0} $
 +
the subbundle whose sections are $  ( 1, 0) $
 +
vector fields, that is, the complex tangential vector fields, and let $  T  ^ {0,1} $
 +
be the complex conjugate bundle of $  T  ^ {1,0} $.  
 +
Now pick a real $  1 $-
 +
form $  \eta $
 +
which annihilates $  T  ^ {1,0} \oplus T  ^ {0,1} $.  
 +
Let $  L $
 +
be a local section of $  T  ^ {1,0} $,
 +
$  L ( p) \neq 0 $.  
 +
An iterated commutator of $  L $
 +
and $  \overline{L}\; $
 +
of length $  m $
 +
is a local section $  X $
 +
of $  T $
 +
of the form
 +
 
 +
$$ \tag{a1 }
 +
X  =  [ \dots [ L _ {1} , L _ {2} ] \dots L _ {m+} 1 ] ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650230.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
where  $  L _ {j} \in \{ L , \overline{L}\; \} $.  
 +
The type of  $  L $
 +
at  $  p $
 +
is the smallest integer  $  q $
 +
for which there is an iterated commutator  $  X $
 +
of  $  L $
 +
of length  $  q + 1 $
 +
such that  $  \langle  \eta , X \rangle ( p) \neq 0 $.  
 +
Now one defines the (commutator)  $  1 $-
 +
type of  $  M $
 +
at  $  p $:
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650231.png" />. The type of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650232.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650233.png" /> is the smallest integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650234.png" /> for which there is an iterated commutator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650235.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650236.png" /> of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650237.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650238.png" />. Now one defines the (commutator) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650239.png" />-type of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650240.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650241.png" />:
+
$$
 +
t _ {1} ( M, p) = \
 +
\sup  _ {L \in T  ^ {1,0} }
 +
\{ \textrm{ type of   } L  \textrm{ at p \} ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650242.png" /></td> </tr></table>
+
and  $  M $
 +
is of finite type if all points of  $  M $
 +
are of finite type. The commutator  $  q $-
 +
type of a point,  $  q = 1 \dots n- 1 $,
 +
was introduced by T. Bloom, cf. [[#References|[a4]]]. However, it seems that only in the  $  2 $-
 +
dimensional case these notions are related to subelliptic estimates.
  
and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650243.png" /> is of finite type if all points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650244.png" /> are of finite type. The commutator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650246.png" />-type of a point, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650247.png" />, was introduced by T. Bloom, cf. [[#References|[a4]]]. However, it seems that only in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650248.png" />-dimensional case these notions are related to subelliptic estimates.
+
In the higher-dimensional case the following approach is useful. Again, let  $  D $
 +
be a smoothly bounded domain with boundary  $  M $,
 +
defining function  $  r $,
 +
and let  $  p $
 +
be a boundary point. (In the definitions one only needs a hypersurface  $  M $.)
 +
Let  $  z :  ( \mathbf C , 0 ) \rightarrow ( \mathbf C  ^ {n} , p ) $
 +
be a germ of a holomorphic mapping sending 0 to  $  p $.  
 +
Let  $  v( z) $
 +
be the multiplicity of  $  z $
 +
at 0 and  $  v( r \circ z ) $
 +
the multiplicity of the composition  $  r \circ z $
 +
at 0. The point  $  p $
 +
is called a point of finite  $  ( 1) $-
 +
type if there is a  $  C $
 +
such that
  
In the higher-dimensional case the following approach is useful. Again, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650249.png" /> be a smoothly bounded domain with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650250.png" />, defining function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650251.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650252.png" /> be a boundary point. (In the definitions one only needs a hypersurface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650253.png" />.) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650254.png" /> be a germ of a holomorphic mapping sending 0 to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650255.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650256.png" /> be the multiplicity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650257.png" /> at 0 and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650258.png" /> the multiplicity of the composition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650259.png" /> at 0. The point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650260.png" /> is called a point of finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650262.png" />-type if there is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650263.png" /> such that
+
$$ \tag{a2 }
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650264.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
\frac{v( r \circ z ) }{v( z) }
 +
  \leq  C
 +
$$
  
for all non-constant germs of holomorphic mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650265.png" /> as above. The smallest <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650266.png" /> for which (a2) holds is called the type of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650267.png" /> and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650268.png" />. Roughly speaking, this means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650269.png" /> has finite order of contact with analytic curves at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650270.png" />. The domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650271.png" />, or the hypersurface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650272.png" />, is called of finite type if all its points are of finite type.
+
for all non-constant germs of holomorphic mappings $  z $
 +
as above. The smallest $  C $
 +
for which (a2) holds is called the type of p $
 +
and is denoted by $  \Delta _ {1} ( M , p ) $.  
 +
Roughly speaking, this means that $  M $
 +
has finite order of contact with analytic curves at p $.  
 +
The domain $  D $,  
 +
or the hypersurface $  M $,  
 +
is called of finite type if all its points are of finite type.
  
J. d'Angelo defined the notion of point of finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650274.png" />-type, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650275.png" />, cf. [[#References|[a1]]], [[#References|[a3]]], [[#References|[a4]]]. He proved that the set of points of finite type is an open subset of the hypersurface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650276.png" />, cf. [[#References|[a3]]], [[#References|[a4]]].
+
J. d'Angelo defined the notion of point of finite $  q $-
 +
type, $  q = 1 \dots n - 1 $,  
 +
cf. [[#References|[a1]]], [[#References|[a3]]], [[#References|[a4]]]. He proved that the set of points of finite type is an open subset of the hypersurface $  M $,  
 +
cf. [[#References|[a3]]], [[#References|[a4]]].
  
There are many variants and refinements of these definitions. If one does not require pseudo-convexity in advance and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650277.png" />, then the commutator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650278.png" />-type has nothing to do with orders of contact. From now on finite type will be in the order-of-contact sense.
+
There are many variants and refinements of these definitions. If one does not require pseudo-convexity in advance and $  q < n- 1 $,  
 +
then the commutator $  q $-
 +
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650279.png" /> is a boundary point of finite type of a smooth pseudo-convex domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650280.png" />, then there is a subelliptic estimate for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650281.png" />-Neumann problem, cf. [[#References|[a9]]]. P. Greiner proved the converse, cf. [[#References|[a7]]]. D. Catlin extended these results to pseudo-convex domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650282.png" />, cf. [[#References|[a2]]]. One has also obtained corresponding Hölder estimates for domains of finite type in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650283.png" />, cf. [[#References|[a5]]]. Property c) is also shared by domains of finite type, cf. [[#References|[a11]]]. There are domains of finite type that do not have property b), cf. [[#References|[a10]]].
+
The following results were obtained. Kohn proved that if p $
 +
is a boundary point of finite type of a smooth pseudo-convex domain in $  \mathbf C  ^ {2} $,  
 +
then there is a subelliptic estimate for the $  \overline \partial \; $-
 +
Neumann problem, cf. [[#References|[a9]]]. P. Greiner proved the converse, cf. [[#References|[a7]]]. D. Catlin extended these results to pseudo-convex domains in $  \mathbf C  ^ {n} $,  
 +
cf. [[#References|[a2]]]. One has also obtained corresponding Hölder estimates for domains of finite type in $  \mathbf C  ^ {2} $,  
 +
cf. [[#References|[a5]]]. Property c) is also shared by domains of finite type, cf. [[#References|[a11]]]. There are domains of finite type that do not have property b), cf. [[#References|[a10]]].
  
Finally, Catlin discovered  "Catlin condition Pcondition P" , which is weaker than finite type and guarantees a compactness estimate for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650284.png" />-Neumann problem. This implies estimates for Sobolev norms without gain, including the regularity of the Bergman projection and also property c): Condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650285.png" /> is equivalent to so-called weak B(remermann) regularity. This can be expressed as follows: Every continuous function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650288.png" /> is the boundary value of a plurisubharmonic function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650289.png" />, cf. [[#References|[a11]]].
+
Finally, Catlin discovered  "Catlin condition Pcondition P" , which is weaker than finite type and guarantees a compactness estimate for the $  \overline \partial \; $-
 +
Neumann problem. This implies estimates for Sobolev norms without gain, including the regularity of the Bergman projection and also property c): Condition $  P $
 +
is equivalent to so-called weak B(remermann) regularity. This can be expressed as follows: Every continuous function on $  M $
 +
is the boundary value of a plurisubharmonic function on $  D $,  
 +
cf. [[#References|[a11]]].
  
 
See also [[Bergman kernel function|Bergman kernel function]]; [[Biholomorphic mapping|Biholomorphic mapping]].
 
See also [[Bergman kernel function|Bergman kernel function]]; [[Biholomorphic mapping|Biholomorphic mapping]].
  
A good reference for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650290.png" />-convexity and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650291.png" />-convexity is [[#References|[a12]]].
+
A good reference for p $-
 +
convexity and $  q $-
 +
convexity is [[#References|[a12]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Catlin,  "Boundary invariants of pseudo-convex domains"  ''Ann. of Math.'' , '''120'''  (1984)  pp. 529–586</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D. Catlin,  "Subelliptic estimates for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650292.png" />-Neumann problem on pseudo-convex domains"  ''Ann. of Math.'' , '''126'''  (1987)  pp. 131–191</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J. d'Angelo,  "Real hypersurfaces, orders of contact, and applications"  ''Ann. of Math.'' , '''115'''  (1982)  pp. 615–637</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J. d'Angelo,  "Finite type conditions for real hypersurfaces in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650293.png" />"  S.G. Krantz (ed.) , ''Complex Analysis'' , ''Lect. notes in math.'' , '''1268''' , Springer  (1987)  pp. 83–110</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  G.B. Folland,  J.J. Kohn,  "The Neumann problem for the Cauchy–Riemann complex" , ''Annals Math. Studies'' , '''75''' , Princeton Univ. Press  (1972)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  P. Greiner,  "On subelliptic estimates of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650294.png" />-Neumann problem in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650295.png" />"  ''J. Diff. Geometry'' , '''9'''  (1974)  pp. 239–250</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  L.V. Hörmander,  "The analysis of linear partial differential operators" , '''3''' , Springer  (1985)  pp. Chapt. 22</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  J.J. Kohn,  "Boundary behavior of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650296.png" /> on weakly pseudo-convex domains"  ''J. Diff. Geometry'' , '''6'''  (1972)  pp. 523–542</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J.J. Kohn,  L. Nirenberg,  "A pseudo-convex domain not admitting a holomorphic support function"  ''Math. Ann.'' , '''201'''  (1973)  pp. 265–268</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  N. Sibony,  "Une classe de domaines pseudo-convexes"  ''Duke Math. J.'' , '''55'''  (1987)  pp. 299–319</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  G.M. Henkin,  J. Leiterer,  "Andreotti–Grauert theory by integral formulas" , Akademie Verlag  (1988)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  G.M. [G.M. Khenkin] Henkin,  J. Leiterer,  "Theory of functions on complex manifolds" , Birkhäuser  (1983)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  S.G. Krantz,  "Function theory of several complex variables" , Wiley  (1982)</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  R.M. Range,  "Holomorphic functions and integral representations in several complex variables" , Springer  (1986)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Catlin,  "Boundary invariants of pseudo-convex domains"  ''Ann. of Math.'' , '''120'''  (1984)  pp. 529–586</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D. Catlin,  "Subelliptic estimates for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650292.png" />-Neumann problem on pseudo-convex domains"  ''Ann. of Math.'' , '''126'''  (1987)  pp. 131–191</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J. d'Angelo,  "Real hypersurfaces, orders of contact, and applications"  ''Ann. of Math.'' , '''115'''  (1982)  pp. 615–637</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J. d'Angelo,  "Finite type conditions for real hypersurfaces in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650293.png" />"  S.G. Krantz (ed.) , ''Complex Analysis'' , ''Lect. notes in math.'' , '''1268''' , Springer  (1987)  pp. 83–110</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  G.B. Folland,  J.J. Kohn,  "The Neumann problem for the Cauchy–Riemann complex" , ''Annals Math. Studies'' , '''75''' , Princeton Univ. Press  (1972)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  P. Greiner,  "On subelliptic estimates of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650294.png" />-Neumann problem in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650295.png" />"  ''J. Diff. Geometry'' , '''9'''  (1974)  pp. 239–250</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  L.V. Hörmander,  "The analysis of linear partial differential operators" , '''3''' , Springer  (1985)  pp. Chapt. 22</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  J.J. Kohn,  "Boundary behavior of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075650/p075650296.png" /> on weakly pseudo-convex domains"  ''J. Diff. Geometry'' , '''6'''  (1972)  pp. 523–542</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J.J. Kohn,  L. Nirenberg,  "A pseudo-convex domain not admitting a holomorphic support function"  ''Math. Ann.'' , '''201'''  (1973)  pp. 265–268</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  N. Sibony,  "Une classe de domaines pseudo-convexes"  ''Duke Math. J.'' , '''55'''  (1987)  pp. 299–319</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  G.M. Henkin,  J. Leiterer,  "Andreotti–Grauert theory by integral formulas" , Akademie Verlag  (1988)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  G.M. [G.M. Khenkin] Henkin,  J. Leiterer,  "Theory of functions on complex manifolds" , Birkhäuser  (1983)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  S.G. Krantz,  "Function theory of several complex variables" , Wiley  (1982)</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  R.M. Range,  "Holomorphic functions and integral representations in several complex variables" , Springer  (1986)</TD></TR></table>

Latest revision as of 08:08, 6 June 2020


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 $ \mathbf R ^ {n} $. A real-valued function $ \phi $ of class $ C ^ {2} $ on an open set $ U \subset \mathbf C ^ {n} $ is called $ p $- pseudo-convex (or $ p $- convex) if the Hermitian form

$$ H ( \phi ) = \sum _ { j,k } \frac{\partial ^ {2} \phi }{\partial z _ {j} \partial \overline{z}\; _ {k} } u _ {j} \overline{u}\; _ {k} $$

has, at each point of $ U $, at least $ n - p + 1 $ non-negative eigen values. If $ H ( \phi ) $ has at least $ n - p + 1 $ positive eigen values, then one says that $ \phi $ is strictly (or strongly) $ p $- pseudo-convex. In particular, a (strictly) $ 1 $- pseudo-convex function is a (strictly) plurisubharmonic function of class $ C ^ {2} $. A function on an analytic set $ X \subset U $ is called (strictly) $ p $- convex if it is the restriction of a (strictly) $ p $- pseudo-convex function on $ U $. Finally, a (strictly) $ p $- convex function on an arbitrary complex space $ X $ is a continuous function on $ X $ that is, in a neighbourhood of each point, a (strictly) convex function on the corresponding model (cf. Analytic space).

A complex space $ X $ is called $ ( p, q) $- convex-concave if there is a continuous function $ \phi : X \rightarrow \mathbf R $ and two numbers $ d _ {0} , c _ {0} $, $ - \infty \leq d _ {0} \leq c _ {0} \leq \infty $, such that for any $ c \geq c _ {0} $ and $ d \leq d _ {0} $ the set

$$ X _ {c,d} = \ \{ {x \in X } : {d < \phi ( x) < c } \} $$

is relatively compact in $ X $, while $ \phi $ is strictly $ p $- convex on $ X _ {\infty , c _ {0} } $ and strictly $ q $- concave on $ X _ {d _ {0} , \infty } $. If $ d _ {0} = - \infty $ or $ c _ {0} = \infty $, then $ X $ is called strongly $ p $- pseudo-convex or strongly $ q $- pseudo-concave, respectively. If $ d _ {0} = c _ {0} = - \infty $, then $ X $ is called $ p $- complete.

Examples.

1) An open set $ X $ with smooth boundary $ \partial X $ in a complex manifold $ M $ is called strongly $ p $- pseudo-convex (strongly $ p $- pseudo-concave) if every point $ x _ {0} \in \partial X $ has a neighbourhood $ U $ in which there is a strictly $ p $- pseudo-convex (strictly $ p $- pseudo-concave) function $ \phi $ such that $ X \cap U = \{ {x \in U } : {\phi ( x) < 0 } \} $( respectively, $ X \cap U = \{ {x \in U } : {\phi ( x) > 0 } \} $). Every strongly $ p $- pseudo-convex (strongly $ p $- pseudo-concave) relatively-compact open set is a strongly $ p $- convex (strongly $ p $- concave) manifold. If certain components of the boundary $ \partial X $ satisfy the $ p $- pseudo-convexity condition, while the remaining satisfy the $ q $- pseudo-concavity condition, then one obtains an example of a $ ( p , q ) $- convex-concave manifold.

2) Compact complex spaces are naturally considered to be $ 0 $- convex.

3) The class of $ 1 $- complete spaces coincides with the class of Stein spaces (cf. Stein space).

4) The class of strongly $ 1 $- convex spaces coincides with the class of spaces obtained from Stein spaces by proper modifications at a finite set of points.

5) Let $ X $ be a compact complex manifold of dimension $ n $, and let $ S $ be a closed submanifold of it all components of which have dimension $ q $. Then $ X \setminus S $ is strongly $ ( q + 1 ) $- concave, and if the normal bundle over $ S $ is positive, then $ X \setminus S $ is a strongly $ ( n - q ) $- convex space.

6) If $ S $ is a closed submanifold of codimension $ p $ in a Stein manifold $ X $, then $ X \setminus S $ is $ p $- complete.

7) A holomorphic vector bundle $ E $ of rank $ r $ over a manifold $ X $ is called $ p $- positive ( $ q $- negative) if there is a fibre-wise Hermitian metric $ h $ on $ E $ such that $ \chi ( \nu ) = - h ( \nu , \nu ) $ is a strictly $ ( p + r ) $- convex (respectively, $ - \chi $ is a strictly $ q $- convex) function on $ E $ outside the zero section (if $ p = q = 1 $ one obtains the concepts of a positive vector bundle and a negative vector bundle). If $ X $ is compact, then the space of a $ p $- positive vector bundle $ E $ is strongly $ ( p + r ) $- concave, while the space of a $ q $- negative vector bundle is strongly $ q $- convex. The space of a holomorphic vector bundle over a $ p $- complete space is always $ p $- complete.

For $ ( p , q ) $- 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 $ ( p , q ) $- convex-concave mappings (cf. [1], [2]). A space $ X $ is strongly $ 1 $- convex if and only if $ \mathop{\rm dim} H ^ {r} ( X , F ) < \infty $ for all $ r $ and any coherent analytic sheaf $ F $ on $ X $. If $ X $ is $ p $- complete, then $ H ^ {r} ( X , F ) = 0 $ for all $ r \geq p $ and any coherent analytic sheaf $ F $ on $ X $.

The homology groups of $ p $- convex and $ p $- complete spaces have the following properties. If $ X $ is an $ n $- dimensional reduced strongly $ p $- convex ( $ p $- complete) complex space, then $ \mathop{\rm dim} H _ {r} ( X , \mathbf C ) < \infty $( respectively, $ H _ {r} ( X , \mathbf C ) = 0 $) for $ r \geq n + p $. For strongly $ 1 $- convex spaces it is also known that $ H _ {r} ( X , \mathbf Z ) $ is a finitely-generated group for $ r \geq n + 1 $, while for $ p $- complete manifolds it is known that $ H _ {r} ( X , \mathbf Z ) = 0 $ for $ r \geq n + p $ and that $ H _ {n+} p- 1 ( X , \mathbf Z ) $ is free.

A complex space $ X $ is called pseudo-concave if there is a relatively-compact open set $ U $ in $ X $, intersecting each non-degenerate component of $ X $ and satisfying the following condition: Any point $ x _ {0} \in \partial U $ has a neighbourhood $ V $ in $ X $ such that for any $ x \in V $ sufficiently close to $ x _ {0} $,

$$ | f ( x) | \leq \sup _ {y \in V \cap U } | f ( y) | $$

for all holomorphic functions $ f $ in $ V $. If $ X $ is an $ n $- dimensional manifold, $ n \geq 2 $, then it is sufficient that $ U $ is a strongly $ ( n - 1 ) $- pseudo-concave set in $ X $. Any compact space is pseudo-concave. For pseudo-concave spaces $ X $ the following finiteness theorems have been proved: The space of holomorphic sections of any holomorphic vector bundle over $ X $ is finite-dimensional; if $ X $ is connected, then all holomorphic functions on $ X $ are constant; the field of meromorphic functions on $ X $ is an algebraic function field whose transcendence degree does not exceed $ \mathop{\rm dim} X $. The latter theorem has important applications to automorphic functions (cf. Automorphic function), based on the fact that the space $ D / \Gamma $, where $ \Gamma $ is a properly-discontinuous group of automorphisms of a bounded domain $ D \subseteq \mathbf C ^ {n} $, turns out to be pseudo-concave in many cases (one says in this case that $ \Gamma $ is a pseudo-concave group). E.g., arithmetic subgroups of automorphism groups of bounded symmetric domains are pseudo-concave.

References

[1] 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
[2] 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

Comments

The Hermitian form $ H( \phi ) $ is usually called the Levi form of $ \phi $.

The fundamental domains for function theory in $ \mathbf C ^ {n} $ 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 $ \{ {z \in \mathbf C ^ {n} } : {\rho ( z) < 0 } \} $, where $ \rho $ is a strictly plurisubharmonic function). Good references are [a13][a15].

In many respects strongly $ p $- pseudo-convex domains have "better" properties than arbitrary $ p $- pseudo-convex domains. For simplicity (1-) pseudo-convex domains in $ \mathbf C ^ {n} $ will be discussed only. Thus, let $ D = \{ r( z) < 0 \} $ be a smoothly bounded domain with boundary $ M $ and $ p \in M $. Then $ D $ is called pseudo-convex at $ p $ if the Levi form $ H( r)( p) $ is positive semi-definite when restricted to the complex tangent space at $ p $, while $ D $ is called strongly pseudo-convex at $ p $ if the Levi form is positive definite when restricted to the complex tangent space at $ p $. 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 $ \mathbf C ^ {n} $ 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 $ f $ is a $ \overline \partial \; $- closed $ ( l , m+ 1 ) $- form and the coefficients of $ f $ belong to some Hölder space $ C ^ \alpha $ or Sobolev space $ \Lambda ^ \alpha $, then there is an $ ( l, m) $- form $ u $, with coefficients in $ C ^ \alpha $, respectively $ \Lambda ^ \alpha $, such that $ \overline \partial \; u = f $. More precisely, one has subelliptic estimates for the $ \overline \partial \; $- Neumann problem. This implies that the (unique) solution $ u $ with minimal $ L _ {2} $ 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 $ \overline \partial \; $- Neumann problem, the notion of domain of finite type was introduced by J.J. Kohn for domains in $ \mathbf C ^ {2} $, 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 $ T $ denote the complexified tangent bundle to $ M $, $ T ^ {1,0} $ the subbundle whose sections are $ ( 1, 0) $ vector fields, that is, the complex tangential vector fields, and let $ T ^ {0,1} $ be the complex conjugate bundle of $ T ^ {1,0} $. Now pick a real $ 1 $- form $ \eta $ which annihilates $ T ^ {1,0} \oplus T ^ {0,1} $. Let $ L $ be a local section of $ T ^ {1,0} $, $ L ( p) \neq 0 $. An iterated commutator of $ L $ and $ \overline{L}\; $ of length $ m $ is a local section $ X $ of $ T $ of the form

$$ \tag{a1 } X = [ \dots [ L _ {1} , L _ {2} ] \dots L _ {m+} 1 ] , $$

where $ L _ {j} \in \{ L , \overline{L}\; \} $. The type of $ L $ at $ p $ is the smallest integer $ q $ for which there is an iterated commutator $ X $ of $ L $ of length $ q + 1 $ such that $ \langle \eta , X \rangle ( p) \neq 0 $. Now one defines the (commutator) $ 1 $- type of $ M $ at $ p $:

$$ t _ {1} ( M, p) = \ \sup _ {L \in T ^ {1,0} } \{ \textrm{ type of } L \textrm{ at } p \} , $$

and $ M $ is of finite type if all points of $ M $ are of finite type. The commutator $ q $- type of a point, $ q = 1 \dots n- 1 $, was introduced by T. Bloom, cf. [a4]. However, it seems that only in the $ 2 $- dimensional case these notions are related to subelliptic estimates.

In the higher-dimensional case the following approach is useful. Again, let $ D $ be a smoothly bounded domain with boundary $ M $, defining function $ r $, and let $ p $ be a boundary point. (In the definitions one only needs a hypersurface $ M $.) Let $ z : ( \mathbf C , 0 ) \rightarrow ( \mathbf C ^ {n} , p ) $ be a germ of a holomorphic mapping sending 0 to $ p $. Let $ v( z) $ be the multiplicity of $ z $ at 0 and $ v( r \circ z ) $ the multiplicity of the composition $ r \circ z $ at 0. The point $ p $ is called a point of finite $ ( 1) $- type if there is a $ C $ such that

$$ \tag{a2 } \frac{v( r \circ z ) }{v( z) } \leq C $$

for all non-constant germs of holomorphic mappings $ z $ as above. The smallest $ C $ for which (a2) holds is called the type of $ p $ and is denoted by $ \Delta _ {1} ( M , p ) $. Roughly speaking, this means that $ M $ has finite order of contact with analytic curves at $ p $. The domain $ D $, or the hypersurface $ M $, is called of finite type if all its points are of finite type.

J. d'Angelo defined the notion of point of finite $ q $- type, $ q = 1 \dots n - 1 $, cf. [a1], [a3], [a4]. He proved that the set of points of finite type is an open subset of the hypersurface $ M $, cf. [a3], [a4].

There are many variants and refinements of these definitions. If one does not require pseudo-convexity in advance and $ q < n- 1 $, then the commutator $ q $- 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 $ p $ is a boundary point of finite type of a smooth pseudo-convex domain in $ \mathbf C ^ {2} $, then there is a subelliptic estimate for the $ \overline \partial \; $- Neumann problem, cf. [a9]. P. Greiner proved the converse, cf. [a7]. D. Catlin extended these results to pseudo-convex domains in $ \mathbf C ^ {n} $, cf. [a2]. One has also obtained corresponding Hölder estimates for domains of finite type in $ \mathbf C ^ {2} $, 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 $ \overline \partial \; $- Neumann problem. This implies estimates for Sobolev norms without gain, including the regularity of the Bergman projection and also property c): Condition $ P $ is equivalent to so-called weak B(remermann) regularity. This can be expressed as follows: Every continuous function on $ M $ is the boundary value of a plurisubharmonic function on $ D $, cf. [a11].

See also Bergman kernel function; Biholomorphic mapping.

A good reference for $ p $- convexity and $ q $- convexity is [a12].

References

[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)
How to Cite This Entry:
Pseudo-convex and pseudo-concave. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pseudo-convex_and_pseudo-concave&oldid=48344
This article was adapted from an original article by A.L. Onishchik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article