Twin Paradox in a Flat Toroidal Universe: Time Dilation and Inertial Frames

lugita15
Messages
1,553
Reaction score
15
In four dimensions, a flat torus is an object that has zero curvature but still has closed geodesic curves. What this means is that if you try to measure geometry locally, you will find that it is perfectly Euclidean. Nevertheless, if you travel on a straight line, you'll eventually end up where you started.

What would happen if you carried out the twin paradox in a universe with such a geometry? In the standard twin paradox, one of the twins experiences acceleration effects, so his frame is not inertial. But in a flat toroidal universe, he would always be in an inertial frame, since going around in a closed curve doesn't require any "turning". So what would be the results? Would there still be time dilation?
 
Physics news on Phys.org
This has come up multiple times here and is an interesting question.

The short answer is: there is still no local preferred frame, but there IS a global "preferred frame" in such a situation.

If you perform an experiment, and no information travels all the way around the universe to interact with the experiment from "both sides", then that experiment is not capable of noticing this "preferred frame". However, having two inertial observers sync watches and then travel inertially around the universe and meet up again to compare watches, this is an example of an experiment that is sensitive to the preferred frame. Their watches will not necessarily still be in sync. It is quite possible they can measure different times between these two events.

A simple argument I've seen used here to aid in seeing the existence of this "global preferred frame": different inertial frames will disagree on the "length around" the universe. So even though locally special relativity is correct, in some global sense the topology breaks this.

A quick google search found this discussion on how the topology breaks this:
http://van.physics.illinois.edu/qa/listing.php?id=15308
If you ignore the stuff about string theory, it contains a decent explanation of how the global preferred frame arises.
 
lugita15 said:
In four dimensions, a flat torus is an object that has zero curvature but still has closed geodesic curves. What this means is that if you try to measure geometry locally, you will find that it is perfectly Euclidean. Nevertheless, if you travel on a straight line, you'll eventually end up where you started.

What would happen if you carried out the twin paradox in a universe with such a geometry?

I believe there would be more than one uniform toroidal geometry in which time is cyclic. There seem to be two. In the first class, there is an inertial frame in which a massive object would return to its starting point. In the second, null lines would retrace; that is, a light ray directed in some preferred direction, would retrace. Which type are you referring to?

Edit: Peripherally, if we're still thinking, we should consider a third class that has both a preferred inetrial(s) frame and a preferred retracement(s) of null lines.
 
Last edited:
I started reading a National Geographic article related to the Big Bang. It starts these statements: Gazing up at the stars at night, it’s easy to imagine that space goes on forever. But cosmologists know that the universe actually has limits. First, their best models indicate that space and time had a beginning, a subatomic point called a singularity. This point of intense heat and density rapidly ballooned outward. My first reaction was that this is a layman's approximation to...
Thread 'Dirac's integral for the energy-momentum of the gravitational field'
See Dirac's brief treatment of the energy-momentum pseudo-tensor in the attached picture. Dirac is presumably integrating eq. (31.2) over the 4D "hypercylinder" defined by ##T_1 \le x^0 \le T_2## and ##\mathbf{|x|} \le R##, where ##R## is sufficiently large to include all the matter-energy fields in the system. Then \begin{align} 0 &= \int_V \left[ ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g}\, \right]_{,\nu} d^4 x = \int_{\partial V} ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g} \, dS_\nu \nonumber\\ &= \left(...
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...
Back
Top