(FREE PDF Sample) Geometry of Holomorphic Mappings Frontiers in Mathematics 1st Edition Pinchuk Ebooks
(FREE PDF Sample) Geometry of Holomorphic Mappings Frontiers in Mathematics 1st Edition Pinchuk Ebooks
(FREE PDF Sample) Geometry of Holomorphic Mappings Frontiers in Mathematics 1st Edition Pinchuk Ebooks
com
https://textbookfull.com/product/geometry-of-
holomorphic-mappings-frontiers-in-mathematics-1st-
edition-pinchuk/
https://textbookfull.com/product/bad-with-love-an-alpha-beta-omega-
story-2nd-edition-sophie-odare-lyn-forester/
textbookfull.com
The Digital Age on the Couch Psychoanalytic Practice and
New Media 1st Edition Alessandra Lemma
https://textbookfull.com/product/the-digital-age-on-the-couch-
psychoanalytic-practice-and-new-media-1st-edition-alessandra-lemma/
textbookfull.com
https://textbookfull.com/product/robustness-theory-and-
application-1st-edition-clarke/
textbookfull.com
https://textbookfull.com/product/statistical-methods-an-introduction-
to-basic-statistical-concepts-and-analysis-2nd-edition-cheryl-ann-
willard/
textbookfull.com
Triathlon Half Distance Training 70 3 Miles Swim Bike Run
Ash
https://textbookfull.com/product/triathlon-half-distance-
training-70-3-miles-swim-bike-run-ash/
textbookfull.com
Frontiers in Mathematics
Sergey Pinchuk
Rasul Shafikov
Alexandre Sukhov
Geometry
of Holomorphic
Mappings
Frontiers in Mathematics
Advisory Editors
William Y. C. Chen, Nankai University, Tianjin, China
Laurent Saloff-Coste, Cornell University, Ithaca, NY, USA
Igor Shparlinski, The University of New South Wales, Sydney, NSW, Australia
Wolfgang Sprößig, TU Bergakademie Freiberg, Freiberg, Germany
This series is designed to be a repository for up-to-date research results which have been
prepared for a wider audience. Graduates and postgraduates as well as scientists will
benefit from the latest developments at the research frontiers in mathematics and at the
“frontiers” between mathematics and other fields like computer science, physics, biology,
economics, finance, etc. All volumes are online available at SpringerLink.
Sergey Pinchuk • Rasul Shafikov •
Alexandre Sukhov
Geometry of Holomorphic
Mappings
Sergey Pinchuk Rasul Shafikov
Department of Mathematics Department of Mathematics
Indiana University Bloomington University of Western Ontario
Bloomington, IN, USA London, ON, Canada
Alexandre Sukhov
Department of Mathematics
University of Lille
Villeneuve d’Ascq, France
© The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
2023
This work is subject to copyright. All rights are solely and exclusively licensed by the Publisher, whether the
whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now
known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does
not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective
laws and regulations and therefore free for general use.
The publisher, the authors, and the editors are safe to assume that the advice and information in this book are
believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors
give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissions
that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps
and institutional affiliations.
This book is published under the imprint Birkhäuser, www.birkhauser-science.com by the registered company
Springer Nature Switzerland AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
The subject of this book is holomorphic mappings between domains in .Cn . The theory
of holomorphic (conformal) mappings is a cornerstone in the classical geometric function
theory of one complex variable, and it is an important tool for applications in many areas
of mathematics. Such applications to a great extent are based on the results in the following
two directions: the fundamental Riemann Mapping theorem, which establishes conformal
equivalence of simply connected domains in .C, and the Schwarz reflection principle
together with further major contributions by Carathéodory, Kellogg and others, which
provide a comprehensive description of boundary behaviour of conformal mappings.
The goal of this book is to present some substantial results concerning holomorphic
mappings in several complex variables. In contrast to the case .n = 1, for .n > 1
the dominating feature of holomorphic mappings is their rigidity which may appear in
various forms. For instance, in dimension bigger than 1, different domains are not in
general biholomorphically equivalent. But when they are, it may lead to certain unusual
phenomena. The first results of such kind were obtained in the beginning of the twentieth
century by H. Poincaré who proved that (a) the unit ball .B2 and the bidisk .2 in .C2 are
not biholomorphically equivalent; (b) if p is a point in the sphere .S = bB2 and .fp is the
germ of a biholomorphic map at p which maps the germ of S to S, then .fp extends to
a biholomorphic map .f : B2 → B2 . Subsequent investigation of holomorphic mappings
was largely focused on boundary regularity of biholomorphic and proper holomorphic
mappings, the problem of holomorphic equivalence of real hypersurfaces and various
rigidity phenomena in .Cn . The investigation of boundary regularity of biholomorphic and
proper holomorphic mappings is one of the central themes of the book. A general goal in
this context is to show that any biholomorphic map between domains in .Cn with .C ω -, or
m ω s
.C -smooth boundaries extends as a .C -, or .C -smooth map between their closures for
some .s = s(m). This problem remains open in full generality despite numerous partial
positive results, and there are no known counterexamples. Research in this direction led to
creation of many new methods that were successfully applied to other problems in SCV
and that remain to be of independent interest. One of these methods is an analytic approach
based on regularity properties of the Bergman projection and subelliptic estimates of the
.∂-Neumann problem. There are many excellent monographs that cover this subject and
v
vi Introduction
geometric approach forms the core of the book and includes invariant metrics, holomorphic
correspondences, the Scaling method and the Reflection principle.
Some minimal background material is given in Chap. 1 with a few more technical
proofs deferred to the Appendix. In Chap. 2, we present a number of striking results
in several complex variables that illustrate the importance of boundary regularity in the
development of other aspects of the theory of holomorphic mappings. In Chap. 3, we
establish the estimates for the invariant metrics that are used to prove continuous extension
of holomorphic mappings between strictly pseudoconvex domains. In Chaps. 4 and 5, we
discuss smooth and holomorphic extension of biholomorphic and proper holomorphic
maps between smoothly bounded strictly pseudoconvex domains. This requires some
additional tools, such as the Scaling method. A local version of the extension is proved in
the language of holomorphic extension of CR mappings. It should be noted that the results
obtained in these chapters, like all the results proved in the book, are independent of the
properties of the Bergman spaces or the .∂-Neumann problem methods mentioned above.
The Scaling method proved to be a powerful tool in analysing domains with noncompact
automorphism groups, and this is the subject of Chap. 6.
Another important topic of the book is the biholomorphic equivalence problem of real
analytic hypersurfaces in .Cn and the domains that they bound. For biholomorphisms with
nice boundary behaviour, the equivalence of domains translates to the equivalence of their
boundaries. In 1974, Chern and Moser in different terms obtained necessary and sufficient
conditions for local equivalence of two real analytic hypersurfaces with nondegenerate
Levi form. This theory is briefly discussed in Chap. 7. The construction of local invariants
makes it possible in certain cases to decide whether the germs of boundaries of two
domains are locally equivalent. While it may not be enough to conclude that the domains
are themselves equivalent, the result by Poincaré above shows that in the case of the
unit balls, a local equivalence of the boundaries extends to a global biholomorphism
between the balls. In Chap. 8, such rigidity phenomenon of analytic continuation of
germs of mappings along hypersurfaces is extended to real analytic strictly pseudoconvex
hypersurfaces. This allows us to claim that local equivalence of germs of the boundaries
of certain domains implies the global equivalence of these domains.
Various modifications of the Reflection principle are discussed and used in the book for
analytic continuation of mappings. The most advanced results of this kind were obtained
by using the technique of Segre varieties, these are introduced in Chap. 9. In Chap. 10
we discuss holomorphic correspondences—multiple-valued maps that naturally appear
in the problems of analytic continuation. We also prove a result concerning critical sets
of holomorphic mappings. Chapter 11 contains one of the central results of the book:
a proper holomorphic map .f : D → D between bounded domains in .Cn with real
analytic boundaries that extends continuously to .D necessarily extends holomorphically
to a neighbourhood of .D. Finally, in Chap. 12, we prove that in dimension .n = 2, the
map f extends holomorphically without the assumption of continuous extension. These
results do not assume any pseudoconvexity, and the proofs heavily rely on the geometric
Introduction vii
properties of the Segre varieties associated with the boundaries of the domains, which
shows the power of this approach.
In a short monograph is it impossible to mention all the results pertinent to the subject.
Our choice of the material for the book is heavily influenced by our personal taste in
the subject and the wish to keep the book largely self-contained and readable. The third
author is partially supported by Labex CEMPI and the Institute of Mathematics of the Ufa
Research Centre.
1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 Classes of Functions and Domains . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Smooth and Holomorphic Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 Plurisubharmonic Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 CR Manifolds and CR Functions in Cn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 CR Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 CR Functions and Mappings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Totally Real Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Real Analytic Case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.2 Smooth Case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4 Pseudoconvex Domains, Defining and Exhaustion Functions, the
Hopf Lemma. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
ix
x Contents
A Appendix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
A.1 Edge-of-the-Wedge Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
A.2 PSH Defining Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
A.3 Hörmander-Wermer Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
A.4 Separate Algebraicity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
Preliminaries
1
In this chapter we review some standard definitions and results in complex analysis and lay
out the technical framework for the core material of the book. We assume that the reader is
familiar with the classical monographs on several complex variables such as Gunning and
Rossi [74], Hörmander [79], Range [119], or Shabat [129]. The reader who is well-versed
in the subject may directly proceed to the next chapter.
In this section we fix some basic notation and recall elementary properties of holomorphic
and plurisubharmonic functions.
We denote by .z = (z1 , . . . , zn ) the standard complex coordinates in .Cn . We often use the
(vector) notation .z = x + iy for the real and imaginary parts. We identify .Cn with .R2n via
Cn (z1 , . . . , zn ) ∼
. = (x1 , y1 , . . . , xn , yn ) ∈ R2n .
and by .z, w = j zj wj the standard Hermitian inner product in .Cn . Note that its real
part .Rez, w defines the standard Euclidean scalar product of z and w viewed as vectors
in .R2n .
A domain . in .Cn is defined to be a nonempty connected open subset of .Cn . By .b
we denote the boundary of .. The unit ball in .Cn is denoted by .Bn = {z ∈ Cn : |z| < 1},
while for .n = 1 we use the notation .D := B1 for the unit disc in .C. The ball .p + rBn of
radius .r > 0 centred at a point .p ∈ Cn may be also denoted by .Bn (p, r) or simply .B(p, r)
if the dimension is clear from the context. Another basic example of a domain in .Cn is the
unit polydisc .Dn , or more generally,
Finally,
is an unbounded realization of the unit ball .Bn , it is biholomorphic to .Bn via Cayley’s
transform
2z1 2zn−1 zn − i
(z1 , . . . , zn ) →
. ,..., , . (1.2)
zn + i zn + i zn + i
k
||f ||C k () =
. sup |D (j ) f (z)|,
|j |=0 z∈
where, as usual, .D (j ) denotes the partial derivative of order .j = (j1 , . . . , jn ) with .|j | =
j1 + . . . jn , and .D (0) f = f .
If .s > 0 is a real noninteger and k is its integer part, by .C s () we denote the space of
functions of class .C k () such that their partial derivatives of order k are (globally) Hölder-
continuous on . with the exponent .α := s − k; these derivatives automatically satisfy the
global Hölder condition on ., so the notation .C s () for the same space of functions is
also appropriate. These are Banach spaces equipped with the standard norm
1.1 Classes of Functions and Domains 3
|f (z) − f (w)|
||f ||C s () = ||f ||C k () + sup
. .
z,w∈ |z − w|α
Theorem 1.1 Let . ⊂ Cn be a bounded domain, and let .{fj } ⊂ Aut() be a sequence
of automorphisms of .. Suppose that .{fj } converges uniformly on compact subsets of .
to a holomorphic map .f : → Cn . Then the following are equivalent.
(i) .f ∈ Aut().
(ii) .f () ⊂ b.
(iii) There exists .p ∈ such that the determinant of the Jacobian matrix, .det Df (p), is
nonzero.
.C(f, ).
all .x ∈ D:
4 1 Preliminaries
1
.u(x) ≤ u(y)dσ (y),
σm−1 r m−1 S(x,r)
where .r > 0 is so small that the sphere .S(x, r) centred at x of radius r, is contained in D,
.σm−1 is the volume of the unit .(m−1)-sphere, and .dσ (y) is the volume measure on .S(x, r).
on E is, in fact, subharmonic. Thus, polar sets are removable singularities for subharmonic
functions. The same result holds for pluriharmonic functions, see, e.g., [87, Thm 2.7.1,
p. 53]. One of the applications of this is Rado’s theorem: if f is a continuous function on
a domain . ⊂ Cn and holomorphic on . \ f −1 (0), then f is holomorphic on .. This can
be seen by applying the removable singularity result to .Re f and .Im f and the polar set
.f
−1 (0) = {log |f | = −∞}.
∂ 2u
Lu (p) =
. (p) (1.4)
∂zj ∂zk
j,k
This Maximum principle also holds on relatively compact complex analytic sets of positive
dimension.
Pluripolar sets are defined similarly to polar sets, i.e., locally these are defined as
the locus where a plurisubharmonic function takes the value .−∞. From the removable
singularity result stated above for subharmonic functions one can deduce the following
result.
In particular, complex analytic sets, being pluripolar, are removable singularities for
bounded plurisubharmonic functions.
Let . ⊂ Cn be a domain and .p ∈ b. A function .φ ∈ P SH () ∩ C() is called
a peak function for . at p if .φ(z) < φ(p) for all .z ∈ \ {p}. A function .φ is called
a local peak function if it is a peak function for the domain . ∩ U , where U is some
neighbourhood of p. Holomorphic peak functions are defined in the same way. A point
.p ∈ b is said to have a PSH-barrier property if there exist a neighbourhood U of p and
constants .α ∈ (0, 1], .β > 1, and .M > 0 such that for any point .ζ ∈ U ∩ b there exists
a function .φζ (z) continuous on . ∩ U and plurisubharmonic in . ∩ U that satisfies the
condition
for any .z ∈ ∩U . Thus, .φζ is a local plurisubharmonic peak function of algebraic growth.
In this section we recall some basic facts about CR manifolds and CR functions. We will
use this throughout the book.
1.2.1 CR Manifolds
p and a map .ρ = (ρ1 , . . . , ρd ) : U −→ Rd of maximal rank .d < 2n such that .ρj are of
class .C s (U ) (resp. real analytic in U ), and
E ∩ U = {z ∈ U : ρj (z) = 0, j = 1, . . . , d}.
. (1.6)
6 1 Preliminaries
The functions .ρj are then called local defining functions of E. The positive integer d is
the real codimension of E. In the fundamental special case .d = 1 we obtain the class of
real hypersurfaces. Let
∂ρj ∂ρj
∇z ρj (p) =
. (p), . . . , (p) .
∂z1 ∂zn
Then the condition that .ρ has rank d simply means that the vectors .∇z ρj , .j = 1, . . . , d,
are .R-linearly independent.
The (real) tangent space .Tp E to E at .p ∈ E can be defined by the equations
.Tp E = w ∈ Tp Cn ∼
= Cn : Re w, ∇z ρj (p) = 0, j = 1, . . . , d .
Let J denote the standard complex structure of .Cn given by the multiplication by i, in
other words, J acts on a vector .w ∈ Cn as .J w = iw. For every .p ∈ E the holomorphic
(or complex) tangent space .Hp E := Tp E ∩ J (Tp E) is the maximal complex subspace of
the tangent space .Tp E of E at p. Clearly,
Hp E = w ∈ Cn : w, ∇z ρj (p) = 0, j = 1, . . . , d .
. (1.7)
∂ρ1 ∧ . . . ∧ ∂ρd = 0,
. (1.8)
or, equivalently,
∂ρ1 ∧ . . . ∧ ∂ρd = 0,
.
X j f = 0, j = 1, . . . , n − d.
. (1.9)
These are the tangential Cauchy-Riemann equations. If E is defined by (1.6) and .f˜ is any
.C -smooth extension of f to a neighbourhood of E in the ambient .C , then the function
1 n
f is CR iff
∂ f˜ ∧ ∂ρ1 ∧ · · · ∧ ∂ρd = 0 on E.
.
W = {z ∈ U : ρj (z) < 0, j = 1, . . . , d}
.
with the edge E, and f is a holomorphic function in W that extends smoothly to E, then
the restriction of f to E is a CR function. By Stokes’ formula the Eq. (1.9) can be rewritten
in the equivalent form .[E](f ∂φ) = 0 for every test form .φ on E of bidegree .(n, n − d);
here .[E] denotes the current of integration
over E, i.e., a linear functional on the space
of test forms acting as .[E](ω) = E ω, where .ω is a form of degree .= dim E. In this
weak formulation the notion of a CR function can be extended to the class of continuous
or locally integrable functions on E.
If E is a hypersurface (.d = 1) given by a defining function .ρ with .∂ρ/∂zn = 0, then
the tangential Cauchy-Riemann operators can be written in the form
∂ρ ∂ ∂ρ ∂
Xj =
. − , j = 1, . . . , n − 1. (1.10)
∂zn ∂zj ∂zj ∂zn
Theorem 1.3 If a real hypersurface .E ⊂ Cn does not contain any germs of complex
hypersurfaces at a point .p ∈ E, then there exists a one-sided neighbourhood of p, say,
.U
− ⊂ Cn , such that all CR functions near p extend holomorphically to .U − .
8 1 Preliminaries
Finally, if .E1 and .E2 are smooth generic submanifolds in .Cn and .Cm respectively, with
.codimE1 < n, then a continuous map .f : E1 → E2 is called a CR map, if it can be written
Of special importance are the so-called totally real manifolds, i.e., submanifolds E for
which .Hp E = {0} at every .p ∈ E. Clearly, the dimension of a totally real submanifold in
.C does not exceed n. A totally real manifold is generic if and only if its real dimension
n
is equal to n, i.e., maximal possible. Such manifolds are called maximally totally real, the
simplest such example is the real subspace
Rn = {z = x + iy ∈ Cn : y = 0}.
.
The simplest example of a compact maximally totally real manifold is the torus
S 1 × S 1 ⊂ C2 .
.
An open cone in .Rn is an open set C such that .y ∈ C implies .ty ∈ C for all .t > 0. Given
a cone C, let .V = C ∩ B(0, 1), and let E be a domain in .Rn . We define
W + = E + iV , W − = E − iV .
. (1.11)
The sets .W + and .W − are called the wedges with the edge E. In general, the set .W + ∪
W − ∪ E does not contain an open neighbourhood of E in .Cn . The following is a simple
version of the classical edge-of-the-wedge theorem.
The proof is given in Sect. A.1 of the Appendix. Different proofs can also be found,
for example, in [155] and [124]. Further generalizations also exist: one can take E to be a
1.3 Totally Real Manifolds 9
Proposition 1.5 Let E be a real analytic totally real submanifold of dimension n in .Cn .
For every point .p ∈ E there exists an open neighbourhood . in .Cn and a map . : →
Cn , which is a biholomorphism onto its image, such that . (p) = 0 and . (E ∩ ) =
Rn ∩ ().
By the Implicit function theorem this equation can be resolved for w to obtain
w = z + ψ(z),
.
The above proposition simplifies many aspects of complex analysis near real analytic
totally real submanifolds of maximal dimension. As an example, let E be a totally real
submanifold defined by
E = {p ∈ Cn : ρj (p) = 0, j = 1, . . . , n}.
. (1.12)
Visit https://textbookfull.com
now to explore a rich
collection of eBooks, textbook
and enjoy exciting offers!
10 1 Preliminaries
W = {p ∈ Cn : ρj < 0, j = 1, . . . , n}
. (1.13)
contains a (linear) wedge with the edge E as defined in (1.11). The converse to this
statement is also true, and so W in (1.13) is also called a wedge with the edge E. The
next result gives a simple multidimensional version of the classical Schwarz reflection
principle.
Proposition 1.6 Let .E1 and .E2 be real analytic totally real manifolds of dimension n
and N in .Cn and .CN respectively, .n, N > 1. Suppose that W is a wedge with the edge
.E1 , .f : W → C
N is a map holomorphic on W , continuous on .W ∪ E and such that
1
.f (E1 ) ⊂ E2 . Then f extends holomorphically to a neighbourhood of .E1 .
Proof By Proposition 1.5 one can assume that .E1 and .E2 coincide with open pieces of
.R and .R
n N respectively. The map .f ∗ (z) = f (z) is holomorphic in a wedge with the edge
.R that is opposite to W and coincides with f on .R . We now may apply the edge-of-the-
n n
Let M be a totally real manifold of class .C 2 in .Cn . By .dist(M, z) we denote the standard
Euclidean distance from a point .z ∈ Cn to a set M. The following well-known result is
often useful, see Wells [160] and Hörmander and Wermer [80].
Lemma 1.7 There exists a neighbourhood . of M in .Cn such that the function
Proof Let .k = dim M, and .p ∈ M be an arbitrary point. Since M is totally real, after a
biholomorphic change of coordinates in .Cn we may assume that .p = 0 and the tangent
space to M at .p = 0 is given by
where .zj = xj + iyj , .j = 1, . . . , n. Let .δ(z) be the normal distance from a point z
in a neighbourhood of the origin in .Cn to .T0 (M). It is easy to see that .dist(M, z) =
δ(z) + O(|z|2 ), and moreover,
k
n
δ 2 (z) =
. yj2 + |zj |2 ,
j =1 j =k+1
which has a positive-definite complex Hessian in .Cn , see (1.4). Then .φ(z) = δ 2 (z) +
O(|z|3 ), and so it also has a positive-definite complex Hessian in some neighbourhood of
the origin. By taking the union of sufficiently small neighbourhoods of all points in M we
obtain the required neighbourhood . of M.
We also need the following lemma due to Hörmander and Wermer [80].
Let . be a bounded domain in .Cn . Suppose that its boundary .b is a (compact) real
hypersurface of class .C s in .Cn , .s ≥ 1. Then there exists a .C s -smooth real function .ρ in a
neighbourhood U of the closure . such that . = {ρ < 0} and .dρ|b = 0. We call such a
function .ρ a global defining function.
If .s ≥ 2 we may consider the Levi form of .ρ:
n
∂ 2ρ
Lρ (p, w) =
. (p)wj w k , w ∈ Hp b, p ∈ b. (1.14)
∂zj ∂zk
j,k=1
If .σ = α · ρ is another defining function, then .α(p) = 0, and one can easily check that
In particular, this means that the signature of the Levi-form is independent of the choice
of the defining function. Another important property of the Levi form is that it is invariant
under biholomorphic change of coordinates: if .f : U → U is a biholomorphic map and
.U ⊂ C is a neighbourhood of .b, then
n
n−1
ρ(z) = 2xn +
. |zj |2 + o(|z|2 ). (1.18)
j =1
not pseudoconvex, then all functions in .O() extend across the nonpseudoconvex part of
the boundary.
Let . be a real hypersurface of class .C 2 in .Cn . One can view every holomorphic
tangent space .Hp as an element of the (complex) Grassmannian .G(n − 1, n) of complex
hyperplanes in .Cn , which can be identified with the complex projective space .CPn−1 . Then
the holomorphic tangent bundle .H () can be viewed as a real submanifold of dimension
.2n − 1 of the complex manifold .C × G(n − 1, n) of complex dimension .2n − 1. We
n
call it the projectivization of the holomorphic tangent bundle and denote by .PH (). The
following statement is due to Webster [159].
1.4 Pseudoconvex Domains, Defining and Exhaustion Functions, the. . . 13
Lemma 1.9 Let . be strictly pseudoconvex. Then .PH () is a maximally totally real
manifold in .Cn × G(n − 1, n).
Proof Clearly the problem is local. Any strictly pseudoconvex hypersurface is a local
deformation of the sphere, and since being totally real is an open condition, it suffices
to verify the statement for the sphere, or, more conveniently, for its realization .H given
by (1.1). Using (1.7) we see that for any .z ∈ H,
Any such complex linear subspace can be uniquely identified with its complex normal
vector
and so in the affine chart .(z, ζ ) ∈ Cn × Cn−1 of .Cn × G(n − 1, n) the set .PH () can be
defined by .2n − 1 real equations
n−1
zn + z n +
. zj zj = 0; ζk = zk , k = 1, . . . , n − 1.
j =1
Direct computation shows that the condition (1.8) is satisfied by the above system,
and thus .PH () is generic. Finally, it is totally real because of the dimension
considerations.
.b. From this argument it also follows that if a domain . is strictly pseudoconvex near a
point .p ∈ ∂, then there exists a local biholomorphic change of coordinates near p that
transforms . into a strictly geometrically convex domain.
This property does not hold in general for weakly pseudoconvex domains (i.e., pseudo-
convex domains which are not strictly pseudoconvex). Indeed, Kohn and Nirenberg [90]
and Diederich and Fornæss [43] constructed explicit examples of smoothly bounded
pseudoconvex domains that do not admit even local plurisubharmonic defining functions.
In particular, the famous “worm” domains of Diederich and Fornæss do not admit
plurisubharmonic defining functions. However, Diederich and Fornæss [44] proved that
pseudoconvex domains admit bounded plurisubharmonic exhaustion functions.
14 1 Preliminaries
ρ(z) = −(−r(z))η
. (1.19)
Proof We first prove the lemma for the unit disc .D ⊂ C and a subharmonic .φ. Clearly,
it suffices to establish the estimate away from any compact subset of .D, say, on .{1/2 <
|z| < 1}. Let
Then the function .φ̃(z) = φ(z) − C log |z| is subharmonic with .lim|z|→1 φ̃(z) ≤ 0, and
1
. max φ̃(z) = max φ(z) − C log(1/2) = max φ(z) < 0.
|z|=1/2 |z|=1/2 2 |z|=1/2
Thus, by the Maximum principle, .φ̃(z) < 0 for .1/2 < |z| < 1. It follows that for z close
to the unit circle,
C C
|φ(z)| ≥ −C log |z| ≥
. (1 − |z|) = dist(z, bD).
2 2
For the case of a general domain . ⊂ Cn , observe that since .b is .C 2 -smooth, there
exists .δ > 0 with the property that if .z ∈ and .dist(z, b) = ε ≤ δ, then the closed
ball .B(z, ε) intersects .b at exactly one point .zb . Let .U = {z ∈ : dist(z, b) < δ/2}.
For .z ∈ U , let .Lz be a unique complex line that passes through z and .zb . On .Lz ∩
we choose a point .zc such that .dist(zc , b) = δ. Then .D(zc , δ) = B(zc , δ) ∩ Lz is a
complex disc in . that contains the point z and whose closure touches .b at one point .zb .
We may apply the one-dimensional case proved above to .φ|D(zc ,δ) . Further, the estimates
Random documents with unrelated
content Scribd suggests to you:
The Project Gutenberg eBook of Spider-webs
in Verse: A Collection of Lyrics for Leisure
Moments, Spun at Idle Hours
This ebook is for the use of anyone anywhere in the United
States and most other parts of the world at no cost and with
almost no restrictions whatsoever. You may copy it, give it away
or re-use it under the terms of the Project Gutenberg License
included with this ebook or online at www.gutenberg.org. If you
are not located in the United States, you will have to check the
laws of the country where you are located before using this
eBook.
Language: English
BY
LINCOLN, NEB.:
STATE JOURNAL COMPANY, PRINTERS.
1892.
Copyright 1892
BY
C. W. WALLACE
TO
JUDGE T. D. WALLACE
AND
Choral of Sunset, A, 1
Chorus, 110
Close Attachment, A, 126
Come to the Shadows, 12
Common Lot, The, 17
Echo Song, 18
“False Womankind,” 32
Family of the Ephemera, 36
Father Time, 148
Freedom’s Battle Song, 142
Madrigal, 117
Memories of the Past, 156
Mince Pie, 14
Mist-Wing, 15
Modern Tragedy Averted, A, 25
’Mong the Mountains of the Soul, 143
Mortal, A, 105
My Defeat, 46
Nightmare, The, 30
Shut In, 40
Shut Your Eyes and Go to Sleep, 115
Sickle of Flowers, The, 118
Sleep (Sonnet), 55
Slumber Rhapsody, A, 5
Song of the Stars, 42
Song on the Sea, 56
Sonnets of Life, 23
Sorto’ Played-Out Ol’ Bouquet, A, 9
Soul of My Soul, 13
Sweetest of All, The, 138
Washington, 142
Weather Fiend, The, 129
What is Poetry? 76
Wheel and Shuttle, 49
White-Enthroned Above Me, 59
Whither? 147
Who Knows? 131
Woodland Lay, 57
Words and Thoughts, 117
Write from the Heart, 146
A SLUMBER RHAPSODY.
Sleep, sleep, sleep and rest, sleep and rest,
The wind is in the west
And night is on the deep,—
Sleep and rest, rest and sleep,
Sleep, sleep.