18.06.18: More fun with spacetime Lecturer: Barwick Friday before Spring Break 18.06.18: More fun with spacetime Last time, we introduced the following model for our universe: take R4 (with standard basis (π1Μ , π2Μ , π3Μ , π4Μ )). All the geometry comes from the matrix −1 0 π»=( 0 0 ~ ) β π£π»~ and we write π(~π£, π€ π€. ~ 0 1 0 0 0 0 1 0 0 0 ), 0 1 18.06.18: More fun with spacetime For any vector ~π£ ∈ R4 , write π 2 (~π£) = π(~π£,~π£) ∈ R. If π 2 (~π£) > 0, we say that ~π£ is spacelike; if π 2 (~π£) < 0, we say that ~π£ is timelike; if π 2 (~π£) = 0, we say that ~π£ is lightlike. This gave us our light cone. 18.06.18: More fun with spacetime A 4 × 4 matrix π such that π» = ππ π»π. is called a Lorentz transformation. This is defined precisely so that ~ ). π(π~π£, π~ π€) = π(~π£, π€ Any physical laws we discover should be invariant under Lorentz transformations; this includes the relativistic laws of mechanics, Maxwell’s field equations, and the Dirac equation. 18.06.18: More fun with spacetime Orthogonal matrices are matrices π such that π π π = πΌ. In effect, they preserve all the geometry given by the dot product. In 2 dimensions, we can write them all down; they all look like ( cos(π) − sin(π) ) sin(π) cos(π) or ( − cos(π) sin(π) ) sin(π) cos(π) In 3 dimensions, orthogonal matrices are products of matrices that rotate about an axis and reflections in planes. (It’s quite tricky to write all of them down in terms of sines and cosines!) 18.06.18: More fun with spacetime Any 3 × 3 orthogonal matrix π (i.e., a matrix π such that ), the block matrix ( 1 0 ), 0 π is a Lorentz transformation. So if we choose a basis (~π₯1 , ~π₯2 , ~π₯3 ) for R3 such that π₯π ⋅ π₯π = πΏππ , then we get a Lorentz basis (π1Μ , ~π₯1 , ~π₯2 , ~π₯3 ). Any laws of physics we derive relative to (π1Μ , π2Μ , π3Μ , π4Μ ) will work relative to (π1Μ , ~π₯1 , ~π₯2 , ~π₯3 ). 18.06.18: More fun with spacetime There is a different sort of Lorentz basis as well. Consider an observer at the origin, moving in the positive π₯ direction with speed π’ (recall π = 1). This observer will agree with a stationary observer at the origin about the direction of the π₯, π¦, and π§ axes, and it will agree with the stationary observer’s measurement of length in the π¦ and π§ directions; however, this observer will see the π₯ and π‘ directions very differently… 18.06.18: More fun with spacetime Write π β tanh−1 (π’). The matrix cosh(π) sinh(π) 0 0 sinh(π) cosh(π) 0 0 π¬π = ( )=( 0 0 1 0 0 0 0 1 1 √1−π’2 π’ √1−π’2 π’ √1−π’2 1 √1−π’2 0 0 0 0 0 0 1 0 0 1 0 0 ) is a Lorentz transformation. This is the Lorentz boost in the positive π₯-direction at speed π’. Physically, this means that an observer moving in the positive π₯ direction with speed π’ will see a vector π£ in spacetime as π¬ π π£. 18.06.18: More fun with spacetime This accounts for phenomena such as time dilation and Lorentz contraction. (How?) 18.06.18: More fun with spacetime Lorentz transformations can be divided into four sorts, based on whether det(π¬) is +1 or −1, and whether the upper left entry π¬ 11 is positive or negative: det(π¬) sgn(π¬ 11 ) +1 -1 -1 +1 + + - transformation proper, isochronous space inverting, isochronous space inverting, time reversing proper, time reversing 0.1 Proposition. Any proper, isochronous Lorentz transformation is the product of a spatial rotation and a boost.