Global Koppelman formulas on (singular) projective varieties

TL;DR

This paper develops explicit global Koppelman formulas for smooth and singular projective varieties, enabling new representations and applications in complex geometry, especially relating to cohomology vanishing and regularity conditions.

Contribution

It constructs intrinsic Koppelman formulas on projective varieties, including singular cases, for forms with values in line bundle powers, extending classical results to more general settings.

Findings

Explicit formulas for smooth forms on projective varieties.

Extension of formulas to singular, non-reduced varieties.

Representation of cohomology vanishing conditions in terms of regularity.

Abstract

Let $i\colon X\to \Pk^N$ be a projective manifold of dimension $n$ embedded in projective space $\Pk^N$, and let $L$ be the pull-back to $X$ of the line bundle $\Ok_{\Pk^N}(1)$. We construct global explicit Koppelman formulas on $X$ for smooth $(0,*)$-forms with values in $L^s$ for any $s$. %The formulas are intrinsic on $X$. The same construction works for singular, even non-reduced, $X$ of pure dimension, if the sheaves of smooth forms are replaced by suitable sheaves $\A_X^*$ of $(0,*)$-currents with mild singularities at $X_{sing}$. In particular, if $s\ge \reg X -1$, where $\reg X$ is the Castelnuovo-Mumford regularity, we get an explicit %%% representation of the well-known vanishing of $H^{0,q}(X, L^{s-q})$, $q\ge 1$. Also some other applications are indicated.

Equations

$$\varphi (z)=\bar{\partial }\mathcal{K}\varphi +\mathcal{K}(\bar{\partial }\varphi )+\mathcal{P}\varphi$$

$$0\to \mathcal{O}\to {\mathcal{A}}_X^0\stackrel{\bar{\partial }}{\to }{\mathcal{A}}_X^1\stackrel{\bar{\partial }}{\to }\cdots$$

$$H^k(X,L^s)\simeq \frac{\mathrm{Ker}({\mathcal{A}}^k(X,L^s)\stackrel{\bar{\partial }}{\to }{\mathcal{A}}^{k+1}(X,L^s))}{\mathrm{Im}({\mathcal{A}}^{k-1}(X,L^s))\stackrel{\bar{\partial }}{\to }{\mathcal{A}}^k(X,L^s))},k\ge 1.$$

$$\mathcal{K}:{\mathcal{A}}^{q+1}(X,L^s)\to {\mathcal{A}}^q(X,L^s),\mathcal{P}:{\mathcal{A}}^q(X,L^s)\to {\mathcal{E}}^{0,q}(X,L^s)$$

$$\mathcal{K}\varphi (z)={\int }_{X}k(\zeta ,z)\wedge \varphi (\zeta ),z\in X_{reg},\mathcal{P}\varphi (z)={\int }_{X}p(\zeta ,z)\wedge \varphi (\zeta ),z\in X,$$

$$0\to M_{N_0}\stackrel{a_{N_0}}{⟶}\dots \stackrel{a_3}{⟶}{M}_2\stackrel{a_2}{⟶}{M}_1\stackrel{a_1}{⟶}{M}_0$$

$$M_0=S,M_k=S(-d_k^1)\oplus \cdots \oplus S(-d_k^{r_k}),$$

$$\text{deg}{a}_k^{ij}=d_k^j-d_{k-1}^i$$

$$\mathrm{reg}X=\underset{k,i}{\max }(d_k^i-k)+1,$$

$$H^q(X,L^{s-q})=0,s\ge \mathrm{reg}X-1,q\ge 1,$$

$$\mathcal{O}({\mathbb{P}}^N,\mathcal{O}(s))\to \mathcal{O}(X,L^s)$$

$$\eta =2\pi i\sum _0^N{z}_i\frac{\partial }{\partial {\zeta }_i},$$

$${\delta }_{\eta }:{\mathcal{C}}^{\ell +1,q}({\mathcal{O}}_{\zeta }(k)\otimes {\mathcal{O}}_z(j))\to {\mathcal{C}}^{\ell ,q}({\mathcal{O}}_{\zeta }(k-1)\otimes {\mathcal{O}}_z(j+1)),$$

$${\mathcal{L}}^{\nu }(L)=\underset{j}{⨁}{\mathcal{C}}^{j,j+\nu }({\mathcal{O}}_{\zeta }(j)\otimes {\mathcal{O}}_z(-j)\otimes L).$$

$${\nabla }_{\eta }={\delta }_{\eta }-\bar{\partial },$$

$${\nabla }_{\eta }(\varphi \wedge \psi )={\nabla }_{\eta }\varphi \wedge \psi +(-1{)}^{\text{deg}\varphi }\varphi \wedge {\nabla }_{\eta }\psi .$$

$$b=\frac{|\zeta {|}^2\bar{z}\cdot d\zeta -(\bar{z}\cdot \zeta )\bar{\zeta }\cdot d\zeta }{|\zeta {|}^2|z{|}^2-|\bar{\zeta }\cdot z{|}^2}$$

$$B=\frac{b}{{\nabla }_{\eta }b}=\frac{b}{1-\bar{\partial }b}=b+b\wedge \bar{\partial }b+\cdots +b\wedge (\bar{\partial }b{)}^{N-1}$$

$${\nabla }_{\eta }B=1-[\Delta {]}_{d\zeta },$$

$$\eta =2\pi i\sum _1^N({\zeta }_j^{\prime }-z_j^{\prime })\frac{\partial }{\partial {\zeta }_j^{\prime }}.$$

$${\nabla }_{\eta }(g\wedge B)=(g-[\Delta {]}_{d\zeta })I_F.$$

$$\bar{\partial }(g\wedge B{)}_N=([\Delta {]}_{d\zeta }-g_N)I_F.$$

$$\varphi (z)={\bar{\partial }}_z{\int }_{\zeta }(g\wedge B{)}_N\wedge \varphi +{\int }_{\zeta }(g\wedge B{)}_N\wedge \bar{\partial }\varphi +{\int }_{\zeta }{g}_N\wedge \varphi .$$

$$\alpha ={\alpha }_{0,0}+{\alpha }_{1,1}=\frac{z\cdot \bar{\zeta }}{|\zeta {|}^2}-\bar{\partial }\frac{\bar{\zeta }\cdot d\zeta }{2\pi i|\zeta {|}^2}$$

$${\nabla }_{\eta }\alpha =0.$$

$$\varphi (z)={\bar{\partial }}_z{\int }_{\zeta }({\alpha }^{\ell +N}\wedge B{)}_N\wedge \varphi +{\int }_{\zeta }({\alpha }^{\ell +N}\wedge B{)}_N\wedge \bar{\partial }\varphi +{\int }_{\zeta }({\alpha }^{N+\ell }{)}_N\wedge \varphi .$$

$$\tau =\frac{d\bar{z}\cdot d\zeta }{2\pi i|z{|}^2}=\frac{{\sum }_0^{N}d{\bar{z}}_j\wedge d{\zeta }_j}{2\pi i|z{|}^2}.$$

$$\beta=2\pi i\Big{[}\delta_{\zeta}\frac{\delta_{\bar{z}}\tau}{1-\tau}\Big{]}=2\pi i\Big{[}\frac{\delta_{\zeta}\delta_{\bar{z}}\tau}{1-\tau}+\frac{\delta_{\zeta}\tau{\wedge}\delta_{\bar{z}}\tau}{(1-\tau)^{2}}\Big{]}$$

$$\beta =\frac{\bar{z}\cdot \zeta }{|z{|}^2}+\frac{\bar{z}\cdot \zeta }{|z{|}^2}\frac{d\bar{z}\cdot d\zeta }{2\pi i|z{|}^2}+\frac{\bar{z}\cdot d\zeta \wedge \zeta \cdot d\bar{z}}{2\pi i|z{|}^4}+\cdots ,$$

$${\nabla }_{\eta }\frac{{\delta }_{\bar{z}}\tau }{1-\tau }=1.$$

Full text

The author was partially supported by the Swedish Research Council

1. Introduction

During the last decade global Koppelman formulas for $\bar{\partial}$ on various special projective varieties have been constructed, see, e.g., [17, 18, 19, 22, 23, 24]. The aim of this paper is to present a quite general explicit construction of intrinsic111Here ”intrinsic” means that the operators in the formula only depend on intrinsic forms on $X$. Koppelman formulas on any projective, possibly non-reduced, subvariety $i\colon X\to{\mathbb{P}}^{N}$ of pure dimension $n$.

