Upload
nathaphon-boonnam
View
159
Download
2
Embed Size (px)
DESCRIPTION
We generalize the maximal diameter sphere theorem due to Toponogov by means of the radial curvature. As a corollary to our main theorem, we prove that for a complete connected Riemannian n-manifold M having radial sectional curvature at a point bounded from below by the radial curvature function of an ellipsoid of prolate type, the diameter of M does not exceed the diameter of the ellipsoid, and if the diameter of M equals that of the ellipsoid, then M is isometric to the n-dimensional ellipsoid of revolution.
Citation preview
Maximal diameter sphere theorem ( 最大直径球面定理 )
Nathaphon BoonnamSc.D. student from Department of Mathematics
School of Science and TechnologyTokai University
Outline
• Introduction• Preliminaries• Proof of Main Theorem
2
Outline
• Introduction• Preliminaries• Proof of Main Theorem
3
Introduction
4
Introduction
5
Introduction
6
Introduction
A natural extension of the maximal diameter sphere theorem by the radial curvature would be;
For a complete connected Riemannian manifold M whose radial sectional curvature at a point p bounded from below by 1,
• is the diameter of M at most ?
• Furthermore, if the diameter of M equals , then
is the manifold M isometric to the unit sphere ?
7
Introduction
8
Here we define the radial plane and radial curvature from a point p of a complete connected Riemannian manifold M.
• For each point q ( ), 2-dimensional linear subspace of is called a radial plane at q if a unit speed minimal geodesic segment satisfying
• the sectional curvature of is called a radial curvature at p.
Introduction
• Is the diameter of M at most ?
This problem can be affirmatively solved. It is an easy con-sequence from Generalized Toponogov Comparison Theorem
• Furthermore, if the diameter of M equals , then
is the manifold M isometric to the unit sphere?
This problem is still open!! But one can generalize the maximal diameter sphere theorem for a manifold which has radial curvature at a point p bounded from below by the radial curvature function of a 2-sphere of revolution if the 2-sphere of revolution belongs to a certain class.
9
Introduction
: a complete Riemannian manifold homeomorphic to 2-sphere
is called a 2-sphere of revolution if admits a point such that for any two points on with
, an isometry f on satisfying
The point is called a pole of
10
MM M
M
M
M
f
Introduction
It is proved in [ST] that has another pole ,
The Riemannian metric g of is expressed as
on ,
where : geodesic polar coordinates
and
Hence has a pair of poles and .
11
MM
M
• : a pole of and fix it.Each unit speed geodesic emanating fromis called a meridian.• It is observed in [ST] that each meridian
where passes through and is periodic.• The function is
called the radial curvature function of ,where G : the Gaussian curvature of .
MM
M
Introduction
12
Introduction
A 2-sphere of revolution with a pair of poles and is called a model surface if satisfies the following two properties :
(1.1) has a reflective symmetry with respect to the equator,
.
(1.2) The Gaussian curvature G of is strictly decreasing along a meridian from a point to the point on equator.
MM
M
M
13
Introduction
A typical example of a model surface is an ellipsoid of prolate type, i.e., the surface defined by
The point are a pair of poles
and is the equator.
14
Introduction
The surface generated by the plane curve
is a model surface, where
It is easy to see that the Gaussian curvature of
the equator is –1.
Figure from [ST]
15
Introduction
For each 2-dimensional model with a Riemannian metric
,
we define an n-dimensional model homeomorphic to an
n-sphere with a Riemannian metric
where : the Riemannian metric of the
dimensional unit sphere
M
nM
nS
16
For example, an ellipsoid of prolate type defined by
We get the n-dimensional model of the ellipsoid above is the n-dimensional ellipsoid defined by
.
Introduction
17
Introduction
M : a complete n-dimensional Riemannian manifold with a base point p.
M is said to have radial sectional curvature at p bounded from below by the radial curvature function of a model surface if for any point and any radial plane at q, the sectional curvature of M satisfies
M
18
Introduction
In this study, we generalize the maximal diameter sphere theorem as follows:
19
Introduction
As a corollary, we get an interesting result:
20
Outline
• Introduction• Preliminaries• Proof of Main Theorem
21
Preliminaries
Review the notion of a cut point and a cut locus
M : a complete Riemannian manifold with a base point p.
: a unit speed minimal geodesic segment
emanating from on M.
If any extended geodesic segment of ,
b > a, is not minimizing arc joining p to anymore,
then the endpoint of the geodesic segment is called
a cut point of p along .
Not minimal!!
22
Preliminaries
For each point p on M, the cut locus is defined by the set of all cut points along the minimal geodesic segments emanating from p.
23
Preliminaries
24
Preliminaries
The cut locus by Klingenberg Lemma
25Remark: It is known that the cut locus has a local tree structure for 2-dimensional Riemannian manifold.
Preliminaries
We need the following two theorems, which was proved by Sinclair and Tanaka [ST].
26
Preliminaries
27
Preliminaries
28
Preliminaries
29
小大
大
大小
小
Preliminaries
30
Preliminaries
31
(By Leibniz rule)
Preliminaries
32
Preliminaries
33
Preliminaries
34
Preliminaries
Remark that if there does not exist a conjugate point of
along , then, by the Rauch comparison theorem, there does not exist a conjugate point of along .
More curved surfaces, conjugate points appear faster than on less curved manifolds.
Rauch
35
Outline
• Introduction• Preliminaries• Proof of Main Theorem
36
Proof of Main Theorem
M : a complete Riemannian manifold with a base point p
: a 2-sphere of revolution with a pair of poles satisfying
(1.1) and (1.2) in the introduction.• From now on, we assume that M has radial sectional curvature
at p bounded from below by the radial curvature function of .
• By scaling the Riemannian metrics of M and ,
we may assume that
M
MM
37
Proof of Main Theorem
38
Proof of Main Theorem
39
From Lemma 3.1,
by Theorem 2.2;,
.
Proof of Main Theorem
40
Proof of Main Theorem
41
Proof of Main Theorem
42
Proof of Main Theorem
43
Proof of Main Theorem
44
Proof of Main Theorem
45
By the triangle inequality,
and Lemma 3.1,
we get,
,
,
.
Proof of Main Theorem
46
Proof of Main Theorem
47
Proof of Main Theorem
48
By the triangle inequality,
and Lemma 3.2,
we get,
and it is easy to see that q is a unique cut point of p because .
Proof of Main Theorem
49
Proof of Main Theorem
50
Proof of Main Theorem
51
Proof of Main Theorem
52
Proof of Main Theorem
53
Proof of Main Theorem
54
Proof of Main Theorem
55
References
56
References
57
ご清聴 ありがとうございましたThank you for your attention
せい ちょう
Maximal diameter sphere theorem( 最大直径球面定理 )
Nathaphon BoonnamSc.D. student from Department of Mathematics
School of Science and TechnologyTokai University