• 検索結果がありません。

of a Riemannian manifold

N/A
N/A
Protected

Academic year: 2022

シェア "of a Riemannian manifold"

Copied!
10
0
0

読み込み中.... (全文を見る)

全文

(1)

of a Riemannian manifold

Adara M. Blaga

Abstract.Properties of covariant connections defined on the generalized tangent bundle of a Riemannian manifold are established and their invari- ance with respect to generalized complex structures induced by aB-field transformation is discussed. The K¨ahler case is detailed. An extension of the notion of statistical structure to generalized geometry will be defined and a particular example will be given.

M.S.C. 2010: 53C05, 53D17, 70G45.

Key words: generalized complex manifold;B-field transformation; dual connections;

almost K¨ahler structure.

1 Introduction

Generalized complex geometry represents a larger framework, containing both sym- plectic and complex geometry. Generalized complex structures were defined by N.

Hitchin [4] and M. Gualtieri who developed Hitchin’s ideas in his Ph.D. thesis [3].

The idea is to pass from the tangent and cotangent bundles of a smooth manifoldM to the generalized tangent bundleT M⊕TM. M. Gualtieri proved that a symplectic or a complex structure on M induces a generalized complex structure, but not any generalized complex structure can be derived from a symplectic or a complex one.

Precisely, ifω (respectively,J) is a symplectic (respectively, a complex) structure on M, then

Jω:=

µ0 −ω−1

ω 0

[respectively, JJ:=

µJ 0 0 −J

¶ ]

is a generalized complex structure, called of symplectic (respectively, of complex) type.

Examples of generalized complex structures which don’t derive from a symplectic or a complex one can be found in [3].

In what follows, we shall define two operators having properties of covariant con- nections (and shall call them also covariant connections) on the generalized tangent bundle and prove invariance properties of these connections depending on the addi- tional structure of the manifold.

Balkan Journal of Geometry and Its Applications, Vol.16, No.1, 2011, pp. 27-36.

°c Balkan Society of Geometers, Geometry Balkan Press 2011.

(2)

The Courant bracket defined on smooth sections ofT M⊕TM generalizes the Lie bracket on vector fields. A specific property of the Courant bracket is that it admits other symmetries besides the diffeomorphisms, namely, theB-field transformations.

In the present paper, we shall use a different bracket [5] on smooth sections of the generalized tangent bundle and find conditions on the 2-form B such that B-field transformations to constitute symmetries for it (see Proposition 3.1).

For the case when the generalized complex structure is of complex type,JJ, using theB-field transformationeB:=

µ1 0 B 1

[whereBis viewed as a map from Γ(T M) to Γ(TM)], we shall prove that, under certain assumptions, the connections defined are invariant with respect to the new generalized complex structure (JJ)B :=eBJJe−B obtained fromJJ. The same for the case when the generalized complex structure is of symplectic type.

2 Invariant connections on T M T

M

The notion ofdual connectionsoften appears in the context of statistical mathematics, giving rise todual statistical manifolds.

Let and 0 be dual connections on the Riemannian manifold (M, g) [that is, X(g(Y, Z)) =g(∇XY, Z) +g(Y,∇0XZ), for anyX,Y,Z∈Γ(T M)] and consider their extensions:

˜ : Γ(T M)×Γ(TM)Γ(TM), ( ˜Xα)(Y) :=X(α(Y))−α(∇XY) and ¯ : Γ(TM)×Γ(TM)Γ(TM), ¯αβ:= ˜β,

