Analytic residues along algebraic cycles (Q1763423)

The Hilbert's Nullstellensatz and the construction of Arakelov measures are two questions about effective constructions in Commutative Algebra and Algebraic Geometry where residue currents play a central role, both as a discovery tool and in the proofs. The main idea of this work on this subject is to use the analytic theory of multidimensional residues and residue currents to find key identities and several explicit constructions. The authors use repeatedly the fact that residues could also be computed by analytic continuation of associated zeta functions. As a consequence of the fact that the analytic and algebraic approaches lead to the same restricted residual objects, the authors extend (with an algebraic formulation) to such a restricted context the affine Jacobi's theorem obtained in the nonrestricted case \(W =\mathbf A_{\mathbb{C}}^n\) by \textit{A.~Vidras} and \textit{A.~Yger} [Ann. Sci. École Norm. Sup. 34, 131--157 (2001; Zbl 0991.32003)]. Let \(W\) be a \(q\)-dimensional irreducible algebraic subvariety in the affine space \(\mathbf A_{\mathbb{C}}^n\), \(P_1, \dots, P_m\) be \(m\) elements in \(\mathbb{C}[X_1, \dots, X_n]\), and \(V(P)\) be the set of common zeros of the \(P_j\)'s in \(\mathbb{C}^n\). Assuming that \(| W| \) is not included in \(V(P)\), one can attach to \(P\) a family of nontrivial \(W\)-restricted residual currents in \('\mathcal D^{0,k}(\mathbb{C}^n)\), \(1\leqslant k\leqslant \min(m,q)\), with support on \(| W| \). These currents (constructed following an analytic approach) inherit most of the properties that are fulfilled in the case \(q = n\). When the set \(| W| \cap V(P)\) is discrete and \(m = q\), the authors prove that for every point \(\alpha\in | W| \cap V(P)\) the \(W\)-restricted analytic residue of a \((q,0)\)-form \(R\,d\zeta_I\), \(R\in\mathbb{C}[X_1,\dots,X_n]\), at the point \(\alpha\) is the same as the residue on \(\mathcal W\) (completion of \(W\) in Proj\(\,\mathbb{C}[X_0, \dots, X_n]\)) at the point \(\alpha\) in the sense of Serre (\(q = 1\)) or Kunz-Lipman (\(1<q<n\)) of the \(q\)-differential form (\(R/P_1 \cdots P_q)\,d\zeta_I\). The authors present a restricted affine version of Jacobi's residue formula and derive some consequences of this result in the spirit of Cayley-Bacharach's theorem and Wood's results. The key point here is that the properness assumption along \(W\) which is satisfied by the polynomial map \(P := (P_1,\dots,P_q)\) does not imply that the Zariski closures of \(| W| \) and \(V(P_1,\dots,P_q)\) in \(\mathbb P^n(\mathbb{C})\) have an empty common intersection on the hyperplane at infinity.