Showing 1–24 of 24 results for author: Binda, F

Logarithmic TC via the Infinite Root Stack and the Beilinson Fiber Square

Authors: Federico Binda, Tommy Lundemo, Alberto Merici, Doosung Park

Abstract: We apply our previous results on ``saturated descent'' to express a wide range of logarithmic cohomology theories in terms of the infinite root stack. Examples include the log cotangent complex, Rognes' log topological cyclic homology, and Nygaard-complete log prismatic cohomology. As applications, we show that the Nygaard-completion of the site-theoretic log prismatic cohomology coincides with th… ▽ More We apply our previous results on ``saturated descent'' to express a wide range of logarithmic cohomology theories in terms of the infinite root stack. Examples include the log cotangent complex, Rognes' log topological cyclic homology, and Nygaard-complete log prismatic cohomology. As applications, we show that the Nygaard-completion of the site-theoretic log prismatic cohomology coincides with the definition arising from log ${\rm TC}$, and we establish a log version of the ${\rm TC}$-variant of the Beilinson fiber square of Antieau--Mathew--Morrow--Nikolaus. △ Less

Submitted 28 August, 2024; originally announced August 2024.

Comments: 20 pages, comments welcome!

MSC Class: 14F30; 14A21; 14F40; 13D03

On the logarithmic slice filtration

Authors: Federico Binda, Doosung Park, Paul Arne Østvær

Abstract: We consider slice filtrations in logarithmic motivic homotopy theory. Our main results establish conjectured compatibilities with the Beilinson, BMS, and HKR filtrations on (topological, log) Hochschild homology and related invariants. In the case of perfect fields admitting resolution of singularities, we show that the slice filtration realizes the BMS filtration on the $p$-completed topological… ▽ More We consider slice filtrations in logarithmic motivic homotopy theory. Our main results establish conjectured compatibilities with the Beilinson, BMS, and HKR filtrations on (topological, log) Hochschild homology and related invariants. In the case of perfect fields admitting resolution of singularities, we show that the slice filtration realizes the BMS filtration on the $p$-completed topological cyclic homology. Furthermore, the motivic trace map is compatible with the slice and BMS filtrations, yielding a natural morphism from the motivic slice spectral sequence to the BMS spectral sequence. Finally, we consider the Kummer étale hypersheafification of logarithmic $K$-theory and show that its very effective slices compute Lichtenbaum étale motivic cohomology. △ Less

Submitted 22 December, 2024; v1 submitted 5 March, 2024; originally announced March 2024.

Comments: 32 pages. Final version, to appear in Geometry & Topology

Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems

Authors: Federico Binda, Tommy Lundemo, Alberto Merici, Doosung Park

Abstract: We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify their cofibers. We also prove a smooth blow-up formula and we compute prismatic and syntomic cohomology of Grassmannians. In the second part of the paper, we… ▽ More We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify their cofibers. We also prove a smooth blow-up formula and we compute prismatic and syntomic cohomology of Grassmannians. In the second part of the paper, we develop a descent technique inspired by the work of Nizioł~ on log $K$-theory. Using the resulting \emph{saturated descent}, we prove de Rham and crystalline comparison theorems for log prismatic cohomology, and the existence of Gysin maps for $A_{\inf}$-cohomology. △ Less

Submitted 4 January, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: 51 pages, added smooth blow-up formula and computations of the cohomology of Grassmanians. A few typos corrected

MSC Class: 14F30 (Primary) 14F42; 14A21; 13D03 (Secondary)

Motivic monodromy and p-adic cohomology theories

Authors: Federico Binda, Martin Gallauer, Alberto Vezzani

Abstract: We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse to log-geometry, as predicted by Fontaine, and we produce an induced Clemens-Schmid chain complex. We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse to log-geometry, as predicted by Fontaine, and we produce an induced Clemens-Schmid chain complex. △ Less

Submitted 31 October, 2024; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: 51 pages. Minor changes to Section 4.7. To appear in JEMS

Report number: HIM-Spectral-2022, MPIM-Bonn-2022

Logarithmic Prismatic Cohomology via Logarithmic THH

