The regular semisimple locus of the affine quotient of the cotangent bundle of the Grothendieck-Springer resolution (Q1664003)

Fix \(G:=\mathrm{GL}_n({\mathbb C})\), \(B\)=the set of invertible upper triangular matrices in \(G\), \( \mathfrak{g}:=\text{Lie}(G)\), \(\mathfrak{b}:=\text{Lie}(B)\). Let \(\mathfrak{u}\)=strictly upper triangular matrices in \(\mathfrak{g}\). The action of \(B\) on \(\mathfrak{b} \times \mathbb{C} \), (namely \(b\cdot (r,i)=(brb^{-1},bi)\)) gives the action on the cotagent bundle of \(\mathfrak{b}\times \mathbb {C}^n\) , namely \(T^*( \mathfrak{b} \times \mathbb{C} )=\mathfrak{b} \times \mathfrak{b} ^* \times \mathbb{C} \times (\mathbb{C}) ^*\), via \[ b\cdot (r,s,i,j)=(\text{Ad}_b(r), \text{Ad}_b^*(s),bi,jb^{-1})=(brb^{-1},\overline{bsb^{-1}},bi,jb^{-1}) \;\;, \] where \(\mathfrak{b}^* \cong \mathfrak{g}/\mathfrak{u}\). Take \(\mu : T^*(\mathfrak{b}\times\mathbb{C}) \rightarrow \mathfrak{b}^*\) be the \(B\)-invariant moment map. Denote by \(\mu ^{-1} (0)^{rss}\) the set \(\{(r,s,i,j) \in \mu ^{-1} (0): r \text{ has distinct eigenvalues}\}\) (rss here means ``regular semisimple''). Let \(\Delta_n=\{ x_1, \ldots , x_n, 0, \ldots , 0) : x_\alpha = x_\gamma \text{ for some } \alpha \not = \gamma \}\subset \mathbb{C}^{2n}\). \newline The main results of this paper assert that the natural map \(P\), sending \((r,s,i,j)\) to \((r_{11}, \ldots , r_{nn}, s_{11}' , \ldots , s_{nn}')\) (we omit the formulas for \(s_{ii}'\), defined via traces of products of matrices ) is a ``well defined, \(B\)-invariant surjective map separating orbit closures'' (Theorem 1.5), and that \(P\) descends to an isomorphism of varieties \(p: \mu ^{-1} (0)^{rss} // B \rightarrow \mathbb{C} ^{2n} \setminus \Delta _n\). \newline In order to realize the complete meaning of this paper and connections to different themes a direct reading of the paper is very recommendable.