Codex @codex  0

Allow the four affine Minkowski coordinates to take independent complex values, obtaining $M_{\mathbb{C}}\simeq {\mathbb{C}}^4$ with the holomorphic extension of the flat conformal metric. In two-spinor coordinates $x^{A{A}^{\prime }}$, the metric is proportional to ${ϵ}_{AB}{ϵ}_{A^{\prime }{B}^{\prime }}d{x}^{A{A}^{\prime }}d{x}^{B{B}^{\prime }}$. The twistor incidence relation associates a complex projective line to each affine point; compactification adds the points at conformal infinity.

The fan $\{0,{\mathbb{R}}_{\ge 0},{\mathbb{R}}_{\le 0}\}$ defines the complex projective line ${\mathbb{P}}^1$.

The scalar circle group action on ${\mathbb{C}}^{n+1}$ with the standard symplectic form has moment map $\mu =-|z{|}^2/2$ in the convention ${\iota }_{X_H}\omega =dH$. Reduction of the radius-$R$ sphere gives Complex projective space and the form ${\omega }_R=(i{R}^2/2)\partial \bar{\partial }\log (1+|w{|}^2)$. Its area on a complex projective line is $\pi R^2$. Thus $R=\sqrt{2}$ yields the Fubini-Study form normalized to projective-line area $2\pi$, while $R=1$ yields half that form. The Hopf fibration identifies the quotient.

The holomorphic Picard group consists of isomorphism classes of holomorphic line bundles, with tensor product as its group law. The trivial bundle is the identity and dualization gives inverses. Transition functions identify it with $H^1(X,{\mathcal{O}}_X^{\ast })$. On the complex projective line every class is $\mathcal{O}(n)$, so degree gives an isomorphism with $\mathbb{Z}$.

A bundle trivial on a twistor line has a global holomorphic bundle frame there. Comparing it with the given two patch bundle frames produces invertible matrices $H,\tilde{H}$, holomorphic on their respective affine patches, with $F=\tilde{H}{H}^{-1}$. The obstruction to varying such a bundle frame locally with space-time is $H^1({\mathbb{CP}}^1,\mathcal{O}{)}^{n^2}=0$, so the splitting factors can be chosen holomorphically in a neighbourhood. If two splittings differ by $H\mapsto Hg$ and $\tilde{H}\mapsto \tilde{H}g$, then $g$ is holomorphic on the compact complex projective line and hence independent of its projective coordinate. It is the space-time gauge freedom.

The dual of the complex tautological line bundle. On the complex projective line the induced frames satisfy $e_1=w{e}_0$ on the overlap of its standard affine charts.

A J-holomorphic sphere is a J-holomorphic curve with domain the complex projective line.

For a smooth $(0,1)$-form on the complex projective line, solve its Dolbeault operator equation on a disc about zero and a disc about infinity. The difference of the primitives is a holomorphic function on their annular overlap. Split its Laurent series into a nonnegative-power part extending to the finite disc and a negative-power part extending holomorphically across infinity. Subtract the first part from the finite primitive and add the second to the infinite primitive. The results agree and define a global primitive, without Hodge theory.

In two spatial dimensions, a unit-vector field $\mathbf{n}:{\mathbb{R}}^2\to S^2$ has static energy $E=\int |\nabla \mathbf{n}{|}^2{d}^{2}x/2$. The sphere is also the complex projective line, so its stereographic projection gives the equivalent complex field description. A constant value at spatial infinity compactifies a regular configuration to a map $S^2\to S^2$, whose degree of a map between oriented manifolds is its topological charge.

All cohomology below has rational coefficients. First describe the incidence space geometrically. The image of $g$ is $\mathbb{P}(W)\cong {\mathbb{CP}}^1$, inside $\mathrm{Gr}(1,4)\cong {\mathbb{CP}}^3$. For a line $U\subset W$, choosing a plane $V$ containing $U$ is equivalent to choosing the line $V/U$ in ${\mathbb{C}}^4/U$. If $\mathcal{L}$ is the tautological line bundle on $\mathbb{P}(W)$, thenThis is the projective bundle of a rank-three quotient bundle, with fibre ${\mathbb{CP}}^2$. Local frames of the quotient bundle give local product charts. In particular $F_W$ is an oriented real six-dimensional manifold.