where]is the inverse of the isomorphism[(X) :=iXg,X Γ(T M).

Define now ˆand ˇ two connections onS:={X+α∈Γ(T M⊕TM) :iXg= α}, respectively, by the relations

ˆX+αY +β:=XY + ¯0αβ, ˇX+αY +β :=0XY + ¯αβ.

An invariance property of these connections with respect to the generalized com- plex structures of symplectic and respectively, of complex type, is given by the fol- lowing theorem:

Theorem 2.1. 1. IfJ is a complex structure on the Riemannian manifold(M, g) such thatJJ(S)⊂ S and∇ and∇0 are J-invariant, then JJˆ = ˆJJ and JJˇ = ˇJJ, where JJ :=

µJ 0 0 −J

is the generalized complex structure induced byJ;

2. Ifωis a symplectic form on the Riemannian manifold(M, g)such thatJω(S) S andω is∇- and 0-parallel, then Jωˆ= ˇJω andJωˇ= ˆJω, where Jω:=

µ0 −ω−1

ω 0

is the generalized complex structure induced by ω.

Proof. LetX+α,Y +β∈ S. Then

(3)

1.

JJ( ˆX+αY +β) := JJ(∇XY + ¯0αβ) := J(∇XY)−J( ¯0αβ)

= XJY −∇¯0αJβ := ˆX+αJJ(Y +β).

Similarly for ˇ; 2.

Jω( ˆX+αY +β) := Jω(∇XY + ¯0αβ) := −ω−1( ¯0αβ) +ω(∇XY),

ˇX+αJω(Y +β) := ˇX+α(−ω−1(β) +ω(Y)) := 0X(−ω−1(β)) + ¯αω(Y).

Letω−1( ¯0αβ) =:Z. Then ¯∇0αβ=ω(Z) and for anyW Γ(T M), ( ¯0αβ)(W) = ω(Z, W) equivalentX(β(W))−β(∇0XW) =ω(Z, W). Butω(∇0X−1(β)), W) :=

−(∇0ω)(X, ω−1(β), W) + X(ω(ω−1(β), W)) ω(ω−1(β),0XW) =

−(∇0ω)(X, ω−1(β), W) + X(β(W))−β(∇0XW). For 0ω = 0 follows Z =

0X−1(β)).

Also notice that for anyW Γ(T M), (ω(∇XY))(W) = ω(∇XY, W)

:= −(∇ω)(X, Y, W) +X(ω(Y, W))−ω(Y,∇XW)

= −(∇ω)(X, Y, W) +X((ω(Y))(W))−ω(Y)(∇XW) := −(∇ω)(X, Y, W) + ( ¯αω(Y))(W).

For∇ω= 0 followsω(∇XY) = ¯αω(Y).

Similarly for the other relation.

¤

3 Invariance under a B-field transformation

LetB be a 2-form and a flat connection onM. Consider the bracket [X+α, Y + β] := [X, Y] + ˜Xβ −∇˜Yα [5] and the B-field transformation eB :=

µ1 0 B 1

¶ . Besides the diffeomorphisms, the bracket [·,·] has theseB-field transformations as symmetries, if we require forB to satisfy a certain property, stated in the following proposition:

Proposition 3.1. A necessary and sufficient condition for theB-field transformation to be a symmetry of[·,·] is to satisfy

B(T(X, Y), Z) = (∇B)(Y, X, Z)(∇B)(X, Y, Z), for anyX,Y,Z Γ(T M).

(4)

Proof. LetX,Y Γ(T M) andα,β∈Γ(TM). Then

eB([X+α, Y +β]) := eB([X, Y] + ˜Xβ−∇˜Yα)

:= [X, Y] +B([X, Y]) + ˜Xβ−∇˜Yα and

[eB(X+α), eB(Y +β)] := [X+B(X) +α, Y +B(Y) +β]

:= [X, Y] + ˜X(B(Y) +β)−∇˜Y(B(X) +α)

= [X, Y] + ˜X(B(Y))−∇˜Y(B(X)) + ˜Xβ−∇˜Yα.

But for anyZ∈Γ(T M)

( ˜X(B(Y)))(Z) ( ˜Y(B(X)))(Z)

:= X(B(Y, Z))−B(Y,∇XZ)−Y(B(X, Z)) +B(X,∇YZ) := (∇B)(X, Y, Z) +B(∇XY, Z)

(∇B)(Y, X, Z)−B(∇YX, Z)

= (∇B)(X, Y, Z)(∇B)(Y, X, Z) + B(T(X, Y), Z) +B([X, Y], Z)

and therefore (∇B)(X, Y, Z)(∇B)(Y, X, Z) +B(T(X, Y), Z) = 0, for anyX,Y,

