Conformal group -> Poincaré group

In summary, the conversation discusses the derivation of the form of space-time transformations and the Poincaré group, which is defined as the group that leaves the metric invariant. The speaker is trying to understand why the homogeneity and isotropy of space-time imply a subgroup of the conformal group with f(x,T)=1, and how this relates to the principle of relativity. There is a disagreement about whether non-mathematical statements like Einstein's postulates can be used as starting points for mathematical proofs. The conversation also touches on the relationship between physics and mathematics and the differences between physicists and mathematicians.
  • #1
Petr Mugver
279
0
Hi. I want to talk about the derivation of the form of space-time transformations T between inertial references. As it's known, this is the Poincaré group, defined as the group that leaves invariant the (+,-,-,-) metric. This derives from two things: c is constant and space-time is homogeneous and isothropic. Now, I understand that the fact that c is constant defines the conformal group, that leaves the metric invariant up to a generic multiplicative number f(x,T) (that depends on the coordinates and, of course, on the transformation considered). But I don't understand why the homogeneity and isotropy implies f(x,T) = 1. Normally, by homogeneity I mean that if T(x) is in the group, then so does T(x) + a (a is a generic vector), and by isotropy I mean that also T(R(x)) (R is a generic rotation) is in the group. But this doesn't imply f = 1, as translations and rotations are already in the conformal group.

Somebody can explain?
What is the exact mathematical meaning of homogeneity and isotropy?
 
Physics news on Phys.org
  • #2
The whole business of "deriving" such results is a bit of a mess, because people always want to take non-mathematical statements like Einstein's postulates as the starting point. It obviously isn't possible to derive something mathematical from something non-mathematical, so the first thing you have to do is to choose a set of (mathematical) axioms. If you don't know exactly what axioms you need when you start, you will of course have to be prepared to modify your list as you go along, but it's essential that you have a list, because every theorem is a statement of the form "if A then B", so if you don't keep track of what your A is, you have nothing.

You really just have to specify what you're looking for. For example, you can look for a connected topological group of smooth bijections on [tex]\mathbb R^4[/tex] that take straight lines to straight lines...and (insert something about isotropy and whatever else you need here).

Isotropy can enter the picture in many ways, I think. This article assumes that the group you're looking for has the rotation group as a subgroup. That can be interpreted as a statement about isotropy. That's probably the most elegant way to do it.
 
  • #3
Thanks for the article, I will read it more carefully later, but at a first glance, it seems to me that he just assumes f = 1. If I assume it as well, then everything is nice, I get wat it seems to be the invariance group of (that kind of) physics, with rotations and translations, and I don't have to masturbate my mind too much.

I intended something different. Is there a reason to select the f = 1 subgroup of the conformal group? You can say: yes, the reason is that you get the correct Poincaré group and you discard, for example, dilations, which don't mean anything in the framework of special relativity. That's good for me, but what has Homogeneity and Isotropy to do with all this?
 
  • #4
Fredrik said:
The whole business of "deriving" such results is a bit of a mess, because people always want to take non-mathematical statements like Einstein's postulates as the starting point. It obviously isn't possible to derive something mathematical from something non-mathematical, so the first thing you have to do is to choose a set of (mathematical) axioms.

Your point of view on the relationship between physics and mathematics is idiosyncratic, and, IMO, completely wrong. Einstein derived mathematical results from physical axioms in his 1905 paper on SR.
 
  • #5
bcrowell said:
Your point of view on the relationship between physics and mathematics is idiosyncratic, and, IMO, completely wrong. Einstein derived mathematical results from physical axioms in his 1905 paper on SR.
You've said so before, but your arguments are empty IMO. Last time, you said that "derivation" means something different to physicists than it does to mathematicians. I agree, but I would say that this is because 99.99% of all physicists have never bothered to really think these things through. And just because Einstein did something in a certain way back in 1905 doesn't mean that we can't do better in 2010.
 
  • #6
