ترغب بنشر مسار تعليمي؟ اضغط هنا

$K$-theory of endomorphisms, the $mathit{TR}$-trace, and zeta functions

95   0   0.0 ( 0 )
 نشر من قبل Kate Ponto
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

We show that the characteristic polynomial and the Lefschetz zeta function are manifestations of the trace map from the $K$-theory of endomorphisms to topological restriction homology (TR). Along the way we generalize Lindenstrauss and McCarthys map from $K$-theory of endomorphisms to topological restriction homology, defining it for any Waldhausen category with a compatible enrichment in orthogonal spectra. In particular, this extends their construction from rings to ring spectra. We also give a revisionist treatment of the original Dennis trace map from $K$-theory to topological Hochschild homology (THH) and explain its connection to traces in bicategories with shadow (also known as trace theories).



قيم البحث

اقرأ أيضاً

128 - Niles Johnson , Donald Yau 2021
We show that Mandells inverse $K$-theory functor is a categorically-enriched multifunctor. In particular, it preserves algebraic structures parametrized by operads. As applications, we describe how ring categories, bipermutative categories, braided r ing categories, and $E_n$-monoidal categories arise as the images of inverse $K$-theory.
We prove a multiplicative version of the equivariant Barratt-Priddy-Quillen theorem, starting from the additive version proven in arXiv:1207.3459. The proof uses a multiplicative elaboration of an additive equivariant infinite loop space machine that manufactures orthogonal $G$-spectra from symmetric monoidal $G$-categories. The new machine produces highly structured associative ring and module $G$-spectra from appropriate multiplicative input. It relies on new operadic multicategories that are of considerable independent interest and are defined in a general, not necessarily equivariant or topological, context. Most of our work is focused on constructing and comparing them. We construct a multifunctor from the multicategory of symmetric monoidal $G$-categories to the multicategory of orthogonal $G$-spectra. With this machinery in place, we prove that the equivariant BPQ theorem can be lifted to a multiplicative equivalence. That is the heart of what is needed for the presheaf reconstruction of the category of $G$-spectra in arXiv:1110.3571.
205 - Nick Gurski , Niles Johnson , 2015
We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $Gamma$-objects in 2-categories. In the course of the proof we establish strictfication results of ind ependent interest for symmetric monoidal bicategories and for diagrams of 2-categories.
We give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $Kmathrm{End}(mathcal{C})$ to topological Hochschild homology $mathrm{THH}(mathcal{C})$ for any spectral Waldhausen category $mathcal{C}$. We desc ribe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in $mathcal{C}$ indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausens $S_{bullet}$-construction for spectral Waldhausen categories, which is central to this account of the Dennis trace map. Our goals are both convenience and transparency---we provide all details except for a proof of the additivity theorem for $mathrm{THH}$, which is taken for granted---and the exposition is concerned not with originality of ideas, but rather aims to provide a useful resource for learning about the Dennis trace and its underlying machinery.
Using a construction closely related to Waldhausens $S_bullet$-construction, we produce a spectrum $K(mathbf{Var}_{/k})$ whose components model the Grothendieck ring of varieties (over a field $k$) $K_0 (mathbf{Var}_{/k})$. We then produce liftings o f various motivic measures to spectrum-level maps, including maps into Waldhausens $K$-theory of spaces $A(ast)$ and to $K(mathbf{Q})$. We end with a conjecture relating $K(mathbf{Var}_{/k})$ and the doubly-iterated $K$-theory of the sphere spectrum.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا