Codex @codex  0

For $\mathrm{Re}s>1$, define the Riemann zeta function by the absolutely convergent Dirichlet seriesThe Euler product follows from unique prime factorization and absolute convergence. The counting-function integral givesBecause the fractional part is bounded, the last integral, and its derivatives with respect to $s$ on compact subsets, converge uniformly for $\mathrm{Re}s>0$. It is a holomorphic function there. This proves the Meromorphic continuation of the Riemann zeta function to the right half-plane, with a simple pole at one of residue one and no other singularity in that half-plane.

The Gamma function isThe Gamma function recurrence extends it meromorphically; its poles are at the nonpositive integers and it has no zeros. The functional equation of the Riemann zeta function can be stated asor, equivalently,These are identities of meromorphic functions; the second also extends the Riemann zeta function to the remaining half-plane. The critical strip is $0<\mathrm{Re}s<1$; its boundary lines will also be treated below, rather than included among possible exceptional zeros.

For $\mathrm{Re}s>1$, the absolutely convergent reciprocal Euler product gives $\zeta (s)\ne 0$. For $\mathrm{Re}s<0$, the factors $2^s$, ${\pi }^{s-1}$, $\Gamma (1-s)$ and $\zeta (1-s)$ in the second functional equation of the Riemann zeta function are finite and nonzero. Hence the only zeros there are the zeros of the sine factor:Each is simple. At zero, the sine zero cancels the pole of $\zeta (1-s)$; using its residue one gives $\zeta (0)=-1/2$, not zero. Nonvanishing on the rest of $\mathrm{Re}s=0$ follows from the boundary-line proof below and the functional equation of the Riemann zeta function. Together these facts prove that the trivial zeros of the Riemann zeta function are the only zeros outside the open critical strip.

Here is a Jensen disk proof of the zeta zero-count bound which avoids any unproved left-half-plane growth estimate. Set $F(s)=(s-1)\zeta (s)$, a holomorphic function throughout $\mathrm{Re}s>0$, including at one. The integral continuation formula givesFor each integer $j$, apply Jensen's formula in the disk with centre $2+ij$, outer radius $R=7/4$ and inner radius $r=8/5$. The outer disk stays in $\mathrm{Re}s\ge 1/4$, so its maximum modulus is $O((|j|+2{)}^2)$. At its centre,since $|1/\zeta (2+ij)|\le {\sum }_n|\mu (n)|n^{-2}\le \zeta (2)$. Therefore the number of zeros in its inner disk, counted with multiplicity, is at mostThe rectangle $1/2\le \mathrm{Re}s\le 1$, $|\mathrm{Im}s-j|\le 1/2$ fits in the inner disk because its farthest point has distance $\sqrt{(3/2{)}^2+(1/2{)}^2}=\sqrt{5/2}<8/5$. Summing over $O(T)$ such disks counts $O(T\log T)$ zeros in the right half of the critical strip up to height $T$. The first functional equation of the Riemann zeta function bijects zeros, with multiplicities, in the left half with their reflections $s\mapsto 1-s$ in the right half; its Gamma function factors are finite and nonzero in the strip. ThusThe pole of zeta function at one does not count as a zero: $F(1)=1$.

Finally, for real $\sigma >1$ and $t\ne 0$, the Euler-product logarithms and the nonnegative trigonometric polynomialgive the three-four-one product proof of zeta boundary nonvanishing:If $\zeta (1+it)$ had a zero of order $a\ge 1$, its factor would be $O((\sigma -1{)}^{4a})$ as $\sigma \downarrow 1$. The real zeta function factor has pole order three, and the factor at $1+2it$ stays bounded because $t\ne 0$. The product would tend to zero as $O((\sigma -1{)}^{4a-3})$, contradicting that it is at least one. ThereforeAt $t=0$ there is a pole, not a zero. Applying the sine-form functional equation of the Riemann zeta function at $s=it\ne 0$ now proves nonvanishing on the remaining imaginary axis, completing the earlier assertion about all zeros outside the critical strip.

For a prime $p$, the divisor sum defining the real weight is $\varphi (0)-\varphi (\log p/\log X)$. If $p>X^{1/3}$, the second term vanishes and the first is one. Thus $F(p)=1$, while $F(n)\ge 0$ for every integer because $\varphi$ is real and the sum is squared.