Let us first assume that $X$ is smooth; even in this case such global formulas are previously known only in case $X$ is (locally) a complete intersection in ${\mathbb{P}}^{N}$. Let $L\to X$ be the restriction of the ample line bundle ${\mathcal{O}}_{{\mathbb{P}}^{N}}(1)$ to $X$, and let ${\mathcal{E}}_{X}^{0,q}(L^{r})$ denote the sheaf of smooth $(0,q)$-forms on $X$ with values in $L^{r}$. We introduce integral operators ${\mathcal{K}}\colon{\mathcal{E}}^{0,q+1}(X,L^{s})\to{\mathcal{E}}^{0,q}(X_{reg},L^{s})$ and ${\mathcal{P}}\colon{\mathcal{E}}^{0,q}(X,L^{s})\to{\mathcal{E}}^{0,q}(X,L^{s})$ such that the Koppelman formula

[TABLE]

holds on $X$. In some situations, see below, we can choose the operators so that ${\mathcal{P}}\phi=0$; if $\bar{\partial}\phi=0$, then $\psi={\mathcal{K}}\phi$ is a smooth solution to $\bar{\partial}\psi=\phi$ on $X$. In certain cases we can choose ${\mathcal{P}}$ such that ${\mathcal{P}}\colon{\mathcal{E}}^{0,0}(X,L^{s})\to{\mathcal{O}}({\mathbb{P}}^{N},{\mathcal{O}}(s))$. Then ${\mathcal{P}}\phi$ is a holomorphic extension to ${\mathbb{P}}^{N}$ of a holomorphic section $\phi$ of $L^{r}$ on $X$. We get no new existence results; the novelty is that we have explicit formulas for the global solutions and for the holomorphic extensions. The operators ${\mathcal{K}}$ are given by kernels $k(\zeta,z)$ that are defined on $X\times X$ and integrable in $\zeta$ for any $z\in X$. Simply speaking the operators locally behave like standard integral operators for $\bar{\partial}$ in ${\mathbb{C}}^{n}$; in particular they extend to $L^{p}$-spaces etc and all classical local norm estimates hold.

Let us now turn our attention to the case when $i\colon X\to{\mathbb{P}}^{N}$ is a subvariety of pure dimension $n$. In case $X$ is reduced, there are well-known definitions of smooth forms and currents on $X$, cf., Section 3. In [5] are introduced reasonable definitions of sheaves ${\mathcal{E}}^{0,*}_{X}$ of smooth $(0,*)$-forms and suitable sheaves of currents even in the non-reduced case, see Section 6 below. In [8] and [5] are introduced, by means of local Koppelman formulas, fine sheaves ${\mathcal{A}}^{k}_{X}$ (in fact, modules over ${\mathcal{E}}^{0,*}_{X}$) of $(0,q)$-currents on $X$, or any pure-dimensional analytic space, with the following properties: There are sheaf inclusions ${\mathcal{E}}_{X}^{0,q}\subset{\mathcal{A}}_{X}^{q}$ with equality on $X_{reg}$, whereas ${\mathcal{A}}_{X}^{q}$ have “mild” singularities at $X_{sing}$, and

[TABLE]

is a (fine) resolution of the structure sheaf ${\mathcal{O}}_{X}$ of holomorphic functions on $X$. By the abstract de Rham theorem we therefore have canonical isomorphisms

[TABLE]

In this paper we construct integral operators

[TABLE]

such that again the Koppelman formula (1.1) holds on $X$. In the reduced case, the operators ${\mathcal{K}}$ are given by kernels $k(\zeta,z)$ that are defined on $X_{reg}\times X$, locally integrable in $\zeta$ for $z\in X_{reg}$, ${\mathcal{P}}$ are given by kernels $p(\zeta,z)$ that are smooth on $X_{reg}\times X$, and the integrals

[TABLE]

exist as principal values at $X_{sing}$. For the non-reduced case, see Section 6. As in the smooth case, in good situations ${\mathcal{P}}\phi$ vanishes so we get explicit solutions to $\bar{\partial}\psi=\phi$, and extensions of holomorphic sections from $X$ to ${\mathbb{P}}^{N}$.

Remark 1*.*

It was proved already in [21] that if $X$ is a local reduced complete intersection and $\phi$ is a smooth $\bar{\partial}$-closed form, then there is locally a smooth solution to $\bar{\partial}\psi=\phi$ on $X_{reg}$. The case with a general $X$ was proved only in [7]. The analogous result for a local non-reduced space is a special case of the main result in [5]. It is known that in general there is no solution that is smooth across $X_{sing}$, see, e.g., [8, Example 1.1]. ∎

Let $J_{X}$ be the homogeneous ideal in the graded ring $S={\mathbb{C}}[z_{0},\ldots,z_{N}]$ associated with $X$. Let $S(-r)$ be the module $S$ but with the grading shifted by $r$. There is a free graded resolution

[TABLE]

of the homogeneous module $M_{J}:=S/J_{X}$; i.e.,

[TABLE]

$a_{k}=(a_{k}^{ij})$ are matrices of homogeneous forms with

[TABLE]

(1.4) is exact, and the cokernel of the right-most mapping is precisely $S/J_{X}$. Since [math] is not an associated prime ideal of $J_{X}$ it follows from [11, Corollary 20.14] that one can choose (1.4) such that $N_{0}\leq N$. Our integral formulas are explicitly constructed out of a resolution (1.4).

Recall that the (Castelnuovo-Mumford) regularity of $X$ is defined as the regularity of the ideal $J_{X}$ which turns out to be $1$ plus the regularity of the module $S/J_{X}$, so that

[TABLE]

if (1.4) is a minimal free resolution of $S/J_{X}$, cf., [12, Ch. 4]. It is well-known, see, e.g., [12, Proposition 4.16], that

[TABLE]

and that the natural mapping

[TABLE]

is surjective for $s\geq{\rm reg\,}X-1$.

In [6, Example 3.4] is described an extension operator that provides an explicit proof of surjectivity of (1.7), in case $X$ is reduced. The non-reduced case is obtained in precisely the same way following the ideas in [5]. By appropriate choices of operators ${\mathcal{K}}$ we can give an explicit proof of the vanishing of (1.6), provided that $X$ is irreducible. That is, we have

Theorem 1.1**.**

Let $X$ be a, possibly non-reduced, irreducible, subvariety of ${\mathbb{P}}^{N}$ of pure dimension $n$ and assume that $s\geq{\rm reg\,}X-1$. For each $q\geq 1$ there is an integral operator ${\mathcal{K}}\colon{\mathcal{A}}^{q}(X,L^{s-q})\to{\mathcal{A}}^{q-1}(X,L^{s-q})$ such that $\bar{\partial}{\mathcal{K}}\phi=\phi$ if $\phi\in{\mathcal{A}}^{q}(X,L^{s-q})$ and $\bar{\partial}\phi=0$.

In fact, for fixed $q$ it is enough that $s\geq\max_{\ell\leq N-q}d_{\ell}^{i}-(N-q);$ this follows from the proof below. When $X$ is not irreducible a slightly less sharp version of the theorem still holds, see Proposition 7.2.

Koppelman formulas on ${\mathbb{P}}^{n}$ were found by Götmark, [17], and on more general symmetric spaces in [18]. In [20] explicit formulas for the $\bar{\partial}$-equation are used on a smooth Riemann surface embedded in ${\mathbb{P}}^{2}$, for $L^{1}$-estimates. Similar formulas were also introduced in [19], cf., Section 8.2 below. Koppelman formulas for global, even non-reduced, complete intersections are constructed in the recent papers [23, 24], cf., Section 8 below.

As already mentioned, the main novelty in this paper is Koppelman formulas for an arbitrary embedded projective variety $X$. We think that these formulas will be of interest even when $X$ is smooth. We prove Theorem 1.1 as an illustration of the utility and indicate some other applications in Section 7.1. We hope that our Koppelman formulas will be useful for other purposes as well.

In Section 2 we describe, based on [17, 4, 6], how one can obtain weighted integral formulas on ${\mathbb{P}}^{N}$. We need some elements from residue theory that we have collected in Section 3. In Sections 4 and 5 we then describe the construction of our Koppelman formulas on a pure-dimensional subvariety. In order to keep the technicalities on a reasonable level, we restrict here to the case where $X$ is reduced. The reader who is mainly interested in the smooth case can just think that $X_{sing}$ is empty, in that way avoiding a lot of technicalities. In Section 6 we discuss the non-reduced case.

Remark 2*.*

The local study of the $\bar{\partial}$-equation on non-smooth spaces by $L^{2}$-methods was initiated by Pardon and Stern, [31], [32],[33], and has been developed by a number of authors since then, notably Fornaess, Gavosto, Ovrelid, Ruppenthal, Vassiliadou, see., e.g., [14], [15], [16], [28], [29], [30], [34], [35].

The equation has also been studied by local and semi-global integral formulas in, e.g., [7, 8], [21], [36], [25], [26]. ∎

Acknowledgement. The basic idea of this paper was used by P. Helgesson already in 2010; he skillfully worked out the details in the special but nontrivial case when $X$ is a smooth Riemann surface in ${\mathbb{P}}^{2}$, [19]. We are grateful to Helgesson for valuable discussions on these matters. We also would like to thank the referee for careful reading and pointing out several mistakes.

