Related papers: Flexible sheaves
A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…
Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an…
A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category…
We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only…
The purpose of this paper is to develop a theory of $(\infty, 1)$-stacks, in the sense of Hirschowitz-Simpson's `Descent Pour Les n-Champs', using the language of quasi-category theory and the author's local Joyal model structure. The main…
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…
An orthogonality space is a set together with a symmetric and irreflexive binary relation. Any linear space equipped with a reflexive and anisotropic inner product provides an example: the set of one-dimensional subspaces together with the…
On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $\rho$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived…
We introduce a notion of constructibility for \'etale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We…
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…
The famous example of the double-Watt mechanism given by Connelly and Servatius raises some problems concerning the classical definitions of higher-order flexibility and rigidity, respectively. Recently, the author was able to give a proper…
We start developing a notion of reciprocity sheaves, generalizing Voevodsky's homotopy invariant presheaves with transfers which were used in the construction of his triangulated categories of motives. We hope reciprocity sheaves will…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…
We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…
For a small category $\mathcal{D}$ we define fibrations of simplicial presheaves on the category $\mathcal{D}\times\Delta$, which we call localized $\mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a…
We develop theory of (possibly large) cotilting objects of injective dimension at most one in general Grothendieck categories. We show that such cotilting objects are always pure-injective and that they characterize the situation where the…
Building on the work of Gerstenhaber and Schack for presheaves of algebras, we define a Gerstenhaber-Schack complex C_GS(A) for an arbitrary prestack A, that is a pseudofunctor taking values in linear categories over a commutative ground…
This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…