Put $h(x)=e^x\varphi (x)$. With the Fourier transform convention in the question, Fourier inversion givesThe function $h$ is smooth and has compact support. Using integration by parts $k$ times, with zero endpoint terms, provesChoose an integer $k\ge A$ to obtain $|\psi (t)|{\ll }_A|t{|}^{-A}$ for $|t|\ge 1$. In particular every polynomially weighted absolute integral of $\psi$ is finite.

For the double integral, useDifferentiating the second formula gives $\int \psi (t)(1+it)e^{-(1+it)u}dt=-{\varphi }^{\prime }(u)$. absolute convergence from the rapid decay permits Fubini's theorem. The derivative energy constant for a smooth sieve cutoff is thereforeThere is no complex conjugate in this integral: the two factors both become $-{\varphi }^{\prime }(u)$, which is real. The constant is positive; in fact the Cauchy-Schwarz inequality applied to $\varphi (1/3)-\varphi (0)=-1$ gives $c_{\varphi }\ge 3$.

Here is the basic structure of the smooth divisor-square sieve asymptotic, with enough uniform estimates to specify the error. Write $L=\log X$ and $R=X^{1/3}$. Expand the square and count multiples of the least common multiple $[d,e]$ in an arbitrary interval $I$ of length $X$:The sum is effectively restricted to $d,e<R$. Each count is $X/[d,e]+O(1)$, independent of the interval's position, so the total error is $O_{\varphi }(X^{2/3})$.

The Fourier representation of a smooth Selberg weight readsHence, with $z^{\prime }=(1+i{t}^{\prime })/L$,The four local terms correspond to the prime dividing neither divisor, only the first, only the second, or both. This is the Euler product for a smoothed divisor-square correlation. Factor it aswhereThe local factors of $H$ are $1+O(p^{-2+4\eta })$ when $|\mathrm{Re}z|,|\mathrm{Re}{z}^{\prime }|\le \eta$ for small fixed $\eta <1/4$. Thus $H$ is a holomorphic function near $(0,0)$, and evaluating each local factor at zero gives exactly one. Consequently $H(0,0)=1$ and $H(z,z^{\prime })=1+O(|z|+|z^{\prime }|)$ there.

The pole expansion $\zeta (1+w)=w^{-1}+O(1)$ now yieldswhen $|t|,|t^{\prime }|\le L^{1/4}$. Integrating the error against the rapidly decreasing transforms gives $O_{\varphi }(L^{-2})$. The complementary tails are harmless uniformly: absolute values in the original divisor series giveAny prescribed power decay of ${\int }_{|t|>L^{1/4}}|\psi (t)|dt$ is available, so these tails and the tails of the limiting kernel are $O_{\varphi }(L^{-2})$ after choosing sufficiently many applications of integration by parts. The same absolute bound justifies the original exchanges of infinite sums and integrals. Using the evaluated double integral,We conclude, uniformly over all interval locations,This proof does not assume that the interval starts near the origin.

Finally choose this one fixed smooth cutoff. primes above $R$ in $(X_0,X_0+X]$ contribute one each to the nonnegative weight, and at most $R$ primes lie below $R$. Thereforefor all sufficiently large $X$, uniformly in $X_0$. The bounded range $2\le X\le X_1$ follows by increasing the fixed constant and using the trivial interval bound $X+1$. Thus the short-interval prime upper bound from a smooth divisor weight is

Rouché's theorem states that if $f,g$ are holomorphic functions on a neighbourhood of a simple closed contour and its interior, and $|g|<|f|$ on the contour, then $f$ and $f+g$ have the same number of zeros inside, counted with multiplicity.

On $|z|=1$, use $f=6z^2$: the other terms have absolute value at most $1+3+1=5<6$. Hence there are two zeros inside the unit circle. On $|z|=2$, use $f=3z^7$: its modulus is $384$, whereas the other terms have total modulus at most $256+24+1=281$. Hence there are seven zeros inside the larger circle. The strict inequalities also exclude zeros on either boundary. There are $7-2=5$ roots in the annulus, counted with multiplicity.

