In his previous paper, the author has defined a higher version of the Nash blowup and considered it a possible candidate for the one-step resolution. In this paper, we will introduce another higher version of the Nash blowup and prove that it is compatible with products and smooth morphisms. We will also prove that the product of curves can be desingularized via both versions.
We consider the problem of finding an ideal whose blowup defines the Nash blowup of a toric surface and such that its zero locus coincides with the singular set of the toric surface.
The higher Nash blowup of an algebraic variety replaces singular points with limits of certain spaces carrying higher order data associated to the variety at non-singular points. In the case of normal toric varieties we give a combinatorial description of the higher Nash blowup in terms of a Gröbner fan. This description will allow us to prove the analogue of Nobile's theorem on the usual Nash blowup in this context. More precisely, we prove that for a normal toric variety, the higher Nash blowup is an isomorphism if and only if the variety is non-singular.
The higher Nash blowup of an algebraic variety replaces singular points with limits of certain spaces carrying higher-order data associated to the variety at non-singular points. In this note we will define a higher-order Jacobian matrix that will allow us to make explicit computations concerning the higher Nash blowup of hypersurfaces. Firstly, we will generalize a known method to compute the fiber of this modification. Secondly, we will give an explicit description of the ideal whose blowup gives the higher Nash blowup. As a consequence, we will deduce a higher-order version of Nobile's theo…
We prove that the higher Nash blowup of a normal toric variety defined over a field of positive characteristic is an isomorphism if and only if it is non-singular. We also extend a result by R. Toh-Yama which shows that higher Nash blowups do not give a one-step resolution of the $A_3$-singularity. These results were previously known only in characteristic zero.
On a Computational Approach to the Nash Blowup Problem
Centro de Investigación en Matemáticas（数学研究中心）；Centro de Ciencias Matematicas, UNAM（墨西哥国立自治大学数学科学中心）；Instituto de Matemáticas, Universidad de Talca（塔尔卡大学数学研究所）
We show that the $ n $-th Nash blowup of the toric surface singularity of type $ A_3 $ is singular for any $ n > 0 $. It was known that the normalization of the $ n $-th Nash blowup of a toric variety is also a toric variety associated to the Gröbner fan of a certain ideal $ J_n $. In our case, we prove that the Gröbner fan contains a non-regular cone. We determine minimal generators of the initial ideal of $ J_n $ with respect to a certain monomial ordering, and show that the reduced Gröbner basis of $ J_n $ has polynomials of certain forms for each $ n $.
We introduce a higher-order version of the tangent map of a morphism and find a matrix representation. We then apply this matrix to solve a conjecture by T. Yasuda regarding the semigroup of the higher Nash blowup of formal curves. We first show that the conjecture is true for toric curves. We conclude by exhibiting a family of non-monomial curves where the conjecture fails.
We initiate the study of Nash blowups in prime characteristic. First, we show that a normal variety is non-singular if and only if its Nash blowup is an isomorphism, extending a theorem by A. Nobile. We also study higher Nash blowups, as defined by T. Yasuda. Specifically, we give a characteristic-free proof of a higher version of Nobile's Theorem for quotient varieties and hypersurfaces. We also prove a weaker version for $F$-pure varieties.
Non-existence of negative derivations on the higher Nash blowup local algebra
Escuela de Matemática, Universidad de Costa Rica（哥斯达黎加大学数学学院）；Centro de Ciencias Matemáticas, UNAM（墨西哥国立自治大学数学科学中心）；Centro de Investigación en Matemáticas（数学研究中心）
We prove that, for the jet scheme of a singular hypersurface, the blowup of a certain jet-related module is not an isomorphism. In conjunction with recent developments in the theory of Nash blowups, our result holds over fields of arbitrary characteristic. Our approach is based on explicit presentations given by a higher-order Jacobian matrix combined with a certain jet-related matrix.
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…
In this work we prove a Baum-Bott type residue theorem for flags of holomorphic foliations. We prove some relations between the residues of the flag and the residues of their correspondent foliations. We define the Nash residue for flags and we give a partial answer to the Baum-Bott type rationality conjecture in this context .