2. Integral representation on ${\mathbb{P}}^{N}$

We first describe how one can generate weighted Koppelman formulas on ${\mathbb{P}}^{N}$ for sections of a holomorphic vector bundle $F\to{\mathbb{P}}^{N}$. This is an adaption of an idea from [1] to ${\mathbb{P}}^{N}$, following [4, 6]; see also [17].

Let $\pi\colon{\mathbb{C}}^{N+1}_{z}\setminus\{0\}\to{\mathbb{P}}^{N}_{z}$ be the natural projection and let ${\mathcal{U}}\subset{\mathbb{P}}^{N}$ be an open set. Recall that a form $\xi$ in $\pi^{-1}{\mathcal{U}}\subset{\mathbb{C}}^{N+1}_{z}\setminus\{0\}$ is projective, i.e., the pull-back of a form $\xi$ in ${\mathcal{U}}$, if and only if $\xi$ is homogeneous and $\delta_{z}\xi=\delta_{\bar{z}}\xi=0$, where $\delta_{z}$ and $\delta_{\bar{z}}$ are interior multiplication by $\sum_{0}^{N}z_{j}(\partial/\partial z_{j})$ and its conjugate, respectively. We will identify forms in ${\mathcal{U}}$ by projective forms in $\pi^{-1}{\mathcal{U}}$.

Let ${\mathcal{O}}_{z}(k)$ denote the pullback of ${\mathcal{O}}(k)\to{\mathbb{P}}^{N}_{z}$ to ${\mathbb{P}}^{N}_{\zeta}\times{\mathbb{P}}^{N}_{z}$ under the projection ${\mathbb{P}}^{N}_{\zeta}\times{\mathbb{P}}^{N}_{z}\to{\mathbb{P}}^{N}_{z}$ and define ${\mathcal{O}}_{\zeta}(k)$ analogously.

*Throughout this paper we will only consider forms and currents that only contain holomorphic differentials with respect to $\zeta$, whereas anti-holomorphic differentials with respect to both $z$ and $\zeta$ may occur. *

Notice that

[TABLE]

is a section of ${\mathcal{O}}_{z}(1)\otimes{\mathcal{O}}_{\zeta}(-1)\otimes T_{1,0}({\mathbb{P}}^{N}_{\zeta})$ on ${\mathbb{P}}^{N}_{\zeta}\times{\mathbb{P}}^{N}_{z}$. Contraction $\delta_{\eta}$ by $\eta$ defines a mapping

[TABLE]

where ${\mathcal{C}}^{\ell,q}({\mathcal{O}}_{\zeta}(k)\otimes{\mathcal{O}}_{z}(j))$ denotes the sheaf of currents of bidegree $(\ell,q)$ that take values in ${\mathcal{O}}_{\zeta}(k)\otimes{\mathcal{O}}_{z}(j)$. Notice that $\delta_{\eta}$ only affects holomorphic differentials with respect to $\zeta$. Given a vector bundle $L\to{\mathbb{P}}^{n}_{\zeta}\times{\mathbb{P}}^{n}_{z}$, let

[TABLE]

If

[TABLE]

then $\nabla_{\eta}:{\mathcal{L}}^{\nu}(L)\to{\mathcal{L}}^{\nu+1}(L)$ and $\nabla_{\eta}^{2}=0$. Furthermore, if $L^{\prime}$ is a line bundle and $\phi,\psi$ are sections of ${\mathcal{L}}^{\nu}(L)$ and ${\mathcal{L}}^{\nu^{\prime}}(L^{\prime})$, respectively, then $\phi{\wedge}\psi$ is a section of ${\mathcal{L}}^{\nu+\nu^{\prime}}(L\otimes L^{\prime})$, and

[TABLE]

Notice that

[TABLE]

is a $(1,0)$-form on ${\mathbb{P}}^{N}_{\zeta}\times{\mathbb{P}}^{N}_{z}\setminus\Delta$ with values in ${\mathcal{O}}_{\zeta}(1)\otimes{\mathcal{O}}_{z}(-1)$ such that $\delta_{\eta}b=1$; here $\Delta$ is the diagonal in ${\mathbb{P}}^{N}_{\zeta}\times{\mathbb{P}}^{N}_{z}$.

Lemma 2.1**.**

The form

[TABLE]

is an integrable section of ${\mathcal{L}}^{-1}$ and

[TABLE]

where the last term is the component of the current of integration $[\Delta]$ that has full degree $N$ in $d\zeta$.

Proof.

Let us consider the affinization where $\zeta_{0}\neq 0$. In the affine coordinates $\zeta^{\prime}_{j}=\zeta_{j}/\zeta_{0}$, $j=1,\ldots,N$, and the frame $z_{0}/\zeta_{0}$ for ${\mathcal{O}}_{z}(1)\otimes{\mathcal{O}}_{\zeta}(-1)$, we have

[TABLE]

Moreover, it is readily checked that $|b|\leq C|\zeta^{\prime}-z^{\prime}|$ and $|\delta_{\eta}b|\geq C|\zeta^{\prime}-z^{\prime}|^{2}$, and therefore (2.1) follows, cf., [1, Example 4]. ∎

Given a vector bundle $F\to{\mathbb{P}}^{N}$, let $F_{z}$ denote the pullback of $F$ to ${\mathbb{P}}^{N}_{\zeta}\times{\mathbb{P}}^{N}_{z}$ under the natural projection ${\mathbb{P}}^{N}_{\zeta}\times{\mathbb{P}}^{N}_{z}\to{\mathbb{P}}^{N}_{z}$ and define $F_{\zeta}$ analogously. A weight with respect to $F$ is a smooth section $g$ of ${\mathcal{L}}^{0}({\rm Hom\,}(F_{\zeta},F_{z}))$ such that $\nabla_{\eta}g=0$ and $g_{0}=I_{F}$ on the diagonal in ${\mathbb{P}}^{N}_{\zeta}\times{\mathbb{P}}^{N}_{z}$, where $g_{0}$ denotes the term in $g$ with bidegree $(0,0)$. In general, we let lower index on a form denote degree with respect to holomorphic differentials of $\zeta$. Notice that if $g$ is a weight with respect to $F$, then from (2.1) we get

[TABLE]

Identifying terms of full degree in $d\zeta$ thus

[TABLE]

By Stokes’ theorem we get the following Koppelman formula, cf., [17] and [18].

Proposition 2.2**.**

Let $g$ be a weight with respect to $F\to{\mathbb{P}}^{N}$. Then for $\phi\in{\mathcal{E}}^{0,q}({\mathbb{P}}^{N},F\otimes{\mathcal{O}}(-N))$ we have

[TABLE]

Example 1*.*

It is easy to check that

[TABLE]

is a projective form in ${\mathcal{L}}^{0}({\mathcal{O}}_{\zeta}(-1)\oplus{\mathcal{O}}_{z}(1)))$ such that

[TABLE]

Since $\alpha_{0}$ is equal to $I_{{\mathcal{O}}(1)}$ on the diagonal, $\alpha$ is a weight with respect to $F={\mathcal{O}}(1)$. For each natural number $\rho$ therefore $g=\alpha^{\rho}$ is a weight with respect to $F={\mathcal{O}}(\rho)$. For $\ell\geq-N$ we thus have the Koppelman formula

[TABLE]

Since $\alpha$ is holomorphic in $z$ and has no differentials $d\bar{z}$, the last term in (2.5) vanishes if $q\geq 1$, and for degree reasons also if $q=0$ and $\ell\leq-1$. ∎

We thus have an explicit proof of the well-known vanishing $H^{0,q}({\mathbb{P}}^{N},{\mathcal{O}}(\ell))=0$ for $\ell\geq-N$ if $1\leq q\leq N$, and for $q=0$ if $\ell\leq-1$.

Remark 3*.*

Using the transposed integral operators in Example 1, we get an explicit proof of the vanishing $H^{N,q}({\mathbb{P}}^{N},{\mathcal{O}}(\ell))=0$ for $\ell\leq N$, $0\leq 1\leq N-1$. Since $K_{{\mathbb{P}}^{N}}={\mathcal{O}}(-N-1)$ we therefore get that $H^{0,q}({\mathbb{P}}^{N},{\mathcal{O}}(\ell))=0$ for $\ell\leq-1$, $0\leq q\leq N-1$. ∎

Let us now consider a weight with respect to ${\mathcal{O}}(-1)$. Let

[TABLE]

Then

[TABLE]

is a projective form. More explicitly,

[TABLE]

so each term has the same degree in $d\zeta$ as in $d\bar{z}$, and is holomorphic in $\zeta$.

Proposition 2.3**.**

The form $\beta$ is a weight with respect to ${\mathcal{O}}(-1)$.

Proof.

