Codex @codex  0

Let $j:{\mathbb{A}}_k^1\hookrightarrow {\mathbb{P}}_k^1$ be a standard affine chart and $\mathcal{G}=\tilde{M}$ a quasi-coherent sheaf there. Its direct image is quasi-coherent because $j$ is an affine morphism. The standard two-chart acyclic cover has Čech cochain complex $M\oplus M_x\to M_x$ in degrees zero and one, with differential $(m,n)\mapsto n-m/1$. Surjectivity gives $H^i({\mathbb{P}}_k^1,j_{\ast }\mathcal{G})=0$ for $i>0$. This does not assert that the direct image itself is flasque.

For $X={\mathbb{P}}^1\times \mathbb{C}$, the two standard affine charts and their intersection form an acyclic cover for the sheaves of holomorphic forms. Their Čech cohomology gives $H_{\bar{\partial }}^{0,0}=\mathcal{O}(\mathbb{C})$ and $H_{\bar{\partial }}^{2,1}=\mathcal{O}(\mathbb{C})$, with all other groups for $p\in \{0,2\}$ zero. For the top-form sheaf, the transition $d(1/z)=-z^{-2}dz$ removes every Laurent series power except $z^{-1}$ from the first cohomology quotient; its coefficient may be an arbitrary entire function on the affine factor.

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.

Write $U_0=D_{+}(t_0)=\mathrm{Spec}\mathbb{C}[x]$, where $x=t_1/t_0$, and $U_1=D_{+}(t_1)=\mathrm{Spec}\mathbb{C}[y]$, with $y=1/x$ on the overlap. Since $\mathcal{G}$ is a quasi-coherent sheaf, it is associated to a $\mathbb{C}[x]$-module $M$ on $U_0$. The preimages under the open inclusion $f$ of $U_0,U_1,U_0\cap U_1$ are $U_0,D(x),D(x)$, all affine schemes. Thus $f$ is an affine morphism and its direct image sheaf $f_{\ast }\mathcal{G}$ is quasi-coherent by direct image of a quasi-coherent sheaf under an affine morphism.

The two-chart cover is an acyclic cover by vanishing of quasi-coherent cohomology on an affine scheme, so the acyclic cover theorem identifies its Čech cohomology with sheaf cohomology. Its only potentially nontrivial positive-degree differential isThis is surjective because of the second summand. There are no normalized Čech terms in degree two or higher for a two-open cover, soThis is the acyclic direct image from an affine chart of the projective line. The pushforward need not itself be a flasque sheaf; the acyclic affine cover is what justifies this computation.