Related papers: Variants of the de Jong fundamental group

If $k$ is a complete non-archimedean field and $X$ an adic space locally of finite type over $\mathrm{Spa}(k)$, let $\textbf{Cov}_{X}^{\mathrm{oc}}$ (resp. $\textbf{Cov}_{X}^{\mathrm{adm}}$) be the category of \'etale coverings of $X$ that…

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…

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 formal scheme $\mathfrak{X}$ of finite type over a complete rank one valuation ring, we construct a specialization morphism \[ \pi^{\rm dJ}_1(\mathfrak{X}_\eta) \to \pi^{\rm proet}_1(\mathfrak{X}_k) \] from the de Jong fundamental…

We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…

Given a quasi-projective variety X with only Kawamata log terminal singularities, we study the obstructions to extending finite \'etale covers from the smooth locus $X_{\mathrm{reg}}$ of $X$ to $X$ itself. A simplified version of our main…

We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough…

Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…

We consider sections of the \'etale homotopy exact sequence of a hyperbolic curve over a number field. We prove that two sections whose restrictions to decomposition groups are conjugate on a set of valuations of density one are globally…

To any finite group G in SL_2(C), and each `t' in the center of the group algebra of G, we associate a category, Coh_t. It is defined as a suitable quotient of the category of graded modules over (a graded version of) the deformed…

Finite \'etale covers of a connected scheme $X$ are parametrised by the \'etale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological…

For an internal category $\mathbb{C}$ in a cartesian category $\mathcal{C}$ we define, naturally in objects $X$ of $\mathcal{C}$, $Prin_{\mathbb{C}}(X)$. This is a category whose objects are principal $c \mathbb{C}$-bundles over $X$ and…

Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…

We prove that a strongly $F$-regular scheme $X$ admits a finite, generically Galois, and \'etale-in-codimension-one cover $\widetilde X \to X$ such that the \'etale fundamental groups of $\widetilde X$ and $\widetilde X_{reg}$ agree.…

We develope $\mathbb{C}^{\ast}$-equivariant categorical Donaldson-Thomas theory for local surfaces, i.e. the total spaces of canonical line bundles on smooth projective surfaces. We introduce $\mathbb{C}^{\ast}$-equivariant DT categories…

For a scheme X, denote by SH(X_et^hyp) the stabilization of the hypercompletion of its etale infty-topos, and by SH_et(X) the localization of the stable motivic homotopy category SH(X) at the (desuspensions of) etale hypercovers. For a…

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…

Let $K/E/\mathbb{Q}_p$ be a tower of finite extensions with $E$ Galois. We relate the category of $G_K$-equivariant vector bundles on the Fargues--Fontaine curve with coefficients in $E$ with $E$-$G_K$-$B$-pairs and describe crystalline and…

Let $X$ be a smooth scheme over a finite field of characteristic $p$. Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adic Weil cohomology: these are lisse Weil sheaves in \'etale cohomology when $\ell \neq p$,…

The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space…