Clearly, cf. (2.6), $\beta_{0,0}=I_{{\mathcal{O}}(-1)}$ on the diagonal. We claim that

[TABLE]

Since $\delta_{\zeta}$ anti-commutes with $\nabla_{\eta}$ and $\delta_{\zeta}1=0$ the proposition follows. To see (2.7), notice that

[TABLE]

so that

[TABLE]

Therefore,

[TABLE]

and

[TABLE]

so that

[TABLE]

It follows that

[TABLE]

in view of (2.8), (2.9), and (2.10). ∎

Thus for $(0,q)$-forms $\phi$ with values in ${\mathcal{O}}(\ell)$, $\ell\leq-N$, we get from Proposition 2.2 the Koppelman formula

[TABLE]

For degree reasons the last term vanishes if $0\leq q\leq N-1$, so we get back the well-known vanishing $H^{0,q}({\mathbb{P}}^{N},{\mathcal{O}}(\ell))=0$ for $\ell\leq-N$. In case $q=N$, the obstruction term vanishes when $\ell=-N$, and when $\ell\leq-N-1$ it vanishes if and only if

[TABLE]

for each holomorphic $(N,0)$-form with values in ${\mathcal{O}}(-\ell)$. That is, $\bar{\partial}v=\phi$ is solvable if and only if (2.11) holds. Of course this is precisely what we get by considering the transposed operators with the weight $\alpha$, cf., Remark 3. However, in the non-smooth case we have no obvious canonical bundle so we cannot consider transposed operators in the same simple way; therefore this weight $\beta$ will play a role.

For future reference we prove

Proposition 2.4**.**

The forms

[TABLE]

are projective and

[TABLE]

Proof.

Clearly $\delta_{\zeta}\gamma_{j}=0=\delta_{\bar{z}}\gamma_{j}$ and thus $\gamma_{j}$ is a projective form. By (2.7) we have that

[TABLE]

Since $\nabla_{\eta}$ and $\delta_{\zeta}$ anti-commute, the proposition follows. ∎

3. Some preliminaries

Let $X$ be any reduced analytic space of pure dimension $n$. By definition there is, locally, some embedding $i\colon X\to\Omega\subset{\mathbb{C}}^{N}$. Let ${\mathcal{J}}_{X}\subset{\mathcal{O}}_{\Omega}$ be the ideal sheaf of holomorphic functions in $\Omega$ that vanish on $X$. Then the sheaf of holomorphic functions on $X$, the structure sheaf ${\mathcal{O}}_{X}$, is represented as ${\mathcal{O}}_{X}={\mathcal{O}}_{\Omega}/{\mathcal{J}}_{X}$. If $\Phi$ is a smooth form in $\Omega$ we say that $\Phi$ is in ${\mathcal{K}er\,}i^{*}$ if $i^{*}\Phi$ vanishes on $X_{reg}$. We define the sheaf

[TABLE]

of smooth forms on $X$, and have a natural mapping $i^{*}\colon{\mathcal{E}}_{\Omega}^{p,*}\to{\mathcal{E}}_{X}^{p,*}.$ One can prove that ${\mathcal{E}}_{X}^{p,*}$ so defined is independent of the choice of embedding and is thus an intrinsic sheaf on $X$. We define the sheaf ${\mathcal{C}}_{X}^{p,*}$ of currents as the dual of ${\mathcal{E}}_{X}^{n-p,n-*}$. More concretely this means that currents $\tau$ in ${\mathcal{C}}_{X}^{p,*}$ are identified with currents $i_{*}\tau$ in ${\mathcal{C}}^{p+N-n,*+N-n}_{\Omega}$ such that $i_{*}\tau$ vanish on ${\mathcal{K}er\,}i^{*}$ so that $\tau.i^{*}\Phi=i_{*}\tau.\Phi$ for test forms $\Phi$. Clearly $\bar{\partial}$ is defined on smooth forms and extends to currents by duality. Also the wedge product $\phi{\wedge}\tau$ is well-defined as long as at least one of the factors is smooth. Thus the currents form a module over the smooth forms.

We say that a current in ${\mathbb{C}}^{M}_{s}$ of the form

[TABLE]

where $\gamma$ is a test form, is elementary. A current $\tau$ on $X$ is pseudomeromorphic if locally it is a finite sum of direct images under holomorphic mappings of elementary currents; see, e.g., [10] for a precise definition and basic properties. The pseudomeromorphic  currents form a sheaf ${\mathcal{PM}}_{X}$ that is closed under multiplication by ${\mathcal{E}}_{X}^{p,*}$ and the action of $\bar{\partial}$. Given a pseudomeromorphic current $\tau$ in an open set ${\mathcal{U}}$ and a subvariety $V\subset{\mathcal{U}}$, the natural restriction of $\tau$ to ${\mathcal{U}}\setminus V$ has a canonical extension to a pseudomeromorphic current ${\bf 1}_{{\mathcal{U}}\setminus V}\tau$ such that

[TABLE]

has support on $V$. If $\xi$ is a smooth form, then

[TABLE]

Let $\chi$ be a smooth function on $[0,\infty)$ that is [math] in a neighborhood of [math] and $1$ in a neighborhood of $\infty$ and let $h$ be a tuple of holomorphic functions, or a section of some holomorphic Hermitian vector bundle such that the zero set of $h$ is precisely $V$. Then

[TABLE]

We say that a current $a$ in $X$ is almost semi-meromorphic, $a\in ASM(X)$, if there is a smooth modification $\pi\colon X^{\prime}\to X$, a generically nonvanishing holomorphic section $\sigma$ of a line bundle $L\to X^{\prime}$ and a smooth $L$-valued form $\gamma$ such that

[TABLE]

Let $ZSS(a)$ be the smallest analytic subset of $X$ such that $a$ is smooth in $X\setminus ZSS(a)$. It follows that $ZSS(a)$ has positive codimension. Clearly an almost semi-meromorphic $a$ is pseudomeromorphic.

Proposition 3.1** (Theorem 4.8 in [10]).**

Given any pseudomeromorphic $\tau$ and $a\in ASM(X)$ the current $a{\wedge}\tau$ a priori defined in $X\setminus ZSS(a)$ has a unique pseudomeromorphic extension to a pseudomeromorphic current in $X$, also denoted $a{\wedge}\tau$, such that ${\bf 1}_{ZSS(a)}a{\wedge}\tau=0$.

Pseudomeromorphic currents have some important geometric properties, see, e.g., [10]:

Proposition 3.2**.**

Assume that the pseudomeromorphic current $\tau$ has support on a germ of an analytic variety $V$.

(i) If the holomorphic function $h$ vanishes on $V$, then $\bar{h}\tau=0$ and $d\bar{h}{\wedge}\tau=0$.

(ii) If $\tau$ has bidegree $(*,p)$ and $V$ has codimension $\geq p+1$, then $\tau=0$.

We refer to (ii) as the dimension principle.

4. A structure form associated to $X$

Let $i\colon X\to{\mathbb{P}}^{N}$ be a reduced subvariety of pure dimension $n$, and let (1.4) be a free graded resolution of the $S$-module $M_{X}=S/J_{X}$. In particular, then $a_{1}=(a^{11}_{1},\ldots,a^{1r_{1}}_{1})$ is a tuple of homogeneous forms that define the homogeneous ideal $J_{X}$ in the graded ring $S={\mathbb{C}}[z_{0},\ldots,z_{N}]$. Let $E_{k}^{j}$ be disjoint trivial line bundles over ${\mathbb{P}}^{N}$ with basis elements $e_{k,j}$ and let

[TABLE]

Then

[TABLE]

is a complex of vector bundles over ${\mathbb{P}}^{N}$ that is pointwise exact outside $Z$, and the corresponding complex of locally free sheaves

[TABLE]

over ${\mathbb{P}}^{N}$ is a resolution of the sheaf ${\mathcal{O}}(E_{0})/{\mathcal{J}}_{X}$, where ${\mathcal{J}}_{X}\subset{\mathcal{O}}_{{\mathbb{P}}^{N}}$ is the ideal sheaf associated with $X$. See, e.g., [9, Section 6]. We equip $E_{k}$ with the natural Hermitian metric

[TABLE]

if $\xi=(\xi_{1},\ldots,\xi_{r_{k}})$, so that (4.1) becomes a Hermitian complex. In [9] were introduced pseudomeromorphic  currents

[TABLE]

on ${\mathbb{P}}^{N}$ associated to (4.1) with the following properties: The currents $U_{k}$ are almost semi-meromorphic $(0,k-1)$-currents, smooth outside $X$, that take values in ${\rm Hom\,}(E_{0},E_{k})\simeq E_{k}$, and $R_{k}$ are $(0,k)$-currents with support on $X$, taking values in ${\rm Hom\,}(E_{0},E_{k})\simeq E_{k}$. Moreover, we have the relations

