Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-20T05:10:02.323Z Has data issue: false hasContentIssue false

Geodesic completeness and stability

Published online by Cambridge University Press:  24 October 2008

John K. Beem
Affiliation:
Mathematics Department, University of Missouri, Columbia, MO 65211, U.S.A.
Paul E. Ehrlich
Affiliation:
Mathematics Department, University of Missouri, Columbia, MO 65211, U.S.A.

Extract

A (connected) Riemannian manifold M is geodesically complete (i.e. each geodesic may be extended to a geodesic with domain ( −∞, + ∞)) iff, as a metric space under the induced Riemannian distance function, M is Cauchy complete ([12], p. 138). Furthermore, all compact Riemannian manifolds are complete. On the other hand, compact pseudo-Riemannian manifolds exist which are not geodesically complete. For example Fierz and Jost[8] have constructed incomplete metrics of the form 2dx dy + h dy2 on T2. Furthermore, Williams [16] has shown that geodesic completeness may fail to be stable for pseudo-Riemannian manifolds. Here a property is said to be stable if the set of metrics for M with this property is open. This failure of stability may occur for both compact and non-compact manifolds. In particular, Williams has found that M = S1 x S1 = ℝ/(2πZ x 2πZ), which may be given the complete Lorentzian metric g = 2dx dy, also admits Lorentzian metrics gn = 2dx dy+(sin(x)/n) dy2 which are geodesically incomplete yet which for large n are arbitrarily close to g in the Whitney fine Cr topologies. In this example the set S = {(0, y)|0 ≤ y ≤ 2π} represents the image of a closed null geodesic for (M, g) and also for all (M, gn). However, for the metrics (M, gn) this closed null geodesic has affine parametrizations which are incomplete because the velocity vector of this null geodesic returns to a scalar multiple of itself after each complete circuit of S. In general, a closed null geodesic will be complete iff its velocity vector returns exactly to itself after each trip around its image.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Beem, J. K. and Ehrlich, P. E.. Global Lorentzian Geometry (Marcel Dekker, 1981).Google Scholar
[2]Beem, J. K. and Ehrlich, P. E.. Stability of geodesic completeness for Robertson–Walker space-times. Gen. Relativity Gravitation 13 (1981), 239255.Google Scholar
[3]Beem, J. K. and Parker, P. E.. Klein–Gordon solvability and the geometry of geodesics. Pacific J. Math. 107 (1983), 114.CrossRefGoogle Scholar
[4]Beem, J. K. and Parker, P. E.. Whitney stability of solvability. Pacific J. Math. 116 (1985), 1123.CrossRefGoogle Scholar
[5]Canarutto, D. and Dodson, C. T. J.. On the bundle of principal connections and the stability of b-incompleteness of manifolds. Math. Proc. Cambridge Philos. Soc. 98 (1985), 5159.CrossRefGoogle Scholar
[6]Canarutto, D. and Michor, P.. On the stability of b-incompleteness in the Whitney topology on the space of connections, preprint. Istituto Matematica Applicata ‘G. Sansone’, Università di Firenze.Google Scholar
[7]Cheeger, J. and Ebin, D.. Comparison Theorems in Riemannian Geometry (North-Holland, 1975).Google Scholar
[8]Fierz, M. and Jost, R.. Affine vollständigkeit und kompakte Lorentz'sche mannifaltigkeiten. Helv. Phys. Acta 38 (1965), 137141.Google Scholar
[9]Hawking, S. W. and Ellis, G. F. R.. The Large Scale Structure of Space-time (Cambridge University Press, 1973).CrossRefGoogle Scholar
[10]Lerner, D. E.. The space of Lorentz metrics. Commun. Math. Phys. 32 (1973), 1938.Google Scholar
[11]Nomizu, K. and Ozeki, H.. The existence of complete Riemannian metrics. Proc. Amer. Math. Soc. 12 (1961), 889891.CrossRefGoogle Scholar
[12]O'Neill, B.. Semi-Riemannian Geometry (Academic Press, 1983).Google Scholar
[13]Spivak, M.. A Comprehensive Introduction to Differential Geometry, vol. II (Publish or Perish, 1970).Google Scholar
[14]Treves, F.. Introduction to Pseudodifferential and Fourier Integral Operators, vol. I: Pseudo-differential Operators (Plenum Press, 1980).Google Scholar
[15]Taylor, M. E.. Pseudodifferential Operators (Princeton University Press, 1981).CrossRefGoogle Scholar
[16]Williams, P. M.. Instability of geodesic completeness and incompleteness, preprint. Dept. Mathematics, University of Lancaster.Google Scholar