Reach Us
+44-7480-724769

**Egmont PORTEN ^{*}**

Department of Engineering, Physics and Mathematics, Mid Sweden University, S-851 70 Sundsvall, Sweden

- *Corresponding Author:
- Egmont PORTEN

Department of Engineering, Physics and

Mathematics, Mid Sweden University

S-851 70 Sundsvall, Sweden

**E-mail:**[email protected]

**Received date:** January 10, 2007; **Revised date:** March 27, 2008

**Visit for more related articles at** Journal of Generalized Lie Theory and Applications

We study the problem whether CR functions on a sufficiently pseudoconcave CR manifold M extend locally across a hypersurface of M. The sharpness of the main result will be discussed by way of a counter-example.

It is a very classical fact that for a strictly (pseudo)convex real hypersurface H in holomorphic functions extend from the concave side across H. In the present note we will study the corresponding question for CR functions on embedded CR manifolds from a strictly local point of view.

All manifolds will be assumed to be smooth. Recall that a submanifold M of is
called CR manifold if the dimension of the complex tangent space does
not depend on denoting multiplication by the complex unit of In this
case, the complex tangent spaces form a bundle whose complex rank m is called
CR dimension of M, shortly m = CRdimM. A CR manifold is called generic if its
CR dimension is as small as real/complex linear algebra allows, i.e. if m = n − codimM. A
C^{1}-function f on M is called CR function if is J-linear. Locally one may express this
by a system of m independent linear first-order differential equations, allowing to interpret the
CR property in distributional sense. The space of continuous CR distributions on M will be
denoted by CR(M).

The nonintegrability of TcM is measured by the nonvanishing of the Levi form. For define the vector-valued Levi form by mod where is an arbitrary smooth section of extending X. It is easily verified that the expression is tensorial and yields a well defined mapping be the fiber of the characteristic bundle For nonzero we define the directional Levi form by Now a generic CR manifold M is called strictly/weakly q-concave if for every nonzero the hermitian form has at least q negative/nonpositive eigenvalues. Finally M is called strictly pseudoconvex if is strictly definite for some nonzero (see [9] for more on CR geometry).

Throughout we will work in the following setting: M will denote a smooth generic CR
manifold passing through the origin and H a smooth real hypersurface of intersecting M
transversally in the origin. Hence is a smooth hypersurface of M near 0. For
simplicity we will assume that the intersection is even J-generic, meaning that and are
transverse, or equivalently, that is itself a generic CR manifold near 0. For a distinguished
local side , we will consider subdomains whose boundary contains a neighborhood of 0 in . We ask whether CR functions on U^{+} extend to a uniform Mneighborhood
of 0.

Such extension cannot hold for strictly pseudoconvexM. In this case M can be, after a convenient
holomorphic coordinate change, locally imbedded into some strictly convex hypersurface.
This gives us plentiful functions with isolated peak points, destroying any hope for extension
(independently of the shape of H). If we assume H to be strictly pseudoconvex, a similar reason
excludes extension from domains U+ lying on the convex side. Our aim is to strive for weak
assumptions on M guaranteing extension under the hypothesis H is strictly pseudoconvex and
U^{+} lies on the concave side.

It can be seen that M is weakly 1-concave precisely if it is nowhere strictly pseudoconvex [4]. It is known that in this case one has extension phenomena for certain Dirichlet-type problems [3,4,10]. Interestingly, weak 1-concavity of M is not enough for our Cauchy-type problem (see Section 3). Our main result is the following.

**Theorem 1.1. **Let be a smooth generic weakly 2-concave CR manifold of CR dimension
m intersecting a smooth strictly pseudoconvex hypersurface J-generically in the origin.
Let be a relative domain, lying on the pseudoconcave side of H and containing in its
closure a neighborhood of the origin in .

Then there is an open neighborhood V of the origin
in M such that every continuous CR functions on U^{+} uniquely extends to a continuous CR
function on

In the strictly 2-concave case, this was proved in [8] by means of adapted integral formulas. Our approach will be very different, focusing on the geometry of related envelopes of holomorphy. In the weakly 2-concave case, Theorem 1.1 is even new for hypersurfaces. Here the reader may consult [10] for refinements for J-degenerate intersections.

In Section 3 we will see that Theorem 1.1 fails if M is only weakly 1-concave. Note that the CR orbits of M near 0 may be very complicated (see [9]). It is worth observing that in our situation we need no assumption on CR orbits. Compare this to global results in [2,10], where the situation is very different. Finally we remark that it should be a subtle task to sharpen the condition on significantly. Our arguments extend to the case where H is weakly pseudoconvex but satisfies a certain finite-type condition at 0 (see Remark 2.1). However, even for extendability of holomorphic functions from a given side of a real hypersurface of , finding a geometric characterization is a long-standing open problem.

After a quadratic holomorphic coordinate change, we may assume that H is strictly convex near the origin. After a unitary rotation, M writes as a smooth graph where The strategy is first to prove an extension result for holomorphic functions, and to conclude then by approximation techniques.