[TABLE]

which can be compactly written as

[TABLE]

if

[TABLE]

If $\Phi$ is a section of ${\mathcal{O}}={\mathcal{O}}(E_{0})$, then the current $R\Phi$ vanishes if and only if $\Phi$ is in ${\mathcal{J}}_{X}$, see [9, Theorem 1.1].

Let $X_{k}$ be the analytic subset of ${\mathbb{P}}^{N}$ where $a_{k}$ does not have optimal rank. Then

[TABLE]

Since ${\mathcal{J}}_{X}$ has pure dimension

[TABLE]

see [11, Corollary 20.14].

By the dimension principle $R_{k}=0$ for $k<N-n$. Moreover, there are almost semi-meromorphic ${\rm Hom\,}(E_{k},E_{k+1})$-valued $(0,1)$-currents $\alpha_{k+1}$, smooth outside $X_{k+1}$, such that

[TABLE]

there. By (4.6) and the dimension principle it follows that this equality must hold across $X_{k+1}$ if the right hand side is interpreted in the sense of Proposition 3.1. By a simple induction argument, using (4.6) and the dimension principle, it follows that

[TABLE]

Lemma 4.1**.**

If $\Phi$ is a smooth $(0,*)$-form, then $i^{*}\Phi=0$ on $X_{reg}$ if and only if $\Phi R=0$.

It follows that $R\phi$ is well-defined for $\phi$ in ${\mathcal{E}}_{X}^{0,*}$.

Proof.

Locally at a point $x\in X_{reg}$ we can choose coordinates $(z,w)$ such that $X=\{w=0\}$. By a Taylor expansion of $\Phi$ in $w$, using that $w_{j}R=\bar{w}_{j}R=d\bar{w}_{j}{\wedge}R=0$, cf., Proposition 3.2 (i), we find that that $R\Phi=0$ if and only if $i^{*}\Phi=0$. If $\Phi R=0$ on $X_{reg}$ it follows from (3.1) and (4.7) that $\Phi R=0$ identically. ∎

Let $\varOmega=\delta_{z}(dz_{0}{\wedge}\ldots{\wedge}dz_{N})$ be the unique, up to a multiplicative constant, non-vanishing global $(N,0)$-form with values in ${\mathcal{O}}(N+1)$. From [8, Proposition 3.3] we have

Proposition 4.2**.**

There is a unique almost semi-meromorphic current $\omega=\omega_{0}+\cdots+\omega_{n}$ on $X$ that is smooth on $X_{reg}$, $\omega_{\ell}$ have bidegree $(n,\ell)$ and take values in $E^{\ell}:=i^{*}E_{N-n+\ell}$, and

[TABLE]

We say that $\omega$ is a structure form on $X$. For any smooth form $\xi$ on ${\mathbb{P}}^{N}$ there is a unique form ${\vartheta}(\xi)$ such that

[TABLE]

where $\xi_{N}$ denotes the components of $\xi$ of bidegree $(N,*)$. From (4.8) and (4.9) we have that

[TABLE]

where we in the last term, for simplicity, write ${\vartheta}(\xi){\wedge}\omega$ rather then $i^{*}{\vartheta}(\xi){\wedge}\omega$.

Lemma 4.3**.**

Let $\chi(t)$ be a smooth function as in (3.2). If $h$ is a holomorphic section of a Hermitian vector bundle that does not vanish identically on any irreducible component of $X$ and $\chi_{\delta}=\chi(|h|/\delta)$, then

[TABLE]

Proof.

Let $W$ be the zero set of $h$. Notice that $i_{*}{\bf 1}_{X_{sing}}\omega={\bf 1}_{X_{sing}}i_{*}\omega={\bf 1}_{X_{sing}}\varOmega{\wedge}R=\varOmega{\wedge}{\bf 1}_{X_{sing}}R=0$ in view of Lemma 4.1. Thus ${\bf 1}_{X_{sing}}\omega=0$, and hence ${\bf 1}_{W}{\bf 1}_{X_{sing}}\omega=0$. Since $\omega$ is smooth on $X_{reg}$ we have that ${\bf 1}_{W}{\bf 1}_{X_{reg}}\omega=0$. By simple computational rules, see, e.g., [10], we conclude that ${\bf 1}_{W}\omega=0$. In view of (3.2) thus the first part of (4.11) follows. Notice that (4.4) implies that $(a-\bar{\partial})R=0$, and by (4.8) thus $(a-\bar{\partial})\omega=0$. Applying $(a-\bar{\partial})$ to the first limit in (4.11) now the second one follows. ∎

5. Koppelman formulas on a projective variety

Let $U^{\lambda}=|a_{1}|^{2\lambda}U$ and $R^{\lambda}=1-|a_{1}|^{2\lambda}+\bar{\partial}|a_{1}|^{2\lambda}{\wedge}U$. Then $R^{\lambda}$ and $U^{\lambda}$ are as smooth as we may wish if ${\rm Re\,}\lambda$ is sufficiently large. In particular, $R^{\lambda}$ and $U^{\lambda}$ are well defined currents. Moreover, they admit analytic continuations to ${\rm Re\,}\lambda>-\epsilon$, and the values at $\lambda=0$ are precisely $R$ and $U$, respectively, see [9].

Let $\rho$ be an integer. Following [4, Definition 1] we say that $H=(H_{k}^{\ell})$ is a Hefer morphism for the complex $E_{\bullet}\otimes{\mathcal{O}}(\rho),a$, cf., (4.1), if $H_{k}^{\ell}$ are smooth sections of

[TABLE]

$H_{k}^{\ell}=0$ for $k<\ell$, the term $(H_{\ell}^{\ell})_{0}$ of bidegree $(0,0)$ is the identity $I_{E_{\ell}}$ on $\Delta$, and

[TABLE]

where $a_{k}$ stands for $a_{k}(\zeta)$. From [6, Lemma 2.5] we have

Lemma 5.1**.**

Assume that $H$ is a Hefer morphism for the complex $E_{\bullet}\otimes{\mathcal{O}}(\rho),a$. For ${\rm Re\,}\lambda\gg 0$, the form

[TABLE]

is a weight with respect to ${\mathcal{O}}(\rho)$.

Here $H^{1}U=\sum_{j}H^{1}_{j}U_{j}$ and $H^{0}R=\sum_{j}H^{0}_{j}R_{j}$.

Proposition 5.2**.**

Let $F$ be holomorphic vector bundle over ${\mathbb{P}}^{N}$ and let $g$ be a weight with respect to $F$. Moreover, assume that $H$ is a Hefer morphism for $E_{\bullet}\otimes L^{\rho}$. For $\phi\in{\mathcal{E}}^{0,q}(X,F\otimes L^{\rho-N})$ we have the Koppelman formula

[TABLE]

By blowing up ${\mathbb{P}}^{N}\times{\mathbb{P}}^{N}$ along the diagonal one can verify that $B$ is almost semi-meromorphic. In view of Proposition 3.1, thus $(HR{\wedge}g{\wedge}B)_{N}{\wedge}\phi$ is a well-defined pseudomeromorphic  current on ${\mathbb{P}}^{N}\times{\mathbb{P}}^{N}$. Formally (5.3) means that

[TABLE]

where $\pi$ is the projection $(\zeta,z)\mapsto z$.

Proof.

Since $g^{\lambda}{\wedge}g$ is a weight with respect to ${\mathcal{O}}(\rho)\otimes F$, and $a_{1}(z)=0$ when $z\in X$, from Proposition 2.2 we get (5.3) with $R^{\lambda}$ instead of $R$. In view of (the proof of) [8, Lemma 5.2], see also [5, Lemma 9.5], we can take $\lambda=0$ and so we get the proposition, keeping in mind that the product $B{\wedge}\tau$ can be defined as the value of $|\eta|^{2\lambda}B{\wedge}\tau$ at $\lambda=0$, in view of [8, (2.2) and (2.3)]. ∎

Let

[TABLE]

Then we can write (5.3) as

[TABLE]

for $z\in X_{reg}$.

In view of (4.10) we have that

[TABLE]

where

[TABLE]

It is apparent from (5.6) that ${\mathcal{K}}$ and ${\mathcal{P}}$ are intrinsic integral operators on $X$. Locally they are precisely of the type in [8], so it follows that ${\mathcal{K}}\phi$ is smooth on $X_{reg}$ if $\phi$ is smooth. Moreover, from [8, Theorem 1.4] we get:

Theorem 5.3**.**

Let $F$ be holomorphic vector bundle over ${\mathbb{P}}^{N}$ and let $g$ be a weight with respect to $F$ on $X$. Moreover, assume that $H$ is a Hefer morphism for $E_{\bullet}\otimes{\mathcal{O}}(\rho)$ and ${\mathcal{K}}$ and ${\mathcal{P}}$ are defined by (5.6). Then

[TABLE]

