Masteries · Jason GlowneyArithmoí Book 1

Masteries

1.4.2 SU(2) as the Inscribed Sphere of the Light Cone

The SU(2)SU(2) matrix group plays a piv­otal role in physics and the Stan­dard Model and has a very nat­ur­al iso­mor­phic map­ping to the quater­nions. The group can be rep­re­sent­ed in its com­plex form, as the fol­low­ing 2×22 \times 2 matrix

SU(2)=(a+ib−c+idc+ida−ib).\begin{array}{r} SU(2) = \begin{pmatrix} a + ib & - c + id \\ c + id & a - ib \end{pmatrix}. \end{array}
(1.4.13)

Its Lie al­ge­bra is com­posed of 2×22 \times 2 skew-Her­mit­ian ma­tri­ces with traces equal to zero, rep­re­sent­ed as

𝔰𝔲(2)=(iα−ββ−iα)={M:α∈ℝ, β∈ℂ},\begin{array}{r} \mathfrak{su}(2) = \begin{pmatrix} i\alpha & - \overline{\beta} \\ \beta & - i\alpha \end{pmatrix} = \left\{ M:\alpha\in \mathbb{R},\ \beta\in \mathbb{C} \right\}, \end{array}
(1.4.14)

and has a Lie al­ge­bra gen­er­at­ed by the fol­low­ing ma­tri­ces

u1=(0ii0),   u2=(0−110),   u3=(i00−i).\begin{array}{r} u_{1} = \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix},\ \ \ u_{2} = \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix},\ \ \ u_{3} = \begin{pmatrix} i & 0 \\ 0 & - i \end{pmatrix}. \end{array}
(1.4.15)

These al­ge­bras can be mapped to the quater­nion form by chang­ing the sign of the u2u_{2} matrix

aϵ+bu3−cu2+du1→a1ˆ+biˆ+cjˆ+dkˆ.\begin{array}{r} a\epsilon + bu_{3} - cu_{2} + du_{1} \rightarrow a\widehat{1} + b\widehat{i} + c\widehat{j} + d\widehat{k}. \end{array}
(1.4.16)

The fol­low­ing quater­nion­ic re­la­tion­ships can be ver­i­fied for this map­ping by set­ting u3=iˆ, −u2=jˆ, u1=kˆu_{3} = \widehat{i},\ {- u}_{2} = \widehat{j},\ u_{1} = \widehat{k}, for which the fol­low­ing prod­uct re­la­tion­ships are found to hold

iˆ2=jˆ2=kˆ2=iˆjˆkˆ=−1,\begin{array}{r} {\widehat{i}}^{2} = {\widehat{j}}^{2} = {\widehat{k}}^{2} = \widehat{i}\widehat{j}\widehat{k} = - 1, \end{array}
iˆjˆ=kˆ,  jˆkˆ=iˆ,  kˆiˆ=jˆ,\widehat{i}\widehat{j} = \widehat{k},\ \ \widehat{j}\widehat{k} = \widehat{i},\ \ \widehat{k}\widehat{i} = \widehat{j},
jˆiˆ=−kˆ,  kˆjˆ=−iˆ,  iˆkˆ=−jˆ.\begin{array}{r} \widehat{j}\widehat{i} = - \widehat{k},\ \ \widehat{k}\widehat{j} = - \widehat{i},\ \ \widehat{i}\widehat{k} = - \widehat{j}. \end{array}
(1.4.17)

In Figure 1.4.3, we see a sphere of unit radius, cen­tered at the point, O′=(2, 0,0)O' = \left( \sqrt{2},\ 0,0 \right), that touch­es the cone at a cir­cum­cir­cu­lar arc rep­re­sent­ed on the sphere by BCB′C′BCB'C'. The arc is com­plex-valued and the seg­ments OB, OC, OB′, OC′OB,\ OC,\ OB',\ OC', are all unit dis­tance, |O(B,C,B′,C′)|=1\left| O(B,C,B',C') \right| = 1, from the origin of the space, at O=(0,0,0)O = (0,0,0). Each point, B,C,B′,C′B,C,B',C', is a tan­gent point of the unit sphere where it touch­es the cone. The points B=e(iπ4),C=e(−iπ4)B = e^{\left( \frac{i\pi}{4} \right)},C = e^{\left( \frac{- i\pi}{4} \right)}, lay in X1X_{1}-plane, and points B′=e(iπ4)B' = e^{\left( \frac{i\pi}{4} \right)}, C′=e(3iπ4)C' = e^{\left( 3\frac{i\pi}{4} \right)}, lay in the X3X_{3}-plane, and all of these rep­re­sent the point of in­ter­sec­tion where the D3𝕫D_{3\mathbb{z}} as­ymp­tot­ic rep­re­sen­ta­tions meet the U(3)U(3) unit sphere in the X1,X3X_{1},X_{3}-planes.

