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

We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are \'etale local…

Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…

We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism $[T]:\mathcal A\to…

Let $E$ be an abelian scheme over a geometrically connected variety $X$ defined over $k$, a finitely generated field over $\mathbb{Q}$. Let $\eta$ be the generic point of $X$ and $x\in X$ a closed point. If $\mathfrak{g}_l$ and…

Faltings' approach in $p$-adic Hodge theory can be schematically divided into two main steps: firstly, a local reduction of the computation of the $p$-adic \'etale cohomology of a smooth variety over a $p$-adic local field to a Galois…

We set up the geometric background necessary to extend rigid cohomology from the case of algebraic varieties to the case of general locally noetherian formal schemes. In particular, we generalize Berthelot's strong fibration theorem to adic…

Let $K$ be a complete discrete valuation field whose residue field is perfect and of positive characteristic, let $X$ be a connected, proper scheme over $\mathcal{O}_K$, and let $U$ be the complement in $X$ of a divisor with simple normal…

We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if $f:X\to Y$ is a birational morphism of smooth projective…

We define a linear structure on Grothendieck's arithmetic fundamental group $\pi_1(X, x)$ of a scheme $X$ defined over a field $k$ of characteristic 0. It allows us to link the existence of sections of the Galois group ${\rm Gal}(\bar k/k)$…

Consider a simple algebraic group $G$ of classical type and its Lie algebra $\mathfrak{g}$. Let $(e,h,f) \subset \mathfrak{g}$ be an $\mathfrak{sl}_2$-triple and $Q_e= C_G(e,h,f)$. The torus $T_e$ that comes from the…

We investigate how the \'etale fundamental group controls local systems in characteristic $p$, namely $F$-divided sheaves. In analogy with Grothendieck-Malcev's results for discrete groups, we show that if a morphism $f \colon Y \to X$ of…

Let $k$ be a perfect field. Assume that the characteristic of $k$ satisfies certain tameness assumptions \eqref{tameness}. Let $\mathcal O_{_n} := k\llbracket z_{_1}, \ldots, z_{_n}\rrbracket$ and set $K_{_n} := \text{Fract}~\cO_{_n}$. Let…

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb{V} = R^{2k} f_{*} \mathbb{Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$…

We show that the fundamental groupoid~\(\Pi_1(X)\) of a locally path connected semilocally simply connected space~\(X\) can be equipped with a \emph{natural} topology so that it becomes a topological groupoid; we also justify the necessity…

Given a hilbertian field $k$ of characteristic zero and a finite Galois extension $E/k(T)$ with group $G$ such that $E/k$ is regular, we produce some specializations of $E/k(T)$ at points $t_0 \in \mathbb{P}^1(k)$ which have the same Galois…

Let X be a smooth complex projective variety with basepoint x. We prove that every rigid integral irreducible representation $\pi_1(X,x)\to SL (3,{\mathbb C})$ is of geometric origin, i.e., it comes from some family of smooth projective…

Let $\mathcal V$ be a discrete valuation ring of mixed characteristic with perfect residue field. Let $X$ be a geometrically connected smooth proper curve over $\mathcal V$. We introduce the notion of constructible convergent…

Given an elliptic fibration $f \colon X \to S$ over the spectrum of a complete discrete valuation ring with algebraically closed residue field, we use a Hochschild--Serre spectral sequence to express the torsion in $R^1f_\ast \mathscr{O}_X$…

Let $X$ be a smooth proper rigid analytic space over a complete algebraically closed field extension $K$ of $\mathbb{Q}_p$. We establish a Hodge--Tate decomposition for $X$ with $G$-coefficients, where $G$ is any commutative locally…