*and the global Koppelman formula (5.5) holds on $X$ for $\phi\in{\mathcal{A}}^{q}(X,F\otimes L^{\rho-N})$. *

6. The non-reduced case

Now assume that $i\colon X\to{\mathbb{P}}^{N}$ has pure dimension $n$ but is non-reduced. Then we still have an ideal sheaf ${\mathcal{J}}_{X}\subset{\mathcal{O}}_{{\mathbb{P}}^{N}}$ that has pure dimension $n$ but ${\mathcal{J}}_{X}$ is no longer radical, i.e., there are nilpotent elements. Still the structure sheaf of $X$ has the representation ${\mathcal{O}}_{X}={\mathcal{O}}_{{\mathbb{P}}^{N}}/{\mathcal{J}}_{X}$. The underlying reduced space $X_{red}$ is associated with the radical ideal $\sqrt{{\mathcal{J}}_{X}}={\mathcal{J}}_{X_{red}}$.

Let $X_{reg}$ be the subset of $X$ where $X_{red}$ is smooth and in addition ${\mathcal{J}}_{X}$ is Cohen-Macaulay. In a neighborhood ${\mathcal{U}}$ of a point $x$ in $X_{reg}$, which is an open dense subset of $X$, we can choose local coordinates $(z,w)$ such that $X_{red}\cap{\mathcal{U}}=\{w=0\}$. It turns out, see, e.g., [5], that there are monomials $1,w^{\alpha_{1}},\ldots,w^{\nu-1}$ such that each $\phi$ in ${\mathcal{O}}_{X}$ has a unique representation

[TABLE]

Thus ${\mathcal{O}}_{X}$ has the structure of a free ${\mathcal{O}}_{X_{red}}$-module in ${\mathcal{U}}$.

We say that $\Phi$ in ${\mathcal{E}}^{0,*}_{{\mathbb{P}}^{N}}$ is in ${\mathcal{K}er\,}i^{*}$ if in a neighborhood of each point in $X_{reg}$, $\Phi$ is in the the subsheaf of ${\mathcal{E}}_{{\mathbb{P}}^{N}}^{0,*}$ generated by ${\mathcal{J}}_{X},\bar{\mathcal{J}}_{X_{red}}$ and $d\bar{\mathcal{J}}_{X_{red}}$. As in the reduced case we define ${\mathcal{E}}_{X}^{0,*}={\mathcal{E}}_{{\mathbb{P}}^{N}}/{\mathcal{K}er\,}i^{*}$, and again it is independent of the choice of local embedding of $X$. It turns out that at each point in $X_{reg}$ and coordinates $(z,w)$ as above we have a unique representation (6.1) of $\phi$ in ${\mathcal{E}}_{X}^{0,*}$ where $\hat{\phi}_{j}$ are in ${\mathcal{E}}_{X_{red}}^{0,*}$.

We define the sheaf of $(n,*)$-currents on $X$ as the dual of ${\mathcal{E}}_{X}^{0,n-*}$, so that such a current $\tau$ is represented by a $(N,N-n+*)$-current $i_{*}\tau$ in ${\mathbb{P}}^{N}$ that is annihilated by ${\rm Ker\,}i^{*}$.

Basically all facts in Section 4 now hold verbatim, except for that one has to replace $X$ by $X_{red}$ in (4.5) and slightly modify the proof of Lemma 4.1. The existence of the current $\omega$ on $X$ such that (4.8) holds follows from Lemma 4.1 but in the non-reduced case we give no meaning to that $\omega$ is almost semi-meromorphic and smooth on $X_{reg}$. The first part of (4.11) just means that ${\bf 1}_{W}R=0$ and this follows from [5, Corollry 6.3]. The second part of (4.11) follows from the first part precisely as before.

Following [5] we can also make the construction of Koppelman formulas in Section 5 and define sheaves ${\mathcal{A}}^{*}$ on $X$ so that Theorem 5.3 holds.

Remark 4*.*

Recall that a holomorphic differential operator $L$ is Noetherian with respect to the ideal ${\mathcal{J}}$ if $L\phi$ vanishes on $Z$ if $\phi\in{\mathcal{J}}$. As in the local case, cf., [8, Remark 6.6], there is a tuple ${\mathcal{L}}$ of global Noetherian operators on ${\mathbb{P}}^{N}$ with almost semi-meromorphic coefficients so that

[TABLE]

cf., [3, Theorem 4.1 and Proposition 5.1]. ∎

7. Global solutions

To begin with we consider a Hefer morphism, introduced in [4], for the complex $E_{\bullet}\otimes{\mathcal{O}}(\rho),a$ for large $\rho$. Let $E^{\prime}$ denote the complex of trivial bundles over ${\mathbb{C}}^{N+1}$ that we get from $E$, and let $A$ denote the corresponding mappings (which then formally are just the original matrices $a$). Let $\delta_{w-z}$ denote interior multiplication by

[TABLE]

in ${\mathbb{C}}^{N+1}_{w}\times{\mathbb{C}}^{N+1}_{z}$.

Proposition 7.1**.**

There exist $(k-\ell,0)$-form-valued mappings

[TABLE]

such that $h_{k}^{\ell}=0$ for $k<\ell$, $h_{\ell}^{\ell}=I_{E^{\prime}_{\ell}}$,

[TABLE]

and the cooefficients in the form $(h_{k}^{\ell})_{ij}$ are homogeneous polynomials of degree $d_{k}^{j}-d_{\ell}^{i}-(k-\ell)$.

Notice that

[TABLE]

is a projective form and that

[TABLE]

Given $h_{k}^{\ell}$ in Proposition 7.1 we let $\tau^{*}h_{k}^{\ell}$ be the projectice form we obtain by replacing $w$ by $\alpha\zeta$ and $dw_{j}$ by $\gamma_{j}$. We then have

[TABLE]

in light of (7.3) and (2.4). It is proved in [4] that if

[TABLE]

then

[TABLE]

is a Hefer morphism for (4.1) with $\rho=\kappa_{0}$. Clearly, $H$ is holomorphic in $z$.

Recall that $g=\alpha^{\nu}$ is a holomorphic weight with respect to $F={\mathcal{O}}(\nu)$ for $\nu\geq 0$. From Proposition 5.2 we thus obtain explicit solutions to the $\bar{\partial}$-equation in $L^{\ell}$ for $\ell\geq\kappa_{0}(X)-N$.

Proposition 7.2**.**

Assume that $X$ is a possibly singular projective subvariety of ${\mathbb{P}}^{N}$ of pure dimension $n$, and $s\geq\kappa_{0}-N$. If $\phi$ is a $\bar{\partial}$-closed section in ${\mathcal{A}}^{q}(X,L^{s})$, $q\geq 1$, then

[TABLE]

is a solution in ${\mathcal{A}}^{q-1}(X,L^{s})$ to $\bar{\partial}u=\phi$.

Notice that $\kappa_{0}-N\leq\max(d_{k}^{i}-k)\leq{\rm reg\,}X-1.$ Thus the proposition gives a weaker form of Theorem 1.1.

Remark 5*.*

The associated operator ${\mathcal{P}}$ is precisely the operator in [6, Example 3.4] that realizes the surjectivity of (1.7). That is, if $\phi\in{\mathcal{O}}(X,L^{s})$, then

[TABLE]

is a global section of ${\mathcal{O}}(s)\to{\mathbb{P}}^{N}$ that coincides with $\phi$ on $X$. ∎

Example 2*.*

Assume that $X$ is a complete intersection, i.e., $J$ is generated by homogeneous forms $a_{1}^{1},\ldots,a_{1}^{p}$, of degrees $d^{1},\ldots,d^{p}$, where $p=N-n$. Then the Koszul complex generated by $a_{1}^{j}$ provides a minimal free resolution, and it is then easy to see that $\kappa_{0}=d^{1}+\cdots+d^{p}$, cf., Section 8 below. Moreover, by the adjunction formula

[TABLE]

Here $K_{X}$ is the Grothendieck dualizing sheaf, which in this case is a line bundle that is generated by $\omega=\omega_{0}$. When $X$ is smooth $K_{X}$ is just the usual canonical bundle. If we define $(n,q)$-forms as $(0,q)$-forms with values in $K_{X}$, then Proposition 7.2 gives an explicit realization of the vanishing

[TABLE]

If $X$ is smooth this follows precisely from Kodaira’s theorem, since $L$ is strictly positive on $X$. ∎

For the proof of Theorem 1.1 we must make a more careful analysis of the kernels. Let us introduce the notation

[TABLE]

Notice that

[TABLE]

Proof of Theorem 1.1.

Notice that the section $h(\zeta,z)=\zeta\cdot\bar{z}/|z|^{2}$ of ${\mathcal{O}}_{\zeta}(1)\otimes{\mathcal{O}}_{z}(-1)$ is non-vanishing on $\Delta$. Let $\chi(t)$ be a cutoff function as before and let

