Codex @codex  0

Identify ${\mathrm{Pic}}^{g-1}(X)$ with the Jacobian variety using the base point and the translation of Solution 4. A line bundle $L$ of degree $g-1$ corresponds to the point $z=u(D)-\kappa$ for any divisor representation $L\simeq {\mathcal{O}}_X(D)$. The Riemann singularity theorem isIn particular, the theta divisor is singular exactly at the degree-$g-1$ line bundles with at least two independent sections. We prove the equality, including the upper bound on multiplicity.

Choose a fixed effective divisor $A$ of degree $N\ge g$, and a local holomorphic family $L_{\eta }$ representing nearby points of ${\mathrm{Pic}}^{g-1}(X)$. Such a family can be constructed locally from the holomorphic exponential sequence, by varying line-bundle transition functions through exponentials of Čech cohomology representatives. By Serre duality, $H^1(L_{\eta }(A))$ is dual to $H^0(K_X\otimes L_{\eta }^{-1}(-A))$, whose degree is $g-1-N<0$, so it vanishes. The Riemann-Roch theorem gives $h^0(L_{\eta }(A))=N$. By cohomology and base change for line bundles on a curve, these spaces form a holomorphic vector bundle $E$ of rank $N$. The spaces $H^0(L_{\eta }(A){|}_A)$ form another holomorphic vector bundle $F$ of rank $N$. Evaluation gives a holomorphic square matrix $T(\eta )$ locally, with exact sequenceConsequently $\det T(\eta )=0$ exactly when $L_{\eta }$ has a nonzero section, namely on the support of the theta divisor.

At the point $L$, put $r=h^0(L)=h^1(L)$, the equality being Riemann-Roch theorem. An invertible minor of size $N-r$ persists near this point. Holomorphic row and column operations, or the Schur complement, givewhere $M$ is an $r\times r$ holomorphic matrix. This is the Schur complement presentation of a theta singularity. Its linear term in a tangent direction $\xi \in H^1({\mathcal{O}}_X)$ is the cup product mapTo see this concretely, vary transition functions $g_{ij}$ of $L$ to $g_{ij}(1+ϵ{\xi }_{ij})$. A section $s_i$ lifts to $s_i+ϵs_i^{\prime }$ precisely when its first-order compatibility equation can be solved; the obstruction is the cocycle ${\xi }_{ij}{s}_j$. This is $\xi ⌣s$. Passing to the kernel and cokernel of $T(0)$ gives exactly the derivative of the reduced matrix $M$, proving the assertion without assuming a multiplicity formula.

Before extracting the order of $\det M$, we verify that $\det T$ is a reduced equation of the theta divisor. Generic points of $W_{g-1}$ have $h^0(L)=1$ by Solution 3. At such a point, both $H^0(L)$ and $H^0(K_X\otimes L^{-1})$ are one-dimensional. Their nonzero sections $s,t$ have nonzero product $st\in H^0(K_X)$. Choose $\xi \in H^1({\mathcal{O}}_X)$ with $⟨\xi ,st⟩\ne 0$ under Serre duality. The scalar $d{M}_0(\xi )$ is nonzero, so $\det T$ has a simple zero generically on the irreducible theta divisor. Since its support is exactly that irreducible hypersurface, it defines the reduced divisor. Solution 4 independently proved the same reduced structure for the Riemann theta function. On the smooth ambient Jacobian variety, local equations of the same reduced divisor differ by a nonvanishing holomorphic unit. Hence the orders of the local theta equation and $\det M$ agree everywhere.

Every entry of $M$ vanishes at the point, so each term in its determinant has order at least $r$. This proves ${\mathrm{mult}}_z\Theta \ge r$. To obtain equality, we exhibit an invertible cup-product direction for a line bundle on a curve. Set $V=H^0(L)$ and $W=H^0(K_X\otimes L^{-1})$, both of dimension $r$. There are $r$ distinct points $p_1,\dots ,p_r$ at which evaluation is an isomorphism for $V$: choose them inductively, since a surviving nonzero section has only finitely many zeros. The same holds for $W$. The nonvanishing of each evaluation determinant defines a nonempty open subset of the irreducible variety $X^r$. Their intersection, also avoiding the diagonals, is therefore nonempty. Choose points in it and local coordinates and compatible trivializations of $L$ and $K_X\otimes L^{-1}$ at each point.

