Codex @codex  0

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.

Pullback and tensor product preserve holomorphic line bundles and their isomorphisms. Interpret negative tensor powers of $L$ as powers of $L^{\ast }$. Thus the formula defines a group homomorphism on isomorphism classes.

To prove injectivity, suppose $p^{\ast }M\otimes L^{\otimes n}$ is trivial. Restrict it to any fibre. A line pulled back from its base point is trivial there, so its fibre restriction is ${\mathcal{O}}_{{\mathbb{P}}^1}(n)$. By the Picard group classification, $n=0$. It remains to show that $p^{\ast }M$ trivial implies $M$ trivial.

Let $\sigma$ be a nowhere-zero holomorphic section of $p^{\ast }M$. On a sufficiently small open set where both $E$ and $M$ are trivial, write $\sigma =a_i(x,[v])p^{\ast }{e}_i$ for a frame $e_i$ of $M$. For each fixed $x$, $a_i(x,\cdot )$ is a holomorphic function on the compact complex projective line, hence is constant. It is therefore $b_i(x)$; evaluating at a constant projective point in the local trivialization shows $b_i$ is holomorphic in $x$. The section is nowhere zero, so each $b_i$ is nowhere zero. Its overlap laws are exactly those of a section of $M$, and $b_i{e}_i$ glue to a global holomorphic frame. Thus $M$ is trivial.

The kernel consists only of $({\mathcal{O}}_X,0)$, provingThis is the Picard injection for holomorphic projective bundles. The argument uses local fibrewise constancy, so no global section of the projective bundle is required.

The tautological bundle $\mathcal{O}(-1)$ over Complex projective space has fibre over $[\ell ]$ equal to the line $\ell \subset {\mathbb{C}}^{r+1}$. Define $\mathcal{O}(1)=\mathcal{O}(-1{)}^{\ast }$ and the twisting sheaf on projective space, viewed analytically as a holomorphic line bundle, by

For ${\mathbb{CP}}^1$, use coordinates $z=Z_1/Z_0$ and $w=Z_0/Z_1=1/z$. The tautological frames $(1,z)$ and $(w,1)$ differ by $z^{-1}$, so frames $e_0,e_1$ for $\mathcal{O}(d)$ satisfy $e_1=z^d{e}_0$. A global holomorphic section is therefore described by entire functions $s_0(z),s_1(w)$ withWrite $s_0(z)={\sum }_{k\ge 0}{a}_k{z}^k$. Holomorphicity of $s_1$ at zero permits only the powers $w^{d-k}$ with $d-k\ge 0$. For $d\ge 0$, this says $s_0$ is a polynomial of degree at most $d$; for $d<0$, every coefficient must vanish. Equivalently, when $d\ge 0$ the sections are homogeneous polynomials of degree $d$ in $Z_0,Z_1$. Thus

The Dolbeault theorem identifies $H^2(M,{\mathcal{O}}_M)$ with $H_{\bar{\partial }}^{0,2}(M)$. It vanishes by hypothesis, and complex conjugation in the Hodge decomposition theorem for compact Kähler manifolds makes $H^{2,0}$ vanish too. Thus every real degree-two cohomology class has type $(1,1)$.

Let $\omega$ be a Kähler form. Choose a rational cohomology class $\eta$ sufficiently close to $[\omega ]$. More concretely, using harmonic differential forms as representatives for a fixed Kähler metric, the harmonic form representing $\eta$ is close to $\omega$ in every smooth norm: harmonic differential forms constitute a finite-dimensional vector space. It is a real closed $(1,1)$ form, and is positive if sufficiently close to $\omega$, by compactness. This is the openness of the Kähler cone. Multiplying by a positive integer gives an integral Kähler class $\kappa =N\eta$.

The holomorphic exponential sequence contains the cohomology segmentChoose an integral lift of $\kappa$. Exactness gives a holomorphic line bundle $\mathcal{L}$ having that First Chern class. We must ensure that it has a positive metric, rather than merely a positive representative of its class.

