Project/Area Number 
09440037

Research Category 
GrantinAid for Scientific Research (B)

Allocation Type  Singleyear Grants 
Section  一般 
Research Field 
Geometry

Research Institution  Kumamoto University 
Principal Investigator 
ITOH Jinichi Kumamoto University, Dept. of Education, Ass. Prof., 教育学部, 助教授 (20193493)

CoInvestigator(Kenkyūbuntansha) 
TANAKA Minoru Tokai University, Dept. of Science, Prof., 理学部, 教授 (10112773)
HIRAMINE Yutaka Kumamoto University, Dept. of Education, Prof., 教育学部, 教授 (30116173)
KANEMARU Tadayoshi Kumamoto University, Dept. of Education, Prof., 教育学部, 教授 (30040033)
SUGAHARA Kunio Osaka Kyoiku University, Dept. of Education, Prof., 教育学部, 教授 (20093255)

Project Period (FY) 
1997 – 1999

Project Status 
Completed (Fiscal Year 1999)

Budget Amount *help 
¥6,200,000 (Direct Cost: ¥6,200,000)
Fiscal Year 1999: ¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 1998: ¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1997: ¥2,300,000 (Direct Cost: ¥2,300,000)

Keywords  cut locus / distance function / Riemannian manifold / Hausdorff measure / Lipschitz continuous / Voronoi domain / geodesics / polytope / ハウスドルフ測度 / lipsehitz性 
Research Abstract 
Recently, it was showed that the total length of cut locus of Riemannian surface is finite in the study of the structure of cut locus and by using this Ambrose's problem of surface was answered affirmatively. The purposes of this research are to study the structure of cut locus of Riemannian manifold and to study global Riemannian geometry by using the above results. The most main result that the distance function to the cut locus is Lipshitz continuous is proved the 1'st year, and now printing (joint work with M.Tanaka). It follows that the distance is derived naturally on the cut locus. It happens the following interesting question "what is the natural geometric structure on the cut locus?'' In the study of some kind of stratification of cut locus of CィイD1∞ィエD1 Riemannian manifold, at the beginning, we tried the problem "Is the cut locus locally a submanifold around any cut point except for any subset which is of local dimensional Hausdorff measure zero?" We proved this affirmatively by very complicated method (j.w. with M.Tanaka.). Now, we are searching simpler method. Also we studied the set of critical points of distance function which is closely related with the cut locus. We proved last year that the set of all critical values of the distance function for a submanifold of a 3dimensional complete Riemannian manifold is of Lebesgue measure zero (Sard type theorem). Now, we extend this result that ィイD71(/)2ィエD7dimensional Hausdorff measure is zero (j.w. with M.Tanaka). By using method we expect that in the 4dimensional case it is of Lebesgue measure zero. We cannot answered Ambrose's problem of general dimension, but we get the evaluation of face of Voronoi domain in any Hadamard manifold and showed that the subset (essential cut locus) of the cut locus which is contained any critical point of distance function is not so complicated in the case of low dimensional convex polytope.
