Related papers: The pro-\'etale topology for schemes

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of…

Graded Hecke algebras can be constructed geometrically, with constructible sheaves and equivariant cohomology. The input consists of a complex reductive group G (possibly disconnected) and a cuspidal local system on a nilpotent orbit for a…

In this text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model…

The aim of the paper and of a wider project is to translate main notions of anabelian geometry into the language of model theory. Here we finish with giving the definition of the \'etale fundamental group $\pi^{et}_1(X,x)$ of a non-singular…

In this paper we show that it is possible to define a topology on the category of formal schemes over a ring of $p$-adic integers such that the left adjoint of the Greenberg Transform is a site cocontinuous functor when we equip the…

In this paper, we introduce a new class of $\ell$-adic sheaves, which we call quadratic $\ell$-adic sheaves, on connected unipotent commutative algebraic groups over finite fields. They are sheaf-theoretic enhancements of quadratic forms on…

We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…

For any topological space there is a sheaf cohomology. A Grothendieck topology is a generalization of the classical topology such that it also possesses a sheaf cohomology. On the other hand any noncommutative $C^*$-algebra is a…

In this paper, we describe an algorithm that, for a smooth connected curve $X$ over a field $k$ with normal completion having arithmetic genus $p_a(X)$, a finite locally constant sheaf $\mathcal A$ on $X_{et}$ of abelian groups of torsion…

The article is devoted to a comparison of the \v{C}ech cohomology with the coefficients in a presheaf of Abelian groups and the topos cohomology of the sheaf generated by this presheaf for a poset with the Aleksandrov topology. The article…

We use Kiehl-Verdier's and Houzel's finiteness theorems in the setting of local analytic geometry, and the Whitney-Thom theory of stratified spaces, to prove that fibrewise constructible complex of sheaves have coherent direct images. We…

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the…

The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As…

We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective…

We construct the pro-Nisnevich topology, an analog of the pro-\'etale topology. We then show that the Nisnevich $\infty$-topos embeds into the pro-Nisnevich $\infty$-topos, and that the pro-Nisnevich $\infty$-topos is locally of homotopy…

Let $A$ be an abelian variety over a number field $K$ with good reduction outside a finite set of primes $S$. We show that if the $\ell$-torsion subgroup schemes $A[\ell^n]$ lie in a certain category of group schemes, then $A[\ell^n]$ does…

The cohomology of a tiling or a point pattern has originally been defined via the construction of the hull or the groupoid associated with the tiling or the pattern. Here we present a construction which is more direct and therefore easier…

We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a…

In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…

The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.