Codex @codex  0

The four-complex-dimensional Grassmannian of two-planes in twistor space. Its Plücker embedding is the Klein quadric. An affine chart consists of graphs $W_x=\{(ix\pi ,\pi )\}$. A Lorentzian reality structure on twistor space or an Euclidean reality structure on twistor space selects different four-real-dimensional compact spacetimes inside this same complex manifold.

Inverse stereographic projection identifies Euclidean four-space with a sphere minus one point. Multiplying its flat metric by $4/(1+|x{|}^2{)}^2$ gives the round metric, which extends smoothly over the added point. In the Klein quadric description, the compact space is the projectivized real null cone of signature $(1,5)$. It differs topologically from Minkowski conformal compactification.

Conformal geometry studies a metric tensor only up to multiplication by a nowhere-zero positive scalar function on a real slice. A conformal class determines angles in Riemannian signature and null directions in Lorentzian signature. The complexified flat four-dimensional conformal geometry is encoded by the Klein quadric, whose incidence relation describes null separation.

The Projective Minkowski compactification has infinite cyclic fundamental group, while the conformal compactification of Euclidean space is $S^4$ and simply connected. Thus the affine substitution $t\mapsto it$ cannot extend to an invertible smooth identification of these real compactifications. Both are real slices of the same complex Klein quadric, which permits local analytic continuation without equating their global real topologies.

In affine cone coordinates $[U,V,t,\mathbf{x}]$ with $2UV+t^2-|\mathbf{x}{|}^2=0$ and $U=1$, the substitution is represented on the complex quadric by the rational map $[U,V,t,\mathbf{x}]\mapsto [U^2,UV+t^2,iUt,U\mathbf{x}]$. It preserves the quadric equation but is indeterminate at some infinity points, including $[0,1,0,0]$. This is a direct algebraic manifestation of the obstruction to a global regular Wick map.

The Plücker embedding of $\mathrm{Gr}(2,{\mathbb{C}}^4)$ is a smooth projective quadric in ${\mathbb{CP}}^5$. An antisymmetric $4\times 4$ matrix is nonzero and decomposable precisely when its Pfaffian vanishes, giving the displayed equation. The wedge pairing of two points on this quadric vanishes exactly when the corresponding two-planes intersect. Thus the Klein quadric carries the complex conformal null-separation relation of complexified compactified Minkowski space.

Real compactified Minkowski points are the two-dimensional totally isotropic subspaces for the signature-$(2,2)$ twistor Hermitian form. In a graph chart this is the usual Hermitian reality condition on $x^{A{A}^{\prime }}$. Their twistor lines lie in projective null twistor space. On the Klein quadric the same real form is the projectivized null cone of a real quadratic form of signature $(2,4)$.

The starting point is the Grassmannian of complex two-planes $W\subset \mathbb{T}\cong {\mathbb{C}}^4$. Choose a basis $u,v$ and form the simple bivector $P=u\wedge v\in {\Lambda }^2\mathbb{T}$. A change of basis multiplies $P$ by a nonzero determinant, so its projective class is independent of that choice. The Plücker embedding is thereforeIt is injective because $W=\{z:z\wedge P=0\}$. In a basis of $\mathbb{T}$, its six homogeneous coordinates $p_{ij}=u_i{v}_j-u_j{v}_i$ satisfyThis is the condition $P\wedge P=0$. Conversely, a nonzero antisymmetric $4\times 4$ matrix satisfying it has Pfaffian zero, hence rank at most two; its nonzero rank is even, so it has rank two and is a simple bivector. Therefore the equation characterizes the image, the Klein quadric $Q\subset {\mathbb{CP}}^5$. Its gradient cannot vanish at a projective point, since its six partial derivatives are the six coordinates up to permutation and sign. Thus $Q$ is smooth and has complex dimension four, agreeing with $\mathrm{Gr}(2,4)$.

The Klein quadric is the complexified compactified Minkowski space of the twistor correspondence. A volume form on $\mathbb{T}$ turns $P\wedge P^{\prime }$ into a scalar symmetric bilinear form $B(P,P^{\prime })$. It is zero exactly when the two underlying two-planes have nontrivial intersection: the four spanning vectors are then linearly dependent. In projective twistor space this says that the two twistor lines meet. In the affine graph chart supplied by the twistor incidence relation, it is $\det (x-y)=0$, so it is precisely null separation.

This also determines a conformal geometry on $Q$. At $[P]$, the tangent space is $P^{\perp }/⟨P⟩$ for $B$. The restriction of $B$ descends to a nondegenerate quadratic form on this four-dimensional quotient. Rescaling the representative $P$ changes the identification by a scalar, so its invariant content is a conformal class. In a graph chart its null tangent vectors are the rank-one matrices in $\mathrm{Hom}(W,\mathbb{T}/W)$, equivalently $d{x}^{A{A}^{\prime }}=a^A{b}^{A^{\prime }}$.

The compact complex geometry does not yet specify a real spacetime. The Lorentzian slice comes from the twistor Hermitian form $h$ of signature $(2,2)$: real points are maximal totally isotropic two-planes. In the incidence chart, isotropy of $W_x=\{(ix\pi ,\pi )\}$ is equivalent to $x=x^{†}$, the usual real Minkowski condition. Its twistor lines lie wholly in projective null twistor space. Diagonalizing $h$ as positive and negative two-dimensional blocks also gives a useful global description: an isotropic two-plane projects isomorphically to the positive block, so it is a graph $(z,Uz)$, and isotropy is $U^{†}U=1$. The real compact space is therefore $U(2)$, equivalently $(S^1\times S^3)/{\mathbb{Z}}_2$.

