Canonical Melnikov theory for diffeomorphisms

We study perturbations of diffeomorphisms that have a saddle connection between a pair of normally hyperbolic invariant manifolds. We develop a first-order deformation calculus for invariant manifolds and show that a generalized Melnikov function or Melnikov displacement can be written in a canonical way. This function is defined to be a section of the normal bundle of the saddle connection. We show how our definition reproduces the classical methods of Poincar\'{e} and Melnikov and specializes to methods previously used for exact symplectic and volume-preserving maps. We use the method to detect the transverse intersection of stable and unstable manifolds and relate this intersection to the set of zeros of the Melnikov displacement.Comment: laTeX, 31 pages, 3 figure

Characteristic foliations on maximally real submanifolds of C^n and envelopes of holomorphy

Let S be an arbitrary real surface, with or without boundary, contained in a hypersurface M of the complex euclidean space \C^2, with S and M of class C^{2, a}, where 0 < a < 1. If M is globally minimal, if S is totally real except at finitely many complex tangencies which are hyperbolic in the sense of E. Bishop and if the union of separatrices is a tree of curves without cycles, we show that every compact K of S is CR-, W- and L^p-removable (Theorem~1.3). We treat this seemingly global problem by means of purely local techniques, namely by means of families of small analytic discs partially attached to maximally real submanifolds of C^n and by means of a thorough study of the relative disposition of the characteristic foliation with respect to the track on M of a certain half-wedge attached to M. This localization procedure enables us to answer an open problem raised by B. J\"oricke: under a certain nontransversality condition with respect to the characteristic foliation, we show that every closed subset C of a C^{2,a}-smooth maximally real submanifold M^1 of a (n-1)-codimensional generic C^{2,a}-smooth submanifold of \C^n is CR-, W- and L^p-removable (Theorem~1.2'). The known removability results in CR dimension at least two appear to be logical consequences of Theorem~1.2'. The main proof (65p.) is written directly in arbitrary codimension. Finally, we produce an example of a nonremovable 2-torus contained in a maximally real 3-dimensional maximally real submanifold, showing that the nontransversality condition is optimal for universal removability. Numerous figures are included to help readers who are not insiders of higher codimensional geometry.Comment: 113 pages, 24 figures, LaTe