Explore Geometry of Symmetric Spaces & Lie Groups on PF

[garrett]

Let me answer that last question, since I was just being lazy. Also, I want to put delta functions into raise and lower the indices properly -- which has been bothering me.

$$\underrightarrow{e}=\underrightarrow{dx^i} \left( \delta_i^B \frac{\sin(r)\cos(r)}{r} + \delta_{ij} x^j x^B ( \frac{1}{r^2} - \frac{\sin(r)\cos(r)}{r^3} ) - \delta^{BC} \epsilon_{ikC} x^k \frac{\sin^2(r)}{r^2} \right) \sigma_B$$

 

[Taoy]

Let me answer that last question, since I was just being lazy. Also, I want to put delta functions into raise and lower the indices properly -- which has been bothering me.

Yay :) That was bothering me too.

p.s. have had great conversations with Hestenes and Lasenby (more the former); Doran had to cancel so no low-down on BHs.

 

[Taoy]

Correct! So, choosing either set of Killing vector fields to be the orthonormal basis vectors gives the same metric for SU(2). I like to choose $\vec{e_A}=\vec{\xi'_A}$ because they have the nice property that ${\cal L}_{\vec{\xi_A}} \vec{e_B} = 0$, and the $\vec{\xi_A}$ Killing vector fields have the same commutation relations as the su(2) generators, $T_A$.

Hmm, so from the perspective of the metric the different between left and right invariant fields gets hidden; they are separate and distinct at the level of the vierbein though. What's the geometric meaning of this?

 

[garrett]

Sorry to take so long to reply -- I was away for a few days, at my sister's wedding.

What's the geometric meaning of this?

Well, remember that the vielbein and metric are things we just decided to impose on our group manifold. All we really have are the two sets of three vector fields associated with the flows generated by the three generators acting from the left or right. We then chose a metric so that these flows would be symmetries, and chose a vielbein so the Lie derivative of the vielbein with respect to the Killing vectors associated with left acting generators was zero. As it happens, the vector fields associated with right acting generators, equal to the vielbein vectors, are also Killing.

What this implies, relating to Kaluza-Klein theory, is that this SU(2) manifold has more symmetries than just SU(2) -- it has SU(2)xSU(2) as its symmetry group. We can however use group theory to trim a dimension off of our SU(2) manifold to make one that only has SU(2) symmetry -- this is called a symmetric space, or coset space.

But first, we should define what a covariant derivative is, and a connection, and calculate what the connection should be for our SU(2) manifold and choice of frame.

 

[garrett]

OK, the set of Clifford algebra vectors, $\gamma_\alpha$, are the basis elements for the flat space that is the rest frame at each manifold point. In differential geometry, these basis elements comprise a local trivialization of the Clifford fiber. The covariant derivative,
$$\underrightarrow{\nabla} = \underrightarrow{dx^i} \nabla_i$$
keeps track of how these basis elements rotate as one moves around on the base manifold:
$$\underrightarrow{\nabla} \gamma_\alpha = \underrightarrow{\omega} \times \gamma_\alpha$$
(That should be somewhat familiar from a month ago in this thread, when we discussed Clifford rotations.) The spin connection is a bivector valued 1-form,
$$\underrightarrow{\omega} = \underrightarrow{dx^i} \frac{1}{2} \omega_i{}^{\alpha \beta} \gamma_{\alpha \beta}$$
So, using this, the covariant derivative of any Clifford valued field is
$$\underrightarrow{\nabla} C = \underrightarrow{\partial} C + \underrightarrow{\omega} \times C$$

Now, since we now have a frame and a covariant derivative, the first nice object we build is the torsion, a Clifford vector valued 2-form,
$$\underrightarrow{\underrightarrow{T}} = \underrightarrow{\nabla} \underrightarrow{e} = \underrightarrow{\partial} \underrightarrow{e} + \underrightarrow{\omega} \times \underrightarrow{e}$$
If we insist that our connection be torsion free, as we often will, then we can solve
$$0 = \underrightarrow{\partial} \underrightarrow{e} + \underrightarrow{\omega} \times \underrightarrow{e}$$
explicitly for the spin connection. It's not so easy to find, but this equation has a closed form solution!

Here's a question:
What's the above equation look like if we write it out in components?
I'll begin:
$$0 = \partial_{\left[ i \right.} \left( e_{\left. j \right]} \right)^\alpha + ?$$

 

[Taoy]

Let me answer that last question, since I was just being lazy. Also, I want to put delta functions into raise and lower the indices properly -- which has been bothering me.

$$\underrightarrow{e}=\underrightarrow{dx^i} \left( \delta_i^B \frac{\sin(r)\cos(r)}{r} + \delta_{ij} x^j x^B ( \frac{1}{r^2} - \frac{\sin(r)\cos(r)}{r^3} ) - \delta^{BC} \epsilon_{ikC} x^k \frac{\sin^2(r)}{r^2} \right) \sigma_B$$

Wait; how many Clifford bases are we using here? Are you using $\sigma_B \equiv \gamma_B$, or are these bases separate and distinct?

 

[garrett]

Wait; how many Clifford bases are we using here? Are you using $\sigma_B \equiv \gamma_B$, or are these bases separate and distinct?

Ah, sorry, good question -- and answer. I use $\gamma_\alpha$ for the general case of Clifford vector elements, and in this specific case of our three dimensional group manifold we do have $\sigma_B = \gamma_B$ -- so feel free to interchange sigma's for gamma's, and Greek indices for capital latin ones.

 

[Taoy]

(This post has been corrected.)

What's the above equation look like if we write it out in components?
I'll begin:
$$0 = \partial_{\left[ i \right.} \left( e_{\left. j \right]} \right)^\alpha + ?$$

Well expanded it looks like,

$$0 = \underrightarrow{dx^i} \underrightarrow{dx^j} \left( \partial_i (e_j)^\alpha \gamma_\alpha + \frac{1}{2} \omega_i{}^{\mu \nu} (e_j)^\alpha \gamma_{\mu \nu} \times \gamma_\alpha \right)$$

So, what is the clifford commutator? I would write:

$$\begin{align*} \gamma_{\mu \nu} \times \gamma_\alpha & = \frac{1}{2} \left( \gamma_\mu \wedge \gamma_\nu \gamma_\alpha - \gamma_\alpha \gamma_\mu \wedge \gamma_\nu \right) \\ & = \frac{1}{2} \left( \gamma_\mu \wedge \gamma_\nu \cdot \gamma_\alpha + \gamma_\mu \wedge \gamma_\nu \wedge \gamma_\alpha - \gamma_\alpha \cdot \gamma_\mu \wedge \gamma_\nu - \gamma_\alpha \wedge \gamma_\mu \wedge \gamma_\nu \right) \\ & = \frac{1}{2} \left( \gamma_\mu \wedge \gamma_\nu \cdot \gamma_\alpha - \gamma_\alpha \cdot \gamma_\mu \wedge \gamma_\nu \right) \\ & = \frac{1}{2} \left( \gamma_\mu \delta_{\nu \alpha} - \gamma_\nu \delta_{\mu \alpha} - \delta_{\alpha \mu} \gamma_\nu + \delta_{\alpha \nu} \gamma_{\mu} \right) \\ & = \gamma_\mu \delta_{\nu \alpha} - \gamma_\nu \delta_{\mu \alpha} \end{align*}$$

therefore,

$$0 = \underrightarrow{dx^i} \underrightarrow{dx^j} \left( \partial_i (e_j)^\mu + \frac{1}{2} (\omega_i{}^{\mu \nu} - \omega_i{}^{\nu \mu}) (e_j)^\alpha \delta_{\nu \alpha} \right) \gamma_\mu$$

and so the components are,

$$\partial_{[i} (e_{j]})^\mu + \frac{1}{2} (\omega_{[i}{}^{\mu \nu} - \omega_{[i}{}^{\nu \mu}) (e_{j]})^\alpha \delta_{\nu \alpha}$$

 

[garrett]

Sign error, probably because you insist on using that evil wedge. ;)
The cross product is defined as
$$A \times B = \frac{1}{2} ( AB - BA )$$
and the bivector basis elements are
$$\gamma_{\mu \nu} = \gamma_\mu \times \gamma_\nu$$
The derived identity you need is
$$\gamma_{\mu \nu} \times \gamma_\alpha = \gamma_\mu \delta_{\nu \alpha} - \gamma_\nu \delta_{\mu \alpha}$$

 

[Taoy]

Sign error, probably because you insist on using that evil wedge. ;)

