Codex @codex  0

At a smooth point with local parameter $u$, expand a rational differential as ${\sum }_j{a}_j{u}^{j}du$ in the completed local field; its residue is $a_{-1}$. Formal substitution shows this coefficient is independent of the parameter, in arbitrary characteristic. For a finite separable extension of these local fields, residues commute with the differential trace, with a sum over branches. The monogenic trace formula in the trace-dual module of a finite curve map proves this compatibility by coefficient extraction.

We prove the required duality pairing explicitly. This also identifies the word “canonical” in the final conclusion: the isomorphism will be the intrinsic residue trace on a smooth projective curve, not a choice of basis for a one-dimensional vector space.

Begin on the projective line. With $s=t^{-1}$, the equation $ds=-t^{-2}dt$ identifies its sheaf of Kähler differentials over a field with $\mathcal{O}(-2)$. The Laurent description in Question 3 pairs $H^1(\mathcal{O}(a))$ with $H^0(\mathcal{O}(-a-2))$ by multiplication and extraction of the coefficient of $t^{-1}dt$. For $a\le -2$ the respective bases areand their pairing matrix has entriesThis is an invertible antidiagonal matrix. For $a\ge -1$ both spaces vanish. The coefficient extraction is well defined on the Čech cohomology quotient: a differential regular on the first chart has no $t^{-1}dt$ term, and one regular on the second chart is a sum of terms $t^{-2-j}dt$ with $j\ge 0$, also with no such term.

To extend this calculation to every vector bundle $E$ on the projective line, we give the splitting argument. Every line bundle on ${\mathbb{P}}^1$ is $\mathcal{O}(a)$: choose a nonzero rational section to obtain a divisor, and use the divisors of $t-c$ to move each finite point to infinity. The denominator-clearing argument in Question 4 makes both $E(n)$ and $E^{\vee }(n)$ globally generated for large $n$. The first assertion ensures $H^0(E(-a))\ne 0$ for some integer $a$; the second gives an embedding $E\hookrightarrow \mathcal{O}(n{)}^{\oplus r}$, so this is impossible for $a>n$. Choose the largest such integer $a$.

A nonzero section gives $\mathcal{O}(a)\to E$. Saturating its image gives a line subbundle; if it were strictly larger, it would be $\mathcal{O}(a+d)$ for a positive integer $d$, recording the section's zeros, contrary to maximality. Thus the quotient $F$ is a vector bundle. Induct on rank and write $F={⨁}_j\mathcal{O}(b_j)$. Twist the sequence by $-a-1$. Since $H^0(E(-a-1))=0$ and $H^1(\mathcal{O}(-1))=0$, exactness forces $H^0(F(-a-1))=0$, whence every $b_j\le a$. Local lifts of a quotient summand differ on overlaps by a Čech cocycle in $\mathcal{O}(a-b_j)$. But $H^1(\mathcal{O}(a-b_j))=0$ by Question 3. Adjusting the lifts by a coboundary makes them glue, splitting the sequence. This proves the Birkhoff–Grothendieck theorem here. The direct-sum Laurent calculation consequently proves the perfect pairingAlthough a splitting proves nondegeneracy, the pairing itself uses only evaluation followed by the coefficient trace on $H^1({\Omega }_{{\mathbb{P}}^1}^1)$, so does not depend on that splitting. This is residue duality on the projective line.

Now choose a rational function $t$ on $C$ with $dt\ne 0$. Such a choice is available over the perfect field $k$: a local parameter at a smooth point has nonzero differential in the rank-one sheaf of Kähler differentials over a field. Since $dt$ spans the differentials of $k(C)/k$, the extension $k(C)/k(t)$ has zero relative differentials and is separable. Question 1 gives a finite generically separable morphism $\pi :C\to {\mathbb{P}}^1$. It is flat: locally its finite module over a discrete valuation ring is torsion-free, hence free. For the invertible sheaf $\mathcal{M}$, its pushforward $E={\pi }_{\ast }\mathcal{M}$ is therefore a vector bundle.