Let $\xi$ be the connecting homomorphism class of the meromorphic principal parts ${\lambda }_i/t_i$ at these points, with all ${\lambda }_i\ne 0$. The residue form of Serre duality givesIf $S$ and $U$ are the two invertible evaluation matrices, the matrix of this pairing is $S^t\mathrm{diag}({\lambda }_1,\dots ,{\lambda }_r)U$, and is invertible. Thus the cup product map $\xi ⌣-:H^0(L)\to H^1(L)$ is an isomorphism. Along the corresponding analytic parameter line,with nonzero leading coefficient. The order is at most $r$, completing the proof of the Riemann singularity theorem.

This argument also identifies the tangent cone to a theta divisor: its degree-$r$ equation is $\det (\xi ⌣-)$, which is not the zero polynomial. For $r=1$, the tangent hyperplane is $⟨\xi ,st⟩=0$, in agreement with the annihilator description of the derivative of the Abelian sum map. For $r\ge 2$ all first derivatives vanish, proving singularity. In genus $1$ the theta divisor is a single smooth point of multiplicity $1$. In genus $0$ the effective degree-$-1$ locus is empty, so there is no singularity statement at a point of it.

For a nonzero holomorphic vector bundle $F$ on the curve, its degree of a holomorphic vector bundle and slope of a holomorphic vector bundle areWe obtain a bound independent of the particular holomorphic subbundle by fixing a Hermitian metric on a holomorphic vector bundle $E$ once and for all. Let $D_E$ be its Chern connection, $F_E=D_E^2$ its Chern curvature, and $\omega$ any positive area form on the compact Riemann surface. WriteHere $K$ is a smooth Hermitian endomorphism of $E$. By compactness, its largest eigenvalue is bounded above by some finite constant $C$ on the whole curve.

Let $F\subseteq E$ be a holomorphic subbundle of positive rank $r$, with the induced metric. Use the smooth orthogonal splitting of a vector subbundle $E=F\oplus F^{\perp }$. In this splitting the connection has block formwhere $D_F$ is the projected Chern connection and $B$ is the second fundamental form of a holomorphic subbundle. The latter has type $(1,0)$: the $(0,1)$ part of $D_E$ preserves the holomorphic subbundle. The adjoint $B^{†}$ includes conjugation of the form factor and has type $(0,1)$. Squaring this block matrix givesThis derives the curvature formula for a holomorphic subbundle in the column-vector convention used here. Locally write $B=bdz$. ThenThe degree of a holomorphic vector bundle is the trace-curvature integral, since the trace is the curvature of the determinant line bundle. HenceThe last integrand is a nonnegative real two-form and is independent of the local unitary frame and coordinate. Since $K\le C{I}_E$, the compressed trace is at most $rC$ pointwise. ThereforeThis is the subbundle slope bound from ambient Chern curvature. The right side depends only on $E$ and the initially chosen metrics, and is finite. It proves the requested uniform upper bound for every positive-rank subbundle, without assuming any stability property of $E$ or using a bound that depends on $F$.

Take the compact Riemann surface $X={\mathbb{P}}^1$ and the holomorphic vector bundle $E={\mathcal{O}}_X\oplus {\mathcal{O}}_X$. For every positive integer $m$, use homogeneous coordinates $[Z_0:Z_1]$ and the mapThe two sections $Z_0^m,Z_1^m$ never vanish together on ${\mathbb{P}}^1$. Thus this map has rank one at every point; locally one of its two components is invertible in suitable line-bundle frames, so its image is a genuine holomorphic subbundle and its quotient is a locally free sheaf. More explicitly, there is an exact sequenceExactness follows fibrewise from the absence of a common zero and hence also locally as a sequence of vector bundles. The image $F_m$ is isomorphic to ${\mathcal{O}}_X(-m)$ and has rank one, soThus there need not be a lower bound for subbundle slopes, even for a fixed trivial rank-two bundle. Merely multiplying a section of one fixed subline by a function with zeros would not suffice: that could give only a subsheaf with a torsion quotient. The nowhere-simultaneously-zero pair above avoids that problem and realizes unbounded negative degrees of line subbundles.

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.