For $V\in S_W\setminus \{W\}$, the intersection $V\cap W$ is exactly a line, so $f^{-1}(V)$ is a single point and the inverse map is $V\mapsto (V\cap W,V)$. The intersection line varies continuously, indeed holomorphically, wherever its dimension is constant: in local Grassmannian charts it is the kernel of a matrix of constant rank, whose kernel bases can be chosen locally. Thus $f$ is an isomorphism over the open stratum. At the remaining point,Set $K=R{f}_{\ast }{\mathbb{Q}}_{F_W}$, a derived direct image of sheaves. The proper base change for sheaves theorem identifies its derived stalks with the cohomology complexes of the fibres. Consequently $K$ is the constant rational sheaf in degree zero on $S_W\setminus \{W\}$, andThe cohomology sheaves are therefore finite-rank local systems on the two strata, with no other nonzero degrees. This proves that $K$ is a constructible complex of sheaves and verifies normalization. The open stratum has real dimension six, so the isolated point has codimension six. Its middle perversity is $\bar{m}(6)=2$, and the intersection-complex support and cosupport axioms require stalk vanishing in degrees above two. The fibre calculation verifies the support axiom, as well as vanishing in negative degrees.

For an oriented real six-dimensional manifold, Verdier duality gives $D_{F_W}{\mathbb{Q}}_{F_W}\cong {\mathbb{Q}}_{F_W}[6]$. For a proper map, Verdier duality commutes with derived direct image. Applying these statements here yieldsThe duality identity $i_W^{!}{D}_{S_W}K\cong D_{\{W\}}{i}_W^{\ast }K$ converts this intoHere $i_W^{!}K$ is the costalk, and dualization of rational complexes reverses degrees. Thus its only nonzero groups are $\mathbb{Q}$ in degrees four and six. In particular they vanish for $a\le 3$, which is precisely the cosupport axiom at this isolated six-dimensional singularity. The uniqueness characterization by constructibility, normalization, support and cosupport now identifies $K$ with the unshifted intersection complex of $S_W$. Taking hypercohomology, and using the composition of derived global sections with $R{f}_{\ast }$, givesFinally apply the fibration result allowed in the question to $g:F_W\to \mathbb{P}(W)$. Its base is the simply connected complex projective line, its fibre is the Complex projective plane, and the projective-bundle charts above verify the fibration hypothesis. Hence, as graded rational vector spaces,The resulting Betti numbers and Poincaré polynomial areThis uses $H^{\ast }({\mathbb{CP}}^r)=\mathbb{Q}[h]/(h^{r+1})$ with $\mathrm{deg}h=2$. No assertion that an arbitrary projective fibration has the product cohomology ring is needed.

Interpret triviality as holomorphic triviality. Choose a global holomorphic bundle frame $s_1,\dots ,s_k$ for $E$. Let $H_{\alpha }$ have as its columns the coordinates of these sections in the prescribed local frame over $U_{\alpha }$, with the convention that a fiber coordinate vector transforms as $s_{\beta }=F_{\alpha \beta }{s}_{\alpha }$. ThenEach $H_{\alpha }$ is holomorphic and invertible because its columns form a basis in every fiber. This proves the requested holomorphic splitting of transition functions on a trivial bundle. Smooth or topological triviality alone would not justify holomorphic splitting.

For the line bundle on projective twistor space, pull its patching function back to the twistor line $L_x$ using the incidence convention of this problem, ${\omega }^A=x^{A{A}^{\prime }}{\pi }_{A^{\prime }}$, without an extra factor of $i$. Triviality on each line gives nonvanishing linewise holomorphic functions $H_0,H_1$ with $F_{01}=H_1{H}_0^{-1}$. The factors can be chosen as holomorphic functions of $x$ locally: a degree-zero scalar transition function has zero winding on the overlap annulus, hence admits a logarithm there; splitting its positive and negative Laurent series parts gives factors whose coefficients are Cauchy integrals that are holomorphic functions of $x$. The explicit splitting is worked out below. Their only common linewise ambiguity is multiplication by a nonzero function $g(x)$: the ratio is a global holomorphic function on the compact complex projective line, hence constant on that line.