Petr Mugver said:
Thanks for the article, I will read it more carefully later, but at a first glance, it seems to me that he just assumes f = 1. If I assume it as well, then everything is nice, I get wat it seems to be the invariance group of (that kind of) physics, with rotations and translations, and I don't have to masturbate my mind too much.

I intended something different. Is there a reason to select the f = 1 subgroup of the conformal group? You can say: yes, the reason is that you get the correct Poincaré group and you discard, for example, dilations, which don't mean anything in the framework of special relativity. That's good for me, but what has Homogeneity and Isotropy to do with all this?
Sorry about that. I thought he would cover that part in more detail. I haven't actually studied that part of the article very closely. I don't have time to really think about this now, but my first thought is that it can't have anything to do with homogeneity and isotropy. I think what you need to use is (a mathematical version of an aspect of) the principle of relativity, specifically the two observers will both predict that the other observer's clock is slow by the same factor.
 
  • #7
In answer to the OP, I have a fairly straightforward proof that in 1+1 dimensions, the Lorentz transformation must preserve area. The proof is given in appendix 1 of this book http://www.lightandmatter.com/area1book6.html . The axioms that are required for the proof are axioms 1, 2, and 3 from the list given in section 1.2. (In this treatment, constancy of c is a theorem rather than an axiom.) If area is preserved, then that also rules out arbitrary dilations.

Your OP outlines some reasons why it seems like dilations would not contradict the axioms you've listed. Therefore it seems like there must be an ingredient in the equal-area proof that you didn't anticipate. I think what's going on here is that your argument is talking about any group of transformations at all, with any kind of parameters. But the Lorentz boosts are labeled by a certain specific continuous parameter, v, which has a definite physical significance. In particular, v is a vector (a one-dimensional vector, in the simplified 1+1 case I discuss), and that means that the dependence of the Lorentz boosts on v is constrained by the axiom of homogeneity.
 
  • #8
I don't know the answer, but what I have heard is that for massless fields, eg. Maxwell's equations, then the full symmetry is the conformal group, but for massive fields eg. the electron field, then the full symmetry if the Poincare group.
 
  • #9
Petr Mugver said:
Hi. I want to talk about the derivation of the form of space-time transformations T between inertial references. As it's known, this is the Poincaré group, defined as the group that leaves invariant the (+,-,-,-) metric. This derives from two things: c is constant and space-time is homogeneous and isothropic. Now, I understand that the fact that c is constant defines the conformal group, that leaves the metric invariant up to a generic multiplicative number f(x,T) (that depends on the coordinates and, of course, on the transformation considered). But I don't understand why the homogeneity and isotropy implies f(x,T) = 1. Normally, by homogeneity I mean that if T(x) is in the group, then so does T(x) + a (a is a generic vector), and by isotropy I mean that also T(R(x)) (R is a generic rotation) is in the group. But this doesn't imply f = 1, as translations and rotations are already in the conformal group.

Somebody can explain?
What is the exact mathematical meaning of homogeneity and isotropy?

I am sorry for not keeping my promise to you! It was beyond my control.

Ok, I could not understand what you were trying to do. So, I will try to explain some relevant issues involved here. Because I do not know your background in physics, I might end up re-explaining few things from different angles.

The usual starting point is to consider a differentiable manifold M and use it as a mathematical model of our space-time. We then define what we mean by event, world line and inertial motion. In this model, an observer corresponds to a specific coordinate system [itex]F: \mathbb{R}^{4}\rightarrow M[/itex] covering the whole space-time manifold. To restrict the domain of application of our mathematical model, a set of general physical principles is needed. In special relativity, these are

(1) space and time are homogeneous (i.e., nothing special about the points of M).
(2) space is isotropic (i.e., no preferred direction).
(3)={(1) + (2)} the choice of coordinates on M is a matter of convenience and we speak of equivalent inertial observers.

