CERTAIN ALMOST CONTACT HYPERSURFACES IN KAEHLERIAN MANIFOLDS OF CONSTANT HOLOMORPHIC SECTIONAL CURVATURES

Similar documents
COMPACT ORIENTABLE SUBMANIFOLD OF CODIMENSION 2 IN AN ODD DIMENSIONAL

ON INFINITESIMAL CONFORMAL AND PROJECTIVE TRANSFORMATIONS OF COMPACT K-SPACES SHUN-ICHI TACHIBANA. (Received March 20,1961)

SASAKIAN MANIFOLDS WITH CYCLIC-PARALLEL RICCI TENSOR

Jeong-Sik Kim, Yeong-Moo Song and Mukut Mani Tripathi

CHAPTER 1 PRELIMINARIES

Classical differential geometry of two-dimensional surfaces

A CHARACTERIZATION OF WARPED PRODUCT PSEUDO-SLANT SUBMANIFOLDS IN NEARLY COSYMPLECTIC MANIFOLDS

Geometry for Physicists

CΛ-SUBMANIFOLDS OF A COMPLEX SPACE FORM

THE NULLITY SPACES OF CURVATURE-LIKE TENSORS

Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 21 (2005), ISSN

SUBMANIFOLDS UMBILICAL WITH RESPECT TO A NON-PARALLEL NORMAL SUBBUNDLE

GEOMETRY OF GEODESIC SPHERES IN A COMPLEX PROJECTIVE SPACE IN TERMS OF THEIR GEODESICS

SOME ASPECTS ON CIRCLES AND HELICES IN A COMPLEX PROJECTIVE SPACE. Toshiaki Adachi* and Sadahiro Maeda

Geometrical study of real hypersurfaces with differentials of structure tensor field in a Nonflat complex space form 1

On the 5-dimensional Sasaki-Einstein manifold

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

arxiv: v1 [math.dg] 1 Jul 2014

Complex and real hypersurfaces of locally conformal Kähler manifolds

The parallelism of shape operator related to the generalized Tanaka-Webster connection on real hypersurfaces in complex two-plane Grassmannians

Einstein H-umbilical submanifolds with parallel mean curvatures in complex space forms

COMPLETE SPACELIKE HYPERSURFACES IN THE DE SITTER SPACE

Warped Product Bi-Slant Submanifolds of Cosymplectic Manifolds

and a tensor is called pure (hybrid) in two indices if it is annihilated by

Submanifolds of. Total Mean Curvature and. Finite Type. Bang-Yen Chen. Series in Pure Mathematics Volume. Second Edition.

J. Korean Math. Soc. 32 (1995), No. 3, pp. 471{481 ON CHARACTERIZATIONS OF REAL HYPERSURFACES OF TYPE B IN A COMPLEX HYPERBOLIC SPACE Seong Soo Ahn an

GENERALIZED NULL SCROLLS IN THE n-dimensional LORENTZIAN SPACE. 1. Introduction

ON A tf-space OF CONSTANT HOLOMORPHIC SECTIONAL CURVATURE

ON SOME SUBMANIFOLDS OF A LOCALLY PRODUCT MANIFOLD

1. Geometry of the unit tangent bundle

is constant [3]. In a recent work, T. IKAWA proved the following theorem for helices on a Lorentzian submanifold [1].

class # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS

Section 2. Basic formulas and identities in Riemannian geometry

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES

ON TOTALLY REAL SUBMANIFOLDS IN A NEARLY KÄHLER MANIFOLD *

Real Hypersurfaces in Complex Two-Plane Grassmannians with Vanishing Lie Derivative

On Berwald Spaces which Satisfy the Relation Γ k ij = p k g ij for Some Functions p k on TM

7 Curvature of a connection

A RIGIDITY FOR REAL HYPERSURFACES IN A COMPLEX PROJECTIVE SPACE

International Journal of Pure and Applied Mathematics Volume 48 No , A STUDY OF HYPERSURFACES ON SPECIAL FINSLER SPACES

Legendre surfaces whose mean curvature vectors are eigenvectors of the Laplace operator

Syllabus. May 3, Special relativity 1. 2 Differential geometry 3

338 Jin Suk Pak and Yang Jae Shin 2. Preliminaries Let M be a( + )-dimensional almost contact metric manifold with an almost contact metric structure

Timelike Rotational Surfaces of Elliptic, Hyperbolic and Parabolic Types in Minkowski Space E 4 with Pointwise 1-Type Gauss Map

ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES

UNIVERSITY OF DUBLIN

MEHMET AKIF AKYOL, LUIS M. FERNÁNDEZ, AND ALICIA PRIETO-MARTÍN

RICCI CURVATURE OF SUBMANIFOLDS IN SASAKIAN SPACE FORMS

Real Hypersurfaces with Pseudo-parallel Normal Jacobi Operator in Complex Two-Plane Grassmannians

1. Preliminaries. Given an m-dimensional differentiable manifold M, we denote by V(M) the space of complex-valued vector fields on M, by A(M)

WARPED PRODUCTS PETER PETERSEN

CLASSIFICATION OF MÖBIUS ISOPARAMETRIC HYPERSURFACES IN S 4

ON AN EXTENDED CONTACT BOCHNER CURVATURE TENSOR ON CONTACT METRIC MANIFOLDS

Tensors, and differential forms - Lecture 2

A brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström

GLASGOW Paolo Lorenzoni

COMPLEX ALMOST CONTACT STRUCTURES IN A COMPLEX CONTACT MANIFOLD

CURVATURE ESTIMATES FOR WEINGARTEN HYPERSURFACES IN RIEMANNIAN MANIFOLDS

On constant isotropic submanifold by generalized null cubic

On Einstein Kropina change of m-th root Finsler metrics

SOME ALMOST COMPLEX STRUCTURES WITH NORDEN METRIC ON THE TANGENT BUNDLE OF A SPACE FORM

NORMAL CURVATURE OF SURFACES IN SPACE FORMS

Tangent Bundle of Hypersurface with Semi-Symmetric Metric Connection

Modern Geometric Structures and Fields

THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS

Codimension 2 submanifolds with flat normal bundle in euclidean space

1 First and second variational formulas for area

Curvature homogeneity of type (1, 3) in pseudo-riemannian manifolds

ON SEMI-INVARIANT SUBMANIFOLDS OF A NEARLY KENMOTSU MANIFOLD WITH THE CANONICAL SEMI-SYMMETRIC SEMI-METRIC CONNECTION. Mobin Ahmad. 1.

On the Killing Tensor Fields on a Compact Riemannian Manifold

Homogeneous Lorentzian structures on the generalized Heisenberg group

On Null 2-Type Submanifolds of the Pseudo Euclidean Space E 5 t

HOLOMORPHIC BISECTIONAL

Some Remarks on Ricci Solitons

SCREEN TRANSVERSAL LIGHTLIKE SUBMANIFOLDS OF INDEFINITE KENMOTSU MANIFOLDS

Hopf hypersurfaces in nonflat complex space forms

A Semi-Riemannian Manifold of Quasi-Constant Curvature Admits Lightlike Submanifolds

Tangent bundles, vector fields

CHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.

LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction

CLASSIFICATION OF MÖBIUS ISOPARAMETRIC HYPERSURFACES IN THE UNIT SIX-SPHERE

On Indefinite Almost Paracontact Metric Manifold

Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18

SOME INDEFINITE METRICS AND COVARIANT DERIVATIVES OF THEIR CURVATURE TENSORS

ON THE LOCAL VERSION OF THE CHERN CONJECTURE: CMC HYPERSURFACES WITH CONSTANT SCALAR CURVATURE IN S n+1

ON THE GEOMETRY OF TANGENT BUNDLE OF A (PSEUDO-) RIEMANNIAN MANIFOLD

CR-submanifolds of Kaehlerian product manifolds

A geometric solution of the Kervaire Invariant One problem

CS 468. Differential Geometry for Computer Science. Lecture 13 Tensors and Exterior Calculus

4.7 The Levi-Civita connection and parallel transport

On the existence of isoperimetric extremals of rotation and the fundamental equations of rotary diffeomorphisms

Gravity theory on Poisson manifold with R-flux

Let F be a foliation of dimension p and codimension q on a smooth manifold of dimension n.

Home Page. Title Page. Page 1 of 23. Go Back. Full Screen. Close. Quit. 012.jpg

FLOW OF NONCONVEX HYPERSURFACES INTO SPHERES

SUBMANIFOLD THEORY AND PARALLEL TRANSPORT

Moduli spaces of Type A geometries EGEO 2016 La Falda, Argentina. Peter B Gilkey

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

ON THE GEOMETRY OF CONFORMAL FOLIATIONS WITH MINIMAL LEAVES

Tensor Analysis in Euclidean Space

Transcription:

CERTAIN ALMOST CONTACT HYPERSURFACES IN KAEHLERIAN MANIFOLDS OF CONSTANT HOLOMORPHIC SECTIONAL CURVATURES MASAFUMI OKUMURA (Received March 30, 1964) Introduction. An odd-dimensional differentiable manifold is said to have an almost contact structure or to be an almost contact manifold if the structural group of its tangent bundle is reducible to the product of a unitary group with the 1-dimensional identity group. The study of almost contact manifolds, at the first time, has been developed by W. M. Boothby and H. C. Wang [l] υ and J. W. Gray [2] using a topological method. Recently, S. Sasaki [7] found a differential geometric method of investigation into the almost contact manifold and using this method Y. Tashiro [12] proved that in any orientable differentiable hypersurface in an almost complex manifold we can naturally define an almost contact structure. Hereafter, the almost contact structure of the hypersurface is studied by M. Kurita [4], Y. Tashiro and S. Tachibana [13] and the present author [5]. The purpose of the paper is to discuss normal almost contact hypersurfaces in a Kaehlerian manifold of constant holomorphic sectional curvature and to prove some fundamental properties of the hypersurfaces. In 1, we give first of all some preliminaries of almost contact manifold and prove a certain condition for a Riemannian manifold to be a normal contact manifold for the later use. In 2, we consider hypersurfaces in a Kaehlerian manifold and give a condition for the induced almost contact structure of a hypersurface in a Kaehlerian manifold to be normal. After proving a lemma in 3, we show in 4 that, in a normal almost contact hypersurface of a Kaehlerian manifold of constant holomorphic sectional curvature, the second fundamental tensor can admit at most three distinct characteristic roots and that they are all constants. The distributions corresponding these characteristic roots are studied in 5 and integrability of these distributions is discussed. In 6, the integral submanifolds of certain distributions are considered and using the theorem in 1, we prove that the integral submanifolds admit normal contact metric structures. 1. Almost contact structure and contact metric structure. On a (2n l)-dimensional real differentiable manifold M 2n ~ ι with local coordinate systems 1) The numbers in the brackets refer to the bibliography at the end of the paper.

