Re: U(1) and SU(2) as subgroups of SU(3)



Hello Alex:

It would be interesting how they animate SU(3). Are they available
on the web somewhere?

The URLs are at the end. The first one is a collection of the other
5.

Since SPR is text based, I'll provide a few highlights.

I like the animation of U(1). In one complex plane, U(1) is a
circle. With three complex planes, U(1) can be tilted in all three,
appearing as an ellipse in all three planes. In space, the two points
move along a straight line. What changes is the velocity.

The group SU(2) doesn't look like an animation I have ever seen
before. The algebra is simple, just 4000 random quaternion plugged
into exp(q - q*). The subtraction gets rid of the first term, and the
exponential has a norm of one. There are few points where t is less
than zero (they do exist though). The point eventually form a sphere
that shrinks. You'll have to play the animation to understand.

The group U(1)xSU(2) looks like an expanding, then contracting
sphere. It has a strong bias for events where t is negative. The
algebra I used was based off of SU(2). I calculated q/|q| exp(q -
q*). Although quaternions do not commute with other quaternions in
general, they do commute with themselves. I use the same quaternion
throughout, so there are 1+3 degrees of freedom.

I was wondering how to construct a representation of the group SU(3).
I knew its Lie algebra has eight generators. As a group it must have
an identity, every element must have an inverse, and to be part of
SU(3) the norm had to be equal to one. The group multiplication
table had to be different from U(1)xSU(2). I decided to toss in a
conjugate, and calculate this:

(q/|q| exp(q - q*))* q'/|q'| exp(q' - q'*)

Now I am using two quaternions which have 8 degrees of freedom. This
is still a division algebra, so there is an identity (1, 0, 0, 0) and
every element has an inverse. The product is non-associative, because
a* (b c) != (a b)* c.

The animation is distinct. The group SU(3) using this approach is a
smoothly expanding and contracting sphere. You can see both U(1) -
the circle - and SU(2) - the biased sphere - in the smooth sphere.

I also think about the group Diff(M), which smoothly alters the sizes
of things depending on where one happens to be in a manifold. There
is an animation of that too.

doug


The groups of the standard model and gravity (the 5 videos below):
http://www.youtube.com/watch?v=ExNPiMcVXww
The group U(1) http://www.youtube.com/watch?v=KZeULLKHE7w
The group SU(2) http://www.youtube.com/watch?v=OMnNyyZruuE
The group U(1)xSU(2) http://www.youtube.com/watch?v=Jbdj3Xd_nmI
The group SU(3) http://www.youtube.com/watch?v=8T_aNL8LvCs
The group Diff(M)xSU(3) http://www.youtube.com/watch?v=pYiEV8yEZYA

.



Relevant Pages

  • Re: The origin of quaternions - Hamiltons 1844 paper
    ... W.R.Hamilton's second paper on quaternions presented to the Royal Irish ... algebra of proportionalities of spatial directions. ... H. knew that this fourth dimension can in no way be a spatial dimension. ...
    (sci.math)
  • Re: Euler angles and tweening/interpolation
    ... Looking for information in these post for 3d animation, ... Euler angles are more meaningful to someone using the node. ... then quaternions are just created when i need to ... After i interpolate the 2 quaternions, i then would convert back to ...
    (microsoft.public.win32.programmer.directx.managed)
  • Re: Hexpentaquaternions: a two-hand quaternion algebra
    ... I've always imagined the floretion algebra (over the ... reals) as being something ... Let H denote the algebra of real quaternions and let o denote the tensor product symbol. ... Floretions = Hexpentaquaternions. ...
    (sci.math.research)
  • Re: SCALAR Inner Products ? - some history
    ... > Hamilton published in 1844 a paper on quaternions and proportionalities of ... Only when a fourth dimension is added such an algebra is ... > in their own right and were denoted as the scalar product and the vector ...
    (sci.math)
  • Re: Imaginary numbers, complex plane and beyond.
    ... are of course finite-dimensional vector spaces over Q so yeah, ... the quaternions are actually constructed from the ... it's just luck that the two come together. ... formula for the quaternions to be a division algebra. ...
    (sci.math)