A higher-order tangent map and a conjecture on the higher Nash blowup of curves (Q2663105)

In [\textit{T. Yasuda}, Compos. Math. 143, No. 6, 1493--1510 (2007; Zbl 1135.14011)], Yasuda proved that the higher Nash blowup solves singularities of curves and in [\textit{T. Yasuda}, Commun. Algebra 37, No. 3, 1001--1015 (2009; Zbl 1163.14010)] he gave a conjectural explicit description of the semigroup of the higher Nash blowup of formal curves. In this paper, the authors introduce a matrix that represents a higher-order tangent map of a morphism. This matrix involves higher-order derivatives, making it more suitable for some computations related to jet-spaces. The main application of this matrix is the solution of a conjecture by Yasuda related to the higher Nash blowup of formal curves. The authors show that the Yasuda's conjecture is true for toric curves and they exhibit a family of non-monomial curves showing that Yasuda's conjecture fails in general.