smooth morphism

notion in algebraic geometry