Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Hochschild and cyclic Homologies with bounded poles

Masaya Sato

Abstract

We show that the classical Hochschild homology and (periodic and negative) cyclic homology groups are representable in the category of motives with modulus. We do this by constructing Hochschild homology and (periodic and negative) cyclic homologies for modulus pairs. We show a modulus version of HKR theorem, that is, there exists an isomorphism between modulus Hochschild homology and modulus Kähler differentials for affine normal crossing modulus pairs. By using the representability of modulus Hodge sheaves in the category of motives with modulus, we construct an object of the category of motives with modulus which represents modulus Hochschild homology. Similarly, We compare modulus de Rham cohomology and modulus cyclic homologies and obtain a representability of modulus cyclic homologies.

Hochschild and cyclic Homologies with bounded poles

Abstract

We show that the classical Hochschild homology and (periodic and negative) cyclic homology groups are representable in the category of motives with modulus. We do this by constructing Hochschild homology and (periodic and negative) cyclic homologies for modulus pairs. We show a modulus version of HKR theorem, that is, there exists an isomorphism between modulus Hochschild homology and modulus Kähler differentials for affine normal crossing modulus pairs. By using the representability of modulus Hodge sheaves in the category of motives with modulus, we construct an object of the category of motives with modulus which represents modulus Hochschild homology. Similarly, We compare modulus de Rham cohomology and modulus cyclic homologies and obtain a representability of modulus cyclic homologies.
Paper Structure (6 sections, 18 theorems, 85 equations)

This paper contains 6 sections, 18 theorems, 85 equations.

Table of Contents

  1. Introduction
  2. Acknowledgement
  3. Modulus de Rham Complex
  4. Modulus Hochschild Homology
  5. Modulus Cyclic Homology
  6. Realizations

Key Result

Theorem 1.1

For any strict normal crossing modulus pair $\mathcal{X}=(\overline{X},X^\infty)$, there are isomorphisms where $\underline{M}\mathcal{O}_{\mathcal{X}}:=\sqrt{\mathcal{I}}\otimes\mathcal{I}^{-1}$, $\mathcal{I}$ is the ideal sheaf corresponds to the effective Cartier divisor $X^\infty$, and $\underline{M}\Omega^q_{\mathcal{X}}:=\underline{M}\mathcal{O}_{\mathcal{X}}\otimes\Omega^q_{\overline{X}}(\

Theorems & Definitions (39)

  • Theorem 1.1
  • Theorem 1.2: \ref{['HKR']}
  • Theorem 1.3: \ref{['isom for cyclic']}
  • Theorem 1.4: \ref{['realization theorem']}
  • Definition 3.1: KM23a, KM23b
  • Lemma 3.2
  • proof
  • Lemma 3.3
  • proof
  • Proposition 3.4
  • ...and 29 more