Related papers: Specialization for the pro-\'etale fundamental gro…

Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…

Given a projective family of semi-stable curves over a complete discrete valuation ring of characteristic p with algebraically closed residue field, we construct a specialization functor between the category of continuous representations of…

The pro-\'etale fundamental group of a scheme, introduced by Bhatt and Scholze, generalizes the usual \'etale fundamental group $\pi_1^{\mathrm{et}}$ defined in SGA1 and leads to an interesting class of "geometric coverings" of schemes,…

The pro-\'etale fundamental group of a scheme, introduced by Bhatt and Scholze, generalizes formerly known fundamental groups -- the usual \'etale fundamental group $\pi_1^{\mathrm{et}}$ defined in SGA1 and the more general group defined in…

Consider a connected topological space $X$ with a point $x \in X$ and let $K$ be a field with the discrete topology. We study the Tannakian category of finite dimensional (flat) vector bundles on $X$ and its Tannakian dual $\pi_K (X,x)$…

We introduce the category of finite \'etale covers of an arbitrary schematic finite space $X$ and show that, equipped with an appropriate natural fiber functor, it is a Galois Category. This allows us to define the \'etale fundamental group…

For a proper, flat, generically smooth scheme $X$ over a complete DVR with finite residue field of characteristic $p$, we define a specialization morphism from the rigid cohomology of the geometric special fibre to $D_{crys}$ of the…

Let $k$ be a field with separable closure $\bar{k}\supset k$, and let $X$ be a qcqs $k$-scheme. We use the theory of profinite Galois categories developed by Barwick-Glasman-Haine to provide a quick conceptual proof that the sequences…

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…

Let $R$ be a discrete valuation ring with fraction field $K$. Let $X$ be a proper and faithfully flat $R$-scheme, endowed with a section $x \in X(R)$, with connected and reduced generic fibre $X_{\eta}$. Let $f: Y \rightarrow X_{\eta}$ be a…

For a rigid space $X$, we answer two questions of de Jong about the category $\mathbf{Cov}^\mathrm{adm}_X$ of coverings which are locally in the admissible topology on $X$ the disjoint union of finite etale coverings: we show that this…

Let $f : X \rightarrow Y$ be a generically smooth nonconstant morphism between irreducible projective curves, defined over an algebraically closed field, which is \'etale on an open subset of $Y$ that contains both the singular locus of $Y$…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

We study the unipotent completion $\Pi^{DR}_{un}(x_0, x_1, X_K)$ of the de Rham fundamental groupoid [De] of a smooth algebraic variety over a local non-archimedean field K of characteristic 0. We show that the vector space…

This paper is concerned with a refinement of the Stein factorization, and with applications to the study of deformations of surjective morphisms. We show that every surjective morphism f:X->Y between normal projective varieties factors…

We study a condensed version of the \'etale homotopy type of a scheme, which refines both the usual \'etale homotopy type of Friedlander-Artin-Mazur and the pro\'etale fundamental group of Bhatt-Scholze. In the first part of this paper, we…

We show that the natural morphism $\phi:\pi_1(X_{\eta},x_{\eta})\to \pi_1(X,x)_{\eta}$ between the fundamental group scheme of the generic fiber $X_{\eta}$ of a scheme $X$ over a connected Dedekind scheme and the generic fiber of the…

Given a relative faithfully flat pointed scheme over the spectrum of a discrete valuation ring $X \to S$ this paper is motivated by the study of the natural morphism from the fundamental group scheme of the generic fiber $X_\eta $ to the…