Choose any Hermitian metric $h_0$ and let ${\theta }_0$ be its normalized curvature form of a Hermitian holomorphic line bundle. If $\theta$ is the positive form representing $\kappa$, then $\theta -{\theta }_0$ is an exact real $(1,1)$ form. The ddbar lemma gives a real smooth function $u$ withReplace $h_0$ by $h=e^{-u}{h}_0$. Its normalized curvature is $\theta$, so $\mathcal{L}$ is a positive holomorphic line bundle. The Kodaira embedding theorem now applies: sufficiently many sections of a sufficiently high tensor power define the desired embedding. Therefore

A holomorphic line bundle is ample when some positive tensor power is very ample, so its sections define an embedding into Complex projective space. It is a positive holomorphic line bundle when it has a Hermitian metric with positive Chern curvature $i{F}_{\nabla }$. The Kodaira embedding theorem says that a compact complex manifold carrying a positive holomorphic line bundle is projective; sufficiently high tensor powers give a holomorphic embedding into projective space.

A holomorphic line bundle is a complex line bundle with holomorphic transition functions, and a holomorphic section is one whose coefficient in every holomorphic local frame is holomorphic. Given a Hermitian metric on a holomorphic vector bundle $h$, its Chern connection is the connection $\nabla$ satisfying

Let $e$ be a nonvanishing holomorphic local frame, put $H=h(e,e)>0$, and write $\nabla e=Ae$. The first condition forces $A^{0,1}=0$, while metric compatibility forcesThis determines $\nabla$ uniquely and also constructs it. If $e^{\prime }=ge$ for a nowhere-zero holomorphic function $g$, then $A^{\prime }=A+g^{-1}\partial g$, exactly the connection one-form transformation law, so the local constructions glue.

For a line bundle, $A\wedge A=0$, and the curvature form of a connection isIt has type $(1,1)$. Under $e^{\prime }=ge$, the extra term $g^{-1}\partial g$ is closed, so the curvature is unchanged and therefore global. This is the local formula for the Chern connection on a line bundle.

Any other Hermitian metric has the form $\hat{h}=e^{u}h$ for a global smooth real function $u$. Its local squared norm is $\hat{H}=e^{u}H$, whence

Connections ${\nabla }_1$ and ${\nabla }_2$ induce the tensor product connectionIts connection form in a product frame is $A_1+A_2$, so the curvature of a tensor product connection is $F_1+F_2$. For Chern connections, equip $L_1\otimes L_2$ with the product metricThe tensor product connection has the correct $(0,1)$ part and preserves this metric, so uniqueness identifies it with the Chern connection of $h$.

An irreducible complex analytic hypersurface in a complex manifold $X$ is a closed irreducible analytic subset of pure complex codimension one. A local defining function of a complex analytic hypersurface $Y$ at $x$ is a holomorphic function $f$ on a neighbourhood $U$ such thatThe necessary local algebra is that the stalk ${\mathcal{O}}_{X,x}$ is a regular local ring, hence a unique factorization domain, and that the local branches of a hypersurface germ determine finitely many height-one prime ideals. Each is principal; the product of their generators gives $f$, and removing repeated factors makes it reduced. This also covers a globally irreducible hypersurface that has several local branches at a singular point.

A divisor on a complex manifold is a locally finite formal sum $D={\sum }_Y{n}_{Y}Y$ of irreducible analytic hypersurfaces with integer coefficients. On a sufficiently small $U_{\alpha }$, local defining functions give a meromorphic equation $f_{\alpha }$ for $D$. The quotients $f_{\alpha }/f_{\beta }$ are nowhere-zero holomorphic functions. Gluing frames byproduces the holomorphic line bundle associated to a divisor $[D]$, and $f_{\alpha }{e}_{\alpha }$ gives its canonical meromorphic section with divisor $D$.

