Guest lectures and seminars - Page 93

Waldhausen's algebraic K-theory of spaces is an extension of algebraic K-theory from rings to spaces (or ring spectra) which also encodes important geometric information about manifolds. Bivariant A-theory is a bivariant extension of algebraic K-theory from spaces to fibrations of spaces. In this talk, I will first recall the definition and basic properties of bivariant A-theory and the A-theory Euler characteristic of Dwyer-Weiss-Williams. I will then introduce a bivariant version of the cobordism category and explain how this may be regarded as a universal space for the definition of additive characteristic classes of smooth bundles. Lastly, I will introduce a bivariant extension of the Dwyer-Weiss-Williams characteristic and discuss the Dwyer-Weiss-Williams smooth index theorem in this context. Time permitting, I will also discuss some ongoing related work on the cobordism category of h-cobordisms. This is joint work with W. Steimle.  

I will review Witt vectors, KÀhler forms and logarithmic rings, and outline how they merge in the logarithmic de Rham-Witt complex. This structure gives an algebraic underpinning for the Hesselholt-Madsen (2003) calculation of logarithmic topological cyclic homology of many discrete valuation rings.   

This talk is supposed to be an Introductionary talk to the preprint arXiv:1409.4372v4 (joint work with G.Garkusha). More specifically, using the theory of framed correspondences developed by Voevodsky, the authors introduce and study framed motives of algebraic varieties. This study gives rise to a construction of the big frame motive functor. It is shown that this functor converts the classical Morel--Voevodsky motivic stable homotopy theory into an equivalent local theory of framed bispectra, and thus producing a new approach to stable motivic homotopy theory. As a topological application, it is proved that for the simplicial set Fr(Delta^\bullet_C, S^{^1}) has the homotopy type of the space \Omega^{\infty} Sigma^{\infty} (S^{^1}). Here C is the field complex numbers.