From the mathematical point of view, the above two principles mean that the coordinates [itex]x^{a}[/itex] and [itex]\bar{x}^{a}[/itex], assigned by two sets of inertial observers to the same event, are related by a set of linear(*) invertable(**) functions, i.e., there exists a non-singular matrix A such that

[tex]\bar{x}^{a} = F^{a}(x) = A^{a}{}_{b}x^{b} + a^{a} \ \ (1)[/tex]

(*) Observe that the world line of a free particle is represented by a straight line in all inertial systems. Thus the function F(x) must map straight lines onto straight lines, and we conclude that it is a linear function.
(**) Regardless of how the equivalence of the observers (frames) is realized in practice, the equivalence relation has the structure of a group. Thus the matrix A is non-singular.
A part from being non-singular, the transformation matrices A are still arbitrary. Indeed, nothing we have said so far requires these matrices to have certain property. Thus another physical principle is needed:
(4) the velocity of light signal is a constant independent of the relative motion of observers.
This means the following: suppose [itex]P(x)\equiv P(\bar{x})[/itex] and [itex]Q(x + dx) \eqiv Q(\bar{x} + d\bar{x})[/itex] are two points lying on the world line of a photon. Then the requirement that two observers find the same speed of light, means

[tex]ds^{2} = \eta_{ab}dx^{a}dx^{b} = 0[/tex]

if and only if

[tex]d\bar{s}^{2} = \eta_{ab}d\bar{x}^{a}d\bar{x}^{b} = 0[/tex]

Or, in matrix form

[tex]ds^{2} = (dx)^{t} \eta (dx) = 0[/tex]

if and only if

[tex]d\bar{s}^{2} = (dx)^{t} A^{t} \eta A (dx) = 0[/tex]

Hence the two symmetric matrices [itex]\eta[/itex] and [itex]A^{t}\eta A[/itex] generate the same light cone

[tex]C = \{x^{a}| (x^{0})^{2} - (x^{1})^{2}- (x^{2})^{2} - (x^{3})^{2} = 0 \}[/tex]

But then they must be proportional:

[tex]A^{t} \eta A = \alpha \eta [/tex]

Or, if we do not want to use the linear transformation law, just

[tex]d\bar{s}^{2} = \alpha ds^{2}[/tex]

So, let us organise what we said so far by saying that the theory of special relativity can be based on two allegedly equivalent sets of principles:
SET A:
(1)two inertial observers are related by linear transformations

[tex]\bar{x} = F_{21}(x) = Ax + a \ \ \ (1)[/tex]

(2)speed of light is equal to 1. This led to the condition

[tex]A^{t} \eta A = \alpha \eta \ \ \ (2)[/tex]
which attaches a proportionality factor [itex]\alpha[/itex] to the above linear transformation.

SET B:

(1)space and time are homogeneous.
(2)Space is isotropic.
(3)Speed of light is 1;

[tex]d\bar{s}^{2} = \alpha ds^{2} \ \ \ (3)[/tex]


We will now show that both sets independently imply [itex]\alpha = +1[/itex] and that eq(1) represents the most general [itex]\alpha = 1[/itex] solution of eq(3).


SET A:
From eq(2) it follows that

[tex](\det A)^{2} = \alpha \ \ \ (4)[/tex]

Thus, [itex]\alpha[/itex] is strictly positive number.
The inverse transformation [itex]F_{12}[/itex] is given by

[tex] x = F_{12}(\bar{x}) = A^{-1} \bar{x} - A^{-1}a[/tex]

Thus [itex]F_{12}[/itex] is characterized by the matrix [itex]A^{-1}[/itex]. A simple manipulation of eq(2) gives us

[tex](A^{-1})^{t} \eta (A^{-1}) = \frac{1}{\alpha}\eta[/tex]

So the proportionality factor corresponding to [itex]F_{12}[/itex] is [itex]\frac{1}{\alpha}[/itex]. As the two systems are equivalent, we conclude that

[tex]\frac{1}{\alpha} = \alpha \ \ \Rightarrow \alpha^{2} = 1[/tex]