**Part 1: **Holomorphic extension. First we assume that we are to extend functions holomorphic
in a thin ambient domain containing Let (X, π) be the envelope of
holomorphy of . Recall that X is an n-dimensional complex manifold, a locally
biholomorphic map, and can be viewed as a subdomain of X via a canonical embedding satisfying the lifting property The fact that X is the maximal
domain over to which all holomorphic functions on extend simultaneously translates as
follows: (i) is a topological isomorphism from (extension) and
(ii) X is a Stein manifold (maximality). Since X is Stein there is a strictly plurisubharmonic
function such that is relatively compact in X for all (see [6,7,9]
for envelopes). Holomorphic extension from to a neighborhood of 0 is the content of the following claim: The mapping α extends as a lifting to an M-neighborhood V of the origin whose
size depends on U+, but not on the particular shape of

Let h(z) be a complex linear defining function of such that and
Re(h) increases along the direction pointing into the convex side. For ε > 0 small, we consider
the family is very small, then convexity of H and J-genericity
of is a weakly 1-concave generic CR submanifold of
B_{c} of CR dimension m−1 > 0 (topologically an (dimM −2)-ball), (ii) is either empty,
an isolated point or a compact ball. The latter means in particular that the boundaries of stay in We may furthermore assume The idea is now to use a
version of the continuity principle for subfamilies of the

To prove the claim it suffices to show that, for the union *M _{c}* lifts to X denoting the straight segment in between If this is not the case, then
there is a maximal half-open segment where such that lifts to X. Maximality of implies that sup Since the distance of the
boundaries of the to is positive, this implies that is nonconstant and has a
maximum in the interior whenever c is close to ˜c. This contradicts the subsequent maximum
principle, and the claim follows.

**Lemma 2.1.** Let D be a relatively compact domain in a smooth generic weakly 1-concave CR manifold If is a smooth strictly plurisubharmonic function defined near then we
have

This follows from [5]. For the sake of completeness we provide a short argument: If the same holds for a generic Morse perturbation which we may choose such that
has no critical points on is also Morse. Then has somewhere a quadratic
maximum touches the strictly pseudoconvex hypersurface in z_{0} from
the convex side and is therefore itself strictly pseudoconvex near z_{0}. The lemma follows.

In the sequel, we will need a simple a-priori estimate: Pick such that the intersection with the concave side of M is contained in U^{+} and that Applying the claim to the points of we see that the restriction of any to is bounded. Applying the claim with instead of , we obtain extension from to together with an estimate The estimate
immediately follows from the inclusion In fact, if we had then would still be holomorphic near B^{+} without being extendable along V .

Part 2: Approximation. CR extension will now be derived by an application of the
Baouendi-Treves approximation theorem ([1], see also [11]). Since is generic near the origin,
there is a smooth totally real n-dimensional submanifold We may include R into a
smooth foliation of an M-neighborhood of the origin such that (i) are smooth real functions with independent differentials, (ii) the parameter ˆs
ranges over some ball *U _{s}* around the origin in and (iii) s

For given as in Theorem 1.1, we may arrange that Pick furthermore a slightly smaller ball The constructions in Part 1 depend continuously on the data. If λ > 0 is sufficiently small, we can find an M-neighborhood V of 0 such that every function f holomorphic near possesses a holomorphic extension to an ambient neighborhood of satisfying

Let now be polynomials approximating Then converges
uniformly, hence also its restriction to V by the a-priori estimate. Thus the limit defines a
continuous CR function gV on V . Since P_{j} approaches g locally uniformly on g and gV glue into the desired extension. Uniqueness follows from general structure
theorems [11] or from a closer inspection of the approximation process. The proof of Theorem
1.1 is complete.

**Remark 2.1. **a) It is not very essential to work with continuous CR functions. If g is a CR
distribution on U^{+}, we may use a method from [1,11], to represent it on as where f is a continuous CR function on is a CR
variant of the Laplace operator and k is a sufficiently large integer. Now one first extends f by
Theorem 1.1 and obtains the desired extension as We omit the details.

b) The argument still works if H is only weakly pseudoconvex but possesses a supporting holomorphic hyperplane touching it (from the concave side) with finite-order contact at the origin. But, as mentioned in the introduction, it should be hard to obtain a sharp result.

c) One can reduce the number of strictly pseudoconvex directions required for H if one assumes weak q-concavity for M with q > 2 (compare [8]).

Our example will be a modification of the weakly but not strongly 1-concave hypersurface

Note that M0 is foliated by complex lines and the Levi form^{2} L has one zero eigenvalue at every Pick a smooth function which vanishes identically for and is strictly
convex for t > 0. We claim that the hypersurface

is weakly 1-concave in a neighborhood of the origin. To see this, we observe first that the term implies that the Levi form^{3} of is positive in the z_{2}-direction, which
is contained in Hence we have a positive direction at any close to the origin.
Secondly, we note that the slices