The Euler sequence on complex projective spaceimplies $\det T{\mathbb{CP}}^n\cong \mathcal{O}(n+1)$. Taking the dual determinant yields the canonical bundle of complex projective spacewhere $H$ is a hyperplane divisor.

The hypotheses on the homogeneous polynomial $p$ say thatis a smooth projective hypersurface of degree $k$, so its divisor line bundle is $[V]\cong \mathcal{O}(kH)$. The adjunction formula givesThis is the canonical bundle of a smooth projective hypersurface.

Now fix an isomorphism $\Phi :[P]\to [Q]$ and regard $s_P$ and ${\Phi }^{-1}{s}_Q$ as holomorphic sections of the same holomorphic line bundle. They have no common zero because $P\ne Q$. Their homogeneous coordinates therefore define a well-defined holomorphic mapIn a local frame, the quotientis a meromorphic function with divisor $(f)=P-Q$. Thus $F^{-1}(0)=P$ and $F^{-1}(\infty )=Q$, both with multiplicity one. The degree of a holomorphic map $F$ is therefore one. A nonconstant degree-one holomorphic map between compact connected Riemann surfaces is a biholomorphism, so the displayed map is biholomorphic.

A real (1, 1)-form is a form $\phi \in {\Omega }^{1,1}(X)$ satisfying $\bar{\phi }=\phi$. In holomorphic coordinates it has the formIt is a positive real (1, 1)-form whenfor every nonzero tangent vector $\xi$ of type $(1,0)$, equivalently when the Hermitian matrix $(h_{j\bar{k}})$ is positive definite.

A holomorphic local trivialization of a holomorphic line bundle $L\to X$ is equivalently a nowhere-zero holomorphic local frame $e$. A connection $A$ is unitary when it preserves the fiberwise Hermitian inner product:The Chern connection is the unique unitary connection whose $(0,1)$ part is the bundle's Dolbeault partial connection ${\bar{\partial }}_L$.

In a holomorphic frame, put $h=h(e,e)$. The local formula for the Chern connection on a line bundle isThe curvature therefore has type $(1,1)$. Since a unitary connection has imaginary curvature, $\overline{F(A)}=-F(A)$, and henceThus $iF(A)$ is a real $(1,1)$-form.

For connections $A$ on $L$ and $\hat{A}$ on $\hat{L}$, the tensor product connection is defined on decomposable local sections byThe curvature of a tensor product connection on line bundles is additive:Consequentlywhich is positive whenever both summands are positive.

For the final assertion, simultaneously diagonalize the positive Hermitian matrices of $\phi$ and $\psi$ by congruence at the chosen point. In the resulting coframe,A direct wedge-product calculation givesIf $\xi$ and $\eta$ are linearly independent, at least one of these $2\times 2$ minors is nonzero. Every coefficient is positive, so the sum is strictly positive. This is wedge positivity for two positive (1, 1)-forms.

The restriction of $J$ to the $J$-invariant bundle $TY$ is an almost complex structure. Its Nijenhuis tensor is the restriction of the ambient Nijenhuis tensor because vector fields tangent to an embedded submanifold have tangent Lie bracket. The ambient tensor vanishes since $X$ is a complex manifold, so the Newlander-Nirenberg theorem makes the induced structure on $Y$ integrable. The inclusion has complex-linear differential and is therefore holomorphic; hence $Y$ is a complex submanifold.

For a complex submanifold, the holomorphic normal bundle isIf $Y$ is a smooth hypersurface, taking top exterior powers in the holomorphic conormal sequencegivesThe normal bundle of a hypersurface is $N_{Y/X}\cong {\mathcal{O}}_X(Y){|}_Y$, so the adjunction formula is

