Curvatures of Tangent Hyperquadric Bundles - Google Sites

.

.

.

...

.

Curvatures of Tangent Hyperquadric Bundles Takamichi Satoh Tohoku University

August 31, 2010 Joint work with Masami Sekizawa Takamichi Satoh (Tohoku Univ.)

Tangent Hyperquadric Bundles

August 31, 2010

1 / 24

Introducton

Introduction

Takamichi Satoh (Tohoku Univ.)


August 31, 2010

2 / 24

Introducton

THB

(M, g): pseudo-Riemannian manifold g¯: Sasaki metric on the tangent bundle T M over M Let r > 0, = ±1. The tangent hyperquadric bundle (THB) of radius r over (M, g) is { } Tr M := (x, u) ∈ T M | gx (u, u) = r2 . We induce a pseudo-Riemannian metric g˜r on Tr M from the Sasaki metric g¯. e g r )(x,u) : scalar curvature of THB at (x, u) ∈ T M. Sc(˜ r



August 31, 2010

3 / 24

Introducton

THB




August 31, 2010

3 / 24

Introducton

THB




August 31, 2010

3 / 24

Introducton

THB




August 31, 2010

3 / 24

Introducton

theorem 1

e g r )(x,u) > 0 if = 1, Sc(˜ e g r )(x,u) < 0 if = −1. ... Sc(˜ . e g r )(x,u) : scalar curvature of THB at (x, u) ∈ Tr M. Sc(˜



August 31, 2010

.

. . 1 .Theorem . (M, g), dim M ≥ 3 be a pseudo-Riemannian manifold with bounded sectional curvature. =⇒ For each sufficiently small r > 0,

4 / 24

Introducton

Theorem 2

e g r )(x,u) < 0 if = 1, Sc(˜ e g r )(x,u) > 0 if = −1. ... Sc(˜ . e g r )(x,u) : scalar curvature of THB at (x, u) ∈ T M. Sc(˜

.

. . 2 .Theorem . (M, g), dim M ≥ 2 be a pseudo-Riemannian manifold of constant sectional curvature c 6= 0. =⇒ For each sufficiently large r > 0,

r



August 31, 2010

5 / 24

Introducton

Corollary

.

Combining above results, we obtain the following. . . Corollary .. (M, g), dim M ≥ 3 be a pseudo-Riemannian manifold of constant sectional curvature c 6= 0. e g r ) ≡ c˜. ∀˜ c ∈ R, ∃r > 0 s.t. Sc(˜ ..=⇒ . . e g r )(x,u) : scalar curvature of THB at (x, u) ∈ Tr M. Sc(˜



August 31, 2010

6 / 24

Definition of THB

Definition of THB



August 31, 2010

7 / 24

Definition of THB

THB

where ...

Tr−1 M = ∅ Tr+1 M = ∅

if g is positive definite, if g is negative definite.

.

.

(M, g) : pseudo-Riemannian manifold . . .Definition . Let r > 0. The tangent hyperquadric bundle (THB) of radius r over (M, g) is defined by } { Tr M := (x, u) ∈ T M | gx (u, u) = r2

g is positive definite =⇒ Tr M = Tr M. Takamichi Satoh (Tohoku Univ.)


August 31, 2010

8 / 24

Definition of THB

THB

where ...

Tr−1 M = ∅ Tr+1 M = ∅

if g is positive definite, if g is negative definite.

.

.

(M, g) : pseudo-Riemannian manifold . . .Definition . Let r > 0. The tangent hyperquadric bundle (THB) of radius r over (M, g) is defined by } { Tr M := (x, u) ∈ T M | gx (u, u) = r2

g is positive definite =⇒ Tr M = Tr M. Takamichi Satoh (Tohoku Univ.)


August 31, 2010

8 / 24

Sasaki metric

Sasaki metric



August 31, 2010

9 / 24

Sasaki metric

Splitting subspaces

p : (x, u) ∈ T M 7−→ x ∈ M : projection ∇ : Levi–Civita connection of (M, g) The tangent space (T M )(x,u) at (x, u) ∈ T M splits into the horizontal subspace H(x,u) and the vertical subspace V(x,u) with respect to ∇ : (T M )(x,u) = H(x,u) ⊕ V(x,u) .



August 31, 2010

10 / 24

Sasaki metric

Splitting subspaces

p : (x, u) ∈ T M 7−→ x ∈ M : projection ∇ : Levi–Civita connection of (M, g) The tangent space (T M )(x,u) at (x, u) ∈ T M splits into the horizontal subspace H(x,u) and the vertical subspace V(x,u) with respect to ∇ : (T M )(x,u) = H(x,u) ⊕ V(x,u) .



August 31, 2010

10 / 24

Sasaki metric

Lift

Let X be a vector in a tangent space Mx at x ∈ M. The horizontal lift of X to (x, u) ∈ T M is a vector X h ∈ H(x,u) s.t. p∗ X h = X. The vertical lift of X to (x, u) ∈ T M is a vector X v ∈ V(x,u) s.t. X v ( df ) = Xf for all smooth functions f on M. (Here we consider a 1-form df on M as a function on T M.)



August 31, 2010

11 / 24

Sasaki metric

Lift

Let X be a vector in a tangent space Mx at x ∈ M. The horizontal lift of X to (x, u) ∈ T M is a vector X h ∈ H(x,u) s.t. p∗ X h = X. The vertical lift of X to (x, u) ∈ T M is a vector X v ∈ V(x,u) s.t. X v ( df ) = Xf for all smooth functions f on M. (Here we consider a 1-form df on M as a function on T M.)



August 31, 2010

11 / 24

Sasaki metric

On tangent bundle

. . .Definition . The Sasaki metric g¯ on T M is defined at each fixed point (x, u) ∈ T M by g¯(x,u) (X h , Y h ) = gx (X, Y ), g¯(x,u) (X h , Y v ) = 0,

for ... ∀X, Y ∈ Mx .

.

.

g¯(x,u) (X v , Y v ) = gx (X, Y )

(T M )(x,u) = H(x,u) ⊕ V(x,u) , X h , Y h ∈ H(x,u) , X v , Y v ∈ V(x,u) . Takamichi Satoh (Tohoku Univ.)


August 31, 2010

12 / 24

Sasaki metric

Tangent or not

.

. . .Lemma . v The canonical vertical vector field U (x,u) := u(x,u) is perpendicular to Tr M ⊂ (T M, g¯) at each point u) ∈ T M. ..(x, . . g¯(x,u) (X h , U ) = 0,

g¯(x,u) (X v , U ) = gx (X, u).

=⇒ The horizontal lift X h is always tangent to Tr M. However, in general, the vertical lift X v is not tangent to Tr M.



August 31, 2010

13 / 24

Sasaki metric

Tangent or not

.

. . .Lemma . v The canonical vertical vector field U (x,u) := u(x,u) is perpendicular to Tr M ⊂ (T M, g¯) at each point u) ∈ T M. ..(x, . . g¯(x,u) (X h , U ) = 0,

g¯(x,u) (X v , U ) = gx (X, u).

=⇒ The horizontal lift X h is always tangent to Tr M. However, in general, the vertical lift X v is not tangent to Tr M.



August 31, 2010

13 / 24

Sasaki metric

Tangential lift

. .Definition . The tangential lift X t of a smooth vector field X on M is a vector field on Tr M defined by X t := X v −

1 g¯(X v , U )U . 2 r

.

.

.

... . . . .Remark . ut = 0 for ∀(x, u) ∈ Tr M. { h } t ⊥ (T M ) = X + Y | X ∈ M , Y ∈ {u} (⊂ M ) . x x (x,u) ... r . Takamichi Satoh (Tohoku Univ.)


August 31, 2010

14 / 24

Sasaki metric

Tangential lift

. .Definition . The tangential lift X t of a smooth vector field X on M is a vector field on Tr M defined by X t := X v −

1 g¯(X v , U )U . 2 r

.

.

.

... . . . .Remark . ut = 0 for ∀(x, u) ∈ Tr M. { h } t ⊥ (T M ) = X + Y | X ∈ M , Y ∈ {u} (⊂ M ) . x x (x,u) ... r . Takamichi Satoh (Tohoku Univ.)


August 31, 2010

14 / 24

Sasaki metric

On THB

=⇒ We endow the hypersurface Tr M ⊂ (T M, g¯) with the induced pseudo-Riemannian metric g˜r , which is uniquely determined by the following formulae r g˜(x,u) (X h , Y h ) = gx (X, Y ), r g˜(x,u) (X h , Y t ) = 0, r g˜(x,u) (X t , Y t ) = gx (X, Y ) −

1 gx (X, u)gx (Y, u) r2

for ∀X, Y ∈ Mx . Takamichi Satoh (Tohoku Univ.)


August 31, 2010

15 / 24

Sasaki metric

On tangent bundle

. . .Definition . The Sasaki metric g¯ on T M is defined at each fixed point (x, u) ∈ T M by g¯(x,u) (X h , Y h ) = gx (X, Y ), g¯(x,u) (X h , Y v ) = 0,

for ... ∀X, Y ∈ Mx .


.


August 31, 2010

.

g¯(x,u) (X v , Y v ) = gx (X, Y )

16 / 24

Proof of Theorems

Proof of Theorems



August 31, 2010

17 / 24

Theorem 1

. 1 .Theorem . (M, g), n = dim M ≥ 3 be a pseudo-Riemannian manifold with bounded sectional curvature. =⇒ For each sufficiently small r > 0,

.

e g r )(x,u) > 0 if = 1, Sc(˜ e g r )(x,u) < 0 if = −1. ... Sc(˜ . e g r )(x,u) : scalar curvature of THB at (x, u) ∈ Tr M. Sc(˜



August 31, 2010

.

Proof of Theorems

18 / 24

Proof of Theorems

positive definite

Proof of theorem 1

.

Case (i). g is positive definite. . . Theorem (Kowalski–Sekizawa, 2000) .. (M, g), dim M ≥ 3, be a Riemannian manifold with bounded sectional curvature. e g r )(x,u) > 0. =⇒ ... For each sufficiently small r > 0, Sc(˜ . The theorem 1 is the same as the theorem of Kowalski–Sekizawa.



August 31, 2010

19 / 24

Proof of Theorems

positive definite

Proof of theorem 1

.

Case (i). g is positive definite. . . Theorem (Kowalski–Sekizawa, 2000) .. (M, g), dim M ≥ 3, be a Riemannian manifold with bounded sectional curvature. e g r )(x,u) > 0. =⇒ ... For each sufficiently small r > 0, Sc(˜ . The theorem 1 is the same as the theorem of Kowalski–Sekizawa.



August 31, 2010

19 / 24

negative definite

Case (ii). g is negative definite. . .Lemma . Vp,q : vector space of signature (p, q)

...

.

∃φ : (x1 , . . . , xp , xp+1 , . . . , xp+q ) ∈ Vp,q 7−→ (xp+1 , . . . , xp+q , x1 , . . . , xp ) ∈ Vq,p :anti-isometry

.

.

Proof of Theorems

The theorem 1 can be proved from the lemma and the theorem of Kowalski–Sekizawa. Takamichi Satoh (Tohoku Univ.)


August 31, 2010

20 / 24

negative definite

Case (ii). g is negative definite. . .Lemma . Vp,q : vector space of signature (p, q)

...

.

∃φ : (x1 , . . . , xp , xp+1 , . . . , xp+q ) ∈ Vp,q 7−→ (xp+1 , . . . , xp+q , x1 , . . . , xp ) ∈ Vq,p :anti-isometry

.

.

Proof of Theorems

The theorem 1 can be proved from the lemma and the theorem of Kowalski–Sekizawa. Takamichi Satoh (Tohoku Univ.)


August 31, 2010

20 / 24

Proof of Theorems

indefinite

.

Case (iii). g is indefinite. . . Lemma (Kulkarni, 1979) .. (M, g) be a non-Riemannian manifold with bounded sectional curvature. =⇒ ... The sectional curvature of (M, g) is constant. . e g r ) of THB is constant. =⇒ The scalar curvature Sc(˜ e g r ) = n(n − 1)c − n − 1 c2 r2 + (n − 1)(n − 2) 1 . Sc(˜ 2 r2 where c is the constant sectional curvature of (M, g). We proved the theorem 1. Takamichi Satoh (Tohoku Univ.)


August 31, 2010

21 / 24

Proof of Theorems

indefinite

.



August 31, 2010

21 / 24

Proof of Theorems

indefinite

.



August 31, 2010

21 / 24

Proof of Theorems

indefinite

.



August 31, 2010

21 / 24

Proof of Theorems

indefinite

.



August 31, 2010

21 / 24

Theorem 2

. 2 .Theorem . (M, g), n = dim M ≥ 2 be a pseudo-Riemannian manifold of constant sectional curvature c 6= 0. =⇒ For each sufficiently large r > 0, e g r )(x,u) < 0 if = 1, ... Sc(˜

.

e g r )(x,u) > 0 if = −1. Sc(˜

.

.

Proof of Theorems

Proof. e g r ) = n(n − 1)c − n − 1 c2 r2 + (n − 1)(n − 2) 1 . Sc(˜ 2 r2



August 31, 2010

22 / 24

Theorem 2

. 2 .Theorem . (M, g), n = dim M ≥ 2 be a pseudo-Riemannian manifold of constant sectional curvature c 6= 0. =⇒ For each sufficiently large r > 0, e g r )(x,u) < 0 if = 1, ... Sc(˜

.

e g r )(x,u) > 0 if = −1. Sc(˜

.

.

Proof of Theorems

Proof. e g r ) = n(n − 1)c − n − 1 c2 r2 + (n − 1)(n − 2) 1 . Sc(˜ 2 r2



August 31, 2010

22 / 24

Combining the thorems

. Corollary .. (M, g), n = dim M ≥ 3 be a pseudo-Riemannian manifold of constant sectional curvature c 6= 0. e g r ) = c˜. =⇒ c ∈ R, ∃r > 0 s.t. Sc(˜ ... ∀˜

.

.

.

Proof of Theorems

Proof. e g r ) = c˜. In the previous equation, we put r2 = R, Sc(˜ Then (n − 1)c2 R2 + 2(˜ c − n(n − 1)c)R − 2(n − 1)(n − 2) = 0 has a positive root. Takamichi Satoh (Tohoku Univ.)


August 31, 2010

23 / 24

Last

Thank You

Thank you for your attention ˇ ´ Dekuji vam



August 31, 2010

24 / 24

Last

Thank You

Thank you for your attention ˇ ´ Dekuji vam



August 31, 2010

24 / 24