Masteries · Jason GlowneyArithmoí Book 1

Masteries

1.4.3 The Tangent Space of the Cone

In conic sec­tions, the cone is typ­i­cal­ly not given much thought and is con­sid­ered as null, but when viewed as being a group in com­plex space, we start to see its im­por­tance, given other geome­tries arise from it. When talk­ing about the 𝒮𝒰(2)\mathcal{SU}(2) set in the pre­vi­ous sec­tion, the tan­gent spaces of the in­di­vid­ual ex­po­nen­tial func­tion points on the cone com­prise the chord ma­tri­ces of the form ΔXj\Delta X_{j}. The reader can recall that a tan­gent space is de­ter­mined by the fol­low­ing cal­cu­la­tion

 ∂∂xjG(Xj)|xj=0,\begin{array}{r} \left. \ \frac{\partial}{\partial x_{j}}G\left( X_{j} \right) \right|_{x_{j} = 0}, \end{array}
(1.4.49)

and using our pre­vi­ous chord points B,B′,C,C′B,B',C,C', we denote them as unit equa­tions

B=eα(1+i2),   B′=eα(1−i2),   C=eβ(1+i2),   C′=eβ(i−12).\begin{array}{r} B = e^{\alpha\left( \frac{1 + i}{\sqrt{2}} \right)},\ \ \ B^{'} = e^{\alpha\left( \frac{1 - i}{\sqrt{2}} \right)},\ \ \ C = e^{\beta\left( \frac{1 + i}{\sqrt{2}} \right)},\ \ \ C' = e^{\beta\left( \frac{i - 1}{\sqrt{2}} \right)}. \end{array}
(1.4.50)

Cal­cu­lat­ing the tan­gent spaces of the above equa­tions, we find

𝔗(B)= (1+i2)eα(1+i2)|α=0=(1+i2)=eiπ4,\begin{array}{r} \mathfrak{T}(B) = \left. \ \left( \frac{1 + i}{\sqrt{2}} \right)e^{\alpha\left( \frac{1 + i}{\sqrt{2}} \right)} \right|_{\alpha = 0} = \left( \frac{1 + i}{\sqrt{2}} \right) = e^{\frac{i\pi}{4}}, \end{array}
(1.4.51)
𝔗(B′)= (1−i2)eα(1−i2)|α=0=(1−i2)=e−iπ4,\begin{array}{r} \mathfrak{T}(B') = \left. \ \left( \frac{1 - i}{\sqrt{2}} \right)e^{\alpha\left( \frac{1 - i}{\sqrt{2}} \right)} \right|_{\alpha = 0} = \left( \frac{1 - i}{\sqrt{2}} \right) = e^{\frac{- i\pi}{4}}, \end{array}
(1.4.52)
𝔗(C)= (1+i2)eβ(1+i2)|β=0=(1+i2)=eiπ4,\begin{array}{r} \mathfrak{T}(C) = \left. \ \left( \frac{1 + i}{\sqrt{2}} \right)e^{\beta\left( \frac{1 + i}{\sqrt{2}} \right)} \right|_{\beta = 0} = \left( \frac{1 + i}{\sqrt{2}} \right) = e^{\frac{i\pi}{4}}, \end{array}
(1.4.53)
𝔗(C′)= (i−12)eβ(i−12)|β=0=(i−12)=ei3π4,\begin{array}{r} \mathfrak{T}(C') = \left. \ \left( \frac{i - 1}{\sqrt{2}} \right)e^{\beta\left( \frac{i - 1}{\sqrt{2}} \right)} \right|_{\beta = 0} = \left( \frac{i - 1}{\sqrt{2}} \right) = e^{\frac{i3\pi}{4}}, \end{array}
(1.4.54)

and we can see that the tan­gent spaces for our unit func­tions in­ter­sect the U(3)U(3) sphere ex­act­ly at the points B,B′,C,C′B,B',C,C'. The tan­gent spaces meet at a con­flu­ence which is the focal point of the pos­i­tive unit hy­per­bo­lae in the X1X_{1} and X3X_{3}-planes, and this con­flu­ence also forms the center of the in­scribed SU(2)SU(2) sphere. In Figure 1.4.8, blue lines rep­re­sent the tan­gent spaces for points B,B′,C,C′B,B',C,C'in­ter­sect­ing at the point O′O', which is the hy­per­bol­ic focal point and center of the in­scribed SU(2)SU(2) sphere. The tan­gent points B,B′,C,C′B,B',C,C'are in­ter­sec­tion points on the U(3)U(3) sphere, seen in the figure for the in­scribed SU(2)SU(2) sphere, and the cone ori­ent­ed along the pos­i­tive X1X_{1}-axis.

Figure
Figure 1.4.8 – Tan­gent spaces 𝔗(B),𝔗(B′),𝔗(C),𝔗(C′)\mathfrak{T}(B),\mathfrak{T}(B'),\mathfrak{T}(C),\mathfrak{T}(C') as blue lines, meet at the point 𝒪′\mathcal{O}^{'}, the focal

point for the pos­i­tive unit hy­per­bo­lae in the X1,X3X_{1},X_{3}-plane, and the center of the in­scribed SU(2)SU(2) sphere.

The tan­gent spaces for our matrix equa­tions will con­tin­ue to orient along points as­ymp­tot­ic to the unit hy­per­bo­la, based on in­creas­es in the mag­ni­tude of their ar­gu­ments, form­ing the cones that bound the hy­per­bo­lae and the in­scribed spheres. To show this, we take the matrix equa­tion at the point EE, with a scalar con­stant qq, in the ar­gu­ment

Eq=eq+α(1+i2),\begin{array}{r} E_{q} = e^{q + \alpha\left( \frac{1 + i}{\sqrt{2}} \right)}, \end{array}
(1.4.55)

for α\alpha, the angle in ra­di­ans, and cal­cu­late the tan­gent space of EE,  ∂∂αE|α=0\left. \ \frac{\partial}{\partial\alpha}E \right|_{\alpha = 0}, find­ing

𝔗(Eq)= (1+i2)eq+α(1+i2)|α=0=eq(1+i2),\begin{array}{r} \mathfrak{T}\left( E_{q} \right) = \left. \ \left( \frac{1 + i}{\sqrt{2}} \right)e^{q + \alpha\left( \frac{1 + i}{\sqrt{2}} \right)} \right|_{\alpha = 0} = e^{q}\left( \frac{1 + i}{\sqrt{2}} \right), \end{array}
(1.4.56)

re­mark­ing that its tan­gent spaces simply scale by the con­stant,qq. Chord ma­tri­ces for the scaled tan­gent spaces would then take the form for our orig­i­nal ΔX1, ΔX3\Delta X_{1},\ \Delta X_{3} ma­tri­ces, but would be scaled by a factor of cosh⁡(q)\cosh(q), defin­ing the radial dis­tance to the points qE,qGqE,qG from the origin

eq(ΔX1,ΔX3)=eq((0e−iπ4eiπ40),(eiπ400ei3π4)).\begin{array}{r} e^{q}\left( \Delta X_{1},\Delta X_{3} \right) = e^{q}\left( \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} \right). \end{array}
(1.4.57)

The u1u_{1} matrix el­e­ments cal­cu­late to

equi=eq{(i00−i),   (01−10),   (0ii0)},\begin{array}{r} e^{q}u_{i} = e^{q}\left\{ \begin{pmatrix} i & 0 \\ 0 & - i \end{pmatrix},\ \ \ \begin{pmatrix} 0 & 1 \\ - 1 & 0 \end{pmatrix},\ \ \ \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix} \right\}, \end{array}
(1.4.58)

and the scaled SU(2)SU(2) group simply be­comes

eqSU(2)=eq(a+ibc+id−c+ida−ib).\begin{array}{r} e^{q}SU(2) = e^{q}\begin{pmatrix} a + ib & c + id \\ - c + id & a - ib \end{pmatrix}. \end{array}
(1.4.59)
Figure
Figure 1.4.9 – Slice of X1X_{1}-plane for the scaled in­scribed SU(2)SU(2) sphere, for q=2q = \sqrt{2}, and for 𝒪′′\mathcal{O}'', the center of the scaled sphere.

In Figure 1.4.9, we scale the in­scribed sphere by the value q=2q = \sqrt{2}, and take a slice of this along the X1X_{1}-plane. The radial dis­tance to the points E′,G′E^{'},G^{'} is |eqe(±iπ4)|≈2.91,\left| e^{q}e^{\left( \frac{\pm i\pi}{4} \right)} \right| \approx 2.91,the new center point of the scaled in­scribed SU(2)SU(2) sphere is lo­cat­ed at 𝒪′′=(|eqe(−iπ4)|2+|eqe(iπ4)|2)12≈5.82\mathcal{O}^{''} = \left( \left| e^{q}e^{\left( \frac{- i\pi}{4} \right)} \right|^{2} + \left| e^{q}e^{\left( \frac{i\pi}{4} \right)} \right|^{2} \right)^{\frac{1}{2}} \approx 5.82, and the scaled in­scribed sphere meets the cone at points E′,G′E',G'. As the in­scribed sphere in­creas­es in size, the unit hy­per­bo­la and the U(3)U(3) sphere scale by the same factor of eqe^{q} (Figure 1.4.10).

Figure
Figure 1.4.10 – Slice of X1X_{1}-plane for the scaled in­scribed SU(2)SU(2) sphere for q=2,q = \sqrt{2},scaled unit sphere

with origin at 𝒪\mathcal{O}, and scaled unit hy­per­bo­la with focal point at O′′O'', and seg­ment, OJ=eqcosh⁡(α=0)\overline{OJ} = e^{q}\cosh(\alpha = 0).

The in­scribed sphere of the scaled SU(2)SU(2) group will always have its origin at the co­or­di­nates, (2eq,0,0)\sqrt{2}e^{q},0,0), for those in­scribed spheres cen­tered along the X1+X_{1}^{+}-axis, with sim­i­lar axis-based po­si­tions for spheres ori­ent­ed about the other axes.