CERTAIN ALMOST CONTACT HYPERSURFACES 271 {x 1 }, if there exist a tensor field φ/, contravariant and covariant vector fields ξ i and η t satisfying the relations (1.1)?*=1, (1. 2) rank (φ/) = 2 n - 2, (1. 3) Φ/? = 0, Φ/vt = 0 9 a. 4) Φ/Φ*' = -v + r^, then the set (φ/, \ T^ ) is called an almost contact structure and the manifold with such a structure is called an almost contact manifold. It has been proved by S. Sasaki [7] that this definition of the almost contact manifold is equivalent to that used in J. W. Gray's paper [2]. It is known 2) that an almost contact manifold always admits a positive definite Riemannian metric tensor g H satisfying (1.5) 9*? = *, (1. 6) The metric with above properties is called an associated metric to the almost contact structure and the almost contact manifold with such a Riemannian metric is called an almost contact metric manifold. In this paper, we always treat such a Riemannian metric tensor, so we use a notation rf in stead of f*. h The tensor N H defined by the following is fundamental: (1. 7) N jt h = φj r (Vrφi h ~ Viφr h ) ~ Φi r (Vrφj h " Vjφr") + V* η* V, " Vrf ηt Where and throughout the paper Vj denotes the operator of covariant differentiation with respect to the Christoffel symbols formed from the associated metric and put V" 7 = g jr Vr. h An almost contact structure with vanishing N H is called a normal almost contact structure. Totally geodesic hypersurfaces in a Kaehlerian manifold are examples of normal almost contact manifolds 20. A differentiable manifold M 2n ~ ι is said to have a contact structure or to be a contact manifold if there exists a 1-form η over the manifold such that n-1 V Λ dη Λ Λ dη Φ 0, where operator Λ in the last equation means exterior multiplication. In an 2) Sasaki, S. [7], Hatakeyama, Y. [3]. 3) Okumura, M. [5].

