Families of higher dimensional germs with bijective Nash map (Q936520)

The Nash problem asks whether the essential divisors and the irreducible components of the families of arcs passing through the singular locus correspond bijectively. This problem was negatively answered by \textit{S. Ishii} and \textit{J. Kollár} [Duke Math. J. 120, No. 3, 601--620 (2003; Zbl 1052.14011)] for dimension greater than 3. For dimension 2 and 3, the problem is still open. This paper gives a sufficient condition for an isolated singularity of arbitrary dimension to hold the Nash problem affirmatively by using an ample divisor on a resolution space. To prove this statement, the authors essentially make use of a criterion: one valuation gives non-included family of arcs by the family corresponding to another valuation if the values of the valuation are less than that of the other valuation (unfortunately this criterion is only a sufficient condition for the non-including relation and it makes the Nash problem difficult). By using the result above, they give many examples of 3-dimension on which the Nash problem hold affirmatively.