Dupin hypersurfaces with four principal Curvatures,II

If M is an isoparametric hypersurface in a sphere S ⁿ with four distinct principal curvatures, then the principal curvatures κ₁, . . . , κ₄ can be ordered so that their multiplicities satisfy m ₁ = m ₂ and m ₃ = m ₄, and the cross-ratio r of the principal curvatures (the Lie curvature) equals −1. In this paper, we prove that if M is an irreducible connected proper Dupin hypersurface in R ⁿ (or S ⁿ ) with four distinct principal curvatures with multiplicities m ₁ = m ₂ ≥ 1 and m ₃ = m ₄ = 1, and constant Lie curvature r = −1, then M is equivalent by Lie sphere transformation to an isoparametric hypersurface in a sphere. This result remains true if the assumption of irreducibility is replaced by compactness and r is merely assumed to be constant.      

Preimages of CR submanifolds with generic holomorphic maps

We investigate the notion of CR transversality of a generic holomorphic map f: ℂ ⁿ → ℂ ^m to a smooth CR submanifold M of ℂ ^m . We construct a stratification of the set of non-CR transversal points in the preimage M′ = f ⁻¹ (M) by smooth submanifolds, consisting of points where the CR dimension of M′ is constant. We show the existence of a Whitney stratification for sets which are locally diffeomorphic to the product of an open set and an analytic set. Work on this paper was supported by ARRS, Republic of Slovenia.     

On Closed Weingarten Surfaces

We investigate closed surfaces in Euclidean 3-space satisfying certain functional relations κ = F(λ) between the principal curvatures κ, λ. In particular we find analytic closed surfaces of genus zero where F is a quadratic polynomial or F(λ) = cλ²ⁿ⁺¹. This generalizes results by H. Hopf on the case where F is linear and the case of ellipsoids of revolution where F(λ) = cλ³.     

On Closed Weingarten Surfaces

We investigate closed surfaces in Euclidean 3-space satisfying certain functional relations κ = F(λ) between the principal curvatures κ, λ. In particular we find analytic closed surfaces of genus zero where F is a quadratic polynomial or F(λ) = cλ²ⁿ⁺¹. This generalizes results by H. Hopf on the case where F is linear and the case of ellipsoids of revolution where F(λ) = cλ³.     

Laguerre expansion on the Heisenberg group and Fourier-Bessel transform on ?n

Given a principal value convolution on the Heisenberg group H _n = ℂ ⁿ × ℝ, we study the relation between its Laguerre expansion and the Fourier-Bessel expansion of its limit on ℂ ⁿ . We also calculate the Dirichlet kernel for the Laguerre expansion on the group H _n . Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

A Remark on a Theorem by Kodama and Shimizu

We prove a characterization theorem for the unit polydisc Δ ⁿ ⊂ℂ ⁿ in the spirit of a recent result due to Kodama and Shimizu. We show that if M is a connected n-dimensional complex manifold such that (i) the group Aut (M) of holomorphic automorphisms of M acts on M with compact isotropy subgroups, and (ii) Aut (M) and Aut (Δ ⁿ ) are isomorphic as topological groups equipped with the compact-open topology, then M is holomorphically equivalent to Δ ⁿ .      

On a class of Einstein hypersurfaces immersed in a Riemannian manifold

Let x:M→ be an isometric immersion of a hypersurface M into an (n+1)-dimensional Riemannian manifold and let ρ _i  (i∈{1,...,n}) be the principal curvatures of M. We denote by E and P the distinguished vector field and the curvature vector field of M, respectively, in the sense of [8].?If M is structured by a P-parallel connection [7], then it is Einsteinian. In this case, all the curvature 2-forms are exact and other properties induced by E and P are stated.?The principal curvatures ρ _i are isoparametric functions and the set (ρ₁,...,ρ _n ) defines an isoparametric system [10].?In the last section, we assume that, in addition, M is endowed with an almost symplectic structure. Then, the dual 1-form π=P ^♭ of P is symplectic harmonic. If M is compact, then its 2nd Betti number b ₂≥1. Received: April 7, 1999; in final form: January 7, 2000?Published online: May 10, 2001     

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.     

On the first pontrjagin class of homotopy complex projective spaces

Let M ²ⁿ be a closed smooth manifold homotopy equivalent to the complex projective space ℂP(n). It is known that the first Pontrjagin class p ₁(M) of M ²ⁿ has the form (n+1+24α(M))u ² for some integer α(M) where u is a generator of H ²(M; ℤ). We prove that α(M) is even when n is even but not divisible by 64.     

