The purpose of this first part (out of four) is to give a very easy going description of the geometry of the space of unit area ellipses (with center of mass at the origin), also known as $P_2 = SL(2;\mathbb R)/SO(2; \mathbb R)$, which is isomorphic to the hyperbolic space $\mathbb H^2$. Much of the material may seem to have been pulled out of a magicians hat, but will hopefully become clearer in part II, where I will present the problem a bit more traditionally and carefully by starting from the Lie algebra $sl(2; \mathbb R)$. In part III I will talk about the asymptotic geometry of $P_2$, and the conformal structure on its boundary รก la Fefferman and Graham (see e.g. Graham & Zworski). I will also try to point how and why these "asymptotic conformal symmetries" play an important role in the so-called gauge/gravity dualities. In part IV I will discuss my own work on the asymptotic geometry, conformal structures and the infinite dimensional Lie algebra of asymptotic symmetries on the boundary of $P_3$ (see here for the arXiv version; I must note that I was a bit hasty with the publication and I will try to elaborate the results a bit further in the blog version), which can be understood as a space of unit volume ellipsoids in $\mathbb R^3$. This is a five dimensional noncompact symmetric space of constant negative Ricci scalar curvature, which however is not isomorphic to $\mathbb H^5$.

**Figure 1**: Some ellipses. Black is the circle, Red is $\mathcal E (1/2,5)$ and green is $\mathcal E (1,3/2)$ (see below for the definition of $\mathcal E$).### Symmetries of the space of unit area ellipses (UAE)

What exactly is a symmetry? We could describe a ball being symmetric under rotations about it's center. Here's an equation for a (unit) ball in \(\mathbb R^2\), i.e. a circle: \begin{equation} x^2 + y^2 = 1.\label{circleeq} \end{equation} The equation \eqref{circleeq} is invariant under a rotation by an angle \(\phi \), \begin{equation} \left( \begin{array}{c} x' \\ y' \end{array} \right) = \left( \begin{array}{c} x \cos\phi + y \sin\phi \\ -x \sin\phi +y \cos\phi\end{array} \right) \label{rotation}. \end{equation} I will define the matrix that does the rotation as (the symbol \( \doteq\) is here used to define a notation) \begin{equation} k(\phi) \doteq \left( \begin{array}{cc} \cos \phi & \sin\phi \\ -\sin\phi & \cos\phi \end{array} \right) \in SO(2;\mathbb R). \end{equation} (I apologize for not making a distinction between a representation and a Lie group element... hopefully that will not cause confusion) I'll just denote the circle as \begin{equation} S^1 =\left\{ (x,y) \in \mathbb{R}^2 \left| x^2+y^2=1 \right. \right\}. \label{circle} \end{equation} The invariance under rotations \eqref{rotation} can then be expressed as \begin{equation} k(\phi)\cdot S^1 = \left\{ (x,y)\in \mathbb{R}^2 \left| {x'}^2+{y'}^2=1 \right. \right\} = S^1 . \end{equation} We could say that the rotation maps the circle into another circle, which is another solution to the equation, albeit identical. Symmetries may in fact be defined as transformations that map the solution space to itself. Here the solution space is zero dimensional, since there is only one solution, which admittedly makes the example rather boring... We could instead consider the space of all UAEs (never mind about what the equation would be, we just need the space). An UAE can be obtained by acting on the unit area circle by a linear transformation which preserves the area, like this: \begin{equation} \left( \begin{array}{c} x' \\ y' \end{array} \right) \doteq \left( \begin{array}{cc} a & b \\ c & d \end{array} \right) \left( \begin{array}{c} x \\ y \end{array} \right) \ \ , \ \ a d-b c =1 .\label{speciallinear} \end{equation} We can call the matrix \(g \), after which the right hand side area preserving condition can be expressed simply as \( \det g = 1 \). Invariance of the area is a simple consequence of invariance of the volume form, \( dx' \wedge dy' = dx \wedge dy \) (the volume form is just the integration measure in e.g. \( \int\! f(x,y)dx dy \)). Two by two matrices with unit determinant form the Lie group of type \( SL(2; \mathbb R)\). Let's consider a particular matrix in \( SL(2; \mathbb R)\) of the following type: \begin{equation} h(r) \doteq \left( \begin{array}{cc} e^{-r} & 0 \\ 0 & e^{r} \end{array} \right) . \end{equation} The exponential notation is simply a matter of convenience and will be useful below. Its effect is to shrink the \(x\) coordinate by a factor \( e^{-r}\) and to stretch the y coordinate by \( e^{r}\) (for positive \(r\)), therefore it deforms the circle into a unit area ellipse, explicitly \begin{equation} h(r)\cdot S^1 = \left\{ (x,y) \in \mathbb{R}^2 \left| e^{-2r} x^2+ e^{2r} y^2=1 \right. \right\} . \end{equation} On the other hand, we also have the rotation matrix \( k(\phi)\). Clearly we can get any ellipse by acting on $S^1$ with $k(\phi) h(r)$. It is in fact possible and convenient to express any matrix \(g\) with \( \det g = 1\) in a combination of these kinds of two matrices by using a polar decomposition, \begin{equation} g = k(\phi/2)h(r)k(-\phi/2) k(\phi') \doteq p(r,\phi) k(\phi'), \end{equation} with \begin{equation} p(r,\phi) = \left( \begin{array}{cc} \cosh r -\cos \phi \sinh r & \sin \phi \sinh r \\ \sin \phi \sinh r & \cosh r +\cos \phi \sinh r \end{array} \right).\label{symmspace} \end{equation} Now we can define any ellipse as \begin{equation} \mathcal E (r,\phi) \doteq p(r,\phi) \cdot S^1, \end{equation} since $ k(\phi') \cdot S^1 = S^1$. In fact, we wouldn't need the circle at all: for $r>0$, there's a one to one correspondence between all ellipses and the elements $p(r,\phi)$. The origin in the space of ellipses is the circle $S^1$, which corresponds to $p(0,\phi)$. It is indeed perhaps more intuitive to consider the origin as a point rather than a circle... Now $g$ acts on the space of ellipses by multiplication from the left: $\mathcal E \to g \mathcal E = g p \cdot S^1$. But note that we can always rearrange $g p(r,\phi) = p(r',\phi') k(\phi'')$, and since $k \cdot S^1 = S^1$, the transformation preserves the form $p\cdot S^1$ of the space of ellipses. This is of course just a realization of a homogeneous space: $SO(2)$ is the isotropy group of the circle, and the space of ellipses can be identified with $SL(2)/SO(2)$ (I will always assume the field to be $\mathbb R$ and will therefore often drop it).

### Geometry

That's all for now. In the next part I'll discuss symmetric spaces via a Cartan decomposition of the Lie algebra $sl(2; \mathbb R)$.