Pah! :) In that context the wedge is just as evil as that evil $\times$ :). No, it was just me using the wrong sign :). I was in a hurry to get to a class, so I wasn't as careful as I should have been. I'll fix the original post (so as to avoid unnecessary bad posts :).

 

[garrett]

Yep, that's it. Only $\omega_{i}{}^{\nu \mu}$ is antisymmetric in the last two indices, and we can use the delta to lower an index, so in components the equation
$$0 = \underrightarrow{\partial} \underrightarrow{e} + \underrightarrow{\omega} \times \underrightarrow{e}$$
is equivalent to
$$0 = \partial_{[i} (e_{j]})^\mu + \omega_{[i}{}^\mu{}_\alpha (e_{j]})^\alpha$$
or, if you like doing things half way, and want to write it in terms of the frame 1-forms,
$$0 = \underrightarrow{\partial} \underrightarrow{e}^\mu + \underrightarrow{\omega}^\mu{}_\alpha \underrightarrow{e}^\alpha$$

 

[garrett]

This is a famous equation called "Cartan's first structure equation." Remarkably, it is solvable for the spin connection. To find the solution, it is convenient to define this intermediate quantity:
$$\underrightarrow{\underrightarrow{f}} = \underrightarrow{\partial} \underrightarrow{e}$$
the "anholonomy," a Clifford vector valued 2-form. The not so famous solution of Cartan's first structure equation,
$$0=\underrightarrow{\underrightarrow{f}} + \underrightarrow{\omega} \times \underrightarrow{e}$$
is
$$\underrightarrow{\omega} = - \vec{e} \times \underrightarrow{\underrightarrow{f}} + \frac{1}{4} \left( \vec{e} \times \vec{e} \right) ( \underrightarrow{e} \cdot \underrightarrow{\underrightarrow{f}} )$$
How's that for a blaze of notation! Of course, to actually calculate anything we're going to have to slug it out with indices. To make things easier, we introduce the idea of using the frame or orthonormal basis matrices to change an index from latin coordinate indices to Greek frame labels and back again -- similar to the way we use delta to raise and lower Greek indices. This is consistent with the definition of the metric in terms of the frame, and the way it's often used to raise and lower indices. So, for example:
$$\omega_{i j}{}^\mu = \omega_{i \alpha}{}^\mu \left( e_j \right)^\alpha$$
In this way, Cartan's first structure equation is
$$0 = \frac{1}{2} f_{ij}{}^\mu - \omega_{\left[ i j \right]}{}^\mu$$
or, using
$$f_{\alpha \beta}{}^\mu = \left( e_\alpha \right)^i \left( e_\beta \right)^j \left( \partial_i \left( e_j \right)^\mu - \partial_j \left( e_i \right)^\mu \right)$$
it's simply
$$\frac{1}{2} f_{\alpha \beta}{}^\mu = \omega_{\left[ \alpha \beta \right]}{}^\mu$$
And using some index gymnastics gives the explicit solution,
$$\omega_{\alpha \beta \nu} = \frac{1}{2} \left( f_{\alpha \beta \nu} - f_{\beta \nu \alpha} + f_{\nu \alpha \beta} \right)$$
This is the closed form solution to Cartan's first structure equation, giving the spin connection coefficients in terms of the frame and its derivatives. It's use is equivalent in pain and practicality to calculating the Christoffel symbol coefficients from a metric. One could just plug in our frame and calculate... but we're going to be smarter. I think.

 