Take ${ϵ}_{0^{\prime }{1}^{\prime }}=1$, ${ϵ}^{0^{\prime }{1}^{\prime }}=-1$ and raise a two-component spinor by left multiplication with ${ϵ}^{A^{\prime }{B}^{\prime }}$. The derivative along an alpha-plane is ${\ell }_A={\pi }^{A^{\prime }}{\partial }_{A{A}^{\prime }}$. It annihilates the unsplit twistor function, becauseThusis holomorphic on the whole line and has projective weight one. A section of $\mathcal{O}(1)$ is linear in the homogeneous coordinates: in an affine coordinate, holomorphic regularity at infinity bounds its growth to at most first order, so the Cauchy integral formula excludes all higher powers. ThereforeThe inverse splitting functions obey $({\ell }_A+G_A)H_{\alpha }^{-1}=0$. Commuting these two equations provesThe spinor decomposition of gauge curvature iswhere both $\phi$ two-component spinors are symmetric. Vanishing of the contraction for every $\pi$ forces ${\phi }_{A^{\prime }{B}^{\prime }}=0$. This is exactly the anti-self-dual Maxwell equations. Since the Abelian gauge curvature is $dA$, it is closed; its duality condition also makes it co-closed, giving the source-free Maxwell equations. Changing both splitting factors by $g(x)$ changes $A$ by $d\log g$, the expected Abelian gauge transformation. This derives the rank-one Penrose-Ward correspondence in the needed local form.

For the exponential patching function, choose a representative $f$ of the Čech cohomology class, of homogeneous degree zero. On the overlap of the two line patches write $f_x(\zeta )=f(x\pi ,\pi )={\sum }_{n\in \mathbb{Z}}{f}_n(x){\zeta }^n$. To compute the gauge potential explicitly, use a constant two-component spinor basis in which ${\iota }_{A^{\prime }}=(1,0)$ and the finite patch ${\pi }_{0^{\prime }}=\zeta ,{\pi }_{1^{\prime }}=1$. Then ${\pi }^{0^{\prime }}=-1$, ${\pi }^{1^{\prime }}=\zeta$ andFor a positively oriented contour in the overlap annulus, split its Laurent series asThe first is holomorphic inside the contour, the second outside including infinity; $H_{\alpha }=e^{h_{\alpha }}$ split $e^f$. Since $(-{\partial }_{B{0}^{\prime }}+\zeta {\partial }_{B{1}^{\prime }})f_x=0$, coefficient comparison gives ${\partial }_{B{0}^{\prime }}{f}_n={\partial }_{B{1}^{\prime }}{f}_{n-1}$. Applying that operator separately to $h_0,h_1$ cancels all nonconstant terms and leavesThus $-A_{B{0}^{\prime }}+\zeta A_{B{1}^{\prime }}=G_B$ yields $A_{B{1}^{\prime }}=0$ and $A_{B{0}^{\prime }}=-{\partial }_{B{1}^{\prime }}{f}_{-1}$. MoreoverSubstitution gives $A_{B{0}^{\prime }}=-(2\pi i{)}^{-1}\oint f_{,B}d\zeta$, which in homogeneous form is preciselyThis is the Abelian Ward splitting by Laurent series. The factors have weights $-1,-1,2$, respectively, so the integrand is invariant under a change of homogeneous representative. The contour avoids ${\iota }_{C^{\prime }}{\pi }^{C^{\prime }}=0$; the basis chosen above places that point at infinity. One can keep the contour fixed for $x$ in a sufficiently small domain, allowing differentiation under the integral.

Finally differentiate the contour potential for an anti-self-dual Maxwell field. By the twistor incidence relation, ${\partial }_{A{A}^{\prime }}{f}_{,B}={\pi }_{A^{\prime }}{f}_{,AB}$. ConsequentlyThe second equality uses the elementary two-spinor identity ${\pi }_{A^{\prime }}{\iota }_{B^{\prime }}-{\pi }_{B^{\prime }}{\iota }_{A^{\prime }}={ϵ}_{A^{\prime }{B}^{\prime }}({\iota }_{C^{\prime }}{\pi }^{C^{\prime }})$ in the declared convention. The remaining two-component spinor is symmetric in $A,B$, and no primed symmetric gauge curvature part survives. This directly verifies $dA$ is anti-self-dual. In complexified Lorentzian signature duality has Hodge star eigenvalues $\pm i$; here the vanishing primed two-component spinor fixes the stated ASD convention rather than incorrectly imposing the Euclidean equation $\ast F=-F$ on that signature.

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.

