The exactness of the log homotopy sequence

Abstract

In the present paper, we develop the theory of log homotopy exact sequences associated to proper log smooth morphisms and morphisms whose characteristic sheaves are locally constant with stalks isomorphic to the monoid of natural numbers. In the process of developing this theory, we also show the existence of a logarithmic version of the Stein factorization and develop the theory of algebraization of log formal schemes.