[garrett]

OK, so let's be smarter about this. We have this equation:
$$0 = \underrightarrow{\partial} \underrightarrow{e}^\mu + \underrightarrow{\omega}^\mu{}_\alpha \underrightarrow{e}^\alpha$$
and we want to calculate $\omega$, having already chosen a set of orthonormal basis vectors for our group manifold. Where did we get them again? We started with a relation between Killing vector flows and the action of our Lie algebra generators:
$$\vec{\xi'_B} \underrightarrow{\partial} g = g T_B$$
solved this for the Killing vector fields, and chose them to be our orthonormal basis vectors. Since it pops up everywhere, let's go ahead and assign a symbol to this Lie algebra valued 1-form, the Cartan form:
$$\underrightarrow{w} = g^- \underrightarrow{\partial} g = \underrightarrow{\xi'}^B T_B = \underrightarrow{e}^B T_B$$
The generator orthogonality relation then let us calculate the frame 1-forms as
$$\underrightarrow{e}^B = - \left< \underrightarrow{w} T^B \right>$$
We can also use this to calculate the exterior derivative of these 1-forms. The derivative of the Cartan form is
$$\underrightarrow{\partial} \underrightarrow{w} = (\underrightarrow{\partial} g^-)(\underrightarrow{\partial} g) = - g^- (\underrightarrow{\partial} g) g^- (\underrightarrow{\partial} g) = - \underrightarrow{w} \underrightarrow{w}$$
So the exterior derivative of the frame 1-forms is
$$\underrightarrow{\partial} \underrightarrow{e}^B = - \left< \underrightarrow{\partial} \underrightarrow{w} T^B \right> = \left< \underrightarrow{w} \underrightarrow{w} T^B \right> = \underrightarrow{e}^A \underrightarrow{e^C} \left< T_A T_C T^B \right> = ( \underrightarrow{e}^A \epsilon_{AC}{}^B ) \underrightarrow{e^C}$$
and comparing this with Cartan's first structure equation, which we're trying to solve, we see the solution:
$$\underrightarrow{\omega}^B{}_C = - \underrightarrow{e}^A \epsilon_{AC}{}^B$$
This means the spin connection coefficients (with frame label indices) are equal to minus the group structure constants
$$\omega_{ABC} = \epsilon_{ABC}$$
This is really neat, and it gets better. The spin connection bivector is
$$\underrightarrow{\omega} = \underrightarrow{e}^A \frac{1}{2} \epsilon_{A}{}^{CB} \sigma_{CB}$$
and, if you'll recall, the Lie algebra generators could also be expressed as Clifford bivectors,
$$T_A = \frac{1}{2} \epsilon_{A}{}^{CB} \sigma_{CB}$$
which means... drum roll please...
$$\underrightarrow{\omega} = \underrightarrow{e}^A T_A = \underrightarrow{w}$$
The spin connection bivector is Cartan's form.

Homework assignment:
Wrap your head around how cool that is!

 

[Mehdi_]

What is then the real use Cartan's first structure equation and the spin connection in what is above ?

 

[garrett]

The spin connection describes how the frame rotates as you move around on the manifold. Cartan's first structure equation is the mathematical embodiment of this statement.

 

[Mehdi_]

How can we write the spin connection (and the Cartan's first structure equation ) if the manifold is a simple torus ?

same question if the manifold now is $$z=5-x^2-y^2$$

 

[garrett]

How can we write the spin connection (and the Cartan's first structure equation ) if the manifold is a simple torus ?

0

same question if the manifold now is $$z=5-x^2-y^2$$

Ah, an embedded surface. That's going to take a couple of pages of algebra to work out the frame and connection. I encourage you to tackle it on a different thread. ;) I'll give you a hint though: treat this manifold as a parameterized surface, embedded in 3D, with coordinates (parameters) x and y. It's going to take some work to get the coefficients of two orthonormal tangent vectors over this surface,
$$\vec{e_1} = a \vec{\frac{\partial}{\partial x}} + b \vec{\frac{\partial}{\partial y}}$$
$$\vec{e_2} = c \vec{\frac{\partial}{\partial x}} + d \vec{\frac{\partial}{\partial y}}$$
, then more work to get the frame, and more to get the connection. Maybe start by choosing c=0, and solve for a,b,c.

I'll look in on the other thread and see how you're doing.

 

[Mehdi_]

Question 1: To calculate the spin connection of $$z=5-x^2-y^2$$ could we calculate first :
The metric, Ricci Rotation coefficients, christoffel symbols, those orthonomal basis (why not nonholonomic basis?), Riemann tensor, Ricci tensor, Ricci scalar, tetrad method and curvature one forms ??

Question 2: Why it is so important to know the curvature ? Does the spin connection (or maybe Cartan's first structure equation) give information about the curvature ?
Probably Riemann curvature tensor does ?...
What is the relation between the spin connection and Riemann curvature tensor ?

Question 3: Does the curvature give the strength of the field ?