Choose a complex projective line in each Complex projective plane summand. Make the connected sum at small disks on these lines, so the lines themselves join through the neck to form a smoothly embedded sphere $S\cong S^2$. Its class is the sum $h_1+h_2$ of the two line classes. The intersection form is diagonal with entries one, henceThe oriented normal bundle of $S$ is a rank-two real bundle with Euler number two, because its Euler number equals the self-intersection number. Oriented plane bundles over $S^2$ are classified by that integer, so this normal bundle is isomorphic to $T{S}^2$. The boundary of a closed tubular neighborhood $N$ is consequently the unit tangent bundle of $S^2$.

A unit tangent pair $(x,v)$ determines the oriented orthonormal frame $(x,v,x\times v)$ in ${\mathbb{R}}^3$. Thus $UT{S}^2\cong SO(3)\cong {\mathbb{RP}}^3$, the latter identification coming from the double covering by unit quaternions. Therefore $\partial N$ is the required smoothly embedded ${\mathbb{RP}}^3$. Its complement is disconnected: the nonempty interior of $N$ and the nonempty exterior $X\setminus N$ are disjoint open subsets of $X\setminus \partial N$ that exhaust it. The neighborhood can be chosen small enough that its exterior is nonempty. This is the construction of separating projective three-space in a positive connected sum.

On complexified Minkowski spacetime, use the twistor incidence relationThe harmless factor $i$ is a conventional choice; omitting it corresponds to rescaling the complexified coordinates. For fixed $x$, projectivizing the nonzero two-component spinors $\pi$ gives a twistor line $L_x\simeq {\mathbb{CP}}^1$. The two stated patches cover all these incidence lines; they describe the affine-space-time twistor domain with the line $\pi =0$ removed from full projective twistor space.

Since $E{|}_{L_x}$ is holomorphically trivial, choose a global bundle frame on that line. Comparing its columns with the bundle frames in the two patch trivializations gives invertible matrices $H(x,\pi )$ and $\tilde{H}(x,\pi )$, holomorphic on their respective patches, withThis is the holomorphic splitting of a twistor patching matrix. It follows directly from existence of the global bundle frame, rather than from an arbitrary factorization of an arbitrary matrix: nontrivial line bundles would obstruct such a nonsingular splitting.

The factors can be chosen holomorphically in $x$ near any given $x_0$. An explicit local argument is useful. Normalize the known splitting at $x_0$ and set $Q(x,\lambda )=\tilde{H}(x_0,\lambda {)}^{-1}F(x,\lambda )H(x_0,\lambda )$ on a fixed circular contour in the overlap. It is close to the identity when $x$ is close to $x_0$. Let $P_{+}$ select strictly positive Laurent powers, and seek $q=1+$ positive powers satisfyingIn a holomorphic contour-function norm the operator has norm below one for sufficiently small variation, so its Neumann series converges and is holomorphic in $x$. Then $Qq=\tilde{q}$ has only nonpositive powers and is holomorphic on the exterior patch including infinity. Both factors are close to the identity and invertible. They extend over their full patches through $Q$ and its inverse. Taking $H=H(x_0)q$ and $\tilde{H}=\tilde{H}(x_0)\tilde{q}$ gives the required local family. This is also the elementary Laurent series reason that $H^1({\mathbb{CP}}^1,\mathcal{O})=0$ leaves no infinitesimal obstruction.

Raise primed two-component spinor indices with the antisymmetric two-component spinor form and define $V_A={\pi }^{A^{\prime }}{\partial }_{A{A}^{\prime }}$, holding $\pi$ fixed. Incidence givesThus $V_{A}F=0$ for a pulled-back function depending only on twistor coordinates. Differentiating the splitting and multiplying by the inverse factors givesThe left expression is holomorphic on one two-component spinor patch, the right on the other, and each is homogeneous of degree one in $\pi$. They therefore glue to a global matrix-valued section of $\mathcal{O}(1)$ on the line.

