Grothendieck's localization problem

Abstract: Let $f\colon Y \rightarrow X$ be a proper flat morphism of algebraic varieties. Grothendieck and Dieudonné showed that the smoothness of $f$ can be detected at closed points of $X$. Using André–Quillen homology, André showed that when $X$ is excellent, the same conclusion holds when $f$ is a closed flat morphism between locally noetherian schemes. We give a new proof of André's result using a version of resolutions of singularities due to Gabber. Our method gives a uniform treatment of Grothendieck's localization problem and resolves various new cases of this problem, which asks whether similar statements hold for other local properties of morphisms.

algebraic geometry

Audience: researchers in the topic

( paper )

Stanford algebraic geometry seminar

Series comments: The seminar was online for a significant period of time, but for now is solely in person. More seminar information (including slides and videos, when available): agstanford.com