Focal sets and real hypersurfaces in complex projective space

Authors:
Thomas E. Cecil and Patrick J. Ryan

Journal:
Trans. Amer. Math. Soc. **269** (1982), 481-499

MSC:
Primary 53C40; Secondary 53C15

DOI:
https://doi.org/10.1090/S0002-9947-1982-0637703-3

MathSciNet review:
637703

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a real submanifold of , and let denote the complex structure. We begin by finding a formula for the location of the focal points of in terms of its second fundamental form. This takes a particularly tractable form when is a complex submanifold or a real hypersurface on which is a principal vector for each unit normal to . The rank of the focal map onto a sheet of the focal set of is also computed in terms of the second fundamental form. In the case of a real hypersurface on which is principal with corresponding principal curvature , if the map onto a sheet of the focal set corresponding to has constant rank, then that sheet is a *complex* submanifold over which is a tube of constant radius (Theorem 1). The other sheets of the focal set of such a hypersurface are given a real manifold structure in Theorem 2. These results are then employed as major tools in obtaining two classifications of real hypersurfaces in . First, there are no totally umbilic real hypersurfaces in , but we show:

Theorem 3. *Let* *be a connected real hypersurface in* , , *with at most two distinct principal curvatures at each point. Then* *is an open subset of a geodesic hypersphere*. Secondly, we show that there are no Einstein real hypersurfaces in and characterize the geodesic hyperspheres and two other classes of hypersurfaces in terms of a slightly less stringent requirement on the Ricci tensor in Theorem 4.

**[1]**William M. Boothby,*An introduction to differentiable manifolds and Riemannian geometry*, Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], New York-London, 1975. Pure and Applied Mathematics, No. 63. MR**0426007****[2]**Thomas E. Cecil,*Taut immersions of noncompact surfaces into a Euclidean 3-space*, J. Differential Geometry**11**(1976), no. 3, 451–459. MR**0438360****[3]**Thomas E. Cecil,*Geometric applications of critical point theory to submanifolds of complex projective space*, Nagoya Math. J.**55**(1974), 5–31. MR**0350672****[4]**Thomas E. Cecil and Patrick J. Ryan,*Focal sets of submanifolds*, Pacific J. Math.**78**(1978), no. 1, 27–39. MR**513280****[5]**Thomas E. Cecil and Patrick J. Ryan,*Focal sets, taut embeddings and the cyclides of Dupin*, Math. Ann.**236**(1978), no. 2, 177–190. MR**503449**, https://doi.org/10.1007/BF01351390**[6]**Bang-Yen Chen,*Extrinsic spheres in Riemannian manifolds*, Houston J. Math.**5**(1979), no. 3, 319–324. MR**559971****[7]**Bang-yen Chen and Koichi Ogiue,*Two theorems on Kaehler manifolds*, Michigan Math. J.**21**(1974), 225–229 (1975). MR**0367884****[8]**Aaron Fialkow,*Hypersurfaces of a space of constant curvature*, Ann. of Math. (2)**39**(1938), no. 4, 762–785. MR**1503435**, https://doi.org/10.2307/1968462**[9]**Shoshichi Kobayashi and Katsumi Nomizu,*Foundations of differential geometry. Vol I*, Interscience Publishers, a division of John Wiley & Sons, New York-London, 1963. MR**0152974****[10]**Masahiro Kon,*Pseudo-Einstein real hypersurfaces in complex space forms*, J. Differential Geom.**14**(1979), no. 3, 339–354 (1980). MR**594705****[11]**Yoshiaki Maeda,*On real hypersurfaces of a complex projective space*, J. Math. Soc. Japan**28**(1976), no. 3, 529–540. MR**0407772**, https://doi.org/10.2969/jmsj/02830529**[12]**Katsumi Nomizu,*Élie Cartan’s work on isoparametric families of hypersurfaces*, Differential geometry (Proc. Sympos. Pure Math., Vol. XXVII, Part 1, Stanford Univ., Stanford, Calif., 1973) Amer. Math. Soc., Providence, R.I., 1975, pp. 191–200. MR**0423260****[13]**Katsumi Nomizu and Brian Smyth,*Differential geometry of complex hypersurfaces. II*, J. Math. Soc. Japan**20**(1968), 498–521. MR**0230264**, https://doi.org/10.2969/jmsj/02030498**[14]**Barrett O’Neill,*The fundamental equations of a submersion*, Michigan Math. J.**13**(1966), 459–469. MR**0200865****[15]**Richard S. Palais,*A global formulation of the Lie theory of transformation groups*, Mem. Amer. Math. Soc. No.**22**(1957), iii+123. MR**0121424****[16]**Helmut Reckziegel,*On the eigenvalues of the shape operator of an isometric immersion into a space of constant curvature*, Math. Ann.**243**(1979), no. 1, 71–82. MR**543096**, https://doi.org/10.1007/BF01420208**[17]**Patrick J. Ryan,*Hypersurfaces with parallel Ricci tensor*, Osaka J. Math.**8**(1971), 251–259. MR**0296859****[18]**Patrick J. Ryan,*Homogeneity and some curvature conditions for hypersurfaces*, Tôhoku Math. J. (2)**21**(1969), 363–388. MR**0253243**, https://doi.org/10.2748/tmj/1178242949**[19]**Brian Smyth,*Differential geometry of complex hypersurfaces*, Ann. of Math. (2)**85**(1967), 246–266. MR**0206881**, https://doi.org/10.2307/1970441**[20]**Ryoichi Takagi,*Real hypersurfaces in a complex projective space with constant principal curvatures*, J. Math. Soc. Japan**27**(1975), 43–53. MR**0355906**, https://doi.org/10.2969/jmsj/02710043**[21]**Ryoichi Takagi,*Real hypersurfaces in a complex projective space with constant principal curvatures. II*, J. Math. Soc. Japan**27**(1975), no. 4, 507–516. MR**0400120**, https://doi.org/10.2969/jmsj/02740507**[22]**Yoshihiro Tashiro and Shun-ichi Tachibana,*On Fubinian and 𝐶-Fubinian manifolds*, Kōdai Math. Sem. Rep.**15**(1963), 176–183. MR**0157336****[23]**T. Y. Thomas,*Extract from a Letter by E. Cartan Concerning my Note: On Closed Spaces of Constant Mean Curvature*, Amer. J. Math.**59**(1937), no. 4, 793–794. MR**1507282**, https://doi.org/10.2307/2371347**[24]**Alan Weinstein,*Distance spheres in complex projective spaces*, Proc. Amer. Math. Soc.**39**(1973), 649–650. MR**0315631**, https://doi.org/10.1090/S0002-9939-1973-0315631-0

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
53C40,
53C15

Retrieve articles in all journals with MSC: 53C40, 53C15

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1982-0637703-3

Keywords:
Focal sets,
real hypersurfaces in complex projective space,
umbilic hypersurfaces,
Einstein hypersurfaces

Article copyright:
© Copyright 1982
American Mathematical Society