Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 Research Article
The Lie derivative of normal connections
Bui Cao Van Department of Mathematics, Vinh University, 182 Le Duan, Vinh City, Vietnam.
Communicated by Y.-Z. Chen
Abstract In this paper, we state the Lie derivative of normal connection on a submanifold M of the Riemannian manifold Mf. By this vein, we introduce the Lie derivative of the normal curvature tensor on M and give some relations between the normal curvature tensor on M and curvature tensor on Mf in the sense of the Lie derivative of normal connection. As an application, we give some detailed description of the normal curvature tensor on M whether M is a hypersubface. c 2016 All rights reserved. Keywords: Lie derivative, normal connection, normal curvature. 2010 MSC: 53C40, 53C15, 53C25.
1. Introduction The Lie derivative on differential forms is important operation. This is a generalization of the notion of directional derivative of a function. The Lie differentiation theory plays an important role in studying automorphisms of differential geometric structures. Moreover, the Lie derivative also is an essential tool in the Riemannian geometry. The Lie derivative of forms and its application was investigated by many authors (see [2–4, 6–8, 10] and the references given therein). In 2010, Sultanov used the Lie derivative of the linear connection to study the curvature tensor and the sorsion tensor on linear algebras [8]. In 2012, by invoking the Lie derivative of forms on the Riemannian n−dimensional manifold, the authors of [1] constructed the Lie derivative of the currents on Riemannian manifolds and given some applications on Lie groups. Recently, B. C. Van and T. T. K. Ha studied some properties of the Lie derivative of the linear connection ∇, the conjugate derivative d∇ with the linear n connection and using them for searching the curvature, the torsion of a space R along the linear flat connection ∇ [9]. The main goal of the present work is to investigate some properties on the Lie derivative of the normal connection ∇⊥ and of the normal curvature tensor R⊥ on the submanifold M. We give some relations
Email address: [email protected] (Bui Cao Van) Received 2016-04-16 B. C. Van, J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 4248 between the normal curvature tensor on M and curvature tensor on Mf in the sense of the Lie derivative of normal connection. As an application, we give some detailed description of the normal curvature tensor on M whether M is a hypersubface.
2. Preliminaries
Let M be an n-dimensional submanifold of an m−dimensional Riemannian manifold Mf equipped with a Riemannian metric ge. We denote the vector space of all smooth vector fields on M and Mf by B(M) and B(Mf), respectively. We denote 5e , 5, and 5⊥ are the Levi-Civita, induced Levi-Civita induced normal connections in Mf, M, and the normal bundle N(M) of M, respectively. We use the inner product notation h, i ( or ·) for both the metrics ge of Mf and the induced metric g on the submanifold M. L At each p ∈ M, the ambient tangent space TpMf splits as an orthogonal direct sum TpMf = TpM NpM, ⊥ where NpM := (TpM) is the normal space at p with respect to the inner product g on TpMf. The set S e N(M) = NpM is called the normal bundle of M. If X,Y are vector fields in B(M), we can extend them p∈M to vector fields on Mf, apply the ambient covariant derivative operator 5e and then decompose at points of M to get > ⊥ 5e X Y = (5e X Y ) + (5e X Y ) . (2.1) The Gauss and Weingarten formulas are given respectively by (see [5], pp. 135)
⊥ 5e X Y = 5X Y + σ(X,Y ) and 5e X N = −AN X + 5X N (2.2) for all X,Y ∈ B(M) and N ∈ N(M), where σ is the second fundamental form of M from B(M) × B(M) to N(M) given by ⊥ σ(X,Y ) := (5e X Y ) , (2.3) where X and Y are extended arbitrarily to Mf and the shape operator AN : X 7→ AN X for all X ∈ B(M),N ∈ N(M). The Weingarten equation is given by (see [5], pp. 136) D E 5e X N,Y = − hN, σ(X,Y )i . (2.4)
Thus, σ is the second fundamental form related to the shape operator A by
hσ(X,Y ),Ni = hAN X,Y i . (2.5)
The equation of Gauss is given by (see [5], pp. 136)
Re(X,Y,Z,W ) = R(X,Y,Z,W ) − hσ(X,W ), σ(Y,Z)i + hσ(X,Z), σ(Y,W )i (2.6) for all X,Y,Z,W ∈ B(M), where Re and R are the Riemann curvature tensors of Mf and M, respectively. The curvature tensor R⊥ of the normal bundle of M is defied by
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ R (X,Y )N = 5X 5Y N − 5Y 5X N − 5[X,Y ]N (2.7) for any X,Y ∈ B(M) and N ∈ N(M). If R⊥ = 0, then the normal connection 5⊥ of M is said to be flat. 1 The mean curvature vector H is given by H = trace(σ). The submanifold M is totally geodesic in Mf n if σ = 0, and minimal if H = 0. Let N ∈ N(M), the Weingarten map hN : B(M) → B(M) is given by > hN (X) = − 5e X N (2.8) B. C. Van, J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 4249 for all X ∈ B(M). We easily get the following properties of the Weingarten mapping hN
hN (X + Y ) = hN (X) + hN (Y ) , hN (ϕX) = ϕhN (X) (2.9) and hN (ϕX) .Y = ϕhN (Y ) .X (2.10) for all X,Y ∈ B(M), ϕ ∈ F(M). Next, we define the derivative of the Weingarten mapping hN . The map
5e hN : B(M) → B(M) X (2.11) Y 7→ (5e X hN )(Y ) = 5e X (hN (Y )) − hN (5e X Y ) is called the derivative of hN along a vector field X. ⊥ Now, we define the Weingarten normal mapping and the derivative of the map hN along a vector field X. h⊥ : B(M) → N(M) N (2.12) ⊥ ⊥ X 7→ hN (X) = 5X N is called the Weingarten normal mapping. We get the following properties (2.13), (2.14) of Weingarten ⊥ normal mapping hN
⊥ ⊥ ⊥ hN (X + Y ) = hN (X) + hN (Y ) ∀X,Y ∈ B(M). (2.13) ⊥ ⊥ hN (ϕX) = ϕhN (X) ∀X ∈ B(M), ∀ϕ ∈ F(M). (2.14) Let N,K ∈ N(M) and ϕ ∈ F(M), we obtain
⊥ ⊥ ⊥ ⊥ ⊥ hN+K = hN + hK , and hϕN = ϕhN . (2.15)
⊥ Next, the derivative of the mapping hN along a vector field X is the mapping
⊥ 5X h : B(M) → N(M) N (2.16) ⊥ ⊥ ⊥ ⊥ Y 7→ (5X hN )(Y ) = 5X (hN (Y )) − hN (5X Y ).
⊥ ⊥ We easily get the mapping hN and 5X hN are modular homomorphics.
3. Main results
We begin at introducing the concept of Lie derivative of the normal vector field along a vector field.
Definition 3.1. Suppose that X ∈ B(M). The mapping
⊥ LX : N(M) → N(M) ⊥ (3.1) ⊥ ⊥ N 7→ LX N = [X,N] = 5e X N − 5e N X is called the Lie derivative of the normal vector field N along a vector field X.
Definition 3.2. Given X ∈ B(M) and ∇⊥ is the normal connection on M. The mapping
⊥ ⊥ LX ∇ : B(M) × N(M) → N(M) ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ (Y,N) 7→ (LX ∇ )(Y,N) = LX (∇Y N) − ∇[X,Y ]N − ∇Y (LX N) is called the Lie derivative of the normal connection ∇⊥ along a vector field X. B. C. Van, J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 4250
For any X,Y ∈ B(M), we have ⊥ ⊥ ⊥ ⊥ ⊥ L[X,Y ] = LX oLY − LY oLX . (3.2) Let X,Y ∈ B(M) and N ∈ N(M). By using the definition on the Lie derivative of the normal connection, we obtain h ⊥ ⊥i ⊥ ⊥ ⊥ ⊥ LX , ∇Y N = LX (∇Y N) − ∇Y (LX N)
⊥ ⊥ ⊥ = ∇[X,Y ]N + LX ∇ (Y,N). Using this fact, we have the following formula, Proposition 3.3. If X,Y ∈ B(M), then
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ L[X,Y ]∇ = LX (LY ∇ ) − LY (LX ∇ ). Proof. Suppose that Z ∈ B(M) and N ∈ N(M), we have
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ LX (LY ∇ ) (Z,N) = LX ( LY ∇ (Z,N)) − LY ∇ ([X,Z] ,N) − LY ∇ (Z,LX N) ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ = LX (LY (∇Z N)) − LX (∇Z (LY N)) − LX (∇[Y,Z]N) ⊥ ⊥ ⊥ ⊥ ⊥ − LY (∇[X,Z]N) + ∇[X,Z](LY N) + ∇[Y,[X,Z]]N ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ − LY (∇Z (LX N)) + ∇Z (LY (LX N)) + ∇[Y,Z](LX N) ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ = LX (LY (∇Z N)) − LX (∇[Y,Z]N) − LY (∇[X,Z]N) ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ − LX (∇Z (LY N)) − LY (∇Z (LX N)) + ∇[X,Z](LY N) ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ + ∇[Y,Z](LX N) + ∇Z (LY (LX N)) + ∇[Y,[X,Z]]N. Similarity, we have
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ LY (LX ∇ ) (Z,N) = LY (LX (∇Z N)) − LY (∇[X,Z]N) − LX (∇[Y,Z]N) ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ − LY (∇Z (LX N)) − LX (∇Z (LY N)) + ∇[Y,Z](LX N) ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ + ∇[X,Z](LY N) + ∇Z (LX (LY N)) + ∇[X,[Y,Z]]N. Therefore,
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ (LX (LY ∇ ))(Z,N) − (LY (LX ∇ ))(Z,N) = L[X,Y ](∇Z N) − ∇Z (L[X,Y ]N) − ∇[[X,Y ],Z]N ⊥ ⊥ = L[X,Y ]∇ (Z,N), ∀Z ∈ B(M),N ∈ N(M).
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ So that L[X,Y ]∇ = LX (LY ∇ ) − LY (LX ∇ ). This proves the proposition.
Definition 3.4. Let X ∈ B(M) and R⊥ be the curvature tensor of the normal bundle of M. The mapping
⊥ ⊥ LX R : B(M) × B(M) × N(M) → N(M) ⊥ ⊥ (Y,Z,N) 7→ (LX R )(Y,Z,N)
⊥ ⊥ is called the Lie derivative of the normal curvature tensor along a vector field X on M, where LX R is given by
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ (LX R )(Y,Z,N) = LX (R (Y,Z,N)) − R (LX Y,Z,N) − R (Y,LX Z,N) − R (Y,Z,LX N). (3.3) The following theorem gives a description the formula between the Lie derivative of the normal curvature tensor R⊥ and of the normal connection ∇⊥ along a vector field X on the submanifold M. B. C. Van, J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 4251
Theorem 3.5. The Lie derivative of the normal curvature tensor R⊥ and of the normal connection ∇⊥ along a vector field X on M satisfy the following identity.
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ (LX R )(Y,Z,N) = − LX ∇ ([Y,Z],N) + LX ∇ (Y, ∇Z N) (3.4) ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ − LX ∇ (Z, ∇Y N) + ∇Y (LX ∇ )(Z,N) − ∇Z LX ∇ (Y,N) for all X,Y,Z ∈ B(M), for all N ∈ N(M). Proof. Using the definition of the normal curvature tensor R⊥, it follows that
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ LX (R (Y,Z,N)) = LX ∇Y (∇Z N) − LX ∇Z (∇Y N) − LX ∇[Y,Z]N , ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ R (LX Y,Z,N) = ∇[X,Y ]∇Z N − ∇Z ∇[X,Y ]N − ∇[[X,Y ],Z]N, ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ R (Y,LX Z,N) = ∇Y ∇[X,Z]N − ∇[X,Z]∇Y N − ∇[Y,[X,Z]]N, ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ R (Y,Z,LX N) = ∇Y ∇Z LX N − ∇Z ∇Y LX N − ∇[Y,Z] LX N .
By the identity [X, [Y,Z]] = [[X,Y ],Z] + [Y, [X,Z]] we obtain ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ −LX ∇[Y,Z]N + ∇[[X,Y ],Z]N + ∇[Y,[X,Z]]N + ∇[Y,Z] LX N h ⊥ ⊥ ⊥ ⊥ ⊥ i = − LX ∇[Y,Z]N − ∇[X,[Y,Z]]N − ∇[Y,Z] LX N ⊥ ⊥ = − LX ∇ ([Y,Z],N). Furthermore,
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ LX ∇Y (∇Z N) − ∇[X,Y ]∇Z N − ∇Y ∇[X,Z]N − ∇Y ∇Z LX N ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ = LX ∇ (Y, ∇Z N) + LX ∇ (Y, ∇Z N) − LX ∇ (Y, ∇Z N)
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ + ∇Y LX (∇Z N) − ∇Y ∇[X,Z]N − ∇Y ∇Z LX N ⊥ ⊥ ⊥ ⊥ h ⊥ ⊥ ⊥ ⊥ ⊥ i = LX ∇ (Y, ∇Z N) + ∇Y LX ∇Z N − ∇[X,Z]N − ∇Z LX N ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ = LX ∇ (Y, ∇Z N) + ∇Y LX ∇ (Z,N) .
On the other hand, we have
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ −LX ∇Z (∇Y N) + ∇[X,Z]∇Y N + ∇Z ∇[X,Y ]N + ∇Z ∇Y LX N ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ = −LX ∇Z (∇Y N) + LX ∇Z (∇Y N) − LX ∇ (Z, ∇Y N)
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ − ∇Z LX (∇Y N) + ∇Z ∇[X,Y ]N + ∇Z ∇Y LX N ⊥ ⊥ ⊥ ⊥ h ⊥ ⊥ ⊥ ⊥ ⊥ i = − LX ∇ (Z, ∇Y N) − ∇Z LX (∇Y N) − ∇[X,Y ]N − ∇Y LX N ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ = − LX ∇ (Z, ∇Y N) − ∇Z LX ∇ (Y,N) .
The obtained relations imply the identity
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ (LX R )(Y,Z,N) = LX (R (Y,Z,N)) − R (LX Y,Z,N) − R (Y,LX Z,N) − R (Y,Z,LX N) B. C. Van, J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 4252
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ = − LX ∇ ([Y,Z],N) + LX ∇ (Y, ∇Z N) − LX ∇ (Z, ∇Y N)
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ + ∇Y ( LX ∇ (Z,N)) − ∇Z ( LX ∇ (Y,N)). This proves the theorem.
Definition 3.6. Given X ∈ B(M) and N ∈ N(M). The mapping
⊥ ⊥ LX hN : B(M) → N(M) ⊥ ⊥ ⊥ ⊥ ⊥ Y 7→ LX hN (Y ) = LX (hN (Y )) − hN ([X,Y ])
⊥ is called the Lie derivative of the the Weingarten normal mapping hN along a vector field X. The following theorem gives relation between the curvature tensors Re on Mf and the normal curvature R⊥ on M. Theorem 3.7. For any X,Y ∈ B(M),N ∈ N(M), the following equation holds
⊥ Re(X,Y,N) = R (X,Y,N) − 5e hN (Y ) + 5e hN (X) − h ⊥ (X) + h ⊥ (Y ) , (3.5) X Y 5Y N 5X N where Re and R⊥ are the Riemann curvature tensors of Mf and M, respectively, 5e and 5⊥ are the Levi-Civita, induced Levi-Civita induced normal connections in Mf and the normal bundle N(M) of M, respectively. Proof. For any X,Y ∈ B(M),N ∈ N(M), applying equations (2.2), (2.7), (2.8) and (2.11), we have
Re(X,Y,N) = 5e X (5e Y N) − 5e Y (5e X N) − 5e [X,Y ]N ⊥ ⊥ ⊥ = 5e X − hN (Y ) + 5Y N − 5e Y − hN (X) + 5X N − − hN ([X,Y ]) + 5[X,Y ]N ⊥ = −5e X hN (Y ) + 5e X 5Y N + 5e Y hN (X) ⊥ ⊥ − 5e Y 5X N + hN ([X,Y ]) − 5[X,Y ]N ⊥ = −5e X hN (Y ) + 5e Y hN (X) + hN ([X,Y ]) + 5e X 5Y N ⊥ ⊥ − 5e Y 5X N − 5[X,Y ]N = −5e X hN (Y ) + 5e Y hN (X) + hN 5e X Y − hN 5e Y X ⊥ ⊥ ⊥ ⊥ ⊥ − h ⊥ (X) + 5 5 N + h ⊥ (Y ) − 5 5 N − 5 N 5Y N X Y 5X N Y X [X,Y ] h i h i = − 5e X hN (Y ) − hN 5e X Y + 5e Y hN (X) − hN 5e Y X ⊥ ⊥ ⊥ ⊥ ⊥ + 5 5 N − 5 5 N − 5 N − h ⊥ (X) + h ⊥ (Y ) X Y Y X [X,Y ] 5Y N 5X N ⊥ = − 5e hN (Y ) + 5e hN (X) + R (X,Y,N) − h ⊥ (X) + h ⊥ (Y ) X Y 5Y N 5X N ⊥ = R (X,Y,N) − 5e hN (Y ) + 5e hN (X) − h ⊥ (X) + h ⊥ (Y ) . X Y 5Y N 5X N This proves the theorem.
We now consider in case M is the hypersubface in Mf and let N be an unit normal vector field on M, then the normal connection 5⊥ of M is said to be flat. Hence, from Theorem 3.7, it is easy to obtain the following corollary. Corollary 3.8. If M is the hypersubface in Mf and N is an unit normal vector field on M, then we have Re(X,Y,N) = 5e Y hN (X) − 5e X hN (Y ) (3.6) for any X,Y ∈ B(M). B. C. Van, J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 4253
Proof. Since N is an unit normal vector field on the hypersubface M, we have hN,Ni = 1, ⇒ X [hN,Ni] = 0 for all X ∈ B(M), D E ⇒ ∇e X N,N = 0 for all X ∈ B(M),
D > ⊥ E ⇒ (∇X N) + ∇X N,N = 0 for all X ∈ B(M),
D ⊥ E ⇒ ∇X N,N = 0 for all X ∈ B(M),
⊥ ⇒ ∇X N = 0 for all X ∈ B(M). (3.7) Hence, R⊥(X,Y,N) = 0. Therefore, by using Theorem 3.7, we have
⊥ Re(X,Y,N) = R (X,Y,N) − 5e hN (Y ) + 5e hN (X) − h ⊥ (X) + h ⊥ (Y ) X Y 5Y N 5X N = 5e Y hN (X) − 5e X hN (Y ).
The following proposition gives a description the Lie derivative of the curvature tensor Re along a vector field X on an hypersubface in M.f Proposition 3.9. Let M be an hypersubface in Mf and N be an unit normal vector field on M. The following equation holds LX Re (Y,Z,N) = LX 5e Z hN (Y ) − LX 5e Y hN (Z) + 5e [X,Y ]hN (Z)
⊥ − 5e [X,Z]hN (Y ) − Re(Y,Z,LX N) for any X,Y,Z ∈ B(M). Proof. Since N is an unit normal vector field on the hypersubface M, thus, by using equation (3.6), we have Re(X,Y,N) = 5e Y hN (X) − 5e X hN (Y ).
Hence,
⊥ (LX Re)(Y,Z,N) = LX (Re(Y,Z,N)) − Re([X,Y ],Z,N) − Re(Y, [X,Z],N) − Re(Y,Z,LX N) = LX 5e Z hN (Y ) − LX 5e Y hN (Z) − 5e Z hN ([X,Y ]) + 5e [X,Y ]hN (Z)
⊥ − 5e [X,Z]hN (Y ) + 5e Y hN ([X,Z]) − Re(Y,Z,LX N) h i = LX 5e Z hN (Y ) − 5e Z hN ([X,Y ]) h i − LX 5e Y hN (Z) − 5e Y hN ([X,Z])
⊥ + 5e [X,Y ]hN (Z) − 5e [X,Z]hN (Y ) − Re(Y,Z,LX N) = LX 5e Z hN (Y ) − LX 5e Y hN (Z) + 5e [X,Y ]hN (Z)
⊥ − 5e [X,Z]hN (Y ) − Re(Y,Z,LX N).
This proves the proposition. B. C. Van, J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 4254
The following theorem gives a description relation between the curvature tensor on Mf and the normal curvature tensor on M. Theorem 3.10. For any X,Y ∈ B(M) and for any N,K ∈ N(M) we have following formula ⊥ Re(X,Y,N,K) = R (X,Y,N,K) − hhK X, hN Y i + hhK Y, hN Xi . (3.8) Proof. Let X,Y ∈ B(M) and N,K ∈ N(M). Applying the Theorem 3.7 and equations (2.4) and (2.8), we obtain D E Re(X,Y,N,K) = Re(X,Y,N),K
D ⊥ E D E D E = R (X,Y,N),K − 5e X hN (Y ),K + 5e Y hN (X),K D E D E − h ⊥ (X) ,K + h ⊥ (Y ) ,K 5Y N 5X N ⊥ D E D E = R (X,Y,N,K) − 5e X hN (Y ),K + 5e Y hN (X),K
⊥ D E = R (X,Y,N,K) − ∇e X (hN (Y )) − hN ∇e X Y ,K D E + ∇e Y (hN (X)) − hN ∇e Y X ,K ⊥ = R (X,Y,N,K) − h∇X (hN (Y )) + σ (X, hN (Y )) ,Ki
+ hhN (∇X Y ) + hN (σ (X,Y )) ,Ki + h∇Y (hN (X)) + σ (Y, hN (X)) ,Ki
− hhN (∇Y X) + hN (σ (Y,X)) ,Ki ⊥ = R (X,Y,N,K) − hσ (X, hN (Y )) ,Ki + hhN (σ (X,Y )) ,Ki
+ hσ (Y, hN (X)) ,Ki − hhN (σ (Y,X)) ,Ki ⊥ = R (X,Y,N,K) − hσ (X, hN (Y )) ,Ki + hσ (Y, hN (X)) ,Ki ⊥ = R (X,Y,N,K) − hhK X, hN Y i + hhK Y, hN Xi . This proves the theorem.
The following corollary gives a description between the curvature tensor Re and the Weingarten mapping on the hypersubface in M.f Corollary 3.11. If M is the hypersubface in Mf and N is an unit normal vector field on M, then we have
Re(X,Y,N,K) = hhK Y, hN Xi − hhK X, hN Y i (3.9) for any X,Y ∈ B(M),K ∈ N(M). Proof. Since N is an unit normal vector field on the hypersubface M, thus, applying equation (3.7) we ⊥ ⊥ obtain ∇X N = 0 for all X ∈ B(M). Thus, R (X,Y,N) = 0. Therefore, D E R⊥(X,Y,N,K) = R⊥(X,Y,N),K = 0.
Hence, applying Theorem 3.10, we obtain
Re(X,Y,N,K) = hhK Y, hN Xi − hhK X, hN Y i .
Definition 3.12. Let ϕ : B(M) → N(M) be a modular homomorphic. Then the conjugate derivative d∇⊥ ϕ with the normal connection ∇⊥ of ϕ is defined by ⊥ ⊥ (d∇⊥ ϕ)(X,Y ) = ∇X ϕ (Y ) − ∇Y ϕ (X) − ϕ ([X,Y ]) ∀ X,Y,Z ∈ B(M). (3.10)
Then, the map d∇⊥ ϕ : B(M) × B(M) → N(M) is the bilinear antisymmetric mapping. B. C. Van, J. Nonlinear Sci. Appl. 9 (2016), 4247–4256 4255
The following theorem gives a description the formula between the Lie derivative of the normal curvature ⊥ tensor and the conjugate derivative d∇⊥ with the normal connection ∇ on the hypersubface in M.f
Theorem 3.13. Given M is the hypersubface in Mf and N is an unit normal vector field on M. The following equation holds ⊥ ⊥ ⊥ LX R (Y,Z,N) = − d∇⊥ h ⊥ (Y,Z) (3.11) LX N for any X,Y,Z ∈ B(M).
Proof. Since N is an unit normal vector field on the hypersubface M, thus, applying equation (3.7) we ⊥ ⊥ obtain ∇X N = 0 for all X ∈ B(M). Thus, R (X,Y,N) = 0 ∀X,Y ∈ B(M). On the other hand, from the definition of the Lie derivative of the normal curvature tensor, we have
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ (LX R )(Y,Z,N) = LX (R (Y,Z,N)) − R (LX Y,Z,N) − R (Y,LX Z,N) − R (Y,Z,LX N) ⊥ ⊥ = −R (Y,Z,LX N).
Hence, for any X,Y,Z ∈ B(M), we obtain
⊥ ⊥ ⊥ ⊥ ⊥ ⊥ d∇⊥ h[X,N] (Y,Z) = ∇Y h ⊥ (Z) − ∇Z h ⊥ (Y ) − h ⊥ ([Y,Z]) LX N LX N LX N ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ = ∇Y ∇Z LX N − ∇Z ∇Y LX N − ∇[Y,Z] LX N ⊥ ⊥ = R Y,Z,LX N
⊥ ⊥ = − LX R (Y,Z,N) .