Authors: Federico Binda, Tommy Lundemo, Doosung Park, Paul Arne Østvær

Abstract: Inspired by Bhatt-Morrow-Scholze's work on ${\rm THH}$, we define Nygaard-completed log prismatic cohomology based on log topological Hochschild homology via filtrations on log ${\rm THH}$ and its variants. Moreover, of independent interest, we describe log ${\rm THH}$ for quasiregular semiperfectoids as a $1$-parameter deformation of ordinary, non-logarithmic Hochschild homology. Inspired by Bhatt-Morrow-Scholze's work on ${\rm THH}$, we define Nygaard-completed log prismatic cohomology based on log topological Hochschild homology via filtrations on log ${\rm THH}$ and its variants. Moreover, of independent interest, we describe log ${\rm THH}$ for quasiregular semiperfectoids as a $1$-parameter deformation of ordinary, non-logarithmic Hochschild homology. △ Less

Submitted 6 September, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: 30 pages. Final version, with an additional comparison with log (derived) de Rham cohomology. To appear in IMRN

MSC Class: 14F30; 19D55; 13D03; 14A21

Logarithmic motivic homotopy theory

Authors: Federico Binda, Doosung Park, Paul Arne Østvær

Abstract: This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and cyclic homology, as well as algebraic $K$-theory of regular schemes. Additionally, we can realize the cyclotomic trace as a morphism between motivic spectra. A… ▽ More This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and cyclic homology, as well as algebraic $K$-theory of regular schemes. Additionally, we can realize the cyclotomic trace as a morphism between motivic spectra. Among our applications, we provide a generalized framework of oriented cohomology theories that enables us to produce new residue sequences for (topological) Hochschild, periodic, and cyclic homology of classical schemes. We also compute $THH$ and its variants for Grassmannians, and we define a new version of algebraic cobordism. Finally, we give a construction of a log étale stable realization functor, as well as a Kato-Nakayama realization functor, which is of independent interest for applications in log geometry. △ Less

Submitted 2 July, 2025; v1 submitted 5 March, 2023; originally announced March 2023.

Comments: 130 pages, final version. To appear in Memoirs of the AMS

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

Authors: Federico Binda, Tommy Lundemo, Doosung Park, Paul Arne Østvær

Abstract: 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 an André-Quillen type spectral sequence. The latter degenerates for derived log smooth maps between discrete pre-log rings. We employ this to show a logarithmic version of the Hochschild-Kostant-Rosenb… ▽ More 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 an André-Quillen type spectral sequence. The latter degenerates for derived log smooth maps between discrete pre-log rings. We employ this to show a logarithmic version of the Hochschild-Kostant-Rosenberg theorem and that logarithmic Hochschild homology is representable in the category of log motives. Among the applications, we deduce a generalized residue sequence involving blow-ups of log schemes. △ Less

Submitted 6 October, 2023; v1 submitted 28 September, 2022; originally announced September 2022.

Comments: 46 pages. Final version, to appear in Advances in Mathematics

MSC Class: 13D03; 14A21; 14F42; 19D55

On the p-adic weight-monodromy conjecture for complete intersections in toric varieties

Authors: Federico Binda, Hiroki Kato, Alberto Vezzani

Abstract: We give a proof of the $p$-adic weight monodromy conjecture for scheme-theoretic complete intersections in projective smooth toric varieties. The strategy is based on Scholze's proof in the $\ell$-adic setting, which we adapt using homotopical results developed in the context of rigid analytic motives. We give a proof of the $p$-adic weight monodromy conjecture for scheme-theoretic complete intersections in projective smooth toric varieties. The strategy is based on Scholze's proof in the $\ell$-adic setting, which we adapt using homotopical results developed in the context of rigid analytic motives. △ Less

Submitted 10 June, 2025; v1 submitted 1 July, 2022; originally announced July 2022.

Comments: 36 pages. Minor edits. To appear in Invent. Math

MSC Class: 14F30; 14F42; 14G22; 14G45

Suslin homology via cycles with modulus and applications

Authors: Federico Binda, Amalendu Krishna