and from eq(4) it follows that [itex]\alpha = +1[/itex].

SET B:
Notice that the relative velocity [itex]\vec{v}_{21}[/itex] and coordinate x are the only variables available for [itex]\alpha[/itex] to depend on. So, let us assume that [itex]\alpha = \alpha (x^{a}, \vec{v}_{21})[/itex].But because of the principles (1) and (2), [itex]\alpha[/itex] can only be a function of the absolute value of the relative velocity, i.e.,

[tex]\alpha = \alpha ( |\vec{v}_{21}| ) = \alpha ( |\vec{v}_{12}| )[/tex]

Since there is nothing special about the primed observer, it is also true that

[tex]ds^{2} = \alpha ( |\vec{v}_{12}| ) d\bar{s}^{2}[/tex]

This, together with eq(3) of principle (3), leads to

[tex]\alpha ( |\vec{v}_{12}| ) = \pm 1 \ \ \forall |\vec{v}_{21}|[/tex]

Before choosing one of the above values, observe that [itex]\alpha[/itex] can not be equal to (+1) for some [itex]|v|[/itex] and (-1) for other [itex]|v|[/itex], for this would means that there exists an [itex]|v|[/itex] for which [itex]-1< \alpha < +1[/itex] which is impossible.
Since, for identical observers (the identity transformation) we have

[tex]d\bar{s}^{2} = ds^{2} \ \ (5)[/tex]

with [itex]\alpha = +1[/itex]. Therefore continuity implies that

[tex]\alpha ( |\vec{v}| ) = +1 \ \ \forall |\vec{v}|[/tex]

Ok, let us now solve eq(5). For this purpose we consider an arbitrary infinitesimal coordinates transformation

[tex]\bar{x}^{a} = x^{a} + f^{a}(x)[/tex]

Inserting this in eq(5) leads to the following homogeneous PDE

[tex]\partial^{a}f^{b} + \partial^{b}f^{a} = 0[/tex]

This has the following general solution

[tex]f^{a}(x) = \omega^{a}{}_{c}x^{c} + \epsilon^{a}[/tex]

where [itex]\omega^{ab} = - \omega^{ba}[/itex] and [itex]\epsilon^{a}[/itex] are the infinitesimal integration constants.
Form this we find our finite linear transformation

[tex]\bar{x} = \Lambda (\omega) x + a[/tex]

where

[tex]\Lambda^{t}\eta \Lambda = \eta \ \ (6)[/tex]

Before considering the conformal transformation, I would like to say one last thing about the meaning of the proportionality factor that can appear in the linear transformation law. Notice that eq(6) does not determine the matrix [itex]\Lambda[/itex] uniquely! Indeed, if [itex]\lambda(\Lambda)[/itex] is a function of [itex]\Lambda[/itex] with the property [itex]\lambda^{2} = 1[/itex], then [itex]\Lambda \rightarrow \lambda(\Lambda) \Lambda[/itex] leaves eq(6) invariant.
So, what does it mean for the observers to be related by linear transformation of the form [itex]\bar{x}^{a} = \lambda \Lambda^{a}{}_{b}x^{b} + a^{a}[/itex]?
It is a scale factor that arises because nothing we have said after eq(6) requires both observers to use the same scale of length. If we require that all observers choose the same standard of length, then we can argue that [itex]\lambda[/itex] must always be 1. Indeed, it is easy to show that [itex]\lambda(\Lambda) = +1[/itex] for all proper orthochronous [itex]\Lambda[/itex].

**********


In Minkowski space-time, conformal transformation is the only answer to the following question;
What is the most general coordinates transformation that preserves the light-cone structure in the sense of

[tex]d\bar{s}^{2} = S(x) ds^{2}[/tex]

i.e. locally scaling the metric by a positive scalar field S(x)?
We can show, see post #1 in
www.physicsforums.com/showthread.php?t=172461
that these transformation have the form

