Coulomb branches of quiver gauge theories with symmetrizers (Q2693143)

Let \(I\) be a finite set. A symmetrizable Cartan matrix \((c_{ij})_{i,j\in I}\) satisfies the following: \(c_{ii} = 2\) for all \(i\in I\), \(c_{ij}\in\mathbb{Z}_{\le 0}\) for all \(i\neq j\), and there is \((d_i)\in \mathbb{Z}_{>0}^I\) such that \(d_i c_{ij} = d_j c_{ji}\) for all \(i,j\). When \(d_i = 1\) for any \(i\in I\), a mathematical definition of the Coulomb branch of a \(3\)-dimensional \(\mathcal N=4\) quiver gauge theory associated with two \(I\)-graded vector spaces \(V = \bigoplus V_i\) and \(W = \bigoplus W_i\) has been given in [\textit{A. Braverman} et al., Adv. Theor. Math. Phys. 22, No. 5, 1071--1147 (2018; Zbl 1479.81043)] and [\textit{H. Nakajima}, Adv. Theor. Math. Phys. 20, No. 3, 595--669 (2016; Zbl 1433.81121)], and has been studied in [\textit{A. Braverman} et al., Adv. Theor. Math. Phys. 23, No. 1, 75--166 (2019; Zbl 1479.81044)]. In this paper, the authors generalize the mathematical definition of Coulomb branches of \(3\)-dimensional \(\mathcal{N}= 4\) supersymmetric (SUSY) quiver gauge theories to the cases with symmetrizers. Here, they realize a symmetrizable Cartan matrix by a folding of a graph. This folding gives a finite group action on the Coulomb branch of the quiver gauge theory of the unfolded graph. Then one may define the Coulomb branch of the symmetrizable theory as the corresponding fixed point subscheme. The authors obtain generalized affine Grassmannian slices of type BCFG as examples of the construction, and their deformation quantizations via truncated shifted Yangians. They also study modules over these quantizations and relate them to the lower triangular part of the quantized enveloping algebra of type \(ADE\).