A Yang-Mills instanton is a localized finite-action Euclidean gauge field with self-dual or anti-self-dual gauge curvature. It is a four-dimensional space-time event, rather than a static three-dimensional finite-energy monopole. Take gauge group $SU(2)$ first, with Skew-Hermitian generators $T_a=-i{\sigma }_a/2$, $[T_a,T_b]={ϵ}_{abc}{T}_c$, and $\mathrm{tr}(T_a{T}_b)=-{\delta }_{ab}/2$. Writeand fix orientation $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$. The positive Euclidean action isVarying $F$ gives $\delta F=D\delta A$. Integration by parts makes stationarity equivalent to $D_{\mu }{F}_{\mu \nu }=0$. The Bianchi identity $DF=0$ follows by expanding $F=dA+A\wedge A$, using $d^2=0$, and cancelling the remaining matrix commutator terms. Consequently $F=\pm \ast F$ implies the Yang-Mills equations: $D\ast F=\pm DF=0$. Self-duality of gauge curvature is an extra first-order condition, not a property of every finite-action gauge connection.

For the usual instanton decay conditions, the field is asymptotically pure gauge, $A\sim h^{-1}dh$ on the sphere at infinity. The boundary map $h:S^3\to SU(2)\simeq S^3$ has an integer degree. With the present trace convention define the instanton number byThe identityturns this integral into a boundary winding integral: for $A=h^{-1}dh$, the three-form in parentheses is $-\frac{1}{3}\mathrm{tr}(h^{-1}dh{)}^3$, giving $k=(24{\pi }^2{)}^{-1}{\int }_{S^3}\mathrm{tr}(h^{-1}dh{)}^3$, with the chosen boundary orientation. The normalized invariant three-form computes the degree of $h$, so $k\in \mathbb{Z}$. Equivalently the gauge bundle extends across conformal infinity to a bundle on $S^4$, and this is its Second Chern number convention. A smooth deformation preserving the boundary class cannot change this integer.

Square completion gives the Yang-Mills instanton Bogomolny bound:Self-dual gauge curvature saturates the bound for $k>0$, and anti-self-dual gauge curvature for $k<0$. These are Yang-Mills action minima within their topological sectors. Gauge variations give redundant directions, and variations along the moduli give zero modes; there is no negative second variation within the fixed-charge sector at a bound-saturating solution.

An explicit charge-one solution is the BPST instanton. Put $y=x-a$, $r^2=y_{\mu }{y}_{\mu }$, $d=r^2+{\rho }^2$, with $\rho >0$. The self-dual 't Hooft symbols are defined by ${\eta }_{ij}^a={ϵ}_{aij}$ and ${\eta }_{i4}^a={\delta }_{ai}$, extended antisymmetrically. ThenFor completeness, differentiation supplies $-4{\eta }_{\mu \nu }^a/d-4K_{\mu \nu }^a/d^2$, where $K_{\mu \nu }^a={\eta }_{\nu \lambda }^a{y}_{\lambda }{y}_{\mu }-{\eta }_{\mu \lambda }^a{y}_{\lambda }{y}_{\nu }$. The matrix commutator term supplies $4C_{\mu \nu }^a/d^2$, and the symbol identityreduces their sum to the stated gauge curvature. Since $\ast {\eta }^a={\eta }^a$, it is self-dual and solves the Yang-Mills equations. The gauge potential is regular at the center in this gauge, and gauge curvature falls as $r^{-4}$ at infinity.

The squared-symbol sum is 12, soThe second integral follows from $d^{4}x=2{\pi }^2{r}^{3}dr$ and the substitution $u=r^2$. ThusReplacing the symbols by their anti-self-dual counterparts reverses the charge and gives an anti-instanton. A compact non-Abelian group with an $SU(2)$ subgroup admits corresponding embedded examples.

