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:
- What is and friends (, , ) (after Nikolaus-Scholze)?
- What is the deRahm-Witt 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 (Bhatt-Morrow-Scholze)?
- How does and the trace methods help in computing algebraic K-theory?
- 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 DeRahm-Witt complex.