Z∈Γ(T M). ¤

Theorem 3.2. If J is a complex structure on the Riemannian manifold(M, g)such that (JJ)B(S) ⊂ S, and 0 are J-invariant and B satisfies (∇0B)(X, JY, Z) =

−(∇0B)(X, Y, JZ), for any X, Y, Z Γ(T M) [respectively, (∇B)(X, JY, Z) =

−(∇B)(X, Y, JZ), for any X,Y, Z Γ(T M)], then (JJ)Bˆ = ˆ(JJ)B [respec- tively, (JJ)Bˇ = ˇ(JJ)B], where (JJ)B := eBJJe−B, for JJ =

µJ 0 0 −J

the generalized complex structure induced byJ.

Proof. We have (JJ)B=

µ J 0

BJ+JB −J

¶ . LetX+α,Y +β∈ S. Then

(JJ)B( ˆX+αY +β) := (JJ)B(∇XY + ¯0αβ)

:= J(∇XY) + [B(J(∇0XY)) +J(B(∇0XY))−J( ¯0αβ)]

= XJY + [B(∇0XJY) +J(B(∇0XY))−∇¯0αJβ] and respectively,

ˆX+α(JJ)B(Y +β) := ˆX+α(JY +B(JY) +J(B(Y))−Jβ) := XJY + ¯0α[B(JY) +J(B(Y))−Jβ].

But for anyZ∈Γ(T M)

B(∇0XJY, Z) + (J(B(∇0XY)))(Z) :=B(∇0XJY, Z) +B(∇0XY, JZ)

(5)

and

( ¯0α[B(JY) +J(B(Y))])(Z) := X(B(JY, Z) +B(Y, JZ))

B(JY,∇0XZ)−B(Y, J(∇0XZ)) := (∇0B)(X, JY, Z) +B(∇0XJY, Z)

+ (∇0B)(X, Y, JZ) +B(∇0XY, JZ)

from where we get the required relation. ¤

The next theorem gives the condition which should be satisfied by the connection

(if we take0=∇) and by the 2-formB such that the connection ˆX+αY +β :=

XY + ¯αβ to be (Jω)B-invariant, where (Jω)B:=eBJωe−B.

Theorem 3.3. If ω is a symplectic form on the Riemannian manifold(M, g) such that (Jω)B(S)⊂ S and ω and B are ∇-parallel, then (Jω)Bˆ = ˆ(Jω)B, where (Jω)B:=eBJωe−B, forJω=

µ0 −ω−1

ω 0

the generalized complex structure induced byω.

Proof. We have (Jω)B=

µ ω−1B −ω−1 ω+−1B −Bω−1

¶ . Let ¯X:=X+α, ¯Y :=Y +β ∈ S. Then (Jω)B( ˆX¯Y¯) := (Jω)B(∇XY + ¯αβ)

:= ω−1(B((∇XY))−∇¯αβ) +ω(∇XY) +B(ω−1(B(∇XY)−∇¯αβ)) and respectively,

ˆX¯(Jω)BY¯ := ˆX+α−1(B(Y)−β) +ω(Y) +B(ω−1(B(Y))−B(ω−1(β)))) := X−1(B(Y)−β)) + ¯∇α[ω(Y) +B(ω−1(B(Y)−β))].

But for anyZ∈Γ(T M), according to the computations from Theorem 2.1 ω(∇X−1(B(Y)−β)), Z) = −(∇ω)(X, ω−1(B(Y)−β), Z)

+ X((B(Y)−β)(Z))−(B(Y)−β)(∇XZ)

