Local Bézout theorem (Q992805)

Let \((A,\mathfrak m,k)\) be a Henselian local ring with maximal ideal \(\mathfrak m\) and algebraically closed residue field \(k\) of characteristic zero, \(P\) be the polynomial ring \(A[X_1,\dots,X_n]\), \(I\) be an \(n\)-generated ideal in \(P\), and \(\mathfrak M\) be the maximal ideal \((\mathfrak m,X_1,\dots,X_n)\) of \(P\). It is shown that if \((P/(\mathfrak m,I))_{\mathfrak M}\) has Krull dimension zero, then \((P/I)_{\mathfrak M}\) is a free \(A\)-module of finite rank. This result is applied to study polynomials \(f_1,\dots,f_n\) over \(k[x_1,\dots,x_n]\), where the generators \(F_1,\dots,F_n\) of \(I\) are thought of as perturbations of \(f_1,\dots,f_n\). The technique of border bases is used in the proof.