Since BB is a tan­gent point, the angle ∠O′BO\angle O'BO is a right-angle equal to π2\frac{\pi}{2} ra­di­ans, as is the angle ∠OrA\angle OrA. We know the cone in­ter­sects the U(3)U(3) unit sphere at the point BB, which is π4\frac{\pi}{4} ra­di­ans from the real-axis, there­fore angles ∠BOO′,∠BO′O, ∠AOr, ∠rOA\angle BOO',\angle BO'O,\ \angle AOr,\ \angle rOA are also π4\frac{\pi}{4} ra­di­ans in value. In terms of pro­por­tion­al­i­ty, OO′∝AO\overline{OO'} \propto \overline{AO} and O′B∝Ar\overline{O'B} \propto \overline{Ar}, which we ex­press as the re­la­tion­ship

|OO′||O′B|=|AO||Ar|.\begin{array}{r} \frac{\left| \overline{OO'} \right|}{\left| \overline{O'B} \right|} = \frac{\left| \overline{AO} \right|}{\left| \overline{Ar} \right|}. \end{array}
(1.4.18)

For the chord dis­tance be­tween the points B,B′B,B'in the X1X_{1}-plane, we find imag­i­nary values for both di­rec­tion­al ori­en­ta­tions

(B−B′),(B′−B)=−i2,\begin{array}{r} (B - B'),(B' - B) = - i\sqrt{2}, \end{array}
(1.4.19)

which is due to them being sep­a­rat­ed by the imag­i­nary-valued por­tion of the X1X_{1}-plane. For points C,C′C,C'in the X3X_{3}-plane, we find real values for both

(C−C′),(C′−C)=−2.\begin{array}{r} (C - C'),(C' - C) = - \sqrt{2}. \end{array}
(1.4.20)
Figure
Figure 1.4.3 – SU(2)SU(2) as the in­scribed sphere of the light cone.

We define the seg­ments BB′,\overline{BB'}, CC′\overline{CC'} in matrix forms as ΔX1,ΔX3\Delta X_{1},\Delta X_{3}, re­spec­tive­ly

ΔX1=r(0OB′OB0)=r(0e−iπ4eiπ40),\begin{array}{r} \Delta X_{1} = \sqrt{r}\begin{pmatrix} 0 & \overline{OB'} \\ \overline{OB} & 0 \end{pmatrix} = \sqrt{r}\begin{pmatrix} 0 & e^{- \frac{i\pi}{4}} \\ e^{\frac{i\pi}{4}} & 0 \end{pmatrix}, \end{array}
(1.4.21)
ΔX3=r(OC00OC′)=r(eiπ400ei3π4),\begin{array}{r} \Delta X_{3} = \sqrt{r}\begin{pmatrix} \overline{OC} & 0 \\ 0 & \overline{OC'} \end{pmatrix} = \sqrt{r}\begin{pmatrix} e^{\frac{i\pi}{4}} & 0 \\ 0 & e^{\frac{i3\pi}{4}} \end{pmatrix}, \end{array}
(1.4.22)

which rep­re­sent the two points B,B′B,B'of the X1X_{1}-plane along the an­tidi­ag­o­nal, and points C,C′C,C'of the X3X_{3}-plane along the main di­ag­o­nal. The radial mod­u­lus is normed and rep­re­sent­ed as r\sqrt{r}, since we will be taking prod­ucts of ΔX1,ΔX3\Delta X_{1},\Delta X_{3}. These ma­tri­ces are arranged to have points that are clock­wise from the X1X_{1}-axis in the first row, and points coun­ter­clock­wise from the X1X_{1}-axis in the second row for each. We will con­tin­ue to main­tain this arrange­ment for our other in­scribed sphere groups for con­sis­ten­cy. In Figure 1.4.4, BB′, CC′BB',\ CC'are rep­re­sent­ed as chords on the in­ter­sec­tion of the SU(2),U(3)SU(2),U(3) spheres.

Taking the ma­tri­ces ΔX1,ΔX3,\Delta X_{1},\Delta X_{3},and set­ting r=1→r=1r = 1 \rightarrow \sqrt{r} = 1, there are four pos­si­ble and not nec­es­sar­i­ly com­mut­ing prod­uct com­bi­na­tions, which are

ΔX12\Delta X_{1}^{2}=(0e−iπ4eiπ40)2=(1001)=ϵ,\begin{pmatrix} 0 & e^{- \frac{i\pi}{4}} \\ e^{\frac{i\pi}{4}} & 0 \end{pmatrix}^{2} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = \epsilon,

ΔX32=(eiπ400ei3π4)2=(i00−i)=u3,\Delta X_{3}^{2} = \begin{pmatrix} e^{\frac{i\pi}{4}} & 0 \\ 0 & e^{\frac{i3\pi}{4}} \end{pmatrix}^{2} = \begin{pmatrix} i & 0 \\ 0 & - i \end{pmatrix} = u_{3},
ΔX3ΔX1=(eiπ400ei3π4)(0e−iπ4eiπ40)=(01−10)=−u2,\Delta X_{3}\Delta X_{1} = \begin{pmatrix} e^{\frac{i\pi}{4}} & 0 \\ 0 & e^{\frac{i3\pi}{4}} \end{pmatrix}\begin{pmatrix} 0 & e^{- \frac{i\pi}{4}} \\ e^{\frac{i\pi}{4}} & 0 \end{pmatrix} = \begin{pmatrix} 0 & 1 \\ - 1 & 0 \end{pmatrix} = {- u}_{2},
ΔX1ΔX3=(0e−iπ4eiπ40)(eiπ400ei3π4)=(0ii0)=u1.\begin{array}{r} \Delta X_{1}\Delta X_{3} = \begin{pmatrix} 0 & e^{- \frac{i\pi}{4}} \\ e^{\frac{i\pi}{4}} & 0 \end{pmatrix}\begin{pmatrix} e^{\frac{i\pi}{4}} & 0 \\ 0 & e^{\frac{i3\pi}{4}} \end{pmatrix} = \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix} = u_{1}. \end{array}
(1.4.23)

We should im­me­di­ate­ly rec­og­nize these as the el­e­ments of the SU(2)SU(2) group which map to the quater­nions, and taking them as a sum of al­ge­bras, we find

SUH(2)=aϵ+bu3−cu2+du1=(a+ibc+id−c+ida−ib),\begin{array}{r} SU_{H}(2) = a\epsilon + bu_{3} - cu_{2} + du_{1} = \begin{pmatrix} a + ib & c + id \\ - c + id & a - ib \end{pmatrix}, \end{array}
(1.4.24)

yields a result that is iso­mor­phic to the quater­nions, which we denote as SUH(2)SU_{H}(2).

Figure
Figure 1.4.4 – SU(2)SU(2) in­scribed sphere with light cone re­sect­ed and

U(3)U(3) sphere cen­tered at the origin, ΔX1=BB′\Delta X_{1} = BB', ΔX3=CC′\Delta X_{3} = CC'.

When taking prod­ucts of ΔX1,ΔX3\Delta X_{1},\Delta X_{3} with the uju_{j} group el­e­ments of SUH(2)SU_{H}(2), we find there are eight dis­tinct ma­tri­ces of the form ΔXj,k\Delta X_{j,k}, where the sub­script (j,k)(j,k) de­scribes the XkX_{k}-plane it rep­re­sents and the it­er­a­tion value. Below we can see that ΔX1,2,ΔX3,2\Delta X_{1,2},\Delta X_{3,2} are the re­flec­tions about the main di­ag­o­nal of ΔX1,1,ΔX3,1\Delta X_{1,1},\Delta X_{3,1}, the ma­tri­ces ΔX1,3,ΔX3,3\Delta X_{1,3},\Delta X_{3,3}, rep­re­sent the chords of the op­pos­ing side of the sphere for ΔX1,1,ΔX3,1\Delta X_{1,1},\Delta X_{3,1}, and ΔX1,4,ΔX3,4\Delta X_{1,4},\Delta X_{3,4} as their re­spec­tive re­flec­tions. When taken to­geth­er, the com­po­si­tion of the dual re­flec­tions ΔX1,1,ΔX3,1→\Delta X_{1,1},\Delta X_{3,1} \rightarrow ΔX1,2,ΔX3,2\Delta X_{1,2},\Delta X_{3,2}, rep­re­sents a ro­ta­tion of by π\pi ra­di­ans of the group. This ro­ta­tion, is es­sen­tial­ly, a flip­ping of the sphere from the up/down to down/up po­si­tion, seen in Figure 1.4.5, where the point po­si­tions for EE and GG have been swapped. This will be the same case for the swap­ping of the point po­si­tions, HH and II

ΔX1,k=(0e−iπ4eiπ40),(0eiπ4e−iπ40),(0e−i3π4ei3π40),(0ei3π4e−i3π40),\Delta X_{1,k} = \begin{pmatrix} 0 & e^{- \frac{i\pi}{4}} \\ e^{\frac{i\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{\frac{i\pi}{4}} \\ e^{- \frac{i\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{- \frac{i3\pi}{4}} \\ e^{\frac{i3\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{\frac{i3\pi}{4}} \\ e^{- \frac{i3\pi}{4}} & 0 \end{pmatrix},
ΔX3,k=(eiπ400ei3π4),(ei3π400eiπ4),(e−iπ400e−i3π4),(e−i3π400e−iπ4).\begin{array}{r} \Delta X_{3,k} = \begin{pmatrix} e^{\frac{i\pi}{4}} & 0 \\ 0 & e^{\frac{i3\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{\frac{i3\pi}{4}} & 0 \\ 0 & e^{\frac{i\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{- \frac{i\pi}{4}} & 0 \\ 0 & e^{- \frac{i3\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{- \frac{i3\pi}{4}} & 0 \\ 0 & e^{- \frac{i\pi}{4}} \end{pmatrix}. \end{array}
(1.4.25)

Ex­plor­ing fur­ther, when taking per­mu­ta­tion el­e­ments from co­in­cid­ing it­er­a­tion pairs ΔX1,k,ΔX3,k\Delta X_{1,k},\Delta X_{3,k}, and eval­u­at­ing their prod­ucts ΔX1,k2, ΔX3,k2,ΔX1,kΔX3,k,ΔX3,kΔX1,k,\Delta X_{1,k}^{2},\ \Delta X_{3,k}^{2},\Delta X_{1,k}\Delta X_{3,k},\Delta X_{3,k}\Delta X_{1,k},we find the fol­low­ing SU(2)SU(2)-type group forms

ΔX1,1,ΔX3,1=(a+ibc+id−c+ida−ib),\Delta X_{1,1},\Delta X_{3,1} = \begin{pmatrix} a + ib & c + id \\ - c + id & a - ib \end{pmatrix},
ΔX1,2,ΔX3,2=(a−ib−c+idc+ida+ib),\Delta X_{1,2},\Delta X_{3,2} = \begin{pmatrix} a - ib & - c + id \\ c + id & a + ib \end{pmatrix},
ΔX1,3,ΔX3,3=(a−ib−c+idc+ida+ib),\Delta X_{1,3},\Delta X_{3,3} = \begin{pmatrix} a - ib & - c + id \\ c + id & a + ib \end{pmatrix},
ΔX1,4,ΔX3,4=(a+ibc+id−c+ida−ib).\begin{array}{r} \Delta X_{1,4},\Delta X_{3,4} = \begin{pmatrix} a + ib & c + id \\ - c + id & a - ib \end{pmatrix}. \end{array}
(1.4.26)
Figure
Figure 1.4.5 – Two re­flec­tions BB′→B′B, CC′→C′CBB' \rightarrow B'B,\ CC' \rightarrow C'C, of the in­scribed SU(2)SU(2) sphere, which is a ro­ta­tion by π\pi ra­di­ans (light cone re­sect­ed and U(3)U(3) sphere cen­tered at the origin). ΔX1,2=B′B\Delta X_{1,2} = B'B, ΔX3,2=C′C\Delta X_{3,2} = C'C.

In Eq. 1.4.26, there are two dis­tinct group rep­re­sen­ta­tions, the first is our SUH(2)SU_{H}(2) form

SUH(2)=(a+ibc+id−c+ida−ib),\begin{array}{r} SU_{H}(2) = \begin{pmatrix} a + ib & c + id \\ - c + id & a - ib \end{pmatrix}, \end{array}
(1.4.27)

with in­di­vid­ual ma­tri­ces of the form

ϵ=(1001),   u1=(0ii0),   −u2=(0−110),   u3=(i00−i),\begin{array}{r} \epsilon = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix},\ \ \ u_{1} = \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix},\ \ \ - u_{2} = \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix},\ \ \ u_{3} = \begin{pmatrix} i & 0 \\ 0 & - i \end{pmatrix}, \end{array}
(1.4.28)

which are con­sis­tent with the Lie al­ge­bra 𝔰𝔲(2)\mathfrak{su}(2), as SUH(2)→𝔰𝔲H(2)=(iaz−z−ia).SU_{H}(2)\rightarrow \mathfrak{s}\mathfrak{u}_{H}(2) = \begin{pmatrix} ia & z \\ - \overline{z} & - ia \end{pmatrix}.The other group we denote, as SUH(2)′,SU_{H}(2)',is ro­tat­ed from ΔX1,1,ΔX3,1→ΔX1,2,ΔX3,2\Delta X_{1,1},\Delta X_{3,1} \rightarrow \Delta X_{1,2},\Delta X_{3,2}, and the con­ju­gate mirror  ΔX1,1,ΔX3,1→ΔX1,3,ΔX3,3\ \Delta X_{1,1},\Delta X_{3,1} \rightarrow \Delta X_{1,3},\Delta X_{3,3}, where

SUH(2)′=(a−ib−c+idc+ida+ib),\begin{array}{r} SU_{H}(2)' = \begin{pmatrix} a - ib & - c + id \\ c + id & a + ib \end{pmatrix}, \end{array}
(1.4.29)

has for its matrix el­e­ments

ϵ=(1001),   u1=(0ii0),   u2=(0−110),   −u3=(−i00i),\begin{array}{r} \epsilon = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix},\ \ \ u_{1} = \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix},\ \ \ u_{2} = \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix},\ \ \ {- u}_{3} = \begin{pmatrix} - i & 0 \\ 0 & i \end{pmatrix}, \end{array}
(1.4.30)

and we denote the Lie al­ge­bra 𝔰𝔲H′(2)\mathfrak{s}\mathfrak{u}_{H}^{'}(2), as

𝔰𝔲H′(2)=(−ia−zzia).\begin{array}{r} \mathfrak{s}\mathfrak{u}_{H}^{'}(2) = \begin{pmatrix} - ia & - \overline{z} \\ z & ia \end{pmatrix}. \end{array}
(1.4.31)

For both forms, the fol­low­ing prod­uct re­la­tion­ships hold

u12=u22=u32=u1u2u3=−1,\begin{array}{r} u_{1}^{2} = u_{2}^{2} = u_{3}^{2} = u_{1}u_{2}u_{3} = - 1, \end{array}
u1u2=u3, u2u3=u1, u3u1=u2,u_{1}u_{2} = u_{3},\ u_{2}u_{3} = u_{1},\ u_{3}u_{1} = u_{2},
u2u1=−u3, u3u2=−u1, u1u3=−u2,\begin{array}{r} u_{2}u_{1} = - u_{3},\ u_{3}u_{2} = - u_{1},\ u_{1}u_{3} = - u_{2}, \end{array}
(1.4.32)

which are the quater­nion prod­uct re­la­tion­ships for u3=iˆ, u2=jˆ, u1=kˆ.u_{3} = \widehat{i},\ u_{2} = \widehat{j},\ u_{1} = \widehat{k}.We can con­tin­ue this process around the U(3)U(3) sphere to find the other re­la­tion­ships as to how the planes X1,X2,X3X_{1},X_{2},X_{3} are arranged with re­spect to one an­oth­er, where the ΔX1,k,ΔX3,k\Delta X_{1,k},\Delta X_{3,k} groups are like the ΔX3,k,ΔX2,k\Delta X_{3,k},\Delta X_{2,k} chord matrix groups, which we rep­re­sent, as

ΔX3,k=(0e−iπ4eiπ40),(0eiπ4e−iπ40),(0e−i3π4ei3π40),(0ei3π4e−i3π40),\Delta X_{3,k} = \begin{pmatrix} 0 & e^{- \frac{i\pi}{4}} \\ e^{\frac{i\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{\frac{i\pi}{4}} \\ e^{- \frac{i\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{- \frac{i3\pi}{4}} \\ e^{\frac{i3\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{\frac{i3\pi}{4}} \\ e^{- \frac{i3\pi}{4}} & 0 \end{pmatrix},
ΔX2,k=(eiπ400ei3π4),(ei3π400eiπ4),(e−iπ400e−i3π4),(e−i3π400e−iπ4).\begin{array}{r} \Delta X_{2,k} = \begin{pmatrix} e^{\frac{i\pi}{4}} & 0 \\ 0 & e^{\frac{i3\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{\frac{i3\pi}{4}} & 0 \\ 0 & e^{\frac{i\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{- \frac{i\pi}{4}} & 0 \\ 0 & e^{- \frac{i3\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{- \frac{i3\pi}{4}} & 0 \\ 0 & e^{- \frac{i\pi}{4}} \end{pmatrix}. \end{array}
(1.4.33)

The ΔX2,k\Delta X_{2,k} chords are re­flect­ed in the ΔX2,k,ΔX1,k\Delta X_{2,k},\Delta X_{1,k} prod­ucts, when com­pared to the prod­uct ex­am­ples for ΔX1,kΔX3,k\ \Delta X_{1,k}\Delta X_{3,k}

ΔX2,k=(0eiπ4e−iπ40),(0e−iπ4eiπ40),(0ei3π4e−i3π40),(0e−i3π4ei3π40),\Delta X_{2,k} = \begin{pmatrix} 0 & e^{\frac{i\pi}{4}} \\ e^{- \frac{i\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{- \frac{i\pi}{4}} \\ e^{\frac{i\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{\frac{i3\pi}{4}} \\ e^{- \frac{i3\pi}{4}} & 0 \end{pmatrix},\begin{pmatrix} 0 & e^{- \frac{i3\pi}{4}} \\ e^{\frac{i3\pi}{4}} & 0 \end{pmatrix},
ΔX1,k=(eiπ400ei3π4),(ei3π400eiπ4),(e−iπ400e−i3π4),(e−i3π400e−iπ4).\begin{array}{r} \Delta X_{1,k} = \begin{pmatrix} e^{\frac{i\pi}{4}} & 0 \\ 0 & e^{\frac{i3\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{\frac{i3\pi}{4}} & 0 \\ 0 & e^{\frac{i\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{- \frac{i\pi}{4}} & 0 \\ 0 & e^{- \frac{i3\pi}{4}} \end{pmatrix},\begin{pmatrix} e^{- \frac{i3\pi}{4}} & 0 \\ 0 & e^{- \frac{i\pi}{4}} \end{pmatrix}. \end{array}
(1.4.34)

The SU(2)SU(2) forms of the ΔX3,k,ΔX2,k\Delta X_{3,k},\Delta X_{2,k} prod­ucts are

ΔX3,1,ΔX2,1=(a+ibc+id−c+ida−ib),\Delta X_{3,1},\Delta X_{2,1} = \begin{pmatrix} a + ib & c + id \\ - c + id & a - ib \end{pmatrix},
ΔX3,2,ΔX2,2=(a−ib−c+idc+ida+ib),\Delta X_{3,2},\Delta X_{2,2} = \begin{pmatrix} a - ib & - c + id \\ c + id & a + ib \end{pmatrix},
ΔX3,3,ΔX2,3=(a−ib−c+idc+ida+ib),\Delta X_{3,3},\Delta X_{2,3} = \begin{pmatrix} a - ib & - c + id \\ c + id & a + ib \end{pmatrix},
ΔX3,4,ΔX2,4=(a+ibc+id−c+ida−ib),\begin{array}{r} \Delta X_{3,4},\Delta X_{2,4} = \begin{pmatrix} a + ib & c + id \\ - c + id & a - ib \end{pmatrix}, \end{array}
(1.4.35)

while the ΔX2,k,ΔX1,k\Delta X_{2,k},\Delta X_{1,k} groups have an anti-sym­met­ric re­la­tion­ship to the pre­vi­ous groups in terms of the prod­ucts of their uju_{j} el­e­ments, and are de­not­ed in terms of their SU(2),SU(2)′SU(2),SU(2)'group forms, as

ΔX2,1,ΔX1,1=(a+ib−c+idc+ida−ib),\Delta X_{2,1},\Delta X_{1,1} = \begin{pmatrix} a + ib & - c + id \\ c + id & a - ib \end{pmatrix},
ΔX2,2,ΔX1,2=(a−ibc+id−c+ida+ib),\Delta X_{2,2},\Delta X_{1,2} = \begin{pmatrix} a - ib & c + id \\ - c + id & a + ib \end{pmatrix},
ΔX2,3,ΔX1,3=(a−ibc+id−c+ida+ib),\Delta X_{2,3},\Delta X_{1,3} = \begin{pmatrix} a - ib & c + id \\ - c + id & a + ib \end{pmatrix},
ΔX2,4,ΔX1,4=(a+ib−c+idc+ida−ib).\begin{array}{r} \Delta X_{2,4},\Delta X_{1,4} = \begin{pmatrix} a + ib & - c + id \\ c + id & a - ib \end{pmatrix}. \end{array}
(1.4.36)

The arrange­ment of in­scribed spheres is shown in Figure 1.4.7, where the red spheres are in­ter­sect­ed by the X1X_{1}-axis and rep­re­sent ΔX1,k,ΔX3,k\Delta X_{1,k},\Delta X_{3,k}, green spheres are in­ter­sect­ed by the X2X_{2}-axis and rep­re­sent ΔX2,k,ΔX1,k\Delta X_{2,k},\Delta X_{1,k}, and the blue spheres are in­ter­sect­ed by the X3X_{3}-axis and rep­re­sent ΔX3,k,ΔX2,k\Delta X_{3,k},\Delta X_{2,k}. Other forms of the SU(2)SU(2) group can be found to exist with com­bi­na­tions of ΔXj,k,ΔXj±1,k±n\Delta X_{j,k},\Delta X_{j \pm 1,k \pm n}, for n=ℤ\ n= \mathbb{Z}, where taking the ex­am­ple ΔX1,1,ΔX3,4\Delta X_{1,1},\Delta X_{3,4}, we find the prod­uct pairs are

X1,12=(1001)=ϵ,  X3,42=(i00−i)=u1X_{1,1}^{2} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = \epsilon,\ \ X_{3,4}^{2} = \begin{pmatrix} i & 0 \\ 0 & - i \end{pmatrix} = u_{1}
X3,4X1,1=(0−110)=u2,  X1,1X3,4=(0−i−i0)=u3,\begin{array}{r} X_{3,4}X_{1,1} = \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix} = u_{2},\ \ X_{1,1}X_{3,4} = \begin{pmatrix} 0 & - i \\ - i & 0 \end{pmatrix} = u_{3}, \end{array}
(1.4.37)

which yields an SU(2)SU(2) group of the form

ΔX1,1,ΔX3,4=(a+ib−c−idc−ida−ib).\begin{array}{r} \Delta X_{1,1},\Delta X_{3,4} = \begin{pmatrix} a + ib & - c - id \\ c - id & a - ib \end{pmatrix}. \end{array}
(1.4.38)

Eq. 1.4.37 rep­re­sents an SU(2)SU(2) group of the form

ΔX1,1,ΔX3,4=(a+ib−c−idc−ida−ib),\begin{array}{r} \Delta X_{1,1},\Delta X_{3,4} = \begin{pmatrix} a + ib & - c - id \\ c - id & a - ib \end{pmatrix}, \end{array}
(1.4.38)

for which all the fol­low­ing still hold

u12=u22=u32=u1u2u3=−1,\begin{array}{r} u_{1}^{2} = u_{2}^{2} = u_{3}^{2} = u_{1}u_{2}u_{3} = - 1, \end{array}
Figure
Figure 1.4.7 – In­scribed spheres of SU(2),SU(2)′SU(2),SU(2)'with light cone re­sect­ed and U(3)U(3) sphere cen­tered at origin.
u1u2=u3,   u2u3=u1,   u3u1=u2,u_{1}u_{2} = u_{3},\ \ \ u_{2}u_{3} = u_{1},\ \ \ u_{3}u_{1} = u_{2},
u2u1=−u3,   u3u2=−u1,   u1u3=−u2.\begin{array}{r} u_{2}u_{1} = - u_{3},\ \ \ u_{3}u_{2} = - u_{1},\ \ \ u_{1}u_{3} = - u_{2}. \end{array}
(1.4.39)

Cal­cu­lat­ing ΔX1,1,ΔX3,3\Delta X_{1,1},\Delta X_{3,3}, would equate to find­ing the prod­ucts of the matrix chord ΔX1,1\Delta X_{1,1} with the mirror of ΔX3,1\Delta X_{3,1}, yield­ing the al­ter­nate al­ge­bras

X1,12=(1001)=ϵ,  X3,22=(−i00i)=u1X_{1,1}^{2} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = \epsilon,\ \ X_{3,2}^{2} = \begin{pmatrix} - i & 0 \\ 0 & i \end{pmatrix} = u_{1}
X3,2X1,1=(01−10)=u2,  X1,1X3,2=(0ii0)=u3,\begin{array}{r} X_{3,2}X_{1,1} = \begin{pmatrix} 0 & 1 \\ - 1 & 0 \end{pmatrix} = u_{2},\ \ X_{1,1}X_{3,2} = \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix} = u_{3}, \end{array}
(1.4.40)

which com­pris­es an SU(2)SU(2) group of the form

ΔX1,1,ΔX3,2=(a−ibc+id−c+ida+ib),\begin{array}{r} \Delta X_{1,1},\Delta X_{3,2} = \begin{pmatrix} a - ib & c + id \\ - c + id & a + ib \end{pmatrix}, \end{array}
(1.4.41)

for which the fol­low­ing still hold

u12=u22=u32=−1.\begin{array}{r} u_{1}^{2} = u_{2}^{2} = u_{3}^{2} = - 1. \end{array}
(1.4.42)

This group dif­fers, in that the prod­ucts of the uju_{j} el­e­ments have become neg­a­tive/re­versed

u1u2u3=1,u_{1}u_{2}u_{3} = 1,
u1u2=−u3, u2u3=−u1, u3u1=−u2,u_{1}u_{2} = {- u}_{3},\ u_{2}u_{3} = {- u}_{1},\ u_{3}u_{1} = {- u}_{2},
u2u1=u3, u3u2=u1, u1u3=u2.\begin{array}{r} u_{2}u_{1} = u_{3},\ u_{3}u_{2} = u_{1},\ u_{1}u_{3} = u_{2}. \end{array}
(1.4.43)

Sim­i­lar prod­uct cal­cu­la­tions for ΔX1,2,ΔX3,4\Delta X_{1,2},\Delta X_{3,4}, result in the group

ΔX1,2,ΔX3,4=(a+ibc−id−c−ida−ib),\Delta X_{1,2},\Delta X_{3,4} = \begin{pmatrix} a + ib & c - id \\ - c - id & a - ib \end{pmatrix},

com­prised of the el­e­ments

u1=(i00−i),   u2=(01−10),    u3=(0−i−i0),u_{1} = \begin{pmatrix} i & 0 \\ 0 & - i \end{pmatrix},\ \ \ u_{2} = \begin{pmatrix} 0 & 1 \\ - 1 & 0 \end{pmatrix},\ \ \ {\ u}_{3} = \begin{pmatrix} 0 & - i \\ - i & 0 \end{pmatrix},

whose inter-prod­ucts will have the same re­ver­sals of the afore­men­tioned ΔX1,1,ΔX3,2\Delta X_{1,1},\Delta X_{3,2} group

u1u2=−u3,   u2u3=−u1,   u3u1=−u2,u_{1}u_{2} = {- u}_{3},\ \ \ u_{2}u_{3} = {- u}_{1},\ \ \ u_{3}u_{1} = {- u}_{2},
u2u1=u3,   u3u2=u1,   u1u3=u2.\begin{array}{r} u_{2}u_{1} = u_{3},\ \ \ u_{3}u_{2} = u_{1},\ \ \ u_{1}u_{3} = u_{2}. \end{array}
(1.4.44)

From the stand­point of the uju_{j} ma­tri­ces, we see that they are both pos­i­tive and neg­a­tive in their SU(2)SU(2) group re­sults, and we will have a total of 23=82^{3} = 8 dif­fer­ent pos­si­ble forms of SU(2)SU(2), which we denote as the 𝒮𝒰(2)\mathcal{SU}(2) set

𝒮𝒰(2)={(𝐚+𝐢𝐛𝐜+𝐢𝐝−𝐜+𝐢𝐝𝐚−𝐢𝐛),   (𝐚+𝐢𝐛−𝐜+𝐢𝐝𝐜+𝐢𝐝𝐚−𝐢𝐛)∗,   (a+ibc−id−c−ida−ib)∗,   (a+ib−c−idc−ida−ib)(𝐚−𝐢𝐛𝐜+𝐢𝐝−𝐜+𝐢𝐝𝐚+𝐢𝐛)∗,   (𝐚−𝐢𝐛−𝐜+𝐢𝐝𝐜+𝐢𝐝𝐚+𝐢𝐛),   (a−ibc−id−c−ida+ib),   (a−ib−c−idc−ida+ib)∗},\begin{array}{r} \mathcal{SU}(2) = \left\{ \begin{array}{r} \begin{pmatrix} \mathbf{a} + \mathbf{ib} & \mathbf{c} + \mathbf{id} \\ - \mathbf{c} + \mathbf{id} & \mathbf{a} - \mathbf{ib} \end{pmatrix},\ \ \ \begin{pmatrix} \mathbf{a} + \mathbf{ib} & - \mathbf{c} + \mathbf{id} \\ \mathbf{c} + \mathbf{id} & \mathbf{a} - \mathbf{ib} \end{pmatrix}^{*},\ \ \ \begin{pmatrix} a + ib & c - id \\ - c - id & a - ib \end{pmatrix}^{*},\ \ \ \begin{pmatrix} a + ib & - c - id \\ c - id & a - ib \end{pmatrix} \\ \begin{pmatrix} \mathbf{a} - \mathbf{ib} & \mathbf{c} + \mathbf{id} \\ - \mathbf{c} + \mathbf{id} & \mathbf{a} + \mathbf{ib} \end{pmatrix}^{*},\ \ \ \begin{pmatrix} \mathbf{a} - \mathbf{ib} & - \mathbf{c} + \mathbf{id} \\ \mathbf{c} + \mathbf{id} & \mathbf{a} + \mathbf{ib} \end{pmatrix},\ \ \ \begin{pmatrix} a - ib & c - id \\ - c - id & a + ib \end{pmatrix},\ \ \ \begin{pmatrix} a - ib & - c - id \\ c - id & a + ib \end{pmatrix}^{*} \end{array} \right\}, \end{array}
(1.4.45)

all of which have de­ter­mi­nants equal to a2+b2+c2+d2a^{2} + b^{2} + c^{2} + d^{2}. The groups with as­ter­isks in the 𝒮𝒰(2)\mathcal{SU}(2) set hold to the re­verse prod­ucts

u12=u22=u32=−1,u1u2u3=1,\begin{array}{r} u_{1}^{2} = u_{2}^{2} = u_{3}^{2} = - 1,u_{1}u_{2}u_{3} = 1, \end{array}
u1u2=−u3, u2u3=−u1, u3u1=−u2,u_{1}u_{2} = {- u}_{3},\ u_{2}u_{3} = {- u}_{1},\ u_{3}u_{1} = {- u}_{2},
u2u1=u3, u3u2=u1, u1u3=u2,\begin{array}{r} u_{2}u_{1} = u_{3},\ u_{3}u_{2} = u_{1},\ u_{1}u_{3} = u_{2}, \end{array}
(1.4.46)

and the groups in bold font denote the in­scribed spheres in the cones that we have been con­sid­er­ing. The other groups ∈𝒮𝒰(2)\in \mathcal{SU}(2) can be gen­er­at­ed by chords that span from one cone to an­oth­er, and two ex­am­ples are

ΔX1,1,ΔX3,4=(a+ib−c−idc−ida−ib),\begin{array}{r} \Delta X_{1,1},\Delta X_{3,4} = \begin{pmatrix} a + ib & - c - id \\ c - id & a - ib \end{pmatrix}\mathbf{,} \end{array}
(1.4.47)
ΔX1,2,ΔX3,3=(a−ib−c−idc−ida+ib)∗,\begin{array}{r} \Delta X_{1,2},\Delta X_{3,3} = \begin{pmatrix} a - ib & - c - id \\ c - id & a + ib \end{pmatrix}^{*}, \end{array}
(1.4.48)

which yield groups ∈𝒮𝒰(2)\in \mathcal{SU}(2), not from the in­scribed sphere groups. We can also note that the 𝒮𝒰(2)\mathcal{SU}(2) sub­group

(a−ibc−id−c−ida+ib),\begin{pmatrix} a - ib & c - id \\ - c - id & a + ib \end{pmatrix},

is formed as the result of chords on op­po­site sides of the sphere

ΔX1,2,ΔX3,3=(a−ibc−id−c−ida+ib).\Delta X_{1,2},\Delta X_{3,3} = \begin{pmatrix} a - ib & c - id \\ - c - id & a + ib \end{pmatrix}\mathbf{.}