Showing math.AGShow all
2 papers · 1 filter
math.AG2024
A pro-cdh topology on formal schemes
Shane Kelly, Shuji Saito
We introduce a pro-cdh topology on formal schemes and prove that the -topos of pro-cdh sheaves of spaces has an optimal bound of homotopy dimension. This remedies a defect…
math.AG2024
A procdh topology
Shane Kelly, Shuji Saito
In this article we propose a definition of a procdh topos. We show that it encodes procdh excision, has bounded homotopy dimension and therefore is hypercomplete and admits a conse…