A Flat Embedding of Our Universe: Questions & Answers

  • A
  • Thread starter Thread starter gerald V
  • Start date Start date
  • Tags Tags
    Flat Universe
gerald V
Messages
66
Reaction score
3
TL;DR Summary
Can it make sense to embed the universe in 8 flat dimensions?
It is mathematically proven that any intrinsically curved manifold can be derived from embedding in a flat space of sufficient number of dimensions. I heard somewhere, but lost that reference, that for our universe 10 flat dimensions are needed in the most general case.. May I ask

- Is the number 10 correct? If so, what about the metric signature of the embedding space (9+1, 8+2, 5+5, ...)?

- Is there literature on this topic (preferrably with not so much mathematical jargon)?

- If the embedding space only had 8 dimensions, what aspects of our universe would get lost? (as far as I know, for the special case of a homogeneous and isotropic universe, even 5 dimensions would be sufficient).Thank you very much in advance.
 
Physics news on Phys.org
gerald V said:
Summary:: Can it make sense to embed the universe in 8 flat dimensions?

It is mathematically proven that any intrinsically curved manifold can be derived from embedding in a flat space of sufficient number of dimensions. I heard somewhere, but lost that reference, that for our universe 10 flat dimensions are needed in the most general case..

If you want to embed the universe isometrically, then the general result is much greater than 8 or 10. According to

Clarke, C. J. S., "On the global isometric embedding of pseudo-Riemannian
manifolds," Proc. Roy. Soc. A314 (1970) 417-428

every 4-dimensional spacetime can be embedded isometrically in higher dimensional flat space, and that 90 dimensions suffices - 87 spacelike and 3 timelike. A particular spacetime may be embeddable in a flat space that has dimension less than 90, but 90 guarantees the result for all possible spacetimes.
 
Many thanks, George Jones.

Maths can surprise me again and again. In differential geometry - Isometric embedding - Mathematics Stack Exchange it is discussed that the notions used can refer to quite different mathematical structures.

I mean embedding in the very pedestrian sense of a submanifold with the metric on it given by Gauss formula for an induced metric. The embedding only shall conserve distances locally, as any nonsingular metric can be brought to Minkowski form locally. The embedding should cover the universe as a whole including its singularities at which points an induced metric simply does not exist, like (the circumference of) a square can be embedded in a plane.

As I understand from the quoted thread as well as from wagt `s answers in the thread Embedding curved spacetime in higher-d flat spacetime | Physics Forums , in this case Nash’s theorem holds and the number of necessary dimensions of the flat embedding space is 10 in the most general case. I shall look up the references given there.

However, Amanheis says in the same thread that 8 dimensions are sufficient in the most general case. Wikipedia (which is not a scientific source, I know, but usually is correct) Nash embedding theorem - Wikipedia says that for C^1 embedding, twice the dimensions of the embedded manifold - that would be 8 - are sufficient. This wikipedia article as well as Amanheis refer to Whitney embedding, which seems to be another animal.

Thanks in advance for any possible clarification.
 
What's the motivation behind this question?
 
Now, in a texbook I found an explanation, which is embarrasingly simple. To embed n-dimensional space parametrized by coordinates x into N-dimensional space parametrized by coordinates X, there are exactly N embedding equations. This is because for any point on the embedded manifold it must be well defined where it is situated in the embedding space.

On the other hand, Gauss‘ formula reads ##g_{\mu \mu} = \frac {G_{ab}\partial X^a \partial X^b}{\partial x^\mu \partial x^\nu}##, where ##g## and ##G## are the metrices of the embedded space and of the embedding space, respectively.

As a symmetric tensor, ##g## has ##\frac{n(n+1)}{2}## independent entrances in the general case, and there must be as many embedding equations. Hence, ## N \ge \frac{n(n+1)}{2}##. For our universe this means ## N \ge 10## if no further symmetries are around.

The freedom of coordinate transformations on the embedded manifold can be used to identify all the coordinates on it with a subset of ##n## coordinates on the embedding space. So ##n## embedding equations can be made trivial.
 
George Jones said:
If you want to embed the universe isometrically, then the general result is much greater than 8 or 10. According to

Clarke, C. J. S., "On the global isometric embedding of pseudo-Riemannian
manifolds," Proc. Roy. Soc. A314 (1970) 417-428

every 4-dimensional spacetime can be embedded isometrically in higher dimensional flat space, and that 90 dimensions suffices - 87 spacelike and 3 timelike. A particular spacetime may be embeddable in a flat space that has dimension less than 90, but 90 guarantees the result for all possible spacetimes.
That link doesn’t work for me. I assume (can you verify?) they mean a smooth isometric embedding. Otherwise, I would think way fewer dimensions are required.

Then I would think part of the issue is the generality of topology possible in principle. I took the OP to mean what is required for a spacetime plausible for our universe. That is, a wrinkly FLRW, with embedded BH, none of which have white hole parts, and for which one assumes perturbative stability removes the baroque interior topology of Kerr solutions. Perhaps no one has investigated this, but my guess is that far less than 90 dimensions are required for a smooth isometric embedding.
 
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Abstract The gravitational-wave signal GW250114 was observed by the two LIGO detectors with a network matched-filter signal-to-noise ratio of 80. The signal was emitted by the coalescence of two black holes with near-equal masses ## m_1=33.6_{-0.8}^{+1.2} M_{⊙} ## and ## m_2=32.2_{-1. 3}^{+0.8} M_{⊙}##, and small spins ##\chi_{1,2}\leq 0.26 ## (90% credibility) and negligible eccentricity ##e⁢\leq 0.03.## Postmerger data excluding the peak region are consistent with the dominant quadrupolar...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. The Relativator was sold by (as printed) Atomic Laboratories, Inc. 3086 Claremont Ave, Berkeley 5, California , which seems to be a division of Cenco Instruments (Central Scientific Company)... Source: https://www.physicsforums.com/insights/relativator-circular-slide-rule-simulated-with-desmos/ by @robphy

Similar threads

Back
Top