A standard example of Nakajima quiver varieties are type A Springer resolutions $\widetilde{\mathcal{N}} \to \mathcal{N}$. In the theory of Springer resolutions it is often beneficial to consider the full Grothendieck-Springer resolution, i.e. to work with the commutative diagram


$$\require{AMScd}\begin{CD}
\widetilde{\mathcal{N}} @>>> \widetilde{\mathfrak{g}} \\
@VVV @VVV\\
\mathcal{N} @>>> \mathfrak{g}
\end{CD}$$


Is there a similar diagram where the left side is replaced by $\mathfrak{M} \to \mathfrak{M\_0}$ for an arbitrary quiver variety.


To be clear, I do not expect that the analogue of the Grothendieck­-Springer resolution is necessarily a quiver variety itself, I merely ask whether to each (nice?) quiver variety one can associate a space that behaves similar to $\widetilde{\mathfrak{g}}$. I'm also intentionally vague about the word "similar", but for example a main feature of the above diagram is that it "lives over" $0 \hookrightarrow \mathfrak{h}//W \leftarrow \mathfrak{h}$.


Alternatively, why should I not expect such a thing to exist?



Quiver variety analogue of Grothendieck-Springer resolution
There are of course two moment maps to vary - the complex one and the real one. In most treatments of quiver varieties one fixes the complex level set to be zero and the real level set to a nonzero multiple of the identity, with the zero multiple giving the "quiver affine variety" $\mathfrak M\_0$ (best not referred to as the "affine quiver variety" for fear of mis-association).


Very specifically, consider the $A\_d$ quiver with only one framing vertex, attached to the first vertex, bearing dimension $n$. As you know, the various choices of dimension vector $(n\_i)$ on the gauged vertices give $\mathfrak M=$ the various $d$-step (with possible repeats) flag varieties in $\mathbb C^n$. In this construction, one imposes the "preprojective" condition at each gauged vertex $v$, that the sum of all $2$-step paths $v\to w\to v$ is zero. It is fun to use this to derive that the invariant $X:$ frame $\to v\_1\to$ frame satisfies $X^{d+1}=0$. Generically $X$ determines the point
in the quiver variety, but not always.


The difference now is to only ask that these sums be multiples $\varepsilon\_i$ of the identity, instead of actually zero. Then $X$ satisfies instead $X(X-\varepsilon\_1)(X-\varepsilon\_1-\varepsilon\_2)\cdots = 0$ if I recall correctly, and for generic $(\varepsilon\_i)$ the invariant $X$ fully determines the point in the quiver variety, i.e. the quiver variety is an affine variety $GL(n)\big /\prod\_i GL(n\_i)$. Which is to say, varying the multiples $(\varepsilon\_i)$ exactly recovers the Grothendieck-Springer family for $\mathfrak{gl}\_n$, in the case that the dimensions on the gauge vertices are $n,n-1,n-2,\ldots,1$.


