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

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…

We show that for each aspherical compact complex surface $X$ whose fundamental group $\pi$ fits into a short exact sequence $$ 1\to K \to \pi \to \pi_1(S) \to 1 $$ where $S$ is a compact hyperbolic Riemann surface and the group $K$ is…

Permutation products and their various "fat diagonal" subspaces are studied from the topological and geometric point of view. We describe in detail the stabilizer and orbit stratifications related to the permutation action, producing a…

We prove that any compact, orientable 3-manifold with empty or toral boundary is profinitely almost rigid among all compact, orientable 3-manifolds. In other words, the profinite completion of its fundamental group determines its…

We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…

We fix an excellent regular noetherian scheme $S$ over ${\mathbf Z}_{(p)}$ satisfying a certain finiteness condition. For a constructible \'etale sheaf ${\cal F}$ on a regular scheme $X$ of finite type over $S$, we introduce a variant of…

We show that the multivariate additive higher Chow groups of a smooth affine $k$-scheme $\Spec (R)$ essentially of finite type over a perfect field $k$ of characteristic $\not = 2$ form a differential graded module over the big de Rham-Witt…

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that…

Let $K|\mathbb{Q}_p$ be a complete discrete valuation field with perfect residue field, $O_K$ be its ring of integers. Consider a semistable $p$-adic formal scheme $X$ over $\mathrm{Spf}(O_K)$ with smooth generic fiber $X_{\eta}$.…

As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $\rho$ of the arithmetic fundamental group…

For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant…

We give a condition that ensures that a fibered category over a field admits a universal morphism to a profinite gerbe. This fundamental gerbe generalizes both Nori's fundamental group scheme and Deligne's relative fundamental groupoid.…

The proalgebraic fundamental group of a connected topological space $X$, recently introduced by the first author, is an affine group scheme whose representations classify local systems of finite-dimensional vector spaces on $X$. In this…

We show the surjectivity of a specialisation map on higher $(0,1)$-cycles for a smooth projective scheme over an excellent henselian discrete valuation ring. This gives evidence for a conjecture stated in an article of Kerz, Esnault and…

In this note we define a subgroup $H^i_{nr,\pi}$ of unramified cohomology group $H^i_{nr}$ of a fibration $\pi:X\to S$. This subgroup can be used efficiently in refined specialization arguments and allows to detect the failure of stable…

We summarize several results about the regular coverings and the fundamental groupoids of Alexandroff spaces. In particular, we show that the fundamental groupoid of an Alexandroff space $X$ is naturally isomorphic to the localization, at…

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

We prove that for any proper smooth formal scheme $\frak X$ over $\mathcal O_K$, where $\mathcal O_K$ is the ring of integers in a complete discretely valued nonarchimedean extension $K$ of $\mathbb Q_p$ with perfect residue field $k$ and…

A. Vistoli observed that, if Grothendieck's section conjecture is true and $X$ is a smooth hyperbolic curve over a field finitely generated over $\mathbb{Q}$, then $\underline{\pi}_{1}(X)$ should somehow have essential dimension $1$. We…