2
$\begingroup$

Let $M$ denote a manifold admitting a Lorentzian metric $g_{ab}$. Essentially, I would like to know the "minimum domain" on which the exponential map is defined at $p\in M$. To make this concrete, let $(M,g_{ab})$ be time-orientable and let $T\in T_pM$ denote a future-directed timelike vector at $p\in M$. Let $B_T(r)$ denote the open (Euclidean) ball of radius $r$ about the origin of $T_pM$ defined with respect to $T$. Of course, there always exists $r>0$, such that the exponential map on this ball $\text{exp}_p:B_T(r)\to M$ is well defined.

Question: Are there known lower bounds---depending possibly, e.g., on the curvature in a neighborhood of $p$---for the minimum size of $r$? i.e., loosely speaking, for some "observer" at $p$ associated with $T$, what is the minimum (ball-shaped) domain for which the exponential map is well-defined?

Clarification: As Igor Khavkine mentions in his answer, there exists a bound on the "injectivity radius" at $p\in M$ expressed in terms of any $r$ where the exponential map is assumed to be defined. However, I'm interested in a lower bound on $r$ itself.

I'm most interested in the Lorentzian case, but pointers to bounds for ordinary Riemannian manifolds (with no need for the auxiliary vector $T$) may also be enlightening.

$\endgroup$
1
$\begingroup$

In Riemannian geometry, the largest such $r$ is the injectivity radius. And there are curvature based bounds for it. To make sense of such a radius in Lorentzian geometry, you need also some reference Riemannian metric. This approach is taken in the following reference, where curvature based bounds are also given:

Injectivity Radius of Lorentzian Manifolds (2006) by Bing-Long Chen, Philippe G. LeFloch arXiv:math/0612860

$\endgroup$
5
  • $\begingroup$ I believe there's some confusion. I think the injectivity radius is the largest $r$ such that $\exp_p$ is injective on $B_T(r)$, but this may be smaller than the largest $r$ such that $\exp_p$ is defined, which OP was asking about: on the unit sphere, as on any geodesically complete manifold, $\exp_p$ is defined on the entire tangent space $T_p M$, but it is injective only up to $r = \pi$. $\endgroup$ – Gro-Tsen Apr 18 '20 at 9:10
  • $\begingroup$ I grant that your interpretation is a better literal reading of the OP, but I think there is some liberty in interpreting what "well defined" means. I suspect that I answered the intended question, but I may be wrong. $\endgroup$ – Igor Khavkine Apr 18 '20 at 11:44
  • $\begingroup$ Apologies for any confusion due to imprecise phrasing. However, I'm glad you mention the Chen-LeFloch paper, Igor. Note their injectivity radius bound (Thm 1.1) assumes the exponential map is defined on ball $B_T(r_0)$ for some $r_0>0$. Their bound is then stated in terms of $r_0$. Hence, if one had a lower bound on the (ball-shaped) domain of the exponential map (i.e., a lower bound on $r_0$), Chen-Lefloch would then provide a bound on the minimum possible injectivity radius (for some fixed metric with bounded curvature). So, a bound on $r_0$--which is what I want--would then be very useful. $\endgroup$ – user143410 Apr 18 '20 at 16:04
  • 1
    $\begingroup$ @user143410, consider the example of the interior of a Euclidean half-space. The $r_0$ at $p$ cannot be greater than the distance of $p$ to the (open) boundary of the half space. This means that there is no uniform lower bound for $r_0$ on the manifold. Also, whatever the lower bound is at $p$, you cannot get it from local curvature, since the manifold is everywhere flat. The lower bounds that you are looking for somehow depend on the structure of this space "at large". If this example is not what you had in mind, you need some conditions to eliminate it. $\endgroup$ – Igor Khavkine Apr 18 '20 at 17:43
  • $\begingroup$ Right, I wouldn't expect a uniform bound and, as your example indicates, I should have anticipated that global properties would enter. Essentially, the (ball-shaped) domain of the exponential map is determined by the length of the shortest inextendible geodesic passing through $p$. Perhaps proofs for classic singularity theorems will provide some insight for me. I would think there must be a way to estimate the size of $r_0$ for say a spacetime ($R^D$,$g_{ab}$) with $g_{ab}$ non-flat and satisfying some (physically-reasonable) global constraints. $\endgroup$ – user143410 Apr 19 '20 at 18:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.