Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It is common to find models built on a compact spacetime. In mathematics, compactness is a very nice property $-$ and lot of powerful results depend on it. But

  • how safe is assuming compactness of spacetime in physics?

Minkowski space is not compact, but, for instance, the treatment given to gauge theories in terms of bundles, assumes a compact basis $X$ for the principal bundle $G\hookrightarrow P \to X$ and the vector bundles containing matter $P \times_G \mathfrak{g} \to X$. This basis $X$ is thought of as Minkowski space-time (for sake of concreteness, assume an Euclidean spacetime $\mathbb{R}^4$, so one compactifies to $X=S^4$). Why can or cannot compactes be assumed?

This one is perhaps model-dependent:

  • is there an existing experimental validation of the compactness of spacetime?
share|cite|improve this question
up vote 1 down vote accepted

For compactified Minkowski space see, e.g., Conformal Infinity.

This is sometimes useful to prove mathematical statements about general relativity and its relatives.

But to reach infinity or to get information from there takes infinitely long, given the finite speed of light. This is why we can never find out whether or not spacetime is compactified.

share|cite|improve this answer
So, in some sense, is an Occamian argument. We cannot prove that spacetime is compact because we cannot "reach the infinite", so, since a compact space is simpler, we assume compactness? – c.p. Oct 25 '12 at 16:34
It is usually _not_assumed, as Minkowski space is for most purposes far simpler to handle than its compactification. It is assumed only temporarily if you need it for a mathematical argument, just as in math. – Arnold Neumaier Oct 25 '12 at 16:42

One mathematical comment which may be interesting:

The universal cover of simply connected boundaryless time-orientable four dimensional space-time manifold must be non-compact

The argument goes something like this: suppose we are given a compact closed manifold without boundary with 4 space-time dimensions that is simply connected. Its Euler characteristic is at least two (using Poincare duality). But if it is time-orientable it admits a non-vanishing vector field, which requires Euler characteristic 0. A contradiction.

The upside to this is that compactification procedures in GR end up with stuff that are even a bit worse than manifolds with boundaries, and are not closed 4 dimensional manifolds.

Note that there is also quite a big difference between a cosmological universe where the spatial Cauchy hypersurface is a closed compact manifold, and requiring that the entire space-time be compact. For starters, the assumption of a compact space-time would require necessarily that the universe ends after finite time, a rather pessimistic world-view to which I rather not subscribe.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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