Related papers: Tensor structures in the theory of modulus preshea…
We prove cancellation theorems for reciprocity sheaves and cube-invariant modulus sheaves with transfers of Kahn--Saito--Yamazaki, generalizing Voevodsky's cancellation theorem for $\mathbf{A}^1$-invariant sheaves with transfers. As an…
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 develop a theory of modulus sheaves with transfers, which generalizes Voevodsky's theory of sheaves with transfers. This paper and its sequel are foundational for the theory of motives with modulus, which is developed in [KMSY20].
The purpose of this paper is to prove a conjecture on reciprocity sheaves by Kahn-Saito-Yamazaki. This is accomplished by extending Voevodsky's fundamental results on homotopy invariant (pre)sheaves with transfers to its generalizations,…
We give a description of the tensor product of SC-reciprocity presheaves with transfers in terms of $K$-group of geometric type, and we study a structure of the tensor product of $\mathbb{G}_a$ and $\mathbb{G}_a$. We apply our description…
Over a field of characteristic zero, we establish the homotopy invariance of the Nisnevich cohomology of homotopy invariant presheaves with oriented weak transfers, and the agreement of Zariski and Nisnevich cohomology for such presheaves.…
The notion of modulus is a striking feature of Rosenlicht-Serre's theory of generalized Jacobian varieties of curves. It was carried over to algebraic cycles on general varieties by Bloch-Esnault, Park, R\"ulling, Krishna-Levine. Recently,…
This paper is an introduction to the use of perverse sheaves with positive characteristic coefficients in modular representation theory. In the first part, we survey results relating singularities in finite and affine Schubert varieties and…
The category of framed correspondences $Fr_*(k)$, framed presheaves and framed sheaves were invented by Voevodsky in his unpublished notes [12]. Based on the theory, framed motives are introduced and studied in [7]. The main aim of this…
We relate R-equivalence on tori with Voevodsky's theory of homotopy invariant Nisnevich sheaves with transfers and effective motivic complexes.
We describe Somekawa's K-group associated to a finite collection of semi-abelian varieties (or more general sheaves) in terms of the tensor product in Voevodsky's category of motives. While Somekawa's definition is based on Weil…
We describe a noncommutative deformation theory for presheaves and sheaves of modules that generalizes the commutative deformation theory of these global algebraic structures, and the noncommutative deformation theory of modules over…
In this work we introduce reciprocity functors, construct the associated K-group of a family of reciprocity functors, which itself is a reciprocity functor, and compute it in several different cases. It may be seen as a first attempt to get…
We prove a conjecture of Morel identifying Voevodsky's homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy t-structure and have a trivial action of…
We study the category of wheeled PROPs using tools from Invariant Theory. A typical example of a wheeled PROP is the mixed tensor algebra ${\mathcal V}=T(V)\otimes T(V^\star)$, where $T(V)$ is the tensor algebra on an $n$-dimensional vector…
We compute the connective differential $K$-theory and the differential cohomology of the moduli stack of principal $G$-bundles with connection. The results are formulated in terms of invariant polynomials and the representation ring of $G$.…
We develop a theory of conically smooth stratified spaces and their smooth moduli, including a notion of classifying maps for tangential structures. We characterize continuous space-valued sheaves on these conically smooth stratified spaces…
We generalise Kahn, Miyazaki, Saito, Yamazaki's theory of modulus pairs to pairs $(X, D)$ consisting of a qcqs scheme $X$ equipped with an effective Cartier divisor $D$ representing a ramification bound. We develop theories of sheaves on…
We develop a theory of sheaves and cohomology on the category of proper modulus pairs. This complements [KMSY21], where a theory of sheaves and cohomology on the category of non-proper modulus pairs has been developed.
We introduce and study matrix transfers to achieve elementary models for bivariant $K$-theory. They share lots of common properties with Voevodsky's framed correspondences and lead to symmetric matrix motives of algebraic varieties…