About inseparable morphisms (Q4034573)

In the note under review we are interested to estimate the inseparable degree of a morphisms between algebraic varieties. We prove: Theorem: Let \(g:X\to Y\) be a generically finite dominant morphism of irreducible algebraic varieties. There exist finitely many codimension one subvarieties \(Z_ 1,\dots,Z_ s\) of \(X\) such that if \(Z\) is a codimension one irreducible subvariety of \(X\), not equal to one of these subvarieties, then \(g|_ Z:Z\to g(Z)\) is generically finite and \(\deg_ i(g|_ Z)\leq\deg_ i(g)\). As an application we find a lower bound for the inseparable degree of the Gauss map of a certain algebraic surface in \(\mathbb{P}^ 3\).