Professional Documents
Culture Documents
Prismatic Cohomology Program
Prismatic Cohomology Program
Overview
The goal of the seminar is to read upto section 9 of [BS22]. We would like to prove
the following theorem:
Theorem 1. [BS22, Theorem 1.8] Let (A, I) be a bounded prism and let X be a smooth
p-adic formal scheme over A/I. Let
RΓ∆ (X/A) := RΓ((X/A)∆ , O∆ ),
which is a commutative algebra in the derived category D(A) of A-modules and which
comes equipped with a ϕA -linear endomorphism ϕ.
(3) de Rham Comparision (Theorem 6.4, Corollary 15.4): There is a canonical iso-
morphism
RΓdR (X/(A/I)) ∼= RΓ∆ (X/A)⊗ bLA,ϕA A/I
of commutative algebras in D(A). Moreover, it can be upgraded naturally to an
isomorphism of commutative differential graded algebras.
(4) étale comparision (Theorem 9.1): Assume A is perfect. Let Xét a be the generic
fibre of X over Qp , as a (pre-)adic space. For any n ≥ 0, there is a canonical
isomorphism
1
RΓét (Xét a, Z/pn Z) ∼
= (RΓ∆ (X/A)/pn [ ])ϕ=1
I
of commutative algebras in D(Z/pn ).
1. Plan of talks
Lecture 1: Overview of the Seminar. February 5, 2024[Speaker]
1
2 REDING SEMINAR ON PRISMATIC COHOMOLOGY
Lecture 11: Semi-perfectioid rings and perfection in Mixed characteristic. April 15,
2024 [Speaker]
References
[BS22] Bhargav Bhatt & Peter Scholze, Prisms and prismatic cohomology, Annals of Mathematics
196, no. 3, (2022), 1135–1275.