A module structure and a vanishing theorem for cycles with modulus

TL;DR

This paper establishes a module structure for higher Chow groups with modulus on smooth schemes, derives key formulas, and proves vanishing results for 0-cycles on affine varieties, advancing understanding of additive higher Chow groups.

Contribution

It introduces a module structure for higher Chow groups with modulus and proves fundamental formulas and vanishing theorems, extending the theory significantly.

Findings

Higher Chow groups with modulus form a module over the Chow ring.

Derived pull-back, projective bundle, and blow-up formulas for these groups.

Proved vanishing of 0-cycles on certain affine varieties.

Abstract

We show that the higher Chow groups with modulus of Binda-Kerz-Saito for a smooth quasi-projective scheme $X$ is a module over the Chow ring of $X$. From this, we deduce certain pull-backs, the projective bundle formula, and the blow-up formula for higher Chow groups with modulus. We prove vanishing of $0$-cycles of higher Chow groups with modulus on various affine varieties of dimension at least two. This shows in particular that the multivariate analogue of Bloch-Esnault--R\"ulling computations of additive higher Chow groups of 0-cycles vanishes.