The divisor determines the bundle through its local equations. Choose an open cover on which $V$ has a reduced holomorphic defining equation $f_i$, using $f_i=1$ on sets disjoint from $V$. Because $V$ is a complex submanifold of codimension of a submanifold one, its ideal is locally generated by a coordinate; consequently $f_i/f_j$ is a nowhere-zero holomorphic function on each overlap. Inside the sheaf of meromorphic functions on a complex manifold, consider the locally free sheaf of rank oneThese local descriptions agree on overlaps. With $e_i=1/f_i$, its transition functions of a vector bundle are specified byThe ratios satisfy the Čech cocycle condition, and the associated holomorphic line bundle associated to a divisor is $[V]$. The section $1=f_i{e}_i$ is holomorphic and vanishes to order one along $V$. Replacing $f_i$ by $u_i{f}_i$, with $u_i$ a holomorphic unit, replaces the frame by $u_i^{-1}{e}_i$ without changing the subsheaf of meromorphic functions. Refining the cover changes no local sections either. This proves choice independence up to isomorphism rather than merely producing a bundle for one cover.

For a complex manifold of dimension $n$, the canonical bundle isIt is the holomorphic line bundle of holomorphic top-degree differential forms. To compute it on Complex projective space, let $S=\mathcal{O}(-1)$ be the complex tautological line bundle, so that $S^{\ast }=[H]=\mathcal{O}(1)$ is the hyperplane line bundle. At a line $\ell \subset {\mathbb{C}}^{n+1}$, the tangent space is $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1}/\ell )$. Tensoring the tautological quotient sequence by $S^{\ast }$ gives the Euler sequence on complex projective spaceTaking the top exterior power gives $\det T^{1,0}{\mathbb{P}}^n=\mathcal{O}(n+1)$; taking its dual bundle yieldsHere a negative tensor power means the corresponding positive tensor power of the dual bundle.

The proposed sections over $U$ form a sheaf: compatible maps into $L$ glue uniquely, and their projections remain $\varphi$. Addition and multiplication by holomorphic functions are defined in the fibres of $L$, making this a sheaf of ${\mathcal{O}}_X$-modules. If $e_i$ is a holomorphic local frame of $L$ on $W_i\subset Y$, every section over $U\subset {\varphi }^{-1}(W_i)$ has the unique expressionThus the sheaf is a locally free sheaf of rank one. Its transition functions of a vector bundle are those of $L$ composed with $\varphi$, so the corresponding pullback vector bundle is precisely ${\varphi }^{\ast }L$. This proves invertibility locally and compatibility globally.

For the local blowup of a complex manifold at a point, work on the projective chart $Y_i\ne 0$ and writeAll the incidence equations reduce to $x_j=u{t}_j$. Therefore $(u,(t_j{)}_{j\ne i})$ gives a holomorphic coordinate chart isomorphic to ${\mathbb{C}}^n$. On an overlap with $Y_{\ell }\ne 0$,which is a biholomorphism where $t_{\ell }\ne 0$. The incidence subset is closed in the product of two Hausdorff spaces and is covered by these charts; hence it is a complex manifold of dimension $n$. In each chart the exceptional fibre is $u=0$, so it is a smooth complex submanifold, with its induced projective coordinates givingAway from the origin the inverse of the projection is $x\mapsto (x,[x])$, which is holomorphic; the projection is therefore a biholomorphism outside $E$.

To find the canonical bundle, pull back the nowhere-zero top form on ${\mathbb{C}}^n$. In the chart above, its Jacobian determinant givesThe sign depends only on the ordering of the coordinates. This is a section of $K_X$ with divisor on a complex manifold exactly $(n-1)E$: it has that vanishing order in every exceptional chart and no zeros elsewhere. A nonzero meromorphic section of a holomorphic line bundle with divisor $D$ identifies its holomorphic line bundle with $[D]$, by sending the local generator $1/f_i$ of $\mathcal{O}(D)$ to the nowhere-zero frame obtained by dividing the section by $f_i$. ConsequentlyThis also includes $n=1$, when the local map is an isomorphism and the exponent is zero.

For a general complex manifold, choose a coordinate neighbourhood $U$ of $P$, with $P$ sent to $0$, and replace $U$ by the inverse image of this coordinate neighbourhood in the local blowup of a complex manifold at a point. Glue this space to $M\setminus \{P\}$ along $U\setminus \{P\}$ using the preceding biholomorphism. The resulting charts give a complex manifold $\tilde{M}$ and a holomorphic map $\varphi$; the exceptional fibre is ${\mathbb{P}}^{n-1}$ and the map is a biholomorphism off that fibre. For completeness, the local projection is proper because its inverse image over a compact subset is closed in that subset times compact Complex projective space. This ensures the gluing is Hausdorff: separate points with distinct images downstairs, and points over $P$ inside the local blowup. The atlas is second countable as well.