On hypersurfaces with two distinct principal curvatures in space forms

We investigate the immersed hypersurfaces in space forms ℕ ^n + 1(c), n ≥ 4 with two distinct non-simple principal curvatures without the assumption that the (high order) mean curvature is constant. We prove that any immersed hypersurface in space forms with two distinct non-simple principal curvatures is locally conformal to the Riemannian product of two constant curved manifolds. We also obtain some characterizations for the Clifford hypersurfaces in terms of the trace free part of the second fundamental form.     

Feuilletages holomorphes locaux et analyticité partielle d'applications C ∞

 Let f : M → M′ be a smooth CR mapping between a generic real analytic submanifold M ⊂ ℂ ⁿ , n > 1, and a real analytic subset M′ ⊂ ℂ ^n′ . We prove that if M is minimal and if M′ does not contain any complex curves, then f is analytic on a dense open subset of M. More generally, we establish an upper estimate of the partial analyticity of f, which depends on the maximal dimension of local holomorphic foliations contained in M ^′ . Received: 7 August 2001 Mathematics Subject Classification (2000): 32V25, 32V40, 32H99     

SO（n）-Invariant Special Lagrangian Submanifolds of C^n＋l with Fixed Loci

Abstract Let SO(n) act in the standard way on ℂⁿ and extend this action in the usual way to ℂⁿ⁺¹ = ℂ ⊕ ℂⁿ. It is shown that a nonsingular special Lagrangian submanifold L ⊂ ℂⁿ⁺¹ that is invariant under this SO(n)-action intersects the fixed ℂ ⊂ ℂⁿ⁺¹ in a nonsingular real-analytic arc A (which may be empty). If n > 2, then A has no compact component. Conversely, an embedded, noncompact nonsingular real-analytic arc A ⊂ ℂ lies in an embedded nonsingular special Lagrangian submanifold that is SO(n)-invariant. The same existence result holds for compact A if n = 2. If A is connected, there exist n distinct nonsingular SO(n)-invariant special Lagrangian extensions of A such that any embedded nonsingular SO(n)-invariant special Lagrangian extension of A agrees with one of these n extensions in some open neighborhood of A. The method employed is an analysis of a singular nonlinear PDE and ultimately calls on the work of Gérard and Tahara to prove the existence of the extension. * Project supported by Duke University via a research grant, the NSF via DMS-0103884, the Mathematical Sciences Research Institute, and Columbia University. (Dedicated to the memory of Shiing-Shen Chern, whose beautiful works and gentle encouragement have had the most profound influence on my own research)     

The lagrange intersections for (ℂP n , ℝP n )

Summary If (M, ω) is a compact symplectic manifold andL ⊂M a compact Lagrangian submanifold and if φ is a Hamiltonian diffeomorphism ofM then the V. Arnold conjecture states (possibly under additional conditions) that the number of intersection section points ofL and φ (L) can be estimated by #{Lϒφ (L)}≥ cuplength +1. We shall prove this conjecture for the special case (L, M)=(ℝP ⁿ , ℂP ⁿ ) with the standard symplectic structure.     

Integral formulas for closed spacelike hypersurfaces in anti-de Sitter space <Emphasis Type="Italic">H</Emphasis><Stack><Subscript>1</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript></Stack> (−1)

In this paper, we study closed k-maximal spacelike hypersurfaces M ⁿ in anti-de Sitter space H ₁ ⁿ⁺¹ (−1) with two distinct principal curvatures and give some integral formulas about these hypersurfaces. The first author was supported by Japan Society for Promotion of Science. The third author was supported by grant Proj. No. R17-2008-001-01000-0 from Korea Science & Engineering Foundation.     

On the Equicontinuity Region of Discrete Subgroups of <Emphasis Type="Italic">PU</Emphasis>(1,<Emphasis Type="Italic">n</Emphasis>)

Let G be a discrete subgroup of PU(1,n). Then G acts on ℙ_ℂ ⁿ preserving the unit ball ℍ_ℂ ⁿ , where it acts by isometries with respect to the Bergman metric. In this work we look at its action on all of ℙ_ℂ ⁿ and determine its equicontinuity region Eq(G). This turns out to be the complement of the union of all complex projective hyperplanes in ℙ_ℂ ⁿ which are tangent to ∂ℍ_ℂ ⁿ at points in the Chen-Greenberg limit set Λ(G), a closed G-invariant subset of ∂ℍ_ℂ ⁿ which is minimal for non-elementary groups. We also prove that the action on Eq(G) is discontinuous. Also , if the limit set is “sufficiently general” (i.e. it is not contained in any proper k -chain), then each connected component of Eq(G) is a holomorphy domain and it is a complete Kobayashi hyperbolic space.     