The center $a\in {\mathbb{R}}^4$ gives four position moduli and $\rho >0$ gives one size modulus. In a framed instanton moduli space, gauge transformations are required to approach the identity at infinity, so three global $SU(2)$ orientation parameters remain, making eight real parameters for one instanton. If constant gauge transformations are also divided out, only the five position-and-size parameters remain. The size costs no classical Yang-Mills action: under $A_{\mu }(x)\mapsto \lambda A_{\mu }(\lambda x)$, gauge curvature scales by ${\lambda }^2$ and the four-dimensional volume by ${\lambda }^{-4}$. As $\rho \to 0$, gauge curvature concentrates at the center; the limiting object is a singular bubbling boundary of moduli space, not a smooth zero-size solution.

Higher-charge solutions require genuine nonlinear constructions, rather than a linear sum of charge-one gauge potentials. The ADHM construction gives a finite-dimensional description. For $V={\mathbb{C}}^{\ell }$, $W={\mathbb{C}}^N$, take $B_1,B_2\in \mathrm{End}(V)$, $I:W\to V$, $J:V\to W$, satisfyingmodulo the natural group action of $U(\ell )$. Here $\ell$ is the charge magnitude, avoiding confusion with the signed $k$ above. Regularity requires the following matrix to have full row rank everywhere:The complex constraint kills the off-diagonal block of ${\mathcal{D}}_z{\mathcal{D}}_z^{†}$, while the real constraint equates its diagonal blocks. Thus ${\mathcal{D}}_z{\mathcal{D}}_z^{†}=1_2\otimes f^{-1}$. Choose an orthonormal matrix of kernel columns $\Psi$, with ${\Psi }^{†}\Psi =1_N$, and define $A={\Psi }^{†}d\Psi$.

This is not merely a parameter count: its gauge curvature is checked by the ADHM factorization identity. The complementary orthogonal projection is ${\mathcal{D}}_z^{†}(1_2\otimes f){\mathcal{D}}_z$. Differentiating ${\mathcal{D}}_z\Psi =0$ in the identity $F=d{\Psi }^{†}(1-\Psi {\Psi }^{†})\wedge d\Psi$ givesThe space-time differential two-forms appearing here are generated by $d{z}_1\wedge d{\bar{z}}_1-d{z}_2\wedge d{\bar{z}}_2$, $d{z}_1\wedge d{\bar{z}}_2$, and $d{\bar{z}}_1\wedge d{z}_2$. For orientation $1234$ these are anti-self-dual. Hence the construction yields anti-self-dual gauge connections, of charge $k=-\ell$ in the present convention; the reversed construction gives positive charge. Regular ADHM data describe the smooth framed instanton moduli, while degenerate rank conditions allow singular limits.

There are $4{\ell }^2+4\ell N$ real data parameters. The three real matrix moment map equations impose $3{\ell }^2$ conditions, and quotient by $U(\ell )$ removes another ${\ell }^2$, giving $4\ell N$ dimensions at regular points. For $SU(2)$ this is $8\ell$ framed dimensions and $8\ell -3$ unframed dimensions on the irreducible locus. This explains how the one-instanton parameters fit into the higher-charge family.

The Penrose-Ward correspondence provides a complementary description by holomorphic vector bundles on twistor space, trivial on the real twistor lines for the Euclidean problem and equipped with the suitable reality structure. Triviality on every complexified line is a stronger condition and is not required for ordinary Euclidean instantons. Symmetry reductions of the anti-self-dual equations give integrable three-dimensional systems such as the Bogomolny equations.

In the quantum theory, a Euclidean instanton interpolates between Yang-Mills vacua of different Chern-Simons number. Choosing Euclidean time $x^1$ and spatial orientation $234$, its signed charge is the final Chern-Simons number minus the initial one, so it describes quantum tunnelling between winding sectors. Semiclassical contributions are suppressed by $\exp [-8{\pi }^2|k|/g^2]$; a Yang-Mills theta term adds a phase $\exp (i\vartheta k)$. One integrates over the instanton collective coordinates and includes fluctuation determinants rather than treating one classical solution as the entire quantum answer. Instantons therefore connect finite-action classical geometry, topology of gauge bundles, exact nonlinear constructions, and nonperturbative quantum effects.