272 M. OKUMURA almost contact metric manifold if there is a relation for a constant c, (1. 8) c*φjι then the rank of the matrix (φ^) being 2n 2, the structure is regarded as the one formed from a contact structure. So, we call such an almost contact structure a contact metric structure. A contact metric structure is called a h normal contact metric structure if in the structure the tensor Nj t vanishes identically. The following theorem on normal contact structure is necessary for the later section. THEOREM 1.1. 4) Let M 2n ~ ι be a Riemannian manifold. If M 2n ~ l admits a Killing vector v t of constant length satisfying (1. 9) c 2 VjViVh = v % g ih - v h g H, then, M 2n ~ ι is a normal contact metric manifold such that the given Riemannian metric g H is the associated one. PROOF. Let c x be the length of v t and put η t = v t. Then, we have (l 10) c 2 v, Vi Vh = Vi gj h - vn gji > and ^7]i \. Transvecting (1. 10) with η h, we get because of η r Vjη r 0. If we put φ H = CVJVΪ, the above equation changes its form as (1. 4). By the construction we easily see that (1. 1), (1. 3) are satisfied and that the existence of the solutions of (1. 3) and (1. 4) shows that the rank of (φ/) is 2n 2. Furthermore by definition (1. 11) Φjt = ~2~ @jvi - divj) = cvivί, which implies that the structure is the one induced from a contact structure. Substituting (1. 11) into (1. 10), we have (1. 12) from which, together with (1. 7), we get N H h = 0. This completes the proof. 4) Okumura, M. and Y. Ogawa [6].

CERTAIN ALMOST CONTACT HYPERSURFACES 273 2. Induced almost contact structure of a hypersurf ace in a Kaehlerian manifold. Let us consider a real analytic 2w-dimensional almost Hermitian manifold M 2n with local coordinate systems {X κ } and (F μ λ, G μλ ) be the almost λ Hermitian structure, that is, F μ be the almost complex structure defined on M 2n and G μλ be the Riemannian metric tensor satisfying G κλ = G μv F^Fχ. A hypersurface M 2n ~ ι of M 2n may be represented parametrically by the equation X κ = X K (x l ). In this paper, we assume that the function X K (x l ) be real analytic, because we discuss a complete integrability making use of the Frobenius' existence theorem for analytic differential equations. Furthermore, in the following, we assume that the hypersurface be orientable. κ Let B i = d t X κ, (3, = d/dx ι ), then they span the tangent plane of M 2n ~ ι at each point and induced Riemannian metric g n in M 2n ~ ι is given by (2. 1) g jt = G μλ BfB ι λ. Choosing the unit normal vector C κ to the hypersurface, we put (2. 2) φϊ = B 3 λf λ *B\ y (2. 3) = BfF λ C Vj μ λ = BfF μλ C λ, where we have put B j = G Btλ g Ji, C κ λκ λ = G λlc C κ and F v = G κμ F κ λ. Then the aggregate (φ/, g ir η r, VJ, ga) defines an almost contact metric structure in the hypersurface 5). In the following we call an orientable hypersurface with the induced almost contact structure an almost contact hypersurface and if the structure is normal a normal almost contact hypersurface. Assuming that M 2n be a Kaehlerian manifold we consider an almost contact hypersurface in M 2n. Making use of Gauss and Weingarten equations (2. 4) VjBf^HjiO, (2. 5) v,c Λ = -H H B\, where H H is the second fundamental tensor of the hypersurface, we see that the following identities are always valid. (2.6) (2. 7) Vjφίh = ViHjh Vh.H H. Consequently the tensor N H h can be rewritten as (2. 8) N k j = ηάφshr* + φ ir H rk ) - η k (φ'f H r l + φ«h rj ). 5) Tashiro, Y. [12].

