Pure subrings of regular rings are pseudo-rational
Abstract
We prove a generalization of the Hochster-Roberts-Boutot-Kawamata Theorem conjectured by Aschenbrenner and the author: let R S be a pure homomorphism of equicharacteristic zero Noetherian local rings. If S is regular, then R is pseudo-rational, and if R is moreover Q-Gorenstein, then it pseudo-log-terminal.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.