4 papers · 1 filter
Tannakian reconstruction in derived algebraic geometry
Joshua Mundinger, Shubhankar Sahai
We prove analogues of Tannakian reconstruction theorems of Lurie and Bhatt--Halpern-Leistner in \emph{derived} algebraic geometry, where the basic geometric objects are spectra of…
Derived algebras on formal stacks and prismatic gauges
Shubhankar Sahai
This paper studies how the theory of derived algebras (in the sense of Bhatt-Mathew and Raksit) interacts with formal derived geometry, specifically the formal derived stacks which…
De Rham affineness of the Nygaard filtered prismatization in positive characteristic
Shubhankar Sahai
Let be a perfect ring of characteristic , and let be an animated -algebra. This note aims to show that the Nygaard filtered prismatization of …
Duality of differential operators and algebraic de Rham cohomology
Caleb Ji, Casimir Kothari, Oliver Li +3
Given a smooth proper morphism , we introduce a certain derived category where morphisms are permitted to be -linear differential operators.…