274 M. OKUMURA Contraction with respect to i and k in (2. 8) gives (2. 9) N r /= - v s H rs φf, because of H H = H tj and φ H = φ iό. Let M 2n ~ ι be a normal almost contact hypersurface, then, transvecting (2. 9) with φf, we have (2.10) H iiη > = ct ηit (μ = H HV^i), that is, a is a characteristic root of the second fundamental tensor H} and η 3 is a corresponding eigenvector of a. Furthermore, transvecting (2. 8) with η 5 and making use of (2. 10), we get (2. 11) φshs+.φ'ήr^o. This implies, together with (2. 6), that (2. 12) which means that the vector η t is a Killing vector. we have from the above equation (2. 13) Now, we prove the following Since η t is a unit vector THEOREM 2.1. Let M 2n be a Kaehlerian manifold. In order that the induced almost contact structure of a hypersurface in M 271 ' 1 be normal, it is necessary and sufficient that the vector η t is a Killing vector. PROOF. We have only to prove the sufficiency of the condition. By means of (2. 6) if η t is a Killing vector we have the relation (2. 11). Substituting (2. 11) into (2. 8), we get N k f = 0. This proves the sufficiency of the condition. Q.E.D. 3. Normal almost contact hypersurfaces in a Kaehlerian manifold of constant holomorphic sectional curvature. A Kaehlerian manifold M 2n is called a manifold of constant holomorphic sectional curvature if the holomorphic sectional curvature at every point is independent of two dimensional directions at the point, and its curvature tensor is given by (3. 1) R υμ λκ k(g υκ G μ \ G μκ G v \ + F vlc Fμχ F μκ F v χ k being a constant. In this section we consider an orientable hypersurface in a Kaehlerian

CERTAIN ALMOST CONTACT HYPERSURFACES 275 manifold of constant holomorphic sectional curvature. Substituting (3. 1) into the Gauss and Codazzi equations 6) (3. 2) R khh = B/B/BfB^R^ + H kh H Jt - H jh H ki, (3. 3) we have (3. 4) Rjcj ih and (3. 5) VkH H VjH ki = k(η k φ H η 3 φ ki from which we get (3. 6) (v*h* - VjH kί ) if = -kφ ki, and (3. 7) (v*h Λ - VjH kι ) η * = -2kφ kj. For a normal almost contact hypersurface in a Kaehlerian manifold of constant holomorphic sectional curvature it follows that (3. 8) R khh η k = η h (kg H + ah Jt ) - ηί(kg jh + ah jh ), because of (2. 10) and (3. 4). On the other hand, in 2 we have seen that rf is a Killing vector and consequently an infinitesimal aίnne transformation. Therefore it follows that (3. 9) J. = V, ViV h + Rm h n* = 0, where, means the operator of Lie derivation with respect to the vector η ι. Comparing (3. 8) and (3. 9), we have -VjVtVh = ηu(kg n + ah H ) - η t (kg jh + ah jh ). Transvecting the above equation with η h and making use of (2. 13), we get which implies that V ό η h ViVh = kg H + <XH H - (k + a 2 ) η ίvj, (3. 10) H tr Hf = ah H + k(g Jt - VjVi) 6) For example, Schouten, J. A. [10].

276 M. OKUMURA by virtue of (2. 6) and (2. 10). LEMMA 3. 1. Let M 2n ~ ι be an analytic normal almost contact hypersurface in a Kaehlerian manifold of constant holomorphίc sectional curvature M 2n, then one of the following two relations must be satisfied. 1) a in (2. 10) is a constant 2) The Kaehlerian manifold in consideration is a locally Euclidean manifold. PROOF. Suppose that the scalar a is not constant. Applying the operator Vj to (2. 10) and making use of (2. 6) we have from which VjH kr η r + φj S H k r H sr = V,OLη k - Oίφ k r H rj, (3. 11) VjH kr η r + kφ jk = because of (3. 10) and (2. 11). Making similar equation to (3. 11) by interchanging of the indices j and k, we get which implies, together with (3. 7), that from which (3. 12) VjCC = βη ό, (β = η r VrCi), and therefore V* VjCt = ΘVkVj + Vkβηs Since ^όcί is a gradient vector and η 5 is a unit Killing vector, we get by contraction with V*V> (3. 13) #V*^VV = O The Riemannian metric being positive definite, from our assumption we have VjVi = 0 or from (2. 6) (3. 14) H Jr φ t ' = 0, which implies that H 3i = oiη 5 ηi because of (1. 4).

CERTAIN ALMOST CONTACT HYPERSURFACES 277 Differentiating the last equation covariantly and taking account of (3. 12), we get ^jchj^βηiηjηk. From which we have k = 0 because of (3. 6). This means that M 2n is a locally Euclidean manifold. 4. Principal curvatures of the hypersurface. In this section we consider the principal curvatures of the hypersurface M 2n ~ ι and give some fundamental formulas. In the following discussions we only consider the normal almost contact hypersurfaces in non-euclidean Kaehlerian manifold of constant holomorphic sectional curvature, because we have already discussed the normal almost contact hypersurfaces in Euclidean space [5]. By means of Lemma 3. 1, the scalar function in (2. 10) being constant, we have the following identity for the second fundamental tensor. (4. 1) H ir H/ = ch i5 + k(g Jt - η ό η % ), where c=h όi η j η ι = const. From (2.10) c is a characteristic root of the second fundamental tensor Hf and rf is a corresponding eigenvector to the root c. Let λ be a characteristic root of the matrix (Hf) which is distinct to c and v ι corresponding eigenvector to the root. Then transvecting (4.1) with v j and making use of the orthogonality of v j and η j, we have (λ 2 -c\-k)vi = 0, by virtue of H j i v j =\v i. Thus, the principal curvatures of the hypersurface must satisfy the following algebraic equation of the third order, (4. 2) (λ - c) (λ 2 - cx - k) = 0. Furthermore, since k and c are both constants, the characteristic roots are all constants. Thus we have the THEOREM 4.1. Let M 2n ~ ι be a normal almost contact hypersurface in a Kaehlerian manifold of constant holomorphic sectional curvature. Then M 2n ~ ι has at most three distinct principal curvatures and they are all constants. If the hypersurface M 2n ~ ι admits only one principal curvature λ=c, then with respect to a suitable frame, the second fundamental tensor has the form '< o % = c(β/). So, M 2n ~ ι is totally umbilical. However, we

