Explicit representation of membership in polynomial ideals (Q621306)

Let \(F_{1},\dots,F_{m}\) be polynomials in \(\mathbb C ^{n}\) of degrees \(d_{1} \geq d_{2} \geq\cdots \geq d_{m}\) and \(\Phi\) be a polynomial vanishing on the common zeros of \(F_{j}\). Let \(f^{i}\) and \(\phi\) be the homogenizations of \(F_{i}\) and \(\Phi\), respectively ( if \(z= (z_{0},\dots,z_{n})\), \(z'= (z_{1},\dots,z_{n})\), then \(f^{i}(z) = z_{0}^{d_{i}}F_{i}(z'/z_{0})\), etc). There is a solution to \(\Phi = \sum F_{i} \mathcal Q_{i}\) with \(\deg F_{i} \mathcal Q_{i} \leq \rho\) iff there are \((\rho -d_{i})\)-homogeneous forms \(q_{i}\) such that \( \sum f^{i}q_{i} = z_{0}^{\rho- \deg\Phi} \phi\). This last relation may be viewed as an equation in vector bundles over \(\mathbb P^{n}\) and, in this paper, the authors give the following explicit division formula (which, moreover, gives sharp degree estimates): \( \psi =\sum f^{i}(z) \cdot \int_{\mathbb P ^{n}}\mathcal H_{i} U\psi + \int_{\mathbb P ^{n}}\mathcal H R \psi\) which holds for \(\psi=z_{0}^{\rho- \deg\Phi} \phi \) if \(\rho\) is large enough. Here, \(U\) is a current which is smooth outside the common zero set \(Z \subset {\mathbb P ^{n}}\) of \(f^{i}\), \(R\) is a residue current with support on \(Z\) and \(\mathcal H_{i}\) are smooth in both variables and homogeneous polynomials of degrees \( \rho - d_{i}\) in \(z\). Several very interesting applications of this formula are also presented.