The top exterior power of the differential defines a global holomorphic bundle map ${\varphi }^{\ast }{K}_M\to K_{\tilde{M}}$. Equivalently, it is a section of $K_{\tilde{M}}\otimes ({\varphi }^{\ast }{K}_M{)}^{-1}$. The same local Jacobian determinant has vanishing order $n-1$ on $E$, and the differential is invertible elsewhere. Applying the holomorphic line bundle associated to a divisor construction gives the canonical bundle formula for a point blowup

A connection on a vector bundle is a complex-linear map from smooth sections to vector-bundle-valued one-forms satisfyingChoose a locally finite trivializing cover, its componentwise flat connections on a vector bundle $D_i$, and a subordinate smooth partition of unity ${\rho }_i$. The formula $D={\sum }_i{\rho }_i{D}_i$ is globally meaningful: each weighted term extends by zero outside its chart. Its Leibniz rule follows from ${\sum }_i{\rho }_i=1$, proving every smooth complex vector bundle admits a connection.

Extend the connection on a vector bundle to bundle-valued differential forms byThe curvature form of a connection is ${\Theta }_D=D^2$. Applying this twice to $fs$ shows that the $df$ terms cancel, so $D^2$ is tensorial and defines an $\mathrm{End}(E)$-valued two-form. With column coordinates for sections and connection one-form $A$, the local expression is $D=d+A\wedge$. Direct expansion on an arbitrary bundle-valued form givesThe terms containing a derivative of the argument cancel by the graded Leibniz rule. Thus Cartan curvature matrix equation isHere multiplication includes matrix multiplication and the exterior product of form entries. For a frame change $e^{\prime }=eg$, the connection one-form and curvature form of a connection transform asThe trace is consequently frame independent. Alsothe diagonal terms vanish and the off-diagonal terms cancel in pairs. Locally $\mathrm{Tr}\Theta =d\mathrm{Tr}A$, and hence $d\mathrm{Tr}\Theta =0$. The local primitives need not agree, but the two-form does. We obtain a global closed two-form $\mathrm{Tr}{\Theta }_D$.

The determinant connection on $\det E={\bigwedge }^{r}E$ is defined intrinsically bywhere the differential-form coefficient of $D{s}_j$ is placed first. In a local frame, only the diagonal components contribute to the derivative of $e_1\wedge \cdots \wedge e_r$, so its connection one-form is $\mathrm{Tr}A$. A line-bundle connection has curvature $d\mathrm{Tr}A$, because a scalar one-form wedges with itself to zero. ThereforeTo see independence of the de Rham cohomology class, write $D_1-D_0=a$, a globally defined endomorphism-valued one-form. The curvature difference formula and the same trace cancellations give the trace curvature transgressionTheir difference is globally an exact differential form, so their de Rham cohomology classes coincide.

For the Hermitian metric on a holomorphic vector bundle, use the displayed ordering of the local matrices and put $B=(\partial h)h^{-1}$. The identity $\bar{\partial }{h}^{-1}=-h^{-1}(\bar{\partial }h)h^{-1}$ givesThe plus sign comes from applying the graded Leibniz rule to the one-form $\partial h$. By the derivative formula for a determinant,The Hermitian positive-definite matrix $h$ has positive real determinant, so this logarithm is an ordinary smooth real function. The trace of Chern curvature in these conventions is thereforeIt is locally an exact differential form and in particular closed.

A holomorphic local frame change multiplies $\det h$ by $|\det g{|}^2$. A nowhere-zero holomorphic function has a local holomorphic logarithm, so $\bar{\partial }\partial \log |\det g{|}^2=0$. Thus the preceding expression for $\alpha$ is independent of the frame and glues globally. For two Hermitian metrics on a holomorphic vector bundle, the functionis globally defined because the frame-change factors cancel. Their two-forms differ by $d(\partial f)$. Hence the class of $\alpha$ is independent of the metric. The two-form is generally imaginary-valued; the metric independence statement is in complex de Rham cohomology, or equivalently for the real form $i\alpha$.

Chirality and the component expansion. A chiral superfield is constrained byUse left Grassmann derivatives. The sign from differentiating an odd factor matters:For a general superfield written in coordinates $(y,\theta ,\bar{\theta })$, the odd chain rule consequently turns the given superspace covariant derivative intoThe chirality constraint removes the explicit $\bar{\theta }$ dependence at fixed $y$. There are only two components of $\theta$, and their Grassmann algebra allows at most a quadratic monomial. Its finite chiral-superfield component expansion is thereforeHere $\phi$ is a complex scalar field, $\psi$ a Weyl spinor, and $F_{\mathrm{aux}}$ a complex auxiliary field; the last label avoids confusing it with the effective superpotential later. The factor $\sqrt{2}$ is the standard canonical component normalization. In ordinary coordinates the same statement isThis translation exponential terminates because its shift is nilpotent; it displays the full component dependence without an unstated convention for the barred spinor square.

A superspace covariant derivative obeys the graded product rule. Since an ordinary scalar chiral superfield is even, $\bar{D}({\Phi }^n)=n{\Phi }^{n-1}\bar{D}\Phi =0$. Linear combinations prove the polynomial claim. More generally, a nonsingular holomorphic function of chiral fields is chiral; inserting conjugate fields generally spoils this holomorphic closure of chiral superfields.

The superspace action. For a real Kähler potential and a holomorphic superpotential, the global chiral-field action has Lagrangian densityFull superspace integration gives a D-term, and chiral superspace integration an F-term. The action is real, and its supersymmetry variations are spacetime total derivatives. For one field, positive $K_{\phi \bar{\phi }}$ and algebraic elimination give $V=K^{\phi \bar{\phi }}|W_{\phi }{|}^2$. The Wess–Zumino model uses the canonical choice $K={\Phi }^{†}\Phi$ at tree level.

Scalar potential and the vertex. In canonical normalization, the auxiliary part of the Lagrangian density isSubstitution leaves ${\mathcal{L}}_{\mathrm{aux}}=-|W_{\phi }{|}^2$. Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potentialThis applies for complex $m,g$. In terms of canonically normalized real fields $\phi =(A+iB)/\sqrt{2}$, phases may be chosen to make $m,g$ real, in which caseThe complex-field quartic interaction is ${\mathcal{L}}_{\mathrm{int}}=-|g{|}^2{\phi }^{\ast 2}{\phi }^2$. There are two identical external legs of each field type. Differentiating with respect to those four fields, or counting the Wick attachments to the vertex, produces the factor $2!2!$:The local Feynman diagram for this quartic complex-scalar vertex in the Wess–Zumino model is

If real-field Feynman rules are preferred, the $AAAA$ and $BBBB$ vertices are $-6i|g{|}^2$, while the $AABB$ vertex is $-2i|g{|}^2$. These are the same interaction in a different component basis. They should not be confused with a convention that absorbs $2!2!$ into the coefficient of the complex quartic term.

Spurion symmetries. Treat $m,g$ as chiral spurions. An ordinary $U(1)$ acts on $\Phi ,m,g$ with charges $(1,-2,-3)$ and leaves $\theta$ neutral. An R-symmetry gives $\theta$ charge one and $\Phi ,m,g$ charges $(1,0,-1)$. Thus

Each superpotential term has ordinary charge zero and R-charge two; the chiral integration measure has R-charge minus two. In particular $m$ is neutral under the specified R-symmetry. These are formal transformations of fields and parameters together, not two exact symmetries of a theory with arbitrary fixed nontransforming numerical couplings. This Wess–Zumino spurion charge assignment is useful because it constrains possible quantum terms.

The general holomorphic form. Let $\mathcal{F}(\Phi ,m,g)$ denote the local effective superpotential, reserving $F_{\mathrm{aux}}$ for the auxiliary component. The holomorphy argument for superpotential non-renormalization permits dependence on the chiral spurions, not on their conjugates. The dimensionless combination $z=g\Phi /m$ is neutral under both formal symmetries, whereas $m{\Phi }^2$ has the required dimension and charges. Hence, for $m\ne 0$, their most general allowed form iswith a holomorphic function $f$ before perturbative regularity and matching conditions are imposed. Equivalently, a monomial $m^a{g}^b{\Phi }^c$ must obeySolving gives $a=1-b$, $c=b+2$. Thus the terms in the holomorphic expansion have the form $a_b{g}^b{m}^{1-b}{\Phi }^{b+2}$, which is precisely the expansion of the displayed function.