278 M. OKUMURA have known that there is no umbilical hypersurface in a non-euclidean Kaehlerian manifold of constant holomorphic sectional curvature 7). Hence we deduce that the hypersurface admits two or three distinct principal curvatures. LEMMA 4. 2. There exists no other vector than η ι the characteristic root c of the matrix (Hf). which corresponds to PROOF. Let v j be an eigenvector corresponding to the characteristic root c. Transvecting (4. 1) with v j and making use of H ί j v j =cv\ we have = 0, which implies the lemma. From Theorem 4.1 and Lemma 4. 2, it follows that the second fundamental tensor Hf and the Riemannian metric tensor g όi have the components of the form r+1 s ( 1 0 λ 2 0 0 λ 2 with respect to a suitable orthonormal frame which will be called in the following an adapted frame, where λ 1? λ 2 are given by (4. 3) because of (4.2). Since the characteristic roots are constants and r+s = 2n 2, the multiplicities of the roots are also constants. From these facts, H/= const. The trace of a matrix being invariant under the change of the frame, we have 7) Tashiro, Y. and S. Tachibana [13].

CERTAIN ALMOST CONTACT HYPERSURFACES 279 THEOREM 4. 3. The mean curvature of the normal almost contact hypersurface M 2n ~ ι in a Kaehlerian manifold of constant holomorphic sectional curvature is a constant. Using (3. 4) and (4.1), as a corollary of the theorem we get COROLLARY 4.4. Let M 2n ~ ι be a normal almost contact hypersurface in a Kaehlerian manifold of constant holomorphic sectional curvature. Then the scalar curvature of M 2n ~ ι with respect to the associated Riemannian metric is a constant. Suppose that the hypersurf ace M 2n ~ λ admits two distinct principal curvatures c and λ. Then with respect to the adapted frame, the second fundamental tensor Hf has the components (4.4) from which we get (if/) = λ 0 ' + (c-λ) oj that is (4.5) / = λδ/ + (c - λ) rfηj. However, since (4.5) is a tensor equation, it does hold for any frame, especially for natural frame. If we substitute (4. 5) into (2.6) we have φ 5i = λ Vj Vί- As η ι is a Killing vector, this means that the almost contact structure is a normal contact metric structure. Substituting (4. 5) into Gauss equation (3. 4), we have the curvature tensor of the hypersurface as follows: (4. 6) R kjίh = kh ff H -g jh g ki ) + k(φ kh φ jί -φ jh φ kί -2φ kj φ ίh )

280 M. OKUMURA An almost contact manifold which has the curvature tensor of the above form is called a locally C-Fubinian manifold 8). Thus we have proved the THEOREM 4. 4. If a normal almost contact hypersurface in a Kaehlerian manifold of constant holomorphic sectional curvature has only two distinct principal curvatures, then the almost contact structure is a normal contact metric structure and consequently the hypersurface M 2n ~ ι is a locally C- Fubinian manifold. 5. Hypersurfaces which admits three distinct principal curvatures. By means of Theorem 4.1, a normal almost contact hypersurface M 2n ~ ι can admit at most three distinct principal curvatures. In this section we discuss the case that the hypersurface M 2n ~ ι admits three distinct principal curvatures. Let us denote by D 09 A and A the distributions spanned by the vectors corresponding to c, λ x and λ 2 respectively. Then the tangent bundle T(M 2n ~ ι ) satisfies T(M 2n ~ ι ) = D O ΘAΘA (Whitney sum), over M 2n ~\ Let v ι be a vector belonging to D l9 that is v i satisfies H/v j =X 1 v i. Then, owing to (2.11) we have Hfφjv* = -φ ij H jk v k = -\ x φ ik v k = X^φJvK In exactly the same way, we get H/φ j k w k = X 2 φ ic k w k for any w ι belonging to A This means that (5. 1) φ A c A, φd 2 C A. Thus the following theorem is proved. THEOREM 5.1. The distributions A and A are both invariant under the mapping φ. Now, making use of the adapted frame we can easily see the following LEMMA 5.2. Let (5. 2) O/ 8) Tashiro, Y. and S. Tachibana [13]. The definition of C-Fubinian manifold does not differ from that given in [13] except for a constant factor.

