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,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  How to test that a flat metric represents a global three-torus geometry

+ 2 like - 0 dislike
1903 views

When introducing Robertson-Walker metrics, Carroll's suggests that we

consider our spacetime to be $R \times \Sigma$, where $R$ represents the time direction and $\Sigma$ is a maximally symmetric three-manifold.

He then goes on to discuss the curvature on $\Sigma$ which yields the metric on this three-surface

$d\sigma^2=\frac{d \bar{r}^2}{1-k\bar{r}^2}+\bar{r}^2d\Omega^2$

Case $k=0$ corresponds to no curvature and is called flat. So the metric, after introducing a new radial coordinate $\chi$ defined by $d\chi=\frac{d\bar{r}}{\sqrt{1-k\bar{r}^2}}$, the flat metric on $\Sigma$ becomes

$d\sigma^2=d\chi^2+\chi^2d\Omega^2$

$d\sigma^2=dx^2+dy^2+dz^2$

which is simply flat Euclidean space.

Carroll then points out that

Globally, it could describe $R^3$ or a more complicated manifold, such as the three-torus $S^1 \times S^1 \times S^1$.

I see that the metric on $S^1 \times S^1 \times S^1$ is also given by $d\theta^2+d\phi^2+d\psi^2$ and therefore there could be a fourth spatial dimension in which $\Sigma$ is a submanifold.

However, I am unsure how can we test by experiments or cosmological observations to know for sure whether the flat metric is indeed Euclidean or to conclude a more complicated global three-torus geometry.

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Victor Vahidi Motti
asked Aug 12, 2014 in Theoretical Physics by Victor Vahidi Motti (20 points) [ no revision ]
Related, and possibly a duplicate: Is topology of universe observable?

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user John Rennie
In general relativity, we never imagine that the space or spacetime is a submanifold in a higher-dimensional one (your "4D space") - the embedding is just a tool to visualize curved spaces in popular texts for children. ... Otherwise, the toroidal shape - with its finite volume and periodicity - clearly has lots of potential consequences. One may sail around like Magellan, see multiple images of the same celestial objects in many directions, etc. For any of these to be observable, the torus must be small enough - not too much bigger than the visible Universe.

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Luboš Motl
possible duplicate of What is known about the topological structure of spacetime?

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Danu
Related: physics.stackexchange.com/q/111670

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Danu
See this paper : Cosmic microwave background anisotropies in multi-connected flat spaces

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Trimok
Thanks all for the links which gives the answer from Kostya: In non-trivial topology, the light rays will "wrap around" our universe multiple times and you'll be able to see the same (similar) copies of galaxies. @LubošMotl great point on the small enough torus. Also, I know that the three torus doesn't need to be a sub manifold and we can make sense of it without a 4D space. But wonder if the observable multiple images can also suggest the existence of an extra spatial dimension. I mean keeping open the possibility of the embedding.

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Victor Vahidi Motti
And Lubos's comments aside, if you are absolutely committed to the immersion of the manifold in a bigger space, there is a theorem that says that every manifold an be embedded in a larger flat space.

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Jerry Schirmer
@JerrySchirmer thanks. in Carroll's you see that immersion is introduced as to be different from being embedded. That is yet another question of mine. Carroll's explanation is rather vague and unclear in the errata page. Couldn't make sense of the difference.

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Victor Vahidi Motti
@VictorVahidiMotti: and I will say that almost no one uses these embeddings, except for very specialized purposes.

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Jerry Schirmer
@JerrySchirmer is this one of those very specialized purposes: If you induce, i.e. pulling back, a flat 4D metric on the three sphere you get the spatial metric and the topology of de Sitter space: $R \times S^3$

This post imported from StackExchange Physics at 2014-08-14 08:28 (UCT), posted by SE-user Victor Vahidi Motti

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$\hbar$y$\varnothing$icsOverflow
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
...