Open Collections

The geometry of the cyclotomic trace

Banff International Research Station for Mathematical Innovation and Discovery

Algebraic $K$-theory -- the analog of topological $K$-theory for varieties and schemes -- is a deep and far-reaching invariant, but it is notoriously difficult to compute. To date, the primary means of understanding $K$-theory is through its "cyclotomic trace" map $K \to TC$ to topological cyclic homology. This map is usually advertised as an analog of the Chern character, but this is something of a misnomer: $TC$ is a further refinement of any flavor of de Rham cohomology (even "topological", i.e. built from $THH$), though this discrepancy disappears rationally. However, despite the enormous success of so-called "trace methods" in $K$-theory computations, the algebro-geometric nature of $TC$ has remained mysterious. In this talk, I will describe a new construction of $TC$ that affords a precise interpretation of the cyclotomic trace at the level of derived algebraic geometry, which is based on nothing but universal properties (coming from Goodwillie calculus) and the geometry of 1-manifolds (via factorization homology). This is joint work with David Ayala and Nick Rozenblyum.

Mathematics; Algebraic topology; Category theory; homological algebra

video/mp4

Author affiliation: University of Southern California

2019-03-25

Attribution-NonCommercial-NoDerivatives 4.0 International

http://hdl.handle.net/2429/69186

Unreviewed

http://creativecommons.org/licenses/by-nc-nd/4.0/