nLab conformal compactification

Contents

Context

Riemannian geometry

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id ⊣ id ∨ ∨ fermionic ⇉ ⊣ ⇝ bosonic ⊥ ⊥ bosonic ⇝ ⊣ Rh rheonomic ∨ ∨ reduced ℜ ⊣ ℑ infinitesimal ⊥ ⊥ infinitesimal ℑ ⊣ & étale ∨ ∨ cohesive ʃ ⊣ ♭ discrete ⊥ ⊥ discrete ♭ ⊣ ♯ continuous ∨ ∨ ∅ ⊣ * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Contents

Idea

A conformal compactification is an embedding of a non-compact Lorentzian manifold into a compact Lorentzian manifold as a dense open subspace, such that the embedding is a conformal map .

Example

The (or rather, any) conformal compactification M¯\overline{M} of (flat) Minkowski space M=ℝ n,1M = \mathbb{R}^{n,1} is important in various treatments of behaviour at infinity of physics thereon (see e.g. Penrose-Hawking theorem).

Section 4.2 of Nikolov & Todorov 2004 gives a thorough geometric discussion of the construction and gives explicit expressions in coordinates, and shows that (the underlying manifold of) this M¯\overline{M} is in fact (S n×S 1)/{±1}(S^n \times S^1)/\{\pm 1\}, for a specific embedding of S n×S 1S^n\times S^1 in ℝ n+1,2\mathbb{R}^{n+1,2}, and the action by scalar multiplication.

Let q(x,t)q(x,t) be the standard indefinite quadratic form of signature (n,1)(n,1) on ℝ n,1\mathbb{R}^{n,1} and define the following map ℝ n,1→ℝ n+1,2≃ℝ n,1×ℝ 1,1\mathbb{R}^{n,1} \to \mathbb{R}^{n+1,2} \simeq \mathbb{R}^{n,1}\times \mathbb{R}^{1,1}:

C˜:(x,t)↦(x,t,1−q(x,t)2,−1−q(x,t)2) \tilde{C}\colon (x,t) \mapsto (x,t,\frac{1-q(x,t)}{2},\frac{-1-q(x,t)}{2})

This is a diffeomorphism on its image, which can be described as the intersection of the hyperplane v−w=1v-w=1 and the quadric q(x,t)+q′(v,w)=0q(x,t) + q'(v,w)=0, where (v,w)(v,w) are coordinates on ℝ 1,1\mathbb{R}^{1,1} with the quadratic form q′(v,w)=v 2−w 2q'(v,w) = v^2-w^2. In particular, the image of this map avoids the origin in ℝ n+1,2\mathbb{R}^{n+1,2}, and rearranging the defining equation for the quadric we get |x| 2+v 2=t 2+w 2|x|^2 + v^2 = t^2 + w^2 =K=K, say, where K≠0K\neq 0. We can then scale C˜(x,t)\tilde{C}(x,t) to C(x,t)C(x,t) so that K=1K=1, which means C(x,t)∈S n×S 1C(x,t) \in S^n\times S^1. [TODO: calculate this normalisation] Then the final quotient by {±1}\{\pm 1\} gives the desired dense embedding ℝ n,1→(S n×S 1)/{±1}\mathbb{R}^{n,1} \to (S^n\times S^1)/\{\pm 1\}.

One could also skip the normalisation step if desired, and pass directly to the quotient by ℝ ×≃ℝ >0 *×{±1}\mathbb{R}^\times \simeq \mathbb{R}_{\gt0}^* \times \{\pm 1\}, treating C˜(x,t)\tilde{C}(x,t) as homogeneous coordinates.

The blog post (Wong 2009)) gives a discussion of comformal compactification in general, with Minkowski space as an example. It describes the underlying manifold of (the ‘usual’ construction of) M¯\overline{M} is S n×S 1S^n\times S^1, but then clarifies that this is a ‘double cover’.

A conformal compactification, of complexified Minkowski spacetime ℝ 3,1\mathbb{R}^{3,1}, is given by the Klein quadric. (eg, Fioresi-Lledo-Varadarajan 07, section 2). This plays a key role in the twistor correspondence.

References

On conformal compactification via Cartan geometry:

  • Daniel Platt: Conformal Geodesics in Cartan Calculus, MSc thesis (2017) [pdf, pdf]

On conformal boundaries, mostly in the context of the AdS/CFT correspondence:

Last revised on July 2, 2024 at 09:41:10. See the history of this page for a list of all contributions to it.