Desingularization of quasi-excellent schemes in characteristic zero (Q944318)

The author proves a conjecture of Grothendieck by establishing the following equivalence for noetherian schemes in characteristic zero:\newline (a) \(X\) is quasi-excellent\newline (b) any integral scheme of finite type over \(X\) admits a desingularization\newline (c) any integral scheme of finite type over \(X\) admits a semi-strict embedded resolution of singularities.\newline Of this equivalence, Grothendieck proved in the mid-1960s that (b) implies (a) and claimed that Hironaka's proof provides the opposite implication. The author's approach differs from the originally conjectured statement by not considering successive embedded desingularization. The technical subtleties, which always arise in this kind of topic, are made more accessible by the fact that proof of the equivalence is preceded in the article by a well-structured and detailed discussion of the necessary notions.