= X((B(Y))−X(β(Z))−B(Y,∇XZ) +β(∇XZ) := (∇B)(X, Y, Z) +B(∇XY, Z)−X(β(Z)) +β(∇XZ)

= B(∇XY, Z)−X(β(Z)) +β(∇XZ).

On the other hand,

B(∇XY, Z)( ¯αβ)(Z) :=B(∇XY, Z)−X(β(Z)) +β(∇XZ).

Let us notice that for anyZ Γ(T M) ( ¯α[ω(Y) + B(ω−1(B(Y)−β))])(Z)

:= (∇ω)(X, Y, Z) +ω(∇XY, Z) +X(B(ω−1(B(Y)−β), Z))

B(ω−1(B(Y)−β),∇XZ)

= ω(∇XY, Z) +X(B(ω−1(B(Y)−β), Z))

B(ω−1(B(Y)−β),∇XZ).

(6)

But

X(B(ω−1(B(Y)−β), Z)) B(ω−1(B(Y)−β),XZ) := (∇B)(X, ω−1(B(Y)−β), Z)

+ B(∇X−1(B(Y)−β)), Z)

= B(∇X−1(B(Y)−β)), Z)

= B(ω−1(B(∇XY)−∇¯αβ), Z).

¤

4 K¨ ahler case

We shall consider now the K¨ahler case. Recall that (M, J, g) is aHermitian manifold ifM is a smooth manifold, J a complex structure andg a Riemannian metric onM such that g(JX, JY) = g(X, Y), for any X, Y Γ(T M). We say that (M, J, g) is K¨ahler manifoldif it is Hermitian manifold such that the Levi-Civita connection associated togsatisfies∇J = 0 and the 2-formω(X, Y) :=g(X, JY) is closed. First, remark the next two results stated in the following lemma:

Lemma 4.1. If∇ and∇0 are dual connections on the Riemannian manifold(M, g), then:

1. g(T(X, Y), Z) = g(T0(X, Y), Z) + (∇0g)(X, Y, Z)−(∇0g)(Y, X, Z), for any X,Y,Z Γ(T M);

2. ∇g= 0 if and only if∇0g= 0.

Proof. From the compatibility condition of and0 follows 1.

g(T(X, Y), Z) := g(∇XY − ∇YX−[X, Y], Z)

= X(g(Y, Z))−g(Y,∇0XZ)−Y(g(X, Z)) +g(X,∇0YZ) + g(T0(X, Y)− ∇0XY − ∇0YX, Z)

:= g(T0(X, Y), Z) + (∇0g)(X, Y, Z)−(∇0g)(Y, X, Z), for anyX,Y,Z∈Γ(T M);

2.

(∇0g)(X, Y, Z) := X(g(Y, Z))−g(∇0XY, Z)−g(Y,∇0XZ) := X(g(Y, Z))−X(g(Z, Y)) +g(∇XZ, Y)

X(g(Y, Z)) +g(∇XY, Z) := −(∇g)(X, Y, Z),

for anyX,Y,Z∈Γ(T M).

¤

(7)

If (M, J, g) is a K¨ahler manifold, and0 is a dual connection of the Levi-Civita connectionassociated tog, then from the previous lemma follows that∇0 ≡ ∇and therefore ˆX+αY +β :=XY + ¯αβ.

Corollary 4.2. Assume that(M, J, g, ω)is K¨ahler manifold and∇is the Levi-Civita connection associated tog. Then:

1. (a) JJˆ= ˆJJ, whereJJ :=

µJ 0 0 −J

is the generalized complex struc- ture induced byJ;

(b) Jωˆ= ˆJω, whereJω:=

µ0 −ω−1

ω 0

is the generalized complex struc- ture induced byω;

2. for B a 2-form on M and eB :=

µ1 0 B 1

the correspondingB-field transfor- mation

(a) if B satisfies (∇B)(X, JY, Z) = −(∇B)(X, Y, JZ), for any X, Y, Z Γ(T M), then(JJ)Bˆ= ˆ(JJ)B, where(JJ)B :=eBJJe−B;

(b) ifB is∇-parallel, then(Jω)Bˆ= ˆ(Jω)B, where (Jω)B:=eBJωe−B.

Proof. Follows from Theorems 3.3 and 3.2. ¤

For (M, J, g, ω) a K¨ahler manifold, the two generalized complex structures (JJ,Jω) form ageneralized K¨ahler structure(i.e. a pair (J1, J2) of commuting generalized com- plex structures such that G := −J1J2 is a positive defined metric on T M ⊕TM, called generalized K¨ahler metric [3]). In our case, G =

