TY - JOUR
T1 - Q-universal desingularization
AU - Bierstone, Edward
AU - Milman, Pierre D.
AU - Temkin, Michael
PY - 2011/6
Y1 - 2011/6
N2 - We prove that the algorithm for desingularization of algebraic varieties in characteristic zero of the first two authors is functorial with respect to regular morphisms. For this purpose, we show that, in characteristic zero, a regular morphism with connected affine source can be factored into a smooth morphism, a ground-field extension and a generic-fibre embedding. Every variety of characteristic zero admits a regular morphism to a Q-variety. The desingularization algorithm is therefore Q-universal or absolute in the sense that it is induced from its restriction to varieties over Q. As a consequence, for example, the algorithm extends functorially to localizations and Henselizations of varieties.
AB - We prove that the algorithm for desingularization of algebraic varieties in characteristic zero of the first two authors is functorial with respect to regular morphisms. For this purpose, we show that, in characteristic zero, a regular morphism with connected affine source can be factored into a smooth morphism, a ground-field extension and a generic-fibre embedding. Every variety of characteristic zero admits a regular morphism to a Q-variety. The desingularization algorithm is therefore Q-universal or absolute in the sense that it is induced from its restriction to varieties over Q. As a consequence, for example, the algorithm extends functorially to localizations and Henselizations of varieties.
KW - Canonical
KW - Functorial
KW - Marked ideal
KW - Resolution of singularities
UR - http://www.scopus.com/inward/record.url?scp=80052930298&partnerID=8YFLogxK
U2 - 10.4310/AJM.2011.v15.n2.a5
DO - 10.4310/AJM.2011.v15.n2.a5
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:80052930298
SN - 1093-6106
VL - 15
SP - 229
EP - 250
JO - Asian Journal of Mathematics
JF - Asian Journal of Mathematics
IS - 2
ER -