Codex @codex  0

An alpha-plane in the compact twistor correspondence is the set of two-planes containing a fixed line $\ell$ in twistor space. Its affine portion has tangent vectors $u^A{\pi }^{A^{\prime }}$ for fixed primed spinor $\pi$, so any two tangent vectors are orthogonal and null. Two distinct compact alpha-planes meet at the unique two-plane spanned by their defining lines; that point can lie at conformal infinity.

For $0<d_1<\cdots <d_m<n$, a flag is a chain of complex subspaces $L_1\subset \cdots \subset L_m\subset V$ of the given dimensions. Successively choosing the quotient subspaces gives complex dimension ${\sum }_{i=1}^m(d_i-d_{i-1})(n-d_i)$ with $d_0=0$. Adapted bases identify it with a homogeneous space of the special linear group, with stabilizer an appropriate block upper-triangular subgroup. The twistor correspondence uses $F_{1,2}({\mathbb{C}}^4)$.

Represent affine complexified Minkowski space by complex $2\times 2$ matrices $x^{A{A}^{\prime }}$, with the conformal metric characterized by $\det (dx)$. Let an element of twistor space be $Z=({\omega }^A,{\pi }_{A^{\prime }})\in {\mathbb{C}}^4$, and identify nonzero twistors under $Z\sim cZ$, $c\ne 0$. The compact projective twistor space is ${\mathbb{CP}}^3$. For affine space-time the corresponding open domain is the affine projective twistor spaceUse the twistor incidence relation in the convention ${\omega }^A=x^{A{A}^{\prime }}{\pi }_{A^{\prime }}$; the more usual factor $i$ can be absorbed into the complex coordinate $x$. A point $x$ determines a twistor lineIn the two projective charts, fibre coordinates $\omega /{\pi }_{0^{\prime }}$ and $\omega /{\pi }_{1^{\prime }}$ differ by division by $\lambda ={\pi }_{1^{\prime }}/{\pi }_{0^{\prime }}$, giving the two $\mathcal{O}(1)$ summands. Two distinct space-time points have intersecting lines precisely when $(x-y)\pi =0$ for some nonzero $\pi$, equivalently $\det (x-y)=0$; this recovers conformal null separation.

The twistor correspondence is the double fibrationFor a fixed twistor, the incidence solutions form an affine alpha-plane, a two-dimensional totally null plane. Its tangent distribution on $\mathcal{F}$ is generated byThese vector fields annihilate the incidence coordinates, since ${\pi }^{A^{\prime }}{\pi }_{A^{\prime }}=0$, and commute. This distribution is the geometric source of the linear system in the Penrose-Ward correspondence.

For the inverse construction, take a rank-$r$ holomorphic vector bundle $E$ on the twistor domain corresponding to a space-time open set $U$. The crucial hypothesis isThese are line-trivial bundles in the Ward correspondence. It is not enough to specify an arbitrary holomorphic vector bundle, nor just zero First Chern class on its lines: $\mathcal{O}(1)\oplus \mathcal{O}(-1)$ has degree zero but is nontrivial. A line with a nontrivial splitting is a jumping line and does not support the regular linewise construction there. Thus a globally nonsingular field on all affine complexified space-time requires triviality on all its relevant lines; a local construction uses only the lines over $U$.

Choose holomorphic vector bundle bundle frames on two twistor patches, and let $P$ be the invertible transition matrix on their overlap. Pull it back to $\mathcal{F}$. Because it comes from affine projective twistor space, it is constant along the $q$-fibres:Triviality on $L_x$ supplies a global holomorphic bundle frame on that line. Comparing this global bundle frame with the two local bundle frames produces a holomorphic splitting of a twistor patching matrix,where ${\Psi }_{+}$ and ${\Psi }_{-}$ are holomorphic and invertible near the two affine patches of the complex projective line. The splitting can be chosen holomorphically in $x$ locally: the restrictions have $r$ independent global sections and $H^1({\mathbb{CP}}^1,{\mathcal{O}}^{\oplus r})=0$, so these bundle frames extend through a neighborhood of the given line. This explains where regularity and linewise triviality enter the construction.

Differentiate the factorization using $V_{A}P=0$. Multiplication by the invertible factors givesDefine their common negative to be ${\mathcal{A}}_A$. It is regular on both projective patches and homogeneous of degree one in $\pi$, because $V_A$ has that degree while the bundle frames have degree zero. ConsequentlyThis last conclusion is elementary: on one affine chart its entries are entire in $\lambda$; regularity at infinity after dividing by the transition factor $\lambda$ allows at most linear growth, so each entry is affine in $\lambda$. Equivalently, a global section of $\mathcal{O}(1)$ is a linear homogeneous polynomial. We have thereby recovered a gauge connection $D_{A{A}^{\prime }}={\partial }_{A{A}^{\prime }}+A_{A{A}^{\prime }}$ on the space-time bundle whose fibre is $H^0(L_x,E{|}_{L_x})$.

The splitting factors now obeyTheir invertibility implies the compatibility conditionsIn the spinor decomposition of gauge curvature,the two spinors are symmetric. The antisymmetric primed factor vanishes when contracted with ${\pi }^{A^{\prime }}{\pi }^{B^{\prime }}$, leaving ${ϵ}_{AB}{\pi }^{A^{\prime }}{\pi }^{B^{\prime }}{\Phi }_{A^{\prime }{B}^{\prime }}=0$. A quadratic polynomial that vanishes for every spinor has every coefficient zero, so ${\Phi }_{A^{\prime }{B}^{\prime }}=0$. With the orientation convention used here, this is exactly anti-self-duality of gauge curvature, hence the ASDYM equations. This establishes the field equation from the holomorphic data, rather than assuming it as an extra input.