On a complex manifold, holomorphic coordinates give the decomposition $d=\partial +\bar{\partial }$, withFor $\alpha ={\sum }_{I,J}{a}_{I\bar{J}}d{z}^I\wedge d{\bar{z}}^J$, the conjugate Dolbeault operator $\partial$ and the Dolbeault operator $\bar{\partial }$ are explicitlyThese are the type components of the intrinsic exterior derivative, so are independent of coordinates. The identity $d^2=0$, separated by type, gives ${\partial }^2={\bar{\partial }}^2=0$ and $\partial \bar{\partial }+\bar{\partial }\partial =0$. A holomorphic p-form on a complex manifold is a $(p,0)$-form whose coefficients are holomorphic functions; equivalently it is a $(p,0)$-form killed by the Dolbeault operator.

A rank-$r$ holomorphic vector bundle has local trivializations $E{|}_{U_i}\cong U_i\times {\mathbb{C}}^r$ whose changes are $(x,v)\mapsto (x,g_{ij}(x)v)$, with $g_{ij}:U_i\cap U_j\to {\mathrm{GL}}_r(\mathbb{C})$ holomorphic. These transition functions of a vector bundle satisfy $g_{ii}=I$ and $g_{ij}{g}_{jk}=g_{ik}$. Equivalently, for local frames we use the convention $e_j=e_i{g}_{ij}$. A holomorphic section is a section having holomorphic coordinate functions in every such holomorphic local frame; the condition is unchanged by the holomorphic invertible transitions.

The holomorphic cotangent bundle has local frames $d{z}^1,\dots ,d{z}^n$. Under another holomorphic coordinate system $w$, the chain rule givesThe Jacobian matrix is holomorphic and invertible, with holomorphic inverse supplied by the inverse coordinate change. These are precisely holomorphic bundle transitions. A section written as ${\sum }_b{f}_b(z)d{z}^b$ is holomorphic exactly when every $f_b$ is holomorphic, sothe space of holomorphic one-forms. In particular, being a holomorphic section is not the same as being a $d$-closed one-form on an arbitrary complex manifold.

The complex tautological line bundle isOn $U_i=\{Z_i\ne 0\}$ use the nowhere-zero frame $s_i([Z])=Z/Z_i$. Its components are holomorphic affine coordinates and the constant one in position $i$. On overlapsso the frame changes are nowhere-zero holomorphic functions. This proves that $\mathcal{O}(-1)$ is a holomorphic line bundle, and its inclusion into the trivial bundle is a holomorphic bundle map.

A global holomorphic section composed with that inclusion has $n+1$ component holomorphic functions on compact connected Complex projective space. Each is constant: its absolute value attains a maximum; in a coordinate ball the one-variable maximum modulus principle along complex lines makes it locally constant, and connectedness propagates that constant globally. Thus the section is a fixed vector $v\in {\mathbb{C}}^{n+1}$ lying in every fibre, namely every line $\mathbb{C}Z$. For $n\ge 1$ the intersection of all these lines is zero. HenceThe positive-dimension convention is necessary: ${\mathbb{CP}}^0$ is one point and this section space is $\mathbb{C}$.

A holomorphic line bundle $L\to X$ is a rank-one holomorphic vector bundle: it has local trivializations $L{|}_{U_i}\cong U_i\times \mathbb{C}$ whose fiberwise linear transition functions of a vector bundle are nowhere-zero holomorphic functions. Equivalently, choose local holomorphic frames $e_i$ and write $e_j=g_{ij}{e}_i$ on overlaps, with $g_{ij}\in {\mathcal{O}}^{\ast }(U_i\cap U_j)$ and the cocycle relation on triple overlaps. A holomorphic section over $U$ has coefficients $s_i$ holomorphic on $U\cap U_i$ in $s=s_i{e}_i$; consistency means $s_i=g_{ij}{s}_j$.

The dual bundle has fiber $L_x^{\ast }={\mathrm{Hom}}_{\mathbb{C}}(L_x,\mathbb{C})$. Its dual frames $e_i^{\ast }$ are characterized by $e_i^{\ast }(e_i)=1$, and the frame relation becomes $e_j^{\ast }=g_{ij}^{-1}{e}_i^{\ast }$. Reciprocals of nowhere-zero holomorphic functions are holomorphic, and their cocycle relations persist. This defines the holomorphic dual vector bundle structure on $L^{\ast }$, with holomorphic evaluation pairing $L^{\ast }\otimes L\to {\mathcal{O}}_X$.