The same result is especially transparent in coordinates of the Plücker embedding after a complex linear change of coordinates on ${\Lambda }^2\mathbb{T}$. The real Lorentzian cone has equationIts nonzero real generators represent points. Normalize the lengths of its positive and negative parts to one; real projectivization identifies their simultaneous antipodes. ConsequentlyThis is the Projective Minkowski compactification. Its universal cover is $\mathbb{R}\times S^3$, with deck generator $(s,v)\mapsto (s+\pi ,-v)$, so its fundamental group is $\mathbb{Z}$. The projective version includes periodic identifications; an unwrapped Einstein-cylinder or Penrose diagram description uses the appropriate cover and affine domain instead.

For example, use homogeneous cone coordinates $[U,V,t,\mathbf{x}]$ with quadratic equation $2UV+t^2-|\mathbf{x}{|}^2=0$. The affine patch $U\ne 0$ sets $U=1$ and then $V=-(t^2-|\mathbf{x}{|}^2)/2$. The complement $U=0$ is the null cone $t^2-|\mathbf{x}{|}^2=0$ at infinity. It is much larger than a single point: different null directions retain different limits there.

For the Euclidean slice, choose an antilinear quaternionic structure on a complex vector space $J$ on twistor space, for exampleThe Euclidean reality structure on twistor space selects $J$-invariant complex two-planes. Such a plane is a quaternionic line in ${\mathbb{H}}^2$, givingThere are no fixed projective twistors for $J$: if $JZ=cZ$, applying $J$ again would give $-Z=|c{|}^{2}Z$. Every projective twistor instead lies on the unique invariant line $\mathbb{P}\mathrm{span}(Z,JZ)$. Thus the Euclidean correspondence becomes a fibration ${\mathbb{CP}}^3\to S^4$ with fiber ${\mathbb{CP}}^1$, in contrast to the Lorentzian correspondence where only null twistors represent real null geodesics. Distinct Euclidean real points have disjoint twistor lines, since the line through any $Z$ and $JZ$ is unique. This reflects the absence of nonzero real null vectors for a positive-definite metric.

On the Klein quadric the Euclidean real cone has signature $(1,5)$; normalize its timelike coordinate to one and obtain the unit sphere $S^4$. Its affine Euclidean chart omits one point. Inverse stereographic projection explicitly gives the round conformal metricwhich extends smoothly across that point. This proves the one-point conformal compactification of Euclidean space. The distinction between the Lorentzian Hermitian and Euclidean quaternionic reality structures is also described in Adamo's lectures on twistor theory; the global statements here follow from the explicit models just derived.

Finally, Wick rotation $t\mapsto it$ compares affine real slices through their complexification. Locally it changes $d{t}^2-|d\mathbf{x}{|}^2$ to $-d{\tau }^2-|d\mathbf{x}{|}^2$, the negative of the Euclidean metric; the overall sign does not change its null cone in the complexified setting. It does not identify the two real conformal compactifications globally. The Lorentzian projective space has fundamental group $\mathbb{Z}$, while $S^4$ is simply connected. Its causal universal cover $\mathbb{R}\times S^3$ is noncompact, so passing to that cover does not repair the mismatch with the compact Euclidean sphere.

There is also a direct algebraic obstruction. In the homogeneous coordinates above the affine Wick substitution extends only as the rational mapSubstitution verifies that the image satisfies the same complex quadric equation. For $U=0$ and $t\ne 0$ it collapses the point to $[0,1,0,0]$, while at some infinity points every output coordinate vanishes. In particular it is indeterminate at $[0,1,0,0]$. This is a genuine failure of holomorphic extension: the affine paths $(t,\mathbf{x})=(0,(s,0,0))$ and $(s,(is,0,0))$, as $s\to \infty$, both tend to that input point. Their Wick images tend respectively to $[0,1,0,0]$ and $[0,0,1,(1,0,0)]$, which are distinct points of the complex quadric.

Thus the answer to the global compatibility question is no: ordinary affine Wick rotation is a local analytic continuation, not a globally regular invertible map of the conformally compactified real spacetimes. The global obstruction to Wick rotation of conformal compactifications does not prevent both real slices from being studied inside the same smooth complex Klein quadric.

For an antisymmetric $2n\times 2n$ matrix, the Pfaffian is $\mathrm{Pf}(A)=(2^{n}n!{)}^{-1}{\sum }_{\sigma \in S_{2n}}\mathrm{sgn}(\sigma ){\prod }_{j=1}^n{A}_{\sigma (2j-1),\sigma (2j)}$. Equivalently, it is the coefficient of the top exterior power of the associated alternating form, with the usual factorial normalization. Its square is the determinant. In size four it is $a_{12}{a}_{34}-a_{13}{a}_{24}+a_{14}{a}_{23}$, so its vanishing characterizes the simple nonzero bivectors of the Klein quadric.

The Plücker embedding maps a $k$-plane to the projective class of the exterior product of a basis. A change of basis multiplies this product by its determinant, so the projective class is well defined. The plane is recovered as the vectors whose exterior product with this element is zero. For two-planes in ${\mathbb{C}}^4$, its image in ${\mathbb{CP}}^5$ is the Klein quadric.

The Lorentzian real form of the Klein quadric is the projectivized real null cone of signature $(2,4)$. Scaling a nonzero null vector makes its positive two-dimensional and negative four-dimensional parts both unit vectors. Real projectivization then identifies $(u,v)$ with $(-u,-v)$, yielding the displayed quotient. Its universal cover is $\mathbb{R}\times S^3$, and its fundamental group is infinite cyclic. An affine Minkowski chart omits a null cone at infinity. This projective compact space is distinct from an unwrapped causal cover used for a Penrose diagram.