ON RESOLVING SINGULARITIES

DOI10.1112/S0024610701002745MaRDI QIDQ3151067zbMATH OpenWikidataFDO

Publication date 22 October 2002

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0102100

Jacobian condition Nash blow-up Nash question non-singular blow-up

Singularities in algebraic geometry (14B05) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Modifications; resolution of singularities (complex-analytic aspects) (32S45)

Abstract: Let V be an irreducible affine algebraic variety over a field k of characteristic zero, and let (f_0,...,f_m) be a sequence of elements of the coordinate ring. There is probably no elementary condition on the f_i and their derivatives which determines whether the blowup of V along (f_0,...,f_m) is nonsingular. The result is that there indeed is such an elementary condition, involving the first and second derivatives of the

f_{i},

provided we admit certain singular blowups, all of which can be resolved by an additional Nash blowup. There is is a particular explicit sequence of ideals R=J_0, J_1, J_2,... subset R so that V_i=Bl_{J_i}V is the i'th Nash blowup of V, with J_i|J_{i+1} for all i. Applying our earlier paper, V_i is nonsingular if and only if the ideal class of J_{i+1} divides some power of the ideal class of J_i. The present paper brings things down to earth considerably: such a divisibility of ideal classes implies that for some Nge r+2 J_i^{N-r-2}J_{i+1}^{r+3}=J_i^NJ_{i+2}. Yet note that this identity in turn implies J_{i+2} is a divisor of some power of J_{i+1}. Thus although

V_{i}

may fail to be nonsingular, when the identity holds the {it next} variety V_{i+1} must be nonsingular. Thus the Nash question is equivalent to the assertion that the identity above holds for some sufficiently large i and N.

Recommendations

Cited in

(15)

This page was built for publication: ON RESOLVING SINGULARITIES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3151067)