The singularity category of a separable extension
arXiv:2605.08868
Abstract
We prove that separable extensions of noetherian rings and finite étale morphisms of noetherian schemes give rise to separable extensions of singularity categories.
13 pages