Arxiv:Math/0701531V1 [Math.CV] 19 Jan 2007 2X,3D0 21,3D0 22,3H2 24,3T5 32T 32V40
Total Page:16
File Type:pdf, Size:1020Kb
HOLOMORPHIC EXTENSION OF CR FUNCTIONS, ENVELOPES OF HOLOMORPHY, AND REMOVABLE SINGULARITIES JOEL¨ MERKER AND EGMONT PORTEN D´epartement de Math´ematiques et Applications, UMR 8553 du CNRS, Ecole´ Normale Sup´erieure, 45 rue d’Ulm, F-75230 Paris Cedex 05, France. [email protected] http://www.cmi.univ-mrs.fr/ merker/index.html ∼ Department of Engineering, Physics and Mathematics, Mid Sweden University, Campus Sundsvall, S-85170 Sundsvall, Sweden [email protected] Table of contents (7 main parts) I.Introduction ..................................... ...............................................I. II. Analytic vector field systems, formal CR mappings and local CR automorphism groups .......... II. III. Sussman’s orbit theorem, locally integrable systems of vector fields and CR functions ...........III. IV. Hilbert transform and Bishop’s equation in Holderspaces¨ ......................................IV. V. Holomorphic extension of CR functions . .........................................V. VI.Removable singularities .......................... ............................................VI. [0+3+7+1+19+7 diagrams] IMRS International Mathematics Research Surveys Volume 2006, Article ID 28295, 287 pages arXiv:math/0701531v1 [math.CV] 19 Jan 2007 www.hindawi.com/journals/imrs Date: 2008-2-2. 2000 Mathematics Subject Classification. Primary: 32-01, 32-02. Secondary: 32Bxx, 32Dxx, 32D10, 32D15, 32D20, 32D26, 32H12, 32F40, 32T15, 32T25, 32T27, 32Vxx, 32V05, 32V10, 32V15, 32V25, 32V35, 32V40. 1 2 JOEL¨ MERKER AND EGMONT PORTEN I: Introduction 1.1. CR extension theory. In the past decades, remarkable progress has been accomplished towards the understanding of compulsory extendability of holomorphic functions, of CR functions and of differential forms. These phenomena, whose exploration is still active in current research, originate from the seminal Hartogs-Bochner extension theorem. In local CR extension theory, the most satisfactory achievement was the discovery that, on a smooth embedded generic submanifold M Cn, there is a precise correspondence between CR orbits of M and families⊂ of small Bishop discs attached to M. Such discs covera substantialpart of the poly- nomial hull of M, and in most cases, this part may be shown to constitute a global one-sided neighborhood ±(M) of M, if M is a hypersurface, or else a wedgelike domain attachedV to M, if M has codimension > 2. A local polynomial approximationW theorem, or a CR version of the Konti- nuit¨atssatz (continuity principle) assures that CR functions automatically extend holomorphically to such domains , which are in addition con- tained in the envelope of holomorphy of arbitrarilyW thin neighborhoods of M in Cn. Tr´epreau in the hypersurface (1986) case and slightly after Tumanov in arbitrary codimension (1988) established a nowadays celebrated extension theorem: if M Cn is a sufficiently smooth ( 2 or 2,α suffices) generic submanifold, then⊂ at every point p M whoseC localC CR orbit loc (M,p) ∈ OCR has maximal dimension equal to dim M, there exists a local wedge p of edge M at p to which continuous CR functions extend holomorphicallyW . Several reconstructions and applications of this groundbreaking result, to- gether with surveys about the local Bishop equation have already appeared in the literature. Propagational aspects of CR extension theory are less known by con- temporary experts of several complex variables, but they lie deeper in the theory. Using FBI transform and concepts of microlocal analysis, Tr´epreau showed in 1990 that holomorphic extension to a wedge propagates along curves whose velocity vector is complex-tangential to M. His conjecture that extension to a wedge should hold at every point of a generic subman- ifold M Cn consisting of a single global CR orbit has been answered independently⊂ by J¨oricke and by the first author in 1994, using tools intro- duced previously by Tumanov. To the knowledge of the two authors, there is no survey of these global aspects in the literature. The first main objective of the present survey is to expose the techniques underlying these results in a comprehensive and unified way, emphasizing HOLOMORPHIC EXTENSIONS AND REMOVABLE SINGULARITIES 3 propagational aspects of embedded CR geometry and discussing optimal smoothness assumptions. Thus, topics that are necessary to build the the- ory from scratch will be selected and accompanied with thorough proofs, whereas other results that are nevertheless central in CR geometry will be presented in concise survey style, without any proof. The theory of CR extension by means of analytic discs combines var- ious concepts emanating mainly from three (wide) mathematical areas: Harmonic analysis, Partial differential equations and Complex analysis in several variables. As the project evolved, we felt the necessity of being conceptional, extensive and systematic in the restitution of (semi)known results, so that various contributions to the subject would recover a cer- tain coherence and a certain unity. With the objective of adressing to a younger audience, we decided to adopt a style accessible to doctoral can- didates working on a dissertation. Parts III, IV and V present elementarily general CR extension theory. Also, most sections of the text may be read independently by experts, as quanta of mathematical information. 1.2. Concise presentation of the contents. The survey text is organized in six main parts. Actually, the present brief introduction constitutes the first and shortest one. Although the reader will find a “conceptional summary- introduction” at the beginning of each part, a few descriptive words ex- plaining some of our options governing the reconstruction of CR extension theory (Parts III, IV and V) are welcome. The next Part II is independent of the others and can be skipped in a first reading. It opens the text, because it is concerned with propagational aspects of analytic CR structures, better understood than the smooth ones. In Part III, exclusively concerned with the smooth category, Sussmann’s orbit• theorem and its consequences are first explained in length. Involu- tive structures and embedded CR manifolds, together with their elementary properties, are introduced. Structural properties of finite type structures, of CR orbits and of CR functions are presented without proofs. As a collec- tion of background material, this part should be consulted first. In Part IV, fundamental results about singular integral operators in the complex• plane are first surveyed. Explicit estimates of the norms of the Cauchy, of the Schwarz and of the Hilbert transforms in the H¨older spaces κ,α are provided. They are useful to reconstruct the main Theo- rem 3.7(IV),C due to Tumanov, which asserts the existence of unique so- lutions to a parametrized Bishop-type equation with an optimal loss of smoothness with respect to parameters. Following Bishop’s constructive philosophy, the smallness of the constants insuring existence is precised 4 JOEL¨ MERKER AND EGMONT PORTEN explicitly, thanks to sharp norm inequalities in H¨older spaces. This part is meant to introduce interested readers to further reading of Tumanov’s recent works about extremal (pseudoholomorphic) discs in higher codi- mension. In Part V, CR extension theory is first discussed in the hypersurface case. A• simplified proof of wedge extendability that treats both locally minimal and globally minimal generic submanifolds on the same footing constitutes the main Theorem 4.12(V): If M is a globally minimal 2,α (0 <α< C 1) generic submanifold of Cn of codimension > 1 and of CR dimension > 1, there exists a wedgelike domain attached to M such that every 0 W continuous CR function f CR(M) possesses a holomorphic extension 0 ∈ C F ( ) (M ) with F M = f. The figures are intended to share the∈ geometric O W ∩C insight∪W of experts in| higher codimensional geometry. In fact, throughout the text, diagrams (33 in sum) facilitating readabil- ity (especially of Part V) are included. Selected open questions and open problems (16 in sum) are formulated. They are systematically inserted in the right place of the architecture. The sign “[ ]” added after one or sev- eral bibliographical references in a statement (Problem,∗ Definition, Theo- rem, Proposition, Lemma, Corollary, Example, Open question and Open problem, e.g. Theorem 1.11(I)) indicates that, compared to the existing literature, a slight modification or a slight improvement has been brought by the two authors. Statements containing no bibliographical reference are original and appear here for the first time. We apologize for having not treated some central topics of CR geometry that also involve propagation of holomorphicity, exempli gratia the geo- metric reflection principle, in the sense of Pinchuk, Webster, Diederich, Fornæss, Shafikov and Verma. By lack of space, embeddability of abstract CR structures, polynomial hulls, Bishop discs growing at elliptic complex tangencies, filling by Levi-flat surfaces, Riemann-Hilbert boundary value problems, complex Plateau problem in K¨ahler manifolds, partial indices of analytic discs, pseudoholomorphic discs, etc. are not reviewed either. Certainly, better experts will fill this gap in the near future. To conclude this introductory presentation, we believe that, although un- easy to build, surveys and syntheses play a decisive rˆole in the evolution of mathematical subjects. For instance, in the last decades, the remarkable de- velopment of ∂ techniques and of L2 estimates has been regularly accom- panied by monographs and panoramas, some of which became