The universality conjecture for the quantization of affine-Grassmannian slices

Let $\tilde{Y}^\lambda_\mu$ be the parameterized algebra obtained from $\tilde{Y}_\mu$ by base change along the map from the $r_i^{(s)}$ to the $c_i^{(s)}$ and imposing $A_i^{(s)}=0$ for $s>m_i$. Let $\mathbb B$ be the base of the universal deformation quantization of the symplectic singularity $\Grlmbar$. Universality conjecture. The algebra $\tilde{Y}^\lambda_\mu$ is related to the universal quantization as described in the subsequent two-part conjecture: the map from the Beilinson--Drinfeld deformation base descends to a surjective map $\tilde b$, and $\tilde{Y}^\lambda_\mu$ is the base change along $\tilde b$ of the universal Bezrukavnikov--Kaledin-type quantization. This conjecture identifies the Yangian-type algebra constructed in the paper with the universal deformation quantization after pullback; the supplied text does not establish either assertion.