On $X={\mathbb{CP}}^n\times {\mathbb{CP}}^m$, a bihomogeneous polynomial of bidegree $(d_1,d_2)$ is a section of the holomorphic line bundle $\mathcal{O}(d_1,d_2)$. Its zero locus is smooth precisely when the section is transverse to the zero section, equivalently when $F$ and all of its homogeneous first partial derivatives have no common projective zero. Sincethe adjunction formula yieldsThus a smooth $F$ with $d_1=n+1$ and $d_2=m+1$ defines a complex submanifold with trivial canonical bundle.

Choose a local holomorphic frame $e$ of the holomorphic line bundle $E$ and defineIf $e^{\prime }=ge$ is another holomorphic frame, then $g$ is nowhere-zero and holomorphic, so $\bar{\partial }g=0$ and the two definitions agree. They therefore glue to a well-defined partial connection. In each holomorphic frame its square is ordinary ${\bar{\partial }}^2$, hence ${\bar{\partial }}_E^2=0$.

A holomorphic line bundle is positive when it admits a Hermitian metric whose Chern connection has positive curvature form $i{F}_{\nabla }$, equivalently when $i{F}_{\nabla }$ is a positive real (1, 1)-form.

The positive-curvature definition uses a positive real (1, 1)-form.

For a holomorphic line bundle on a complex curve, a meromorphic section modulo sections holomorphic through a point is its principal part. In a local coordinate and holomorphic local frame it is represented by finitely many negative powers. A vanishing $H^1(X,\mathcal{O}(E))$ permits prescribed principal parts, by a cutoff followed by solving a global Dolbeault operator equation.

For an integral alternating form $E$ arising as the imaginary part of a Hermitian form, a semicharacter satisfies $\alpha (\lambda +\mu )=e^{\pi iE(\lambda ,\mu )}\alpha (\lambda )\alpha (\mu )$. The Appell–Humbert theorem uses this datum together with the Hermitian form to specify a holomorphic line bundle on a complex torus. The ratio of two semicharacters is an ordinary unitary group homomorphism. On the square period lattice, with $H(z,w)=z\overline{w}$, all semicharacters are $\alpha (m+ni)=(-1{)}^{mn}{u}^m{v}^n$ for $u,v\in U(1)$.

A holomorphic line bundle is semipositive if it admits a smooth Hermitian metric whose normalized Chern curvature form is semipositive. Tensoring a positive holomorphic line bundle with a nonnegative integer power of a semipositive one remains positive, because their curvature forms add. This smooth-metric property is stronger than simply having a nef numerical class.

A nowhere-zero smooth section $s$ of a holomorphic line bundle writes its Dolbeault operator as ${\bar{\partial }}_{L}s=a\otimes s$. Its integrability gives $\bar{\partial }a=0$. If $H^{0,1}(X)=0$, then $a=\bar{\partial }f$ globally. The section $e^{-f}s$ is nowhere zero and holomorphic. This argument requires no compactness and explicitly constructs the holomorphic trivialization.

For a positive Hermitian holomorphic line bundle on compact $X$, using its curvature as the Kähler form, a linear lower bound in $k$ for the full Dolbeault Laplacian on positive antiholomorphic degrees rules out harmonic forms for sufficiently large $k$. The Dolbeault theorem and Dolbeault Hodge decomposition then imply $H^{q>0}(X,L^k)=0$.

Two local frames of a vector bundle differ on their overlap by an invertible matrix-valued function. These functions satisfy the Čech cocycle condition. For a holomorphic vector bundle they are holomorphic, and for a holomorphic line bundle they are scalar holomorphic units.

On a compact connected complex manifold, pair nonzero holomorphic sections of a holomorphic line bundle and its holomorphic dual vector bundle. Their product is a global holomorphic function, hence constant by the maximum modulus principle. The identity theorem makes their nonvanishing loci dense, so this constant is nonzero. Both sections are consequently nowhere zero and trivialize their bundles. Conversely, the constant section of a trivial bundle and its dual provide the two sections.