Assume now that $X$ is compact and connected, and let $s$ and $t$ be nonzero global holomorphic sections of $L$ and $L^{\ast }$, respectively. The function $t(s)$ is a global holomorphic function. The maximum modulus principle, applied in local complex coordinate lines near a maximum and then propagated on the connected manifold, makes it constant. Moreover it is not identically zero: the zero locus of a nonzero holomorphic section has empty interior by the identity theorem, so the two nonvanishing loci are dense open sets and intersect. Thus $t(s)=c\ne 0$ everywhere.

In particular, $s$ never vanishes. The map $(x,a)\mapsto as(x)$ is a holomorphic bundle isomorphism $X\times \mathbb{C}\to L$; in a local frame its inverse divides by the nowhere-zero holomorphic coefficient of $s$. Conversely, a holomorphic trivialization supplies the constant unit sections of both $L$ and $L^{\ast }$. We have proved the two-section criterion for holomorphic triviality:

Write points of Complex projective space as lines $[Z]\subset {\mathbb{C}}^{n+1}$. The complex tautological line bundle iswith fiber that very line. Its dual is the hyperplane line bundle $\mathcal{O}(1)$. On the affine chart $U_i=\{Z_i\ne 0\}$, the vector $e_i([Z])=Z/Z_i$ is a nowhere-zero holomorphic frame of $\mathcal{O}(-1)$. On $U_i\cap U_j$,Both ratios are nowhere-zero holomorphic functions of the affine coordinates. They exhibit the holomorphic transition functions of a vector bundle for the two bundles explicitly.

Choose a nonzero linear functional $\ell :{\mathbb{C}}^{n+1}\to \mathbb{C}$ whose zero hyperplane is $H$. At $[Z]$, its restriction to $\mathbb{C}Z$ is an element of that line's dual and therefore defines a holomorphic section $s_{\ell }$ of $\mathcal{O}(1)$. In the dual frame above its coefficient isThis expression is holomorphic even along $H$, and its zero locus is exactly $H$. Consequently $s_{\ell }{|}_{{\mathbb{P}}^n\setminus H}$ is the requested nowhere-zero section; its global holomorphic extension vanishes precisely on $H$. The extension need not, and does not, stay nowhere zero on the hyperplane.

The holomorphic normal bundle is the quotient $N_V=T^{1,0}M{|}_V/T^{1,0}V$, of rank $r$. The tangent sequence is a short exact sequence of holomorphic vector bundles:Taking determinant line bundles gives $\det (T^{1,0}M){|}_V\cong \det (T^{1,0}V)\otimes \det N_V$. Dualizing and rearranging proves adjunction for a smooth submanifold:The determinant identity follows locally by adjoining lifts of a quotient frame to a subbundle frame; changing the lifts adds only off-diagonal blocks, so does not change the determinant.

For a smooth divisor, choose reduced local defining functions $f_i$, with $f_i=u_{ij}{f}_j$ and $u_{ij}$ holomorphic and nowhere zero. The holomorphic line bundle associated to a divisor $[V]={\mathcal{O}}_M(V)$ has local frames $e_i=f_i^{-1}$, with $e_j=u_{ij}{e}_i$. The products $f_i{e}_i$ define its canonical section vanishing on $V$. Along $V$,Thus $v\mapsto d{f}_i(v)e_i$ patches to a map $T^{1,0}M{|}_V\to [V]{|}_V$, whose kernel is $T^{1,0}V$ and which is surjective because each reduced defining function has nonzero differential there. Hence $N_V\cong [V]{|}_V$. This is the normal bundle of a smooth analytic hypersurface. The divisor construction uses a closed hypersurface: an arbitrary nonclosed embedded hypersurface need not be a divisor. For example, a punctured line in ${\mathbb{C}}^2$ cannot be the support of a divisor, since its missing limit point would also lie in every local holomorphic zero set containing that line.

Let $s$ be the section of $E$ defining $V$. The intended hypothesis is that it is a regular zero locus: $ds$ has rank $r$ on $V$. In a local trivialization, differentiation of the component functions definesThis is intrinsic: differentiating a change-of-frame matrix introduces terms multiplied by $s$, which vanish on $V$. Its kernel is $T^{1,0}V$, so it induces an isomorphism of holomorphic normal bundles. ConsequentlyThis is the normal bundle of a regular zero locus. Here $\det E=L_1\otimes \cdots \otimes L_r$.

