Related papers: W-types in sheaves

Over a smooth projective toric variety we study toric sheaves, that is, reflexive sheaves equivariant with respect to the acting torus, from a polyhedral point of view. One application is the explicit construction of the torus invariant…

This is an announcement of a long paper in progress. On a locally compact space, we introduce the stack of ind-sheaves (ind-objects of the category of sheaves with compact support) and construct the analogous of the usual six operations on…

This note is a continuation of the paper [2] (see references). We describe some natural pseudogroup structures on almost complex manifolds of type $m$. A kind of coherency is discussed for the sheaf of almost holomorphic functions.

These notes give a brief introduction to the category of spectra as defined in stable homotopy theory. In particular, Section 5 discusses an extensive list of examples of spectra whose properties have been found to be interesting.

Inspired by the works in linkage theory of modules, we define the concept of linkage of sheaves of modules as a generalization of linkage of modules. Thus, we expressed it in geometry algebraic language. We show that the linkedness of…

We describe convex quadric surfaces in n dimensions and characterize them as convex surfaces with quadric sections by a continuous family of hyperplanes.

Using the microlocal theory of sheaves, we associate a category to each Weinstein manifold. By constructing a microlocal specialization functor, we show that exact Lagrangians give objects in our category, and that the category is invariant…

We give a presentation of abelian class field theory.

Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for…

Let X be a stratified space on which the Juteau-Mautner-Williamson theory of parity sheaves is available. We develop a "nearby cycles formalism" in the framework of the homotopy category of parity sheaves on X, also known as the mixed…

This paper is devoted to a discussion of specific properties of invariants in the theory of forms.

We classify thick subcategories $\mathcal T \subset D^b(\mathrm{coh}\,C)$ for smooth projective curves $C$ over an algebraically closed field.

We provide a quiver description for Cherkis bow varieties in arbitrary type. We explain how this generalizes the construction of Nakajima quiver varieties. We give criteria for stability, non-emptiness, smoothness and discuss deformations.…

We study the extension groups between (modular) Wakimoto sheaves in type $\tilde{A_1}$. Firstly we determine them completely over characteristic zero fields. Secondly we describe a dg model which allows us to compute these groups in the…

We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…

We prove the cleanness of cuspidal character sheaves in the few cases where it was previously unknown.

Let $X$ be an integral model at a prime $p$ of a Shimura variety of PEL type having good reduction, associated to a reductive group $G$. To $\mathbb{Z}_p$ reprsententations of the group $G$ can be associated two kinds of sheaves : crystals…

We introduce a new method for ``twisting'' relative equivalences of derived categories of sheaves on two spaces over the same base. The first aspect of this is that the derived categories of sheaves on the spaces are twisted. They become…

Special cases of Weber-Schafheitlin type integrals are evaluated analytically.

It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case…