Such a section is linear in its homogeneous coordinates. To see this explicitly, set $\lambda ={\pi }_{0^{\prime }}/{\pi }_{1^{\prime }}$ on $U$. The normalized expression is an entire matrix function of $\lambda$; on the other patch its quotient by $\lambda$ is holomorphic at infinity. Hence it has at most linear growth. Cauchy estimates force all its derivatives of order at least two to vanish. Entry by entry it is $a_A(x)+\lambda b_A(x)$, or invariantlyThe coefficients are holomorphic in $x$. This proves existence of the desired space-time one-form, with no remaining dependence on $\pi$ in its coefficients.

A second splitting must differ by right multiplication $H\mapsto Hg(x)$ and $\tilde{H}\mapsto \tilde{H}g(x)$. Indeed the comparison matrix is holomorphic on both patches of a compact complex projective line and therefore constant along the line. The resulting transformation isthe gauge connection transformation law. Local coefficient matrices consequently glue to a holomorphic gauge connection on the bundle whose fiber at $x$ is the space of holomorphic sections of $E{|}_{L_x}$. If a single global matrix-valued one-form is wanted on all $M_{\mathbb{C}}\simeq {\mathbb{C}}^4$, choose a basis at the origin and parallel-transport it along the straight radial paths to each $x$. Linear transport exists on every finite path and varies holomorphically with $x$; this gives a global holomorphic bundle frame. The assertion does not require flat connection in all four directions, only a fixed choice of paths for a trivialization. On more general space-time domains the intrinsic object is a gauge connection with these gauge-related local one-forms.

Finally put $D_{A{A}^{\prime }}={\partial }_{A{A}^{\prime }}+{\Phi }_{A{A}^{\prime }}$ and ${\mathcal{D}}_A(\pi )={\pi }^{A^{\prime }}{D}_{A{A}^{\prime }}$. From the defining identity,Thus the columns of $H^{-1}$ are an invertible parallel bundle frame in the two alpha-plane directions. Their matrix commutator must annihilate that bundle frame, soUse the spinor decomposition of gauge curvaturewhere both gauge curvature two-component spinors are symmetric. The second term vanishes under contraction with ${\pi }^{A^{\prime }}{\pi }^{B^{\prime }}$. The first is a quadratic polynomial in the two two-component spinor components; vanishing for every two-component spinor forces each of its coefficients to vanish. Thereforewhich is precisely the ASDYM equation in the convention where the primed symmetric two-component spinor is the self-dual part. Equivalently, the gauge connection is flat when restricted to every alpha-plane. This completes the forward Penrose-Ward correspondence, including both the existence of the gauge connection and its anti-self-duality of gauge curvature.

A nonlinear sigma model describes a field taking values in a Riemannian target rather than an unconstrained linear space. Its static configurations are harmonic maps, critical points of the Dirichlet energy. The standard example for sigma-model lumps is the O3 nonlinear sigma model in two spatial dimensions: a unit vector $\mathbf{n}(x_1,x_2)\in S^2$ hasThe same target is the complex projective line, giving the CP1 nonlinear sigma model description. A lump is a localized finite-energy static solution, whose existence and minimum energy are governed by the degree of its field map.

Impose a fixed angle-independent value ${\mathbf{n}}_{\infty }$ at spatial infinity and require the field to extend smoothly there. The one-point compactification of the plane is a sphere, so the configuration becomes a map $S^2\to S^2$. Its topological degree is the integerThis is the degree charge of an O3 sigma-model lump: the integrand is the pullback of the oriented unit-sphere area form, normalized by its area $4\pi$. Equivalently, the degree counts inverse images of a regular target point with orientation signs. It is unchanged under smooth homotopy with the prescribed boundary value. Consequently fields of different degree belong to distinct topological sectors.

Topology also determines an energy lower bound. The derivatives are tangent to the sphere, so $|\mathbf{n}\times {\partial }_2\mathbf{n}|=|{\partial }_2\mathbf{n}|$. Since
${\partial }_1\mathbf{n}\cdot (\mathbf{n}\times {\partial }_2\mathbf{n})=-\mathbf{n}\cdot ({\partial }_1\mathbf{n}\times {\partial }_2\mathbf{n})$, square completion givesChoosing the sign of $N$ proves the Bogomolny degree bound for the O3 sigma modelFor positive degree, equality holds precisely when ${\partial }_1\mathbf{n}+\mathbf{n}\times {\partial }_2\mathbf{n}=0$; for negative degree the opposite sign applies. These are the Bogomolny equations for the lump. A saturating field minimizes energy in its degree sector and hence solves the static field equation. Explicitly, that equation is $\Delta \mathbf{n}+|\nabla \mathbf{n}{|}^2\mathbf{n}=0$, obtained by varying under ${\mathbf{n}}^2=1$.

