Computational aspects of the higher Nash blowup of hypersurfaces (Q517064)

This paper concerns the higher Nash blow up of an algebraic variety \(X\). The purpose of a Nash blow up is to replace singular points of \(X\) with limits of certain spaces carrying higher-order data associated to the variety at non-singular points. This modification is geometric and in general hard to compute. Therefore, the aim of this note is to deal with this problem and to give some computational aspects of the higher Nash blow up of a hypersurface. A generalization of the Jacobian matrix, that involves also higher-order derivatives is given in the first section. This leads to some higher-order criteria of non-singularity, which are presented in section 2. Finally, in section 3 it is proven that the spaces \(T_p^{n}X\) can be identified with the kernel of the higher-order Jacobian, as with the tangent space. This result has two main applications. First in a theorem of O'Shea, which gives a method to compute limits of tangent spaces to a singular point of a hyper surface and in a higher-order version of Nobile's theorem for normal hypersurfaces.