Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The conformal compactification of the prototype Euclidean space $\mathbb R^n$ can be carried out by embedding $\mathbb R^n$ into $\mathbb R^{n+1,1}$ with Minkowski signature. One then considers the null-cone $\mathcal N$ given by the null-set of the obvious quadratic form $Q$ on $\mathbb R^{n+1,1}$, with the origin removed in order to have a proper hypersurface. The final step is to define the conformal compactification as the quotient $$\mathcal N/\sim,$$ where $\sim$ is the equivalence relation on rays, i.e. $x,y\in\mathcal N$ are equivalent (and we write $x\sim y$) if there exists $\lambda\in\mathbb R\smallsetminus\{0\}$ such that $x = \lambda y$.

As a concrete example we can take the real line $\mathbb R$. The null-cone $\mathcal N$, in this case, is just a double cone without vertex in $\mathbb R^3$, and the equivalence relation $\sim$ gives $\mathbb {N/\sim}\equiv S^1$, i.e. the unit circle. Therefore the circle $S^1$ is the conformal compactification of the real line $\mathbb R$, as one'd expect.

Similarly one obtains that the conformal compactification of $\mathbb R^2$ is the sphere $S^2$, and it turns out that the relation between the two objects is the stereographic projection.

My question is: how can I explicitly and systematically derive the inclusion of, say, $\mathbb R$ into $S^1$, or that of $\mathbb R^2$ into $S^2$, according to the above outlined construction? In the example of the sphere, for instance, such correspondence is, like I've said before, the stereographic projection.

Further hints towards the systematic determination of such inclusion for generic (pseudo-)Riemannian manifolds (e.g. Minkowski 4-spacetime) into their conformal compactification would be greatly appreciated.

share|improve this question
Not sure if it's what you want, but: take a $0\neq v\in N$, let $V=\{u;u\cdot v=0\}$ (a hyperplane tangent to $N$ along $v$), let $W=V+u$ be a parallel hyperplane (for some $u\notin V$), then you can identify $W\cap N$ with $V/\mathbb R v$ and $W\cap N$ maps injectively to $N/\equiv$; that's what corresponds to the stereographic projection –  user8268 Aug 26 '13 at 17:33
Well these are basically equivalent steps to reproduce what I have outlined above. In particular your intersection $W\cap N$ should be a paraboloid, and the quotient $V/\mathbb Rv$ is (isometrically? how?) isomorphic to $\mathbb R^n$. What I don't really see is: 1. how to explicitly write the correspondence between $\mathbb R^n$ and $V/\mathbb Rv$ (I can surely write one, and probably make it isometric, but how can I derive it out of the construction directly?); 2. how to express the injection from $W\cap N$ to $N/\sim$. –  Phoenix87 Aug 26 '13 at 18:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.