Regularity is essential if “vanishing” is read only as equality of underlying sets. On ${\mathbb{P}}^2$, the section $Z_0^2$ of $\mathcal{O}(2)$ vanishes set-theoretically on a smooth line $V$. Its derivative vanishes on $V$, andThus smoothness of the underlying zero set alone does not establish the claimed normal-bundle isomorphism. The preceding proof applies when the equations define the reduced smooth submanifold, equivalently are transverse to zero.

For Complex projective space, put $\mathcal{O}(a)=[aH]$. At a line $\ell \subset {\mathbb{C}}^{n+1}$, the tangent space is $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1}/\ell )$. Quotienting $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1})$ by its scalar maps into $\ell$ yields the Euler sequenceIts determinant gives $K_{{\mathbb{P}}^n}\cong \mathcal{O}(-n-1)=[-(n+1)H]$. For a smooth complete intersection defined regularly by the homogeneous equations, apply the normal-bundle result to $E={⨁}_i\mathcal{O}(d_i)$:This is the canonical bundle of a regular projective complete intersection. The same regularity qualification is needed here: the squared-line example would otherwise predict ${\mathcal{O}}_{{\mathbb{P}}^1}(-1)$ for its canonical bundle, whereas the line has $K_V={\mathcal{O}}_{{\mathbb{P}}^1}(-2)$.

A rank-$r$ holomorphic vector bundle is a complex manifold $E$ with a holomorphic projection to $X$ and local holomorphic trivializations $E{|}_{U_i}\cong U_i\times {\mathbb{C}}^r$ that are complex-linear on each fibre. Its transition maps have the form $(x,v)\mapsto (x,g_{ij}(x)v)$ with holomorphic $g_{ij}:U_i\cap U_j\to G{L}_r(\mathbb{C})$ satisfying the cocycle identities.

The holomorphic Picard group consists of isomorphism classes of holomorphic line bundles, with tensor product as multiplication, the trivial line bundle as identity and the dual bundle as inverse. The classification on the complex projective line givesThe inverse is degree; $\mathcal{O}(1)$ is the positive generator.

Extend $J$ complex-linearly to the complexification of a real vector bundle $T_{\mathbb{C}}X=TX{\otimes }_{\mathbb{R}}\mathbb{C}$. Since $J^2=-\mathrm{id}$, its $+i$ and $-i$ eigenbundles have smooth projectionsEach has complex rank $n$: complex conjugation interchanges them, and together they have rank $2n$. These are the type decomposition of the complexified tangent bundle. For an arbitrary almost complex structure, they are smooth complex vector bundles; a holomorphic vector bundle structure requires integrability.

When $J$ comes from a holomorphic atlas, write a holomorphic coordinate as $z_j=x_j+i{y}_j$. Its Wirtinger derivatives areThe induced almost complex structure has $J{\partial }_{x_j}={\partial }_{y_j}$ and $J{\partial }_{y_j}=-{\partial }_{x_j}$. Hence the displayed vector fields are respectively $+i$ and $-i$ eigenvectors. They are linearly independent, and each collection has $n$ elements. Thus they give local frames for $T^{1,0}X$ and $T^{0,1}X$ respectively, with $T^{1,0}X$ the holomorphic tangent bundle. The repeated $T^{0,1}X$ in the first sentence of the printed item must be read as the two complementary eigenbundles.

The printed assertion for every cohomological degree is false. The valid conclusion supplied by the stated Hartogs extension theorem is the degree-zero isomorphism. Indeed, around each removed point choose a small coordinate ball on which the holomorphic vector bundle $E$ is trivial. A holomorphic section on the punctured ball has finitely many holomorphic coefficient functions, each of which extends by Hartogs extension theorem when the complex dimension is at least two. Uniqueness of holomorphic extension makes these local extensions agree with the original section on overlaps, givingThis also identifies the direct image sheaf $j_{\ast }\mathcal{O}(E{|}_{X_0})$ with $\mathcal{O}(E)$ for the inclusion $j:X_0\hookrightarrow X$. It does not identify higher sheaf cohomology.