[tex]
\bar{x}^{a} = \lambda \Lambda^{a}{}_{b}\left( \frac{x^{b} - c^{b}x^{2}}{1 - 2c.x + c^{2}x^{2}}\right) + a^{a}
[/tex]
The non-linear nature of these transformations represents the fact that space-time need not be necessarily homogeneous or isotropic. The absence of these properties is presented by the fixed vector [itex]c^{a}[/itex] (the conformal parameters). Notice that the transformation relating two inertial observers must have [itex]c^{a} = 0[/itex] because otherwise (1) the transformation becomes singular along the surface [itex]1 - 2c.x + c^{2}x^{2} = 0[/itex], and (2) inertial motions in the [itex]x[/itex]-system appear to be accelerated in the [itex]\bar{x}[/itex]-system.

Good luck

sam
 
  • Like
Likes vanhees71 and ShayanJ
  • #10
samalkhaiat said:
I am sorry for not keeping my promise to you! It was beyond my control.

Man! Don't worry! After such a comprehensive explanation!

samalkhaiat said:
I do not know your background in physics,

I'm familiar with special and general relativity, the latter not being presented in a "too elegant" way, i.e. indices are welcome, but not equation involving [tex]\phi^*[/tex] maps, duals and biduals spaces, fibre bundle spaces etc, because when I encounter these objects I always choose a coordinate system and write them with indices anyway, so I'm much happier when the writer has done this work for me! Your notation was perfect.

Regarding group theory, same story. I'm familiar with the "usual groups" (galilean, poincaré, SU(n),...) as they are typically applied to QFT, so no problem with representations, structure constants and central charges, but please don't come to me with para-compact spaces and theorems with weird mathematicians names!

samalkhaiat said:
I could not understand what you were trying to do.

In quick words.

1)

Conformal group = set of invertible transformations T: unprimed -> primed that preserve speed of light:

[tex]ds=0\Rightarrow ds'=0[/tex]

which implies

[tex]ds'^2=f(x,T)ds^2[/tex]

2)

Poincaré group = set of T that preserve the interval:

[tex]ds'=ds[/tex]

so it is the subgroup of the conformal group with f = 1.

This implies that the jacobian of T is a Lorentz matrix independent of the point, so in particular it's a linear affine transformation that sends straight lines to straight lines.

My question was how isotropy and homogeneity (physical requirements) mathematically select the f = 1 elements of the conformal group. I don't like "T sends lines to lines" because then why not "T sends parabolas to parabolas"? This seems to rely on Newtonian mechanics of uniform motion.
 
Last edited:
  • #11
Petr Mugver said:
My question was how isotropy and homogeneity (physical requirements) mathematically select the f = 1 elements of the conformal group.

What do you call "conformal group? The 11-parameter one or 15-parameter one?
 
  • #12
The one such that ds = 0 => ds' = 0: 15 parameters.
 
  • #13
Petr Mugver said:
The one such that ds = 0 => ds' = 0: 15 parameters.

Then, you should rule out those that give rise to singularities. You do not want to have singularities, right? And denominators of special conformal transformations have zeros. What remains is 11-parameter group. On the other hand you can abandon [tex]R^4[/tex] as the arena and move to a homogeneous space of the full 15-parameter conformal group, where it acts without singularities. Your choice.
 
Last edited:
  • #14
I don't like "T sends lines to lines" because then why not "T sends parabolas to parabolas"?

But this is exactly what it is! Parabola implies (and is implied by) the existence of force field. The presence of force field 1) defines a preferred direction,( i.e., space is no longer isotropic) and 2) assigns different physical properties to different points, (i.e., spacetime is no longer homogeneous).
It is the absence of forces (i.e., the presence of linear motions) that gives spacetime its homogeneous and isotropic structures.
So, as I said in the last post, to go from conformal transformation to Poincare’ transformation (by imposing homogeneity and isotropy), you need to get rid of accelerations in all coordinate systems. This means, you need to make your transformation linear by setting the (special) conformal parameters [itex]c^{a}[/tex] equal to zero.
For the sake of completeness, I will now prove what I have stated (without proof) in the last post. That is, when we require all observers to use the same length of scale, then [itex]\lembda (\Lambda ) = 1[/itex] for all [itex]\Lambda[/itex].

