4 papers
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…
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 …
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…
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.…