The construction naturally gives a gauge class. If another linewise splitting is chosen, ${\Psi }_{\pm }^{\prime }{\Psi }_{\pm }^{-1}$ agrees on the overlap and is holomorphic on the entire compact complex projective line; its entries are therefore independent of $\lambda$. Write this common matrix as $g(x{)}^{-1}$. Thenthe ordinary Yang-Mills gauge transformation. Changing the original holomorphic vector bundle bundle frames or replacing $E$ by an isomorphic bundle produces the same space-time gauge class. A determinant trivialization or another holomorphic structure-group reduction gives the corresponding restriction from $GL(r,\mathbb{C})$ to $SL(r,\mathbb{C})$ or another complex gauge group.

For perspective, the forward direction starts from an ASD gauge connection and uses its flat gauge covariant derivative along each alpha-plane to descend parallel sections to affine projective twistor space. The reconstructed linear system is exactly that parallel-section system. Going back through it recovers the original line-trivial bundle, while changing space-time bundle frames amounts to Yang-Mills gauge transformation. Thus, locally and with the stated regularity and triviality conditions, holomorphic line-trivial bundles determine solutions of the ASDYM equations uniquely up to gauge.

No unitary reality condition is imposed on complexified Minkowski space in this question. Obtaining real Euclidean gauge fields requires the compatible antiholomorphic twistor involution and a bundle reality structure; obtaining finite-action instantons requires further global and boundary conditions. Those are additional restrictions on the complex correspondence, not automatic consequences of having any holomorphic vector bundle on projective twistor space.

In the compact twistor correspondence, a point $p$ of complexified compactified Minkowski space is a two-dimensional subspace $W_p\subset \mathbb{T}$. The correspondence fiber consists of flags $(\ell ,W_p)$ with $\ell$ a one-dimensional subspace of $W_p$. Its image in projective twistor space is precisely $\mathbb{P}(W_p)$, soThis is the twistor line of $p$. In the affine chart the twistor incidence relation gives $W_p=\{(i{p}^{A{A}^{\prime }}{\pi }_{A^{\prime }},{\pi }_{A^{\prime }}):\pi \in {\mathbb{C}}^2\}$. The linear map $\pi \mapsto (ip\pi ,\pi )$ is injective, and projectivizing it gives the same Complex projective space ${\mathbb{CP}}^1$. The subspace argument also covers points at conformal infinity, where that graph chart fails.

An alpha-plane is a totally null complex two-plane with tangent vectors $u^A{\pi }^{A^{\prime }}$ for a fixed primed spinor. A beta plane has tangent vectors ${\lambda }^A{u}^{A^{\prime }}$ for a fixed unprimed spinor. The metric tensor pairs two vectors of either family to zero, since the repeated fixed spinor contracts with an symplectic form. These are the two chiral families of totally null planes; labels for their self-duality depend on the orientation convention.

Globally in the twistor correspondence, writewhere $\ell$ is a line and $H$ a three-dimensional hyperplane in twistor space. Both compact families are Complex projective spaces ${\mathbb{CP}}^2$.

For distinct ${\ell }_1,{\ell }_2$, any $W\in A_{{\ell }_1}\cap A_{{\ell }_2}$ must contain their two-dimensional span. Since $W$ itself has dimension two, it must equal that span. Conversely the span belongs to both planes. Thus two distinct compact alpha-planes meet in exactly one point:In affine coordinates, independent ${\pi }_1,{\pi }_2$ determine a unique matrix $x$ from the two incidence equations. If the primed spinors are proportional while the projective twistors are distinct, no finite affine solution exists. The compact intersection still exists, at conformal infinity; saying the planes are disjoint without this affine qualification would be wrong for the printed space $M$.

Set $d_0=0$ and assume $0<d_1<\cdots <d_m<n$. Choose the first member of the flag manifold as a $d_1$-plane, contributing $d_1(n-d_1)$ complex dimensions. After choosing $L_{i-1}$, choose $L_i/L_{i-1}$ as a $(d_i-d_{i-1})$-plane in $V/L_{i-1}$. Its Grassmannian has dimension $(d_i-d_{i-1})(n-d_i)$. Adding these fiber dimensions givesFor $V={\mathbb{C}}^4$ the results areHere $F_1={\mathbb{CP}}^3$ is projective twistor space, $F_2=\mathrm{Gr}(2,4)$ is complexified compactified Minkowski space, and $F_{12}$ is the twistor correspondence space of incident pairs consisting of a spacetime point and a twistor on its twistor line. Over $F_2$ its fiber is ${\mathbb{CP}}^1$; over $F_1$ its fiber is ${\mathbb{CP}}^2$, consistent with $4+1=3+2=5$. These are complex dimensions; the underlying real dimensions are $6,8,10$, while a real spacetime slice of $F_2$ has real dimension four.

The special linear group acts on the twistor correspondence by $g\cdot (\ell ,W)=(g\ell ,gW)$. Since an invertible linear map preserves inclusion, this is again an incident flag. The two projections commute with that action:This is precisely equivariance: projecting a transformed flag gives the same result as transforming its projection. In particular $g$ sends the twistor line of a spacetime point to the line of the transformed point and sends the alpha-plane of a twistor to that of its transformed twistor. The incidence geometry is preserved, even when a transformation takes a point out of the chosen affine Minkowski chart.

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.

The flag manifold of a line $\ell$ contained in a two-plane $W$ has projections $(\ell ,W)\mapsto W$ and $(\ell ,W)\mapsto \ell$. Their fibers are respectively ${\mathbb{CP}}^1$ and ${\mathbb{CP}}^2$. This is the flat twistor correspondence: complexified compactified Minkowski space is the Grassmannian of two-planes in twistor space, while projective twistor space is its projective space of lines.