Finite jet determination of CR embeddings

We prove finite jet determination results for smooth CR embeddings, which are of constant degeneracy, using the method of complete systems. As an application, we obtain a reflection principle for mappings between a Levinondegenerate hypersurface in ℂ ^N and a Levinondegenerate hypersurface in ℂ ^N+1.We also give an independent proof of the reflection principle for mappings between strictly pseudoconvex hypersurfaces in any codimension due to Forstneric [14].     

Determination of formal CR mappings by a finite jet

We prove that if M is a connected real-analytic holomorphically nondegenerate hypersurface in Cn+1, then for any point p∈M there exists an integer k such that any two germs at p of local biholomorphic mappings that send M into itself and whose k-jets agree at p are identical.The above is a special case of a more general theorem stated for formal hypersurfaces that gives a finite jet determination result for the class of formal mappings whose Jacobian determinant does not vanish identically.     

1-quasiconformal mappings on a （2,2）-type quadric

This paper gets the Beltrami equations satisfied by a 1-quasiconformal mapping, which are exactly CR or anti-CR equations on （2,2）-type quadric Q0. This means a 1-quasiconformal mapping on Q0 is CR or anti-CR. This reduces the determination of 1- quasiconformal mappings to a problem on the theory of several complex analysis. The result about the group of CR automorphisms is used to determine the unit component of group of 1-quasiconformal mappings.     

Regularity of CR mappings

Sloan Fellow, partially supported by NSF grant DMS 8619858     

Finite element analysis of multi-particle impact on erosion in abrasive water jet machining of titanium alloy

Abrasive water jets (AWJs) are finding growing applications for machining a wide range of difficult-to-machine materials such as titanium alloys, stainless steel, metal matrix and fibre reinforced composites, etc. Current applications of AWJs include machining of Titanium alloys for aircraft components and bio-medical implants to removal of aircraft engine coatings. This paper presents the application of an elasto-plastic model based explicit finite element analysis (FEA) to model the erosion behaviour in abrasive water jet machining (AWJM). The novelty of this work includes FE modelling of the effect of multiple (twenty) particle impact on erosion of Grade 5 Titanium alloy (Ti-6Al-4V). The influence of abrasive particle impact angle and velocity on the crater sphericity and depth, and erosion rate has been investigated. The FE model has been validated for stainless steel and yields largely improved results. Further, the same FEA approach has been extended to model the multi-particle impact erosion behaviour of Titanium alloy.     

Finite jet determination of local analytic CR automorphisms and their parametrization by 2-jets in the finite type case

We show that germs of local real-analytic CR automorphisms of a real-analytic hypersurface M in $\mathbb{C}$² at a point p M are uniquelydetermined by their jets of some finite order at p if and only if M is not Levi-flat near p. This seems to be the first necessary and sufficient result on finite jet determination and the first result of this kind in the infinite type case.If M is of finite type at p, we prove a stronger assertion: the local real-analytic CR automorphisms of M fixing p are analytically parametrized (and hence uniquely determined) by their 2-jets at p. This result is optimal since the automorphisms of the unit sphere are not determined by their 1-jets at a point of the sphere. The finite type condition is necessary since otherwise the needed jet order can be arbitrarily high [Kow1,2], [Z2]. Moreover, we show, by an example, that determination by 2-jets fails for finite type hypersurfaces already in $\mathbb{C)$³.We also give an application to the dynamics of germs of local biholomorphisms of $\mathbb{C)$².     

CR Runge Sets on Hypersurface Graphs

This work contains an improvement of earlier results of Boggess and Dwilewicz regarding global approximation of CR functions by entire functions in the case of hypersurface graphs. In this work, we show that if ω, an open subset of a real hypersurface in ℂ ⁿ , can be graphed over a convex subset in ℝ²ⁿ⁻¹, then ω is CR-Runge in the sense that continuous CR functions on ω can be approximated by entire functions on ℂ ⁿ in the compact open topology of ω. Examples are presented to show that this approximation result does not hold for graphed CR submanifolds in higher codimension. R. Dwilewicz is partially supported by the Polish Science Foundation (KBN) grant N201 019 32/805.     

CR extension from hypersurfaces of higher type

