Professional Documents
Culture Documents
CUZA IAS
I
Tomul XLIII, s.I.a, Matematic
a, 1997, f1.
BY
(X, Y ) = g(JX, Y ) , X, Y X (M )
g(Ai , Uj ) = ij ; i, j = 1, . . . , n
In order to get the characteristic conditions for each of the 136 essen-
tially different classes, consider the following 8 properties:
(1) S (A )(B, C) = 0 , A, B, C V
(A,B,C)
(2) A A V , A V
n
X
(4) (Ai )(Ui , U ) = 0 , U H, where {Ai , Ui }i=1,...,n is a l.a.f.
i=1
(5) S (U )(V, W ) = 0 , U, V, W H
(U,V,W )
(6) U U H , U H
n
X
(8) (Ui )(Ai , A) = 0 , A V, where {Ai , Ui }i=1,...,n is a l.a.f.
i=1
i
= i Nij
q q pj
The functions Nij = Nij (q, p); i, j = 1, . . . , n, are the connection coef-
ficients of the considered connection in the induced local chart
( 1 (U ), (q, p)). We shall assume Nij = Nji , i.e. the considered connection
is symmetric (there always exists a symmetric connection on T M ). Then:
(9) , j = ijk ; i
, j = Rkij
pi q pk q q pk
where:
(10) S Rijk = 0
(i,j,k)
is obvious, where, just like above, S denotes the sum consisting of three
(i,j,k)
terms, obtained by cyclic permutations of i, j, k.
5 PARAHERMITIAN STRUCTURES ON COTANGENT BUNDLES 11
(12) ei = 0 ,
ei = 0 ,
e i = j ,
j ik
pj q pj pk
e i = kij + Rijk
q j q k pk
where we have denoted:
ei =
, i = .
e e e
pi q i
i i
(13) = 0 , j = 0 , i = jik , i j = kij k .
pj q pj pk q q
i hjk
(14) hjk = i hjk , i hjk = lij hlk lik hjl .
q i
i
The components hjk define an M tensor field of type (1, 2) and the
components i hjk define an M tensor field of type (0, 3) on T M.
Consider the almost product structure P on T M , determined by the
splitting T T M = V T M HT M where V = V T M, H = HT M i.e.:
(15) P( )= ; P( i) = i
pi pi q q
12 V. OPROIU, N. PAPAGHIUC, G. MITRIC 6
= dpi dq i
e i )( e i )( , ) =
e i )( , ) = (
(17) ( , ) = ( k
pj pk pj q q j q k
e i )( , ) = 2Rijk .
= (
e i )( , ) = 0 , (
pj pk q j q k
Next, it can be checked that all but 6) conditions in section 2 are fullfilled.
Thus:
Theorem 1. The almost parahermitian manifold (T M, G, P ) is in the
class W6 (or (T M, G, P ) is an almost parakaehlerian manifold, according
to the terminology from [3]).
Remark. If we consider the almost product structure P = P on
T M with V = HT M and H = HT M, it follows easily that (T M, G, P )
is an almost parahermitian manifold in the class W2 (or a (+)almost
parakaehlerian manifold).
From the above considerations it follows that the almost parahermi-
tian manifold (T M, G, P ) is parakaehlerian if and only if Rijk = 0, i.e.
the horizontal distribution HT M is involutive. In the following we shall
get some classes of manifolds whose cotangent bundles carry parakaehlerian
structures.
Firstly, let (M, g) be a (pseudo-)Riemannian manifold with gij the local
coordinate components of the metric tensor field g in the local chart (U, x).
Denote by the Levi Civita connection of (M, g) and let kij be its connec-
tions coefficients in the local chart (U, x) (i.e. kij are the usual Christoffel
7 PARAHERMITIAN STRUCTURES ON COTANGENT BUNDLES 13
h
(19) Rijk = a(jh gik kh gij )
h
where Rijk are the components of the curvature tensor field of . But the
condition (19) is just the condition for (M, g) to have constant sectional
curvature a. Thus:
Theorem 2. Let (M, g) be a (pseudo-)Riemannian space. The almost
parahermitian manifold (T M, G, P ) defined by the connection given in (18)
is parakaehlerian if and only if (M, g) has constant sectional curvature a.
Another parakaehlerian structures on the cotangent bundles can be
obtained in the cases of the Kaehler and quaternion Kaehler manifolds.
Let (M, g, F ) be a Kaehler manifold with the Riemannian metric g and
the almost complex structure defined by the tensor field F of type (1,1) such
that F 2 = I, g(F X, F Y ) = g(X, Y ). If is the Levi Civita connection of
(M, g) then we have F = 0. Consider the following (nonlinear) connection
on the cotangent bundle T M of the Kaehler manifold (M, g, F ) :
h
(21) Rkij = a{ih gjk jh gik Fih gjl Fkl + Fjh gil Fkl + 2gil Fjl Fkh }.
This is just the condition for the Kaehler manifold (M, g, F ) to have
constant holomorphic curvature 4a. Thus:
Theorem 3. Let (M, g, F ) be a Kaehler manifold. The almost para-
hermitian manifold (T M, G, P ) defined by the connection given in (20) is
parakaehlerian if and only if (M, g, F ) has constant holomorphic sectional
curvature 4a.
Consider now (M, g, D) a quaternion Kaehler manifold. Then M is a
4mdimensional manifold, D is a subbundle with fibre dimension 3 in the
14 V. OPROIU, N. PAPAGHIUC, G. MITRIC 8
F2 = I , F F = F F = F
g(F X, F Y ) = g(X, Y ) ; X, Y X (M ) , = 1, 2, 3
3
X
(22) Nij = kij pk + gij + a{pi pj (F )ki (F )lj pk pl }
=1
i.e.hik hjk = ij . It follows that the components hij define an M tensor field
of type (2,0) on T M. Assume that on T M it is given a symmetric (nonlin-
ear) connection defined by the connection coefficients Nij and consider the
automorphism J of T T M expressed in local adapted frames by:
(24) J( i
) = hik , J( ) = hik k .
q pk pi q
Thus:
Proposition 6. (T M, G, J) is an almost parahermitian manifold.
We shall find the eigen distributions V, H of J on T M by writing
down the local vector fields on T M defining an adapted local frame. A
local frame for V can be given by:
1
Ai = ( hik k )
2 pi q
1
Ui = ( i hik )
2 q pk
1 1
i = (Ai + hik Uk ) , i = (Ui + hik Ak ).
2 2
16 V. OPROIU, N. PAPAGHIUC, G. MITRIC 10
1
Hijk = (hil l hjk i hjk + Rijk ),
2 2
1
K ijk = ( i hjk + hil l hjk hia hjb hkc Rabc ).
2 2
These M tensor fields are related by the following relations:
2
Hijk + i hjk = hia hjb hkc K abc ,
2
ijk 2 il
K h l hjk = Habc hia hjb hkc .
2
Then we get by a straightforward computation:
e Ai )(Aj , Ak ) = 2K ijk , (
( e Ai )(Aj , Uk ) = 0,
il 2 i
(
e Ai )(Uj , Uk ) = 2(h Hljk + hjk ),
2
e U )(Aj , Ak ) = 2(hil K ljk + 2
( i
hil l hjk ),
2
11 PARAHERMITIAN STRUCTURES ON COTANGENT BUNDLES 17
e U )(Uj , Ak ) = 0 , (
( e U )(Uj , Uk ) = 2Hijk .
i i
+hlh l hhj hlh Rlhj ) hij ( l hlk + hlh l hhk hlh Rlhk )},
hlh l hhj hlh Rlhj ) hij ( l hlk hlh l hhk hlh Rlhk )},
where bij (q) are the components of a symmetric tensor field of type (0, 2)
on M and is a real constant.
Then we get easily the components ijk of the M connection defined
by Nij and the covariant derivative of the M tensor field hjk with respect
to :
hjk
ijk = ijk i cjk ; i hjk = + lih pl h hjk lij hlk lik hjl .
q i
h
(28) Rkij = ph Rkij + i cjk j cik cih h cjk + cjh h cik
h
where Rkij denotes the components of the curvature tensor of the linear
connection on M . Finally, we have:
0 l l
(30) S i hjk = S i hjk ; i hjk = i ajk + ((i k )j (i j )k )pl
(i,j,k) (i,j,k)
1
(31) i cjk = i bjk ; hij = aij + aik ajh (pk h ph k )
( 1)
i0 = + lij pl ; = akh k ph .
q i pj
and respectively
l
(35) Rijk + (bij kl bik jl ) + 3(aij kl aik jl 2ajk il ) + 3i k jl
(36) =0
and the corresponding of the condition (vi) from Proposition 7 are obtained
from (34)-(36) by changing aij with aij and i with i . Hence we may
state:
d = .
||
where c = . Then M is a locally conformal Kaehler manifold if and only
2
if 1 F = 0 (see [ 7 ]). A locally conformal Kaehler manifold is called a
PKmanifold if its Lee form is parallel with respect to the connection .
Then, if M is a PKmanifold, we have that c is constant and
1 1
i j = 0 ; i j = c(2i j gij ) ; i jk = 2cjk i .
1
Nij = kij pk c(i pj + j pi )
1
h
(39) Rijk = Rijk ph + c2 (i k pj i j pk + gij pk gik pj )
1
h
where Rijk denotes the components of the curvature tensor of the connection
1
on M .
1
h
A PKmanifold M is said to be a P0 Kmanifold if Rijk = 0. Suppose
that M is a P0 Kmanifold. Then, by using (37), (38) and (39) we get that
the conditions (iii),(v) and (vi) from Proposition 7 are satisfied. Hence, we
have:
15 PARAHERMITIAN STRUCTURES ON COTANGENT BUNDLES 21
hij = ij c(j pi i pj )
and the same pseudo-Riemannian metric G as above, we get that the con-
ditions (i), (ii) and (vii) from Proposition 7 are satisfied. Hence we have:
Theorem 10. Let (M, g, F ) be a P0 Kmanifold. Then (T M, G, J)
is a W3 W4 W5 W6 W8 manifold.
Consider now the particular case where (M, g, F ) is a Kaehler manifold
and denote by the Levi Civita connection on M with its coefficients kij .
Denote by hij the components of the fundamental 2form on M, i.e.
and let J be the almost product structure on T M defined by (24) with hij
given above. On T M consider the (nonlinear) connection defined by the
coefficients
Nij = kij pk + a(Fik pk pj + Fjk pk pi )
where a is a real constant and denote by G the pseudo-Riemannian met-
ric on T M defined by (11) with Nij given above. By a straightforward
computation we get:
0
h
(40) i hjk = Rijk ph
0
h
where Rijk denotes the components of the curvature tensor of a Kaehler
manifold of constant holomorphic sectional curvature 4a. On the other
hand, by direct computation we obtain:
h
(41) Rijk = Rijk ph
h
where Rijk are the components of the curvature tensor of the Levi Civita
connection on M . Then, by using (40), (41) and Proposition 7 we have:
Theorem 11. Let (M, g, F ) be a Kaehler manifold of constant holo-
morphic sectional curvature k and let (T M, G, J) be the almost paraher-
mitian manifold with G and J defined above. Then we have: (i) if k =
4a6=0, then (T M, G, J) is a W2 W7 W8 manifold. (ii) if k = 4a6=0,
22 V. OPROIU, N. PAPAGHIUC, G. MITRIC 16
REFERENCES