Consider a morphism between connected locally Noetherian normal schemes. In this paper, we discuss when the sequence of the etale fundamental groups associated to the morphism is exact. Moreover, we give a characterization of when the kernel of the induced homomorphism between their fundamental groups is topologically finitely generated, for the morphism from a smooth variety to a smooth curve.
Categories: math.NT