Abstract
The tensor product of \({\mathbb {A}}^1\)-invariant sheaves with transfers introduced by Voevodsky is generalized to reciprocity sheaves via the theory of modulus presheaves with transfers. We prove several general properties of this construction and compute it in some cases. In particular we obtain new (motivic) presentations of the absolute Kähler differentials and the first infinitesimal neighborhood of the diagonal.
Access this article
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Similar content being viewed by others
Notes
The term lax monoidal is used in a loose sense; it seems a correct mathematical notion which appears in the literature is unbiased oplax monoidal category.
References
Bloch, S., Esnault, H.: The additive dilogarithm, Doc. Math. Extra Volume: Kazuya Kato’s Fiftieth Birthday, pp 131–155 (2003)
Bloch, S., Esnault, H.: An additive version of higher Chow groups. Ann. Sci. École Norm. Sup. (4) 36(3), 463–477 (2003)
Binda, F.: A cycle class map from Chow groups with modulus to relative \(K\)-theory. Doc. Math. 23, 407–444 (2018)
Binda, F., Krishna, A.: Zero cycles with modulus and zero cycles on singular varieties. Compos. Math. 154(1), 120–187 (2018)
Binda, F., Park, D., Østvær, P. A.: Triangulated categories of logarithmic motives over a field (2020). preprint. arXiv:2004.12298
Binda, F., Saito, S.: Relative cycles with moduli and regulator maps. J. Inst. Math. Jussieu 18(6), 1233–1293 (2019)
Fulton, W.: Rational equivalence on singular varieties. Inst. Hautes Études Sci. Publ. Math. 45, 147–167 (1975)
Grothendieck, A.: Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II, Institut des Hautes Études Scientifiques. Publications Mathématiques 24, 231 (1965)
Hiranouch, T.: An additive variant of somekawa’s \(K\)-groups and kähler differentials. J. K-theory 13, 481–516 (2014)
Ivorra, F., Rülling, K.: K-groups of reciprocity functors. J. Algebraic Geom. 26(2), 199–278 (2017)
Kerz, M.: The Gersten conjecture for Milnor \(K\)-theory. Invent. Math. 175(1), 1–33 (2009)
Kerz, M.: Milnor \(K\)-theory of local rings with finite residue fields. J. Algebraic Geom. 19(1), 173–191 (2010)
Kahn, B., Miyazaki, H., Saito, S., Yamazaki, T.: Motives with modulus. The categories of motives, III (2020). preprint. arXiv:2011.11859
Kahn, B., Miyazaki, H., Saito, S., Yamazaki, T.: Motives with modulus, I: Modulus sheaves with transfers for non-proper modulus pairs. Épijournal Géom. Algébrique 5(Art. 1), 46 (2021)
Kahn, B., Miyazaki, H., Saito, S., Yamazaki, T.: Motives with modulus, II: Modulus sheaves with transfers for proper modulus pairs. Épijournal Géom. Algébrique 5(Art. 2), 31 (2021)
Krishna, A., Park, J.: Moving lemma for additive higher Chow groups. Algebra Number Theory 6(2), 293–326 (2012)
Krishna, A., Park, J.: A module structure and a vanishing theorem for cycles with modulus. Math. Res. Lett. 24(4), 1147–1176 (2017)
Kahn, B., Saito, S., Yamazaki, T.: Reciprocity sheaves, II, Preprint 2019, arXiv:1707.07398, to appear in Homology Homotopy Appl
Kahn, B., Saito, S., Yamazaki, T.: Reciprocity sheaves. Compos. Math. 152(9), 1851–1898 (2016). (With two appendices by Kay Rülling)
Kunz, E.: Arithmetische Anwendungen der Differentialalgebren. J. Reine Angew. Math. 214(215), 276–320 (1964)
Kunz, E.: Kähler Differentials, Advanced Lectures in Mathematics. Friedr. Vieweg & Sohn, Braunschweig (1986)
Kahn, B., Yamazaki, T.: Voevodsky’s motives and Weil reciprocity. Duke Math. J. 162(14), 2751–2796 (2013)
Morel, F.: Voevodsky, Vladimir: \({ A}^1\)-homotopy theory of schemes. Inst. Hautes Études Sci. Publ. Math. (1999) 90, 45–143 (2001)
Mazza, C., Voevodsky, V., Weibel, C.: Lecture notes on motivic cohomology, Clay Mathematics Monographs, vol. 2. American Mathematical Society, Providence (2006)
Popescu, D.: General Néron desingularization and approximation. Nagoya Math. J. 104, 85–115 (1986)
Rülling, K., Saito, S.: Reciprocity sheaves and their ramification filtrations. J. Inst. Math. Jussieu 1–74 (2021). https://doi.org/10.1017/S1474748021000074
Rülling, K.: The generalized de Rham-Witt complex over a field is a complex of zero-cycles. J. Algebraic Geom. 16(1), 109–169 (2007)
Rülling, K., Yamazaki, T.: \(K\)-groups of reciprocity functors for \({\mathbb{G}}_a\) and abelian varieties. J. K-Theory 14(3), 556–569 (2014)
Rülling, K., Yamazaki, T.: Suslin homology of relative curves with modulus. J. Lond. Math. Soc. (2) 93(3), 567–589 (2016)
Saito, S.: Purity of reciprocity sheaves. Adv. Math. 366, 107067 (2020). 70
Serre, J.-P.: Algèbre locale. Multiplicités, Cours au Collège de France, 1957–1958, rédigé par Pierre Gabriel. Lecture Notes in Mathematics, vol. 11, 2nd edn, p. 1965. Springer, Berlin (1965)
Suslin, A., Voevodsky, V.: Bloch-Kato conjecture and motivic cohomology with finite coefficients. The arithmetic and geometry of algebraic cycles (Banff, AB, 1998), NATO Sci. Ser. C Math. Phys. Sci., vol. 548, pp. 117–189. Kluwer Acad. Publ, Dordrecht (2000)
Voevodsky, V.: Triangulated categories of motives over a field, Cycles, transfers, and motivic homology theories, Annals of Mathematics Studies, vol. 143, pp. 188–238. Princeton University Press, Princeton (2000)
Acknowledgements
Part of this work was done while the first author was a visiting professor at the TU München. He thanks Eva Viehmann for the invitation and the support. The project started when the third author was visiting Freie Universität Berlin. He thanks their hospitality and support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was supported by the DFG Heisenberg grant RU 1412/2-2. The second author is supported by JSPS KAKENHI grant (JP16K17579). The third author is supported by JSPS KAKENHI grant (JP18K03232).
About this article
Cite this article
Rülling, K., Sugiyama, R. & Yamazaki, T. Tensor structures in the theory of modulus presheaves with transfers. Math. Z. 300, 929–977 (2022). https://doi.org/10.1007/s00209-021-02819-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02819-2