are concave graphs over the real hyperplane in Consequently the Levi form of must have a nontrivial nonpositive eigenvector tangent to M at any This implies the claim.

Next we verify that the hypersurface can be embedded into a strictly
pseudoconvex hypersurface H transverse to M. Note that the simplest candidate is only weakly pseudoconvex. Instead we try to construct H as a graph satisfying dh(0) = 0. The desired h is hence prescribed along These partial
data already imply that H will have positive Levi curvature in the z2-direction. But now it is
standard that we can produce a strictly pseudoconvex H by bending H_{0} near the origin strongly
enough along the y_{3}-direction into the pseudoconvex side (without changing *H _{M}*).

As a matter of fact, the complex hyperplanes do not intersect On the other hand, the intersection contains points in
an arbitrarily given neighborhood of the origin, if is sufficiently close to 0. Hence the
functions show that there is no local CR extension from M^{+} to a uniform
neighborhood of the origin.

We conclude with a remark on the envelope of V^{+}

**Remark 3.1. **Fix a domain. as in Theorem 1.1, and consider ambient open neighborhoods We observe that there is always holomorphic extension from through some
part of H. To this end, we construct small Bishop discs attached to the generic CR manifold
(see [9] for the disc method). Because of the strict pseudoconvexity of H the interior of the
discs will lie in the pseudoconvex side of H. If we deform together with the attached discs
into V^{+}, we obtain a one-sheeted part of X (the envelope of holomorphy of V^{+}) which passes
through H into the pseudoconvex side and contains the origin in its closure.

Note that the size of this part of X depends sensitively on the thickness of V^{+}. However the
disc argument shows that for every V^{+} the projection of the envelope to contains points on
the pseudoconvex side of distance to H bounded from below by some uniform positive constant.
Of course the above arguments show that there is no M-neighborhood of the origin lifting
simultaneously to all possible X. Intuitively speaking, the trouble is that the X lose the contact
to M at the origin.

This research builds on a part of the author’s habilitation thesis, supported by the Humboldt
University Berlin. I would like to thank *C. Denson* Hill, Christine Laurent-Thi´ebaut and J¨urgen
Leiterer for inspiring discussions on the topic.

^{1}Presented at the 3^{rd} Baltic-Nordic Workshop “Algebra, Geometry, and Mathematical Physics“, G¨oteborg, Sweden, October 11–13, 2007.

^{2}For hypersurfaces the characteristic bundle is one-dimensional. Hence the total and the directional Levi forms coincide essentially.

^{3}The Levi form of a function is The Levi form of a regular level set is
the restriction of

- BaouendiS, TrevesF (1981) A property of the functions and distributions annihilated by a locallyintegrable system of complex vector fields. Ann Math 113: 387–421.
- BrinkschulteJ (2006)The∂M-equation and the Hartogs phenomenon on weak q-pseudoconcave CR manifolds. Man uscripta Math 12: 181–192.
- HenkinGM (1984) The Hartogs-Bochner effect on CR manifolds. Soviet Math Dokl29: 78–82.
- HenkinGM, Michel V (2002) Principe de Hartogsdans les vari ́et ́es CR. J Math Pure Appl81: 1313–1395.
- HillCD,NacinovichM (1993)The topology of Stein CR manifolds and the Lefschetz theorem. Ann Inst Fourier 43: 459–486.
- H ̈ormanderL (1990) An Introduction to Complex Analysis in Several Variables.North-Holland.
- JarnickiM,FlugPP (2000) Extension of Holomorphic Functions.Walter de Gruyter.
- Laurent-Thi ́ebautC, LeitererJ (1995) Andreotti-Grauert Theory on Real Hypersurfaces.Quaderni,ScuolaNormaleSuperiore, Pisa.
- MerkerJ,PortenE (2006) Holomorphic extension of CR functions, envelopes of holomorphy, andremovable singularities. IMRS Intern Math Res Surv.
- PortenE (2004) Geometric Methods in the Study of CR Functions and Their Singularities.Habilitations-schrift, Berlin.
- TrevesF (1992) Hypoanalytic Structures: Local Theory. Princeton Univ Pres

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebra
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Combinatorics
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Deformations Theory
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Geometry
- Hamilton Mechanics
- Harmonic Analysis
- Homological Algebra
- Homotopical Algebra
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Latin Squares
- Lie Algebra
- Lie Superalgebra
- Lie Theory
- Lie Triple Systems
- Loop Algebra
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Operad Theory
- Physical Mathematics
- Quantum Group
- Quantum Mechanics
- Quantum electrodynamics
- Quasi-Group
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Representation theory
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Super Algebras
- Symmetric Spaces
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topologies
- Topology
- mirror symmetry
- vector bundle

- Total views:
**11808** - [From(publication date):

September-2008 - Dec 15, 2019] - Breakdown by view type
- HTML page views :
**8005** - PDF downloads :
**3803**

**Make the best use of Scientific Research and information from our 700 + peer reviewed, Open Access Journals**

International Conferences 2019-20