[TABLE]

Here $|h|$ denote the natural norm of the section $h$, whereas in the last term $|\ |$ denotes norm of points in ${\mathbb{C}}^{N+1}$. For small $\delta$, $\chi_{\delta}$ is identically $1$ in a neighborhood of $\Delta$ and thus

[TABLE]

is a smooth weight (with respect to the trivial line bundle). For fixed $z$, $g^{\delta}$ vanishes in a neighborhood of the hyperplane $h=0$, and therefore

[TABLE]

is a smooth weight with respect to ${\mathcal{O}}(-r)$ for any $r$, though not holomorphic in $z$. Now fix $q\geq 1$ and let $t=s-q$. In particular, for $t\geq\kappa_{q}-N$ and $\phi\in{\mathcal{A}}^{q}(X,L^{t})$, $q\geq 1$, with $\bar{\partial}\phi=0$ we have the formula

[TABLE]

We claim that ${\mathcal{K}}^{\delta}\phi$ tends to a current ${\mathcal{K}}\phi$ in ${\mathcal{A}}^{q-1}(X,L^{t})$ and that ${\mathcal{P}}^{\delta}\phi\to 0$. Taking this for granted, the theorem follows in view of (7.7).

To settle the claim we first consider the expression for ${\mathcal{P}}^{\delta}\phi$ in (7.9). Since $\phi$ has bidegree $(0,q)$ only components $H_{N-\ell}R_{N-\ell}$ with $\ell\geq q$ can occur in the integral. Thus the total power of $\alpha$ is

[TABLE]

in view of (7.6). Thus

[TABLE]

where $\xi_{\ell}$ are smooth and holomorphic in $z$. Since $q\geq 1$ we need some antiholomorphic differentials with respect to $z$ and they must come from $\bar{\partial}\chi_{\delta}{\wedge}B$; hence we can forget about $\chi_{\delta}$. Since $\chi_{\delta}=1$ in a neighborhood of the diagonal, we can consider $B$ as smooth. Thus we have to verify that

[TABLE]

Since $X$ is irreducible, $h=0$ has positive codimension on $X$, and if $\phi$ is smooth thus (7.10) holds in view of Lemma 4.3. If $\phi$ is in ${\mathcal{A}}^{q}$, then it is in $Dom_{X}$, cf.,[8, 5], and then (7.10) follows from (the proofs of) [8, Lemma 4.1] and [5, Lemma 8.4]. In fact, (7.10) can be reformulated as ${\bf 1}_{h=0}\bar{\partial}(\omega{\wedge}\phi)=0$. We conclude that ${\mathcal{P}}^{\delta}\phi\to 0$. Notice now that $B{\wedge}B=0$ so that

[TABLE]

It is proved in [8, 5] that $(HR{\wedge}\alpha^{t-\kappa_{0}+N}{\wedge}B)_{N}{\wedge}\phi$ is in the space ${\mathcal{W}}^{X\times{\mathbb{P}}^{N}}$, and this implies that

[TABLE]

It follows that

[TABLE]

∎

7.1. Examples with negative curvature

We now turn our attention to the case of negative curvature. We define a Hefer morphism from $h^{\ell}_{k}$ in Proposition 7.1 by replacing $w$ by $\zeta$, $z$ by $\beta z$, and $dw_{j}$ by the $\gamma_{j}$ from Proposition 2.4. The morphism so obtained is a Hefer morphism for (4.1) (i.e., for $E_{\bullet}\otimes{\mathcal{O}}(\rho),a$ with $\rho=0$). This is verified in the same way as [4, Proposition 4.4].

This time $H$ is not holomorphic in $z$ but in $\zeta$ instead. Let $\delta$ be the depth of the ring $S/J$. This is a number, $0\leq\delta\leq n$, and choosing (1.4) minimal, (4.1) will end up at $k=N-\delta$, which means that $R=R_{N-n}+\cdots+R_{N-\delta}$. The variety $X$ is Cohen-Macaulay precisely when $\delta=n$.

From the Koppelman formula we get solutions to $\bar{\partial}$ (representation of the cohomology in the smooth case) for $(0,q)$-forms $\phi$ with values in ${\mathcal{O}}(\ell)$ for $\ell\leq-N$ and thus solutions as soon as the obstruction term

[TABLE]

vanishes. Notice that $HR$ has degree at most $N-\delta$ in $d\bar{\zeta}$ since $\beta$ and $\gamma_{j}$ only contain holomorphic differentials with respect to $\zeta$. Therefore (7.11) must vanish if $N-\delta+q<N$, i.e., $0\leq q\leq\delta-1$.

Theorem 7.3**.**

Assume that $X$ is a subvariety of ${\mathbb{P}}^{N}$ of pure dimension $n$ and $\ell\leq-N$. Then for any $\bar{\partial}$-closed $(0,q)$-form $\phi\in{\mathcal{A}}_{q}(X,L^{\ell})$,  $0<q\leq\delta-1$,

[TABLE]

is a solution in ${\mathcal{A}}^{q-1}(X,L^{\ell})$ to $\bar{\partial}\psi=\phi$.

We thus have an explicit proof of the vanishing $H^{0,q}(X,{\mathcal{O}}(\ell))=0$ for $0\leq q\leq\delta-1$, $\ell\leq-N$.

8. Global complete intersections

Let us compute the resulting formulas in case $i\colon X\to{\mathbb{P}}^{N}$ is a global complete intersection as in Example 2. Let $f_{1},\ldots,f_{p}$, $f_{j}=a_{1}^{j}$, be our given homogeneous forms of degrees $d^{j}$ from Example 2, and recall that $p=N-n$. Assume that $E_{0}$ is the trivial line bundle and let

[TABLE]

where $E^{j}$ are trivial line bundles. Let $e_{j}$ be basis elements for $E^{j}$ and let $e_{j}^{*}$ be the dual basis elements. We take

[TABLE]

and $a_{k}\colon E_{k}\to E_{k-1}$ as interior multiplication by $f=\sum f_{j}e_{j}^{*}$. Now

[TABLE]

is the section of $E$ with minimal norm such that $f\cdot\sigma=1$ outside $Z$, if $\|f\|=|f|_{E^{*}}$. Moreover,

[TABLE]

and

[TABLE]

cf., Section 5 and [2]; here $|_{\lambda=0}$ means evaluation at $\lambda=0$ after analytic continuation. Since ${\rm codim\,}Z=p$ the resulting residue current $R$ just consists of the term $R_{p}$; it coincides with the classical Coleff-Herrera product

[TABLE]

We now compute Hefer morphisms for the Koszul complex. Let $\tilde{h}_{j}(w,z)$ be $(1,0)$-forms in ${\mathbb{C}}^{n+1}\times{\mathbb{C}}^{n+1}$ of polynomial degrees $d^{j}-1$ such that

[TABLE]

and let $h_{j}=\tau^{*}\tilde{h}_{j}$ We only have to care about $k\leq p$ so $\kappa_{0}=d^{1}+\ldots+d^{p}$. Then

[TABLE]

is a Hefer morphism. The components of most interest for us are $H_{k}^{0}$ and $H_{k}^{1}$. Since

[TABLE]

it can be more compactly written formally as

[TABLE]

where $\delta_{h}$ denotes formal interior multiplication with

[TABLE]

and $(\delta_{h})_{k}=(\delta_{h})^{k}/k!.$ In the same way

[TABLE]

where

[TABLE]

Our description of $U$, $H^{1}_{k}$ etc is just to illustrate what these currents look like in the complete intersection case since they play a rule in the proofs above. As we have seen, however, in the final Koppelman formula only the term

[TABLE]

of $HR$ occurs. It follows that the operator ${\mathcal{K}}$ in Proposition 7.2, with

[TABLE]

has the more explicit form

[TABLE]

and the operator ${\mathcal{P}}$ in Remark 5 is

[TABLE]

Proposition 8.1**.**

Assume that the projective space $i\colon X\to{\mathbb{P}}^{N}$ of codimension $p$ is defined by the homogeneous forms $f_{j}$ on ${\mathbb{C}}^{N+1}$ of degree $d^{j}$, $j=1,\ldots,p$ and assume that $s\geq d^{1}+\cdots+d^{p}-N$. For $\phi\in{\mathcal{E}}^{0,k}(X,L^{s})$, or $\phi\in{\mathcal{A}}^{k}(X,L^{s})$, we have the Koppelman formula (5.5) with ${\mathcal{K}}$ and ${\mathcal{P}}$ defined by (8.3) and (8.4) and ${\mathcal{P}}$ vanishes if $k\geq 1$.

Remark 6*.*

In [23] similar Koppelman formulas are obtained on a, not necessarily reduced, global complete intersection $X$ for $(0,*)$-forms with values in $L^{d^{1}+\cdots+d^{p}-N-1}$ in the notation from Example 2. They construct Koppelman formulas on homogeneous subvarieties of ${\mathbb{C}}^{N+1}$, keep track of homogeneities and so obtain Koppelman formulas on $X$. They use the same definition of $\bar{\partial}$ as we do. However, they only consider solutions to $\bar{\partial}u=\phi$ on $X_{reg}$ when $\phi$ is smooth on $X$ and satisfies a condition $(*)$ that in general is stronger than $\bar{\partial}\phi=0$. There is no discussion whether their solution has some meaning as a current across $X_{sing}$. The condition $(*)$ on $\phi$ means that (locally) there is a smooth extension $\Phi$ to ambient space such that $\bar{\partial}\Phi$ is in ${\mathcal{E}}{\mathcal{J}}$. Clearly this implies that $\bar{\partial}\phi=0$ on $X$ but in general the converse does not hold. In fact, consider a reduced hypersurface $X=\{a=0\}\subset{\mathbb{C}}^{n+1}$ so that ${\mathcal{J}}=(a)$. Then $(*)$ means that there is an extension $\Phi$ such that $\bar{\partial}\Phi=\xi a$ for some smooth form $\xi$. Then $0=a\bar{\partial}\xi$ and thus $\bar{\partial}\xi=0$; hence $\xi=\bar{\partial}\eta$ for some smooth $\eta$. Now $\Phi-a\eta$ is $\bar{\partial}$-closed and therefore there is a smooth solution to $\bar{\partial}\Psi=\Phi-a\eta$. It follows that $\psi=i^{*}\Psi$ is a smooth solution to $\bar{\partial}\psi=\phi$. However, it is well-known that there are smooth $\phi$ with $\bar{\partial}\phi=0$ such that $\bar{\partial}\psi=\phi$ has no smooth solution, see, e.g., [8, Example 1.1]. ∎

8.1. The reduced case

Let us consider a more intrinsic-looking representation of ${\mathcal{K}}$ and ${\mathcal{P}}$ as in (5.6) and (5.7). In order to avoid a Noetherian operator, cf., Remark 4, let us in addition assume that $X$ is reduced. Let $A_{1},\ldots,A_{p}$ be holomorphic vector fields on ${\mathbb{C}}^{N+1}$ such that

[TABLE]

or equivalently,

[TABLE]

Notice that since $\delta_{\zeta}$ anti-commutes with $\delta_{A_{j}}$,

[TABLE]

is a projective form. Following the proof of [6, Proposition 6.3] we see that $\omega^{\prime}$ is a representative for the structure form on $X$, that is,

[TABLE]

Example 3*.*

Let

[TABLE]

Then

[TABLE]

In view of (5.7) we thus have that

[TABLE]

for $\phi\in{\mathcal{A}}^{q}(X,L^{s})$,  $s=\kappa+d^{1}+\cdots+d^{p}-N$, $\kappa\geq 0$. ∎

8.2. Explicit formulas for a curve in ${\mathbb{P}}^{N}$

Following [19] we will now describe how one can find an especially simple expression for the kernel $k$ when $X$ is a curve. Applying $\delta_{\eta}$ to

[TABLE]

cf., (4.9), we get

[TABLE]

We claim that

[TABLE]

on $X\times X$. In fact, consider the weight $g=\alpha^{\kappa}{\wedge}g^{\lambda}$, cf., (5.2). From (2.2), keeping $z$ on $X$ and taking $\lambda=0$ we get

[TABLE]

outside the diagonal. Identifying terms of degree $N-1$ in $d\zeta$ we get

[TABLE]

By the generalized Poincaré-Lelong formula, $R{\wedge}df=(2\pi i)^{p}[X]$, we can conclude that (8.10) holds on $X\times X$. Combining (8.9) and (8.10) we get that

[TABLE]

on $X\times X$.

Let us now compute the kernel $k$ where $X$ is parametrized by $[\zeta_{0},\zeta_{1}]$. Let $\delta_{\zeta_{j}}$ denote interior multplication by $\partial/\partial\zeta_{j}$. Notice that

[TABLE]

If we apply $\delta_{\zeta_{2}}\cdots\delta_{\zeta_{N}}$ to (8.11) we get

[TABLE]

Notice that the denominator on the right hand side is smooth. Recalling that $k(\zeta,z)=\pm\vartheta(\alpha^{\kappa}{\wedge}B{\wedge}h){\wedge}\omega$ on $X\times X$, cf., (5.7), we get from (8.12) and (8.6), cf., (8.7),

Proposition 8.2**.**

With the notation above we have the explicit formula

[TABLE]

where $X$ is parametrized by $[\zeta_{0},\zeta_{1}]$.

8.3. Curves in ${\mathbb{P}}^{2}$

Assume now that $N=2$ and $X=\{f=0\}$, where $f$ is a $d$-homogeneous form. Thus $s=\kappa+d-2$. Let $\tilde{h}(w,z)=h_{0}dw_{0}+h_{1}dw_{1}+h_{2}dw_{2}$ be a Hefer form for $f$; i.e., $h_{\ell}$ are $d-1$-homogeneous and

[TABLE]

Notice that for degree reasons,

[TABLE]

In what follows, for simplicity, let us right $\alpha$ rather than $\alpha_{0}$. If $\partial f/\partial\zeta_{2}$ is generically nonvanishing on $X$ and

[TABLE]

then $\delta_{A}df=2\pi i$ (generically) on $X$. We get

[TABLE]

Notice furthermore that

[TABLE]

Proposition 8.3**.**

With the notation above we have

[TABLE]

The second term in the bracket actually cancels out the singularity if $X$ is smooth.

Proposition 8.4**.**

If $X$ is smooth and $[\zeta_{0},\zeta_{1}]$ are local homogeneous coordinates, then

[TABLE]

where $\cdots$ is smooth and holomorphic in $z$.

Notice that $2\pi ih_{2}(\alpha\zeta,z)=\partial f/\partial\zeta_{2}$ on the diagonal.

Proof.

Differentiating (8.14) with respect to $w_{j}$ gives

[TABLE]

Since $f$ is $d$-homogeneous,

[TABLE]

We conclude that

[TABLE]

where $b_{\ell}(\zeta,w,z)$ are holomorphic, $d-2$-homogeneous in $(w,z)$ and 1-homogeneous in $\zeta$. Since $\zeta$ is on $X$, $f(\zeta)=0$. We thus get (8.18) where

[TABLE]

and

[TABLE]

Without loss of generality we may assume that $\zeta_{0}=z_{0}=1$ and that $\zeta_{1}$ is a local coordinate on $X$ so that $\zeta^{\prime}=g(\zeta_{1})$. Since $\alpha=1$ on the diagonal we then have that $B=B^{\prime}(\zeta_{1}-z_{1})$ where $B^{\prime}$ is holomorphic in $z$. After homogenization we get that $B=B^{\prime\prime}(z_{0}\zeta_{1}-z_{1}\zeta_{0}),$ where $B^{\prime\prime}$ is holomorphic in $z$. Thus the proposition follows. ∎

Corollary 8.5**.**

If $\zeta_{1}$ is a local coordinate, then taking $\zeta_{1}=\tau$, $z_{1}=t$, and $\zeta_{0}=z_{0}=1$, we get

[TABLE]

where $\cdots$ is smooth and holomorphic in $t$.

Example 4*.*

If $f(z)=z_{0}^{3}+z_{1}^{3}+z_{2}^{3}$, then $X$ is a smooth surface of genus $1$. We can take

[TABLE]

Then, where $[z_{0},z_{1}]$ are homogeneous coordinates,

[TABLE]

∎

Even if $X$ is not smooth, by the same argument, one can identify the principal term of the kernel $k$.

Example 5*.*

The curve $X=\{z_{1}^{3}-z_{2}^{2}z_{0}=0\}$ has a cusp singularity at $[1,0,0]$ and is smooth elsewhere. It is globally parametrized by

[TABLE]

We can choose the Hefer form

[TABLE]

By formula (8.17) we can now express $k$ completely in terms of the parameters $[t_{0},t_{1}]$ and $[\tau_{0},\tau_{1}]$. However, we restrict to considering the principal term. Since we are primarily interested in the singularity, we consider the standard affinization where $z_{0}=\zeta_{0}=1$. By the recipe above, then

[TABLE]

In this case $\cdots$ is not smooth but at least the singularity is smaller than in the leading term. Since $\alpha-1={\mathcal{O}}(\zeta_{1}-z_{1})+{\mathcal{O}}(\zeta_{2}-z_{2})$, we can delete $\alpha$ as well in the leading term in (8.20). We then have

[TABLE]

Letting $t=t_{1}/t_{0}$ and $\tau=\tau_{1}/\tau_{0}$ we are then left with

[TABLE]

where the leading term is precisely the kernel in the last example in [8, Section 8]. ∎