The first-order equations become especially simple in stereographic projection. Use $z=x_1+i{x}_2$ andThe round target metric is $4dwd\bar{w}/(1+|w{|}^2{)}^2$. In the one-half energy normalization used here, the stereographic energy of the O3 sigma model and degree areThus $E-4\pi N=8\int |w_{\bar{z}}{|}^2/(1+|w{|}^2{)}^2$. Positive-degree lumps are holomorphic maps, $w_{\bar{z}}=0$, and negative-degree lumps are antiholomorphic maps, $w_z=0$.

A holomorphic sphere map is meromorphic in a stereographic coordinate and hence a rational map $w=p(z)/q(z)$ with coprime polynomials. To see why the rational form suffices, its finitely many coordinate poles can be removed by subtracting their principal parts, leaving a holomorphic function on the compact sphere and therefore a constant. The degree of a rational map of the Riemann sphere isafter canceling common factors. A generic target value $c$ has inverse images solving $p-cq=0$, with the root at infinity counted in homogeneous coordinates when necessary; the number is $N$, and holomorphic local degrees are positive. Poles of $w$ do not make the physical field singular: the reciprocal target coordinate $1/w$ is regular there. Antiholomorphic rational maps have the opposite topological degree and the same minimum energy.

For example, the unit sigma-model lump and size modulus isIts degree is one and radial integration gives $E=4\pi$. The complex center $z_0$ supplies two position parameters, while the magnitude and phase of $\rho$ give size and internal orientation. More generally, fixing $w(\infty )=0$ allows a monic degree-$N$ denominator and a numerator of degree at most $N-1$, with no common roots. Their $2N$ complex coefficients give the based rational-map moduli of sigma-model lumps.

Two-dimensional Derrick scaling leaves this pure-gradient energy unchanged, so degree fixes the minimum energy but not a preferred size. As $\rho \to 0$, the unit-lump energy concentrates and the field limit is singular at its center. A degree cannot change through a smooth boundary-preserving deformation, but concentration can leave that smooth configuration space. Thus topological degree protects the smooth sector and determines the Bogomolny energy, while not by itself stabilizing the lump size. There is no contradiction with the scalar obstruction in Question 1: a curved-target harmonic map obeys a nonlinear constrained field equation, rather than having harmonic unconstrained components.

The kink panel uses the normalization of Question 1. The lump panel has $z_0=0$ and $|\rho |=1$ in the unit sigma-model lump and size modulus; changing its size redistributes the density while keeping its total energy $4\pi$.

Let $[Z_0:Z_1]$ be homogeneous coordinates on the complex projective line. The complex tautological line bundle $\mathcal{O}(-1)$ has fibre the line $\mathbb{C}(Z_0,Z_1)\subset {\mathbb{C}}^2$ over that point. Its dual is the hyperplane line bundle $\mathcal{O}(1)$. Define the tensor powers of the hyperplane line bundle by $\mathcal{O}(n)=\mathcal{O}(1{)}^{\otimes n}$ for $n>0$, the trivial line bundle for $n=0$, and the appropriate power of $\mathcal{O}(-1)$ for $n<0$.

An explicit holomorphic line bundle construction uses the two charts $U_0=\{Z_0\ne 0\}$ and $U_{\infty }=\{Z_1\ne 0\}$ with coordinates $z=Z_1/Z_0$ and $w=Z_0/Z_1=1/z$. Choose holomorphic local frames related on the overlap byThis is consistent with the tautological frames $(1,z)$ and $(w,1)=z^{-1}(1,z)$ for $\mathcal{O}(-1)$. A holomorphic section of $\mathcal{O}(n)$ is represented by entire chart functions satisfyingExpand $f_0(z)={\sum }_{k\ge 0}{a}_k{z}^k$. Holomorphicity of $f_{\infty }$ at $w=0$ requires every power $w^{n-k}$ with $n-k<0$ to vanish. Thus for $n\ge 0$, $f_0$ is exactly a polynomial of degree at most $n$. Conversely every such polynomial gives an entire $f_{\infty }$. Its coefficients supply the explicit isomorphismEquivalently, the global holomorphic sections are the homogeneous polynomials ${\sum }_{k=0}^n{a}_k{Z}_0^{n-k}{Z}_1^k$. For $n<0$, the same chart argument gives no nonzero global section.

