Local Bézout theorem for Henselian rings (Q2404865)

This paper generalizes, to the frame of Henselian local rings, the following well-known result of local analytic geometry: Let \(p\) be an isolated point of multiplicity \(r\) of a local complex analytic variety \(V\). Then, after deforming the coefficients of the equations defining \(V\), there is a small neighborhood of \(p\) containing exactly \(r\) points (counted with multiplicity) of the deformed variety. In fact, the generalization provided in this paper has several forms. The first one is exactly the mentioned one concerning zeros. There are also two other forms involving the so-called border basis of a finitely presented A-algebra. Let us mention that the proofs are purely constructive.