Let $\mathfrak{g}$ be a complex semisimple Lie algebra. This question concerns three classical objects of representation theory: the two-sided Kazhdan-Lusztig cells of the Weyl group $W$ of $\mathfrak{g}$, the irreducible representations of $W$ which are special in the sense of Lusztig, and the special nilpotent orbits of $\mathfrak{g}$. All these objects form finite sets, and we have the following diagram of bijective correspondences

[![main diagram][1]][1]

which I'll discuss a bit more in a minute. My question is, *does this diagram commute*? Surely the answer is yes, but I can't see a proof of this in the literature.

Here are some more details on the objects involved and their relations to one another:

 - The KL cells are the equivalence classes of a certain equivalence relation on $W$, which is defined using the Hecke algebra of $W$ and its Kazhdan-Lusztig basis. To every two-sided cell $\mathbf{c}$, Lusztig attached a $W$-bimodule $[\mathbf{c}]$; two irreducibles $E, E'\in \mathrm{Irr}(W)$ are said to belong to the same *family* if they both appear as irreducible components of $[\mathbf{c}]$. Lusztig's families partition the set $\mathrm{Irr}(W)$. Moreover, each family contains a unique *special* representation; this means equality is achieved in a certain numerical inequality $a_E \leq b_E$. This yields the bijection labelled 'Lusztig' in the diagram above.
- A nilpotent orbit $\mathbb{O}$ is orbit of the nilpotent cone $\mathcal{N}$ of $\mathfrak{g}$ under the action of its adjoint group. Fix $e \in \mathbb{O}$, let $A(e)$ denote the component group of the centraliser of $e$, and consider the fibre $\mathcal{B}_e$ of $e$ in the Springer resolution $T^* \mathcal{B} \to \mathcal{N}$ (here  $\mathcal{B}$ denotes the flag variety of Borel subalgebras). Springer constructed an action of $W \times A(e)$ on the cohomology space $\mathrm{Sp}(\mathbb{O}) := H^{2d}(\mathcal{B}_e, \mathbb{C})$ (here $d = \dim \mathcal{B}_e$), obtaining a decomposition $$ \mathrm{Sp}(\mathbb{O}) = \oplus_{E \in \mathrm{Irr}(W)} E \otimes V_E, $$
where each $V_E$ is a complex finite-dimensional irreducible representation of $A(e)$. The trivial representation $V_E = \mathbb{C}$ always occurs exactly once in this decomposition; if the corresponding $W$-module $E$ is special in the above sense, then we say that the orbit $\mathbb{O}$ is special. This yields the bijection labelled 'Springer' in the diagram above.
- Let $\mathcal{U}$ denote the universal enveloping algebra of $\mathfrak{g}$, and consider the set $\mathrm{Prim}(\mathcal{U})$ of primitive ideals of $\mathcal{U}$ (i.e. two-sided ideals which are annihilators of simple left $\mathcal{U}$-modules) with trivial central character.  Duflo proved that every $J \in \mathrm{Prim}(\mathcal{U})$ can be written as the annihilator of a simple highest weight module $L_w$, so that we obtain a surjective map 
$$W \twoheadrightarrow \mathrm{Prim}(\mathcal{U}), \quad w \mapsto \mathrm{Ann} (L_w).$$
By work of [Barbasch-Vogan][2], the fibres of this map are exactly the left KL cells of $W$. Moreover, if we let $\mathrm{Prim}_{\mathbb{O}}(\mathcal{U})$ denote the set of $J \in \mathrm{Prim}(\mathcal{U})$ such that the associated variety of $\mathcal{U} / J$ equals $\overline{\mathbb{O}}$, then this set is nonempty iff $\mathbb{O}$ is special, and in this case its preimage under Duflo's map is a two-sided cell of $W$. This yields the bijection labelled 'Barbasch-Vogan' in the diagram above.

I'm especially interested in the case where $\mathbb{O}$ is the subregular orbit and $\mathfrak{g}$ is simple of type ADE. Then the corresponding Springer representation $\mathrm{Sp}(\mathbb{O})$ is irreducible (since $A(e)$ is trivial), and is isomorphic to the reflection representation of $W$. On the other hand, the two-sided cell $\mathbf{c}$ corresponding to the reflection representation via Lusztig's construction can be characterised as the set of elements of $W$ having a unique reduced decomposition; equivalently, $\mathbf{c} = \sqcup_{s\in S} \sigma_s $, where $\sigma_s$ is the left cell containing the simple reflection $s$; equivalently, $\mathbf{c} = a^{-1}(1)$, where $a : W \to \mathbb{Z}_{\geq 0}$ is the function defined by Lusztig. I want to be sure that this $\mathbf{c}$ coincides with the preimage of $\mathrm{Prim}_{\mathbb{O}}(\mathcal{U})$ under the Duflo map. 


  [1]: https://i.sstatic.net/bT5dV.png
  [2]: https://www.sciencedirect.com/science/article/pii/0021869383900066?via%3Dihub