Specialization for the pro-étale fundamental group

Piotr Achinger, Marcin Lara, Alex Youcis

For a formal scheme $\mathfrak{X}$ of finite type over a complete rank one valuation ring, we construct a specialization morphism \[ π^{\rm dJ}_1(\mathfrak{X}_η) \to π^{\rm proet}_…