µ0 g−1 g 0

and moreover, ((JJ)B,(Jω)B) is also generalized K¨ahler structure with the corresponding general- ized K¨ahler metricGB:=−(JJ)B(Jω)B =

µ −g−1B g−1 g−Bg−1B Bg−1

¶ .

It was proved [3] that any generalized K¨ahler metric is uniquely determined by a Riemannian metricg and a 2-formB and its torsion is the 3-form h=dB.

For the case when a pair (J1, J2) of almost complex structures anticommutes, V.

Oproiu constructed a family of almost hyper-complex structures onT Mand proved [6]

that if (M, J, g) is a K¨ahler manifold and the almost hyper-complex structure defined by (J1, J2) is integrable, then M has constant sectional curvature (see Proposition 4 from [6]). He also proved that if the natural Riemannian metric on T M induced byg is almost Hermitian with respect to the almost complex structures J1 and J2, then the induced hyper-complex structure is hyper-K¨ahler if and only ifJ1andJ2are integrable (see Theorem 5 from [6]). A similar condition for a natural lifted Hermitian structure onTM to be K¨ahler was given by S.-L. Drut¸˘a [2].

5 A generalized statistical structure

Statistical manifoldsare pseudo-Riemannian manifolds (M, g) with an affine symmet- ric connection such that the tensor ∇g is symmetric. Statistical structures play an important role in statistical physics, in neural networks etc. A class of statistical

(8)

manifolds is made ofHessian manifoldsstudied by H. Shima [7], [8], C. Udri¸ste and G. Bercu [9] etc., which are statistical manifolds having constant curvature 0.

Extending the notion of statistical manifold in the context of the generalized geom- etry, we shall call (∇, g)generalized statistical structureifis a torsion free connec- tion such that the metricgonT M⊕TM is-parallel, whereg(X+α, Y +β) :=

12 (α(Y) +β(X)), for X +α, Y +β Γ(T M ⊕TM). An example of generalized statistical structure will be given in Theorem 5.3.

The next propositions relates the two affine connections ˆand ˇto the metric g.

Proposition 5.1. The connections ˆ and ˇ are compatible with the metric g, whereg(X+α, Y +β) := 12(α(Y) +β(X)).

Proof. LetX+α,Y +β,Z+γ∈ S. Then

g( ˆX+αY +β, Z+γ) + g(Y +β,∇ˇX+αZ+γ)

:= g(∇XY + ¯0αβ, Z+γ) +g(Y +β,∇0XZ+ ¯αγ) := 1

2[( ¯0αβ)(Z) +γ(∇XY)] +1

2[β(∇0XZ) + ( ¯∇αγ)(Y)]

:= 1

2[X(β(Z))−β(∇0XZ) +γ(∇XY) + β(∇0XZ) +X(γ(Y))−γ(∇XY)]

:= X(g(Y +β, Z+γ)).

¤

Proposition 5.2. For anyX+α,Y +β,Z+γ∈ S,

( ˆg)(X+α, Y +β, Z+γ) =−( ˇ∇g)(X+α, Y +β, Z+γ) =

=1

2[(∇g)(X, Y, Z)(∇0g)(X, Y, Z)].

In particular, if∇=0, theng is∇ˆ-parallel.

(9)

Proof. LetX+α,Y +β,Z+γ∈ S. Then

( ˆg)(X+α, Y +β, Z+γ) := X(g(Y +β, Z+γ))−g( ˆX+αY +β, Z+γ)

g(Y +β,∇ˆX+αZ+γ) := 1

2[X(β(Z) +γ(Y))]1

2[( ¯0αβ)(Z) +γ(∇XY) + β(∇XZ) + ( ¯∇0αγ)(Y)]

:= 1

2[X(β(Z)) +X(γ(Y))−X(β(Z)) +β(∇0XZ)

γ(∇XY)−β(∇XZ)−X(γ(Y)) +γ(∇0XY)]

= 1