What is and is not renormalized. Apply the non-renormalization theorem to a local Wilsonian effective action retaining the elementary field and a nonzero infrared cutoff. Perturbative coefficients are regular as $g\to 0$ and $m\to 0$: no massless infrared modes have been integrated all the way to zero momentum. Negative powers of $g$ are incompatible with the free weak-coupling limit, and powers $b\ge 2$ would require negative powers of $m$. Only the quadratic and cubic structures survive this regularity test. Their coefficients cannot acquire a loop correction here: a quadratic term with no $g$ is the free-theory mass term, while a cubic term only linear in $g$ is already the tree interaction. A loop renormalizing that cubic term requires additional interaction insertions. Such a dependence is excluded by the holomorphic charge constraints; dependence on $g^{\ast }$ cannot repair it in a superpotential. Matching to the specified tree action fixesThe $m=0$ limit is taken in the final polynomial, not by evaluating the intermediate ratio $g\Phi /m$. The holomorphic Wilsonian superpotential and its parameters $m,g$ receive no independent perturbative vertex renormalization. Symmetries alone would only give the arbitrary function $f$; regularity and the free/tree matching are necessary to reach the stronger conclusion.

The Kähler potential is not protected by that theorem. In particular a corrected kinetic term $Z(\mu ){\Phi }^{†}\Phi$ leads to wave-function renormalization. Writing ${\Phi }_c=Z^{1/2}\Phi$ in canonical normalization givesThese holomorphic and canonically normalized superpotential couplings distinguish the two senses of “renormalized”: the physical/canonically normalized parameters can run, entirely through the common field normalization, even when the holomorphic coefficients do not. The scalar effective potential can consequently receive quantum corrections through the Kähler potential. Nor does the local perturbative statement automatically apply to infrared-singular one-particle-irreducible actions or to integrating out whole massive fields. Non-renormalization protects the local holomorphic F-term, not the complete quantum action or every physically normalized mass and coupling.

Let the regular curves be $z_j(t)$ with $z_j(0)=z_0$ and nonzero tangent vectors $a_j=z_j^{\prime }(0)$. By the chain rule, their transformed tangents are $f^{\prime }(z_0)a_j$. Multiplication by the nonzero complex number $f^{\prime }(z_0)=\rho e^{i\alpha }$ scales both tangent lengths by $\rho$ and rotates both directions by $\alpha$. In particular,Thus the oriented angle, and hence the ordinary angle, is unchanged. This proves that the holomorphic function is a local conformal map at $z_0$; the nonzero derivative prevents a degenerate tangent.

A suitable conformal inversion of a quadrant isIf $z=r{e}^{i\theta }$ with $0<r<1$ and $\pi /2<\theta <\pi$, then $f(z)=r^{-1}{e}^{i(\pi -\theta )}$ has modulus greater than one and argument strictly between zero and $\pi /2$. The inverse is again $z=-1/w$, so every point of the desired exterior quadrant is attained uniquely. The origin is outside the open source region, and $f^{\prime }(z)=1/z^2\ne 0$ there.

Use the normalization in which a projective line has area $2\pi$. On the affine chart of Complex projective space where $Z_0\ne 0$, set $w_j=Z_j/Z_0$ and $S=1+{\sum }_j|w_j{|}^2$. Define the Fubini-Study form byOn another chart the corresponding potential differs by $\log |h{|}^2$ for a nowhere-zero holomorphic function $h$, whose $\partial \bar{\partial }$ is zero. Thus these local differential forms glue to a global form. It is real and closed. Its Hermitian coefficient matrix is positive definite, since for $v\ne 0$ the Cauchy-Schwarz inequality givesHence it is a Kähler form and in particular a symplectic form.

On a complex projective line with $w=x+iy$ this is $2(1+|w{|}^2{)}^{-2}dx\wedge dy$, whose total area is $2\pi$. Thus $[{\omega }_{\mathrm{FS}}/(2\pi )]$ is the positive generator, equivalently $c_1(\mathcal{O}(1))$. Another common normalization uses half this form and gives line area $\pi$; the scale must be carried consistently into symplectic reduction.

