Nash problem for surface singularities is a topological problem

We address Nash problem for surface singularities using wedges. We give a refinement of the characterisation in A. Reguera-López (2006) [32], of the image of the Nash map in terms of wedges. Our improvement consists in a characterisation of the bijectivity of the Nash mapping using wedges defined over the base field, which are convergent if the base field is C, and whose generic arc has transverse lifting to the exceptional divisor. This improves the results of M. Lejeune-Jalabert and A. Reguera (2008) [16] for the surface case. In the way to do this we find a reformulation of Nash problem in terms of branched covers of normal surface singularities. As a corollary of this reformulation we prove that the image of the Nash mapping is characterised by the combinatorics of a resolution of the singularity, or, what is the same, by the topology of the abstract link of the singularity in the complex analytic case. Using these results we prove several reductions of the Nash problem, the most notable being that, if Nash problem is true for singularities having rational homology sphere links, then it is true in general.