Related papers: Local structure of smooth \texorpdfstring{$p$}{p}-…

This paper establishes strong profinite rigidity results for K\"ahler groups, showing that certain groups are determined within the class of residually finite K\"ahler groups by their profinite completion. Examples include products of…

Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin…

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…

Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally,…

We identify the simple algebraic groups over number fields that are, in a suitable sense, determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results essentially characterize higher rank arithmetic groups…

We show that finite (i.e. locally finite and decomposition-finite) objects of a connected Grothendieck topos span a Boolean pretopos with an essentially unique Galois point. The automorphism group of this point carries a profinite topology…

We construct Fourier transforms relating functions and distributions on finite height $p$-divisible rigid analytic groups and objects in a dual category of $\mathbb{Z}_p$-local systems with analyticity conditions. Our Fourier transforms are…

The set of all closed subgroups of a profinite carries a natural profinite topology. This space of subgroups can be classified up to homeomorphism in many cases, and tight bounds placed on its complexity as expressed by its scattered…

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…

In this paper we consider simplicial families, that is, simplicial objects indexed by a simplicial set. We develop a method to construct family hypercover refinements of a cover family based on the notion of \emph{n-spans} that we introduce…

The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…

We show that the classifying space of a $p$-local compact group is approximated by a telescope of classifying spaces of $p$-local finite groups. This result has numerous implications, like a Stable Elements Theorem for $p$-local compact…

We prove that the geometric etale fundamental group of a (geometrically connected) rigid smooth $p$-adic affinoid curve is a semi-direct factor of a certain profinite free group. We also prove that the maximal pro-$p$ (resp. maximal…

This is the first of a series of papers about \emph{quantization} in the context of \emph{derived algebraic geometry}. In this first part, we introduce the notion of \emph{$n$-shifted symplectic structures}, a generalization of the notion…

We study the local homology of Artin groups using weighted discrete Morse theory. In all finite and affine cases, we are able to construct Morse matchings of a special type (we call them "precise matchings"). The existence of precise…

We introduce the classes of TAP groups, in which various types of algebraic fibring are detected by the non-vanishing of twisted Alexander polynomials. We show that finitely presented LERF groups lie in the class $\mathsf{TAP}_1(R)$ for…

Let $\mathfrak{X}$ be a smooth connected $p$-adic formal scheme. Based on the prismatic description of crystalline local systems, we prove an analogue of Fontaine's conjecture for torsion crystalline local systems on the generic fiber of…

Using the completed inductive, projective and injective tensor products of Grothendieck for locally convex topological vector spaces, we develop a systematic theory of locally convex Hopf algebras with an emphasis on Pontryagin-type…

We investigate generalizations along the lines of the Mordell--Lang conjecture of the author's $p$-adic formal Manin--Mumford results for $n$-dimensional $p$-divisible formal groups $\mathcal{F}$. In particular, given a finitely generated…

We prove a number of results on the \'etale cohomology of rigid analytic varieties over $p$-adic non-archimedean local fields. Among other things, we establish bounds for Frobenius eigenvalues, show a strong version of Grothendieck's local…