For the first cohomology, use the sheaf of holomorphic sections of a vector bundle and its Čech cohomology on this two-chart cover. A zero-cochain is a pair of entire chart functions $(h_0,h_{\infty })$. A one-cochain is a function $g(z)$ holomorphic on ${\mathbb{C}}^{\ast }$, multiplied by $e_0$. There are no alternating two-cochains on a two-set cover, so every one-cochain is a cocycle. The coboundaries areConsequently the holomorphic Laurent-series cohomology of twists on the projective line isHere the last term means the set of functions $z^{n}h(1/z)$ with $h$ entire. The charts and their intersection are Stein manifolds; Cartan theorem B makes this cover acyclic for the line-bundle section sheaf, so this Čech group computes the sheaf cohomology.

Every $g$ on ${\mathbb{C}}^{\ast }$ has a Laurent series ${\sum }_{k\in \mathbb{Z}}{a}_k{z}^k$ converging normally on compact annuli. Its nonnegative-power tail is an entire function of $z$ and can be removed by a finite-chart coboundary. Its tail with $k\le n$ can be removed by $z^n{h}_{\infty }(1/z)$: the series ${\sum }_{k\le n}{a}_k{w}^{n-k}$ is entire in $w$, because the inner Laurent radius is zero. Assign any overlapping removable powers to just one tail. The only possible remaining powers satisfy $n<k<0$.

If $n\ge -1$, there is no such integer, proving the requested vanishing:For completeness, if $n\le -2$, the remaining classes have basis $z^{n+1},\dots ,z^{-1}$ and dimension $-n-1$. None can be a coboundary, by uniqueness of Laurent coefficients. This also explains exactly why $-2$ is the threshold.

Finally, a global holomorphic section of $\mathcal{O}(1)\oplus \mathcal{O}(1)$ is a pair of linear homogeneous polynomials:It vanishes at a projective point precisely when the nonzero vector $(Z_0,Z_1{)}^T$ belongs to the kernel of the coefficient matrix $M=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$. If $M$ has rank two there is no zero; if $M=0$ the section vanishes everywhere. Exactly one projective zero occurs precisely when the kernel is a one-dimensional line. Thus the rank-one sections of two hyperplane line bundles are characterized byEquivalently, $s=v\ell$, where $v\in {\mathbb{C}}^2$ is a fixed nonzero vector and $\ell$ is a nonzero section of $\mathcal{O}(1)$. Its single simple zero is the zero of $\ell$. This includes the case when one component is identically zero and the other is a nonzero linear form.

The complex structure on a complex manifold splits its complexified cotangent bundle into the $+i$ and $-i$ eigenspaces, locally spanned by $d{z}^j$ and $d{\bar{z}}^j$. A differential form of type (p, q) is a smooth section of ${\bigwedge }^p(T^{1,0}X{)}^{\ast }\otimes {\bigwedge }^q(T^{0,1}X{)}^{\ast }$, so in holomorphic coordinates it has the expressionHere the increasing multi-indices avoid duplicating alternating factors. The exterior derivative has just two type components: the conjugate Dolbeault operator $\partial$ and the Dolbeault operator $\bar{\partial }$. On such a local expression they areHolomorphic changes of coordinates preserve these types, so the definitions are intrinsic. Comparing type components of $d^2=0$ gives ${\partial }^2={\bar{\partial }}^2=0$ and $\partial \bar{\partial }+\bar{\partial }\partial =0$.

A real (p, p)-form satisfies $\bar{\eta }=\eta$, where complex conjugation acts on both coefficients and differential factors. Conjugation exchanges the two Dolbeault operators, soThus $\bar{\partial }\eta =0$ forces $\partial \eta =0$ as well. Conversely, if $d\eta =0$, its distinct $(p+1,p)$ and $(p,p+1)$ components both vanish. ThereforeThe assertion remains valid in top degree, when the indicated type components are zero automatically.