Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,786 comments
1,470 users with positive rep
820 active unimported users
More ...

  Foliations of Lorentzian manifolds by Spacelike Hypersurfaces

+ 6 like - 0 dislike
1456 views

Suppose that $M$ is a Lorentzian manifold (not necessarily satisfying Einstein's equations). What conditions do we need in order to guarantee that $M$ admits a foliation by codimension-$1$ spacelike submanifolds?

Geroch showed that global hyperbolicity is equivalent to admitting a foliation by Cauchy hypersurfaces, and Bernal and Sánchez showed this foliation can be taken to be smooth (arXiv:gr-qc/0306108). But a Cauchy hypersurface can contain a null geodesic segment (unless I'm quite confused about that). My question then is under what conditions we can take this foliation to consist of spacelike Cauchy hypersurfaces?

This post imported from StackExchange MathOverflow at 2015-03-11 13:20 (UTC), posted by SE-user Blake
asked Feb 26, 2015 in Theoretical Physics by Blake (30 points) [ no revision ]
retagged Mar 11, 2015

1 Answer

+ 5 like - 0 dislike

In the case of a globally hyperbolic spacetime, what you want is a smooth Cauchy temporal function (the gradient is everywhere timelike, not just causal, and each level set is a Cauchy surface that is necessarily spacelike). That global hyperbolicity is also sufficient the the existence of a smooth temporal function was also shown by Bernal and Sanchez, in the followup [arXiv:gr-qc/0512095] to their original paper that you cite.

I'm not sure if you are also interested in foliations of non globally hyperbolic spacetimes. I'm not completely sure what the right conditions would be then. See comment about stable casuality below.

This post imported from StackExchange MathOverflow at 2015-03-11 13:20 (UTC), posted by SE-user Igor Khavkine
answered Feb 26, 2015 by Igor Khavkine (420 points) [ no revision ]
A weaker sufficient condition would be to require that the space-time is stably causal. In this case, you also have a real-valued smooth function with everywhere (say, past-directed) timelike gradient, hence all its level sets are regular and hence are spacelike hypersurfaces which foliate the space-time manifold. In this more general case, they are even allowed to change topology (in this case, the manifold must be disconnected, of course).

This post imported from StackExchange MathOverflow at 2015-03-11 13:20 (UTC), posted by SE-user Pedro Lauridsen Ribeiro
By the way, my former comment addresses the OP's first question. As for OP's second question, global hyperbolicity is also necessary, since the existence of a foliation by spacelike Cauchy hypersurfaces implies that such a hypersurface exists and hence the space-time is globally hyperbolic. In this case, Bernal and Sánchez have shown that one can even choose the function to have one of its level sets match the given hypersurface.

This post imported from StackExchange MathOverflow at 2015-03-11 13:20 (UTC), posted by SE-user Pedro Lauridsen Ribeiro
Thanks! I'd also add that the existence of the foliation by spacelike Cauchy surfaces is addressed in arxiv.org/abs/gr-qc/0401112, theorem 1.1 (especially 1.1.2).

This post imported from StackExchange MathOverflow at 2015-03-11 13:20 (UTC), posted by SE-user Blake
Pedro, (facepalm) you're right of course! Stable causality is the right condition, which had slipped my mind. Hawking originally proved that stably causal spacetimes admit time functions (causal gradient) and Sanchez improved that to temporal functions in Theorem 4.15 of arXiv:gr-qc/0411143.

This post imported from StackExchange MathOverflow at 2015-03-11 13:20 (UTC), posted by SE-user Igor Khavkine
Just in case you're interested in weakening your conditions to conditions that hold almost everywhere; then the condition that you want is that the Lorentzian distance is finite between any two points (which is strictly weaker than stable causality). Under these conditions my co-author and I have shown that the manifold carries functions that are strictly increasing along any timeline curve, that are continuous and differentiable a.e., whose gradient is uniformly bounded away from light cones and have a very nice relationship to the distance. See arxiv.org/abs/1412.5652.

This post imported from StackExchange MathOverflow at 2015-03-11 13:20 (UTC), posted by SE-user Ben Whale
Sorry for second comment - ran out of characters. Note that we haven't said much about the level sets of these functions. The construction guarantees that at least one such surface is entirely composed of null surfaces. It is my expectation that, because of the relationship to the distance, the set of all points in the manifold that lie on a null level surface of one of these functions should have measure zero (or some statement like this will hold).

This post imported from StackExchange MathOverflow at 2015-03-11 13:20 (UTC), posted by SE-user Ben Whale

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\varnothing$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...