Wolfram Alpha:
Search by keyword:
Astronomy
Chemistry
Classical Physics
Climate Change
Cosmology
Finance and Accounting
General Relativity
Lagrangian and Hamiltonian Mechanics
Macroeconomics
Mathematics
Microeconomics
Particle Physics
Probability and Statistics
Programming and Computer Science
Quantum Field Theory
Quantum Mechanics
Semiconductor Reliability
Solid State Electronics
Special Relativity
Statistical Mechanics
String Theory
Superconductivity
Supersymmetry (SUSY) and Grand Unified Theory (GUT)
test
The Standard Model
Topology
Units, Constants and Useful Formulas
The Essential Mathematics of Lie Groups
---------------------------------------
Abstract Lie Groups
-------------------
Lie groups lie at the intersection of two fundamental
fields of mathematics: group theory and differential
geometry. They are finite dimensional DIFFERENTIABLE
MANIFOLDS, G, together with a group structure on G
such that the group law, * (+ or .), and inversion
are smooth maps:
μ: G x G -> G
(g_{1},g_{2}) -> g_{1}*g_{2}
inverse: G -> G
g -> g^{-1}
The axioms regarding the identity and associativity
also apply.
Lie Algebra
-----------
Differentiable manifolds have tangent spaces. As such
a Lie group G has a tangent space, g. At first this
is just a vector space but the group structures on
the manifold give rise to an additional structure
of the tangent space. In a vector space, we cannot,
in general, multiply vectors, but in the case of a
tangent space to a Lie group we can. Specifically,
the tangent space is equipped with a multiplication
defined by the Lie bracket, i.e. x.y -> [x,y]. This
additional structure of the tangent space satisfies:
Closure: [a,b] = c (= 0 for abelian case)
Jacobi Identity: [x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0
All together this additional structure is called a
LIE ALGEBRA. More formally we can say a Lie algebra
over a Field, F, is a vector space over F endowed
with an operation [ , ]. In this context a field
is a set with additive and multiplicative operations
together with an additive and multiplicative inverse
(for non elements). A field as described. should not
be confused with a vector field.
Lie algebras are easier to calculate and locally
are a good approximation to the object they represent.
It is worth reiterating that the Lie algebra is
distinct from the group itself. Group operations
(. or +) pertain to G. In a group, you multiply
(or add) 2 elements together to get another element
of the group. In the corresponding algebra, which
lives in the tangent space, you take 2 elements of
the algebra, and commute them to get another element
of the algebra. The commutator is not defined on G
itself. In the additive case, G is abelian and
[,] = 0 since a + b = b + a.
Lie groups are CONTINUOUS groups. As a result,
multiplication tables don't work. Instead, it is
the commutator in the algebra that plays a role
similar to the multiplication law for the group.
Example:
Consider the group of real numbers under multiplication.
The real line of positive numbers is a manifold of
dimension 1. Equivalently it is a vector space over
the field R of real numbers (that is, over itself) of
dimension 1 (Note: A Vector Space is any set of
elements that can be added together and multiplied
by a scalar. The set of real numbers satisfy these
axioms and therefore forms a vector space.)
G = (ℝ\{0},.)
r_{1} = 2.03 and r_{2} = 3.06
Identity: 1
Multiplication: 2.03 x 3.06 = 5.09 ∈ G
Associativity: 2.03 x 3.06 = 3.06 x 2.03
Inverse: 2.03(1/2.03) = 3.06(1/3.06) = 1
It is easy to see that the commutator equals 0.
[2.03,3.06] = 2.03 x 3.06 - 3.06 x 2.03 = 0
Also,
[1.01,[2.03,3.06]] + [2.03,[3.06,1.01]] + [3.06,[1.01,2.03]] = 0
So G = (ℝ\{0},.) is an Abelian Lie group.
We will now look at Lie algebras in more detail.
We start by recognizing that manifolds are also
associated with vector fields.
Manifolds and Vector Fields
---------------------------
Prerequisite: 'The Essential Mathematics of
General Relativity'.
A vector field on a manifold can be defined as
a function that takes a point, P, in a manifold,
M, and gives back a vector, v, in T_{P} in M. Thus,
v: M -> T_{P}M such that v_{P} ∈ T_{P}M for all P ∈ M.
Since a vector field is an assignment of a tangent
space to each point in M, we can write the vector
fields, X and Y, at P in terms of tangent vectors:
X = x^{i}∂_{i} and Y = y^{i}∂_{i}
For example, in 2D we might have the vector field
X(x,y):
- - - -
X(x,y) = | xy || ∂_{x} | ≡ xy∂_{x} + (x + y)∂_{y}
| x + y || ∂_{y} |
- -
- -
At (2,1) and (2,2) we get the vectors | 2 | and
| 3 |
- -
- - (2,3) o (4,4) o
| 4 | which are ^ and ^ respectively.
| 4 | | /
- - (2,1) o (2,2) o
Dual Space
----------
dx^{j}∂_{i} = δ^{j}_{i}
Where dx^{j} are the dual basis vectors. Therefore,
dx^{j}X = dx^{j}x^{i}∂_{i} = x^{i}dx^{j}∂_{i} = x^{i}δ^{j}_{i} = x^{j}
When evaluated on a vector field, X, the dual
basis vectors return the components of X.
The Directional Derivative on Vector Fields
-------------------------------------------
Tangent vector ≡ directional derivative, v = d/dλ
= (dx^{i}/dλ)(∂/∂x^{i})
= x^{i}∂_{i}
Where x^{i} = dx^{i}/dλ are the components and ∂_{i} = ∂/∂x^{i}
are the bases.
Let f be a smooth differentiable scalar function
on the manifold, C^{∞}(M) then,
Xf = x^{i}∂_{i}f
Represents the change in f along a curve in the
direction of the tangent vector, v. This produces
a real number at the point P. SO THE VECTOR FIELD,
X, CAN BE INTERPRETED AS A DERIVATIVE OPERATOR.
X also obeys the product rule (fg)' = f'g + fg'.
Therefore,
X(fg) = (Xf)g + f(Xg)
Example.
- -
Suppose we have the tangent vector | 1 | = V and
| 2 |
- -
we want to find the value of f = x^{2} + y^{3} at the
point (1,0).
Xf = 1∂_{x}f + 2∂_{y}f
= (1)2x + (2)3y^{2}
At (1,0) we get:
Xf = 2
So the DD of f in the direction of the tangent
vector, V, at the point (1,0) is 2.
A concrete example of this would be the following.
Suppose X is a wind velocity field across the North
American continent and f is a temperature described
by a scalar function defined over the same area. An
airborne temperature probe caught in the wind field
would measure how the temperature changes as it drifts
across the continent.
Compare the DD with the divergence and curl:
divF = ∂F_{1}/∂x + ∂F_{2}/∂y = y + 1
curlF = (∂F_{2}/∂x - ∂F_{1}/∂y)k = (1 - x)k
The Lie Derivative on Vector Fields
-----------------------------------
Let X be a collection of all fields on M (i.e.
X ∈ Γ(M)). Let f be a function on M (i.e.
f ∈ C^{∞}(M)).
The Lie derivative of f, L_{X}f, is given by:
L_{X}f = x^{i}∂_{i}f
So the Lie derivative for a scalar is the directional
derivative discussed above.
The Lie derivative of a vector can be be found as
follows:
γ(λ) is called an INTEGRAL CURVE of the vector field.
Integral curves for an electric field or magnetic
field are known as field lines, and integral curves
for the velocity field of a fluid are known as
streamlines.
Consider:
x^{i'} = x^{i} + dx^{i}
= x^{i} + x^{i}dλ since x^{i} = dx^{i}/dλ
A vector, v^{i}, transforms as:
v^{i'}(x') = (∂x^{i'}/∂x^{j})v^{j}(x)
= [(∂x^{i'}/∂x^{j}) + (∂x^{i'}/∂x^{j})dλ]v^{j}(x)
= [δ^{i}_{j} + (∂_{j}x^{i})dλ]v^{j}(x)
= v^{i}(x) + (∂_{j}x^{i})v^{i}(x)dλ
We now use the expand v^{i}(x + dx) as a Taylor series
f(x + dx) ~ f(x) + f'(x)dx
v^{i}(x + dx) ~ v^{i}(x) + dx^{j}∂_{j}v^{i}(x)
But, dx^{i} = x^{i}dλ. Therefore,
v^{i}(x + dx) ~ v^{i}(x) + x^{j}∂_{j}v^{i}(x)dλ
L_{X}v^{i} = lim (v^{i}(x + dx) - v^{i}(x))/dλ
^{dλ->0}
= lim [[v^{i}(x) + x^{j}∂_{j}v^{i}(x)dλ]
^{dλ->0} - [v^{i}(x) + v^{i}(x)(∂_{j}x^{i})dλ]]/dλ
Therefore,
L_{X}v^{i} = x^{j}∂_{j}v^{i}(x) - v^{j}(x)(∂_{j}x^{i})
The Killing Vector
------------------
A vector field, K, is a Killing field if:
L_{X}g = 0
Where g is the metric.
This means that when you move the metric g a small
amount along K, g doesn't change.
A typical use of the Killing Field is to express a
symmetry in General Relativity (in which the geometry
of spacetime as distorted by gravitational fields is
viewed as a 4-dimensional Riemannian manifold). In a
static configuration, in which nothing changes with
time, the time vector will be a Killing vector, and
thus the Killing field will point in the direction of
the forward motion in time (i.e. g does mot change
with time).
Covariant vs Lie Derivative
---------------------------
The covariant derivative allows vectors in different
tangent spaces to be compared and relies on the
manifold being equipped with a connection. If you
have a vector X at one point, the connection tells
you what are the parallel vectors at nearby points.
In contrast, the Lie derivative evaluates the change
of one vector field along the flow of another vector
field.
The Lie Bracket on 2 Vector Fields
----------------------------------
Consider 2 vector fields and the aforementioned
scalar function, f:
L_{X}(L_{Y}f) = x^{i}∂_{i}(y^{j}∂_{j}f)
= x^{i}∂_{i}y^{j}∂_{j}f + x^{i}y^{j}∂^{2}_{ij}f
And,
L_{Y}(L_{X}f) = y^{i}(∂_{i}(x^{j}∂_{j}f))
= y^{i}∂_{i}x^{j}∂_{j}f + y^{i}x^{j}∂^{2}_{ij}f
The pesky term in each case is the ∂^{2}_{ij}f term
because coordinate transformations never contain
second derivatives. However, if we subtract the
2 results we get:
[L_{X}(L_{Y}f) - L_{Y}(L_{X}f)] = {x^{i}(∂_{i}y^{j}) - y^{i}(∂_{i}x^{j})}∂_{j}f ... 1.
The {} term is a new vector field with components
made from the 2 old vector fields (i.e. Z = Z^{j}∂_{j}).
We can write this is as:
[L_{X}(L_{Y}f) - L_{Y}(L_{X}f)] = {(x^{i}∂_{i})(y^{j}∂_{j}) - (y^{i}∂_{i})(x^{j}∂_{j})}f
... 2.
Knowing that X = x^{i}∂_{i} and Y = y^{i}∂_{i} enables us to
write:
L_{X}(L_{Y}f) - L_{Y}(L_{X}f) = [X,Y]f ≡ X(Yf) - Y(Xf)
We can also write 1. in the form:
[X,Y] = [X,Y]^{j}∂_{j} where [ ]^{j} ≡ { ... }
This is the LIE BRACKET. Because it is a vector
field it takes a point, P, in M and gives back a
tangent vector, X. Indeed the RHS has the structure
of a tangent vector.
The Lie bracket is often written as:
[X,Y] = J_{Y}X - J_{X}Y ... 3.
where J_{Y} and J_{X} are the JACOBEAN MATRICES of Y
and X respectively.
NOTE THAT THE LIE BRACKET OF 2 VECTOR FIELDS IS THE
SAME AS THE LIE DERIVATIVE OF 2 VECTOR FIELDS. i.e.
L_{X}Y = [X,Y]
-----------------------------------------------------
Aside:
A slightly simpler explanation of the above is:
XY = X^{μ}∂_{μ}(Y^{ν}∂_{ν})
Using the product rule:
= X^{μ}Y^{ν}(∂^{2}_{μν}) + X^{μ}(∂_{μ}Y^{ν})∂_{ν}
There is no particular interpretation for the second
derivative, and as we saw above, it does not transform
nicely. But suppose we take the commutator:
[X,Y] = XY - YX = X^{μ}(∂_{μ}Y^{ν})∂_{ν} - Y^{μ}(∂_{μ}X^{ν})∂_{ν}
The second derivatives cancel leaving the directional
derivative.
[X,Y] = (X^{μ}(∂_{μ}Y^{ν}) - Y^{μ}(∂_{μ}X^{ν}))∂_{ν}
= [X,Y]^{ν}∂_{ν}
Where [X,Y]^{ν} = (X^{μ}(∂_{μ}Y^{ν}) - Y^{μ}(∂_{μ}X^{ν})) are the components
of a new vector field made from the 2 old vector
fields.
-----------------------------------------------------
Example:
Consider the following 2 vector fields (tangent
vectors) on the 2-sphere. The 2 sphere is a 2D
surface that forms the boundary of a sphere in 3
dimensions.
- - - - - - - -
| y || ∂_{x} | | 0 || ∂_{x} |
X = | -x || ∂_{y} | Y = | z || ∂_{y} |
| 0 || ∂_{z} | | -y || ∂_{z} |
- - - - - - - -
Or,
X = x^{1}∂_{1} + x^{2}∂_{2} + x^{3}∂_{3}
Y = y^{1}∂_{1} + y^{2}∂_{2} + y^{3}∂_{3}
Therefore,
X = y∂_{1} - x∂_{2} and Y = z∂_{2} - y∂_{3}
Using equation 2. from above:
ΣΣ[x^{i}∂_{i},y^{j}∂_{j}]
^{i}^{j}
= [y∂_{x},z∂_{y}] + [y∂_{x},-y∂_{z}] + [-x∂_{y},z∂_{y}] + [-x∂_{y},-y∂_{z}]
= y∂_{x}(z)∂_{y} - z∂_{y}(y)∂_{x} = -z∂_{x}
+
y∂_{x}(-y)∂_{z} - (-y)∂_{z}(y)∂_{x} = 0
+
(-x)∂_{y}(z)∂_{y} - z∂_{y}(-x)∂_{y} = 0
+
(-x)∂_{y}(-y)∂_{z} - (-y)∂_{z}(-x)∂_{y} = x∂_{z}
= -z∂_{x} + x∂_{z}
- - - -
| -z || ∂_{x} |
= | 0 || ∂_{y} |
| x || ∂_{z} |
- - - -
Using equation 3. from above:
J_{X}:
- -
| ∂_{x}(y) ∂_{y}(y) ∂_{z}(y) |
| ∂_{x}(-x) ∂_{y}(-x) ∂_{z}(-x) |
| ∂_{x}(0) ∂_{y}(0) ∂_{z}(0) |
- -
J_{X}Y:
- - - - - -
| 0 1 0 || 0 | | z |
| -1 0 0 || z | = | 0 |
| 0 0 0 || -y | | 0 |
- - - - - -
Which is NOT a tangent vector.
J_{Y}:
- -
| ∂_{x}(0) ∂_{y}(0) ∂_{z}(0) |
| ∂_{x}(z) ∂_{y}(z) ∂_{z}(z) |
| ∂_{x}(-y) ∂_{y}(-y) ∂_{z}(-y) |
- -
J_{Y}X:
- - - - - -
| 0 0 0 || y | | 0 |
| 0 0 1 || -x | = | 0 |
| 0 -1 0 || 0 | | x |
- - - - - -
Which is also NOT a tangent vector.
However, J_{Y}X - J_{X}Y gives:
- - - - - -
| 0 | | z | | -z |
| 0 | - | 0 | = | 0 |
| x | | 0 | | x |
- - - - - -
Which IS a tangent vector.
So the 2 approaches give the same result.
We can envisage X and Y as 2 velocity fields.
Suppose we now move along X for a brief time t,
then along Y for another brief interval t. Next
we switch back to X, but with a minus sign for
time t, and then to Y with a minus sign for time
t. We have tried to retrace our path but we will
fail to return to our exact starting point.
Cross Product
-------------
If we consider the special case of vector fields
on the manifold R^{3}, the set of all smooth
vector fields forms an infinite-dimensional vector
space. In this instance the Lie bracket relates a
3-dimensional subspace of vector fields on R^{3} to
the cross product.
Note: This is a different case from the previous
example where 2 specific vector fields, X and Y,
on the specific manifold S^{2} illustrates
the general property that the Lie bracket of any
two vector fields on a manifold is itself a vector
field on the manifold. In that instance the
resulting vector has nothing to do with the cross
product of two vectors.
Example:
- - - - - - - - - - - -
| 0 || ∂_{x} | | z || ∂_{x} | | -y || ∂_{x} |
X = | -z || ∂_{y} | Y = | 0 || ∂_{y} | Z = | x || ∂_{y} |
| y || ∂_{z} | | -x || ∂_{z} | | 0 || ∂_{z} |
- - - - - - - - - - - -
J_{X}:
- -
| ∂_{x}(0) ∂_{y}(0) ∂_{z}(0) |
| ∂_{x}(-z) ∂_{y}(-z) ∂_{z}(-z) |
| ∂_{x}(y) ∂_{y}(y) ∂_{z}(y) |
- -
J_{X}Y:
- - - - - -
| 0 0 0 || z | | 0 |
| 0 0 -1 || 0 | = | x |
| 0 1 0 || -x | | 0 |
- - - - - -
J_{Y}:
- -
| ∂_{x}(z) ∂_{y}(z) ∂_{z}(z) |
| ∂_{x}(0) ∂_{y}(0) ∂_{z}(0) |
| ∂_{x}(-x) ∂_{y}(-x) ∂_{z}(-x) |
- -
J_{Y}X:
- - - - - -
| 0 0 1 || 0 | | y |
| 0 0 0 || -z | = | 0 |
| -1 0 0 || y | | 0 |
- - - - - -
J_{Y}X - J_{X}Y gives:
- - - - - -
| y | | 0 | | y |
| 0 | - | x | = | -x |
| 0 | | 0 | | 0 |
- - - - - -
The cross product is defined as:
(u_{x},u_{y},u_{z}) ^ (v_{x},v_{y},v_{z}) = (u_{y}v_{z} - u_{z}v_{y},u_{z}v_{x}
- u_{x}v_{z},u_{x}v_{y} - u_{y}v_{x})
= |u||v|sinθ
- - - - - -
| 0,-z,y | ^ | z,0,-x | = | zx,zy,y^{2} |
- - - - - -
Now,
x ^ y = z
y ^ x = -z
y ^ z = x
z ^ y = -x
z ^ x = y
x ^ z = -y
x^{2} = y^{2} = z^{2} = 0
Therefore,
- - - - - -
| 0,-z,y | ^ | z,0,-x | = | y,-x,0 |
- - - - - -
Left Invariant Vector Field
---------------------------
Any Lie group, G, acts on itself by left multiplication.
(recall that the only group operation is .). If h ∈
G is fixed, and g ∈ G, we denote this action by:
L_{g}: h -> gh
or,
L_{g}(h) = gh
This is interpreted as the translation of a point
h by g. We will show the justification for this
interpretation later when we discuss one-parameter
subgroups.
A vector field, X, is a function that takes a
point, h, in G (which in this case is also a
manifold) and gives back a vector, v_{h}, in T_{h}G.
Consider a vector field, X, at h, (X)_{h} We can
do 2 things:
1. We can evaluate X at another point g.
Therefore,
X(L_{g}h) is (X)_{h} evaluated at gh, (X)_{gh}.
2. We can take the tangent vector of X at h,
x_{h} and apply the pushforward, L_{g*}, to x_{g}
to get the vector at gh. Therefore,
L_{g*}x_{h} = x_{gh}
Let's look at this in more detail. From the
discussion 'The Essential Mathematics of
General Relativity' we had that the pushforward
of a tangent vector from a manifold M to a
manifold N is given by:
(φ*v)^{α}∂_{α} = (φ*)^{α}_{μ}v^{μ}∂_{α}
Where (φ*)^{α}_{μ} is the Jacobean.
If M and N are the same manifold then:
(φ*)v^{α}∂_{α} = v^{μ}∂_{μ}
We now replace φ by L (for left), v^{α}∂_{α} with x_{a}
and multiply by g to get:
L_{g*}x_{a} = x_{ga}
Therefore, L_{g*}, is a linear map from the
tangent space at h to the tangent space at
the point gh.
Now we can define:
L_{g*}(x_{h}) := (L_{g*}(X))_{gh}
^ ^
| |
vector in vector
T_{h}G field at gh
≡ gdL_{g}X (see later)
This is true because a vector field assigns a
tangent vector to every point on the manifold
and vice-versa. Therefore, we can write 2 as:
L_{g*}X_{h} = X_{gh} ... 3.
If 1. and 3. yield the same result we say that
X is LEFT INVARIANT VECTOR FIELD, i.e.
L_{g*}X_{h} = X(L_{g}(h)) = (X)_{gh}
Therefore, the vector field at gh is the SAME
as the vector field h.
A LIVF satisfies the commutation diagram:
_{ } v_{h} L_{g*} v_{gh}
_{ } T_{h}G -----------> T_{gh}G
_{ } ^ ^
_{ } | |
X_{h} | | X_{gh}
_{ } | |
_{ } | |
_{ } G -------------> G
_{ } h L_{g} gh
If we now let h = the element at the identity we
get:
L_{g*}X_{I} = X(L_{g}(I)) = X_{gI}
Therefore, X at g is the same as the same as X
at the identity.
Note: We picked a tangent vector at the identity
and then translated that vector to another point.
However, we could have equally well picked an
element that is not at the identity but working
with the vector at the identity is much easier.
Summarizing:
The Lie algebra of a Lie group is defined to
be the left invariant vector fields on the group.
Integral Curves (aka Flow) of a Vector Field
--------------------------------------------
An integral curve for the vector field, X, with
an initial condition, P_{0}, is a curve such that:
dγ(t)/dt = X_{γ(t)}
and,
γ(0) = P_{0}
What this says is that an integral curve, γ(t),
is a curve with initial condition P_{0} such that
for every point, P = γ(t), on the curve, the
tangent vector, v_{γ(t)}, is equal to the value of
the vector field, X, at P. That is, the vector
field gives the value of the tangent to the path
at every point.
One-Parameter Subgroups
-----------------------
Consider a left invariant vector field, X^{L}. Let
us denote the integral curve of X^{L} as γ^{L}(t). By
definition, X^{L} assigns a tangent vector to each
point on γ^{L}(t). γ^{L}(t) is referred to as a ONE
PARAMETER SUBGROUP where an element of the subgroup
is γ^{L}(t) for each t.
dγ^{L}(t)/dt = v_{γ}^{L}(t)
But we know for a LIVF that,
L_{γL(t)*}v = v_{γ}^{L}(t)
Therefore, we can say,
dγ^{L}(t)/dt ≡ L_{γ}^{L}(t)*
There are 2 ways we can move along the curve,
translation by s and pushforward by γ^{L}(s).
Translation by s gives γ^{L}(s + t). Therefore,
dγ^{L}(s + t)/dt = v_{γ}^{L}(s + t)
Pushforward by γ^{L}(s) gives:
L_{γL(s)*}γ^{L}(t) = γ^{L}(s)v_{γ}^{L}(t) = v_{γL(s)γL(t)}
Clearly, these 2 ways have to be equal. Therefore,
γ^{L}(s + t) = γ^{L}(s)γ^{L}(t)
THIS CAN ONLY BE SATISFIED IF γ(t) IS AN EXPONENTIAL
FUNCTION.
Note that:
. γ(0) = 1 γ(t) at the identity.
. γ(-t) = (γ(t))^{-1}
This now also justifies the previous interpretation
of L_{g}(a) = ga as a translation, i.e.
γ^{L}(g)γ^{L}(a) ≡ γ^{L}(a + g)
-----------------------------------------------------
Digression:
What we have described is called a GROUP
HOMOMORPHISM. A homomorphism is a way to compare
2 groups. Consider 2 groups, (G,*) and (H,◆), a
group homomorphism from G to H is a function
φ: G -> H such that for all x and v ∈ in G it
holds that:
φ(x*y) = φ(x)◆φ(y)
Where * and ◆ are the group operations.
Example:
G = ℝ under +
H = ℝ' under .
φ: G -> H
φ(x + y) = φ(x).φ(y)
φ = exponential function.
So φ is a homomorphism.
A one-parameter subgroup of a Lie group is a
group homomorphism i.e. a smooth map:
γ: ℝ -> G where (ℝ,+) and (G,.)
For which:
γ(s + t) = γ(s)γ(t)
-----------------------------------------------------
Recovering the Lie Group from its Lie Algebra
---------------------------------------------
The tangent vector to the integral curve, γ(t),
at the identity is given by:
v = dγ(t)/dt|_{t=0}
Where we have simplied the notation such that
v_{γ}^{L} ≡ v.
Which has the solution:
γ(t) = exp(tv)
This is the ONE-PARAMETER SUBGROUP from before
which can be written as a group element, X.
So we can recover the Lie algebra from the Lie
group by taking the differential of the group
element evaluated at t = 0.
One can also recover the Lie algebra by simply
taking the logarithm of the group element.
To show that these operations are equivalent,
we need to prove that dX/dt|_{t=0} = lnX.
d(exp(tv))/dt|_{t=0} = ln(exp(tv))
xexp(tv)|_{t=0} = v
Therefore, v = v.
The exponential and the logarithm give a 1-to-1
correspondence, continuous in both directions,
between a neighborhood of 1 in any Lie group
and a neighborhood of 0 in its Lie algebra.
These operations are illustrated in the following
diagram.
We can linearize the one-parameter Lie subgroup
γ(t) = exp(tx) by considering infinitessimal
changes of the form:
γ(t) ~ I + tx + O((tx)^{2})
Which is just the Taylor series expansion of the
exponential function.
Matrix Lie Groups
-----------------
Matrix Lie groups are a special class of abstract
Lie groups which are also smooth differentiable
manifolds. For a matrix Lie group the vector
fields associated with manifolds are represented
by matrices. The most interesting Lie groups
turn out to be matrix groups.
For matrices, one can regard the smooth manifold
as the General Linear group GL(n,ℝ) which is the
set of n x n invertible matrices with det ≠ 0.
Indeed, sometimes this is written as M(n,ℝ).
Having det ≠ 0 means that the matrices have an
inverse and satisfy the other axioms of Lie groups.
Hence, GL(n,ℝ) is a Lie group.
Matrix Exponential
------------------
To move from the matrix Lie algebra to the Lie group
we use the MATRIX EXPONENTIAL. The power series
expansion of this is:
_{∞}
M = exp(tm) = Σ(tm)^{k}/k! X ∈ G, m ∈ g,
^{k=0}
Where M and m are now matrices.
One can also move from the Lie group back to
the Lie algebra by differentiating the matrix
exponential:
m = dM/dt|_{t=0} M ∈ G, m ∈ g,
Alternatively, we can use the MATRIX LOGARITHM
which is the inverse map of the matrix exponential
(i.e. log = exp^{-1}). The power series expansion is:
_{∞}
m = ln(1 + M) = Σ(-1)^{k+1}M^{k}/k M ∈ G, x ∈ g,
^{k=1}
This is a difficult calculation for most
practical purposes. Fortunately, if M can be
diagonalized to a matrix M_{D}, then:
M = PM_{D}P^{-1}
lnM = P(lnM_{D})P^{-1}
Where the diagonal elements are ln(d_{11}), ln(d_{22})
etc. and all other entries are 0.
For matrices that cannot be diagonalized one
needs to find its JORDAN DECOMPOSITION and
calculate the logarithm of the JORDAN BLOCKS.
Jacobi Formula
-------------
Jacobi's formula states:
det(exp(x)) = exp(Tr(x))
Where x is a real or complex matrix.
The Lie Bracket of Matrix Lie Groups
------------------------------------
Since for a matrix Lie groups the vector fields
are represented by matrices, the Lie bracket
corresponds to the usual commutator for a matrix
group. We can demonstrate this by using the
BAKER-CAMPBELL-HAUSDORFF formula:
exp(z) = exp(x)exp(y) = exp(x + y + (1/2)[x,y] + ... )
Let W = [X,Y]
Therefore:
exp(tw) = [exp(tx),exp(ty)]
= exp(tx)exp(ty) - exp(ty)exp(tx)
= exp(tx + ty + (1/2)[tx,ty] + ... )
- exp(tx + ty + (1/2)[ty,tx] + ... )
= exp(tx + ty + (1/2)[tx,ty] + ... )
- exp(tx + ty - (1/2)[tx,ty] + ... )
From here we can either take the log of both sides
to get (setting t = 1):
w = (x + y + (1/2)[x,y] + ... )
- (x + y - (1/2)[x,y] + ... )
= [x,y]
or,
d{exp(tw))/dt|_{t=0} = [x,y]
Examples
--------
G = (SO(2),.):
- - - -
AB = | cosα -sinα || cosβ -sinβ |
| sinα cosα || sinβ cosβ |
- - - -
- -
= | cosαcosβ - sinαsinβ -cosαsinβ - sinαcosβ |
| sinαcosβ + cosαsinβ -sinαsinβ + cosαcosβ |
- -
- -
= | cos(α + β) -sin(α + β) | ∈ G
| sin(α + β) cos(α + β) |
- -
With generator,
X_{g} = dA(α)/dα|_{α = 0}
- -
= | 0 -1 |
| 1 0 |
- -
[X_{g},X_{g}] = 0
Therefore (SO(2),.) is an Abelian Lie group.
G = (SO(3),.):
- -
_{ } | 1 0 0 |
R_{x} = | 0 cosθ -sinθ |
_{ } | 0 sinθ cosθ |
- -
- -
_{ } | cosθ 0 sinθ |
R_{y} = | 0 1 0 |
_{ } | -sinθ 0 cosθ |
- -
- -
_{ } | cosθ -sinθ 0 |
R_{z} = | sinθ cosθ 0 |
_{ } | 0 0 1 |
- -
With generators:
- -
_{ } | 0 0 0 |
X_{x} = | 0 0 -1 |
_{ } | 0 1 0 |
- -
- -
_{ } | 0 0 1 |
X_{y} = | 0 0 0 |
_{ } | -1 0 0 |
- -
- -
_{ } | 0 -1 0 |
X_{z} = | 1 0 0 |
_{ } | 0 0 0 |
- -
R_{x}.R_{y} is another rotation (∴ ∈ G) but it is not equal
to R_{z}. Whereas [X_{x},X_{y}] = X_{z}
G = (SU(3),.):
An SU(3) group element is obtained by exponentiating
the 3 × 3 traceless Hermitian Gell-Mann matrices.
Unfortunately the resulting expression is rather
complicated. However, for λ_{1} - λ_{7} we can use the
following formula:
exp(itθλ_{i}/2) = I + iλ_{i}sin(tθ/2) + λ_{i}^{2}(cos(tθ/2) - 1)
i.e. exp(itλ_{1}/2)
- - - -
_{ } | 1 0 0 | | 0 1 0 |
exp(itλ_{1}/2) = | 0 1 0 | + i| 1 0 0 |sin(tθ/2)
_{ } | 0 0 1 | | 0 0 0 |
- - - -
- -
| 1 0 0 |
+ | 0 1 0 |(cos(tθ/2) - 1)
| 0 0 0 |
- -
- -
| cos(tθ/2) isin(tθ/2) 0 |
= | isin(tθ/2) cos(tθ/2) 0 | = X
| 0 0 1 |
- -
Note that det(exp(iλ_{1}/2)) = exp(Tr(λ_{1})) = 1
(Jacobi's identity) and XX^{†} = I
The eigenvalues/eigenvectors of this matrix are:
- - - - - -
| 0 | | -1 | | 1 |
1| 0 | exp(-itθ/2)| 1 | exp(itθ/2)| 1 |
| 1 | | 0 | | 0 |
- - - - - -
The eigenvectors are linearly independent and
therefore we can diagonalize X.
- - - -
| 0 -1 1 | ^{ } | 0 0 1 |
P = | 0 1 1 | P^{-1} = | -1/2 1/2 0 |
| 1 0 0 | ^{ } | 1/2 1/2 0 |
- - - -
After diagonalization (X_{D} = P^{-1}XP):
- -
| 1 0 0 |
| 0 cos(tθ/2) - isin(tθ/2) 0 |
| 0 0 cos(tθ/2) + isin(tθ/2) |
- -
- -
| 1 0 0 |
≡ | 0 exp(-itθ/2) 0 |
| 0 0 exp(itθ/2) |
- -
Take the logarithm:
- -
| 0 0 0 |
| 0 -itθ/2 0 | = γ
| 0 0 itθ/2 |
- -
Apply the similarity transform:
λ_{1} = PγP^{-1}
- - - - - -
| 0 -1 1 || 0 0 0 || 0 0 1 |
= | 0 1 1 || 0 -itθ/2 0 || -1/2 1/2 0 |
| 1 0 0 || 0 0 itθ/2 || 1/2 1/2 0 |
- - - - - -
- -
| 0 itθ/2 0 |
= | itθ/2 0 0 |
| 0 0 0 |
- -
= itθλ_{1}/2
We get the same result if we find the derivative
at t = 0. Thus,
- -
_{ } | -(θ/2)sin(tθ/2) i(θ/2)cos(tθ/2) 0 |
dX/dt|_{t=0} = | i(θ/2)cos(tθ/2) -(θ/2)sin(tθ/2) 0 |
_{ } | 0 0 1 |_{t=0}
- -
- -
| 0 1 0 |
= (iθ/2)| 1 0 0 |
| 0 0 0 |
- -
LIVF:
L_{g*}X_{I} = gdX/dt|_{t=0}
= gd(exp(tλ_{1}))/dt|_{t=0}
= gλ_{1}
= (λ_{1})_{g}
where g ∈ G, v ∈ T_{g}G
- -
So the LIVF is: | 0 1 0 |
| 1 0 0 |
| 0 0 0 |
- -
Finally, lets show that algebraic operations can
only be performed in the tangent space and not
on the manifold itself. In other words, elements
have to be 'referred' back to the tangent space
for alebraic operations. For example,
[λ_{1},λ_{2}] = iλ_{3} (f^{123} = 1)
- -
_{ } | costθ + isintθ 0 0 |
and X_{3} = exp(itθλ_{3}) = | 0 costθ - isintθ 0 |
_{ } | 0 0 1 |
- -
- -
_{ } | iθ 0 0 |
dX_{3}/dt|_{t=0} = | 0 -iθ 0 | = iλ_{3}
_{ } | 0 0 0 |
- -
If we try and perform the same operation on
the manifold after exponentiation we get:
- -
_{ } | -2isin^{2}tθ 0 0 |
[exp(itθλ_{1}),exp(itθλ_{2})] = | 0 2isin^{2}tθ 0 |
_{ } | 0 0 1 |
- -
With dX_{3}/dt|_{t=0} = 0
Which clearly doesn't work!
For SU(3), the group elements represent rotations
of complex 3 component (u, d, s) vectors in an 8
dimensional space.
Note that if we had performed the same calculation
using R_{z} from SO(3) we would get the
following LIVF.
- - - - - -
| 0 -1 0 || x | | -y |
| 1 0 0 || y | = | x |
| 0 0 0 || z | | 0 |
- - - - - -
Which is:
X^{L} = -y∂_{x} + x∂_{y}
For SO(3), the group elements represent rotations
of real 3 component (x, y, z) vectors in a 3
dimensional space.
Group Actions
-------------
Let G be a group and S be a set. Let g ∈ G
and s ∈ S. One can construct a left action
of g on s denoted as g.s as follows:
g.s = gs
Likewise, one can construct a right action as
follows:
s.g = g.s
One can construct a left action from a right
action by composing with the inverse operation
of the group. Therefore,
g.s = gs ≡ sg^{-1}
We can think of the multiplication as the act
of moving points around inside of S. For example,
in D_{4}, the symmetry group of the square, the
elements move the set of vertices to achieve
rotations and reflections. (see see D_{4} here)
We will focus on left actions. A left group
action has to satisfy the following 3 axioms.
Let s ∈ S and g,h ∈ G then:
1. g.s ∈ S
2. e.s = s
3. g.(h.s) = (gh).s
For example, from D_{4} it is easy to see that
axiom 3. is satisfied i.e.
d.[r.s] = [dr].s
where s = {1,2,3,4}.
G Acting on Itself
------------------
To make G act on itself we let S = G. For example,
in D_{4} the element d, performs a reflection about the
vertical axis and the element, r, performs a 90°
rotation. The left action d.r = dr combines these
2 operations to achieve a reflection about the
right diagonal. All possible operations can be
seen in the Cayley table.
For example, from the Cayley table for D_{4} it is
easy to see that d.[r.r] = [dr].r.
In addition, to the left action, a group also
acts on itself is by conjugation. Therefore,
g.x = gxg^{-1} x, g ∈ G
Proof of axioms 2 and 3 for conjugation:
2. e.x = ese^{-1}
3. g_{1}.(g_{2}.x) = g_{1}.(g_{2}xg_{2}^{-1}) since g_{2}.x = g_{2}xg_{2}^{-1}
= g_{1}.p where p = g_{2}xg_{2}^{-1}
= g_{1}pg_{1}^{-1} since g_{1}.p = g_{1}pg_{1}^{-1}
= g_{1}(g_{2}xg_{2}^{-1})g_{1}^{-1}
= (g_{1}g_{2})x(g_{2}^{-1}g_{1}^{-1})
= (g_{1}g_{2})x(g_{1}g_{2})^{-1}
= (g_{1}g_{2}).x Q.E.D
The conjugacy equation also describes matrix
similarity. However, conjugacy in this context
is more restrictive than similarity in that g,
g^{-1} and x have to be in G.
The Adjoint Representation
--------------------------
We start with the conjugacy class equation and
change the notation. We use upper case letters for
elements of the group, G, and lower case letters
for elements of the Lie algebra. Therefore,
Z = YXY^{-1} X, Y, Z ∈ G
The differential of the conjugation action,
evaluated at the identity, is called the adjoint
action. Therefore,
Ad_{Y}X = dZ/dt|_{t=0}
X is obtained by exponentiating the generator x.
Therefore, we can write:
Ad_{Y}X = d(YXY^{-1})/dt|_{t=0}
= d(Yexp(tx)Y^{-1})/dt|_{t=0}
= Yxexp(tx)Y^{-1}|_{t=0}
= YxY^{-1}
Where Y, X ∈ G and x ∈ the Lie algebra.
Therefore, the adjoint representation is a
representation where the group elements in G
act on a basis which is comprised of the group
generators in the tangent space at the identity
and not the column vectors that appears in the
fundamental representation. In other words, in
the adjoint representation, the Lie algebra itself
forms the basis upon which G acts.
Derivative of Ad = ad
---------------------
We can pass from a representation of a Lie group
G, to a representation of its Lie algebra by
taking the derivative at the identity.
ad_{Y}x = d(Ad_{Y}X)/dt|_{t=0}
= d(YxY^{-1})/dt|_{t=0}
= d(exp(ty)xexp(-ty))/dt|_{t=0}
= yexp(ty)xexp(-ty) + exp(ty)x(-y)exp(-ty)|_{t=0}
= yx - xy
= [y,x]
The ad operator is the adjoint action of the group
generators on themselves.
As one would expect, Ad_{Y} and ad_{Y} are related
through the exponential map:
Ad_{Y} = exp(ad_{Y})
Diagramatically, we can summarize these relationships
in a commutative diagram.
ad
g --------> gl(g)
: :
: exp : exp
v v
G --------> GL(g)
Ad
Non-Abelian Gauge Theory
------------------------
Lie groups and Lie algebras play an important
role in the various dynamical theories which
govern the behaviour of particles - the gauge
theories. We now present the relationship
between Lie algebras and gauge theories.
We have seen that the elements of a group are
related to the Lie algebra via the exponential
map, i.e.
U = exp(tT_{a})
We have used U in place of the group element,
X, as a reminder that the matrices are unitary.
We now want to look at the situation where t
is not a constant but becomes a function of
the spacetime coordinates, x^{μ}. This means
that the above formula becomes:
U(x^{μ}) = exp(t(x^{μ})T_{a})
Now, the group elements can act on a field, φ,
where φ denotes an array of different fields
written as a column vector (e.g. quark fields).
The fields transform among themselves, just as
the components of a three-dimensional vector
transform among themselves under the group of
rotations. In other words the fields form a
basis and the action of the group on this basis
constitutes a group representation.
These fields transform as (dropping the μ
and (x) for brevity):
φ -> φ' = Uφ
∂_{μ}φ -> (∂_{μ}φ)' = U∂_{μ}φ + (∂_{μ}U)φ
However, the second term is a problem. What
we want is a derivative such that:
D_{μ}φ -> (D_{μ}φ)' = UD_{μ}φ
Try:
D_{μ}φ = ∂_{μ}φ - W_{μ}φ
Rearranging,
W_{μ}φ = ∂_{μ}φ - D_{μ}φ
Consider the transformation:
W_{μ}φ -> (W_{μ}φ)' = (∂_{μ}φ)' - (D_{μ}φ)'
= U∂_{μ}φ + (∂_{μ}U)φ - UD_{μ}φ
= {U∂_{μ} - UD_{μ} + (∂_{μ}U)}φ
= {U(∂_{μ} - D_{μ}) + (∂_{μ}U)}φ
= {UW_{μ} + (∂_{μ}U)}φ
But φ = U^{-1}φ'. Therefore,
(W_{μ}φ)' = {UW_{μ}U^{-1} + (∂_{μ}U)U(x)^{-1}}φ'
So W_{μ} transforms as:
W_{μ} -> W_{μ}' = UW_{μ}U^{-1} + (∂_{μ}U)U^{-1}
D_{μ}φ = ∂_{μ}φ - igW_{μ}φ is called the GAUGE COVARIANT
DERIVATIVE. W_{μ} is a matrix of the type generated
by an infinitesimal gauge transformation and
carries information regarding the group from
one spacetime point to another. W_{μ} can be
decomposed as:
W_{μ} = W_{μ}^{a}T_{a}
Where W_{μ}^{a} are the GAUGE FIELDS that act as
coefficients to the generators, T_{a}. When
these gauge fields are quantized, their quanta are
called GAUGE BOSONS.
The gauge covariant derivative differs from the
'ordinary' covariant derivative ∇_{μ}v^{ρ} = ∂_{μ}v^{ρ} + Γ^{ρ}_{μν}v^{ν}
in that the latter applies to transformations
that behave properly under a change of basis.
Now lets look at 2 successive transformations.
W_{μ} -> W_{μ}' = U_{1}W_{μ}U_{1}^{-1} + (∂_{μ}U_{1})U_{1}^{-1}
W_{μ} -> W_{μ}'' = U_{2}{U_{1}W_{μ}U_{1}^{-1} + (∂_{μ}U_{1})U_{1}^{-1}}U_{2}^{-1} + (∂_{μ}U_{2})U_{2}^{-1}
= (U_{2}U_{1})W_{μ}(U_{2}U_{1})^{-1} + (∂_{μ}U_{2}U_{1})(U_{2}U_{1})^{-1}
= U_{3}W_{μ}U_{3}^{-1} + (∂_{μ}U_{3})U_{3}^{-1}
Therefore, performing 2 gauge transformations is
also a gauge transformation. In addition, the
transformation with U = 1 corresponds to the
identity transformation
W_{μ} -> W_{μ}' = 1W_{μ}1^{-1} + (∂_{μ}1)1^{-1} = W_{μ}
And a transformation with U followed by a
transformation with U^{-1} yields the identity.
W_{μ} -> W_{μ}' = 1.1^{-1}W_{μ}(1.1^{-1})^{-1} + (∂_{μ}1.1^{-1})(1.1^{-1})^{-1}
= 1W_{μ}
This fits the definition of a group whose elements
are the gauge transformations. This is called the
GAUGE GROUP.
Specifically, the first term in the transformation,
W_{μ} -> W_{μ}' = U_{1}W_{μ}U_{1}^{-1} + (∂_{μ}U_{1})U_{1}^{-1}
is the conjugacy class equation that gives the
adjoint representation of a Lie group.
In the the adjoint representation U(1) has 1 one
dimensional generator corresponding to the photon.
SU(2) has 3 three dimensional generators that
correspond to the W^{+/-} and Z^{0} bosons. SU(3) has
8 eight dimensional generators corresponding to
the gluons. The adjoint representation contrasts
with the defining (fundamental) representations
that describe the Fermionic particles (e^{-1}, u, d
and s quarks).
For the second term U(x) displaced over an
infinitesimally small distance dx will differ
from U(x) by an infinitesimal gauge transformation.
Therefore, we can use a Taylor series expansion
to get U(x + dx) ~ U(x) + U'(x)dx + .... Thus,
U(x + dx) = U(x) + ε(x)T_{a}U(x)dx + ...
Therefore, by comparison,
∂_{μ}U(x) = ε(x)T_{a}U(x)
So,
∂_{μ}U(x)U(x)^{-1} = ε(x)T_{a}
As such it is also part of the Lie algebra.
Field Strength, G_{μν}
-------------------
We define:
G_{μν} := [D_{μ},D_{ν}]
= ∂_{μ}W_{ν} - ∂_{ν}W_{μ} - [W_{μ},W_{ν}]
Or, setting G_{μν} = G_{μν}^{a}T_{a}, we get:
G_{μν}^{a}T_{a} = ∂_{μ}W_{ν}^{a}T_{a} - ∂_{ν}W_{μ}^{a}T_{a} - W_{μ}^{a}W_{ν}^{b}[T_{a},T_{b}]
_{ } = ∂_{μ}W_{ν}^{a}T_{a} - ∂_{ν}W_{μ}^{a}T_{a} - W_{μ}^{a}W_{ν}^{b}f_{abc}T_{c}
In the abelian case the commutator = 0 so
G_{μν} = = ∂_{μ}W_{ν} - ∂_{ν}W_{μ}