Related papers: Modulus sheaves with transfers

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 study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…

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.…

Let U be a smooth quasi-projective variety over a field k that is finite, the algebraic closure of a finite field or algebraically closed of characteristic 0. Let X be a suitable projective compactification of U, and D an effective divisor…

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…

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…

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…

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…

Let X be a separated scheme of finite type over a field k and D a non-reduced effective Cartier divisor on it. We attach to the pair (X, D) a cycle complex with modulus, whose homotopy groups - called higher Chow groups with modulus -…

We initiate a systematic study on the cohomology rings of the moduli stack $\mathfrak{M}_{d,\chi}$ of semistable one-dimensional sheaves on the projective plane. We introduce a set of tautological relations of geometric origin, including…

A classic result by Raynaud and Gruson says that the notion of an (infinite dimensional) vector bundle is Zariski local. This result may be viewed as a particular instance (for n = 0) of the locality of more general notions of…

Building on the theory of parity sheaves due to Juteau-Mautner-Williamson, we develop a formalism of "mixed modular perverse sheaves" for varieties equipped with a stratification by affine spaces. We then give two applications: (1) a…

In Voevodsky's theory of motives, the Nisnevich topology on smooth schemes is used as an important building block. In this paper, we introduce a Grothendieck topology on proper modulus pairs, which will be used to construct a non-homotopy…

Let $X$ be an algebraic K3 surface, $v=(r,H,s)$ a primitive isotropic Mukai vector on $X$ and $M_X(v)$ the moduli of sheaves over $X$ with $v$. Let $N(X)$ be Picard lattice of $X$. In math.AG/0309348 and math.AG/0606289, all divisors in…

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 construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass…

We extend the ramified geometric Satake equivalence due to Zhu (for tamely ramified groups) and the third named author (in full generality) from rational coefficients to include modular and integral coefficients.

We relate R-equivalence on tori with Voevodsky's theory of homotopy invariant Nisnevich sheaves with transfers and effective motivic complexes.

In this paper, we study cohomology theories of $\mathbb{Q}$-modulus pairs, which are pairs $(X, D)$ consisting of a scheme $X$ and a $\mathbb{Q}$-divisor $D$. Our main theorem provides a sufficient condition for such a cohomology theory to…

We introduce a class of causal manifolds which contains the globally hyperbolic spacetimes and we prove global propagation theorems for sheaves on such manifolds. As an application, we solve globally the Cauchy problem for hyperfunction…