(5 3) F > = Tk (5 4) Q» = τ CERTAIN ALMOST CONTACT HYPERSURFACES 281 then, at each point in M 2n ~\ the tensors Of, Pf and Qf are projections from T p (M 2n - χ ) onto D 0 (β), A(/>) and D 2 (p) respectively. The tensors Of, Pf and Qf satisfy the following relations. (5.5) O/ + P/ + Q/=S/, and (5. 6) Of (V = <V, P/ P^ = P fcέ, Q/ Q*' = Q fc *, Next we shall prove the THEOREM 5. 3. i> D o, D x and D 2 έ^ ίλe distributions spanned by the vectors corresponding to the characteristic roots c, X λ and λ 2 of the second fundamental tensor (Hf) of the hyper surf ace respectively. Then distributions >i and D o φd 2 are both integrable. PROOF. Since another case can be proved quite analogously, we shall only prove that D Q @D ι is integrable. Denoting by u ι and v ι two arbitrary vectors belonging to D u we shall calculate Qf[u,v] j. By definition of Qf, it follows that Qf [U, VV - L (-H/ + (c-λ 2 ) 8/ + λ 2^) (U r VrV S - V*VrU 3 ) C by virtue of (2. 12) and v j ηj=u j ηj=0. rewritten as Making use of (3.5), this can be _^ λ g {(C - λ x -λ f ) (U r VrV 1 - V r VrU 1 ) l k(η r φf ~ η ό φ r ~ 2 φ rj rf) U r V j + 2 λ 2 η ι φf H rs U r V j ],

282 M. OKUMURA where we have used the relations H/u j = XγU 1 and H/v j = X ί v t. Hence we get Q/[u,vV by virtue of (4. 3). C = 0, In exactly the same way, we can also prove that Q/[w, η] j = 0 and consequently, for two arbitrary vectors belonging to D o φ ΰ 1} their bracket also belongs to D o 0 JD 1# Hence D Q 0 D λ is integrable. This completes the proof. 6. Integral manifolds of D o 0 D x and D fl φΰ 2, As we have seen in the previous section the distributions D o 0 ZΛ and D o 0 D 2 are both integrable. Therefore through each point of the hypersurface there pass integral manifolds of D o φd 1 and D 0 (BD 2. In the following we study almost contact strucatures of the integral manifolds of D o 0 D λ and D o 0 D 2. First of all notice that the mapping φ restricted to the vector space which spanned by vectors belonging to D λ D 2 behaves just like an almost complex structure and that the distribution D x and D 2 are both invariant under φ. Hence the dimensions of D x and D 2 must be even 9). From this fact we have LEMMA 6.1. The integral submanifolds of both of the distributions D 0 D 1 and D Q D 2 are odd dimensional. Denoting by r and s the dimensions of the distributions D x and D 2 respectively, we take r mutually orthonormal contravariant vectors X λ \, X r * in D x and s mutually orthonormal contravariant vectors YJ (x = l, 2,, s) in D 2. Moreover we put X r +ι = η ι > Then 2n l vectors XJ (α = l, 2, ι,r, r+1) and Y x being linearly independent, we can construct the inverse of the matrix (XΛ Yχ l ) which we denote by (X a j, Y x j). Then we have the identities (6. l) xjx\ = v, XJY\ = o, YSX% = o, YjY't = δ/, (6. 2) XJX a j + Y x ty*, = W, from which we get X r+1 j = VJ. If we put / η a =Xa ί Vι, 'η a is a vector defined in the integral submanifold of A) θ D u The induced Riemannian metric of the submanifold is given by 9) Schouten, J. A. and K. Yano [11].

CERTAIN ALMOST CONTACT HYPERSURFACES 283 (6.3) V». = Λ,X»J X. i. Making use of the metric 'g ha and taking account of (6. 1), (6. 2), we have V = X\rf from which we can easily see that 'η a is a unit vector. Now, put (6. 4) ΓΛ = (X»' Xc k \j k ) + X } b d, Xc') X\, then the covariant derivative of '77c along the integral submanifold of D o 0 D λ is given by (6. 5) \ h 'η c = X h^jηc -Y b \η a^ From this definition, we can easily see that (6. 6) 'Vi'ηa^Xa'Xt'Vsηt, which implies that 'η a is a Killing vector. Now, we prove the THEOREM 6. 2. Let M 271 ' 1 be a normal almost contact hypersurface in a Kaehlerian manifold of constant holomorphic sectional curvature and D o, D λ and D 2 be the distributions defined in the previous section. Then the integral submanifolds of D 0 @D λ and D Q @D 2 are both normal contact metric manifolds. PROOF. By virtue of (2. 6) and (6. 6) we have (6.7) 'V*'*α= -φtrhfxjxj. For any vector belonging to D Q D u the tensor Q/ denned by (5. 4) behaves like a zero tensor and consequently it follows that (6. 8) (c - 2 λ 2 ) Q/ XJ = -H/ XJ + λ! XJ + λ 2 v * Vj XJ = 0 by virtue of (4. 3). From (6. 7) and (6. 8) we get (6. 9) \ b 'Va= -λxφϋ-xα'-xλ Differentiating covariantly (6. 9) and taking account of Theorem 5.1, we have 10) Yano, K. and E. T. Davies [15J.

284 M. OKUMURA from which ' Vc ' Vft '*la = λi(v* ΦiJ -Xα* ^δ j ^c*) V/VδV = ^livihjic ηjh ik ) Xa Xb' Xc* 9 because of (2. 7). Therefore we have from (6. 8) 'Vc'Vt'va = xλvjx^guxc'xj - Vί x ai g kj Xc k x b j ) ^I 2 (7δ 9 ca ~~ Va 9cb) This implies that the vector 'η a is a unit Killing vector satisfying (1. 9). Hence, the integral submanifold of the distribution D o φ Ό x has a normal contact metric structure by virtue of Theorem 1.1. Entirely the same way we can also prove that the integral submanifold of the distribution D o 0 D 2 admits a normal contact metric structure. This completes the proof. BIBLIOGRAPHY [ I] BOOTHBY, W. M. AND H. C. WANG, On contact manifolds, Ann. of Math., 68(1958), 721-734. [2] GRAY, J. W., Some global properties of contact structures, Ann. of Math., 69(1959), 421-450. [3] HATAKEYAMA, Y., On the existence of Riemann metrics associated with a 2-form of rank 2r, Tόhoku Math. Journ., 14(1962), 162-166. [4] KURITA, M., On normal contact metric manifolds, Journ. of the Math. Soc. of Japan, 15(1963), 304-318. [5] OKUMURA, M., Certain almost contact hypersurfaces in Euclidean spaces, Kδdai Math. Sem. Rep., 16(1964), 44-54. [6] OKUMURA, M. AND Y. OGAWA, On almost contact metric structures, Sΰgaku 16(1964), 41-45(in Japanese). [7] SASAKI, S., On differentiable manifolds with certain structures which are closely related to almost contact structure I, Tohoku Math. Journ., 12(1960), 459-476. [8] SASAKI, S. AND Y. HATAKEYAMA, On differentiable manifolds with certain structures which are closely related to almost contact structure II, Tohoku Math. Journ., 13 (1961), 281-294. [9] SASAKI, S. AND Y. HATAKEYAMA, On differentiable manifolds with contact metric structures, Journ. of the Math. Soc. of Japan, 14(1962), 249-271. [10] SCHOUTEN, J. A., Ricci Calculus, 2nd ed. Berlin, 1954. [II] SCHOUTEN, J. A. AND K. YANO, On invariant subspaces in the almost complex X 2n, Indag. Math., 17(1955), 261-269. [12] TASHIRO, Y., On contact structure of hypersurfaces in complex manifolds I, Tohoku Math. Journ., 15(1963), 62-78. [13] TASHIRO, Y. AND S. TACHIBANA, Fubinian and C-Fubinian manifolds, Kδdai Math. Sem. Rep., 15(1963), 176-183. [14] WALKER, A. G., Almost product structures, Differential Geometry, Proc. of symposia in Pure Mathematics, Vol. 111(1961), 94-100. [15] YANO, K. AND E. T. DAVIES, Contact tensor calculus, Ann. di Mat, 37(1954), 1-36. DEPARTMENT OF MATHEMATICS, TOKYO INSTITUTE OF TECHNOLOGY.