The homotopy category of the bordism category has as objects closed oriented -manifolds and as morphisms diffeomorphism classes of -dimensional bordisms. Using a new fiber sequence for bordism categories, we compute the classifying space of for , exhibiting it as a circle bundle over . As part of our proof we construct a quotient of the cobordism category where circles are deleted. We show that this category has classifying space and moreover that, if one equips these bordisms with a map to a simply connected space , the resulting can be thought of as a cobordism model for the topological cyclic homology . In the second part of the paper we construct an infinite loop space map in this model and use it to derive combinatorial formulas for rational cocycles on representing the Miller-Morita-Mumford classes $\kappa_i \in H^{2i+2}((B(hBord_1); )$.

生成讲解博客的中文版本

生成AI智能校验的中文版本