Isolated points, duality and residues (Q1358925): Difference between revisions

Let \(k\) be a field of characteristic zero, and let \(I\) be an ideal in the polynomial ring \(R=k[x_1,\ldots,x_n]\). Denote by \({\mathbf m}_\zeta=(x_1-\zeta_1,\ldots,x_n-\zeta_n)\) the maximal ideal of \(R\) corresponding to the closed point \(\zeta\in\text{Spec} R\). Using basic properties of the Macaulay inverse system associated to \(I\) [see \textit{F. S. Macaulay}, ``The algebraic theory of modular systems'' (1916; JFM 46.0167.01); see also the reprint (1994; Zbl 0802.13001)] the author proposes an effective algorithm which enables one to describe the \({\mathbf m}_\zeta\)-primary component of \(I\). He then explains how this algorithm can be applied to the computation of local residues, to the analysis of real branches of a curve which is locally complete intersection, and to the computation of resultants of homogeneous polynomials.