scientific article; zbMATH DE number 1062643
The paper under review gives a simple algebraic proof of the following theorem: Given a birational morphism \(f:Y\to X\) of irreducible algebraic varieties over an arbitrary field \(k\) and a point \(x\in X\), suppose that \(y\in Y\) is an isolated point of the fibre \(f^{-1}(x).\) Then \(f^{-1}(x)=\{y\}\) whenever \(X\) is analytically irreducible at \(x\); moreover, if \(X\) is normal at \(x\), \(f\) is a local isomorphism at \(y\). Let \((A,m_A)\) and \((B,m_B)\) be the local rings of the points \(x\), \(y\) on \(X\) and \(Y\). The author proves that \(B\) is a finite \(A\)-module under the assumptions of the theorem, then he proves the theorem by the valuation criterion of separatedness.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4355116)
