On pro-cdh descent on derived schemes

Shane Kelly, Shuji Saito, Georg Tamme

Grothendieck's formal functions theorem states that the coherent cohomology of a Noetherian scheme can be recovered from that of a blowup and the infinitesimal thickenings of the c…