Related papers: Precosheaves of pro-sets and abelian pro-groups ar…

It is proved that for any Grothendieck site $X$, there exists a coreflection (called $\mathbf{cosheafification}$) from the category of precosheaves on $X$ with values in a category $\mathbf{K}$, to the full subcategory of cosheaves,…

The categories pCS(X,Pro(k)) of precosheaves and CS(X,Pro(k)) of cosheaves on a small Grothendieck site X, with values in the category Pro(k) of pro-k-modules, are constructed. It is proved that pCS(X,Pro(k)) satisfies the AB4 and AB5*…

We identify a class of "quasi-compact semi-separated" (qcss) twisted presheaves of algebras A for which well-behaved Grothendieck abelian categories of quasi-coherent modules Qch(A) are defined. This class is stable under algebraic…

We prove analogs of Whitehead's theorem (from algebraic topology) for both the Chow groups and for the Grothendieck group of coherent sheaves: a morphism between smooth projective varieties whose pushforward is an isomorphism on the Chow…

We prove that every Grothendieck topology induces a hereditary torsion pair in the category of presheaves of modules on a ringed site, and obtain a homological characterization of sheaves of modules: a presheaf of modules is a sheaf of…

The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the…

Steinberg pro-groups are certain pro-groups used to analyze ordinary Steinberg groups locally in Zariski topology. In this paper we show that Steinberg pro-groups associated with general linear groups, odd unitary groups, and Chevalley…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group over a regular semilocal ring is itself trivial. Extending the work of \v{C}esnavi\v{c}ius and Fedorov, we prove a non-noetherian…

We prove that the category of profinite cosheaves valued in a pro-regular category (satisfying mild assumptions) is itself a pro-regular category. As a corollary, we extend Wilkes's cosheaf-bundle equivalence from profinite modules to…

A full reflective subcategory E of a presheaf category [C*,Set] is the category of sheaves for a topology j on C if and only if the reflection preserves finite limits. Such an E is called a Grothendieck topos. More generally, one can…

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…

There is a well-established homotopy theory of simplicial objects in a Grothendieck topos, and folklore says that the weak equivalences are axiomatisable in the geometric fragment of $L_{\omega_1, \omega}$. We show that it is in fact a…

In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal…

Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos…

We prove that for every reductive algebraic group $H$ with centre of positive dimension and every integer $K$ there is a smooth and projective variety $X$ and an algebraic $H$-torsor $P \to X$ such that the classifying map $X \to \Bclass H$…

Let $\mathbb{X}$ be a weighted noncommutative regular projective curve over a field $k$. The category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves is a hereditary, locally noetherian Grothendieck category. We classify all…

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…

Motivated by algebraic quantum field theory, we study presheaves of symmetric tensor categories defined over the base of a space, intended as a spacetime. Any section of a presheaf (that is, any "superselection sector", in the applications…

This paper is concerned with the primitive cohomology of a smooth projective hypersurface considered as a linear representation for its automorphism group. Using the Lefschetz-Riemann-Roch formula, the character of this representation is…

We show that the category of presheaves of simplicial groupoids on a site $\mathcal{C}$ is a right proper simplicial model category. We define $G$-torsor of presheaf of 2-groupoids $G$, presheaf of simplicial groups $G$ and presheaf of…