A theorem on meromorphic descent and the specialization of the pro-étale fundamental group
Given a Noetherian formal scheme over , where is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of . Using this we construct a specialization functor from the category of continuous representations of the pro-étale fundamental group of the special fiber to the category of -divided sheaves on the generic fiber. This specialization functor partially recovers the specialization functor of the étale fundamental groups. We also express the pro-étale fundamental group of a connected scheme of finite type over a field as coproducts and quotients of the free group and the étale fundamental groups of the normalizations of the irreducible components of and those of its singular loci.