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

Let X be a smooth or proper variety defined over a finite field. The geometric etale fundamental group of X is a normal subgroup of the Weil group, so conjugation gives it a Weil action. We consider the pro-Q_l-algebraic completion of the…

We prove a version of Temkin's local altered uniformization theorem. We show that for any rig-smooth, quasi-compact and quasi-separated admissible formal $\mathcal{O}_K$-model $\mathfrak{X}$, there is a finite extension $K'/K$ such that…

This paper constructs cospecialization homomorphisms between the (p') versions of the tempered fundamental group of the fibers of a smooth morphism with polystable reduction (the tempered fundamental group is a sort of analog of the…

We give a characterization of toral relatively hyperbolic virtually special groups in terms of the profinite completion. We also prove a Tits alternative for subgroups of the profinite completion $\hat G$ of a relatively hyperbolic…

We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the "exactification"-procedures in ordinary log geometry in terms of Quillen's approach to the cotangent complex, we…

In algebraic geometry specialisations and valuations play and important role. In this paper we start investigating analogous structures for Zariski structures. Specifically, we look into the existence and uniqueness properties of extensions…

The goal of this paper is to obtain restrictions on the prime to p quotient of the \'etale fundamental group of a smooth projective variety in characteristic $p\ge 0$. The results are analogues some theorems in the study of K\"ahler groups.…

Let $X$ and $S$ be complex spaces with $X$ countable at infinity and $S$ reduced locally pure dimensional. Let $\pi:X\to S$ be an universally-$n$-equidimensional morphism (i.e open with constant pure $n$-dimensional fibers). If there is a…

Let $C$ be a complete algebraically closed extension of $\mathbb{Q}_p$, and let $\mathfrak{X}$ be a smooth formal scheme over $\mathcal{O}_C$. By the work of Bhatt--Morrow--Scholze, it is known that when $\mathfrak{X}$ is proper, the length…

We study the arithmetic of del Pezzo surfaces $Y$ of degree 2 over a function field, and in particular, the cokernel of the homomorphism from the Picard group to the Galois-invariants of the geometric Picard group $\operatorname{Pic} Y…

This paper is a continuation of an earlier paper of the authors on the probem of specializations of modules. The aim here is to define specialisations of finitely generated modules over local rings of the form k(u)[X]_P, where u is a family…

Let $p$ be a prime number, $V$ a discrete valuation ring of unequal caracteristics $(0,p)$, $G$ a smooth affine algebraic group over $Spec \,V$. Using partial divided powers techniques of Berthelot, we construct arithmetic distribution…

We develop properties of unramified, \'etale and smooth morphisms between Berkovich spaces over $\mathbb{Z}$. We prove that they satisfy properties analogous to those of morphisms of schemes and we provide analytification criteria. Our…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

Let $X$ be a closed subscheme embedded in a scheme $W$ smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I}(X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We…

Let $(X,\bar x)$ be a pointed connected noetherian scheme. In this note, we give characterizations for the vanishing of the second \'etale homotopy group $\pi^{\rm \'et}_2(X,\bar x)$ in terms of splitting profinite-\'etale covers of $X$,…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

Let $\pi\cln X\to \Delta^m$ be a proper smooth K\"ahler morphism from a complex manifold $X$ to the unit polydisc $\Delta^m$. Suppose the fibers over the complement of a proper analytic subset are biholomorphic to a fixed projective…

Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let \pi(M, x_0) be the fundamental group scheme of M with respect to a base point x_0. Let G be a connected semisimple linear algebraic group over…

Let $\mathcal{X}\rightarrow C$ be a dominant morphism between smooth irreducible varieties over a finitely generated field $k$ such that the generic fiber $X$ is smooth, projective and geometrically connected. Assuming that $C$ is a curve…