Right circular orbits in SU(1,1)

What we have learned (in SU(1,1) decomposition) about the structure of the group SU(1,1) so far? In SU(1,1) decomposition we have learned that every matrix A from SU(1,1), being of the form

(1)   \begin{equation*}A=\begin{bmatrix}\lambda&\mu\\ \bar{\mu}&\bar{\lambda}\end{bmatrix},\quad |\lambda|^2-|\mu|^2=1\end{equation*}

can be uniquely represented as a product

(2)   \begin{equation*}A=P(z)U(\theta),\end{equation*}

where P(z) is positive matrix, and U(\theta) is a unitary matrix. We have

(3)   \begin{equation*}z=\frac{\bar{\mu}}{\lambda},\,|\lambda|=\frac{1}{\sqrt{1-|z|^2}},\,\lambda=|\lambda|e^{i\theta},\end{equation*}


(4)   \begin{equation*} P(z)=\begin{bmatrix}\frac{1}{\sqrt{1-|z|^2}}&\frac{\bar{z}}{\sqrt{1-|z|^2}}\\ \frac{z}{\sqrt{1-|z|^2}}&\frac{1}{\sqrt{1-|z|^2}}\end{bmatrix},\end{equation*}

(5)   \begin{equation*}U(\theta)=\begin{bmatrix}e^{i\theta}&0\\0&e^{-i\theta}\end{bmatrix},\end{equation*}

with 0\leq\theta<2\pi, and |z|<1. The unit disk D

(6)   \begin{equation*}D=\{z:\,|z|<1\},\end{equation*}

is the cross section of the donut, the angle \theta goes around the donut.

Today we will look at the orbits produced inside the donut by the action of the unitary group.

Here is the orbit from my walk this very Sunday

Notice that matrices U(\theta) form a group – a one-parameter subgroup of SU(1,1):

(7)   \begin{equation*}U(\theta_1)U(\theta_2)=U(\theta_1+\theta_2),\quad U(\theta)^{-1}=U(\theta)^*=U(-\theta).\end{equation*}

This group is usually denoted U(1). Strictly speaking U(1) is the group of complex numbers of modulus 1, that is complex numbers of the form e^{i\theta}. Our group has two such complex numbers on the diagonal, e^{i\theta} and its complex conjugate e^{-i\theta}, but it is isomorphic to U(1) – it is essentially the same group. If you have one dollar, and its reflection in a mirror – you do not have two dollars. If you spend one, the reflection is also spent…. Perhaps it is not a very good example…. What if you spend the reflection to save the real buck?

So, what are these orbits? We are interested in orbits produced by action of matrices U(\theta) from the right. So let us take some element A=P(z)U(\theta) from the group. We are going to act on this element with matrices U(\theta) from the right. In order to avoid confusion, we will use t instead of \theta as the argument of the matrices tah act on A. So, we multiply A=P(z)U(\theta) by U(t) from the right. We get


Therefore the parameter z is constant along the orbit. Only parameter \theta is changing. That is, we move around the donut, keeping the position on cross sections fixed. To know the orbit it is enough to know the point of its intersection with one fixed cross-section. Here is the plot of several such orbits:

On the images it may look as if orbits can intersect, but this is only because of perspective. Two orbits either coincide, or they are disjoint, they do not have common points.

I took out a piece of our donut only for us to see better what is inside. The group is the whole donut, and orbits go inside.

So, to different orbits there correspond different complex numbers z. Give me one z inside the disk, and I will give you the orbit. So, I have made the points of intersection of orbits with one cross-section, namely the one for \theta=0, somewhat bigger. Each such point determines an orbit.
The inside of the unit disk can be considered as the space of orbits.

We can look at these orbits in a somewhat different way, as follows. To each matrix A\in \mbox{SU}(1,1), A=\left[\begin{smallmatrix}\lambda&\mu\\ \bar{\mu}&\bar{\lambda}\end{smallmatrix}\right] we associate z=\bar{\mu}/\lambda. Let us give some name to this association, let’s call it h.

(8)   \begin{equation*}h:\mbox{SU}(1,1)\rightarrow D,\quad h:\begin{bmatrix}\lambda&\mu\\ \bar{\mu}&\bar{\lambda}\end{bmatrix}\mapsto \frac{\bar{\mu}}{\lambda}.\end{equation*}

Then, for every t we have h(AU(t))=h(A). Two points on the same orbits map into the same z.
Let us see that it is indeed so. Let A'=AU(t). Let A'=\left[\begin{smallmatrix}\lambda'&\mu'\\ \bar{\mu '}&\bar{\lambda '}\end{smallmatrix}\right]. Then

    \[ÁU(t)=\begin{bmatrix}\lambda&\mu\\ \bar{\mu}&\bar{\lambda}\end{bmatrix}\begin{bmatrix}e^{it}&0\\0&e^{-it}\end{bmatrix}=\begin{bmatrix}\lambda e^{it}&\mu e^{-it}\\ \bar{\mu}e^{it}&\bar{\lambda}e^{-it}.\end{bmatrix}\]

Therefore \lambda'=\lambda e^{it}, \mu'=\mu e^{-it}, \bar{\mu '}=\bar{\mu} e^{it},, and so z'=\bar{\mu'}/\lambda'=\bar{\mu}/\lambda=z.

What about orbits from the left action? We will look at the next post.

Leave a Reply