On fine differentiability properties of horizons and applications to Riemannian geometry
✍ Scribed by Piotr T. Chruściel; Joseph H.G. Fu; Gregory J. Galloway; Ralph Howard
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 108 KB
- Volume
- 41
- Category
- Article
- ISSN
- 0393-0440
No coin nor oath required. For personal study only.
✦ Synopsis
We study fine differentiability properties of horizons. We show that the set of end points of generators of an n-dimensional horizon H (which is included in an (n + 1)-dimensional space-time M) has vanishing n-dimensional Hausdorff measure. This is proved by showing that the set of end points of generators at which the horizon is differentiable has the same property. For 1 ≤ k ≤ n + 1, we show (using deep results of Alberti) that the set of points where the convex hull of the set of generators leaving the horizon has dimension k is "almost a C 2 manifold of dimension n + 1 -k": it can be covered, up to a set of vanishing (n + 1 -k)-dimensional Hausdorff measure, by a countable number of C 2 manifolds. We use our Lorentzian geometry results to derive information about the fine differentiability properties of the distance function and the structure of cut loci in Riemannian geometry.
📜 SIMILAR VOLUMES
Periodicity questions of differential systems on infinite-dimensional Hilbert spaces are studied via a new methodology which is based on Fan-Knaster-Kuratowski-Mazurkiewiez theorem. We obtain in this way an alternative, to the classical fixed point theory, approach to the study of such type of probl
In this paper we prove a generalised version of the Omori-Yau maximum principle and describe some applications to problems in geometry and differential equations. ' 1995 Academic Press. Inc.
The strong maximum principle is proved to hold for weak (in the sense of support functions) sub-and supersolutions to a class of quasi-linear elliptic equations that includes the mean curvature equation for C 0 -space-like hypersurfaces in a Lorentzian manifold. As one application, a Lorentzian warp