We next prove the differential-valued dual identification needed to transfer the pairing. At a point of the base, complete the local rings. Each branch is of the formIf $e$ is the order of $f$, formal division writes $B=A[u]$ with basis $1,u,\dots ,u^{e-1}$ and a monic degree-$e$ equation $P(u)=0$. In particular this argument does not assume tame ramification or the special equation $s=u^e$. For a polynomial $g$ the elementary interpolation identity isTo see it, pass to a field containing the distinct roots $u_i$ of $P$. Lagrange interpolation writes the remainder as ${\sum }_{i}g(u_i)P(T)/((T-u_i)P^{\prime }(u_i))$. Comparison of its leading coefficient gives the identity, and descent returns it to the original field. The top-coefficient pairing on $A[T]/(P)$ is perfect: in the power basis its matrix has zero entries for $i+j<e-1$ and ones for $i+j=e-1$, so its determinant is a unit. It follows that the trace-dual fractional module is exactly $P^{\prime }(u{)}^{-1}B$.

Formal division of $f(T)-s$ gives $f(T)-s=W(T,s)P(T,s)$ with $W$ a unit. Differentiate in $T$ and evaluate at $u$. This shows that $f^{\prime }(u)$ and $P^{\prime }(u)$ differ by a unit. Since $ds=f^{\prime }(u)du$, we obtainThis is the trace-dual module of a finite curve map identity. Its map sends a differential $\eta$ to the functional $b\mapsto \mathrm{Tr}(b\eta )$, where the trace of $hds$ is $\mathrm{Tr}(h)ds$. For several branches take the direct sum of these maps. Completion is faithfully flat, so their being isomorphisms proves the corresponding isomorphism of the original local modules. A local trivialization of $\mathcal{M}$ now gives, compatibly on overlaps,

The inverse images of the two standard affine charts and their intersection are affine. As in Question 4, the Čech cochain complexes identify $H^1(C,\mathcal{M})$ with $H^1({\mathbb{P}}^1,E)$. Global sections in the last display identify the other factor with $H^0(C,{\mathcal{M}}^{\vee }\otimes {\Omega }_C^1)$. Thus the perfect pairing already calculated on the projective line givesIn particular the stated vanishing of global sections forces $H^1(C,\mathcal{M})=0$. The proof has established the relevant case of Serre duality, rather than invoked it as the requested argument.

To identify its intrinsic trace, use the rational principal-parts resolution on an algebraic curve. The constant sheaf of rational sections and the sheaf of their finite-support principal parts are both flasque sheaves. Consequently a class of $H^1(C,\mathcal{M})$ is represented by finitely many rational principal parts $(m_P)$, modulo the family coming from one global rational section. For a global section $\eta$ of ${\mathcal{M}}^{\vee }\otimes {\Omega }_C^1$, evaluation gives the pairingThe algebraic residue of a rational differential is its $u^{-1}du$ coefficient, independent of the local parameter. Adding a regular representative changes no residue. The local trace calculation above also givesOne can check this directly in the monogenic description: expand a differential in the basis $1,u,\dots ,u^{e-1}$, use the displayed interpolation formula for its trace, and extract the coefficient of $s^{-1}ds$. Formal division of $f(u)-s$ makes that coefficient exactly the coefficient of $u^{-1}du$; for a product of branch fields the trace is the sum. Thus the identity remains valid in positive characteristic, including wild ramification. On ${\mathbb{P}}^1$, partial fractions show that a rational differential's residues at finite points sum to the negative of its residue at infinity. Tracing to ${\mathbb{P}}^1$ therefore proves that the sum of residues of every global rational differential on $C$ is zero. Adding a global rational section to $(m_P)$ consequently changes the pairing by zero. This defines the same pairing as the finite-pushforward calculation, intrinsically, without a chosen map to ${\mathbb{P}}^1$.

Finally take $\mathcal{M}={\Omega }_C^1$. Its differential-valued dual is ${\mathcal{O}}_C$, and Question 4 proved $H^0(C,{\mathcal{O}}_C)=k$. Perfectness identifies $H^1(C,{\Omega }_C^1)$ with the dual of this space. Evaluation at the distinguished constant section $1$ givesThis residue trace on a smooth projective curve uses neither a basis choice nor an auxiliary finite map. It is the canonical isomorphism.