Related papers: Reciprocity sheaves

We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…

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…

We develop the technique of compactified correspondences and homotopies over one-dimensional base schemes, and illuminate the perfectness and the inverting of characteristic assumptions from the celebrating Voevodsky's strict homotopy…

We describe an analogue of the notion of a perverse sheaf in the setting of the derived category of coherent sheaves on an algebraic stack. Under strong additional assumptions the construction of coherent "intersection cohomology" complexes…

These notes aim to give a first introduction to intersection cohomology and perverse sheaves with applications to representation theory or quantum groups in mind.

Let X be an n-dimensional smooth proper variety over a field admitting resolution of singularities, and Y,Z two disjoint closed subsets of X. We establish an isomorphism M(X-Z,Y) isomorphic to M(X-Y,Z)^*(n)[2n] in Voevodsky's triangulated…

In this paper we explore the link between the theory of sheaves on graphs and noncommutative geometry showing that many concepts and constructions in the latter can be generalized and enhanced using methods coming from the former. They…

We suggest a possibility for a categorical generalization of the concept of a perverse sheaf, in which vector spaces are replaced by triangulated categories. We call such hypothetical objects perverse Schobers and consider several examples,…

We construct smooth presentations of algebraic stacks that are local epimorphisms in the Morel-Voevodsky $\mathbb{A}^1$-homotopy category. As a consequence we show that the motive of a smooth stack (in Voevodsky's triangulated category of…

We give a brief introduction to tensor triangulated geometry, a brief introduction to various motivic categories, and then make some observations about the conjectural structure of the tensor triangulated spectrum of the Morel-Voevodsky…

We first recall the construction of the Chow motive modelling intersection cohomology of a proper surface and study its fundamental properties. Using Voevodsky's category of effective geometrical motives, we then study the motive of the…

In this paper, we shall give a candidate for the t-structure on the triangulated category of mixed motives due to Voevodsky.

This survey covers some of the recent developments on noncommutative motives and their applications. Among other topics, we compute the additive invariants of relative cellular spaces and orbifolds; prove Kontsevich's semi-simplicity…

Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…

These notes, written version of a Bourbaki talk, survey Morel-Voevodsky's motivic homotopy theory over a field, with a focus on computations of motivic homotopy sheaves, both stable and unstable. We also describe Isaksen-Wang-Xu's…

We construct a theory of higher local symbols along Parsin chains for reciprocity sheaves. Applying this formalism to differential forms, gives a new construction of the Parsin-Lomadze residue maps, and applying it to the torsion characters…

We develop a denotational semantics for general reference types in an impredicative version of guarded homotopy type theory, an adaptation of synthetic guarded domain theory to Voevodsky's univalent foundations. We observe for the first…

We study the cohomology of reflexive rank 2 sheaves on smooth projective threefolds. Applications are given to the moduli space of reflexive sheaves.

We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…

We sketch the construction of a derived enhancement of the reciprocity isomorphism of class field theory. Details will appear in a forthcoming joint paper of the authors with A. Raksit.