Explicit expression of Cartan’s connection for Levi-nondegenerate 3-manifolds in complex surfaces,and identification of the Heisenberg sphere

We study effectively the Cartan geometry of Levi-nondegenerate C ⁶-smooth hypersurfaces M ³ in ℂ². Notably, we present the so-called curvature function of a related Tanaka-type normal connection explicitly in terms of a graphing function for M, which is the initial, single available datum. Vanishing of this curvature function then characterizes explicitly the local biholomorphic equivalence of such M ³ ⊂ ℂ² to the Heisenberg sphere ℍ³, such M’s being necessarily real analytic.     

Integrable Submanifolds in Almost Complex Manifolds

Let (M,J) be a germ of an almost complex manifold of real dimension 2m and let n (n<m) be an integer. We study a necessary and sufficient condition for M to admit an integrable submanifold N of complex dimension n. If n=m−1, we find defining functions of N explicitly from the coefficients of the torsion tensor. For J obtained by small perturbation of the standard complex structure of ℂ ^m this condition is given as an overdetermined system of second order PDEs on the perturbation. The proof is based on the rank conditions of the Nijenhuis tensor and application of the Newlander-Nirenberg theorem. We give examples of almost complex structures on ℂ³: the ones with a single complex submanifold of dimension 2 and the ones with 1-parameter or 2-parameter families of complex submanifolds of dimension 2.     

A new technique of integral representations in ?n

A new technique of integral representations in ℂ ⁿ , which is different from the well-known Henkin technique, is given. By means of this new technique, a new integral formula for smooth functions and a new integral representation of solutions of the ∂-equations on strictly pseudoconvex domains in ℂ ⁿ are obtained. These new formulas are simpler than the classical ones, especially the solutions of the ∂-equations admit simple uniform estimates. Moreover, this new technique can be further applied to arbitrary bounded domains in ℂ ⁿ so that all corresponding formulas are simplified.     

Constant mean curvature hypersurfaces with two principal curvatures in a sphere

In this paper we consider a compact oriented hypersurface M ⁿ with constant mean curvature H and two distinct principal curvatures λ and μ with multiplicities (n − m) and m, respectively, immersed in the unit sphere S ⁿ⁺¹. Denote by the trace free part of the second fundamental form of M ⁿ , and Φ be the square of the length of . We obtain two integral formulas by using Φ and the polynomial . Assume that B _H,m is the square of the positive root of P _H,m (x) = 0. We show that if M ⁿ is a compact oriented hypersurface immersed in the sphere S ⁿ⁺¹ with constant mean curvatures H having two distinct principal curvatures λ and μ then either or . In particular, M ⁿ is the hypersurface .      

Constant mean curvature hypersurfaces with two principal curvatures in a sphere

In this paper we consider a compact oriented hypersurface M ⁿ with constant mean curvature H and two distinct principal curvatures λ and μ with multiplicities (n − m) and m, respectively, immersed in the unit sphere S ⁿ⁺¹. Denote by f_ij{\phi_{ij}} the trace free part of the second fundamental form of M ⁿ , and Φ be the square of the length of f_ij{\phi_{ij}} . We obtain two integral formulas by using Φ and the polynomial P_H,m(x)=x²+ \fracn(n-2m)?{nm(n-m)}H x -n(1+H²){P_{H,m}(x)=x^{2}+ \frac{n(n-2m)}{\sqrt{nm(n-m)}}H x -n(1+H^{2})} . Assume that B _H,m is the square of the positive root of P _H,m (x) = 0. We show that if M ⁿ is a compact oriented hypersurface immersed in the sphere S ⁿ⁺¹ with constant mean curvatures H having two distinct principal curvatures λ and μ then either F = B_H,m{\Phi=B_{H,m}} or F = B_H,n-m{\Phi=B_{H,n-m}} . In particular, M ⁿ is the hypersurface S^n-m(r)×S^m(?{1-r²}){S^{n-m}(r)\times S^{m}(\sqrt{1-r^{2}})} .