Affineness of the maximal étale locus
arXiv:2603.17760
Abstract
In this paper we will prove a strong version of the celebrated purity of the ramification locus theorem in algebraic geometry. Our key input is a Tor-independence result for global sections of étale schemes over excellent regular local rings, which we will prove by tilting to perfect rings.