In this seminar, we will learn about Topological Cyclic Homology. However, the goal of the seminar is not so much “learning” but “doing” by jumping into the deep end. Here’s a sort of a guide, and a set of notes.
The literature we will need to get started are:
 Dundas, Goodwillie, McCarthy.
 Nikolaus, Scholze.
 Notes from Thursday Seminar at Harvard (will be distributed to participants)
Background that one needs to participate fruitfully in the seminar (though of course all are invited):
 Familiarity with rudiments of stable homotopy theory (spectra, the Steenrod algebra, power operations).
 Familiarity with elements of homotopical thinking (basics of category and how to manipulate them, e.g., limits/colimits, unstraightening/straightening, operads).
 Familiarity with notions from algebraic geometry (sheaves, sites, cohomology, the cotangent complex, the deRahm complex).
 Familiarity with algebraic theory (Waldhausen theory and its basic properties).
The format: We will meet on Fridays after happy hour around 5pm and continue indefinitely. One feature of this seminar is that we will learn on the fly – perhaps the only skill one needs in graduate school – so even though there’s a lot of prerequisites, we will try as much as possible to impart participants with the required knowledge. The other feature is that we will delve into details – one the one hand this can be excruciating, but we will do it as a group.
In practice, someone will be assigned to lead a discussion. This means that
 he/she must have have at least 45 minutes of material to talk about,
 think about concrete questions he/she would like to see being discussed.
 Suggest (along with the other participants) an exact topic for the next session.
Piotr and I will moderate the discussions and try to keep them as relevant as possible. However, digressions are not unwelcomed – this is the point of the indefinite timeline. In any event, after the first lecture (which will be given by Piotr), we will be attempting to add on (more likely) or address (less likely) the following questions/problems:
Questions:
 What is and friends (, , ) (after NikolausScholze)?
 What is the deRahmWitt complex?
 For what rings/ring spectra is TC known? (E.g. the integers, finite fields, group rings) How does it look like?
 What is the relation to to the chromatic program?
 How is $latex TC$ the “derived deRham algebra” (even for classical schemes/rings)?
 How does “get rid of denominators” present in classical algebraic geometry (BhattMorrowScholze)?
 How does and the trace methods help in computing algebraic Ktheory?
Problems:
 Descent for – does it have étale descent?
 Develop some tools to compute for nonconnective ring spectra (people say that there are “no tools”).
 Develop iterated and see if it’s good for anything (trace to secondary theory)

Look at structural features of – wrong way maps/transfers/extra functorialities/power operations.

Other contexts (outside of classical schemes/ring spectra) where can be useful.
 Piotr: An Invitation to .
 Elden: Beyond invariance: the DeRahmWitt complex.
Mailing List:
 Elden
 Piotr
 Yajit
 Paul
 Viktor
 Aydin
 Jānis
 Ozgur
 Joel
 Micah
 Rahul
 Kyle
 Grigory
 Aron
 Mingyi