Understanding the Lorentz Group: What does O(1,3) mean?

Click For Summary
SUMMARY

The Lorentz group, denoted as O(1,3), is defined as the General Orthogonal Lie Group that preserves the symmetric metric η, specifically η = Diag(1,1,1,-1). This group includes transformations that maintain the invariant bilinear form, crucial for understanding special relativity. The special orthochronous Lorentz group, SO(1,3)↑, is a significant subgroup that connects continuously with the identity matrix and preserves the direction of time. The transformation matrices in this group replace traditional trigonometric functions with hyperbolic functions, reflecting the unique nature of spacetime in relativity.

PREREQUISITES
  • Understanding of Lie groups and their properties
  • Familiarity with Minkowski spacetime and its metric
  • Knowledge of hyperbolic functions and their applications
  • Basic concepts of linear algebra, particularly matrix operations
NEXT STEPS
  • Study the properties of the Lorentz transformations in detail
  • Explore the implications of the Minkowski metric in physics
  • Learn about the special orthonormal Lorentz group SO(1,3)↑
  • Investigate the applications of hyperbolic functions in physics
USEFUL FOR

Physicists, mathematicians, and students studying theoretical physics, particularly those interested in special relativity and the mathematical foundations of spacetime symmetries.

dimension10
Messages
371
Reaction score
0
I am totally confused about the Lorentz Group at the moment. According to wikipedia, the Lorentz group can be defined as the General Orthogonal Lie Group##O(1,3)##. However, the definition of the GO Lie Group that I know only works when there is a single number inside the bracket, not 2, e.g. ##O(1)##. So, what does ##O(1,3)## mean? Thanks in advance.
 
Physics news on Phys.org
The orthogonal group is the set of all matrices Λ that preserve the symmetric metric η under η' = ΛηΛT. Here 3,1 is the signature of η, that is η = Diag(1,1,1,-1).
 
If you look the SO(3,1) in 4*4 matrix notation you will find that in the matrix elements Lαβ with α=0 and/or β=0 the sin(θ) or cos(θ) for rotations is replaced by sinh(η) or cosh(η) for boosts. So you can interpret the the "1" in SO(3,1) as one direction with imaginary rotations transforming sin, cos to sinh, cosh.

The invariant scalar product

<x,y> = x1y1 + x2y2 + x3y3 + ...

is replaced with

<x,y> = -x0y0 + x1y1 + x2y2 + ...
 
The name \mathrm{O}(1,3) means (pseudo-)orthogonal group wrt. the fundamental bilinear form with one positive and three negative principle values in \mathbb{R}^4. In components with respect to (pseudo-)orthonormal vectors this scalar produkt reads
x \cdot y=\eta_{\mu \nu} x^{\mu} y^{\nu}=x^0 y^0-x^1 y^1-x^2 y^2-x^3 y^3.
Then the Lorentz transformations are represented by such matrices that leave this bilinear form invariant for all vectors.

There are important subgroups. The most important one is the special orthochronous Lorentz group, \mathrm{SO}(1,3)^{\uparrow}, which is continously connected with the identity matrix. That's the symmetry group of the special relativistic spacetime manifold. The special orthonormal Lorentz group consists of all matrices, leaving the above explained Minkowski product invariant for any pair of vectors, have determinant 1, and for which {\Lambda^0}_0 \geq +1. Since the zeroth component of the four vectors denote time this latter restriction means that the transformation doesn't flip the direction of time.
 
Bill_K said:
The orthogonal group is the set of all matrices Λ that preserve the symmetric metric η under η' = ΛηΛT. Here 3,1 is the signature of η, that is η = Diag(1,1,1,-1).

tom.stoer said:
If you look the SO(3,1) in 4*4 matrix notation you will find that in the matrix elements Lαβ with α=0 and/or β=0 the sin(θ) or cos(θ) for rotations is replaced by sinh(η) or cosh(η) for boosts. So you can interpret the the "1" in SO(3,1) as one direction with imaginary rotations transforming sin, cos to sinh, cosh.

The invariant scalar product

<x,y> = x1y1 + x2y2 + x3y3 + ...

is replaced with

<x,y> = -x0y0 + x1y1 + x2y2 + ...

vanhees71 said:
The name \mathrm{O}(1,3) means (pseudo-)orthogonal group wrt. the fundamental bilinear form with one positive and three negative principle values in \mathbb{R}^4. In components with respect to (pseudo-)orthonormal vectors this scalar produkt reads
x \cdot y=\eta_{\mu \nu} x^{\mu} y^{\nu}=x^0 y^0-x^1 y^1-x^2 y^2-x^3 y^3.
Then the Lorentz transformations are represented by such matrices that leave this bilinear form invariant for all vectors.

There are important subgroups. The most important one is the special orthochronous Lorentz group, \mathrm{SO}(1,3)^{\uparrow}, which is continously connected with the identity matrix. That's the symmetry group of the special relativistic spacetime manifold. The special orthonormal Lorentz group consists of all matrices, leaving the above explained Minkowski product invariant for any pair of vectors, have determinant 1, and for which {\Lambda^0}_0 \geq +1. Since the zeroth component of the four vectors denote time this latter restriction means that the transformation doesn't flip the direction of time.

Thanks, everyone. I finally got it.


Ger said:
http://www.math.sunysb.edu/~kirillov/mat552/liegroups.pdf. Uses also two indices, parameters in the brackets in O(n,ℝ)

Actually, I think this is a different thing. ##O(n,\mathbb R)## means ##O(n)## over the real numbers ##\mathbb R##, I think. Correct me if I'm wrong.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
5K
  • · Replies 1 ·
Replies
1
Views
4K