Rigidity of the category of localizing motives
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918163961085952 |
|---|---|
| author | Efimov, Alexander I. |
| author_facet | Efimov, Alexander I. |
| contents | In this paper we study the category of localizing motives $\operatorname{Mot}^{\operatorname{loc}}$ -- the target of the universal finitary localizing invariant of idempotent-complete stable categories as defined by Blumberg-Gepner-Tabuada. We prove that this (presentable stable) category is rigid symmetric monoidal in the sense of Gaitsgory and Rozenblyum. In particular, it is dualizable. More precisely, we prove a more general version of this result for the category $\operatorname{Mot}^{\operatorname{loc}}_{\mathcal{E}}$ -- the target of the universal finitary localizing invariant of dualizable modules over a rigid symmetric monoidal category $\mathcal{E}.$
We obtain general results on morphisms and internal $\operatorname{Hom}$ in the categories $\operatorname{Mot}^{\operatorname{loc}}_{\mathcal{E}}$ of localizing motives. As an application we compute the morphisms in multiple non-trivial examples. In particular, we prove the corepresentability statements for $\operatorname{TR}$ (topological restriction) and $\operatorname{TC}$ (topological cyclic homology) when restricted to connective $\mathbb{E}_1$-rings. As a corollary, for a connective $\mathbb{E}_{\infty}$-ring $R$ we obtain a $\operatorname{TR}(R)$-module structure on the nil $K$-theory spectrum $NK(R).$
We also apply the rigidity theorem to define refined versions of negative cyclic homology and periodic cyclic homology. This was announced previously in \cite{E24b}, and certain very interesting examples were computed by Meyer and Wagner in \cite{MW24}. Here we do several computations in characteristic $0,$ in particular showing that in seemingly innocuous situations the answer can be given by an interesting algebra of overconvergent functions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_17010 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Rigidity of the category of localizing motives Efimov, Alexander I. K-Theory and Homology Algebraic Geometry Algebraic Topology Category Theory Number Theory 19D55 In this paper we study the category of localizing motives $\operatorname{Mot}^{\operatorname{loc}}$ -- the target of the universal finitary localizing invariant of idempotent-complete stable categories as defined by Blumberg-Gepner-Tabuada. We prove that this (presentable stable) category is rigid symmetric monoidal in the sense of Gaitsgory and Rozenblyum. In particular, it is dualizable. More precisely, we prove a more general version of this result for the category $\operatorname{Mot}^{\operatorname{loc}}_{\mathcal{E}}$ -- the target of the universal finitary localizing invariant of dualizable modules over a rigid symmetric monoidal category $\mathcal{E}.$ We obtain general results on morphisms and internal $\operatorname{Hom}$ in the categories $\operatorname{Mot}^{\operatorname{loc}}_{\mathcal{E}}$ of localizing motives. As an application we compute the morphisms in multiple non-trivial examples. In particular, we prove the corepresentability statements for $\operatorname{TR}$ (topological restriction) and $\operatorname{TC}$ (topological cyclic homology) when restricted to connective $\mathbb{E}_1$-rings. As a corollary, for a connective $\mathbb{E}_{\infty}$-ring $R$ we obtain a $\operatorname{TR}(R)$-module structure on the nil $K$-theory spectrum $NK(R).$ We also apply the rigidity theorem to define refined versions of negative cyclic homology and periodic cyclic homology. This was announced previously in \cite{E24b}, and certain very interesting examples were computed by Meyer and Wagner in \cite{MW24}. Here we do several computations in characteristic $0,$ in particular showing that in seemingly innocuous situations the answer can be given by an interesting algebra of overconvergent functions. |
| title | Rigidity of the category of localizing motives |
| topic | K-Theory and Homology Algebraic Geometry Algebraic Topology Category Theory Number Theory 19D55 |
| url | https://arxiv.org/abs/2510.17010 |