Abstract: We show that for a smooth projective variety $X$ over a field $k$ and a reduced effective Cartier divisor $D \subset X$, the Chow group of 0-cycles with modulus $\mathrm{CH}_0(X|D)$ coincides with the Suslin homology $H^S_0(X \setminus D)$ under some necessary conditions on $k$ and $D$. We derive several consequences, and we answer to a question of Barbieri-Viale and Kahn. We show that for a smooth projective variety $X$ over a field $k$ and a reduced effective Cartier divisor $D \subset X$, the Chow group of 0-cycles with modulus $\mathrm{CH}_0(X|D)$ coincides with the Suslin homology $H^S_0(X \setminus D)$ under some necessary conditions on $k$ and $D$. We derive several consequences, and we answer to a question of Barbieri-Viale and Kahn. △ Less

Submitted 1 September, 2022; v1 submitted 14 February, 2022; originally announced February 2022.

Comments: 27 pages. Final version, to appear in Transactions of the AMS

MSC Class: Primary 14C25; Secondary 14F42; 19E15

GAGA problems for the Brauer group via derived geometry

Authors: Federico Binda, Mauro Porta

Abstract: This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita equivalence), which is consequence of a more general Beauville-Laszlo kind of statement for quasi-coherent sheaves of categories. Next, we prove that given any (derived) scheme $X$, proper over the spectrum of a quasi-exce… ▽ More This paper is dedicated to a further study of derived Azumaya algebras. The first result we obtain is a Beauville-Laszlo-style property for such objects (considered up to Morita equivalence), which is consequence of a more general Beauville-Laszlo kind of statement for quasi-coherent sheaves of categories. Next, we prove that given any (derived) scheme $X$, proper over the spectrum of a quasi-excellent Henselian ring, the derived Brauer group of $X$ injects into the one of the Henselization of $X$ along the base, generalizing a classical result of Grothendieck and a more recent theorem of Geisser-Morin. As a separate application, we deduce that Grothendieck's existence theorem holds for the stable $\infty$-categories of twisted sheaves even when the corresponding $\bbG_m$-gerbe does not satisfy the resolution property, offering an improvement of a result of Alper, Rydh and Hall. △ Less

Submitted 19 April, 2023; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 33 pages. Major rewriting. Two main theorems added: a Beauville-Laszlo for quasi-coherent sheaves of categories and Grothendieck existence for G_m-gerbes over categorically proper bases

Derived Log Albanese Sheaves

Authors: Federico Binda, Alberto Merici, Shuji Saito

Abstract: We define higher pro-Albanese functors for every effective log motive over a field $k$ of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline{X}, \partial X)$. The result involves an inverse system of the coherent cohomology of the underlying scheme as well as a pro-group scheme $\mathrm{Alb}^{\log}(X)$ that extends Serre's semi-abelian Albanese variety of… ▽ More We define higher pro-Albanese functors for every effective log motive over a field $k$ of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline{X}, \partial X)$. The result involves an inverse system of the coherent cohomology of the underlying scheme as well as a pro-group scheme $\mathrm{Alb}^{\log}(X)$ that extends Serre's semi-abelian Albanese variety of $\underline{X}-|\partial X|$. This generalizes the higher Albanese sheaves of Ayoub, Barbieri-Viale and Kahn. △ Less

Submitted 22 January, 2023; v1 submitted 2 July, 2021; originally announced July 2021.

Comments: 61 pages: final version. To appear in Advances in Mathematics

MSC Class: 14C15; 14C22; 14K30; 18G10

Zero-cycle groups on algebraic varieties

Authors: Federico Binda, Amalendu Krishna

Abstract: We compare various groups of 0-cycles on quasi-projective varieties over a field. As applications, we show that for certain singular projective varieties, the Levine-Weibel Chow group of 0-cycles coincides with the corresponding Friedlander-Voevodsky motivic cohomology. We also show that over an algebraically closed field of positive characteristic, the Chow group of 0-cycles with modulus on a smo… ▽ More We compare various groups of 0-cycles on quasi-projective varieties over a field. As applications, we show that for certain singular projective varieties, the Levine-Weibel Chow group of 0-cycles coincides with the corresponding Friedlander-Voevodsky motivic cohomology. We also show that over an algebraically closed field of positive characteristic, the Chow group of 0-cycles with modulus on a smooth projective variety with respect to a reduced divisor coincides with the Suslin homology of the complement of the divisor. We prove several generalizations of the finiteness theorem of Saito and Sato for the Chow group of 0-cycles over $p$-adic fields. We also use these results to deduce a torsion theorem for Suslin homology which extends a result of Bloch to open varieties. △ Less