Putting [itex]c^{a}=0[/itex] in the conformal transformation gives

[tex]\bar{x}^{a} = \lambda \Lambda^{a}{}_{b}x^{b} + a^{a}[/tex]

Now consider the class of observers who agree on a single event to be the origin of their coordinates systems. Any two such observers are related by

[tex]\bar{x} = \lambda \Lambda x[/tex]

Observe that there cannot be two observers related to the x-observer by the same matrix [itex]\Lambda[/itex] but different [itex]\lambda[/itex]. Indeed, if

[tex]\bar{x}=\lambda_{1}\Lambda x, \ \ \bar{y}=\lambda_{2}\Lambda x,[/tex]

these two observers would be related to each other by

[tex]\bar{x} = \frac{\lambda_{1}}{\lambda_{2}}\bar{y}[/tex]

and would not agree on the standard of length. Thus we must have

[tex]\lambda_{1} = \lambda_{2} = \lambda(\Lambda)[/tex]

Furthermore, any other observer must obtain the same function [itex]\lambda(\Lambda)[/itex], since there is now nothing special about the x-observer.
Next, by comparing the transformations

[tex]
\bar{x}= \lambda(\Lambda_{1}) \Lambda_{1}y, \ \ y = \lambda(\Lambda_{2})\Lambda_{2} x
[/tex]

with

[tex]\bar{x} = \lambda(\Lambda_{1}\Lambda_{2}) \Lambda_{1}\Lambda_{2}x[/tex]
we find that the function [itex]\lambda(\Lambda)[/itex] forms a representation of Lorentz group;

[tex]\lambda(\Lambda_{1})\lambda(\Lambda_{2}) = \lambda(\Lambda_{1}\Lambda_{2})[/tex]

But the only one dimensional representation of the proper orthochronous Lorentz group is the identity representation. Thus, as I claimed in the last post,

[tex]\lambda(\Lambda) = 1, \ \ \ \forall \Lambda[/tex]

I think I have covered almost everything.

Regards

sam
 

Related to Conformal group -> Poincaré group

1. What is the Conformal group?

The Conformal group is a mathematical concept that describes the symmetries of geometric objects in space. It includes all the transformations that preserve angles and ratios of distances on a given object.

2. How is the Conformal group related to the Poincaré group?

The Poincaré group is a subgroup of the Conformal group. It is a more specific group that includes all the transformations that preserve the speed of light and the structure of space and time.

3. What are the main applications of the Conformal group?

The Conformal group has a wide range of applications in different fields, including physics, engineering, and computer graphics. It is used to study the symmetries of physical systems, as well as to design and analyze complex structures and patterns.

4. How is the Conformal group used in physics?

In physics, the Conformal group is important for understanding the symmetries of space and time in different physical theories. It is used in the study of special relativity, quantum field theory, and other areas of physics to describe the behavior of particles and fields under different transformations.

5. Are there any real-life examples of the Conformal group?

Yes, the Conformal group has many real-life examples, such as the symmetry of a circle, which remains unchanged under rotation and scaling. It also describes the shape of a soap bubble, which is invariant under conformal transformations.

Similar threads

Replies
1
Views
665
  • Special and General Relativity
Replies
7
Views
1K
  • Special and General Relativity
2
Replies
41
Views
2K
  • Special and General Relativity
Replies
29
Views
1K
  • Special and General Relativity
Replies
22
Views
2K
  • Special and General Relativity
Replies
4
Views
1K
  • Special and General Relativity
Replies
2
Views
841
  • Special and General Relativity
Replies
7
Views
1K
  • High Energy, Nuclear, Particle Physics
Replies
27
Views
3K
  • Special and General Relativity
Replies
5
Views
1K
Back
Top