If space-time is modeled as the torsor of translations, rotations and changes of the

Discussion in 'Physics & Math' started by rpenner, May 10, 2012.

  1. rpenner Fully Wired Valued Senior Member

    Messages:
    4,833
    Thinking back to this old theme of mine: http://www.sciforums.com/showthread.php?p=2039656#post2039656
    I was trying to get back into the fundamental mathematical framework of relativity (Galilean and Special).
    --

    If space-time is modeled as the torsor of translations, rotations and changes of the standard of rest that preserve the law of inertia, what corresponds to the Lorentz transform?

    The question is a little ill-formed. Questions/comments welcome.

    If translations is the Lie group \(R^4\) then space-time is 4-dimensional and every pair of events has an associated element that translates between them.

    The law of inertia requires existence of inertial paths, "straight" lines through space-time where \(\vec{u}\) is constant in \(\forall k \in \mathbb{R} \; k ( \Delta \vec{x} ) = k ( \Delta t ) \vec{u}\). So for any unit time, \(t_0\), we have the event separation \(( t_0, t_0 \vec{u} )\) that is naturally associated with an element of the translations.

    For any two velocities, there should be an element of the rotations (say SO(3)) that makes them parallel. What is needed to complete the picture is a way to "translate" between velocities that are parallel. Some choices are SO(1,1), and Galilean boosts.

    Questions. Is SO(3,1) a product of SO(3) and SO(1,1) ?
    Is this effort doomed due to misunderstanding?
     
  2. Google AdSense Guest Advertisement



    to hide all adverts.
  3. Farsight

    Messages:
    3,492
    IMHO you need to go more fundamental than that, rpenner. The mathematical framework is modelling reality, but in itself it isn't fundamental.

    I'll assume we're talking about a simple boost in the x direction for now: it's a trigonometric tilt in a mathematical space. You can call it a rotation, but that doesn't get to the bottom of it. A Lorentz transform occurs when you change your state of motion, which alters the results of your use of motion to measure space and time. To appreciate this, set the mathematics aside for a moment, and get down to the fundamentals of light moving through space. Remember that clocks "clock up" local motion and show you some cumulative display you call the time. Now take a look at the well-worn expression for a spacetime interval in flat Minkowski spacetime:

    \($ds^2 = -dt^2 + dx^2 + dy^2 + dz^2$\)

    It's related to Pythagoras' theorem, used in the Simple inference of time dilation due to relative velocity. We've got two parallel-mirror light clocks, one in front of me, the other which we've sent with you on an out-and-back trip. I see the light moving like this ǁ in my local clock and like this /\ in the moving clock. Treat one side of the angled path as a right-angled triangle, and the hypotenuse is the lightpath where c=1 in natural units, the base is the speed v as a fraction of c, and the height gives the Lorentz factor γ = 1/√(1-v²/c²). Notice there's no literal time flowing in these clocks, merely light moving at a uniform rate through the space of our SR universe. From which we plot straight worldlines through the abstract mathematical space we call Minkowski spacetime. Also note that the underlying reality behind the invariant spacetime interval between the start and end events is that the two light-path lengths are the same. Macroscopic motion comes at the cost of a reduced local rate of motion, because the total rate of motion is c. Hence the minus in front of the t. It really is that simple. The Lorentz transform occurs when you change x from zero to some non-zero positive value. Your worldline is initially vertical, it ends up tilted. But it is restricted, it can only tilt so far. That's when the hypotenuse flatlines and your worldline is at 45 degrees.

    It's a light-path length. The light can take many paths, but all the path lengths are the same. It doesn't matter how you move through space, our departure is event 1 and our subsequent meeting is event 2, and the total light path length between your parallel mirrors is the same as between mine. Think of events as collisions and you can't go far wrong.

    Forget about the law of inertia. I'll tell you about inertia another day. There's a symmetry to it that for some weird reason just isn't in the textbooks, as if E=mc² never happened. Bizarre.

    No, you just have to start from the bottom, and make sure you understand the x-boost situation and tilting your worldline before you start swivelling it too. Understanding the mathematics isn't enough. You have to understand the why of it.
     
  4. Google AdSense Guest Advertisement



    to hide all adverts.
  5. rpenner Fully Wired Valued Senior Member

    Messages:
    4,833
    Clearly you haven't understood the intent or the language. When I say rotations, I am talking about rotations, as in Euclidean rotations in 3 spatial dimensions.

    The law of inertia becomes the law of straight lines in the model. This part, I think I understand is that for a given line, an element of the Lie group of translations transforms the line into itself.
     
  6. Google AdSense Guest Advertisement



    to hide all adverts.
  7. AlphaNumeric Fully ionized Registered Senior Member

    Messages:
    6,702
    Watch out, Farsight is going to dazzle us with his grasp of the aforementioned mathematical framework!

    Still have all the answers but can't reply to any questions, aye Farsight?

    Because you're so familiar with all those textbooks, right? Come on Farsight, do you really think anyone is going to buy the "I'm well read in the physics literature!" front you're trying to put up?

    But you don't understand the maths and your 'whys' are just baseless assertions based on personal preference and, quite frankly, ignorance.
     
  8. rpenner Fully Wired Valued Senior Member

    Messages:
    4,833
    If \(\mathcal{M}\) is the model of space-time, and \(L\) is the set of all straight lines in it, and we accept as axiomatic that all straight lines in \(\mathcal{M}\) admit at least two distinct points as members, that any two points uniquely identify an element of the translation group, T, and that all points along a straight line may be obtained as images of a point by a suitable translation in the same direction, then it follows that any line is associated with a subgroup of T for which the line is invariant.

    This is a generalization of "straight" for T could be SO(3), \(\mathcal{M}\) could be an ordinary 2-sphere, and so L would be the set of great circles. Almost certainly we want T to be a real Lie group.

    But right now, I seem to be in a definition muddle. If \(\mathcal{M}\) is the model of space-time, does it follow that any follow that any point is the image of a unique translation of another point? There are assumptions that a line can be extended indefinitely in both directions, and that a straight line in the model corresponds to uniform motion in space-time. Should I nail T down to be a connected real Lie group, or will it be sufficient for my purposes to suppose merely that it is a group. I think I need to sketch out a map of where I am going with this and in my next post attempt to start from scratch again.
     
  9. Farsight

    Messages:
    3,492
    rpenner: make sure you read Light is heavy by van der Mark and 't Hooft. (That's not the 't Hooft by the way). The paper will help you to understand inertia. Then read The Other Meaning of Special Relativity by Robert Close. This will help you to understand the underlying physics. It's rather trivial actually, schoolboy stuff. Once you have this understanding, you won't be "lost in maths" any more.
     
  10. AlphaNumeric Fully ionized Registered Senior Member

    Messages:
    6,702
    Because it's helped you so much.

    Except that it isn't just getting 'lost in maths', the sorts of mathematical things Rpenner is mentioning are central constructs within much of mathematical physics and provide a precise and concrete formal description of structures seen in nature.

    For example, Lie groups underline symmetries and thus allow us to compute conserved quantities. The same groups describe how particles should interact with one another and themselves and not just in a "Gluons interact with gluons but photons don't interact with photons". Instead you can compute actual behaviours of particles to a very accurate level which can then be tested.

    And making precise predictions is an important part of physics, as you keep whining about when it comes to string theory. The irony of you saying such things, along with throwing out comments like "I'll explain inertia to you one day", while simultaneously being unable to provide a single quantitative prediction is not lost on other people.

    But feel free to show I'm mistaken in my assessment of your claims. If you can 'explain inertia' and what not perhaps you could provide everyone with a working model of some phenomena pertaining to inertia? Perhaps you'd like to derive conservation of linear momentum from your 'explanation'? After all, the use of Poincare invariance in the mathematical formalism Rpenner is talking about, which you consider to be 'getting lost in maths' provides such a prediction from first principles. So before you start giving advice to others perhaps you could show you're at least on their level.
     
  11. rpenner Fully Wired Valued Senior Member

    Messages:
    4,833
    One of the ways it is ill-formed is that it starts to give you an appreciation for the physical difference between a Lie group and a Lie algebra. I'm sorry I haven't written up my thoughts in a coherent form, and it looks like I won't have time to do it today, either.
     
  12. rpenner Fully Wired Valued Senior Member

    Messages:
    4,833
    Actually, I was hoping to be able the answer the question myself, but I'm scraping the limits of my understanding and will probably have to grow in knowledge to complete it. My algebra and physics books are weak on Lie algebras and Lie groups.

    Right now, I'm favoring:
    "If space-time is modeled as the torsor of the group generated by the Lie algebra of Euclidean translations, Euclidean rotations and changes of the standard of rest that preserve the law of inertia and generally preserve the straightness of lines, what corresponds to the Lorentz transform?"

    What I think you wind up with is a test theory of a local Galilean or Lorentzian manifold and then you bracket it with experimental results to show that a local Lorentzian manifold is the only physical result. However,

    • If I can prove the straightness of lines follows from the law of inertia, I can drop that assumption.
    • I need to get a better handle on Lie algebra notation, so that I can talk about the products of the Lie algebras corrsponding to R, R^3, SO(3) and the "change of the standard of rest"
    • I think if I drop Euclidean from translations and rotations, the preservation of straight lines (which is defined in terms of translations) might not be strong enough. But there's a chance that dropping Euclidean will be interesting on its own
     
  13. rpenner Fully Wired Valued Senior Member

    Messages:
    4,833
    If \(\mathcal{M}\) is a model of space-time, and \(\mathcal{L} \subset \mathcal{P}( \mathcal{M})\) is the set of all straight lines in that model, such that if \(t_i\) is an element of an indexed set of generators for the algebra of translations, that there exists some non-zero linear combination of generators \(t_L = \sum \alpha_i t_i\) associated with the line \(L \in \mathcal{L}\) such that \(\forall x \in L \quad t_L \cdot x \in L\) and \(\forall t_i \quad ( ! \exists k \; k t_i + t_L = 0 ) \Rightarrow t_i \cdot x \not\in L\).
     
    Last edited: May 15, 2012
  14. rpenner Fully Wired Valued Senior Member

    Messages:
    4,833
    For all points in a line, like x in L, the non-zero translation algebra member t associated with the line transforms x into a point in the line, but any of the generators which is linearly independent of this t associated with the lines transforms x into a point off the line.

    Sorry for the notation, but I am still working with elements of a basis and don't have a way to express some of my thoughts without subscripts at this time.
     
  15. rpenner Fully Wired Valued Senior Member

    Messages:
    4,833
    .... OK, you know you are doing it wrong when you prove \(\mathfrak{so}(3)\) isn't a Lie algebra. ... grumble.
     
  16. prometheus viva voce! Registered Senior Member

    Messages:
    2,045
    Feel free to start another thread Farsight. I'm looking forward to learning a bit about curvature now.
     

Share This Page