Submitted 11 January, 2022; v1 submitted 16 April, 2021; originally announced April 2021.

Comments: 39 pages. Title changed. Final version, to appear in J. de l'École polytechnique

MSC Class: Primary 14C25; Secondary 14F42; 19E15

Connectivity and Purity for logarithmic motives

Authors: Federico Binda, Alberto Merici

Abstract: The goal of this paper is to extend the work of Voevodsky and Morel on the homotopy $t$-structure on the category of motivic complexes to the context of motives for logarithmic schemes. To do so, we prove an analogue of Morel's connectivity theorem and show a purity statement for $(\mathbf{P}^1, \infty)$-local complexes of sheaves with log transfers. The homotopy $t$-structure on… ▽ More The goal of this paper is to extend the work of Voevodsky and Morel on the homotopy $t$-structure on the category of motivic complexes to the context of motives for logarithmic schemes. To do so, we prove an analogue of Morel's connectivity theorem and show a purity statement for $(\mathbf{P}^1, \infty)$-local complexes of sheaves with log transfers. The homotopy $t$-structure on $\mathbf{logDM}^{\textrm{eff}}(k)$ is proved to be compatible with Voevodsky's $t$-structure i.e. we show that the comparison functor $R^{\overline{\square}}ω^*\colon \mathbf{DM}^{\textrm{eff}}(k)\to \mathbf{logDM}^{\textrm{eff}}(k)$ is $t$-exact. The heart of the homotopy $t$-structure on $\mathbf{logDM}^{\textrm{eff}}(k)$ is the Grothendieck abelian category of strictly cube-invariant sheaves with log transfers: we use it to build a new version of the category of reciprocity sheaves in the style of Kahn--Saito--Yamazaki and Rülling. △ Less

Submitted 24 January, 2022; v1 submitted 15 December, 2020; originally announced December 2020.

Comments: A gap was found in a proof on the last section. We modified the statement to a weaker form

MSC Class: 14F08 (Primary); 18E35; 14F42; 18G80 (Secondary)

On the cohomology of reciprocity sheaves

Authors: Federico Binda, Kay Rülling, Shuji Saito

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 generalize analogous statements for the cohomology of Hodge sheaves and Hodge-Witt… ▽ More 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 generalize 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 classically studied. Among these applications, we construct new birational invariants of smooth projective varieties and obstructions to the existence of zero-cycles of degree one from the cohomology of reciprocity sheaves. △ Less

Submitted 20 June, 2022; v1 submitted 7 October, 2020; originally announced October 2020.

Comments: 111 pages. Final version, to appear in Forum of Math. Sigma

MSC Class: 14F43; 14F05; 14C25

Triangulated categories of logarithmic motives over a field

Authors: Federico Binda, Doosung Park, Paul Arne Østvær

Abstract: 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 dividing Nisnevich topology on log schemes, and the basic idea of parameterizing homotopies by $\overline{\square}$, i.e. the projective line with respect to its compactifying logarithmic structure at… ▽ More 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 dividing Nisnevich topology on log schemes, and the basic idea of parameterizing homotopies by $\overline{\square}$, i.e. the projective line with respect to its compactifying logarithmic structure at infinity. We show that Hodge cohomology of log schemes is a $\overline{\square}$-invariant theory that is representable in the category of logarithmic motives. Our category is closely related to Voevodsky's category of motives and $\mathbb{A}^{1}$-invariant theories: assuming resolution of singularities, we identify the latter with the full subcategory comprised of $\mathbb{A}^{1}$-local objects in the category of logarithmic motives. Fundamental properties such as $\overline{\square}$-homotopy invariance, Mayer-Vietoris for coverings, the analogs of the Gysin sequence and the Thom space isomorphism as well as a blow-up formula and a projective bundle formula witness the robustness of the setup. △ Less