Cover the product by $U_0={\mathbb{C}}_z\times {\mathbb{C}}_w$ and $U_{\infty }={\mathbb{C}}_{\zeta }\times {\mathbb{C}}_w$, with $\zeta =1/z$ on their intersection ${\mathbb{C}}^{\ast }\times \mathbb{C}$. The permitted vanishing and the Dolbeault theorem make this an acyclic cover for both $\mathcal{O}$ and ${\Omega }^2$. The acyclic cover theorem lets its two-term Čech complex compute the cohomology. In particular, all groups with $q\ge 2$ vanish.

For $p=0$, a global holomorphic function is constant on each compact complex projective line fibre, by the maximum modulus principle. Its remaining dependence on $w$ is entire. Hence $H_{\bar{\partial }}^{0,0}=\mathcal{O}(\mathbb{C})$. For the first Čech group, a function on the intersection has a Laurent seriesEach coefficient is entire in $w$ by its Cauchy integral formula. The nonnegative powers extend to $U_0$, and the negative powers extend to $U_{\infty }$ in coordinate $\zeta$. These two series converge locally uniformly with the parameter $w$, by the usual Laurent estimates on compact parameter sets. Thus every intersection function is a Čech coboundary and $H_{\bar{\partial }}^{0,1}=0$.

For $p=2$, write a two-form on the intersection as $F(z,w)dz\wedge dw$. The other chart hasForms extending from $U_0$ have coefficient powers $j\ge 0$; those extending from $U_{\infty }$ have powers $j\le -2$. A globally defined two-form would need to have both types of expansion, so it is zero. In the first Čech quotient, precisely the $z^{-1}$ term remains, and its coefficient is an arbitrary entire function of $w$. ConsequentlyThe second nonzero group is represented in Čech cohomology by $a(w)z^{-1}dz\wedge dw$. This explicit residue description is the Dolbeault cohomology of the projective line times the affine line; it also identifies that group naturally with the holomorphic one-forms on the affine factor.

In a local trivialization, identify the lines in each fibre with $U_i\times {\mathbb{P}}^1$. On overlaps glue byThis action is well defined because $g_{ij}(x)$ is invertible and scaling $v$ does not change the resulting line. It is holomorphic: in affine projective coordinates it is a ratio of holomorphic functions on the open set where its denominator is nonzero. The transition maps satisfy the cocycle condition and have holomorphic inverses. They give the holomorphic projectivization by lines its complex-manifold atlas, of dimension ${\dim }_{\mathbb{C}}X+1$, on the usual projective-bundle topology. Points over different base points are separated by base neighborhoods; points over the same base point are separated inside a common local product chart. A countable trivializing cover and the standard charts of the complex projective line give second countability.

The local projections agree, defining a holomorphic map $p:\mathbb{P}(E)\to X$ whose fibre is $\mathbb{P}(E_x)\cong {\mathbb{P}}^1$.

Define the relative tautological line bundle $S\subset p^{\ast }E$ by $S_l=l$. Its local construction is holomorphic, and its restriction to a fibre is ${\mathcal{O}}_{{\mathbb{P}}^1}(-1)$. The required relative hyperplane line bundle is thereforeThis fixes the lines convention for projectivization and the sign of the fibre degree.

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 weights of $E_4^3$ and $\Delta$ agree, so their ratio is invariant under the modular group. Nonvanishing of the modular discriminant on the half-plane makes the ratio holomorphic there. At an elliptic point, an invariant holomorphic function has a power series in the quotient coordinate, so the ratio descends holomorphically. At the unique modular cusp its expansion isThus it is a meromorphic function on the compact Riemann surface with precisely one pole, of order one. The degree of a nonconstant meromorphic map to the sphere equals its total pole order. It therefore has degree one, hence is a biholomorphism:This is the single-pole criterion for a spherical coordinate.

The matrix $\left(\begin{array}{cc}0& -1\\ 1& 1\end{array}\right)$ fixes $\omega$. Weight-four transformation gives $E_4(\omega )=(\omega +1{)}^4{E}_4(\omega )$, and $(\omega +1{)}^4\ne 1$. Hence $E_4(\omega )=0$ and $j(\omega )=0$. Since $j$ is a degree-one coordinate, this is a simple zero on the quotient surface. Pulled back to the half-plane it has order three, by the analytic ramification index in part (a).