We prove extension of CR functions from a hypersurface M of CN in presence of the so-called sector property. If M has finite type in the Bloom-Graham sense, then our result is already contained in [C. Rea, Prolongement holomorphe des fonctions CR, conditions suffisantes, C. R. Acad. Sci. Paris 297 (1983) 163-166] by Rea. We think however, that the argument of our proof carries an expressive geometric meaning and deserves interest on its own right. Also, our method applies in some case to hypersurfaces of infinite type; note that for these, the classical methods fail. CR extension is treated by many authors mainly in two frames: extension in directions of iterated of commutators of CR vector fields (cf., for instance, [A. Boggess, J. Pitts, CR extension near a point of higher type, Duke Math. J. 52 (1) (1985) 67-102; A. Boggess, J.C. Polking, Holomorphic extension of CR functions, Duke Math. J. 49 (1982) 757-784. [4]; M.S. Baouendi, L. Rothschild, Normal forms for generic manifolds and holomorphic extension of CR functions, J. Differential Geom. 25 (1987) 431-467. [1]]); extension through minimality towards unprecised directions [A.E. Tumanov, Extension of CR-functions into a wedge, Mat. Sb. 181 (7) (1990) 951-964. [6]; A.E. Tumanov, Analytic discs and the extendibility of CR functions, in: Integral Geometry, Radon Transforms and Complex Analysis, Venice, 1996, in: Lecture Notes in Math., vol. 1684, Springer, Berlin, 1998, pp. 123-141].     

On partial analyticity of CR mappings

We study the problem of holomorphic extension of a smooth CR mapping from a real analytic hypersurface to a real algebraic set in complex spaces of different dimensions. Received November 26, 1998; in final form March 23, 1999 / Published online October 11, 2000     

Number-theoretic properties of certain CR mappings

We first prove a uniqueness result for certain group-invariant CR mappings to hyperquadrics. For cyclic groups these mappings lead to a collection of polynomials ƒ_p,q (with integer coefficients) in two variables; here p and q are positive integers. We use the uniqueness result to prove some surprising number-theoretic results about the ƒ_p,q, in particular, ƒ_p,q is congruent to x^P + y^P modulo (p) (for P ≥ 2) if and only if p is prime. We also determine recurrence relations for these polynomials for q ≤ 3 and determine a functional equation for a generating function. Finally, we discuss the invariant polynomials that arise for certain representations of dihedral groups to illustrate the non-Abelian case.     

Analytic Discs and Extension of CR Functions

Let M be a manifold of X = C ⁿ , A a small analytic disc attached to M, z ^o a point of A where A is tangent to M, z ¹ another point of A where M extends to a germ of manifold M ₁ with boundary M. We prove that CR functions on M which extend to M ₁ at z ¹ also extend at z ^o to a new manifold M ₂. The directions M ₁ and M ₂ point to, are related by a sort of connection associated to A which is dual to the connection obtained by attaching 'partial analytic lifts' of A to the co-normal bundle to M in X.     

Extremal polygonal quasiconformal mappings and biLipschitz mappings

We show that the extremal polygonal quasiconformal mappings are biLipschitz with respect to the hyperbolic metric in the unit disk.     

Flatness of CR submanifolds in a sphere

In Euclidean geometry, for a real submanifold M in E n+a , M is a piece of E n if and only if its second fundamental form is identically zero. In projective geometry, for a complex submanifold M in CP n+a , M is a piece of CP n if and only if its projective second fundamental form is identically zero. In CR geometry, we prove the CR analogue of this fact in this paper.     

Isolated complex singularities and their CR links

In this paper, we discuss some recent studies on the complex structure of an isolated normal singularity by using the information from its link. We also give some open problems to be further pursued. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

Regularity of CR mappings between algebraic hypersurfaces

Oblatum 8-VI-1995 & 18-X-1995     

CR Hypersurfaces with a Contracting Automorphism

Let M be a real analytic CR hypersurface in ℂ ⁿ⁺¹ admitting no varieties of positive dimension. We show first that every contracting local CR automorphism of M is linearizable. As a consequence, we show that such M admitting a contracting local CR automorphism is holomorphically equivalent to a weighted homogeneous hypersurface. Finally, we apply these results to prove that a bounded domain in ℂ ⁿ⁺¹ with a real analytic boundary admitting an automorphism contracting at a boundary point must admit a Lie subgroup of real dimension at least two in its automorphism group. Research of the first named author is partially supported by The Grant R01-2005-000-10771-0 of The Korea Science and Engineering Foundation.     

Smooth hypersurfaces with a CR contraction

In this paper we show that a C^∞ real hypersurface in Cn+1 of finite D'Angelo type admitting a weakly contracting local CR automorphism is CR equivalent to a weighted homogeneous hypersurface. As an application, we show that a bounded pseudoconvex domain in Cn+1 with C^∞ boundary of finite D'Angelo type with a hyperbolic orbit accumulation point is biholomorphically equivalent to a domain defined by a weighted homogeneous polynomial.     

CR deformations for rational homogeneous surface singularities

In this paper, we will present a CR-construction of the versal deformations of the singularities Vn(?)C2/Zn, n∈{2,3,4,…} defined by the immersions of C2 into Cn 1 Xn:(z,w)→(zn,zn-1w…,zwn-1,wn).     

Remarks on the rank properties of formal CR maps

We prove several new transversality results for formal CR maps between formal real hypersurfaces in complex space. Both cases of finite and infinite type hypersurfaces are tackled in this note. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday