BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

M. S. Baouendi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.CV

Catalog footprint

Research overview

3works
1topics
3close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

3 publications

preprint1997arXiv

Parametrization of local biholomorphisms of real analytic hypersurfaces

Let MM be a real analytic hypersurface in $\bC^N$ which is finitely nondegenerate, a notion that can be viewed as a generalization of Levi nondegenerate, at p0∈Mp_0\in M. We show that if M′M' is another such hypersurface and p0′∈M′p'_0\in M', then the set of germs at p0p_0 of biholomorphisms HH with H(M)⊂M′H(M)\subset M' and H(p0)=p0′H(p_0)=p'_0, equipped with its natural topology, can be naturally embedded as a real analytic submanifold in the complex jet group of $\bC^N$ of the appropriate order. We also show that this submanifold is defined by equations that can be explicitly computed from defining equations of MM and M′M'. Thus, (M,p0)(M,p_0) and (M′,p0′)(M',p'_0) are biholomorphically equivalent if and only if this (infinite) set of equations in the complex jet group has a solution. Another result obtained in this paper is that any invertible formal map HH that transforms (M,p0)(M,p_0) to (M′,p0′)(M',p'_0) is convergent. As a consequence, (M,p0)(M,p_0) and (M′,p0′)(M',p'_0) are biholomorphically equivalent if and only if they are formally equivalent.

Open access
preprint1995arXiv

Algebraicity of holomorphic mappings between real algebraic sets in Cn{\bold C}^n

We give conditions under which a germ of a holomorphic mapping in CN\Bbb C^N, mapping an irreducible real algebraic set into another of the same dimension, is actually algebraic. Let $A\subset \bC^N$ be an irreducible real algebraic set. Assume that there exists $\po \in A$ such that AA is a minimal, generic, holomorphically nondegenerate submanifold at $\po$. We show here that if HH is a germ at p1∈Ap_1 \in A of a holomorphic mapping from $\bC^N$ into itself, with Jacobian HH not identically 00, and H(A)H(A) contained in a real algebraic set of the same dimension as AA, then HH must extend to all of $\bC^N$ (minus a complex algebraic set) as an algebraic mapping. Conversely, we show that for any ``model case'' (i.e., AA given by quasi-homogeneous real polynomials), the conditions on AA are actually necessary for the conclusion to hold.

Open access
preprint1995arXiv

Regularity of CR mappings between algebraic hypersurfaces

We prove that if MM and M′M' are algebraic hypersurfaces in CN C^ N, i.e. both defined by the vanishing of real polynomials, then any sufficiently smooth CR mapping with Jacobian not identically zero extends holomorphically provided the hypersurfaces are holomorphically nondegenerate . Conversely, we prove that holomorphic nondegeneracy is necessary for this property of CR mappings to hold. For the case of unequal dimensions, we also prove that if MM is an algebraic hypersurface in CN C^N which does not contain any complex variety of positive codimension and M′M' is the sphere in CN+1 C^{N+1 } , then extendability holds for all CR mappings with certain minimal a priori regularity. Theorem A. Let MM and M′M' be two algebraic hypersurfaces in CNC^N and assume that MM is connected and holomorphically nondegenerate. If HH is a smooth CR mapping from MM to M′M' with JacH≢0 Jac H \not\equiv 0, where JacHJac H is the Jacobian determinant of HH, then HH extends holomorphically in an open neighborhood of MM in CN C^N. A recent example given by Ebenfelt shows that the conclusion of Theorem A need not hold if MM is real analytic, but not algebraic. Theorem B. Let MM be a connected real analytic hypersurface in CNC^N which is holomorphically degenerate at some point p1p_1. Let p0∈Mp_0 \in M and suppose there exists a germ at p0p_0 of a smooth CR function on MM which does not extend holomorphically to any full neighborhood of p0p_0 in CNC^N. Then there exists a germ at p0p_0 of a smooth CR diffeomorphism from MM into itself, fixing p0p_0, which does not extend holomorphically to any neighborhood of p0p_0 in CNC^N. Theorem C. Let M⊂CNM\subset C^N be an algebraic hypersurface. Assume that there is no nontrivial complex analytic variety contained in MM through p0∈Mp_0 \in M, and let m=mp0m=m_{p_0} be the D'Angelo type. If H:M→S2N+1⊂CN+1H: M \to S^{2N+1}\subset C^{N+1} is a CR map of class CmC^m, where S2N+1S^{2N+1} denotes the boundary of the unit ball in CN+1C^{N+1 }, then HH admits a holomorphic extension in a neighborhood of p0p_0.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.