Submitted 23 September, 2021; v1 submitted 26 April, 2020; originally announced April 2020.

Comments: 252 pages. Final version to appear in Asterisque

MSC Class: Primary 14A21; 14A30; 14F42; 18N40; 18N55; Secondary 18F10; 18G35; 19E15

Bloch's formula for 0-cycles with modulus and higher dimensional Class Field Theory

Authors: Federico Binda, Amalendu Krishna, Shuji Saito

Abstract: We prove Bloch's formula for the Chow group of 0-cycles with modulus on a smooth quasi-projective surface over a field. We use this formula to give a simple proof of the rank one case of a conjecture of Deligne and Drinfeld on lisse $\overline{\mathbb{Q}}_{\ell}$-sheaves. This was originally solved by Kerz and Saito in characteristic $\neq 2$. We prove Bloch's formula for the Chow group of 0-cycles with modulus on a smooth quasi-projective surface over a field. We use this formula to give a simple proof of the rank one case of a conjecture of Deligne and Drinfeld on lisse $\overline{\mathbb{Q}}_{\ell}$-sheaves. This was originally solved by Kerz and Saito in characteristic $\neq 2$. △ Less

Submitted 24 August, 2021; v1 submitted 5 February, 2020; originally announced February 2020.

Comments: 47 pages. Final version, to appear in J. Algebraic Geom. (JAG)

MSC Class: Primary 19E15; Secondary 14F42; 14C25

A motivic homotopy theory without $\mathbb{A}^1$ invariance

Authors: Federico Binda

Abstract: In this paper, we continue the program initiated by Kahn-Saito-Yamazaki by constructing and studying an unstable motivic homotopy category with modulus, extending the Morel-Voevodsky construction from smooth schemes over a field $k$ to certain diagrams of schemes. We present this category as a candidate environment for studying representability problems for non $\mathbb{A}^1$-invariant generalized… ▽ More In this paper, we continue the program initiated by Kahn-Saito-Yamazaki by constructing and studying an unstable motivic homotopy category with modulus, extending the Morel-Voevodsky construction from smooth schemes over a field $k$ to certain diagrams of schemes. We present this category as a candidate environment for studying representability problems for non $\mathbb{A}^1$-invariant generalized cohomology theories. △ Less

Submitted 3 October, 2019; originally announced October 2019.

Comments: 35 pages. Old preprint from 2015 never posted on the ArXiv. To appear in Math. Zeit

Semi-purity for cycles with modulus

Authors: Federico Binda, Shuji Saito

Abstract: In this paper, we prove a form of purity property for the $(\mathbb{P}^1, \infty)$-invariant replacement $h_0^{\overline{\square}}(\mathfrak{X})$ of the Yoneda object $\mathbb{Z}_{\rm tr} (\mathfrak{X})$ for a modulus pair $\mathfrak{X}=(\overline{X}, X_\infty)$ over a field $k$, consisting of a smooth projective $k$-scheme and an effective Cartier divisor on it. As application, we prove the analo… ▽ More In this paper, we prove a form of purity property for the $(\mathbb{P}^1, \infty)$-invariant replacement $h_0^{\overline{\square}}(\mathfrak{X})$ of the Yoneda object $\mathbb{Z}_{\rm tr} (\mathfrak{X})$ for a modulus pair $\mathfrak{X}=(\overline{X}, X_\infty)$ over a field $k$, consisting of a smooth projective $k$-scheme and an effective Cartier divisor on it. As application, we prove the analogue in the modulus setting of Voevodsky's fundamental theorem on the homotopy invariance of the cohomology of homotopy invariant sheaves with transfers, based on a main result of "Purity of reciprocity sheaves" arXiv:1704.02442. This plays an essential role in the development of the theory of motives with modulus, and among other things implies the existence of a homotopy $t$-structure on the category $\mathbf{MDM}^{\rm eff}(k)$ of Kahn-Saito-Yamazaki. △ Less

Submitted 30 December, 2020; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: This paper is withdrawn due to a gap in Prop. 5.4.4, from which the main theorem depends

MSC Class: 19E15 (14F42; 14C25)

Rigidity for relative $0$-cycles

Authors: Federico Binda, Amalendu Krishna

Abstract: We present a relation between the classical Chow group of relative $0$-cycles on a regular scheme $\mathcal{X}$, projective and flat over an excellent Henselian discrete valuation ring, and the Levine-Weibel Chow group of 0-cycles on the special fiber. We show that these two Chow groups are isomorphic with finite coefficients under extra assumptions. This generalizes a result of Esnault, Kerz and… ▽ More We present a relation between the classical Chow group of relative $0$-cycles on a regular scheme $\mathcal{X}$, projective and flat over an excellent Henselian discrete valuation ring, and the Levine-Weibel Chow group of 0-cycles on the special fiber. We show that these two Chow groups are isomorphic with finite coefficients under extra assumptions. This generalizes a result of Esnault, Kerz and Wittenberg. △ Less

Submitted 3 October, 2019; v1 submitted 1 February, 2018; originally announced February 2018.

Comments: 21 pages. Final version. To appear in Annali della Scuola Normale Superiore di Pisa

MSC Class: 14C25 (Primary); 13F35; 14F30; 19E15 (Secondary)

A cycle class map from Chow groups with modulus to relative $K$-theory

Authors: Federico Binda

Abstract: Let $\bar{X}$ be a smooth quasi-projective $d$-dimensional variety over a field $k$ and let $D$ be an effective Cartier divisor on it. In this note, we construct cycle class maps from (a variant of) the higher Chow group with modulus of the pair $(\bar{X},D)$ in the range $(d+n, n)$ to the relative $K$-groups $K_n(\bar{X}, D)$ for every $n\geq 0$. Let $\bar{X}$ be a smooth quasi-projective $d$-dimensional variety over a field $k$ and let $D$ be an effective Cartier divisor on it. In this note, we construct cycle class maps from (a variant of) the higher Chow group with modulus of the pair $(\bar{X},D)$ in the range $(d+n, n)$ to the relative $K$-groups $K_n(\bar{X}, D)$ for every $n\geq 0$. △ Less

Submitted 9 January, 2018; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 24 pages. Final version to appear in Documenta Math

MSC Class: 14C25 (Primary); 19E15; 14F42 (Secondary)

Torsion zero cycles with modulus on affine varieties

Authors: Federico Binda

Abstract: In this note we show that given a smooth affine variety $X$ over an algebraically closed field $k$ and an effective (possibly non reduced) Cartier divisor $D$ on it, the Kerz-Saito Chow group of zero cycles with modulus ${\rm CH}_0(X|D)$ is torsion free, except possibly for $p$-torsion if the characteristic of $k$ is $p>0$. This generalizes to the relative setting classical theorems of Rojtman (fo… ▽ More In this note we show that given a smooth affine variety $X$ over an algebraically closed field $k$ and an effective (possibly non reduced) Cartier divisor $D$ on it, the Kerz-Saito Chow group of zero cycles with modulus ${\rm CH}_0(X|D)$ is torsion free, except possibly for $p$-torsion if the characteristic of $k$ is $p>0$. This generalizes to the relative setting classical theorems of Rojtman (for $X$ smooth) and of Levine (for $X$ singular). A stronger version of this result, that encompasses $p$-torsion as well, was proven with a different and more sophisticated method by A. Krishna and the author in another paper. △ Less

Submitted 17 March, 2017; v1 submitted 21 April, 2016; originally announced April 2016.

Comments: Final version. 12 pages, exposition improved. Several gaps in the proofs fixed

MSC Class: Primary 14C25; Secondary 19E15; 14F42

Zero cycles with modulus and zero cycles on singular varieties

Authors: Federico Binda, Amalendu Krishna

Abstract: Given a smooth variety $X$ and an effective Cartier divisor $D \subset X$, we show that the cohomological Chow group of 0-cycles on the double of $X$ along $D$ has a canonical decomposition in terms of the Chow group of 0-cycles ${\rm CH}_0(X)$ and the Chow group of 0-cycles with modulus ${\rm CH}_0(X|D)$ on $X$. When $X$ is projective, we construct an Albanese variety with modulus and show that t… ▽ More Given a smooth variety $X$ and an effective Cartier divisor $D \subset X$, we show that the cohomological Chow group of 0-cycles on the double of $X$ along $D$ has a canonical decomposition in terms of the Chow group of 0-cycles ${\rm CH}_0(X)$ and the Chow group of 0-cycles with modulus ${\rm CH}_0(X|D)$ on $X$. When $X$ is projective, we construct an Albanese variety with modulus and show that this is the universal regular quotient of ${\rm CH}_0(X|D)$. As a consequence of the above decomposition, we prove the Roitman torsion theorem for the 0-cycles with modulus. We show that ${\rm CH}_0(X|D)$ is torsion-free and there is an injective cycle class map ${\rm CH}_0(X|D) \hookrightarrow K_0(X,D)$ if $X$ is affine. For a smooth affine surface $X$, this is strengthened to show that $K_0(X,D)$ is an extension of ${\rm CH}_1(X|D)$ by ${\rm CH}_0(X|D)$. △ Less

Submitted 16 June, 2017; v1 submitted 15 December, 2015; originally announced December 2015.

Comments: 62 pages. Final version to appear in Compositio Math

MSC Class: Primary 14C25; Secondary 14F30; 13F35; 19E15

Journal ref: Compositio Math. 154 (2018) 120-187

Torsion and divisibility for reciprocity sheaves and 0-cycles with modulus

Authors: Federico Binda, Jin Cao, Wataru Kai, Rin Sugiyama

Abstract: 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ülling, Krishna-Levine. Recently, Kerz-Saito introduced a notion of Chow group of $0$-cycles with modulus in connection with geometric class field theory with wild ramification for varieties over… ▽ More 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ülling, Krishna-Levine. Recently, Kerz-Saito introduced a notion of Chow group of $0$-cycles with modulus in connection with geometric class field theory with wild ramification for varieties over finite fields. We study the non-homotopy invariant part of the Chow group of $0$-cycles with modulus and show their torsion and divisibility properties. Modulus is being brought to sheaf theory by Kahn-Saito-Yamazaki in their attempt to construct a generalization of Voevodsky-Suslin-Friedlander's theory of homotopy invariant presheaves with transfers. We prove parallel results about torsion and divisibility properties for them. △ Less

Submitted 23 May, 2016; v1 submitted 7 March, 2015; originally announced March 2015.

Comments: 15 pages, exposition improved

MSC Class: 14C25

Relative cycles with moduli and regulator maps

Authors: Federico Binda, Shuji Saito

Abstract: 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 - generalize additive higher Chow groups of Bloch-Esnault, Rülling, Park and Krishna-Levine, and that sheafified on $X_{Zar}$ gives a candidate definition for a relati… ▽ More 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 - generalize additive higher Chow groups of Bloch-Esnault, Rülling, Park and Krishna-Levine, and that sheafified on $X_{Zar}$ gives a candidate definition for a relative motivic complex of the pair, that we compute in weight 1. When X is smooth over k and D is such that $D_{red}$ is a normal crossing divisor, we construct a fundamental class in the cohomology of relative differentials for a cycle satisfying the modulus condition, refining El-Zein's explicit construction. This is used to define a natural regulator map from the relative motivic complex of (X,D) to the relative de Rham complex. When X is defined over $\mathbb{C}$, the same method leads to the construction of a regulator map to a relative version of Deligne cohomology, generalizing Bloch's regulator from higher Chow groups. Finally, when X is moreover connected and proper over $\mathbb{C}$, we use relative Deligne cohomology to define relative intermediate Jacobians with modulus $J^r_{X|D}$ of the pair (X,D). For r= dim X, we show that $J^r_{X|D}$ is the universal regular quotient of the Chow group of 0-cycles with modulus. △ Less

Submitted 5 September, 2017; v1 submitted 1 December, 2014; originally announced December 2014.

Comments: 46 pages. Final version: Section 9 added and material rearranged. To appear in Journal of the Inst. of Math. Jussieu

MSC Class: Primary 14C25; Secondary 14C30; 14F42; 14F43

Journal ref: J. Inst. Math. Jussieu 18 (2019) 1233-1293