On the cohomology of reciprocity sheaves

  title={On the cohomology of reciprocity sheaves},
  author={Federico Binda and Kay R{\"u}lling and Shuji Saito},
  journal={Forum of Mathematics, Sigma},
Abstract In this paper, we show the existence of an action of Chow correspondences on the cohomology of reciprocity sheaves. In order to do so, we prove a number of structural results, such as a projective bundle formula, a blow-up formula, a Gysin sequence and the existence of proper pushforward. In this way, we recover and generalise analogous statements for the cohomology of Hodge sheaves and Hodge-Witt sheaves. We give several applications of the general theory to problems which have been… 

A motivic integral $p$-adic cohomology

. We construct an integral p -adic cohomology that compares with rigid cohomology after inverting p . Our approach is based on the log-Witt differentials of Hyodo– Kato and log-´etale motives of

A Hochschild-Kostant-Rosenberg theorem and residue sequences for logarithmic Hochschild homology

. This paper incorporates the theory of Hochschild homology into our program on log motives. We discuss a geometric definition of logarithmic Hochschild homology of derived pre-log rings and construct

Lectures on the cohomology of reciprocity sheaves

These are the notes accompanying three lectures given by the second author at the Motivic Geometry program at CAS, which aim to give an introduction and an overview of some recent developments in the

Motives and homotopy theory in logarithmic geometry

This document is a short user’s guide to the theory of motives and homotopy theory in the setting of logarithmic geometry. We review some of the basic ideas and results in relation to other works on

Ramification theory for reciprocity sheaves, III, Abbes-Saito formula

. We give a new geometric characterization of the motivic ramification filtration of reciprocity sheaves, by imitating a method used by Abbes and (Takeshi) Saito to study the ramification of torsors

Unramified logarithmic Hodge–Witt cohomology and $\mathbb {P}^1$-invariance

Abstract Let X be a smooth proper variety over a field k and suppose that the degree map ${\mathrm {CH}}_0(X \otimes _k K) \to \mathbb {Z}$ is isomorphic for any field extension $K/k$. We show that

On the mod p unramified cohomology of varieties having universally trivial Chow group of zero-cycles

Auel-Bigazzi-Bohning-Graf von Bothmer proved that if a proper smooth variety $X$ over a field $k$ of characteristic $p>0$ has universally trivial Chow group of $0$-cycles, the cohomological Brauer

Ramification theory of reciprocity sheaves, II, Higher local symbols

We construct a theory of higher local symbols along Paršin chains for reciprocity sheaves. Applying this formalism to differential forms, gives a new construction of the Paršin-Lomadze residue maps,

Ramification theory of reciprocity sheaves, I, Zariski-Nagata purity

. We prove a Zariski-Nagata purity theorem for the motivic ramification filtration of a reciprocity sheaf. An important tool in the proof is a generalization of the Kato-Saito reciprocity map from

Steinberg symbols and reciprocity sheaves

. We study multilinear symbols on fields taking values in reciprocity sheaves. We prove that any such symbol satisfying natural axioms automatically has Steinberg-type relations, which is a



The Brauer–Grothendieck Group

Motives with modulus, III: The categories of motives

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

Triangulated categories of logarithmic motives over a field

In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the

Cancellation theorems for reciprocity sheaves

We prove cancellation theorems for reciprocity sheaves and cube-invariant modulus sheaves with transfers of Kahn--Saito--Yamazaki, generalizing Voevodsky's cancellation theorem for

Tensor structures in the theory of modulus presheaves with transfers

The tensor product of $${\mathbb {A}}^1$$ A 1 -invariant sheaves with transfers introduced by Voevodsky is generalized to reciprocity sheaves via the theory of modulus presheaves with transfers. We

Motives with modulus, II: Modulus sheaves with transfers for proper modulus pairs

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



  • Aulus Gellius
  • Biology
    Journal of the Royal Asiatic Society of Great Britain & Ireland
  • 1893
It is suggested that polyploidization itself is not necessary in producing novel petal color patterns, and duplications of R2R3 - 36 MYB genes in the common ancestor of the two progenitors have apparently facilitated diversification of petal pigmentation patterns.

Motives with modulus, I: Modulus sheaves with transfers for non-proper modulus pairs

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

Smooth blowup square for motives with modulus

  • S. KellyS. Saito
  • Mathematics
    Bulletin of the Polish Academy of Sciences Mathematics
  • 2022
In this self-contained paper we prove that Voevodsky's smooth blowup triangle of motives generalises to a smooth blowup triangle of motives with modulus.