2[g(Y,0XZ− ∇XZ) +g(Z,∇0XY − ∇XY)]

:= 1

2[X(g(Y, Z))(∇0g)(X, Y, Z)−X(g(Y, Z)) + (∇g)(X, Y, Z)]

= 1

2[(∇g)(X, Y, Z)(∇0g)(X, Y, Z)].

Similarly for ˇg. ¤

For0 flat connection, consider the bracket [5]

[X+α, Y +β]0 := [X, Y] + ˜0Xβ−∇˜0Yα.

According to Lemma 2 from [1], we have Tˆ(X +α, Y +β) = T(X, Y), for any X +α, Y +β ∈ S. Similarly, for flat connection, considering the bracket [X+α, Y+β]:= [X, Y] + ˜Xβ−∇˜Yα, we obtainTˇ(X+α, Y +β) =T0(X, Y), for anyX+α,Y +β ∈ S.

Takethe Levi-Civita connection on the Riemannian manifold (M, g) and ˆX+αY+ β:=XY + ¯αβ.

Theorem 5.3. Assume that the Levi-Civita connection∇ associated to the Rieman- nian metricgonM is flat. Then, considering the bracket[·,·]defined above,( ˆ, g) is a generalized statistical structure.

Proof. Follows from Proposition 5.2 and the above considerations. ¤

References

[1] Blaga, A. M.,Connections on almost complex manifolds, to appear.

[2] Drut¸˘a, S.-L., K¨ahler-Einstein structures of general natural lifted type on the cotangent bundles, Balkan J. Geom. Appl., vol. 14, no. 1 (2009), 30-39.

[3] Gualtieri, M.,Generalized Complex Geometry, Ph.D. Thesis, Oxford University, arXiv: math.DG/0401221 (2003).

[4] Hitchin, N.,Generalized Calabi-Yau manifolds, Q. J. Math., 54 (2003), 281-308.

[5] Nannicini, A.,Calibrated complex structures on the generalized tangent bundle of a Riemannian manifold, J. Geom. Phys., 56 (2006), 903-916.

(10)

[6] Oproiu, V.,Hyper-K¨ahler structures on the tangent bundle of a K¨ahler manifold, Balkan J. Geom. Appl., vol. 15, no. 1 (2010), 104-119.

[7] Shima, H.,Compact locally Hessian manifolds, Osaka J. Math., 15 (1978), 509- 513.

[8] Shima, H.,The Geometry of Hessian Structures, World Sci. Publ. (2007).

[9] Udri¸ste, C., Bercu, G., Riemannian Hessian metrics, An. Univ. Bucure¸sti, Matematic˘a, an LIV (2005), 189-204.

Author’s address:

Adara M. Blaga

Department of Mathematics and Computer Science, West University of Timi¸soara,

Bld. V. Pˆarvan nr. 4, 300223 Timi¸soara, Romˆania.

E-mail: [email protected]

参照

関連したドキュメント

Abstract: In [7], it is proved that all g-natural metrics on tangent bundles of m-dimensional Riemannian manifolds depend on arbitrary smooth functions on positive real numbers,

In Section 4, we consider lightlike hypersurfaces of a semi-Riemannian product manifold with quarter- symmetric nonmetric connection determined by the product structure.. We compute

This paper studies functionals defined by multiple integrals as- sociated to differential forms on the jet bundle of first order corresponding to some Riemannian manifolds; the

Let M n be an n-dimensional maximal spacelike submanifold with parallel second fundamental form in an (n+p)-dimensional pseudo-Riemannian quasi constant curvature manifold N p n+p..

A function given on the tangent bundle of a manifold is said to be holonomy invariant if there is a covariant derivative on the manifold whose parallel translations preserve

We define the Liouville distribution on the tangent bundle of a pseudo-Finsler manifold and prove that it is integrable.. Also, we find geometric properties of both leaves of

The results from [10] and [11] concerning the natural lifts, and the classification of the natural vector fields on the tangent bundle of a pseudo-Riemannian manifold, made by Janyˇ

FIBERING IN A FOLIATED RIEMANNIAN MANIFOLD        BY