Math 206 - Topics in Algebraic Geometry (UCSD and online, spring 2021)
Course description:
The topic for this course is prismatic cohomology. This is a form of p-adic cohomology, similar in nature to crystalline
cohomology or rigid cohomology, introduced by Bhatt and Scholze in the late 2010s. It has several advantages, including having
fairly simple foundations; giving rise to a concise derivation of integral p-adic Hodge theory; and exhibiting some
very suggestive links with q-de Rham cohomology that point toward a future theory of "arithmetic crystalline cohomology".
Due to the COVID-19 pandemic and UCSD campus regulations, this course will be offered online (except for some in-person office hours). Lectures will be
given remotely via Zoom, with Zoom links posted to Canvas and Zulip.
Announcements will be made via Zulip (see below).
Online epicourse: I plan to follow the model of my pandemic-era courses
Math 204A and Math 204B
and stage a parallel "epicourse" consisting of the following components.
(All times are local to San Diego, which is UTC-7 throughout this course.)
-
I will stream lectures in real time using Zoom.
-
I will record each lecture and post it to Mediaspace shortly afterward.
Direct links will be added to this web site (see "Topics by date" below).
-
I will post lecture notes (see "Textbook" below) as well as slides from the lectures (see "Topics by date" below).
-
I will hold some remote office hours using Zoom, at multiple times to provide reasonable options in all time zones (see "Office hours" below).
-
I will run a Zulip discussion server. Zoom links will be posted there.
Use this Google Form to join the epicourse.
Note that the lecture recordings and lecture notes will be posted publicly here, so you do not need to join the epicourse to get those.
However, I hope the other interactions via Zoom and Zulip will add significant value, and encourage everyone following the lectures to join.
Environment: In both the course and the epicourse,
I aim to create a conducive learning environment for those who do not see themselves
reflected in the mathematical profession at present or have experienced systemic bias affecting their mathematical education.
I insist that all participants do their part to maintain this environment.
I also aim to address accessibility issues as best I can; please let me know directly if this might affect you.
Instructor: Kiran Kedlaya, kedlaya [at] ucsd [etcetera].
Lectures: MWF 2-2:50pm. I will usually post the recording right after concluding office hours at 3:30pm.
Office hours: Timings may be adjusted during the term.
- Online: MWF 2:50-3:30pm. After 3:20pm, I may leave if no one is present.
- Online: Mon 8-9pm (by request only). After 8:40pm, I may leave if no one is present.
- Online: Thu 10-11am. After 10:40am, I may leave if no one is present.
- Hybrid (local participants only): Tue 4-5pm. See Zulip for details.
Textbook: None; I will post lecture notes in HTML and PDF formats (generated by PreTeXt; see my GitHub repository).
These notes will be based on some combination of the following. (See also the notes for additional references.)
Prerequisites:
Math 203A-C or permission of instructor. While prismatic cohomology is closely linked with the theory of perfectoid spaces, no prior knowledge of that topic will be assumed.
Homework: None.
Final exam: None. Disregard any information from the UCSD Registrar to the contrary.
Grading: Let me know if you need a meaningful grade for this course, in which case I will propose some sort of final writing project.
Key dates:
-
First lecture: Monday, March 29.
-
University holiday: Monday, May 31.
-
Last lecture: Friday, June 4.
Topics by date (with videos, references, and boards):
See also this page for the videos embedded as iframes,
or this playlist for all the videos together.
-
March 29 (M): overview and motivation (video, boards,
Miro live).
References: my notes, section 1;
Bhatt notes, lecture I.
-
March 31 (W): delta-rings (video, boards, Miro live). References: my notes, section 2;
Bhatt notes, lecture II.
-
April 2 (F): Witt vectors (video, boards,
Miro live).
References: my notes, section 3.
-
April 5 (M): lambda-rings (video, boards, Miro live).
References: my notes, section 4.
-
April 7 (W): prisms (video,
boards,
Miro live).
References: my notes, section 5;
Bhatt notes, lecture III.
-
April 9 (F): derived completeness (video,
boards, Miro live).
References: my notes, section 6;
Emerton notes.
-
April 12 (M): perfect prisms (video, boards,
Miro live).
References: my notes, section 7;
Bhatt notes, lecture IV.
-
April 14 (W): lenses (video, boards,
Miro live).
References:
my notes, section 8;
Bhatt notes, lecture IV.
-
April 16 (F): homotopy categories
and derived categories (video,
boards,
Miro live).
References:
my notes, section 9
and section 10.
-
April 19 (M): the prismatic site (video, boards, Miro live).
References: my notes, section 11;
Bhatt notes, lecture V.
-
April 21 (W): the Hodge-Tate comparison map (video,
boards, Miro live).
References: my notes, section 12;
Bhatt notes, lecture V.
-
April 23 (F): double complexes (video,
boards,
Miro live).
References: my notes, section 13.
-
April 26 (M): Hodge-Tate for crystalline prisms (video, boards, Miro live).
References: my notes, section 14;
Bhatt notes, lecture V, lecture VI.
-
April 28 (W): continuation (video, boards,
Miro live).
-
April 30 (F): proof of the Hodge-Tate comparison (video, boards,
Miro live).
References: my notes, section 15;
Bhatt notes, lecture VI.
-
May 3 (M): nonabelian derived functors (video,
boards, Miro live).
References: my notes, section 16;
Bhatt notes, lecture VII.
-
May 5 (W): derived de Rham cohomology (video, boards,
Miro live).
References: my notes, section 17;
Bhatt notes, lecture VII.
-
May 7 (F): derived prismatic cohomology; coperfections in positive characteristic
(video,
boards,
Miro live).
References: my notes, section 18,
section 19;
Bhatt notes, lecture VII, lecture VIII.
-
May 10 (M): coperfections in mixed characteristic (video, boards, Miro live).
References: my notes, section 19;
Bhatt notes, lecture VIII.
-
May 12 (W): the arc-topology and friends (video, boards,
Miro live).
References: my notes, section 20.
-
May 14 (F): descent for the arc-topology (video, boards, Miro live).
References: my notes, section 21.
-
May 17 (M): the étale comparison theorem (video, boards, Miro live).
References: my notes, section 22;
Bhatt notes, lecture IX.
-
May 19 (W): applications of étale comparison (video, boards, Miro live).
References: my notes, section 23.
-
May 21 (F): almost commutative algebra (video,
boards,
Miro live).
References: my notes, section 24.
-
May 24 (M): almost purity (video,
boards,
Miro live).
References: my notes, section 25.
-
May 26 (W): q-de Rham cohomology (video,
boards,
Miro live).
References:
my notes, section 26;
Bhatt notes, lecture X.
-
May 28 (F): q-crystalline cohomology (video,
boards,
Miro live).
References:
my notes, section 27;
Bhatt notes, lecture XI.
-
No lecture on Monday, May 31.
-
June 2 (W): further developments (video, boards,
Miro live).
References:
my notes, section 28.
-
June 4 (F): some global speculation (video, boards,
Miro live).
References:
my notes, section 29.