Tensor Operators and Their Applications
Tensor Operators and Their Applications
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
MATHEMATICS RESEARCH DEVELOPMENTS
TENSOR OPERATORS
AND THEIR APPLICATIONS
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
No part of this digital document may be reproduced, stored in a retrieval system or transmitted in any form or
by any means. The publisher has taken reasonable care in the preparation of this digital document, but makes no
expressed or implied warranty of any kind and assumes no responsibility for any errors or omissions. No
liability is assumed for incidental or consequential damages in connection with or arising out of information
contained herein. This digital document is sold with the clear understanding that the publisher is not engaged in
rendering legal, medical or any other professional services.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
MATHEMATICS RESEARCH
DEVELOPMENTS
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
MATHEMATICS RESEARCH DEVELOPMENTS
TENSOR OPERATORS
AND THEIR APPLICATIONS
ARIF SALIMOV
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
New York
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Copyright © 2013 by Nova Science Publishers, Inc.
All rights reserved. No part of this book may be reproduced, stored in a retrieval system or
transmitted in any form or by any means: electronic, electrostatic, magnetic, tape, mechanical
photocopying, recording or otherwise without the written permission of the Publisher.
For permission to use material from this book please contact us:
Telephone 631-231-7269; Fax 631-231-8175
Web Site: http://www.novapublishers.com
The Publisher has taken reasonable care in the preparation of this book, but makes no expressed
or implied warranty of any kind and assumes no responsibility for any errors or omissions. No
liability is assumed for incidental or consequential damages in connection with or arising out of
information contained in this book. The Publisher shall not be liable for any special,
consequential, or exemplary damages resulting, in whole or in part, from the readers’ use of, or
reliance upon, this material. Any parts of this book based on government reports are so indicated
and copyright is claimed for those parts to the extent applicable to compilations of such works.
Independent verification should be sought for any data, advice or recommendations contained in
this book. In addition, no responsibility is assumed by the publisher for any injury and/or damage
to persons or property arising from any methods, products, instructions, ideas or otherwise
contained in this publication.
This publication is designed to provide accurate and authoritative information with regard to the
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
subject matter covered herein. It is sold with the clear understanding that the Publisher is not
engaged in rendering legal or any other professional services. If legal or any other expert
assistance is required, the services of a competent person should be sought. FROM A
DECLARATION OF PARTICIPANTS JOINTLY ADOPTED BY A COMMITTEE OF THE
AMERICAN BAR ASSOCIATION AND A COMMITTEE OF PUBLISHERS.
Additional color graphics may be available in the e-book version of this book.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
To my teacher Professor Vladimir Vishnevskii
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Contents
Preface xi
(0, s), s ≥ 2 . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.5. ϕφ −operator Applied to a Tensor Field of Type (r, s) . . 13
1.3. Vishnevskii Operators . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.1. ψφ −operator Applied to a Tensor Field of Type (1,s),
s≥0 . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.2. ψφ −operator Applied to a Tensor Field of Type (0,s) . . 16
1.3.3. ψφ −operator Applied to a Tensor Field of Type (r,s),
r>1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4. ψφ −operator Applied to a Pure Connection . . . . . . . . . . . 19
1.5. Tachibana Operators Applied to a Mixed Tensor Field . . . . . . 21
1.5.1. Pure Tensor Fields of Mixed Kind on Submanifolds . . . 21
1.5.2. ϕφ,φ̃ −operators . . . . . . . . . . . . . . . . . . . . . . 22
1.5.3. ϕφ,φ̃ −operator Applied to Tensor Fields of Type
(1, s, 0, q) and (0, s, 1, q) . . . . . . . . . . . . . . . . . 24
1.5.4. ϕφ,φe −operator Applied to Tensor Fields of Type
(0, s, 0, 0) and (0, 0, 0, q) . . . . . . . . . . . . . . . . . 26
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
viii Contents
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Contents ix
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
viii Contents
References 175
Index 185
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Preface
The notion of derivation of tensor fields is one of the central concepts and tools
of differential geometry. Typical examples of these derivations include Lie and
covariant differentiations with respect to a vector field on manifolds. A ten-
sor operator applied to a pure tensor field with respect to a fixed tensor field of
type (1, q), q > 0 is a generalization of Lie and covariant differentiations. An
especially important class of tensor operators is the class of Tachibana opera-
tors associated with a considering fixed tensor field of type (1, 1). The study of
Tachibana operators was started in the early 1960s by Tachibana [97], Tachibana
and Koto [98] and Sato [88]. Shirokov [93] and Kruchkovich [36] developed
the theory of Tachibana operators associated with a commutative hypercom-
plex structure. If affinors of commutaive hypercomplex structure are covariantly
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
constant with respect to the torsion-free connection, then the class of Tachibana
operators coincides with the class of Vishnevskii operators. This operator was
first considered by Vishnevskii [103] and devoloped by Vishnevskii, Shirokov
and Shurygin [107]. Lather the Tachibana and Vishnevskii operators was ques-
tioned in Norden geometry and in theory of complete and horizontal lifts by
Salimov [64], [67]. Other important class of tensor operators is the class of
Yano-Ako operators associated with a tensor field of type (1, 2). An affirmative
answer to the application of Yano-Ako operators was obtained in [68], [86]. On
the other hand, tensor operator can be applied to a pure connection and these
operators were lately investigated in [71].
The author believe that differential geometric applications of tensor opera-
tors is a very fruitful research domain and povides many new problems in the
study of modern differential geometry. However, in spite of its importance,
tensor operators and related topics are not as yet so well-known, and there is
no reference book covering this field. This was the motivation for publishing
the present monograph. This research monograph is intended to provide a sys-
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
xii Arif Salimov
Arif Salimov
Ataturk University, Turkey
January 2012
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Chapter 1
In this chapter we introduce the tensor operators which are used throughout this
book. In Section 1.1, we give the definition of pure tensor field with respect to
the affinor structure (i.e. tensor structure of type (1, 1) ) and its pure product.
In Section 1.2, we define the Tachibana operator applied to a pure tensor field.
Explicit expressions of these operators for different pure tensors are presented.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
2 Arif Salimov
1 2 r
for any X1 , X2 , ..., Xs ∈ ℑ10 (M) and ξ, ξ, ..., ξ ∈ ℑ01 (M), where ´ϕ is the adjoint
operator of ϕ defined by
j1 ... jr m ... jr m
tmi ϕ = tij11m...i
2 ...is i1
ϕ = ... = tij11i...
s i2
jr m
ϕ =
2 ...m is
(1.2)
m j ... j j m... j j j ...m
ti1 ...i2 s r ϕmj1 = ti11...is r ϕmj2 = ... = ti11...i2 s ϕmjr .
We consider for convenience’s sake the vector, covector and scalar fields as
pure tensor fields.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 3
Example 1. In particular, let now t ∈ ℑ11 (M) be a pure tensor field of type (1, 1).
Then (1.1) may be written as:
ϕ(tX) = t(ϕX).
Thus if t ∈ ℑ11 (M) and ϕ ∈ ℑ11 (M) satisfies the commutativity condition
ϕ ◦ t = t ◦ ϕ, (1.3)
C C
where (ϕ ◦t)X = (ϕ ⊗ t)X = ϕ(tX) (⊗ is a tensor product with a contraction C),
then t is a pure with respect to ϕ, and conversely ϕ is also a pure with respect
to t.
From (1.3) it follows easily that ϕ itself and the unit affinor field I are exam-
ples of the pure tensor field. Also, from (1.3) we have: if ϕ is a regular affinor
field, i.e. det(ϕij ) 6= 0, then the affinor field ϕ−1 whose components are given by
the elements of the inverse matrix of ϕ is also pure.
gim ϕmj = gm j ϕm
i ,
Pure tensor fields have been studied in [19], [36], [37], [58], [66], [77], [88],
[93], [97], [98], [105], [108], [112], [113] from different view points.
From (1.1) we easily see that if K and L are both pure tensor fields of type
(r, s), then K + L and f K ( f ∈ F(M)) are also pure tensor fields. We denote by
∗
ℑrs (M) the module of all pure tensor fields of type (r, s) on M with respect to
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
4 Arif Salimov
the affinor field ϕ. If K and L are pure tensor fields of types (p1 , q1 ), p1 ≥ 1 and
(p2 , q2 ), q2 ≥ 1 respectively, then the tensor product of K and L with contraction
C mi ...i r ...r
2 p 1 p
K ⊗ L = K j1 ... jq 1 Lms2 ...s2q2
1
is also a pure tensor field. For simplicity, we shall prove only the case when
∗ ∗
K ∈ ℑ11 (M) and L ∈ ℑ02 (M). In fact,
C
(K ⊗ L)(ϕX,Y ) = K(L(ϕX,Y )) = K(L(X, ϕY ))
C
= (K ⊗ L)(X, ϕY ), X,Y ∈ ℑ10 (M).
∗ ∞ ∗
We shall now make the direct sum ℑ(M) = ∑ ℑrs (M) into an alegebra over
r,s=0
C
the real number R by defining the pure product (denoted by ⊗ or ” ◦ ”) of K ∈
∗ ∗
ℑqp11 (M) and L ∈ ℑqp22 (M) as follows:
mi2 ...i p r1 ...r p
K j1 ... jq 1 Lms2 ...s2q2 , i f p1 , q2 ≥ 1,
i1 ...i p1
1
mr2 ...r p2
C C
⊗ : (K, L) → (K ⊗ L) = K m j L
2 jq1 s1 ...sq2
... , if p2 , q1 ≥ 1,
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
0 , if p1 , p2 = 0,
0 , if q1 , q2 = 0.
In particular, let K = X ∈ ℑ10 (M), and L ∈ Λq (M) be a q−form. Then the pure
C
product X ⊗ L coincides with the usual interior product ιX L.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 5
(d) φϕX Y = −(LY ϕ)X for all X,Y ∈ ℑ10 (M), where LY is the Lie derivation
with respect to Y .
(e) (φϕX ω)Y = (d(ιY ω))(ϕX)−(d(ιY (ω◦ϕ)))X +ω((LY ϕ)X) = (ϕX)(ιY ω)
−X(ιϕY ω) + ω((LY ϕ)X) for all ω ∈ ℑ01 (M) and X,Y ∈ ℑ10 (M), where ιY ω =
C
ω(Y ) = ω ⊗ Y .
By virtue of
[ f X, gY ] = f g [X,Y ] + f (Xg)Y − g (Y f ) X
for any f , g ∈ F(M), we see that φϕX Y is linear in X, but not Y.
We have in fact
φϕX (gY ) = g φϕX Y + ((ϕX) g)Y − (Xg)ϕY.
In the sequel we write φϕY X for φϕX Y .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
6 Arif Salimov
φϕt (X,Y ) = φϕtY X − t φϕY X
= (−LtY ϕ + t (LY ϕ))X (1.6)
= [ϕX,tY ] − ϕ [X,tY ] − t [ϕX,Y ] + ϕt [X,Y ]
= Qϕ,t (X,Y ) .
The tensor field Qϕ,t ∈ ℑ12 (M) is called the Nijenhuis-Shirokov tensor field [35],
[36]. Thus we have
∗
Theorem 1. Let t ∈ ℑ11 (M). Then φϕt is the Nijenhuis-Shirokov tensor field.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
φϕ ϕ (X,Y ) = −LϕY ϕ + ϕ (LY ϕ) X
= [ϕX, ϕY ] − ϕ [X, ϕY ] − ϕ [ϕX,Y ] + ϕ2 [X,Y ]
= Nϕ (X,Y ),
Nϕ = φϕ ϕ.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 7
∗
/ ℑ11 (M). In this case φϕt is not a tensor field.
Let now t ◦ ϕ 6= ϕ ◦ t , i.e. t ∈
We consider the expression
φϕt + φt ϕ (X,Y ) = [ϕX,tY ] + [tX, ϕY ] + ϕt [X,Y ]
+tϕ [X,Y ] − ϕ [X,tY ] − ϕ [tX,Y ]
−t [X, ϕY ] − t [ϕX,Y ],
which is nothing but the torsion tensor field Sφ,t of φ and t [57], [33, p.38].
Thus we have
Theorem 3. Let ϕ,t ∈ ℑ11 (M). The expression φϕt + φt ϕ without the purity con-
dition t ◦ϕ = ϕ◦t defines a tensor field Sϕ,t of type (1, 2), where Sϕ,t is the torsion
tensor field of ϕ and t.
Corollary 4. Let t be a tensor field of type (1, 1) without the purity condition.
Then
Sϕ,t (X,Y ) = Qϕ,t (X,Y ) − Qϕ,t (Y, X) + (ϕt − tϕ) [X,Y ] .
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
C
Qϕ,t Y X = (Qϕ,t ⊗Y )X = Qϕ,t (X,Y ) ,
C
t1 ◦ Qϕ,t2 (X,Y ) = (t1 ⊗ Qϕ,t2 ) (X,Y ) = Qϕ,t2 (X,t1Y ) ,
Qϕ,t1 ◦ t2 (X,Y ) = t2 (Qϕ,t1 (X,Y )).
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
8 Arif Salimov
φϕt (X,Y1 ,Y2 , ...,Ys) = φϕ (t (Y1 ,Y2 , ...,Ys)) X
s
− ∑ t Y1 ,Y2 , ..., φϕYλ X, ...,Ys
λ=1
= − Lt(Y1 ,Y2 ,...,Ys ) ϕ X (1.7)
s
+ ∑ t Y1 ,Y2 , ..., LYλ ϕ X, ...,Ys .
λ=1
h s
φϕ t = ϕm h h m m h h m
k ∂m t j1 ... js − ϕm ∂k t j1 ... js − t j1 ... js ∂m ϕk + ∑ t j1 ...m... js ∂ jλ ϕk (1.8)
k j1 ... js
λ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 9
1
(dω)(X,Y) = {X(ω(Y )) −Y ω(X) − ω([X,Y])}
2
for any X,Y ∈ ℑ10 (M) and ω ∈ ℑ01 (M),we have
1
(dω)(Y, ϕX) = {Y (ω(ϕX)) − (ϕX)(ω(Y )) − ω([Y, ϕX])}
2
1
= {Y (ω(ϕX)) − (ϕX)(ω(Y )) + ω([ϕX,Y ])}
2
1
= {Y (ω(ϕX)) − (ϕX)(ω(Y )) + ω([ϕX,Y ]
2
−ϕ[X,Y ]) + ω(ϕ[X,Y ])}. (1.10)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
10 Arif Salimov
Theorem 6. Let ω ∈ ℑ01 (M) and ϕ2 = −id. Then ω ◦ ϕ ∈ Ker φϕ if and only if
ω ∈ Ker φϕ .
Proof. If we substitute ω ◦ ϕ into ω and ϕX into X, then the equation (1.9) may
be written as
or
((φϕ (ω ◦ ϕ)) ◦ ϕ)(X,Y ) = −(φϕ ω)(X,Y),
from which by virtue of detϕ 6= 0, we see that φϕ (ω ◦ ϕ) = 0 if and only if
φϕ ω = 0.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 11
φϕ (ω ◦ ϕ) = (φϕ ω) ◦ ϕ + ω ◦ Nϕ .
Proof. For simplicity, let s = 2 and ωY1 be an 1-form such that ωY1 (Y2 ) =
ω (Y1 ,Y2 ) . By (e) of Definition 2 we have
(φϕX ωY1 )Y2 = (ϕX)(ωY1 (Y2 )) − X(ωY1 (ϕY2 )) + ωY1 ((LY2 ϕ)X)
= (ϕX)(ω (Y1 ,Y2 )) − X(ω (Y1 , ϕY2 )) + ω(Y1 , (LY2 ϕ)X),
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
it follows that
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
12 Arif Salimov
Taking account of (1.12), Theorem 8, and φϕX Y = −(LY ϕ)X we now have
(ω ◦ ϕ)(X,Y ) = ω(ϕX,Y ).
∗
Remark 5. We note that if ω ∈ ℑ02 (M) is a symmetric (skew-symmetric) pure
∗
tensor field, then ω ◦ ϕ ∈ ℑ02 (M) is also symmetric (skew-symmetric) pure tensor
field.
From (1.13) we see that the tensor field φϕ ω ∈ ℑ03 (M) has components
φϕ ω = ϕm m m
i ∂m ωi j − ∂k (ω ◦ ϕ)i j + ωm j ∂i ϕk + ωim ∂ j ϕk
ki j
(ω ◦ ϕ)i j = ωm j ϕm m
i = ωim ϕ j . (1.14)
The expression φϕ ω are components of a tensor field of type (0,3)
[ki j]
without the purity condition (1.14) , and if ω is a 2-form, then φϕ ω coin-
[ki j]
cides with the tensor field introduced by Frolicher and Nijenhuis [29], [30].
∗
If ω ∈ ℑ0s (M), s ≥ 2, then taking account of Theorem 8, we have
φϕ ω (X,Y1 , ...,Ys) = (ϕX) (ω (Y1 , ...,Ys)) − X (ω (ϕY1 , ...,Ys))
s
+ ∑ ω Y1 , ..., LYλ ϕ X, ...,Ys (1.15)
λ=1
= LϕX ω − LX (ω ◦ ϕ) (Y1 , ...,Ys) ,
where ω ◦ ϕ is defined by
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 13
∗
Corollary 10. Let ω ∈ ℑ0s (M), s ≥ 2, ω ∈ Kerφϕ . If ϕ2 = −id, then ω ◦ Nϕ = 0,
where ω ◦ Nϕ (X,Y1 , ...,Ys) = ω Nϕ (X,Y1 )Y2 , ...,Ys .
1 2 r
(t 1 2 r ) j1 j2 ... js = t ij11...i
... js ξi1 ξi2 ...ξir .
r
ξ,ξ,...,ξ
µ µ
µ
Then, using φϕX ξ = LϕX ξ − LX ξ ◦ ϕ (see (1.9)), we see that φϕt for t ∈
∗
ℑrs (M), r > 1, s ≥ 1, is by definition, a tensor field of type (r, s + 1) given by
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
14 Arif Salimov
1 2 r
1 2 r
φϕ t X,Y1 , ...,Ys, ξ, ξ, ..., ξ = φϕX t Y1 , ...,Ys, ξ, ξ, ..., ξ
1 2 r
1 2 r
= (ϕX)t Y1 , ...,Ys, ξ, ξ, ..., ξ − Xt ϕY1 , ...,Ys, ξ, ξ, ..., ξ
s 1 2 r
+ ∑ t Y1 , ..., LYλ ϕ X, ...,Ys, ξ, ξ, ..., ξ
λ=1
r 1 µ
µ r
− ∑ t Y1 , ...,Ys, ξ, ..., LϕX ξ − LX ξ ◦ ϕ , ..., ξ . (1.16)
µ=1
µ
By setting X = ∂k , Yλ = ∂ jλ , ξ = dxiµ , λ = 1, ..., s; µ = 1, ..., r in the equa-
i1 ...ir
tion (1.16), we see that the components φϕt of φϕt with respect to local
j1 ... js
coordinate system x1 , ..., xn may be expressed as follows:
i1 ...ir
i1 ...ir i1 ...ir
φϕt = ϕm
k ∂m t j1 ... js − ∂k (t ◦ ϕ) j1 ... js (1.17)
k j1 ... js
s i1 ...ir r
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
iµ iµ
+ ∑ ∂ jλ ϕm
k t j1 ...m... js + ∑ k m m k t ij11...m...i
∂ ϕ − ∂ ϕ ... js
r
,
λ=1 µ=1
where
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 15
s
ψϕX t (Y1 ,Y2 , ...,Ys) = ∇ϕX t (Y1 , ...,Ys) + ∑t Y1 , ..., ∇ϕX Yλ , ...,Ys
λ=1
s
−ϕ (∇X t) (Y1 , ...,Ys) − ϕ( ∑ t (Y1 , ..., ∇X Yλ , ...,Ys))
λ=1
s
− ∑ t Y1 , ..., ψϕYλ X, ...,Ys . (1.18)
λ=1
s s
ϕ( ∑ t (Y1 , ..., ∇X Yλ , ...,Ys)) = ∑ t (Y1, ..., ϕ(∇X Yλ) , ...,Ys) . (1.19)
λ=1 λ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
16 Arif Salimov
s s
+ ∑ t Y1 , ..., ∇ϕX Yλ − ϕ (∇X Yλ ) , ...,Ys − ∑ t Y1 , ..., ψϕYλ X, ...,Ys
λ=1 λ=1
= ∇ϕX t − ϕ (∇X t) (Y1 , ...,Ys).
Thus
ψϕt (X,Y1 , ...,Ys) = ∇ϕX t − ϕ (∇X t) (Y1 , ...,Ys) . (1.20)
ψϕ ω (X,Y ) = (ψϕX ω)Y (1.21)
= (ϕX)(ιY ω) − X(ιϕY ω) − ω ∇ϕX Y − ϕ (∇X Y )
= ∇ϕX ω − ∇X (ω ◦ ϕ) Y
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
for any X,Y ∈ ℑ10 (M),where (ω ◦ ϕ)Y = ω (ϕY ). From (1.21) we see that
ψϕX ω = ∇ϕX ω − ∇X (ω ◦ ϕ) is a 1−form.
∗
Let now ω ∈ ℑ0s (M), s > 1. Using Theorem 8, by similar devices we have
ψϕ ω (X,Y1 , ...,Ys) = ψϕX ω (Y1 , ...,Ys)
s
= (ϕX)(ω (Y1 , ...,Ys)) − Xω (ϕY1 , ...,Ys) − ∑ (ω Y1 , ..., ∇ϕX Yλ , ...,Ys
λ=1
− ω (Y1 , ..., ϕ(∇X Yλ ) , ...,Ys))
s
= ∇ϕX ω (Y1 , ...,Ys) − Xω (ϕY1 ,Y2 , ...,Ys) + ∑ ω (Y1 , ..., ϕ∇X Yλ, ...,Ys)
λ=1
= ∇ϕX ω (Y1 , ...,Ys) − Xω (ϕY1 ,Y2 , ..,Ys) + ω (ϕ(∇X Y1 ),Y2, ...,Ys)
+ ω (ϕY1 , ∇X Y2 , ...,Ys) + ... + ω (ϕY1 ,Y2 , ..., ∇X Ys )
= (∇ϕX ω − ∇X (ω ◦ ϕ) (Y1 , ...,Ys) .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 17
Thus
ψϕ ω (X,Y1 , ...,Ys) = (∇ϕX ω − ∇X (ω ◦ ϕ) (Y1 , ...,Ys) . (1.22)
1 2 r
ψϕt X,Y1 , ...,Ys, ξ, ξ, ..., ξ
1 2 r
1 2 r
= (ϕX)t Y1 , ...,Ys, ξ, ξ, ..., ξ − Xt ϕY1 ,Y2 , ...,Ys, ξ, ξ, ..., ξ
s 1 2 r
− ∑ t Y1 , ..., ∇ϕX Yλ − ϕ (∇X Yλ ) , ...,Ys, ξ, ξ, ..., ξ
λ=1
r µ
µ
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
1 r
− ∑ t Y1 , ...,Ys, ξ, ..., ∇ϕX ξ − ∇X ξ ◦ ϕ , ..., ξ . (1.23)
µ=1
Substituting
1 µ
µ r
t Y1 , ...,Ys, ξ, ..., ∇ϕX ξ − ∇X ξ ◦ ϕ , ..., ξ
1 µ
µ µ r
= t Y1 , ...,Ys, ξ, ..., ∇ϕX ξ − ∇X ξ ◦ ϕ − ξ ◦ ∇X ϕ, ..., ξ
1 µ µ r
0
= t Y1 , ...,Ys, ξ, ..., ∇ϕX ξ − ϕ∇X ξ, ..., ξ
1 µ r
− t Y1 , ...,Ys, ξ, ..., ξ◦ ∇X ϕ, ..., ξ
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
18 Arif Salimov
1 2 r
1 2 r
ψϕt X,Y1 , ...,Ys, ξ, ξ, ..., ξ = ∇ϕX t − ∇X (t ◦ ϕ) Y1 , ...,Ys, ξ, ξ, ..., ξ
1 µ r
r
+ ∑µ=1 t Y1 , ...,Ys, ξ, ..., ξ ◦ ∇X ϕ, ..., ξ .
(1.24)
Let now ∇ϕ = 0. Then from (1.24), we have
Remark 7. Since a zero torsion tensor field is pure, it follows that φϕX Y =
ψϕX Y for any torsion-free ϕ−connection.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 19
Γkm j ϕm k m m k
i = Γim ϕ j = Γi j ϕm (1.26)
with respect to adapted local coordinates, where Γkij are components of ∇. We
call this connection a pure connection with respect to ϕ [36].
We denote the curvature tensor of the pure connection ∇ by R, which be-
longs to ℑ13 (M) :
Theorem 14. Let ϕ ∈ ℑ11 (M). If ∇ is a pure connection with respect to ϕ, then
ϕR (X,Y ) Z = R (X,Y )ϕZ (1.27)
for any X,Y, Z ∈ ℑ10 (M).
Theorem 15. Let ϕ ∈ ℑ11 (M), and ∇ be a pure connection with respect to ϕ.
The curvature tensor field R of ∇ is a pure tensor field with respect to ϕ if and
only if
ψϕX (∇Y Z) = ∇ϕX ∇Y Z − ϕ (∇X ∇Y Z)
= 0
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
20 Arif Salimov
we have
Thus
R(X, ϕY )Z = ϕR(X,Y )Z − ψϕY (∇X Z). (1.28)
By virtue of R(X,Y )Z = −R(Y, X)Z, from (1.28) we have
ψϕX (∇Y Z) = 0
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 21
BX̃ = BiA X̃ A ∂i .
Thus the correspondence X̃ → BX̃ determines a mapping
B : ℑ10 (M̃) → ℑ10 i M̃ ,
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
t : ℑ10 (M) × ... × ℑ10 (M) × ℑ10 (M̃) × ... × ℑ10 (M̃)×
×ℑ01 (M) × ... × ℑ01 (M) × ℑ01 (M̃) × ... × ℑ01 (M̃) → ℑ00 (M̃)
( ℑ10 (M): s times, ℑ01 (M): r times, ℑ10 (M̃): q times, ℑ01 (M̃): p times) defined
on M̃ that it is a tensor field of type (p, q) on M̃ for fixed arguments X1 , ..., Xs ∈
ℑ10 (M) and ξ1 , ..., ξr ∈ ℑ01 (M), and is a tensor field of type (r, s) on M for fixed
1 p
arguments X̃1 , ..., X̃q ∈ ℑ1 (M̃) and e
0 ξ , ..., e
ξ ∈ ℑ0 (M̃). 1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
22 Arif Salimov
λ = 1, ..., s, µ = 1, ..., q,
then we say that t is pure with respect to the pair Xλ , X̃µ . If t is pure with
respect to all pairs of its vector and covector arguments, then it is called a pure
tensor field of type (r, s; p, q) with respect to (ϕ, ϕ̃).
∼
The vector fields X̃ ∈ ℑ10 (M̃) (or ξ ∈ ℑ01 (M̃)) and X ∈ ℑ10 (M) (or ξ ∈ ℑ01 (M))
restricted to M̃ is considered to be pure, by convention. In particular, the affinor
fields ϕ and ϕ̃ are pure tensor fields.
Let K and L be pure tensor fields of type (r1 , s1 ; p1 , q1 ) and (r2 , s2 ; p2 , q2 ),
respectively. The definition of pure product can be extended to a pure tensors of
mixed kind, as follows:
C
pure product K(X̃ ,ξ̃) ⊗L(Ỹ ,η̃) on M,
1 p1
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
C
K ⊗L = for fixed X̃1 , ..., X̃q, e
ξ , ..., e
ξ , Ỹ1 , ...,Ỹq2 ,ηe1 , ...,ηe p2
C
pure product K(X,ξ) ⊗L(Y,η) on M̃,
for fixed X1 , ..., Xs1 , ξ1 , ..., ξr1 ,Y1 , ...,Ys2 , η1 , ..., ηr2
∗ ∗
r,p
Then as in Section 1.1, we can define an algebra ℑ(M̃) = ∑∞
r,s,p,q=0 ℑs,q (M̃)
C ∗
r,p
over R with respect to the pure product ⊗, where ℑs,q (M̃) is the module of all
pure tensor fields of type (r, s; p, q) with respect to (ϕ, ϕ̃) on M̃.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 23
ϕim Bm C i
A = ϕ̃A BC . (1.30)
Conversely if there exists an affinor field ϕ̃ ∈ ℑ11 (M̃) satisfying (1.30), then M̃
is invariant.
The equation (1.30) means that BiA is pure tensor field of type (1, 0, 0, 1) on
M̃ with respect to (ϕ, ϕ̃). The equation (1.30) may also be written as
0
B ϕ̃X̃ , ξ = B(X̃, ϕξ)
or
0
ξB ϕ̃X̃ = B(X̃, ϕξ) = B X̃, ξ ◦ ϕ = (ξ ◦ ϕ) BX̃ = ξ ϕ BX̃ ,
i.e.
ϕ BX̃ = B ϕ̃X̃ (1.31)
for any X̃ ∈ ℑ10 (M̃).
Now we introduce an operator on M̃ which is associated with ϕ and ϕ̃, and
applied to a pure tensors of mixed kind.
Definition 5. Let ϕ ∈ ℑ11 (M), and M̃ be an invariant submanifold with an
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
∗
induced affinor field ϕ̃ ∈ ℑ11 (M̃). A map φϕ,ϕ̃ |r+s+p+q>0 : ℑ(M̃) → ℑ(M̃) (
∗
r,p
ℑ(M̃) = ∑∞ r,s,p,q=0 ℑs,q (M̃) is an algebra of tensors of mixed kind ) is called
a Tachibana operator or φϕ,ϕ̃ −operator on M̃, if
(a) φϕ,ϕ̃ is linear with respect to constant coefficients,
∗ ∗
r,p r,p
(b) φϕ,ϕ̃ : ℑs,q (M̃) → ℑs,q+1 (M̃) for all r, s, p and q,
C C C ∗
(c) φϕ,ϕ̃ (K ⊗L) = φϕ,ϕ̃ K ⊗L + K ⊗ φϕ,ϕ̃ L for all K, L ∈ ℑ(M̃),
(d1 ) φϕ,ϕ̃Ỹ X̃ = φϕ̃Ỹ X̃ = − (LỸ ϕ̃) X̃ for any Ỹ ∈ ℑ10 (M̃),
(d2 ) φϕ,ϕ̃Y X̃ = φϕY BX̃ = − (LY ϕ) BX̃ for any Y ∈ ℑ10 (M),
(e1 ) φϕ,ϕ̃ ω̃ (X̃, Ye ) = φϕ̃ ω̃ X̃, Ye = d ((iỸ ω̃)) ϕ̃X̃
−d (iỸ ( ω̃ ◦ ϕ̃))
X̃ + ω̃((L
Ỹ ϕ̃)X̃) for any ω̃ ∈ ℑ01 (M̃),
(e2 ) φϕ,ϕ̃ ω (X̃,Y ) = φϕ ω BX̃,Y = d ((iY ω)) ϕ BX̃
−d (iY (ω ◦ ϕ)) BX̃ + ω((LY ϕ)(BX̃)) for any ω ∈ ℑ01 (M).
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
24 Arif Salimov
∗
1,0 e
Let t ∈ ℑs,q (M). Then t Y1 , ...,Ys, Ye1 , ..., Yeq ∈ ℑ10 (M) for any Y1 , ...,Ys ∈ ℑ10 (M)
and Ye1 , ..., Yeq ∈ ℑ1 (M).
0
e Using Definition 5 we have
(φϕ,eϕt Y1 , ...,Ys, Ye1 , ..., Yeq )Xe = (φϕ,eϕt)(X,Y
e 1 , ...,Ys, Ye1 , ..., Yeq)
s
e ...,Ys, Ye1 , ..., Yeq)
+ ∑ t(Y1, ..., (φϕ,eϕYλ )X,
λ=1
q
+ ∑ t(Y1 , ...,Ys, Ye1 , ..., (φϕ,eϕYeµ )X,
e ..., Yeq).
µ=1
s
e ...,Ys, Ye1 , ..., Yeq)
− ∑ t(Y1 , ..., (φϕ,eϕYλ )X,
λ=1
e
= −(Lt (Y1 ,...,Ys ,Ye1 ,...,Yeq ) ϕ)(BX)
s
e ...,Ys, Ye1 , ..., Yeq)
+ ∑ t(Y1 , ..., (LYλ ϕ)(BX),
λ=1
q
+ ∑ t(Y1 , ...,Ys, Ye1 , ..., (LYeµ ϕ e ..., Yeq).
e)X,
µ=1
By setting Xe = ∂C ,Yλ = ∂ jλ , Yeµ = ∂Aµ in the equation (1.32), we see that the
components (φϕ,eϕ t)Ci j1 ... js A1 ...Aq may be expressed as follows:
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 25
s q
m
+ ∑ BCh t ij1 ...m... js A1 ...Aq ∂ jλ ϕm i
h + ∑ t j1 ... js A1 ...m...Aq ∂Aµ ϕ
eC
λ=1 µ=1
q
∗i
eCm ∂mt ij1 ... js A1 ...Aq − ∂C t
= ϕ j1 ... js A1 ...Aq
m
+ ∑ t ij1 ... js A1 ...m...Aq ∂Aµ ϕ
eC
µ=1
s
+BCh t ij1 ... js A1 ...Aq (∂h ϕim − ∂m ϕih ) + ∑ BCh t ij1 ...m... js A1 ...Aq ∂ jλ ϕm
h,
λ=1
∗
where t ij1 ... js A1 ...Aq = ϕimt ij1 ... js A1 ...Aq .
The operator (1.33) first introduced by Tachibana and Koto [98] (see also
[93]) .
∗
Let now t ∈ ℑ1,0 e Then by similar devices we obtain
s,q (M).
s
e ...,Ys, Ye1 , ..., Yeq)
+ ∑ t(Y1 , ..., (LYλ ϕ)(BX), (1.34)
λ=1
q
+ ∑ t(Y1, ...,Ys, Ye1 , ..., (LYeµ ϕ e ..., Yeq).
e)X,
µ=1
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
e, respectively.
where Nϕ and Nϕe are Nijenhuis tensors of ϕ and ϕ
∗
Since B ∈ ℑ1,0 e
0,1 (M), we now consider the operator (1.32) acting on B:
e Ye ) = −L e (B(ϕ
(φϕ,eϕ B)(X, e + ϕ(L e BX)
eX)) e + B(Le ϕXe −ϕ e
e (LYe X))
BY Y
h i h BY i h i
e ϕ
= −B X, eYe + ϕB Ye , X
e + B(Le ϕX)
e − Bϕe Ye , Xe Y
= 0.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
26 Arif Salimov
Thus we have
e be an invariant submanifold of M with an
Theorem 16. Let ϕ ∈ ℑ11 (M), and M
1 e
e ∈ ℑ1 (M). Then
induced ϕ
φϕ,eϕ B = 0
∗
for B ∈ ℑ1,0 e
0,1 (M),
e → M.
where B is the differential of the immersion i : M
C
e and B are pure tensor fields, a tensor fields ϕ ◦ B = ϕ ⊗ B and
Since ϕ, ϕ
C
B◦ϕe = B⊗ϕ e are also pure tensor fields of type (1, 0, 0, 1), where (ϕ ◦ B)Ye =
ϕ(BYe ) and (B ◦ ϕ
e)Ye = B(ϕ
eYe ) for any Ye ∈ ℑ10 (M).
e If we apply φϕ,eϕ to (1.31),
then by virtue of Theorem 2, Theorem 16 and (c) of Definition 5 we have
e Ye) = (φϕ,eϕ (B ◦ ϕ
(φϕ,eϕ (ϕ ◦ B))(X, e Ye ),
e))(X,
e BYe) = (B ◦ (φϕ,eϕ ϕ
(φϕ,eϕ ϕ)(X, e Ye) = (B ◦ Nϕe )(X,
e ))(X, e Ye) = B(Nϕe (X,
e Ye)),
Nϕ (BX, e Ye)),
e BYe ) = B(Nϕe (X, (1.35)
where Nϕ and Nϕe are Nijenhuis tensors of ϕ and ϕ e, respectively. Since B is
injective, from (1.35) we see that if Nϕ = 0, then Nϕe = 0.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Thus we have
e 1 , ...,Ys)
(φϕ,eϕ ω)(X,Y (1.36)
e
= (ϕ(BX))(ω(Y e
1 , ...,Ys)) − (BX)ω(ϕY1 , ...,Ys)
s
e − ϕ(LY BX),
+ ∑ ω(Y1 , ..., LYλ ϕ(BX) e ...,Ys)
λ
λ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 27
s
e
= (ϕ(BX))(ω(Y1 , ...,Ys)) − ∑ ω(Y1 , ..., Lϕ(BXe )Yλ , ...,Ys)
λ=1
s
e
−(BX)(ω ◦ ϕ)(Y1 , ...,Ys) + ∑ (ω ◦ ϕ)(Y1, ..., LBXeYλ , ...,Ys)
λ=1
= (Lϕ(BXe ) ω − LBXe (ω ◦ ϕ))(Y1, ...,Ys)
e 1 , ...,Ys).
= (φϕ ω)(BX,Y
∗
e ∈ ℑ0,0
Similarly, if ω e
0,q (M), then using (e1 ), we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
28 Arif Salimov
Definition 6. A tensor field of type (r, s) is called pure tensor field with respect
to S if
1 r 1 r
t(SY1 X1 , ..., Xs; ξ, ..., ξ) = ... = t(X1, ..., SY1 Xs; ξ, ..., ξ) =
1 r 1 r
= t(X1 , ..., Xs;´ (SY1 )ξ, ..., ξ) = ... = t(X1 , ..., Xs; ξ, ...,´(SY1 )ξ)
1 r 1 r
t(SY2 X1 , ..., Xs; ξ, ..., ξ) = ... = t(X1, ..., SY2 Xs; ξ, ..., ξ) =
1 r 1 r
= t(X1 , ..., Xs;´ (SY2 )ξ, ..., ξ) = ... = t(X1 , ..., Xs; ξ, ...,´(SY2 )ξ)
1 r
for any X1 , ..., Xs,Y1 ,Y2 ∈ ℑ10 (M) and ξ, ..., ξ ∈ ℑ01 (M), where SY1 (SY2 ) denotes
an affinor field such that SY1 (Y2 ) =S(Y1 ,Y2 ), (SY2 (Y1 ) = S(Y1 ,Y2 )) , for any Y1 ∈
ℑ10 (M) Y2 ∈ ℑ10 (M) ,´ (SY1 ) ´(SY2 ) is the adjoint operator of SY1 , SY2 ∈ ℑ11 (M).
We consider for convenience’s sake the vector, kovector and scalar fields as
pure tensor fields with respect to S. Pure tensor fields with with respect to S
have been studied in [40], [86], [113].
Example 3. Let now t ∈ ℑ11 (M) be a pure tensor field with respect to S. Then,
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 29
∗
We denote by S ℑrs (M) the module of all pure tensor fields of type (r, s) on
M with respect to S. As in Section 1.1.1, by similiar devices, we shall make the
∗ ∞ ∗
direct sum S ℑ(M) = ∑ S ℑr (M)
s into an algebra over R by defining the pure
r,s=0
C
product ⊗.
Definition 7. [71], [113] Let S ∈ ℑ12 (M), and ℑ(M) = ∑∞p,q=0 ℑrs (M) be a ten-
∗
sor algebra over R. A map φS |r+s>0 : S ℑ(M) → ℑ(M) is called a Yano-Ako
operator or φS -operator on M, if
(a) φS is a R- lineer, i.e. φS (at1 + bt2 ) = aφS (t1 ) + bφS (t2 ) for any a, b ∈
∗
R, t1 ,t2 ∈ S ℑrs (M),
∗
(b) φS : S ℑrs (M) → ℑrs+2 (M) for all r, s,
C C C ∗
(c) φS (K ⊗ L) = (φS K) ⊗ L + K ⊗ (φS L) for all K, L ∈ S ℑ(M),
(d) φS(X1 ,X2 )Y = −(LY S)(X1 , X2 ) for all X1 , X2 ,Y ∈ ℑ10 (M),
(e) (φS ω)(X1, X2 ,Y ) = (d(ιY ω))(S(X1, X2 )) − 2(d(ιY (ω ◦ S)))(X1, X2 )+
+ω(LY S)(X1 , X2 ) for all X1 , X2 ,Y ∈ ℑ10 (M), ω ∈ ℑ01 (M), where ιY ω =
C
ω(Y ) = ω ⊗ Y, S(X1 , X2 ) = −S(X2 , X1 ), d is the exterior differentiation of
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
(ω ◦ S) ∈ ℑ01 (M).
which implies
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
30 Arif Salimov
On the other hand, using Example 3, from (1.7) and (1.39) we have
(φS ϕ)(Y, X1, X2 ) = −(LS(X1 ,X2 ) ϕ)Y + S((LX1 ϕ)Y, X2) + S(X1 , (LX2 ϕ)Y )
= −[S(X1 , X2 ), ϕY ] + ϕ([S(X1, X2 ),Y ]) + S([X1 , ϕY ]
−ϕ[X1,Y ], X2) + S(X1 , [X2 , ϕY ] − ϕ[X2 ,Y ])
= −(φϕ S)(X1, X2 ,Y ).
Thus we have
∗
Theorem 19. Let ϕ ∈ S ℑ11 (M).Then
Thus
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 31
Thus
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
32 Arif Salimov
Thus
Local expressions of the Yano-Ako operators and their applications to the theory
of complete lifts we will consider in Chapter 4.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
1.7. ψS −operators
Let ∇ be a linear connection on M, and let S ∈ ℑ12 (M). We can replace the
condition (d) of Definition 7 by
Remark 8. We easily see that ψS(X1 ,X2 )Y is linear in X1 , and X2 but not Y . In
the sequal we write (ψSY )(X1 , X2 ) for ψS(X1 ,X2 )Y .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 33
s
= ψS(X1 ,X2 )t(Y1 ,Y2 , ...,Ys) − ∑ t(Y1 , ..., (ψS(X1 ,X2 )Yλ ), ...,Ys)
λ=1
= ∇S(X1 ,X2 )t(Y1 ,Y2 , ...,Ys) − S(∇X1 (t(Y1,Y2 , ...,Ys), X2))
s
−S(X1 , ∇X2 (t(Y1,Y2 , ...,Ys))) − ∑ t(Y1 , ..., (ψS(X1 ,X2 )Yλ ), ...,Ys),
λ=1
s
= ∇S(X1 ,X2 )t(Y1 ,Y2 , ...,Ys) + ∑ t(Y1, ..., ∇S(X ,X )Yλ, ...,Ys)
1 2
λ=1
s
−S((∇X1 t)(Y1 , ...,Ys), X2 ) − S( ∑ t(Y1 , ..., ∇X1 Yλ , ...,Ys), X2 )
λ=1
s
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
(1.41)
s s
S( ∑ t(Y1, ..., ∇X1 Yλ , ...,Ys), X2) = ∑ t(Y1, ..., S(∇X Yλ, X2), ...,Ys),
1
λ=1 λ=1
s s
S(X1 , ∑ t(Y1, ..., ∇X2 Yλ , ...,Ys)) = ∑ t(Y1, ..., S(X1, ∇X Yλ), ...,Ys).
2
λ=1 λ=1
(ψS t)(X1, X1 ,Y1 , ....,Ys) = (∇S(X1 ,X2 )t − SX1 (∇X2 t) − SX2 (∇X1 t))(Y1, ...,Ys)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
34 Arif Salimov
s
+ ∑ t(Y1 , ..., ∇S(X1 ,X2 )Yλ − S(∇X1 Yλ , X2 ) − S(X1 , ∇X2 Yλ ), ...,Ys)
λ=1
s
− ∑ t(Y1 , ..., (ψS(X1 ,X2 )Yλ ), ...,Ys)
λ=1
= (∇S(X1 ,X2 )t − SX1 (∇X2 t) − SX2 (∇X1 t))(Y1, ...,Ys).
Thus
(ψS(X1 ,X2 )t)(Y1 , ...,Ys) = ∇S(X1 ,X2 )t − SX1 (∇X2 t) − SX2 (∇X1 t))(Y1, ...,Ys). (1.42)
From (1.42) we have
∗
Theorem 20. Let t ∈ S ℑ1s (M). If ∇t = 0, then t ∈ KerψS .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 35
Thus
On the other hand, from (d´´) of Definition 8 and (d´) of Definition 3, we obtain
1.8. Generalizations
The definition of the Yano-Ako operator ( φS −operator) can be extended to S of
type (1, q) as follows:
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
36 Arif Salimov
Let S be a tensor field of type (1, q), q > 0. As in Section 1.6.1, we denote
∗ ∞ ∗ C
by (S ℑ(M) = ∑ S ℑr (M), ⊗)
s an algebra over R of all pure tensor fields of type
r,s=0
(r, s) with respect to S.
∗
Definition 9. A map φS |r+s>0 : S ℑ(M) → ℑ(M) is called a generalized Yano-
Ako operator or a generalized φS -operator, if
(a) φS is a R- lineer, i.e. φS (at1 + bt2 ) = aφS (t1 ) + bφS (t2 ) for any a, b ∈ R
∗
and t1 ,t2 ∈ S ℑrs (M),
∗
(b) φS : S ℑrs (M) → ℑrs+q (M) for all r and s,
C C C ∗
(c) φS (K ⊗ L) = (φS K) ⊗ L + K ⊗ (φS L) for all K, L ∈ S ℑ(M),
(d) φS(X1 ,...,Xq )Y = −(LY S)(X1 , ..., Xq) for all Y, X1, ..., Xq ∈ ℑ10 (M),
(e) (φS(X1 ,...,Xq ) ω)Y = (d(ιY ω))(S(X1, ..., Xq)) − q(d(ιY (ω ◦ S)))(X1, ..., Xq)
+ω((LY S)(X1, ..., Xq)) for all X1 , ..., Xq,Y ∈ ℑ10 (M), ω ∈ ℑ01 (M), where
C
ιY ω = ω(Y ) = ω ⊗ Y, S is a vector-valued q−form, d is the exterior differ-
entiation of ιY (ω ◦ S) ∈ Λq−1 (M).
∗ ∗
In particular, if t ∈ S ℑ1s (M) and ω ∈ S ℑ0s (M), then as in Section 1.6.3, by
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
and
(φS ω)(X1 , ..., Xq,Y1 , ...,Ys) = (S(X1 , ..., Xq))(ω(Y1 , ...,Ys))
−q(d(ιY1 (ωY2 ,...,Ys ◦ S)))(X1, ..., Xq)
s
+ ∑ ω(Y1 , ..., (LYλ S)(X1 , ..., Xq), ...,Ys),
λ=1
where ωY2 ,...,Ys ∈ ℑ01 (M) for fixed Y2 , ...,Ys ∈ ℑ10 (M) and ωY2 ,...,Ys ◦ S ∈ Λq (M).
If we replace the condition (d) of Definition 9 by
q
ψS(X1 ,...,Xq )Y = ∇S(X1 ,...,Xq )Y − ∑ S(X1 , ..., ∇Xλ Y, ..., Xq),
λ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
On Operators Applied to Pure Tensor Fields 37
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Chapter 2
Algebraic Structures on
Manifolds
In this chapter we give the fundamental results and some theorems concerning
geometry of holomorphic hypercomplex manifolds which will be needed for the
later treatment of special types of hypercomplex manifolds. In Section 2.1, we
give the basic definitions and theorems on hypercomplex algebras. Section 2.2
is devoted to the study of hypercomplex structures on manifolds. We introduce
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
40 Arif Salimov
where γ and β are the number of the row and column, respectively. Then the as-
τ Cσ = Cσ Cτ ) can be written
sociativity condition eα .(eβ .eγ) = (eα .eβ ).eγ (Cασ
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
βγ αβ σγ
in one of the following three equivalent forms:
σ
CαCβ = Cαβ Cσ , (2.2)
eβ = Cγ C´
eαC´ e
C´ αβ γ , (2.3)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 41
γ γ
AσγCαβ εβ = Cαγ
σ
A β εβ ,
Aσγδγα = Cαγ
σ γ
a,
A = (Aσα ) = aγ(Cαγ
σ
) = aγCeγ ,
γ e
where aγ = Aβ εβ , A ∈ C(A).Thus we have
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
eα = C´
Theorem 23. Let A be a matrix of (m × m)-matrices. Then AC´ eα A for all
α eα .
α if and only if A = a C´
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
42 Arif Salimov
a = aα eα −→ a = aα eα = aα ψσα eσ .
From (2.11) follows that, there exists an adapted basis of Am such that ψαβ =
±δαβ . We set
( β
α
ψαβ 1 , i f ψα = δαβ ,
ψβ = 1
β
ψαβ 2 , i f ψα = −δαβ ,
2
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 43
Since ψ(e1 ) = e1 (see (2.13)), we have e1 ∈ {eα1 }, where {eα1 } denotes the
plane spaned by eα1, 1 ≤ α1 < α. In particular, if A2 = C(m = 2) is the complex
1 0
algebra then, ψαβ = and e1 = e1 = 1, e2 = −e2 = −i, i2 = −1. Tak-
0 −1
ing account of (2.14) and writing expression (2.12), for the different indices, we
find
γ γ γ γ
Cα21 β = 0, Cα22 β = 0,Cα11 β = Cβ1 α1 = 0
1 2 2 2
dw = w´(z)dz. (2.14)
Theorem 25. [89], [36], [107, p.87] The hypercomplex function w = w(z) is
holomorphic if and only if the Scheffers conditions hold:
Cα D = DCα . (2.15)
α
where D = ( ∂y
∂xβ
) is the Jacobian matrix of yα (x), Cα is the matrix defined by
(2.1).
e α eα . Then
Proof. Let w = w(z) be a holomorphic function. We put w´(z) = w
from (2.11) we have
∂yα β γ
dw =dyα eα = e α eα dxβ eβ = w
dx eα = w e α dxβCαβ eγ .
∂xβ
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
44 Arif Salimov
1 1
1 1
C11 C12 1 0 C21 C22 0 −1
C1 = 2 2 = , C2 = 2 2 =
C11 C12 0 1 C21 C22 1 0
from (2.15) we have
∂y1 ∂y2 ∂y2 ∂y1
= , = − ,
∂x1 ∂x2 ∂x1 ∂x2
where z = x1 + ix2 , w = y1 (x1 , x2 ) + iy2 (x1 , x2 ), i2 = −1.
Remark 9. It is well known that the concepts of holomorphic and analytic com-
plex functions are equivalent. The hypercomplex function w = w(z) is said to be
analytic if w(z) admits a convergent power series. In general, for hypercomplex
functions the concepts of holomorphic and analytic functions are not equivalent
(see [107, p.88], [11]).
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 45
be an variables in Am. In fact the function w(z1 , ..., zr) = yβ (x1 , ..., xrm)eβ is a
holomorphic function of the variables
z1 , ..., zr if and only if Cα Du = DuCα for
∂y α
any u, where Du = ∂x(u−1)m+β , u = 1, ..., r.
The holomorphic hypercomplex functions possess the following properties:
(i) (w1 + w2 )´= w1´+ w2´if w1 and w2 are holomorphic functions,
(ii) (w1 w2 )´= w1´w2 + w1 w2´if w1 and w2 are holomorphic functions,
(iii) If F and w are holomorphic functions of w and z respectively then F =
F(w(z)) is a holomorphic function of z and Fz´= dF dF dw
dw w´, where Fz´= dz , w´= dz .
γ γ β
Proof. (ii) We put w1 w2 = wα1 w2 eα eγ = wα1 w2Cαγ eβ = w = wβ eβ . Then from
(2.17) we have
β γ
(w1 w2 )´ = εσ (∂σ wβ )eβ = εσCαγ (∂σ (wα1 w2 ))eβ
β γ γ
= εσCαγ ((∂σ wα1 )w2 + wα1 (∂σ w2 ))eβ
γ γ
= ((εσ ∂σ wα1 )w2 + wα1 (εσ ∂σ w2 ))eα eγ
= w1´w2 + w1 w2´
proof of (i) is analogous to (ii).
(iii) We put F = Fα eα , w = yβ (x)eβ , z = xγ eγ. If dF
dw = Feα eα , w´= w
eα eα , then
by virtue of (2.17), we have
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
dF ∂F β
Fz´ = = εα α eβ
dz ∂x
β γ
∂F ∂y β θ γ
= εα γ α eβ = εα FeσCσγ w e Cθα eβ
∂y ∂x
β θ γ
= FeσCσγ we δθ eβ = Feσ w
eγ eσ eγ
dF dw dF
= = w´.
dw dz dw
Example 4. Let A2 = R(ε) be a dual algebra with canonical bases {1, ε}, ε2 =
0. Using 1
C21 C22 1 0 0
C2 = 2 2 =
C21 C22 1 0
we see that, the condition (2.12) reduces to the following equations:
∂y1 ∂y2 ∂y1
= , = 0,
∂x1 ∂x2 ∂x2
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
46 Arif Salimov
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 47
γ
with respect to the adapted frame {Xi }, where Cα = (Cαβ ) is the regular repre-
sentation of Am, r is a number of Cα −blocks.
From definition immediately follows that the regular Π−structures are rigid
structures. In particular, for almost complex and paracomplex structures the
condition (2.19) immediately follows from (2.18), i.e. almost complex and para-
complex structures on M (dimM = 2r), automatically are regular structures. For
example, a Π−structure Π = {I, ϕ}, I = idM , ϕ2 = 0 on M is an isomorphic rep-
resentation of dual algebra R(ε), ε2 = 0 but it is nonregular Π−structure on M,
in general (see [102],
[103], [108]).
Let now Π = ϕ , α = 1, ..., m be a regular Π−structure on M. Then from
α
(2.12), we have
n = mr (n = dim M , m = dim Am), (2.20)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
48 Arif Salimov
or
i = uα, j = vβ, k = wγ, ...
In other words, the structural affinors ϕ have the coordinates
α
u u γ
ϕij = ϕuα
vβ = δvCαβ (δv − Kronecker delta). (2.21)
α α
! !
frame then ϕi´j´ = ϕij , and we have from (2.22)
α α
Sϕ = ϕS, (2.23)
α α
!
j
where S = (S j´) and ϕ = ϕij . Thus we have
α α
Theorem 26. Let Π = ϕ be a regular Π−structures on M. A transformation
α
S : Xi → Xi´ of adapted frames is an admissible if and only if it satisfies the
condition (2.23).
Using Theorem 22 and Theorem 23 we see that the matrix S has the special
structure
α
Sii´ = ∆uσ
u´ Cσα´ (i = uα, i´= u´α´). (2.24)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 49
∗ ∗ ∗ ∗
S = (Suu´) = (∆uσ u´ u´σ
u´ eσ ), S = (Su ) = (∆u eσ ). (2.26)
∗ ∗ −1 ∗
From here, we easily see that SS = I, where
e1 0 · · · 0 1 0 ··· 0
∗ 0 e1 · · · 0 0 1 ··· 0
i
I = . .. . . . = .. .. . . .. = (δ j ).
.. . . .. . . . .
0 0 · · · e1 0 0 ··· 1
= Suu´Su´v.
With each vector field ξ = ξi Xi = ξuα Xuα, where {Xi } is the adapted frame on
∗
M, we can associate r coordinates ξu (u = 1, ..., r) from the algebra Am :
∗
ξu = ξuαeα .
∗ ∗ ∗
i´
We easily see that, if ξ = Sii´ξi , u´
then ξ = Su´uξu . In fact, from (2.21) we obtain
or
∗
u´
ξ = ξu´α´eα´ = ∆u´σ α´ uα
u Cσα ξ eα´
∗ ∗
uα u´ u
= ∆u´σ
u eσ ξ eα = Su ξ .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
50 Arif Salimov
∗
ηu = ηuαeα = aσ ϕij ξ j eα = aσ δuvCσβ
α vβ
ξ eα
σ
∗
= aσ δuv ξvβ eσ eβ = aσ eσ ξuβ eβ = aξu ,
∗ ∗
ηu = eα ξu .
Let Π = ϕ be an integrable regular Π−structures on Mmr and let xi = xuα
α
and xi´ = xu´α´- adapted local coordinates in Ux (x ∈ Mmr ). It is well known that the
structural affinors ϕ have the constant form (2.19) with respect to the adapted
n o αn o
frames ∂x∂ i and ∂x∂ i´ . In this case the admissible transformation has the
∂ ∂xi
form = Sii´ ∂x∂ i , where Sii´ =
Sii´ = ∆uσ α
,i´
u´ Cσα´, Si = ∆
u´σ α´
C , i = uα, i´= u´α´(see
∂xi´ ∂xi´ u uασα uα
∂x ∂x
(2.21) and (2.24)). Then from Theorem 26 we have ∂x u´α´ Cσ = Cσ ∂xu´α´
for
fixed u and u´, i.e. zu´ = xu´α´eα´ is holomorphic function of zu = xuα eα . Using
(2.17) and (2.26), we have
∗
∂zu´ α ∂x
u´α´
α u´σ α´ u´σ α´ u´σ u´
= ε eα´ = ε ∆ C
u ασ eα´ = ∆ u σδ eα´ = ∆ u eσ = S u.
∂zu ∂xuα
By similar devices, we have
∂zu ∗
u´
= Suu´.
∂z
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 51
Remark 11. Let Mmr be a real manifold with regular Π−structure. Then the
following properties are equivalent [35]:
(i) Regular Π−structure is integrable,
(ii) Regular Π−structure is almost integrable,
(iii) NΠ = 0, where NΠ denotes the Nijenhuis-Shirokov tensor determined by
regular Π−structure.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
52 Arif Salimov
Since the transition functions of two charts of Xr (C) are C-holomorphic, there-
fore to define an almost complex structures on M2r , we transfer the almost
complex structure of R2r in the form (2.27) to M2r by means of such charts.
From the construction of the almost complex structure ϕ given by (2.27), it is
clear that the components of ϕ with respect to the local (holonomic) coordinate
x1 , ..., xr, y1 , ..., yr system are constant and hence ϕ is integrable. On the other
hand, every almost complex structure n is regular. In fact, for ϕ there exist o ele-
∂ ∂ r ∂ ∂ ∂ ∂ ∂ ∂
ments ∂x1 , ..., ∂xr of C such that ∂x1 , ∂x2 , ..., ∂xr , ϕ( ∂x1 ), ϕ( ∂x2 ), ..., ϕ( ∂xr ) is
a basic for R2r (real model of Cr ) (see [34, p.141]). If we put
∂ ∂ ∂ ∂ ∂ ∂
, ϕ( 1 ), 2 , ϕ( 2 ), ..., r , ϕ( r ) ,
∂x1 ∂x ∂x ∂x ∂x ∂x
then we see that ϕ is given by the matrix
0 −1
... 0
1 0
(ϕ) =
,
0 −1
0...
1 0
real manifold with integrable regular natural almost complex structure given by
(2.27).
Example 8. Let T (Mn ) be a tangent bundle of Mn (see [114] for details). The
tangent bundle of Mn consist of pair (x, y), where x ∈ Mn and y ∈ Tx (Mn ). Let
π : T (Mn ) → Mn defined by π(x, y) = x be the natural projection of T (Mn ) onto
Mn . Let (U, x = (x1 , ..., xn)) be a coordinate chart on Mn . Then it induces
local coordinates (x1 , ..., xn, x1 , ..., xn) on π−1 (U), where x1 , ..., xn represent
n the
o
components of vector fields on Mn with respect to local frame {∂i } = ∂xii .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 53
such that
Sϕ = ϕS,
i.e. the transformation S : {∂α } → {∂α´} is an admissible with respect to the
structure ϕ. It is clear that ϕ is integrable and ϕ2 = 0. Also ϕ is a regular
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
54 Arif Salimov
The equation (2.29) show that the quantities X i are R(ε)-holomorphic functions
of X i = xi + εxi (see, Example 9). Thus the tangent bundle T (Mn ) with a natu-
ral integrable regular ϕ-structure is real model of R(ε)-holomorphic manifold
Xn (R(ε)).
uσ β α uα σ β uα σ uα
tvβ ε Cγσ = tvσ Cγβ ε = tvσ δγ = tvγ
or
σ
uα α
t ij = tvσ = ℑuvCσβ , (2.32)
σ ∗
uσ β
where ℑuv = tvβ ε . Thus, a pure tensor field t ∈ ℑ11 (M) has the form (2.32).
Conversely, from (2.32) it follows that the tensor field t of type (1, 1) is pure if
ε
ℑ are an arbitrary functions. In fact, substituting (2.32) into (2.30), we find
ε ε
σ u α u α w σ
ℑw
v Cεβ δwCγσ = ℑwCεσ δv Cγβ , (2.33)
ε
σ α α σ
ℑuv (CεβCγσ −CεσCγβ ) = 0.
σ α α σ
Since Am is a commutative algebra CεβCγσ = Cεσ Cγβ , we see that the equation
ε
(2.30) is satisfies for arbitrary functions ℑ . Thus, the tensor field t of type (0, 2)
is pure with respect to the regular Π− structure if and only if t has form (2.32)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 55
ε ∗
for arbitrary functions ℑ . In the case g ∈ ℑ02 (M), we by similar devices see that
the tensor field of type (0, 2) is pure if and only if has the form
σ
gi j = guαvβ = ℑuvσCαβ
∗
for arbitrary functions ℑ..σ . In the case G ∈ ℑ20 (M) the situation is more difficult.
The purity condition of G is given by
σ
α µβ
Gi j = Guαvβ = ℑuvCσµ ϕ . (2.36)
Conversely, from (2.36) by virtue of (2.7) it follows that the tensor field G ∈
∗ σ ∗
ℑ20 (M) is pure if ℑ are an arbitrary functions. Thus, in the case G ∈ ℑ20 (M),
algebra Am must be Frobenius algebra. In general, the case for t ∈ ℑrs (M), in
the space of Am we consider the Kruchkovich tensors [36]:
α
Bαβ1 β2 ...βs = Cβα1 α1 Cβα1α2 ...Cβ s−2β (s > 2),
2 s−1 s
Bαβ 1...β
...α r
= Bαβ r ...β λ1 ...λr−1 ϕλ1 α1 ...ϕλr−1 αr−1 ,
1 s 1 s
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
56 Arif Salimov
v1 ...vs
(r, s), i.e.
∗ u´ ...u´ ∗ ∗ ∗ ∗ ∗ u ...u
t v´11 ...v´rs = S u´u11 ...S u´urr S vv´11 ...S vv´ss t v1 ...vs .
1 r
In fact, for simplicity we take r = s = 1 , then from (2.24) and (2.25) we have
vβ
u´σ α´ vε β
t ij´´ = tv´β´
u´α´
= Su´α´ uα uα
uα Sv´β´tvβ = ∆u Cσα ∆v´ Cεβ´tvβ
which implies
∗ u´
t v´ = t ij´´εβ´eα´ = tv´β
u´α´ β´
´ ε eα´
α´ vε uα β´ β
= ∆u´σ
u Cσα ∆v´ Cεβ´tvβ ε eα´
vβ
= ∆u´σ uα
u ∆v´ eσ eα tvβ
ε
u α vβ
= ∆u´σ
u ∆v´ eσ eα ℑv Bεβ
ε
vβ
= ∆u´σ u
u ∆v´ ℑv eσ eβ eε
∗ ∗ ∗u
= S u´uS vv´ t v
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 57
by virtue of (2.26).
Thus, we have
In the next section, we will study a real model of the A−holomorphic con-
∗
ditions of t.
Theorem 30. Let on Mmr be given the integrable regular Π−structure. The
∗
hypercomplex tensor field t ∈ ℑrs (Xr (Am)) is A−holomorphic tensor field if and
∗ ∗
only if the pure tensor field t ∈ ℑrs (Mmr ) ( the real model of t ) satisfies the
equation
φϕ t = 0, α = 1, ..., m,
α
α α
local coordinate system x1 , ..., xmr may be expressed as (1.19). In the adapted
charts (∂k ϕij = 0), by virtue of (2.37), from (1.19) we have (ia = uaαa , jb = vb βb ,
k = wγ, a = 1, ..., r, b = 1, ..., s)
(φϕt)ij11...i r
... js = ϕm i1 ...ir i1 ...ir
k ∂m t j1 ... js − ∂k (t ◦ ϕ) j1 ... js
α α α
λ σ
µ µ α1 ...α r
= (Cαγ ∂wµ ℑ uv11 ...u u1 ...ur
...vs −Cαγ ∂wµ ℑ v1 ...vs )Bλβ ...β = 0.
r
1 s
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
58 Arif Salimov
From here and property B3 (see Section 2.4), it follows that the condition φϕt = 0
α
is equivalent to the condition
λ σ
µ µ
Cαγ ∂wµ ℑ uv11 ...u u1 ...ur
...vs = Cαγ ∂wµ ℑ v1 ...vs ,
r
∗ σ
which is the Scheffers condition (see (2.15)) of A−holomorphity of t uv11 ...u
...vs = ℑ
r
u1 ...ur e with respect to the local coordinates zu = xuα e from X (A ). Thus the
v1 ...vs σ α r m
proof is complete.
An infinitesimal automorphism of a regular Π− structure on Mmr is a vector
field X such that LX ϕ = 0, α = 1, ..., m, where LX denotes the Lie differentiation
α
with respect to X ∈ ℑ10 (Mmr ). From Theorem 30 and (d) of Definition 2, we
have
Corollary 31. Let on Mrm be given the integrable regular Π−structure. A vec-
tor field X ∈ ℑ10 (Mmr ) is an infinitesimal automorphism of Π−structure if and
only if X is A−holomorphic.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 59
Γuα tε tε uα
wγtε ϕ vβ = Γwγvβ ϕ tε ,
σ σ
t ε u α
.
Γuα tε
wγtε δvCσβ = Γwγvβ δt Cσε ,
β α
Γuα uε
wγvσ = Γwγvβ ε Cσε
εα
= τ uwγvCεσ ,
ε β
where τ uwγv = Γuε
wγvβε , m = tε.
With each Π− connection (2.40) we can associate a hypercomplex values
from Am:
∗ σ
γ β γ
Γ uwv = Γuα u
wγvβ ε ε eα = τ wγv ε eσ . (2.41)
Definition 13. If the hypercomplex values (2.41) satisfies the connection con-
dition
∗ u´ ∂zu´ ∂zw ∂zv ∗ u ∂2 zu ∂zu´
Γw´v´ = u w´ v´ Γwv + v´ w´ u ,
∂z ∂z ∂z ∂z ∂z ∂z
∗ ∗
i.e. if Γ uwv are components of hypercomplex connection ∇ in Xr (Am), we say
that the Π−connection ∇ is a pure.
Theorem 32. Let Π be a regular integrable Π−structure on Mmr . The
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
α
Π−connection on Mmr is pure if and only if τ uwγv in (2.40) satisfies the con-
dition
αu σ α
τ wγv = τ uwvCσγ . (2.42)
Proof. Let Γik j = Γuαwγvβ be the components of the Π−connection ∇. Then,
taking account of the
admissible
u´α´transformation
{∂i } → {∂i´} of adapted frames
i´ ∂xi´ ∂x
with matrix (Si ) = ∂xi = ∂xuα , we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
60 Arif Salimov
or
∗ σ ε θ
γ β u α ω γ´
σ ∂ αu
Γ u´w´v´ = ∆ u´u∆ w v u´
w´∆ v´eσ eα δε δv τ wγvCωβ + ∆ u eσ ε ( (∆ )eα
∂zw´γ´ v´
∗ ∗ γ θ ∗ ∂ αu
u´ γ´
= S u´uS vv´∆ w u
w´τ wγv eθ + S u ε ( (∆ )eα ,
∂zw´γ´ v´
where
∗ ∂zu´ u ∂zu u
S u´u =, Su´ = u´ , z = xuα eα (see Section 2.3).
∂zu ∂z
Using (2.17), we see that
∂ αu ∂2 zu
εγ´( ( ∆ )eα = .
∂zw´γ´ v´ ∂zw´∂zv´
Thus, we have
∗ ∂zu´ γ w ∂zv θ u ∂2 zu ∂zu´
Γ u´w´v´ = ∆ w´ τ wγv eθ + . (2.43)
∂zu ∂zv´ ∂zv´∂zw´ ∂zu
∗ ∗
From (2.43) we easily see that ∇ with components Γ uwv is hypercomplex con-
θ
nection on Xr (Am ) if and only if τ uwγv satisfies the condition (2.42). The proof
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
is completed.
If we put (2.42), we get from (2.40) and (2.41), respectively
α σ α µ σ
Γik j = Γuα u u
wγvβ = τ wvCσγCµβ = τ wv Bσγβ (2.44)
and
∗ σ
Γ uwv = τ uwv eσ , (2.45)
where Bασγβ is the Kruchkovich tensor. Thus, we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 61
From Corollary 33 and (2.37) follows that the pure Π−connection as pure
tensor fields of type (1, 2) is defined by
Γikm ϕ mj = Γm i i m
k j ϕ m = Γm j ϕ k , α = 1, ..., m
α α α
with respect to the adapted charts (for pure torsion-free connection, see (1.26)).
But the pure tensor fields of type (1, 2) (see Section 2.4 ) is defined by similiar
equation with respect to the arbitrary charts.
α λ
Sik j = Suα u
wγvβ = σ wv Bλγβ . (2.47)
which shows the condition of type (2.42) is true, i.e. the Π−connection is a
pure.
Thus, we have
Theorem 35. The Π−connection ∇ is pure if and only if the torsion tensor of
∇ is pure.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
62 Arif Salimov
Thus, we have
Corollary 36. The pure torsion tensor field of the Π−connection ∇ is a real
∗
model of the hypercomplex torsion tensor of hypercomplex connection ∇.
Rijkl = Ruα
vβwγtδ
= ∂vβ Γuα uα uα xε uα xε
wγtδ − ∂wγ Γvβtδ + Γvβxε Γwγtδ − Γwγxε Γvβtδ
σ σ
= ∂vβ (τ uwt Bασγδ ) − ∂wγ (τ uvt Bασβδ ) (2.49)
σ θ σ θ
+τ uvx Bασβε τ xwt Bεθγδ − τ uwx Bασγε τ xvt Bεθβδ
σ σ σ θ σ θ
= (∂vβ τ uwt )Bασγδ − (∂wγ τ uvt )Bασβδ + (τ uvx τ xwt − τ uwx τ xvt )Bασγθβδ .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 63
α λ
Rijkl = Ruα u
vβwγtδ = ρ vwt Bλβγδ (2.50)
from which
α λ
α
∂wγ τ uvt = P uvwt Cλγ , (2.52)
where
λ λ σ θ σ θ λ
P uvwt = εβ ∂vβ τ uwt + τ uvx τ xwt Cσθ
λ λ
− τ uwx τ xvt Cσθ − ρ uvwt .
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Rijkl = Ruα
vβwγtδ
λ λ σ θ σ θ
σ
= (P uwvt Cλβ )Bασγδ − (P uvwt Cλγ
σ
)Bασβδ + (τ uvx τ xwt − τ uwx τ xvt )Bασγθβδ
λ λ σ θ σ θ
= P uwvt Bαλβγδ − P uvwt Bαλγβδ + (τ uvx τ xwt − τ uwx τ xvt )Cσθ
λ α
Bλγβδ (2.53)
λ
= ρ uvwt Bαλβγδ ,
where
λ λ λ σ θ σ θ
λ
ρ uvwt = P uwvt − P uvwt + (τ uvx τ xwt − τ uwx τ xvt )Cσθ .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
64 Arif Salimov
Thus, from (2.37) and (2.53), we see that R is pure curvature tensor.
Summing up, we have
∗
Theorem 39. [36], [104] Let ∇ be a hypercomplex connection on Xr (Am) and
∇ its a real model (a pure connection) on Mmr . The curvature tensor R of ∇ is
∗
pure if and only if ∇ is A− holomorphic connection.
for any A−holomorphic vector fields X,Y, Z and α = 1, ..., m.Then such con-
∗
nection is a real model of A−holomorphic connection ∇ .
∗
β γ δ
R uvwt = Ruα
vβwγtδ ε ε ε eα
σ σ σ θ σ θ
= εβ (∂vβ τ uwt )eα − εγ (∂wγ τ uvt )eα + (τ uvx τ xwt − τ uwx τ xvt )Cσθ
α
eα .
α
Since, Cσθ eα = eσ eθ , by virtue of (2.17) and (2.45), we have
∗u ∗u ∗u ∗u ∗x ∗u ∗x
Rvwt = ∂v Γwt − ∂w Γvt + Γvx Γwt − Γwx Γvt ,
∗ ∗
i.e. R is a curvature tensor of Γ.
Thus, we have
∗
Theorem 41. Let ∇ be a real model of A−holomorphic connection ∇. The
∗
hypercomplex components R uvwt of the pure curvature tensor R are components
∗
of curvature tensor of ∇.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 65
∗
Let ∇ be a A−holomorphic hypercomplex connection on Xr (Am) and a
torsion-free ∇ its real model on Mmr . From Theorem 39 we see that the cur-
vature tensor R of ∇ is pure.
Since the curvature tensor R is pure, we can apply the Tachibana φϕ − oper-
ator (see Section 1.2) to R. Using ∇ϕ = 0, α = 1, ..., m, (1.20) and Theorem 13,
α
we have
(φϕ R)(X,Y1,Y2 ,Y3 ) = (φϕX R)(Y1,Y2 ,Y3 ) − ϕ(∇X R)(Y1,Y2 ,Y3 ), (2.54)
α α α
X,Y1 ,Y2 ,Y3 ∈ ℑ10 (Mmr ).
Using the purity of R and applying the Bianchi’s 2nd identity to (2.54), we get
(φϕ R)(X,Y1,Y2 ,Y3 ) = (φϕX R)(Y1,Y2 ,Y3 ) − ϕ(∇X R)(Y1 ,Y2 ,Y3 )
α α α
= −(∇Y1 R)(Y2 , ϕX,Y3 ) − (∇Y2 R)(ϕX,Y1 ,Y3 )
α α
−ϕ(∇X R)(Y1 ,Y2 ,Y3 ).
α
Similarly
(∇Y1 R)(Y2 , ϕX,Y3 ) = ϕ((∇Y1 R)(Y2, X,Y3 )). (2.56)
α α
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
66 Arif Salimov
Substituting (2.55) and (2.56) into (2.54), and using again the Bianchi’s 2nd
identity, we obtain
where σ denotes the cyclic sum with respect to X,Y1 and Y2 . Therefore, by
virtue of Theorem 30 and Theorem 39, we have
∗ ∗
Theorem 42. The curvature tensor R of A− holomorphic connection ∇ is A−
holomorphic tensor.
Rijkl = R1α
1β1γ1δ
σ σ σ θ σ θ
= (∂1β τ 111 )Bασγδ − (∂1γ τ 111 )Bασβδ + (τ 111 τ 111 − τ 111 τ 111 )Bασγθβδ
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
σ σ
= (∂1β τ 111 )Bασγδ − (∂1γ τ 111 )Bασβδ (2.57)
σ
α ε ε α σ
= (∂β τ)CδεCσγ − (∂γ τ)CσβCεδ
ε εσ α σ
= (Cσγ ∂β τ −Cσβ ∂γ τ)Cδε ,
σ σ
where τ = τ 111 .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Algebraic Structures on Manifolds 67
i.e. the condition (2.58) is true and the condition (2.58) is equivalent to the
Scheffers condition (2.15). Thus, if τ = τ(x) is A−holomorphic, then Rijkl = 0.
Conversely, if R = 0, then from (2.57) we have
δ
0 = R1α
1β1γ1δ ε
ε ε σ α δ σ
= (Cσγ ∂β τ −Cσβ ∂γ τ)Cδε ε
α α σ σ
= Cσγ ∂β τ −Cσβ ∂γ τ,
Obviously, we have
∗
Theorem 43. Let Mm be a real model of X1 (Am). The connection ∇ with com-
∗ σ
ponents τ = τeσ on X1 (Am ) is A−holomorphic if and only if the real manifold
Mm is locally flat.
σ σ
Remark 13. In particular, if τ = τ 111 = εσ (1 = εσ eσ ∈ Am), then from (2.44)
we have Γαγβ = Cγβ
α
, i.e. Mm is the Vranceanu space [109], [63].
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Chapter 3
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
70 Arif Salimov
for any X,Y ∈ ℑ10 (Mmr ), i.e. g is pure with respect to the regular hypercomplex
Π−structure. Such Riemannian metrics were studied in [104], where they were
said to be B-metrics, since the metric tensor g with respect to the Π−structure is
B-tensor according to the terminology accepted by Norden [58]. If (Mmr , Π) is
an almost hypercomplex manifold with Norden metric, we say that (Mmr , Π, g)
is an almost hypercomplex Norden manifold. If Π−structure is integrable, we
say that (Mmr , Π, g) is a hypercomplex Norden manifold.
β
Remark 14. Let ψ be a conjugation of Am (see Section 2.1.2). We put ϕ = ψα ϕ.
α β
A Riemannian metric g which satisfies
for any X,Y ∈ ℑ10 (Mmr ) is called a hybrid [37] with respect to the conjugation
ψ. In particular, if ψ = idAm , then the hybrid tensor g is pure. If Am = C (m = 2)
is complex algebra, then for the conjugation ψ 6= id , we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 71
1 0
β
ϕ = ψ(ϕ) = −ϕ, ψα = ,
0 −1
i.e. a hybrid tensor g with respect to the conjugation is characterized by
g (ϕX,Y ) = −g (X, ϕY )
for any X,Y ∈ ℑ10 (M2r ). It is well known that, if g hybrid with respect to the
conjugation ψ 6= id and positive-definite, then the triple (Mmr , Π, g) is an almost
Hermitian manifold.
for any X,Y, Z ∈ ℑ10 (Mmr ), where φϕ g, α = 1, ..., m are Tachibana operators
α
applied to a Norden metric. If (Mmr , Π, g) is a hypercomplex Norden man-
ifold with A−holomorphic Norden metric g, we say that (Mmr , Π, g) is a
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
72 Arif Salimov
We find
g(∇Z1 ϕX, Z2 ) − g(ϕ(∇Z1 X), Z2 ) + g(Z1 , ∇Z2 ϕX) − g(Z1 , ϕ(∇Z2 X))
α α α α
= g((∇ϕ)(X, Z1 ), Z2 ) + g(Z1 , (∇ϕ)(X, Z2 )). (3.2)
and
(φϕ g)(X, Z1, Z2 ) = −g((∇X ϕ)Z1 ), Z2 ) + g((∇Z1 ϕ)X, Z2 ) + g(Z1 , (∇X ϕ)Z2 ).
α α α α
(3.6)
Similarly, we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 73
The sufficiency follows easily from (3.6) or (3.7). By virtue of g(Z, (∇Y ϕ)X) =
α
g((∇Y ϕ)Z, X) we find
α
α
1, ..., m , where ∇ is the Levi-Civita connection of g and the metric is assumed
to be Nordenian: g(ϕX,Y ) = g(X, ϕY ), α = 1, ..., m. Therefore, there exists a
α α
one-to-one correspondence between hyper-Kähler-Norden manifolds and com-
plex Riemannian manifolds with a A−holomorphic metric.
for arbitrary functions Guvσ (see Section 2.4). The corresponding hypercomplex
∗
tensor guv is defined by
∗
guv = guαvβ εβ εα = Guvα eα , (3.10)
∗
where eα = ϕαβ eβ , ϕαβ is the Frobenius metric. Since is guv symmetric, non-
∗
∗ ∗
singular (Det(guv ) 6= 0) and A−holomorphic, it follows that ds2 = guvdzu dzv can
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
74 Arif Salimov
where are Kki j components of ∇g and i = uα, j = vβ, k = wγ. Substituting (3.9)
and (3.11) into ∇k gi j = 0, we find
σ σ
σ τ µ τ µ
∂wγ (GuvσCαβ ) = k twuCσγ
v
Cvα GtvτCµβ + k twvCσγ
v
Cvβ GtuτCµα ,
∗
from which we easily see that the Christoffel symbols formed with g has com-
ponents
∗ ∗ ∗
∗ 1 ∗ ut ∂g ∂gwt ∂guv
k uwv = g ( tv + − ). (3.13)
2 ∂zw ∂zv ∂zw
∗
Since the hypercomplex Norden metric g is A−holomorphic, exists the suc-
∗ ∗
u
cessive derivatives of g (see Section 2.1.3), i.e. from (3.13) it follows that k wv
is A−holomorphic.
Thus we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 75
α
∂i g) also is given by
α
(φϕ d f ) = ϕm m m
i ∂m ∂i f − ∂i (ϕi ∂m f ) + (∂i ϕi )∂m f = 0 , α = 1, ..., m.
α α α α
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
76 Arif Salimov
Remark 16. In the next sections, we shall easily see that if Am(m = 2) is com-
∗
plex algebra (or paracomplex algebra), then the associated function R is a cur-
vature scalar of twin-Norden metric.
for any X,Y ∈ ℑ10 (M2n), i.e. g is pure with respect to ϕ. Metrics of this
kind have been also studied under the names: anti-Hermitian and B-metrics
(see [5], [7], [14], [15], [25], [26], [31], [42], [50], [51], [52], [60], [61], [64],
[70], [71], [72], [80], [81], [82], [83], [101], [104], [105]). If (M2n , ϕ) is an
almost complex manifold with Norden metric, we say that (M2n , ϕ, g) is an al-
most Norden manifold. If ϕ is integrable, we say that (M2n , ϕ, g) is a Norden
manifold.
Let (M2n, ϕ, g) be an almost Norden manifold. The twin Norden metric of
almost Norden manifold is defined by
for all vector fields X and Y on M2n . One can easily prove that G is a metric,
which is also called the associated (or dual) metric of g and it plays a role similar
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 77
to the Kahler form in Hermitian Geometry. We shall now apply the Tachibana
operator to the pure Riemannian metric G :
φϕ G = (φϕ g) ◦ ϕ + g ◦ (Nϕ ).
We note that, in the case where Am = C (m = 2), we can prove the Theorem
48 by using Theorem 54. In fact, let R and S be the curvature tensors formed
by g and G respectively, then for the Kähler-Norden manifold we have R = S by
means of the Theorem 54. Applying the Ricci’s identity to ϕ, we get
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
78 Arif Salimov
On the other hand, S being the curvature tensor formed by twin metric G, if we
put S(X1 , X2 , X3 , X4 ) = G(S(X1, X2 )X3 , X4 ) , then we have
and
which shows that R(X1 , X2, X3 , X4 ) is pure with respect to X2 and X4 . Therefore
R(X1 , X2 , X3 , X4 ) is pure.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 79
−BXe = ϕ2 (BX)
e = ϕB(ϕ e2 X)
e = B(ϕ
eX) e
or
e2 X
B(ϕ e + Xe ) = 0
g(FX,Y ) = g(X, FY )
for X,Y ∈ ℑ10 (Mn ), i.e. if g is pure with respect to F, then Mn is called an almost
product Riemannian manifold [56], [115, p.423].
We define the operator φF : ℑ02 (Mn ) → ℑ03 (Mn ) associated with F and ap-
plied to the pure metric g :
and
(φF g)(X, Z1, Z2 ) + (φF g)(Z2 , Z1 , X) = 2g(X, (∇Z1 F)Z2 ).
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
80 Arif Salimov
Theorem 56. Let (Mn , F) be an almost product Riemannian manifold with pure
metric g. Then F is integrable if φF g = 0 .
Theorem 57. [76] For an almost product Riemannian manifold with pure met-
ric g, the condition φF g = 0 is equivalent to ∇F = 0, where ∇ is the Levi-Civita
connection of g.
that gab is are functions of xc only, gab = 0 and gab are functions xc only, then
we call the manifold Mn a locally decomposable Riemannian manifold . On the
other hand, we know that the locally product Riemannian manifold with struc-
ture tensor F is locally decomposable if and only if F is covariantly constant
with respect to the Levi-Civita connection ∇ [115, p.420]. Thus, by Theorem
56 and Theorem 57 we have
Theorem 58. Let (Mn , F) be an almost product Riemannian manifold with pure
metric g. A necessary and sufficient condition for (Mn , F) to be a locally decom-
posable Riemannian manifold is that φF g = 0.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 81
F = f1 +ef2
of variable X. It follows that F is paraholomorphic if and only if f 1 and f 2
satisfy the para-Cauchy-Riemann equations(see Example 5):
Remark 17. The leaves of the foliations defined by the paracomplex structure
of a para-Kähler-Norden manifold are totally geoedesic submanifolds (see [56]
or the book Yano and Kon [115, p.420]). In the paper of Naveira [56] Rieman-
nian almost product manifolds were classified.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
82 Arif Salimov
Example 10. Let now Mn be the locally product Riemannian manifold with in-
tegrable almost product structure
!
δij 0
ϕ= , i, j = 1, ..., k, i, j = k + 1, ...., n
0 −δij
and let n = 2k. Then the paracomplex manifold M2k , admit a metric of para-
Norden manifold:
gi j 0
g= , gi j = gi j (xt , xt ), gi j = gi j (xt , xt ).
0 gi j
Suppose that the metric of the locally product Riemannian manifold M2k has
the form
ds2 = gi j (xt )dxi dx j + gi j (xt )dxi dx j , i, j,t = 1, ..., k ; i, j,t = k + 1, ..., 2k,
that is gi j (x) are functions of xt only, gi j = 0, and gi j (x) are functions of xt only,
i.e. the manifold M2k is a locally decomposable Riemannian manifold. Since the
necessary and sufficient condition for a locally product Riemannian manifold to
be a locally decomposable Riemannian manifold is that ∇g ϕ = 0, we have from
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Theorem 44
Example 11. [85] Let (M2k, ω) be a symplectic manifold and let D be a La-
grangian distribution, which is a k−dimensional distribution having ω/D = 0.
Then, M may be endowed with an almost para-Norden structure.First of all, we
shall prove that there exist a transversal Lagrangian distribution. Taking into
account that (M, ω) is an almost symplectic manifold one can find (see [1] or
[62]) an almost Hermitian structure (J, G) on M such that ω(X,Y ) = G(JX,Y ).
Let D⊥ the G−orthogonal distribution to D. Then one has:
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 83
and
w
g = π∗ (gB ) + ( f ◦ π)2 σ∗ (gF ),
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
84 Arif Salimov
π∗ H X = X, σ∗ H X = 0 (π∗ V U = 0, σ∗ V U = U) (3.21)
Let X,Y ∈ ℑ10 (Bk) and U,W ∈ ℑ10 (Fk ). Then for Lie bracket of these vector
fields we have [59, p.25]
Putting, now
ϕ(H X) =H X, ϕ(V U) = −V U (3.23)
we have a canonical integrable paracomplex structure ϕ on Bk × f Fk .We put
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
e Ye ) =W g(ϕX,
G(X, e Ye) −W g(X,
e ϕYe )
e Ye ∈ ℑ1 (Bk × f Fk ). If G(X,
for any X, e Ye ) = 0 for all vector fields Xe and Ye which
0
H H V V
are of the form X, Y or U, W then G = 0. By virtue of (3.21) and (3.23),
we have
G(H X,H W ) = W
g(ϕH X,H Y ) −W g(H X, ϕH Y ) = 0,
G(H X,V W ) = W
g(ϕH X,V W ) −W g(H X, ϕV W ) = 2W g(H X,V W )
2
= gB (πH V H V
∗ X, π∗ W ) + f gF (σ∗ X, σ∗ W ) = 0,
G(V U,H Y ) = w
g(ϕV U,H Y ) −w g(V U, ϕH Y ) = 2w g(V U,H Y )
2
= gB (πV U, πH V H
∗ Y ) + f gF (σ∗ U, σ∗ Y ) = 0,
G(V U,V W ) = w
g(ϕV U,V W ) −w g(V U, ϕV W )
= −w g(V U,V W ) +w g(V U,V W ) = 0,
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 85
(φϕ W g)(H X,H Y1 ,H Y2 ) = (φϕ W g)(H X,V U,H Y ) = (φϕ W g)(H X,H Y,V U)
= (φϕ W g)(V U,V W,H Y ) = (φϕ W g)(V U,H Y,V W )
= (φϕ W g)(V U,V W1 ,V W2 ) = 0.
from which we see that the equations φϕW g = 0 and f =constant ( f > 0) are
equivalent. On the other hand, as stated in Theorem 44, a para-Norden metric
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
86 Arif Salimov
W
g on a warped manifold is a paraholomorphic ( φϕW g = 0 ), if and only if
it satisfies the para-Kähler-Norden condition. Thus proof of Theorem 60 is
complete.
with respect to the induced coordinates (xi , xi ) in T (Vn), I being unit matrix
in Mn and γ satisfies γ2 = 0.Thus T (Vn ) has a natural integrable regular dual
γ−structure (see Example 8).
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
ιω = ωi xi .
V ∂ ∂ ∂
X = Xi , C
X = Xi i
+ xS ∂S X i (3.25)
∂xi ∂x ∂xi
with respect to the induced coordinates (xi , xi ) in T (Vn). From (3.24) and (3.25)
we have
γV X = 0, γC X =V X. (3.26)
Since a tensor field of type (0, q) (or (1, q) ) on T (Vn) completely determined
by its action on complete lifts of vector field [114, p.33], the complete lift C g of
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 87
∇C X C Y =C (∇X Y ), (3.28)
Using (3.26), (3.28) and (3.29), we have for any X,Y ∈ ℑ10 (Vn)
(C ∇γ)(CY,C X) = C
∇C X (γCY ) − γ(C ∇C X C Y )
C
= ∇C X V Y − γ C (∇X Y )
V
= (∇X Y ) −V (∇X Y ) = 0,
from which we see that C ∇γ = 0. Then φCγ g = 0 by virtue of Theorem 44. Thus
we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
88 Arif Salimov
G(γC X,C Y ) = C
g(γC X,C Y ) +V g(γC X,C Y )
C V C
= g( X, Y ) +V g(V X,C Y )
V
= (g(X,Y )),
G(C X, γC Y ) = C
g(C X, γCY ) +V g(C X, γCY )
C C V
= g( X, Y ) +V g(C X,V Y )
V
= (g(X,Y )),
Remark 19. Let now T 2 (Mn ) be a tangent bundle of order 2 over Mn . It is also
well know there exists a affinor field bγ ∈ ℑ11 (T 2 (Mn )) which has components of
the form
0 0 0
bγ = I 0 0 , bγ3 = 0
0 I 0
with respect to the induced coordinates (xi , xn+i , x2n+i) in T 2 (M 2
n n ), i.e.oT (Mn )
2
has a natural integrable regular plural Π−structure: Π = I, bγ, bγ , which
is a isomorphic repersentation of the algebra of plural numbers R(1, ε, ε2 ),
ε3 = 0 [106], [108]. The 2−nd lift of g, i.e. CC g =H g (see [114, p.332])
is a plural-Norden metric with respect to bγ and CC ∇C g = 0, where CC ∇ de-
note the 2−nd lift of the Levi-Civita connection ∇ which is necessarily the
Levi-Civita connection determined by CC g. Thus, (T 2 (Mn ), Π,CC g) is a plural-
Kähler-Norden manifold.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 89
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
90 Arif Salimov
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 91
and
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
92 Arif Salimov
have
Remark 21. For Kähler manifold (M2n, g, J), the curvature tensor R of the Her-
mitian metric g is not pure in all arguments. Therefore, Kähler manifolds may
not always locally admit any Kähler-Norden-Hessian metric.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 93
where a, b, c are smooth functions of the coordinates (x, y, z,t). The paralel null
∂
2-plane D is spanned locally by {∂x , ∂y }, where ∂x = ∂x , ∂y = ∂∂y .
0 0 1 0
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
94 Arif Salimov
1
α
F = (Fji ) =
1 0 2 (a + b)
0 0 0 1
0 0 −1 0
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 95
Remark 22. From (3.38) we immediately see that in the case a = −b and c = 0,
ϕ is integrable.
e.g. the functions a and c are harmonic with respect to the arguments x and y.
Thus we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
96 Arif Salimov
Example 12. We now apply the Theorem 66 to establish the existence of special
types of Norden-Walker metrics. In our arguments, the harmonic function plays
an important part. Let a = b and h(x, y) be a harmonic function of variables x
and y, for example h(x, y) = ex cosy. We put
ax = ex cos y,
ay = −ex siny.
cx = ay = −ex sinx,
cy = −ax = −ex cosy.
(Φϕ g)ki j = ϕm m m m m
k ∂m gi j − ϕi ∂k gm j − gm j (∂i ϕk − ∂k ϕi ) + gim ∂ j ϕk = 0, (3.43)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 97
1
(Φϕg)xzz = ay, (Φϕ g)xzt = (Φϕg)xtz = (bx − ax ) + cy , (3.44)
2
(Φϕ g)xtt = by − 2cx , (Φϕ g)yzz = −ax ,
1
(Φϕ g)yzt = (Φϕg)ytz = (by − ay ) − cx , (Φϕ g)ytt = −bx − 2cy ,
2
(Φϕg)zxz = (Φϕg)zzx = (Φϕg)txt = (Φϕ g)ttx = cx ,
1
(Φϕ g)zxt = (Φϕg)ztx = −(Φϕg)txz = −(Φϕg)tzx = (ax + by ),
2
(Φϕg)zyz = (Φϕg)zzy = (Φϕg)tyt = (Φϕ g)tty = cy ,
1
(Φϕ g)zyt = (Φϕg)zty = −(Φϕ g)tyz = −(Φϕ g)tzy = (ax + by ),
2
1
(Φϕg)zzz = cax − at + 2cz + (a + b)ay ,
2
1
(Φϕg)zzt = (Φϕg)ztz = ccx + bz + (a + b)cy ,
2
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
1
(Φϕ g)ztt = cbx + at − 2cz + (a + b)by ,
2
1
(Φϕg)tzz = cay − bz − (a + b)ax,
2
1
(Φϕ g)tzt = (Φϕg)ttz = ccy − at + 2cz − (a + b)cx ,
2
1
(Φϕg)ttt = cby + bz − (a + b)bx.
2
From these equations we have
ax = ay = cx = cy = bx = by = bz = 0, at − 2cz = 0. (3.45)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
98 Arif Salimov
0 0 1 0
0 0 0 1
g = (gi j ) =
1
0 a(z) 0
0 1 0 b(t)
is always Kähler-Norden-Walker.
1 1 1
Rxzxz = − axx, Rxzxt = − cxx , Rxzyz = − axy, (3.46)
2 2 2
1 1 1 1 1
Rxzyt = − cxy , Rxzzt = axt − cxz − ay bx + cx cy ,
2 2 2 4 4
1 1 1
Rxtxt = − bxx, Rxtyz = − cxy , Rxtyt = − bxy ,
2 2 2
1 1 1 2 1 1 1
Rxtzt = cxt − bxz − (cx ) + ax bx − bxcy + by cx ,
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
2 2 4 4 4 4
1 1 1 1 1 1
Ryzyz = − ayy, Ryzyt = − cyy , Rytzt = cyt − byz − cx cy + ay bx ,
2 2 2 2 4 4
1 1 1 1 1 1 2 1
Ryzzt = ayt − cyz − ax cy + ay cx − ayby + (cy ) , Rytyt = − byy,
2 2 4 4 4 4 2
1 1 1 1 1 1
Rztzt = czt − att − bzz − a(cx )2 + aaxbx + caxby − ccx cy
2 2 4 4 4 2
1 1 1 1 1 1
− at cx + ax ct − ax bz + cay bx + bay by − b(cy)2
2 2 4 4 4 4
1 1 1 1
− bz cy + ay bt + by cz − at by
2 4 2 4
and
r = axx + 2cxy + byy. (3.47)
Suppose that the triple (M4 , ϕ, g) is Kähler-Norden-Walker. Then from the last
equation in (3.45) and (3.46), we see that
1 1
Rztzt = czt − att = − (at − 2cz )t = 0.
2 2
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 99
From (3.45) we easily we see that the another components of in (3.46) directly
all vanish. Thus we have
g=
1 0 a(x, z,t) c(y, z,t) , ge = 1 0 a(y, z,t) c(x, z,t)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
100 Arif Salimov
For the covariant derivative ∇ϕ of the almost complex structure put (∇ϕ)kij =
∇i ϕkj . Then, after some calculations we see that the non-vanishing components
of ∇ϕ are
y y
∇x ϕxz = ∇x ϕt = cx , ∇y ϕxz = ∇y ϕt = cy , (3.49)
1 1
∇z ϕxx = −∇z ϕyy = ∇z ϕzz = −∇z ϕtt = ay + cx ,
2 2
1 1
∇z ϕyx = x t z
∇z ϕy = ∇z ϕz = ∇z ϕt = − ax + cy ,
2 2
1 1 1
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 101
Thus we have
σ g((∇X ϕ)Y, Z) = 0,
X,Y,Z
(φϕ g)(X,Y, Z) + (φϕ g)(Y, Z, X) + (φϕ g)(Z, X,Y ) = σ g((∇X ϕ)Y, Z).
X,Y,Z
Thus we have
Theorem 72. Let (M2n , ϕ, g) be an almost Norden manifold. Then the Norden
metric g is a quasi-Kähler-Norden if and only if
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
102 Arif Salimov
From here we see that, if we take a local coordinate system, then a Norden-
Walker manifold (M4 , ϕ, g) satisfying the condition Φk gi j + 2∇k Gi j to be zero
is called a quasi-Kähler manifold, where G is defined by Gi j = ϕmi gm j . For the
covariant derivative ∇G of the twin metric G put (∇G)i jk = ∇i G jk . After some
calculations we see that the non-vanishing components of ∇G are
2 2
1 1 1 1
∇t Gzt = ∇t Gtz = ccy + cbx − cx (a + b) + by (a + b),
2 2 4 4
1
∇t Gzz = bz + ccx + cy (a + b),
2
1
∇t Gtt = bz + cby − bx (a + b).
2
From (3.44) and (3.50) we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 103
(or ϕ must be integrable) if the following three conditions are imposed: (G1 )
if M is compact and (G2 ) g is Einstein, and (G3 ) if the fundamental 2-form is
closed.
It should be noted that no progress has been made on the Goldberg conjec-
ture, and the orginal conjecture is still an open problem. Despite many papers
by various authors concerning the Goldberg conjecture, there are only Sekigawa
papers (see for example [90]) which obtained substantial results to the orginal
Goldberg conjecture: Let be (M4 , ϕ, g) be an almost Hermitian manifold, which
satisfies the three conditions (G1 ),(G2 ) and (G3 ). If the scalar curvature of M is
nonnegative, then ϕ must be integrable.
Let (M4 , ϕ,w g) be an indefinite almost Kähler-Walker-Einstein compact
manifold with the proper almost complex structure (3.37). As noted before,
many examples of Norden-Walker metrics can be obtained by gN+ (JX, JY ) =
−gN+ (X,Y ) (see Section 3.7.1), and as one of these examples, such a metric
has components
0 −2 0 −b
−2 0 −a −2c
gN+ = 0 1
.
−a 0 2 (1 − ab)
1
−b −2c 2 (1 − ab) −2bc
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
104 Arif Salimov
Let Ri j and S denote the Ricci curvature and the scalar curvature of the
metric g in (3.36). The Einstein tensor is defined by Gi j = Ri j − 41 Sgi j and has
non zero components as follows (see [47], Appendix D):
1 1 1 1
Gxz = axx − byy, Gxt = cxx + bxy, (3.51)
4 4 2 2
1 1 1 1
Gyz = axy + cyy, Gyt = byy − axx ,
2 2 4 4
1 1 1 1
Gzz = aaxx + caxy + bayy − ayt + cyz − aycx + ax cy
4 2 2 2
1 1 1 1
+ ayby − (cy)2 − acxy − abyy,
2 2 2 4
1 1 1 1 1 1 1
Gzz = acxx + ccxy + axt − cxz − ay bx + cx cy + bcyy
2 2 2 2 2 2 2
1 1 1 1
− cyt + byz − caxx − cbyy,
2 2 4 4
1 1 1 1
Gtt = abxx + cbxy + cxt − bxz − (cx )2 + axbx − bxcy
2 2 2 2
1 1 1 1
+ bycx + bbyy − baxx − bcxy.
2 4 4 2
The metric g in (3.36) is almost Norden-Walker-Einstein if all the above
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
is Einstein on the coordinate patch z > 0 (or z < 0). Thus, the second con-
dition (G2 ) of Goldberg conjecture holds. We know that this metric admits a
proper almost complex structure as follows:
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 105
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
106 Arif Salimov
θ1 θ2 θ1
ϕ´∂4 = −(θ1 c2 + ab + (ac − bc) + 2 )∂1
4 2 θ1 + θ22
θ1 θ2 θ2 θ1 θ2
+(− bc + b2 + 2 2
)∂2 + ( b + θ2 c)∂3 + (θ1 c − b)∂4 ,
2 4 θ1 + θ2 2 2
where θ1 and θ2 are two parameters.
We shall focus our attention to one of explicit forms of ϕ´, obtained by fixing
two parameters as θ1 = 1 and θ2 = 0 (only for simplicity), as follows:
1 1
ϕ´∂1 = −c∂1 − b∂2 + ∂4 , ϕ´∂2 = − a∂1 + ∂3 ,
2 2
1 1 1
ϕ´∂3 = − ac∂1 − ( ab + 1)∂2 + a∂4 ,
2 4 2
2 1 1 1
ϕ´∂4 = −(c + ab + 1)∂1 − bc∂2 + b∂3 + c∂4
4 2 2
and ϕ´has the local components
−c − 21 a − 12 ac −(c2 + 14 ab + 1)
− b
1
0 1
−( 4 ab + 1) − 12 bc
ϕ´= (ϕ´ij ) =
0
2
1
.
1 0 2b
1
1 0 2a c
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
By similar devices (as in the previous section for proper almost complex struc-
ture ϕ ), we can prove the following theorems for opposite almost complex
structure ϕ´(see [81]):
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 107
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
108 Arif Salimov
axx − ayy = 0,
cxx − cyy = 0,
e.g., the functions a and c are hyperbolic with respect to the arguments x and y.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Thus we have
ax = ay = bx = by = bz = cx = cy = 0, at − 2cz = 0.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 109
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
110 Arif Salimov
Thus, we have
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 111
where V ω,V θ are the vertical lifts to ∗ T (Mn ) of 1-forms ω, θ and C X,C Y denote
the complete lifts to ∗ T (Mn ) of vector fields X,Y on Mn . Moreover, for any
vector field Z on Mn (Z = Z i ∂i ) γZ is the function on ∗ T (Mn ) defined by γZ =
∑xi Z i . In a system of induced coordinates (xi , xi ) on ∗ T (Mn ), the Riemann
i
extension is expressed by
!
∇
−2∑xk Γkij δij
g= k
j
δi 0
with respect to {∂i , ∂i }, where Γkıj are the components of ∇. Since inverse (∇g)−1
of the matrix ∇ g is given by
j !
0 δi
∇ −1
( g) = δi 2 xk Γk ,
j ∑ ij
k
the Walker metrics (3.36) can be viewed as Riemann extensions, i.e., they are
locally isometric to the cotangent bundle (∗ T (∑α ),∇ g) of a surface (∑2 , ∇)
equipped with the metric ∇g. Then we have
Corollary 90. Let ∗ T (∑2 ) a cotangent bundle of a surface (∑2 , g). Then
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
112 Arif Salimov
1
ϕ∂5 = (a + b)∂3 − ∂7 , ϕ∂6 = −∂8 ,
2
1
ϕ∂7 = − (a + b)∂1 + ∂5 , ϕ∂8 = ∂6 .
2
In conformity with the terminology of Matsushita (see, [47]- [49]) we call ϕ the
proper almost complex structure. The proper almost complex structure ϕ has
the local components
0 0 −1 0 0 0 − 21 (a + b) 0
0 0 0 −1 0 0 0 0
1 0 0 1
0 2 (a + b) 0 0 0
0 1 0 0 0 0 0 0
ϕ = (ϕ j ) =
i
0 0 0
(3.61)
0 0 0 1 0
0 0 0 0 0 0 0 1
0 0 0 0 −1 0 0 0
0 0 0 0 0 −1 0 0
with respect to the natural frame {∂i } , i = 1, ..., 8 .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 113
Remark 24. From (3.61) we see that in the case a = −b, ϕ is integrable.
1 1 3 3 1
N15 = N37 = N17 = −N35 = (a1 + b1 ), (3.62)
2
3 1
N57 = (a + b)(a1 + b1 ),
4
1 1 3 3 1
N25 = N47 = N27 = −N45 = (a2 + b2 ),
2
1 1 3 3 1
N17 = −N35 = −N15 = −N37 = − (a3 + b3 ),
2
1 1
N57 = − (a + b)(a3 + b3 ),
4
1 1 3 3 1
N27 = N45 = N25 = −N47 = (a4 + b4 ),
2
1 1 3 3 1
N56 = −N78 = N58 = −N67 = − (a6 + b6 ),
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
2
1 1 3 3 1
N58 = −N67 = −N56 = N78 = − (a8 + b8 ).
2
a1 + b1 = 0, a2 + b2 = 0, a3 + b3 = 0,
a4 + b4 = 0, a6 + b6 = 0, a8 + b8 = 0
a = −b + ξ
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
114 Arif Salimov
1
(Φϕ g)155 = a3 , (Φϕ g)157 = (b1 − a1 ), (Φϕ g)177 = b3 , (3.64)
2
1
(Φϕ g)255 = a4 , (Φϕ g)257 = (b2 − a2 ), (Φϕ g)277 = b4 ,
2
1
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Norden Geometry 115
a1 = a2 = a3 = a4 = a6 = a7 = a8 = 0,
b1 = b2 = b3 = b4 = b5 = b8 = 0. (3.65)
0 0 0 0
for any X,Y, Z ∈ ℑ10 (M2n ) (see Theorem 72). From (3.66) we easily see that a
Kähler-Norden manifold is a quasi-Kähler-Norden. Conversely, quasi-Kähler-
Norden manifold is a non-Kähler-Norden, in general. In (M8 , ϕ, g) particular,
let be an almost Norden-Walker 8-manifold. Using (3.64) and (3.66), we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
116 Arif Salimov
From (3.64) and (3.67) we see that the triple (M8 , ϕ, g) is quasi-Kähler-
Norden-Walker if and only if the PDEs in the form (3.65) holds. On the other
hand, the equation (3.65) is a Kähler condition of almost Norden-Walker mani-
folds. Thus we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Chapter 4
In this chapter we concentrate our attention to tensor bundles and we study the
various lifts from manifold to its tensor bundle by using tensor operators. In
section 4.1 some introductory materials concerning with the tensor bundle of
type (p, q) over differentiable manifold Mn are collected. Here some of our no-
tations are fixed too. In section 4.2 is devoted to the some particular types of
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
p
vector fields on the tensor bundle Tq (Mn ). Explicit expressions of the vertical
lift of tensor fields of type (p, q) and the complete and horizontal lifts of vector
fields are presented. In this section we also discuss complete lifts of derivations.
These results generalize some of those already obtained for tangent and cotan-
gent bundles. Section 4.3 devoted to the analysis of lifts on the cross-section
of the tensor bundle. A tensor field of type (p, q) on the tensor bundle defines
a cross-section of the tensor bundle, which is an n−dimensional submanifold
p
of the tensor bundle Tq (Mn ). Also, the behavior along the cross-section of the
complete and horizontal lifts of vector fields was reviewed. In section 4.4 deals
p
with how affinor fields on Tq (Mn ) can be induced from affinor fields on Mn .
We note that the φϕ −operator is an extension of the operator of Lie derivation
LX to affinor fields ϕ. Models of the complete lifts of affinor fields along the
pure cross-section are found by using of the φϕ −operator, moreover we discuss
almost complex property of these lifts. Also we consider almost hyperholomor-
phic pure submanifolds of tensor bundles. By using of Vishnevskii operator, the
problem of the horizontal lifts of affinor fields along the pure cross-section is
solved in section 4.4.5. In section 4.4.6, a new φϕ −operator is defined and dis-
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
118 Arif Salimov
cussed relations between the φϕ −operator and the diagonal lifts of affinor fields
along the cross-section of Tqp (Mn ). In section 4.5, the adapted frame which al-
lows the tensor calculus to be done efficiently is inserted in the tensor bundle
Tqp (Mn ). The components of Levi-Civita and metric connections of Sasakian
metrics on tensor bundles with respect to the adapted frame are presented. This
having been done it is shown possible to study geodesics of Sasakian metrics
dealing with geodesics of the base manifold.Section 4.6 is devoted to the study
of para-Nordenian property of Sasaki metric on cotangent bundles. We also
study paraholomorphic property of Cheeger-Gromoll metric on tangent bundles
and almost complex structures along the holomorhic cross-section of the cotan-
gent bundle.In the last section 4.7, as applications of Yano-Ako operators we
construct model of complete lifts of skew-symmetric tensor field of type (1, 2)
on pure cross-sections in the tensor bundle.
Through the chapter we always suppose that all functions, vector fields and
tensor fields on tensor bundles are of class C∞ .
P∈Mn
p
over Mn , where ∪ denotes the disjoint union of the tensor spaces Tq (Mn ) for
all P ∈ Mn . For any point Pe of Tqp (Mn ), the surjective correspondence Pe → P
p
determines the natural projection π : Tq (Mn ) → Mn . In order to introduce a
p
manifold structure in Tq (Mn ), we define local charts on it as follows: Let x j be
local coordinates in a neighborhood U of P ∈ Mn , then a tensor t at P which
i ...i i ...i
is an element of Tqp (Mn ) is expressible in the form (x j ,t j11 ... jpq ), where t j11 ... jpq are
i ...i
components of t with respect to natural base. We may consider (x j ,t j11... jpq ) =
(x j , x j ) = (xJ ), j = 1, ..., n , j = n + 1, ..., n + n p+q , J = 1, ..., n + n p+q as local
coordinates in a neighborhood π−1 (U) ⊂ Tqp (Mn ).
p
It is straightforward to see that Tq (Mn ) becomes an (n + n p+q )−manifold;
indeed if x j´ are local coordinates in a neighborhood V of P ∈ Mn , with U ∩V 6=
∅, then the change of coordinates is given by
(
x j´ = x j´(x j ),
i´ ...i´ i´ ...i´ j ... j i ...i (i´) ( j) (4.1)
x j´ = t j´11 ... j´pq = Ai11 ...i pp A j´11 ... j´qq t j11 ... jpq = A(i) A( j´) x j ,
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 119
where
(i´) ( j) i´ ...i´ j ... j ∂xi´ j1 ∂x j
A(i) A( j´) = Ai11 ...i pp A j´11 ... j´qq , Aii´11 = , A j´1 = j´ .
∂xi ∂x
The Jacobian of (4.1) is:
! !
∂x j´ ∂x j´ j´
∂xJ´ ∂x j ∂x j
Aj 0
= ∂x j´ ∂x j´
= (i) (i´) (k) (i´) ( j) , (4.2)
∂xJ t(k)∂ j A(i) A( j´) A(i) A( j´)
∂x j ∂x j
(i) i ...i
where J = ( j, j), J = 1, ..., n + n p+q, t(k) = tk11 ...kpq .
We denote by ℑrs (Mn ) the module over F(Mn ) ( F(Mn ) is the ring of
C∞ −functions on Mn ) all tensor fields of class C∞ and of type (r, s) on Mn .
p
If α ∈ ℑq (Mn ) , it is regarded, in a natural way (by contraction), as a function in
p
Tq (Mn ), which we denote by ια. If α has local expression
j ... j
α = αi11...i pq ∂ j1 ⊗ ... ⊗ ∂ jq ⊗ dxi1 ⊗ ... ⊗ dxi p
Lemma 96. Let Xe and Ye be vector fields on Tqp (Mn ) such that X(ια)
e = Ye (ια),
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
p p
e = Ye , i.e. Xe ∈ ℑ (Tq (Mn )) is completely deter-
1
for any α ∈ ℑq (Mn ). Then X 0
mined by its action on functions of type ια.
e
Proof. It is sufficient to prove that if Z(ια) = (Xe − Ye )(ια) = 0, then Ze is zero.
If Ze has components Ze with respect to the coordinates (x j , x j ) in π−1 (U), we
J
have
e j ... j i ...i j ... j i ...i
Z(ια) = Ze j ∂ j (αi11...i pq t j11 ... jpq ) + Ze j ∂ j (αi11...i pq t j11 ... jpq )
i ...i j ... j i ...i
= Ze j t j11 ... jpq ∂ j αi11...i pq + Ze j α j11 ... jpq = 0. (4.3)
j ... j
If this holds for any α ∈ ℑqp (M), ∂ j αi11...i pq taking any preassigned values at a
fixed point, from (4.3) (homogeneous system of linear equations), we have
i ...i
Ze j t j11 ... jpq = 0, Ze j = 0. (4.4)
From the first equation of (4.4), it follows that Ze j at all points of Tqp (Mn ) except
i ...i
possibly those at which all the components t j11 ... jpq are zero: that is, at points of
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
120 Arif Salimov
the base spaces. However, the components of Ze are continuous and so Ze j is zero
at points of the base space. Thus Ze j = 0 at all points of π−1 (U). Therefore,
taking account of the second equation of (4.4), we see that Ze is zero in π−1 (U).
This completes the proof of Lemma 96.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 121
p
Definition 14. Let ϕ ∈ ℑ11 (Mn ) and ξ ∈ ℑq (Mn ) which locally are represented
by
∂
ϕ = ϕij i ⊗ dx j ,
∂x
i ...i ∂ ∂
ξ = ξ j11 ... jpq i ⊗ ... ⊗ i p ⊗ dx j1 ⊗ ...dx jq .
∂x 1 ∂x
p
A vector field γϕ ∈ ℑ10 (Tq (Mn )) is defined by
p
i1 ...m...i p iλ ∂
γϕ = ( ∑ t j1 ... jq ϕm ) ∂x j , (p ≥ 1, q ≥ 0),
λ=1
q
i1 ...i p m ∂
eγϕ = ( ∑ t j1 ...m... jq ϕ jµ ) ∂x j , (p ≥ 0, q ≥ 1)
µ=1
p
with respect to the coordinates (x j , x j ) in Tq (Mn ).
From (4.2) we easily see that the vector fields γϕ and eγϕ determine respec-
p
tively global vector fields on Tq (Mn ). The local expressions of the global vector
fields γϕ and eγϕ are as follows:
0 0
γϕ = p i1 ...m...i p iλ and eγϕ = q i1 ...i p .
∑ t j1 ...m... jq ϕmjµ
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
∑ t j1 ... jq ϕm
λ=1 µ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
122 Arif Salimov
Thus, discussing in the same way as in the case of the vertical lift, from (4.8)
we see that, the complete lift cV has components
c
c Vj Vj
V= c j = p
i ...m...i p
1
q
i ...i (4.9)
V ∑ t j1 ... jq ∂mV iλ − ∑ t j11 ...m...
p
jq ∂ jµ V
m
λ=1 µ=1
p
with respect to the coordinates (x j , x j ) in Tq (Mn ) (see [67]).
H
V (ια) = ι(∇V α), α ∈ ℑqp (Mn ).
p
The horizontal lift H V of V ∈ ℑ01 (Mn ) to Tq (Mn ) has components
H
Vj
V= q
i ...i
p
i i ...m...i p (4.10)
V s ( ∑ Γm 1 p λ 1
s jµ t j1 ...m... jq − ∑ Γsm t j1 ... jq )
µ=1 λ=1
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
with respect to the coordinates (x j , x j ) in Tqp (Mn ) , where Γkij are local compo-
nents of ∇ (see [39]).
P f = D f , f ∈ F(Mn ).
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 123
If we put
D(∂i ) = Qhi ∂h
in each coordinate neighborhood U of Mn , then the pair (Ph , Qhi ) is called the
components of the derivation D in U [114, p.26].
j ... j
Let α be an element of ℑqp (Mn ) with local expression α = αi11...i pq ∂ j1 ⊗ ... ⊗
∂ jq ⊗ dxi1 ⊗ ... ⊗ dxi p . Then we see that Dα has components of the form
q p
m j ... j j ...m... j j j1 ... jq
Dα = (P ∂m αi11...i pq +∑ αi11...i p q Qmµ − ∑ αi ...m...i
1 p
Qm
iλ )
µ=1 λ=1
µ=1 λ=1
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
p
with respect to the coordinates (x j , x j ) in Tq (Mn ) .
j ... j
Let LV denote the Lie derivation with respect to V . From LV αi11...i pq =
q p
j ... j j ...m... jq j ... j
V m ∂m αi11...i pq − ∑ (∂mV jλ )αi11...i p + ∑ (∂iµ V m )αi11...m...i
q
p
, we see that the Lie
λ=1 µ=1
derivation LV is a derivation on Mn having components LV : (V h , −∂iV h ). Using
(4.9) and (4.11), we have
C
(LV ) =C V,
where C V is the complete lift of the vector field V to Tqp (Mn ).
Let now ∇ be an affine connection on Mn and ∇V denote the covariant
derivation with respect to V . By similar devices, we see that the covariant
derivation ∇V is a derivation on Mn having components
∇V : (V h ,V s Γhsi )
and
` `
C
(∇V ) =C V − γ(∇V ) + eγ(∇V ) ,
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
124 Arif Salimov
`
where ∇ is a new affine connection on Mn defined by
`
∇V W = ∇W V + [V,W] , ∀V,W ∈ ℑ10 (M).
C
0
(Dϕ) = q
i1 ...i p
p
i1 ...m...i p i = eγϕ − γϕ
∑ t j1 ...m... jq ϕmjµ − ∑ t j1 ... jq ϕmλ
µ=1 λ=1
or
C
(Dϕ ) = eγϕ − γϕ.
The Lie derivative LX ∇ of a symmetric affine connection ∇ with respect to
X ∈ ℑ10 (Mn ) is, by definition, an element of ℑ12 (Mn ) such that
for any Y, Z ∈ ℑ10 (Mn ). We now denote by KX Y the tensor field of type (1, 1),
defined by
(KX Y )Z = (LX ∇)(Y, Z) = [LX , ∇Y ]Z − ∇[X,Y ] Z, (4.14)
where
KX Y = [LX , ∇Y ] − ∇[X,Y ] , (4.15)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 125
eγ(KX Y ) − γ(KX Y ) = C
(DKX Y )
= [ (LX ),C (∇Y )] −C (∇[X,Y ] ) = [C X,H Y ] −H [X,Y ].
C
Thus, we have
Theorem 97. [C X,H Y ] =H [X,Y ] + eγ(KX Y ) − γ(KX Y ) for any X,Y ∈ ℑ10 (Mn ) ,
where KX Y denotes the tensor field of type (1, 1) defined by (4.14).
[C X,H Y ] =H [X,Y ].
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
126 Arif Salimov
p
with respect to the coordinates (xk , xk ) in Tq (Mn ). Differentiating (4.17) by x j ,
we see that n tangent vector fields B j to σξ (Mn ) have components
∂xk δkj
(Bkj ) =( j)= h ...h (4.18)
∂x ∂ j ξk11...kqp
p
with respect to the natural frame {∂k , ∂k } in Tq (Mn ).
On the other hand, the fibre is locally expressed by
(
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
xk = const,
h1 ...h p h ...h
tk1 ...kq = tk11...kqp ,
h ...h
tk11...kqp being considered as parameters. Thus, on differentiating with respect to
i ...i
x j = t j11 ... jpq we see n p+q that tangent vector fields C j to the fibre have components
∂xk 0
(Ckj ) =( )= j h (4.19)
∂x j δkj11 ...δkqq δhi11 ...δi pp
p
with respect to the natural frame {∂k , ∂k } on Tq (Mn ), where δ is the Kronecker
symbol.
p
We consider in π−1 (U) ⊂ Tq (Mn ), n + n p+q local vector fields B j and C j
along σξ (Mn ) . They form a local family of frames {B j ,C j } along σξ (Mn ) ,
which is called the adapted (B,C)−frame of σξ (Mn ) in π−1 (U). From cV =c
V h ∂h +c V h ∂h and cV =c V j B j +c V jC j , We easily obtain cV k =c V j Bkj +c V jCkj ,
c
V k =c V j Bkj +c V jCkj . Now, taking account of (4.9) on the cross-section σξ (Mn ),
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 127
and also (4.18) and (4.19), we have cV e k = −LV ξh1 ...h p . Thus, the
e k = V k , cV
k1 ...kq
complete lift cV has along σξ (Mn ) components of the form
c
c Vek Vk
V = c ek = h ...h (4.20)
V −LV ξk11...kqp
i ...i
with respect to the adapted (B,C)−frame , where (∇V ξ) j11 ... jpq are local compo-
nents of ∇V ξ.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Let ϕ ∈ ℑ11 (M) now . We can easily verify that γϕ and eγϕ have along σξ (M)
components
J
0 J
0
e
γϕ = ((γϕ) ) = p
j1 ...m... j p i e e
, γϕ = ((γϕ) ) = q
i1 ...i p
∑ ξi1 ...iq ϕmλ ∑ ξ j1 ...m... jq ϕmjµ
λ=1 µ=1
(4.23)
i ...i
with respect to the adapted (B,C)−frame, where ξ j11 ... jpq are local components of
ξ.
Similarly, if S ∈ ℑ12 (M) , then γS and V (S ◦ ξ) are affinor fields along σξ (M)
with components
!
0 0 0 0
γS = ((eγS)IJ ) = p jλ j1 ...m... j p , (V (Se oξ)IJ ) = m j ... j
∑ S jm ξi1 ...iq 0 S jjm
1
ξi1 ...i2 q p 0
λ=1
(4.24)
with respect to the adapted (B,C)−frame, where S jjm
1
are local components of S.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
128 Arif Salimov
Definition 15. [41], [86] We define a tensor field c ϕ ∈ ℑ11 (Tqp (Mn )) along the
ϕ
pure cross-section σξ (Mn ) by
c c
ϕ( V ) =c (ϕ(V )) − γ(LV ϕ) +V ((LV ϕ) ◦ ξ), (i)
c V (4.25)
ϕ( A) =V (ϕ(A)), (ii)
p p
for all V ∈ ℑ10 (Mn ) and A ∈ ℑq (Mn ), where ϕ(A) ∈ ℑq (Mn ),
((LV ϕ) ◦ ξ)(x1 , ..., xq; α1 , ..., αp ) = ξ(x1 , ..., xq; (LV ϕ)´α1 , ..., αp )
p
and call c ϕ the complete lift of ϕ ∈ ℑ11 (Mn ) to Tq (Mn ), p ≥ 1, q ≥ 0 along
ϕ
σξ (Mn ).
c
ϕ(cV ) =c (ϕ(V )), cϕ(V A) =V (ϕ(A)).
∗
p p
Let ℑq (Mn ) denotes a module of all the tensor fields ξ ∈ ℑq (Mn ) which are
ϕ
pure with respect to ϕ. Now, we consider a pure cross-section σξ (Mn ) deter-
∗
p
mined by ξ ∈ ℑq (Mn ), p ≥ 1, q ≥ 0.
We observe that the local vector fields
h
c c∂ c h ∂ δj
X( j) = ( j ) = (δ j h ) =
∂x ∂x 0
and
V
X ( j) = V
(∂ j1 ⊗ ... ⊗ ∂ j p ⊗ dxi1 ⊗ ... ⊗ dxiq )
i k
= (δih11 ...δhqq δkj11 ...δ j pp ∂k1 ⊗ ... ⊗ ∂k p ⊗ dxh1 ⊗ ... ⊗ dxhq )
V
0
= i k
δih11 ...δhqq δkj11 ...δ j pp
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 129
j = 1, ..., n, j = n + 1, ..., n + n p+q span the module of vector fields in π−1 (U).
Hence any tensor field is determined in π−1 (U) by its action of cX( j) and V X ( j) .
Remark 25. The equation (4.25) is useful extension of the equation (see [38])
c
L(ια) = ι(LV α), α ∈ ℑqp (Mn )
ϕ
to affinor fields along the pure cross-section σξ (Mn ).
Now, let us compute components of the complete lift of tensor fields of type
(1, 1) by using Φϕ −operator.
ϕ
Theorem 100. Let ϕ ∈ ℑ11 (Mn ) and σξ be a pure cross-section of Tqp (Mn ) with
respect to ϕ. Then the complete lift c ϕ ∈ ℑ11 (Tqp (Mn )) of ϕ has along the pure
ϕ
cross-section σξ (Mn ) components
Cϕ h ...h
ekl = ϕkl , C ϕ
elk = 0, C ϕ ekl = −(Φϕ ξ)lk11 ...kpq ,
r
Cϕ ek = ϕh1 δhs 2 ...δhs p δr1 ...δ q
l s1 2 p k1 kq
ϕ
with respect to the adapted (B,C)− frame of σξ (Mn ), where Φϕ ξ is the
h ...h s ...s
Tachibana operator and xk = tk11...kqp , xl = tr11...rqp .
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
!
V
∼
K
0
( (ϕ(A)) ) = mh ...h p ,
ϕhm1 Ak1 ...k
2
q
!
∼ K 0
V
((LV ϕ) ◦ ξ) = h h ...m...h ,
(LV ϕmλ )ξk11...kq p
!
∼ K 0
γ(LV ϕ) = h mh2 ...h p .
((LV ϕ)m )ξk1 ...k
1
q
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
130 Arif Salimov
First, consider the case where K = k. In this case, (i) of (4.26) reduces to
∼
C ek C e l k
e l =C (ϕ(V ))K = (ϕ(V))k = ϕklV l .
ϕl V +C ϕ
el C V (4.27)
Since the right-hand side of (4.27) are functions depending only on the base
coordinates xi , the left-hand sides of (4.27) are too. Then, since cV l depend on
fibre coordinates, from (4.27) we obtain
C ek
ϕl = 0. (4.28)
eklCV
From (4.27) and (4.28), we have C ϕ eklV l = ϕklV l , V i being arbitrary,
e l =C ϕ
which implies
C ek
ϕl = ϕkl .
When K = k, (ii) of (4.26) reduces to
∼
C e k V el ekl V A
el =V (ϕ(A))k
ϕl A +C ϕ
or
C e k s1 ...s p mh2 ...h p r s s ...s
ϕl Ar1 ...rq = ϕhm1 Ak1 ...k q
= δrk11 ...δkqq ϕhs11 δhs22 ...δhs pp Ar11 r22 ...rqp
p
for all A ∈ ℑq (Mn ), which implies
c ek r
ϕl = δrk11 ...δkqq ϕhs11 δhs22 ...δhs pp ,
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
s ...s h ...h
where xl = tr11...rqp , xk = tk11...kqp .When K = k, (i) of (4.26) reduces to
∼ p
c ek c e l k h1 ...l...h p
ϕl V e l =c (ϕ(V ))k −
e l cV
+c ϕ ∑ (LV ϕhl )ξk ...k λ
1 q
λ=2
or
p ∼
c ek c e l r c el h1 h2 ...l...h p
ϕl V + ϕhs11 δhs22 ...δhs pp δrk11 ...δkqq V + ∑ (LV ϕhl )ξk ...k λ
1 q
=c (ϕ(V ))k . (4.29)
λ=2
ekl . The
Now, using the Tachibana operator we will investigate components cϕ
∗
p
Tachibana operator on the pure module ℑq (Mn ) is given by (see Section 1.2)
∗ q
h ...h h ...h h ...h h ...h
(Φϕξ)lk11 ...kpq = ϕm p 1 p m
l ∂m ξk1 ...kq − ∂l ξ k1 ...kq + ∑ (∂ka ϕl )ξk1 ...m...kq
1 1 p
a=1
p
h h ...m...h p
+2 ∑ ∂[l ϕm]λ ξk11...kq ,
λ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 131
where
h ...h h ...h h ...h
ϕm 1 p m 1 p m 1 p
k1 ξmk2 ...kq = ϕk2 ξk1 m...kq = ... = ϕkq ξk1 k2 ...m =
∗
mh ...h h m...h h2 ...m h h h ...h
ϕhm1 ξk1 ...k
2
q
p
= ϕhm2 ξk11...kq p = ... = ϕmp ξhk11...k q
= ξ k11k22...kqp .
or
h ...h mh ...h mh ...h
V l (Φϕ ξ)lk11 ...kpq + ϕhm1 (LV ξ)k1...k
2
q
p 2
+ ξk1 ...k q
p
(LV ϕ)hm1
p h ...m...h p h ...h (4.30)
h
− ∑ (LV ϕmλ )ξk11...kq = (LϕV ξ)k11...kqp
λ=1
h ...h r s ...s
= V (Φϕ ξ)lk11 ...kpq + ϕhs11 δhs22 ...δhs pp δrk11 ...δkqq (LV ξ)r11 ...rqp
l
p
h ...m...h p
− ∑ (LV ϕhmλ )ξk11...kq
λ=2
h ...h r
= c
V l (Φϕ ξ)lk11 ...kpq + ϕhs11 δhs22 ...δhs pp δrk11 ...δkqq cV l
p
h ...m...h p
− ∑ (LV ϕhmλ )ξk11...kq
λ=2
= − (ϕ(V ))k c
or
h ...h r
−(Φϕ ξ)lk11 ...kpq cV l + ϕhs11 δhs22 ...δhs pp δrk11 ...δkqq cV l
p (4.31)
h h ...m...h p
+ ∑ (LV ϕmλ )ξk11...kq =c (ϕ(V ))k.
λ=2
Comparing (4.29) and (4.31), we get
c ek h ...h
ϕl = −(Φϕ ξ)lk11 ...kpq .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
132 Arif Salimov
p
Thus, the complete lift cϕ ∈ ℑ11 (Tq (Mn ) of ϕ has along the pure cross-section
ϕ
σξ (Mn ) components
n
cϕ h ...h
ekl = ϕkl , cϕ
e kl = 0 , c ϕ
e kl = −(Φϕξ)lk11 ...kpq ,
r
(4.32)
c ek
ϕl = ϕhs11 δhs22 ...δhs pp δrk11 ...δkqq
ϕ
with respect to the adapted (B,C)−frame of σξ (Mn ), where Φϕξ is the
s ...s h ...h
Tachibana operator and xl = tr11...rqp , xk = tk11...kqp . This completes the proof.
Remark 26. c ϕ in the form (4.32) is a unique solution of (4.25). Therefore, if
∗ p ∗
ϕ is element of ℑ11 (Tq (Mn )), such that ϕ(cV ) =c ϕ(cV ) =c (ϕ(V )) − γ(LV ϕ) +V
∗ ∗
((LV ϕ) ◦ ξ), ϕ(V A) =c ϕ(V A) =V (ϕ (A)), then ϕ =c ϕ.
In particular, if we write p = 1, q = 0, then (4.32) is the formula of the
complete lift of affinor fields to tangent bundle along the cross-section σξ (Mn )
(for details, see [114, p. 126]).
ϕ
Now, on putting B j = C j , we write the adapted (B,C)−frame of σξ (M) as
ϕ
BJ = {B j , B j }. We define a coframe BeJ of σ (M) by BeI (BJ ) = δIJ . From (4.18),
ξ
(4.19) and BKJ BeIK = δIJ we see that covector fields BeI have components
(
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
and also (4.18), (4.19), (4.32) and (4.33), we see that c ϕ has along the pure
ϕ
cross-section σξ (Mn ) components of the form
c k
ϕl = ϕkl , c ϕkl = 0,
r
ϕl = ϕhs11 δhs22 ...δhs pp δrk11 ...δkqq ,
c k
q
c k mh2 ...h p h1 ...h p
ϕl = (∂l ϕhm1 )ξk1 ...k − ∑ (∂kµ ϕm l )ξk1 ...m...kq
(4.34)
q
µ=1
p
h h h ...m...h
− ∑ (∂l ϕmλ − ∂m ϕl λ )ξk11...kq p
λ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 133
ϕ
with respect to the natural frame {∂h , ∂h } of σξ (Mn ) in π−1 (U) [88].
p
4.4.2. Almost Complex Structures on Tq (Mn )
Theorem 101. If ϕ is an integrable almost complex structure on Mn , then the
ϕ
complete lift C ϕ of ϕ to Tqp (Mn ) along the pure cross-section σξ (Mn ) is an al-
p
most complex structure on Tq (Mn ).
Proof. Let ϕ ∈ ℑ11 (Mn ) and S ∈ ℑ12 (Mn ) , using (4.20), (4.23), (4.24) and (4.34),
we have
γ(ϕ ± ψ) = γϕ ± γψ,
C
ϕ(γψ) = γ(ϕ ◦ ψ) = γ(ψ ◦ ϕ), (4.35)
(γS)CV = γSV ,
C
= ϕ(C (ϕ(V ))) −C ϕ(γ(LV ϕ)) +C ϕ(V ((LV ϕ) ◦ ξ))
C
= (ϕ(ϕ(V ))) − γ(Lϕ(V ) ϕ) −C ϕ(γ(LV ϕ))
+C ϕ(V ((LV ϕ) ◦ ξ)) +V ((Lϕ(V ) ϕ) ◦ ξ)
C
= (ϕ(ϕ(V ))) − γ(Lϕ(V ) ϕ) − γ((LV ϕ) ◦ ϕ)
+V (ϕ((LV ϕ) ◦ ξ)) + (Lϕ(V ) ϕ) ◦ ξ) (4.36)
C
= (ϕ(ϕ(V ))) − γ(Lϕ(V ) ϕ + (LV ϕ) ◦ ϕ)
+V ((Lϕ(V ) ϕ) + (LV ϕ) ◦ ξ) +V ((LV (ϕ ◦ ϕ)) ◦ ξ)
C
= (ϕ ◦ ϕ)(CV ) + γ(LV (ϕ ◦ ϕ)) − γ(Lϕ(V ) ϕ + (LV ϕ) ◦ ϕ)
C
= (ϕ ◦ ϕ)(CV ) − γ(Lϕ(V ) ϕ − ϕ ◦ (LV ϕ))
+V ((Lϕ(V ) ϕ) − ϕ(LV ϕ) ◦ ξ)
C
= (ϕ ◦ ϕ)(CV ) − γNV +V (NV ◦ ξ)
C
= (ϕ ◦ ϕ)(CV ) − (γN)(CV ) +V (N ◦ ξ)(CV )
= (C (ϕ)2 − γN +V (N ◦ ξ)(CV ),
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
134 Arif Salimov
a=1
p
h h ...m...h
+2 ∑ ∂[l ϕm]λ ξk11...kq p , (4.40)
λ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 135
! !
0 s 0
CX = s = δkr11 ...δkrqq X i1 δsh22 ...δhpp jq h1 h
δkr11 ...δkrqq X h1 δsh22 ...δhpp j1
δk1 ...δkq δi1 ...δi pp
s
= δkr11 ...δkrqq X i1 δsh22 ...δhpp C( j)
which are tangent to σξ (Mn ) and the fibre, respectively. Then by (4.32), we have
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
∗
along the pure cross-section σξ (Mn ) determined by ξ ∈ ℑqp (Mn ) that
C
ϕ(BX) = B(ϕX) −C((Φϕξ)(X;Y1, ...,Yq, ξ1 , ..., ξp )) (4.41)
for any X ∈ ℑ10 (Mn ). When C ϕ(BX) is tangent to σξ (Mn ) for any X ∈ ℑ10 (Mn ),
c
ϕ is said to leave σξ (Mn ) invariant. We have from (4.41)
Theorem 102. The complete lift c ϕ of an element ϕ ∈ ℑ11 (Mn ) leaves the pure
cross-section σξ (Mn ) invariant if and only if Φϕ ξ = 0.
Asubmanifold
in an almost algebraic hypercomplex manifold with structure
Π = ϕ , is said to be almost hyperholomorphic when ϕ, α = 1, ..., m leaves
α α
the submanifold invariant.
Thus, from Theorem 102, we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
136 Arif Salimov
Theorem 103. A necessary and sufficient condition for the pure cross-section
σξ (Mn ) in Tqp (Mn ) determined by a pure tensor field ξ ∈ ℑqp (Mn ) in an almost
hypercomplex manifold Mn with structure Π = ϕ to be almost hyperholo-
α
p
almost algebraic hypercomplex manifold Tq (Mn )
morphic submanifoldin the
with structure c Π = c ϕ is that the pure tensor field ξ ∈ ℑqp (Mn ) be almost
α
hyperholomorphic in Mn .
p
izontal lift H ϕ ∈ ℑ11 (Tq (Mn )) with respect to the adapted (B,C)−frame of
ϕ
σξ (Mn ). We can state following theorem
Theorem 104. The horizontal lift H ϕ of ϕ along the pure cross-section to tensor
bundles has the following components
H ek l ...l
ϕl ek = 0, H ϕ
= ϕkl , H ϕ ekl = −(Φϕξ)lk1 1 ...kp q ,
( ls s s r
H ek
ϕl11 δl22 ...δl pp δrk11 ...δkqq , p ≥ 1 (4.43)
ϕl = s r
δsl11 ...δl pp ϕrk11 δrk22 ...δkqq , q ≥ 1
ϕ
with respect to the adapted (B,C)−frame of σξ (Mn ), where Φϕ ξ is the Vish-
nevskii operator.
Proof. Let ϕeKL be components of H ϕ with respect to (B,C)−frame of the cross-
ϕ
section σξ (M). Then from (4.42) we have
(
H eK H e L H e
ϕL V = (ϕ(V ))K , (i)
(4.44)
HϕeKL V A
eL =H (ϕ
e(A))K , (ii)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 137
! !
0 0
where V (ϕ(A)) = ∼ = l1 ml2 ...l p . Since the horizontal lift
V
(ϕ(A)) k ϕ A
m k1 ...kq
H
V is projectable, and so is H ϕ by virtue (i) of (4.44). H ϕ has components
H ek H ek
ϕl = ϕkl , ϕl =0 (4.45)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
138 Arif Salimov
or ∼
l ...l s r
(Φϕξ)lk1 1 ...kp q H Ve l − ϕls11 δsl22 ...δl pp δrk11 ...δkqq H V
e l = −H (ϕ(V))k . (4.50)
Comparing (4.47) and (4.50), and using (4.46), we get
k l ...l
(H ϕ
el + (Φϕ ξ)lk1 1 ...kp q )V l = 0,
Remark 28. The formula (4.43) is valid if and only if Φϕ ξ is the Vishnevskii
∗
operator, i.e. in the form (4.43) is a unique solution of (4.42). Therefore, if ϕ is
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
p ∗ ∗
an element of ℑ11 (Tq (Mn )), such that ϕ(H V ) =H ϕ(H V ) =H (ϕ(V)), ϕ(V A) =H
∗
ϕ(V A) =V (ϕ(A)), then ϕ =H ϕ.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 139
p
Theorem 105. Let ϕ ∈ ℑ11 (Mn ) and σξ be cross-section of Tq (Mn ). Then, the
diagonal lift D ϕ of ϕ has along the cross-section σξ (Mn ) components in the form
D ek l ...l
ϕl ek = 0, D ϕ
= ϕkl , D ϕ ekl = −(Φϕ ξ)lk1 1 ...kp q ,
( ls s s r
D ek
−ϕl11 δl22 ...δl pp δrk11 ...δkqq , p ≥ 1 (4.52)
ϕl = s r
−δsl11 ...δl pp ϕrk11 δrk22 ...δkqq , q ≥ 1
s r
e kl
Dϕ = −δsl11 ...δl pp ϕrk11 δrk22 ...δkqq , q≥1
s ...s l ...l
where xr = tr11...rqp , xk = tk11 ...kpq .
k
Now, we will study the component D ϕ
el of the diagonal lift D ϕ. In the case
when K = k, (i) of (4.53) reduces to
∼
D ek H e l k H el
ϕl V +D ϕ
el V =H (ϕ(V ))k . (4.55)
p
Let ξ ∈ ℑq (Mn ). We consider a new Φϕ −operator [21]
( ml2 ...l p
l1 ...l p m l1 ...l p ϕlm1 ∇l ξk1 ...k , p ≥ 1,
(Φϕξ)lk1...kq = ϕl ∇m ξk1 ...kq + l ...l
q
(4.56)
ϕm 1 p
k1 ∇l ξmk2 ...kq , q ≥ 1.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
140 Arif Salimov
D ek l ...l
ϕl = −(Φϕξ)lk1 1 ...kp q , p ≥ 1.
Similarly, we obtain
D ek l ...l
ϕl = −(Φϕ ξ)lk1 1...kp q , q ≥ 1.
p
lλ l1 ...s...l p
q
l ...l p
ϕm (− ∑ Γ ξ + ∑ Γsmkµ ξk11 ...s...k )+
l ms k1 ...kq q
λ=1 µ=1
q p
l1
Γ s
ξ
ml2 ...l p l ml2 ...s...l p
Γlsλ ξk1 ...k − Γm
s...l p
D k +ϕ m ( ∑ lk µ k 1 ...s...k q
− ∑ q ls ξk1 ...kq ), p ≥ 1,
µ=1 λ=2
ϕl = p q
ϕ m
(− Γ
lλ
ξ
l1 ...s...l p
+
l ...l p
Γsmkµ ξk11 ...s...k )+
l ∑ ms k1 ...kq ∑
λ=1 µ=1
q
q p
s ξl1 ...l p l l1 ...s...l p l1 ...l p
+ϕm k1 ( ∑ Γ lkµ mk2 ...s...kq − ∑ Γlsλ ξmk 2 ...kq
+ Γslm ξs...k q
), q ≥ 1
µ=2 λ=1
p
with respect to the natural frame {∂h , ∂h } of σξ (M) in π−1 (U) ⊂ Tq (Mn ) [21].
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 141
Then from (4.6) and (4.10), we see that these vector fields have, respectively,
local expressions
p q
k k ...s...k p k ...k
H
X( j) = δhj ∂h + (− ∑ Γ jsλ th11...hq + ∑ Γsjhµ th11...s...h
p
q
)∂h , (4.59)
λ=1 µ=1
k j j
A( j) = δki11 ...δi pp δh11 ...δhqq ∂h
V
(4.60)
n o n o
p
with respect to the natural frame ∂x∂H = ∂x∂h , ∂h on Tq (Mn ), where xh =
∂x
k ...k j
th11...hqp , δi −Kronecker
delta. These n + n p+q
vector fields are linear indepen-
dent and generate, respectively, the horizontal
n distribution
o of ∇ and the vertical
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
p H V ( j)
distribution of Tq (Mn ). We call the set X( j), A the frame adapted to the
affine connection ∇ in π−1 (U) ⊂ Tqp (Mn ). On putting
e( j) =H X( j) , e( j) =V A( j)
n o
we write the adapted frame as eβ = e( j) , e( j) . The indices α, β, γ, ... run
over the range {1, ..., n, n + 1, ...,n + n p+q} and indicate the indices with respect
to the adapted frame.
Using (4.59) and (4.60), we have
X j δhj
H
X = p
k ...s...k p
q
k ...k
k
−X( ∑ Γ jsλ th11...hq − ∑ Γsjhµ th11...s...h
p
q
)
λ=1 µ=1
δhj
j
= X p q = X j e( j) ,
k k ...s...k k ...k p
−( ∑ Γ jsλ th11...hq p − ∑ Γsjhµ th11...s...h q
)
λ=1 µ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
142 Arif Salimov
V 0 0
A = k ...k = k1 k p j1 j k ...k
Ah11 ...hpq δi1 ...δi p δh1 ...δhqq Ah11 ...hpq
k1 ...k p 0 k ...k
= Ah1 ...hq k1 k p j1 j = Ah11 ...hpq e( j) ,
δi1 ...δi p δh1 ...δhqq
These equations are easily seen to determine s g on Tqp (Mn ) with respect to
which the horizontal and vertical distributions are complementary and orthogo-
nal.
From (4.63)-(4.65) we see that the Sasakian metric s g has components
s
s g jl s g jl g jl 0 t ...t
geβγ = s = , xl = tl11...lqp , (4.66)
g jl s g jl 0 gi1 t1 ...gi pt p gej1 l1 ...e
g jq lq
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 143
!
s g jl s g jl g jl 0
s βγ i ...i
g = = i1t1 , x j = t j11 ... jpq (4.67)
s jl
g s jl
g 0 g ...g i pt p
e
g j l
11 ...e
g j l
qq
with respect to the adapted frame, gi j and gi j being local covariant and con-
travariant components g of on Mn .
Sasakian metrics on tangent bundle were introduced in 1958 by the Japanese
geometer Sasaki [87]. Sasakian metrics on tangent and cotangent bundles were
also studied in [28], [73], [74], [114]. In a more general case of tensor bundles
of type (1, 1), (1, q) and (0, q), Sasakian lifting of metrics are considered in [78],
[79]. The Sasakian metrics on frame bundle was first considered by Mok [54]
(for details, see [10]).
We now consider local 1−forms ωα defined by
e αdxB
ωα = A B
and (
ωj = Ae j dxB = dx j ,
B
e j dxB = δt i1 ...i p , (4.71)
ωj = A B j1 ... jq
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
144 Arif Salimov
p q
i ...i i ...i i i ...m...i p i ....i
where δt j11 ... jpq = dt j11 ... jpq + ( ∑ Γkm
λ
t j11 .... jq − ∑ Γm 1 p k
kjµ t j1 ...m... jq )dx .
λ=1 µ=1
Since the adapted frame field {eα } is non-holonomic, we put
γ
[eα, eβ ] = Ωαβ eγ ,
we have
s α
Γγβ −s Γαβγ = Ωαγβ (4.73)
with respect to the adapted frame, where s Γαγβ are components of the Levi-Civita
connection s ∇.
The equation (s∇X s g)(Y, Z) = 0, ∀X,Y, Z ∈ ℑ10 (Tqp (Mn )) has form
with respect to the adapted frame. Thus, we have from (4.73) and (4.74)
s α 1 s αε 1
Γγβ = g (eα s gεβ + eβ s gγε − eε s gγβ ) + (Ωγβ α + Ωα γβ + Ωα βγ), (4.75)
2 2
where Ωαγβ =s gαε s gδβ Ωδεγ . Taking account of (4.69), (4.72) and (4.75), for
various types of indices, we find
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 145
p
s r 1
Γl j = g j1 l1 ...e
[(− ∑ gt1 i1 ...∇X gtλ iλ ...gi pt p )e g jqlq
2 λ=1
q
+( ∑ gej1 l1 ...∇X gejµ lµ ...e
g jqlq )gi1t1 ...gi pt p ]
µ=1
= 0,
s r
Γl j = 0, s Γrl j = 0, s Γrl j = Γrl j ,
p q
v v v
s r
Γl j = ∑ Γlsλ δrj11 ...δrjqq δvi11 ...δsiλ ...δipp − ∑ Γslrµ δrj11 ...δsjµ ...δrjqq δvi11 ...δipp , (4.76)
λ=1 µ=1
s r 1 q (v)
p
v v ...s...v p
Γl j = ( ∑ Rsl jrµ tr1...s...rq − ∑ Rljsλ t(r)1 ),
2 µ=1 λ=1
q p
(k) k k ...s...k p
s r
Γl j = 12 gxr gi1 t1 ...gi pt p gej1 h1 ...e
g jq hq ( ∑ Rsxlhµ th1 ...s...hq − ∑ Rxls
λ 1
t(h) ),
µ=1 λ=1
q p
(k) k k ...s...k p
s r
Γl j = 12 gxr gt1 k1 ...gt pk p gel1 h1 ...e
glqhq ( ∑ Rsx jhµ th1 ...s...hq − ∑ Rxλjst(h)
1
)
µ=1 λ=1
with respect to the adapted frame, where Γhji denote of the Levi-Civita connec-
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
tion components constructed with g on M with respect to the natural frame {∂i }.
Definition 19. Let eγ = eγ(t) be a curve in Tqp (Mn ) and suppose that eγ is locally
R R r r r v1...v p
expressed
n byo x n= x (t),oi.e. x = x (t), x = tr1...rq (t) with respect to the natural
∂ ∂
frame ∂xl
= , ∂
, t being a parameter an arc length of eγ. Then the curve
∂xi ∂xi
γ = π ◦ eγ on M is called the projection of the curve eγ and denoted by πeγ which is
expressed locally by xr = xr (t).
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
146 Arif Salimov
δ2 xR d 2 xR s R dxC dxB
= + ΓCB = 0. (4.77)
dt 2 dt 2 dt dt
We find it more convenient to refer equations (4.77) to the adapted frame. Using
(4.71), we now put
v1 ...v p
ωr dxr ωr δtr1 ...rq
= , = , (4.78)
dt dt dt dt
along a curve eγ. Using (4.78) equations (4.77) can be transformed into
d ωε s α ωγ ωβ
( ) + Γγβ =0 (4.79)
dt dt dt dt
with respect to the adapted frame.
By means of (4.76), (4.79) reduces to
d ωr dxl dx j
( ) + Γrl j (4.80)
dt dt dt dt
p
1 k1 ...k p
+ gexr gt1 k1 ...gt p k p gel1 h1 ...e
glq hq (− ∑ Rx js kλ t(h)
2 λ=1
t ...t
q δl11 ...lqpdx j
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
s (k)
+∑ Rx jhµ th1...s...hq )
µ=1 dt dt
p
1 k1 ...k p
+ gexr gi1 k1 ...gi pk p gej1 h1 ...e
g jqhq (− ∑ Rxls kλ t(h)
2 λ=1
l ...l
q
(k) dxl δt j11 ... jpq
+∑ Rxlhµ sth1 ...s...hq )
µ=1 dt dt
= 0,
v1 ...v p
d δtr1 ...rq 1 q (k)
p l
k1 ...k p dx dx
j
( ) + ( ∑ Rl jhµ sth1 ...s...hq − ∑ Rl js kλ t(h) ) (4.81)
dt dt 2 µ=1 λ=1
dt dt
i ...i
p
v l
q
l dx
l δt j11 ... jpq
+( ∑ Γlsλ δrj11 ...δrjqq δli11 ...δsiλ ...δi pp −∑ Γslrµ δrj11 ...δsjµ ...δrjqq δli11 ...δi pp )
λ=1 µ=1 dt dt
= 0.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 147
δ2 xr l1 h1 lqhq
q
(k)
dt 2
+ gt1 k1 ...gtpk p e
g ...e
g ( ∑ Rrjhµ sth1...s...hq (4.82)
µ=1
t ...t
p δ1 p dx j
r kλ k1 ...s...k p l1 ...lq
−∑ R js t(h) )
λ=1
dt dt
= 0.
!
p q
k k1 ...s...k p (k) dxl dx j
Using the identity − ∑ Rl λjst(h) + ∑ Rsl jhµ th1 ...s...hq dt dt = 0,
λ=1 µ=1
transform of (4.81) as follow:
v ...v
δ2 tr11...rqp
= 0.
dt 2
Thus we have
p
Theorem 106. Let eγ be a geodesic on Tq (Mn ) of s ∇. Then the tensor field
v1 ...v p
tr1 ...rq (t) defined along γ satisfies the differential equations (4.82) and has van-
ishing second covariant derivative.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
p
Let now eγ be a geodesic of s ∇. If eγ lies on a fibre π−1 (P) = Tq (P), P = P(xh )
v ...v p
δ2tr11...rq
given by xh = ch = const, then dt 2
= 0 reduces to
v ...v
d 2tr11...rqp
= 0, (dxh = 0)
dt 2
from which we have
xr = ar t + br , r = n + 1, ..., n + n p+q ,
ar and br being constant. Hence we have
p
Theorem 107. If a geodesic e γ lies in a fibre of Tq (Mn ) with respect to the metric
s g, the geodesic e
γ is expressed by linear equations
xh = ch ,
x = ah t + bh ,
h
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
148 Arif Salimov
i ...i
Next, let γ be a curve on M expressed locally by xh = xh (t) and S j11 ... jpq (t) be
p
a tensor field of type (p, q) along γ. Then, on the tensor bundle Tq (Mn ) over the
Riemannian manifold Mn , we define a curve γ by H
(
xh = xh (t),
k ...k
xh = Sh11...hpq (t).
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 149
Te V
A,H Y = −Te H Y,V A =H ∇V A H Y −H ∇H Y V A − [V A,H Y ]
= −V (∇Y A) +V (∇Y A) = 0,
Te H
X,H Y = H
∇H X H Y −H ∇H Y H
X − [H X,H Y ]
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Theorem 110. The connection H ∇ has nontrivial torsion even for the Levi-
Civita connection ∇ determined by g, unless g is locally flat.
(H ∇V C s g)(V A,V B) = H V
Z (g(A, B)) −s g(V (∇Z A),V B) −s g(V A,V (∇Z B))
V
= (Zg(A, B)) − g(∇Z A, B) − g(A, ∇Z B)
i ...i t ...t
= A j11 ... jpq Bl11 ...lpq (∇Z (gi1t1 ...gi pt p gej1 l1 ...e
g jq lq ) = 0,
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
150 Arif Salimov
(H ∇V C s g)(V A,H Y ) = 0,
(H ∇H Z s g)(V A,H Y ) = 0,
(H ∇V C s g)(H X,V B) = 0,
(H ∇H Z s g)(H X,V B) = 0,
(H ∇V C s g)(H X,H Y ) =V CV (g(X,Y)) = 0,
(H ∇H Z s g)(H X,H Y ) =V ((∇Z g)(X,Y)) = 0
for any A, B,C ∈ ℑqp (Mn ) and X,Y, Z ∈ ℑ10 (Mn ). Thus, from last equations we
have
Theorem 111. The horizontal lift H ∇ of the Levi-Civita connection ∇ to
p
Tq (Mn ) is a metric connection with respect to the Sasakian metric, i.e. H ∇ s g.
We now put
H
∇α =H ∇eα ,
where {eα } = {ei , ei }−adapted frame. Then
H γ
∇α eβ =H Γαβ eγ . (4.86)
Thus, taking account of (4.85) and writing expression (4.86) for the different
indices, we find
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
H r
Γl j =H Γrl j =H Γrl j =H Γrl j =H Γrl j =H Γrl j = 0,
H r
Γl j = Γrl j ,
p q (4.87)
H r vλ j1 jq l1 s lp s j1 jµ jq l1 lp
Γ = ∑ Γ δ ...δ δ ...δ ...δ − ∑ Γ δ ...δ ...δ δ ...δ
lj ls r1 rq i1 iλ ip lrµ r1 s rq i1 ip
λ=1 µ=1
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 151
ϕ of type (1, 1) on M, such that ϕ(Z) = R(Z, X)Y for any Z ∈ ℑ10 (Mn ), R being
the curvature tensor of ∇.
If we put
e Ye ) =H ∇ eYe −C ∇ eYe
S(X, X X
p
e Ye ∈ ℑ1 (Tq (Mn )), then the tensor field S of type (1, 2) satisfies the
for any X, 0
conditions
V V
S( A, B) = 0, S(V A,H Y ) = 0,
(4.91)
S(H X,V B) = 0, S(H X,H Y ) = (γ − eγ)(R( , X)Y )
for any A, B ∈ ℑqp (Mn ) and X,Y ∈ ℑ10 (Mn ). Therefore S has components Sεγβ
such that
p q
v ...m...v p vλ v1 ...v p
Shlj = − ∑ tr11...rq Rml j + ∑ tr ...m...r Rmr l j ,
1 q µ
(4.92)
λ=1 µ=1
all the others being zero, with respect to the adapted frame.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
152 Arif Salimov
Since the components of H ∇ are given by (4.87), it follows from (4.91) and
(4.92) that complete lift C ∇ has components
c r c r c r c r c r c r
Γ = Γl j = Γl j = Γl j = Γl j = Γl j = 0 ,
lj c Γr = Γr ,
lj lj (4.93)
p q
c r v1 ...m...v p vλ v ...v p
Γ = ∑ tr ...r
lj R − ∑ tr 1...m...r
1 q Rm ml j 1 q rµ l j
λ=1 µ=1
d ωα c α ωγ ωβ
( ) + Γγβ = 0. (4.94)
dt dt dt dt
By means of (4.93), (4.94) reduces to
δ dxi
dt ( dt ) = 0 ,
i ...i p
δ2 t j1 ... jq p i ...m...i p i
q i ...im dx l dx j (4.95)
1
dt 2
+ ( ∑ t j11 ... jq λ
Rml 1 p
j − ∑ t j1 ...m... jq R jµ l j ) dt dt = 0.
λ=1 µ=1
i ...i
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
The second equation of (4.95) shows that the tensor field t j11 ... jpq (t) on Mn defined
along γ = πeγ is a Jacobi tensor field ( a Jacobi vector field for p = 1, q = 0) along
γ, where γ is a geodesic on Mn . Thus we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 153
C ∂ ∂
X = Xi − ph ∂i X h
∂xi ∑
, (4.96)
i ∂xi
H ∂ ∂
X = Xi − ph Γhij X j
∂xi ∑
, (4.97)
i ∂xi
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
V ∂
ω = ∑ ωi (4.98)
i ∂xi
with respect to the natural frame { ∂x∂ i , ∂x∂ i }, where Γhij are components of the
Levi-Civita connection ∇g on Mn (see [114] for more details).
For each x ∈ Mn the scalar product g−1 = (gi j ) is defined on the cotangent
space π−1 (x) =C T (Mn ) by
g−1 (ω, θ) = gi j ωi θ j
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
154 Arif Salimov
for any X,Y ∈ ℑ10 (Mn ) and ω, θ ∈ ℑ01 (Mn ). Since any tensor field of type (0, 2)
on C T (Mn ) is completely determined by its action on vector fields of type H X
and V ω (see [114, p.280]), it follows that S g is completely determined by equa-
tions (4.99), (4.100) and (4.101).
We now see, from (4.96) and (4.97), that the complete lift C X of X ∈ ℑ10 (Mn )
is expressed by
C
X =H Y −V (p(∇X)), (4.102)
where p(∇X) = pi (∇h X i )dxh .
Using (4.99), (4.100), (4.101) and (4.102), we have
S
g(C X,C Y ) =V (g(X,Y )) +V (g−1 (p(∇X), p(∇Y ))), (4.103)
∂
X(i) = , θ(i) = dxi , i = 1, ..., n.
∂xi
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Then from (4.97) and (4.98) we see that H X(i) and V θ(i) have respectively local
expressions of the form
∂ ∂
ee(i) =H X(i) = i
+ ∑ pa Γahi , (4.104)
∂x h ∂xh
∂
ee(i) =V θ(i) = . (4.105)
∂xi
n o n o
We call the set ee(α) = e e(i) , ee(i) = H X(i) ,V θ(i) the frame adapted to the
Levi-Civita connection ∇g . The indices α, β, ... = 1, ..., 2n indicate the indices
with respect to the adapted frame.
We now, from equations (4.97), (4.98), (4.104) and (4.105) see that H X and
V ω have respectively components
i
H i H H α X
X = X ee(i) , X =( X )= , (4.106)
0
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 155
0
V
ω = ∑ ωi ee(i), V
ω = (V ωα ) = (4.107)
i ωi
with respect to the adapted frame ee(α) , where X i and ωi being local compo-
nents of X ∈ ℑ10 (Mn ) and ω ∈ ℑ01 (Mn ), respectively.
Let S ∇ be the Levi - Civita connection determined by the Sasakian metric
S
g. The components of S ∇ are given by (see Section 4.5)
S h
Γ ji = Γhji , S Γhji =S Γhji =S Γhji = 0,
Γ ji = 12 pm Rh. j.im , S Γhji = 12 pm Rh. i.im ,
S h
(4.108)
S Γh = 1 p R m , S Γh = −Γi
ji 2 m jih ji jh
with respect to the adapted frame ee(α) , where Rl jı α being local components
of the curvature tensor R of ∇g .
Let now X,e Ye ∈ ℑ1 (C T (Mn )) and Xe = Xeα eeα , Ye = Ye β eeβ . The covariant
0
derivative ∇Ye Xe along Ye has components
S
S e α = Ye γ eeγ X
∇Ye X e α +S Γα XeβYe γ (4.109)
γβ
with respect to the adapted frame ee(α) .
Using (4.106), (4.107), (4.108) and (4.109), we have
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
i) S ∇V ω V θ = 0,
1H
ii) S ∇V ω H Y = (P(g−1 ◦ R( ,Y )ω
e )),
2
1H
iii) S ∇H X V θ =V (∇X θ) + (P(g−1 ◦ R( , X)e
θ)),
2
1V
iv) S ∇H X H Y =V (∇X Y ) + (PR(X,Y))
2
for all X,Y ∈ ℑ10 (Mn ) and ω, θ ∈ ℑ01 (Mn ), where ω e = g−1 ◦ ω ∈
1 1 −1
e ∈ ℑ1 (Mn ), g ◦ R( , X)ω
ℑ0 (Mn ), R( , X)ω 2
e ∈ ℑ0 (Mn ),
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
156 Arif Salimov
for any X ∈ ℑ10 (Mn ) and ω ∈ ℑ01 (Mn ), where Xe = g ◦ X ∈ ℑ01 (Mn ), ω
e = g−1 ◦ ω ∈
1
ℑ0 (Mn ). Then we obtain
F 2 = I.
In fact, we have by virtue of (4.110)
e =H e
e =H X,
F 2 (H X) = F(F H X) = F(V X) X
F 2 (V ω) = F(F V ω) = F(H ω
e ) =V e
e =V ω
ω
Proof. We put
e Ye) =S g(F X,
e Ye ) −S g(X,
e FYe )
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
A(X,
e Ye ∈ ℑ1 (C T (Mn )). From (4.99), (4.100), (4.101) and (4.110), we have
for any X, 0
A(H X,H Y ) = S
g(F H X,H Y ) −S g(H X, F H Y )
e H Y ) −S g(H X,V Ye ) = 0,
= S g(V X,
A(H X,V ω) = S
g(F H X,V ω) −S g(H X, F V ω)
e V ω) −S g(H X,H ω
= S g(V X, e)
= g−1 (g ◦ X, ω) − g(X, g−1 ◦ ω) = 0,
A(V ω,V θ) = S
g(FV ω,V θ) −S g(V ω, FV θ)
e ,V θ) −S g(V ω,H e
= g−1 (H ω θ) = 0,
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 157
S
H
S
∇V ωF Y = ∇V ω F H Y − F S ∇V ω H Y
1
= S ∇V ωV Ye − F H p g−1 ◦ R ( ,Y ) ω
e
2
1V
= − (pR( ,Y )ω e ),
2
S
V
S
∇H X F θ = ∇H X F V θ − F S ∇H X V θ
S He V 1 H −1 e
= ∇H X θ − F (∇X θ) + p g ◦ R ( , X) θ
2
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
1V
= H ∇X e θ + pR X, eθ −H g−1 ◦ (∇X θ)
2
V
1
− pg ◦ g−1 ◦ R( , X)eθ
2
1V
= pR(X, e
θ) − pR( , X)eθ ,
2
S
V
S
∇V ω F θ = ∇V ω F V θ − F S ∇V ωV θ
1 H −1
= S ∇V ω H e
θ= p g ◦ R ,e e .
θ ω
2
Using Theorem 44, from last equations we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
158 Arif Salimov
A vector field Xe ∈ ℑ10 C T (Mn ) with respect to which the almost para-
Nordenian structure F has a vanishing Lie derivative LXe F = 0 is said to be
almost paraholomorphic.
It is well known that [114, p. 277]
C H
[ X, Y ] =H [X,Y ] +V (p (LX ∇)Y ) ,
(4.111)
[C X,V ω] =V (LX ω),
(LC X F)V θ = LC X F V θ − F LC X V θ (4.112)
= LC X H e
θ − F V (LX θ)
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
= LC X H e
θ −H g−1 ◦ (LX θ)
= V [X, e
θ] +V p (LX ∇) e
θ −H g−1 ◦ (LX θ)
= H L g−1 ◦ θ − g−1 ◦ (LX θ) +V p (LX ∇) e θ ,
(LC X F)H Y = LC X F H Y − F LC X H Y (4.113)
= LC X V Ye − F H [X,Y ] +V (p (LX ∇)Y ) .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 159
Let now R ∇ ∈ ℑ02 C T (Mn ) be a Riemannian extension of the connection
∇g defined by [2], [114, p. 268]
R
∇ C X,C Y = −p (∇X Y + ∇Y X) , X,Y ∈ ℑ10 (Mn ).
with respect to the natural frame {∂i , ∂i }. From (4.97), (4.98) and (4.118) we
easily see that
R
∇ H X,H Y = 0, R ∇ V ω,V θ = 0, R ∇ H X,V θ =V (θ (X)) , (4.115)
R
∇ ◦ F V ω,H Y =R ∇ F V ω,H Y =R ∇ H ω e ,H Y =S g V ω,H Y = 0,
R
V
∇◦F ω,V θ = R
∇ F V ω,V θ =R ∇ H ωe ,V θ =V (θ (ω
e ))
= V g−1 (ω, θ) =S g V ω,V θ ,
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
160 Arif Salimov
tions xl = (xi , xi ) and xi = yi . The indices I, J, ... run from 1 to 2n, the indices
i, j, ... from 1 to n and the indices i, j, ... from n + 1 to 2n.
Let X ∈ ℑ10 (Mn ), which locally are represented by
∂
X = X i ∂i (∂i = ).
∂xi
Then the vertical and horizontal lifts V X and H X of X are given by
V ∂
X = X i ∂i (∂i = )
∂xi
and
H
X = X i ∂i − Γijk x j X k ∂i ,
where Γijk are the coefficients of the Levi-Civita connection on Mn .
Suppose that we are given in U ⊂ Mn a vector field X ∈ ℑ10 (Mn ) and a covec-
tor field gX = (gi j X i dx j ). Then we define a function γgX in π−1 (U) ⊂ T (Mn ) by
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 161
γgX = x j gi j X i with respect to the induced coordinates (xi , xi ). The function γgX
defined in each π−1 (U) determine global function on T (Mn ), which is denoted
also by γgX . Now, let r be the norm a vector y = (yi ) = (xi ), i.e. r2 = gi j xi x j .
The Cheeger-Gromoll metric CG g on the tangent bundle T (Mn ) is given by
for X ∈ ℑ10 (Mn ) any and ϕ ∈ ℑ11 (Mn ). The diagonal lift D I of the identity tensor
field I ∈ ℑ11 (Mn ) has the components
!
D δij 0
I= j
−2yt Γti −δij
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
with respect to the induced coordinates and satisfies (DI)2 = IT (Mn ). Thus D I is
an almost paracomplex structure determining the horizontal distribution and the
distribution consisting of the tangent planes to fibres.
We put
e Ye ) =CG g(DI Xe , Ye) −CG g(X,
S(X, e D IYe ).
e Ye ) = 0 for all vector fields Xe and Ye which are of the form V X,V Y
If S(X,
or H X,H Y, then S = 0. By virtue of D IV X = −V X, D I H X =H X and (i)-(iii) we
have
S(V X,V Y ) =CG g(−V X,V Y ) −CG g(V X, −V Y ) = 0,
S(V X,H Y ) =CG g(−V X,H Y ) −CG g(V X,H Y ) = 0,
S(H X,V Y ) =CG g(H X,V Y ) −CG g(H X, −V Y ) = 0,
S(H X,H Y ) =CG g(H X,H Y ) −CG g(H X,H Y ) = 0,
i.e. CG g is pure metric with respect to D I.
We hence have:
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
162 Arif Salimov
V
X V (g(Y, Z)) = 0,
[V X,V Y ] = 0,
[V X,H Y ] =V [X,Y ] −V (∇X Y ) = −V (∇Y X),
H
X V (g(Y, Z)) =V (Xg(Y, Z)),
CG ∇H VY 1 H
X = 2(1+r 2)
(R(xi ,Y )X +V (∇X Y ) (R-curvature tensor field of)
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 163
= −V X.0 +V X.0
+CG g(LV Y (D IV X) −D ILV Y V X,H Z)
+CG g(V Y, LH Z (D IV X) −D ILH Z V X)
CG
= g(−[V Y,V X]D I.0,H Z)
+CG g(V Y, −[H Z,V X] −D I[H Z,V X])
CG
= g(0,H Z)
+CG g(V Y,V [X, Z] −V (∇X Z) +D I(V [X, Z] −V (∇X Z))
CG
= g(V Y, 0) = 0.
+CG g(H Y, 0)
CG
= g(V [X,Y ] −V (∇X Y ) −V [X,Y ] +V (∇X Y )),V Z)
CG
= g(0,V Z) = 0.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
164 Arif Salimov
= 2H X CG g V
Y,V Z
+CG g V
[Y, X] −V (∇Y X) +V [Y, X] −V (∇Y X),V Z
+CG g V Y,V [Z, X] −V (∇Z X) +V [Z, X] −V (∇Z X)
= 2H X CG g V Y,V Z + 2CG g V [Y, X] −V (∇Y X) ,V Z
+CG g V Y,V [Z, X] −V (∇Z X)
= 2H X CG g V Y,V Z
+2 CG g −V (∇Y X) ,V Z +CG g V Y, −V (∇Z X)
= 2H X CG g V Y,V Z
H
CG 1 i CG V V
+2( g (R(x ,Y )X) − ∇H X Y, Z
2(1 + r2 )
H
CG V 1 i CG V
+ g Y, (R(x , Z)X) − ∇H X Z
2(1 + r2 )
= 2 H X CG g V Y,V Z −CG g CG ∇H X V Y,V Z −CG g V Y,CG ∇H X V Z
= 2 CG ∇H X CG g V Y,V Z = 0.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 165
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
166 Arif Salimov
ω ◦ Nϕ = 0. (4.116)
Let ϕ ∈ ℑ11 (Mn ). Then, the complete lift C ϕ of ϕ along the cross-section ω
to T ∗ (Mn ) has components of the form
C ϕhi 0
ϕ=
(∂i ϕai − ∂h ϕai ) − ϕti ∂t ωh + ϕth ∂i ωt ϕhi
with respect to the adapted (B,C)−frame [114, p. 308]. We consider that the
local vector fields
i
C C ∂ C h ∂ X
X(i) = i
= δi h =
∂x ∂x 0
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
and
(i) 0
V
X V i
= (dx ) = V
(δih dxh ) =
δih
i = 1, ..., n; i = n + 1, ..., 2n span the module of vector fields in π−1 (U). Hence,
any tensor fields is determined in π−1 (U) by their actions on C X and V θ for any
X ∈ ℑ10 (Mn ) and θ ∈ ℑ01 (Mn ). The complete lift C ϕ has the properties
C C
ϕ( X) =C (ϕ(X)) + γ(LX ϕ),
C V (4.117)
ϕ( θ) =V (ϕ(θ)),
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 167
Proof. Let ϕ, ψ ∈ ℑ11 (Mn ) and N ∈ ℑ12 (Mn ). Using (4.20)-(4.24) and (4.117),
we have
γ(ϕ ± ψ) = γ(ϕ) ± γ(ψ), (4.118)
C
ϕ(γψ) = γ(ψ ◦ ϕ),
(γN)(C X) = γNX ,
where NX is the tensor field of type (1, 1) on Mn defined by NX (Y ) = N(X,Y )
for any Y ∈ ℑ10 (Mn ).If X ∈ ℑ10 (Mn ), then from (4.117) and (4.118), we have
where
Nϕ,X = (LϕX ϕ − ϕ(LX ϕ))(Y)
= [ϕX, ϕY ] − ϕ[X, ϕY ] − ϕ[ϕX,Y ] + ϕ2 [X,Y ] = Nϕ(X,Y )
is nothing but the Nijenhuis tensor constructed by and has local coordinates of
the form
0 0
γNϕ =
(ω ◦ Nϕ )i j 0
(see (4.24)).Similarly, if θ ∈ ℑ01 (Mn ), then by (4.117), we have
(C ϕ)2 (V θ) = (C ϕ ◦C ϕ)(V θ) (4.120)
C C V
= ϕ( ϕ( θ))
C
= ϕ(V (ϕ(θ))
V
= (ϕ(ϕ(θ)))
V
= ((ϕ ◦ ϕ)(θ))
= C
(ϕ2 )(V θ).
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
168 Arif Salimov
By virtue of (4.116), we can easily say that γNϕ = 0. From (4.119), (4.120) and
linearity of the complete lift, we have
∗
p p
Let ℑq (Mn ) denote a module of all the tensor fields ξ ∈ ℑq (Mn ) which are
pure with respect to S. We consider a pure cross-section σSξ (Mn ) determined by
∗
ξ ∈ ℑqp (Mn ). We define a tensor field c S ∈ ℑ12 (Tqp (Mn )) along the pure cross-
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
(4.121)
p
for any V1 ,V2 ∈ ℑ10 (Mn ), A, B ∈ ℑq (Mn ), where SV2 (A), SV1 (B), ((LV1 S)V2 ◦
ξ), ((LV2 S)V1 ◦ ξ), (S[V1 ,V2 ] ◦ ξ) ∈ ℑqp (Mn ) and call c S the complete lift of
p
S ∈ ℑ12 (Mn ) to Tq (Mn ), p ≥ 1, q ≥ 0 along σSξ (Mn ).
Let c SKL1 L2 be components of c S with respect to the adapted (B,C)−frame of
the pure cross-section σSξ (Mn ). Then, from (4.21), (4.23) and (4.121) we have
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 169
∼ ∼ ∼ ∼ ∼
cSe K cV L1 cV L2 =c (S (V1 ,V2 ))K + γ((LV S)V )K − γ((LV S)V )K
L1 L2 1 2 2 1 1 2
∼ ∼ ∼
K V K V
−γ(S[V1 ,V2 ] ) − ((LV2 S)V1 ◦ ξ) + ((LV1 S)V2 ◦ ξ) K
∼
+V ( S[V1 ,V2 ] ◦ ξ), (i)
∼ ∼
e K V AL1 cV L2 =V (SV (A))K , (ii)
cS
L L
1 2 2 2
cS
∼ ∼
e K cV L1 V BL2 =V (SV (B))K , (iii)
L L 1 1
1 2
e K V AL1 V BL2 = 0, (iv)
cS
L1 L2
(4.122)
where
V
∼ 0 V
∼ 0
(SV1 (B)) = h1 j mh2 ...h p , (SV2 (A)) = h1 j mh2 ...h p ,
S jmV1 ξk1 ...kq Sm jV2 ξk1 ...kq
V
∼ 0
((LV1 S)V2 ◦ ξ) = h1 h2 ...l...h p j h ,
ξk1 ...kq V2 (LV1 Slmλ )
V
∼ 0
((LV2 S)V1 ◦ ξ) = h1 h2 ...l...h p j h ,
ξk1 ...kq V1 (LV2 Slmλ )
∼
V 0
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
∼ ∼ ∼ ∼ ∼ ∼
c e k c l1 c l2
S l1 l2 V 1 V 2 +c Se kl l cV l 1 c l2
1 V 2 +c Se kl l cV l1 c l 2
1 V 2 (4.124)
1 2 1 2
lh ...h lh ...h lh ...h
−ξk12...kq p V1m (LV2 S)hlm1 + ξk12...kq p V2m (LV1 S)hlm1 + ξk12...kq p Shlm1 [V1 ,V2 ]m
p p
h h2 ...l...h p m hλ h h2 ...l...h p m h
+ ∑ ξk11...k q
V1 (LV2 S lm ) − ∑
ξk11...k q
V2 (LV1 Slmλ )
λ=2 λ=2
p
h h2 ...l...h p hλ
− ∑ ξk11...k q
Slm [V1,V2 ]m
λ=2
∼
c
= (S (V1 ,V2))k .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
170 Arif Salimov
+ c Se kl l V e l 2 + c Se k
Al1 cV2 l l
V e l2
Al 1 cV2
1 2 1 2
∼
V
= (SV2 (A))k
or ∼
c e k V l1 c e l2
S l l A V2 =V (SV2 (A))k ,
1 2
which implies
cek r
Sll = δrk11 ...δkqq Shs11l2 δhs22 ...δhs pp , (4.125)
1 2
s ...s
where xl 1 = tr11...rqp . We also have by of (4.122)
cek r
Sll = δrk11 ...δkqq Shl11s1 δhs22 ...δhs pp , (4.126)
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
1 2
s ...s
where xl 2 = tr11...rqp .
c e k c e l1 c e l2 r
S l1 l2 V V2 + δrk11 ...δkqq Shs11l2 δhs22 ...δhs pp cV e l2
e l 1 cV
2 (4.127)
r
+δrk11 ...δkqq Shl11s1 δhs22 ...δhs pp cV e l 2 − ξ lh2 ...h p V1m (LV2 S)h1
e l1 cV
2 k1 ...kq lm
lh ...h lh ...h
+ξk12...kq p V2m (LV1 S)hlm1 + ξk12...kq p Shlm1 [V1 ,V2]m
p p
h h ...l...h p h h h ...l...h p h
+ ∑ ξk11...k
2
q
V1m (LV2 Slmλ ) − ∑ ξk11...k
2
q
V2m (LV1 Slmλ )
λ=2 λ=2
p
h h ...l...h p hλ
− ∑ ξk11...k
2
q
Slm [V1,V2 ]m
λ=2
∼
c
= (S (V1 ,V2))k .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 171
Now, using the Yano-Ako operator we will investigate components c Se kl1 l2 . The
∗
Yano-Ako operator on the pure module ℑqp (Mn ) is given by (see Section 1.6)
h ...h
(ΨS ξ)l11l2 k1 ...k
p
q
h ...h h ...h h ...h
= Sm 1 p m 1 p m 1 p
l1 l2 ∂m ξk1 ...kq − ∂l1 (Sk1 l2 ξmk2 ...kq ) − ∂l2 (Sl1 k1 ξmk2 ...kq )
q q
h ...h hb hb h ...m...h p
+ ∑ (∂ka Sm
l1 l2 )ξk1 ...m...kq + ∑ (∂l1 Sml2 − ∂m Sl1 l2 )ξk1 ...kq
1 p 1
a=1 b=1
q
h ...m...h p
+ ∑ (∂l2 Shl1cm − ∂m Shl1cl2 )ξk11...kq .
c=1
After some calculations we have
h ...h mh ...h p
V1l1 V2l2 (ΨS ξ)l11l2 k1 p...kq +V1l1 Shl11m (LV2 ξ)k1 ...k
2
q
(4.128)
mh ...h mh ...h
+V2l2 Shml1 2 (LV1 ξ)k1 ...k
2
q
p 2
+ ξk1 ...k q
p l1
V1 (LV2 S)hl11m
mh ...hp l2 mh ...h
2
−ξk1 ...k q
V2 (LV1 S)hl21m − ξk1 ...k
2
q
p h1
Sl2 m [V1,V2 ]l2
p p
h h ...m...h p h h ...m...h p
− ∑ ξk11...k
2
q
V1l1 (LV2 Shl1bm ) + ∑ ξk11...k
2
q
V1l2 (LV1 Shl2bm )
b=1 b=1
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
p
h ...m...h p hb
+ ∑ ξk11...kq Sl2 m [V1 ,V2]l2
b=1
h ...h
= (LS(V1 ,V2 ) ξ)k11...kqp .
for any V1 ,V2 ∈ ℑ10 (Mn ). Using (4.20), (4.126) and (4.127), (4.128) reduces to
h ...h r
V1l1 V2l2 (ΨS ξ)l11l2 k1 p...kq − δrk11 ...δkqq Shs11l2 δhs22 ...δhs pp cV e l2
e l 1 cV
2 (4.129)
r
−δrk11 ...δkqq Shl11s1 δhs22 ...δhs pp cV e l 2 + ξmh2 ...h p V l1 (LV2 S)h1
e l1 cV
2 k1 ...kq 1 l1 m
mh ...hp l2 mh ...h
2
−ξk1 ...k q
V2 (LV1 S)hl21m − ξk1 ...k
2
q
p h1
Sl2 m [V1,V2 ]l2
p p
h h ...m...h p h h ...m...h p
− ∑ ξk11...k
2
q
V1l1 (LV2 Shl1bm ) + ∑ ξk11...k
2
q
V2l2 (LV1 Shl2bm )
b=2 b=2
p
h ...m...h p hb
+ ∑ ξk11...kq Sl2 m [V1 ,V2]l2
b=2
∼
= −c (S (V1 ,V2))k .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
172 Arif Salimov
Thus, the complete lift c S ∈ ℑ12 (Mn ) (S(V,W) = −S(W,V)) has along the pure
cross-section σSξ (Mn ) components [40], [86]
e k =c S k , c Se k = − (ΨS ξ)h1 ...h p ,
cS
l1 l2 l1 l2 l1 l2 l1 l2 k1 ...kq
c Se k =c Sek =c Se k =c Se k = 0,
l 1 l2 l1 l 2 l1l2 l1 l 2 (4.130)
cek r1 rq h 1 h 2 hp
S = δ ...δ S δ ...δ sp ,
l 1 l2 k1 kq s1 l2 s2
cS r
e k = δ 1 ...δ S 1 δs 2 ...δhs p
r q h h
l l
1 2 k1 kq l1 s1 2 p
h ...h
with respect to the adapted (B,C)− frame of σSξ (Mn ), where (ΨS ξ)l11l2 k1 ...k
p
q
is
the Yano-Ako operator.
V V V
− ((LV S) V1 ◦ ξ) + ((L V S)V2 ◦ ξ) + ( S [V ,V ] ◦ ξ), ∀V1 ,V2 ∈ ℑ0 (Mn ),
2
∗
1 1 2
p
S(V A,c V2 ) =V (SV2 (A)), ∀A ∈ ℑq (Mn ),
∗
S(cV1 ,V B) =V (SV1 (B)), ∀B ∈ ℑqp (Mn ),
∗
S(V A,V B) = 0,
∗
then S =c S.
Remark 31. The equation (4.121) is useful extension of the equation c L(ια) =
p
ι(LV α), α ∈ ℑq (Mn ) (see Section 4.2) to tensor fields of type (1,2) along the
pure cross-section σSξ (Mn ).
Remark 32. Let T and Nϕ be a torsion tensor field of connection ∇ and the
Nijenhuis tensor field of ϕ ∈ ℑ11 (Mn ), respectively. From (4.130) we easily see
that the complete lifts c T and c Nϕ to Tqp (Mn ) along σξ (Mn )are zero if T and Nϕ
are zero in the base manifold Mn .
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Applications to the Theory of Lifts 173
h ...h
Remark 33. In the case of ∂m ξk11...kqp = 0, (B,C)−frame is considered as a nat-
ural frame {∂h , ∂eh } of σSξ (Mn ). Then, from (4.130) we obtain components of c S
along the pure-cross section
Sl1 l2 = Skl1 l2 , Se lk l =c Se kl l =c Se kl l = 0,
c k
1 2 1 2 1 2
cSe k = δr1 ...δrq Sh1 δh2 ...δh p ,c Se k = δr1 ...δrq Sh1 δh2 ...δh p ,
l 1 l2 k1 kq s1 l2 s2 sp l1 l 2 k1 kq l1 s1 s2 sp
q
c k h ...h h ...h h ...h
Sl1 l2 = ∂l1 (Sm 1 p m 1 p m 1 p
k1 l2 )ξmk2 ...kq + ∂l2 (Sl1 k1 )ξmk2 ...kq − ∑ (∂ka Sl1 l2 )ξk1 ...m...kq −
a=1
q q
hb hb h1 ...m...h p hc h h1 ...m...h p
− (∂
∑ l1 ml2
S − ∂ S )ξ
m l1 l2 k1 ...kq − ∑ l2 l1 m − ∂m Sl1cl2 )ξk1 ...kq .
(∂ S
b=1 c=1
with respect to natural frame {∂h , ∂eh } of σSξ (Mn ) in π−1 (U) [68].
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
References
[2] S. Aslanci, S. Kazimova and A.A. Salimov, Some notes concerning Rie-
mannian extensions, Ukrainian Math. J. 62(2010), 661-675.
[3] R.L. Bishop and B. O’Neill, Manifolds of negative curvature, Trans. Am.
Math. Soc. 145 (1969), 1-49.
[8] N. Cengiz and A.A. Salimov, Complete lifts of derivations to tensor bun-
dles, Bol. Soc. Mat. Mexicana. 8 (2002), 75-82.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
176 References
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
References 177
[23] O. Gil-Medrano and A.M. Naveira, Some remarks about the Riemannian
curvature operator of a Riemannian almost-product manifold, Rev. Roum.
Math. Pures Appl., 30 (1985), 647-658.
[24] W.B. Gordon, Convex functions and harmonic maps, Proc. Amer. Math.
Soc., 33 (1972), 433-437.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
178 References
[38] A.J. Ledger and K. Yano, Almost complex structures on tensor bundles,
J. Dif. Geom. 1 (1967), 355-368.
[39] A. Magden and A.A. Salimov, Horizontal lifts of tensor fields to sections
of the tangent bundle, Russian Math. (Iz. VUZ) 45 (2001), 73-76.
[41] A. Magden and A.A. Salimov, Complete lifts of tensor fields on a pure
cross-section in the tensor bundle, J. Geom. 93 (2009), 128-138.
[43] Y. Matsushita, Fields of 2-planes and two kinds of almost complex struc-
tures on compact four-dimensional manifolds, Math. Z., 207 (1991), 281-
291.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
References 179
[51] D. Mekerov, A connection with skew symmetric torsion and Kähler cur-
vature tensor on quasi-Kähler manifolds with Norden metric, C. R. Acad.
Bulgare Sci. 61 (2008), 1249-1256.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
180 References
[66] A.A. Salimov, Almost -holomorphic tensors and their properties, Russian
Acad. Sci. Dokl. Math. 45 (1992), 602-605.
[67] A.A. Salimov, A new method in the theory of liftings of tensor fields in a
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
[68] A.A. Salimov, Generalized Yano-Ako operator and the complete lift of
tensor fields, Tensor (N.S.) 55 (1994), 142-146.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
References 181
[74] A.A. Salimov and F. Agca, Some properties of Sasakian metrics in cotan-
gent bundles, Mediterr. J. Math. 8 (2011), 243-255
[78] A.A. Salimov and A. Gezer, On the geometry of the (1,1)-tensor bundle
with Sasaki type metric, Chin. Ann. Math. Ser. B 32 (2011), 369-386.
[83] A.A. Salimov, M. Iscan and K. Akbulut, Some remarks concerning hy-
perholomorphic B-manifolds, Chin. Ann. Math. Ser. B 29 (2008), 631-
340.
[86] A.A. Salimov and A. Magden, Complete lifts of tensor fields on a pure
cross-section in the tensor bundle, Note Mat. 18 (1998), 27-37.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
182 References
[88] I. Sato, Almost analytic tensor fields in almost complex manifolds, Ten-
sor (N.S.) 17 (1966), 105-119.
[93] A.P. Shirokov, On the question of pure tensors and invariant subspaces in
manifolds with almost algebraic structure. (Russian) Kazan. Gos. Univ.
Učen. Zap. 126 (1966), 81-89.
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
[94] A.P. Shirokov, Spaces over algebras and their applications, Geometry, 7.
J. Math. Sci. (New York) 108 (2002), 232-248.
[99] N.V. Talantova and A.P. Shirokov, A remark on a certain metric in the tan-
gent bundle, (Russian) Izv. Vysš. Učebn. Zaved. Matematika. 157 (1975),
143-146.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
References 183
[102] V.V. Vishnevskii, A certain class of spaces over plural algebras, (Russian)
Izv. Vysš. Učebn. Zaved. Matematika. 81 (1969), 14-22.
[107] V.V. Vishnevskii, A.P. Shirokov and V.V. Shurygin, (Russian) Spaces
over algebras, Kazanskii Gosudarstvennii Universitet, Kazan, 1985.
[108] V.V. Vishnevskii, Integrable affinor structures and their plural interpreta-
tions, Geometry, 7. J. Math. Sci. (New York), 108 (2002), 151-187.
[110] A.G. Walker, Canonical form for a Riemannian space with a paralel field
of null planes, Quart. J. Math. Oxford, 1 (1950), 69-79.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
184 References
[113] K. Yano and M. Ako, On certain operators associated with tensor fields,
Kodai Math. Sem. Rep. 20 (1968), 414-436.
[114] K. Yano and S. Ishihara, Tangent and cotangent bundles Differential ge-
ometry, Pure and Applied Mathematics, No. 16. Marcel Dekker, Inc.,
New York, 1973.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
Index
B-metrics, 70 Exact 1-form, 9
B-tensor, 70 Exterior di¤erentiation, 29
C-holomorphic, 51
'-connections, 18 Frobenius algebra, 42
'-structure, 46
' -operator, 4 Generalized Yano-Ako operator, 36
' ;' -operator, 22 Geodesic, 145
S -operator, 29 Goldberg conjecture, 102
' -operator, 15
S -operator, 32 Harmonic, 95
-structure, 46 Hessian, 89
-operator, 120 Hessian metric, 89
Adjoint operator, 2 Hybrid tensor, 70
Adapted frames, 46, 128 Hyperbolic, 108
Adapted (B,C)-frame, 126 Hypercomplex algebra, 40
Admissible, 48 Hypercomplex connection, 59
A…nor …elds, 2 Hypercomlex function, 43
Algebra of pracomplex numbers, 46 Hypercomplex structure, 47
Algebraic -structures on manifolds, Hypercomplex tensor, 57
Copyright © 2012. Nova Science Publishers, Incorporated. All rights reserved.
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.
186 Index
Paraholomorphic Cheeger-Gromoll
metric, 160 Vishnevskii operator, 15
Paraholomorphic, 81 Vranceanu space, 67
Proper almost complex structure, 94
Pseudo-Riemannian metric, 3 Walker metric, 93
Pure connections, 19 Warped product, 83
Pure curvature tensors, 64 Warping function, 83
Pure product, 4 Warped metric, 83
Pure tensor …elds of mixed kind, 21
Pure tensor …elds, 2 Yano-Ako Operators, 29
Salimov, Arif. Tensor Operators and their Applications, Nova Science Publishers, Incorporated, 2012. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unilu-ebooks/detail.action?docID=3022757.
Created from unilu-ebooks on 2023-10-16 21:16:26.