Is poincare group simply connected?

  • Thread starter Thread starter andrea.dapor
  • Start date Start date
  • Tags Tags
    Group Poincare
andrea.dapor
Messages
4
Reaction score
0
(I posted this in Particle Physics too)

We call a group G "simply connected" if every curve C(t) in G which is closed (that is, C(0) = C(1) = I) can be continuously deformed into the trivial curve C'(t) = I (where I is the unit element in G). This is formalised saying that, for each closed C(t), there exists a continuous function F: [0, 1]x[0, 1] -> G such that

1) F(0, t) = C(t), for all t
2) F(1, t) = I, for all t
3) F(s, 0) = F(s, 1) = I, for all s

Now, Wald (General Relativity, 1984) says that the Poincare group is not simply connected, beacuse in particular for a rotation of LaTeX Code: 2\\pi about an axis - say z - such a function F does not exist.

My question follows.
Consider the function

F(s, t) := sI + (1 - s)C(t),

where C(t) is the closed curve in Poincare group G associated to a rotation of LaTeX Code: 2\\pi about z, that is,

C(t) =
(1 0 0 0)
(0 cos2\pi t -sin2\pi t 0)
(0 sin2\pi t cos2\pi t 0)
(0 0 0 1)

with t in [0, 1].
This F seems to verify (1)-(3)... where is my mistake?

I thank you for your help, and apologize for the "matrix" above...
 
Physics news on Phys.org
It seems like your formula for F could be used to prove that *any* closed curve can meet the requirements; you've set it up so that all three conditions are automatically satisfied if C(0) = C(1) = I. Since there are certainly groups which are not simply connected, you must be leaving something out. I suspect what you're leaving out is that F, for the C(t) you've given, is not continuous.
 
Is t\mapsto F(s,t) a curve in the Poincaré group for every s in [0,1]?

Think about a closed curve around a torus for example. If your "deformed curve" isn't required to be a curve in the torus, then you can obviously shrink it to a point by cutting through the torus. This only indicates that \mathbb R^3 is simply connected, not that a torus is.

I recommend that you don't post in two places, and that you use tex or itex tags for the Latex next time.
 
Ok, problem solved (in Particle Physics): I idiotically thought that if I and C(t) were in G, then also a linear combination such as sI + (1 - s)C(t) would be in G. This is false, since we are talking of a GROUP, not of a linear space! In fact, even sI is not in G (if s is not 1), since its determinant is not 1 (and hence it is not a Lorentz transformation)! The function F must be constructed using only matrix product between poincare transformations - i.e., using the group-product of G.
Sorry for my stupidity, and thanks anyway.

About the post, i put it in both the places since it concerned both the subjects, Special Relativity and Quantum Field Theory (the fact that poincare group isn't simply connected justifies the introduction of spinors).
About Latex, i tried to use it, but "advanced tools" such as "\begin{array}" (for matrices) were not accepted...
 
andrea.dapor said:
About Latex, i tried to use it, but "advanced tools" such as "\begin{array}" (for matrices) were not accepted...
You probably just forgot the annoying "cc" syntax:

\left(\begin{array}{cc}a & b\\ c & d\\ e & f\end{array}\right)

I prefer \begin{pmatrix} for matrices.
 
OK, so this has bugged me for a while about the equivalence principle and the black hole information paradox. If black holes "evaporate" via Hawking radiation, then they cannot exist forever. So, from my external perspective, watching the person fall in, they slow down, freeze, and redshift to "nothing," but never cross the event horizon. Does the equivalence principle say my perspective is valid? If it does, is it possible that that person really never crossed the event horizon? The...
From $$0 = \delta(g^{\alpha\mu}g_{\mu\nu}) = g^{\alpha\mu} \delta g_{\mu\nu} + g_{\mu\nu} \delta g^{\alpha\mu}$$ we have $$g^{\alpha\mu} \delta g_{\mu\nu} = -g_{\mu\nu} \delta g^{\alpha\mu} \,\, . $$ Multiply both sides by ##g_{\alpha\beta}## to get $$\delta g_{\beta\nu} = -g_{\alpha\beta} g_{\mu\nu} \delta g^{\alpha\mu} \qquad(*)$$ (This is Dirac's eq. (26.9) in "GTR".) On the other hand, the variation ##\delta g^{\alpha\mu} = \bar{g}^{\alpha\mu} - g^{\alpha\mu}## should be a tensor...
ASSUMPTIONS 1. Two identical clocks A and B in the same inertial frame are stationary relative to each other a fixed distance L apart. Time passes at the same rate for both. 2. Both clocks are able to send/receive light signals and to write/read the send/receive times into signals. 3. The speed of light is anisotropic. METHOD 1. At time t[A1] and time t[B1], clock A sends a light signal to clock B. The clock B time is unknown to A. 2. Clock B receives the signal from A at time t[B2] and...

Similar threads

Replies
26
Views
1K
Replies
11
Views
2K
Replies
16
Views
3K
Replies
1
Views
2K
Replies
26
Views
1K
Back
Top