Generalized Calogero-Moser system and supergroup gauge origami

We study the integrability and the Bethe/Gauge correspondence of the Generalized Calogero-Moser system proposed by Berntson, Langmann and Lenells which we call the elliptic quadruple Calogero-Moser system (eqCM). We write down the Dunkl operators which give commuting Hamiltonians of the quantum integrable system. We identify the gauge theory in correspondence is a supergroup version of the gauge origami, from which we construct the transfer matrix of the eqCM system.


Introduction
The intrinsic connection between the 4d N = 2 supersymmetric gauge theories and algebraic integrable system has been an intense interest and fruitful research ground since the groundbreaking work of Seiberg and Witten through the identification between the Seiberg-Witten curve of the supersymmetric gauge theory and the spectral curve of the algebraic integrable system [2][3][4].Nekrasov and Shatashvili promoted the relation to between the quantum integrable system and 4d N = 2 symmetric gauge theory subject to Ω-deformation.The Ω-deformation allows localization computation of the supersymmetric partition function and other protected observables.This was afterwards named as Bethe/Gauge correspondence.In general, there can be multiple deformation parameters {ε a } in the localization colputation based on the dimensionality of the supersymmetric gauge theory considered.It is proposed that the Ω-deformation parameters {ε a } can be regarded in general as Planck constants when quantizing the classical integrable system.In the Nekrasov-Shatashvili limit where one of the Ω-deformation parameter is turned off, an effective N = (2, 2) supersymmetry is restored on the corresponding two dimensional subspace.Simultaneously, the Bethe ansatz equation (BAE) of the quantum integrable system is recovered from the saddle point equation of the supersymmetric gauge theory partition function.In this relationship the effective twisted superpotential of the N = (2, 2) gauge theory corresponds to the Yang-Yang functional of the quantum integrable system.In this regard, the stationary state of the quantum integrable systems are the vacuua of the effective N = (2, 2) theory.The quantum Hamiltonians are identified with the generator of the chiral rings [5][6][7][8][9].Well-known examples include N = 2 SYM/Toda lattice [10], N = 2 SQCD/XXX spin chain-Gaudin model [8,11,12], and N = 2 * /Calogero-Moser system [13,14].
Recent studies show that on top of the Ω-deformation and taking the appropriate limit [15], a co-dimensional two full type surface defect needs to be introduced through appropriate orbifolding procedures [16,17] to fully understand the relation between the conserving quantum Hamiltonian and (twisted) chiral ring operator [11,18].Introduction of such full type surface defect generates the chainsaw quiver gauge theory on the two dimensional surface.For a G-gauge theory, the quiver gauge theory is equipped with a set of gauge couplings (q i ) i=1,...rkG , which would be identified as the canonical coordinates in the quantum integrable system.This allows us to construct the quantum conserved Hamiltonians from gauge theory [19], and the further identification between instanton partition function and quantum wave function [18,[20][21][22][23].

Supergroup and superalgebra
The supergroup and underlying superalgebra is well known to be an extension of Lie group and Lie algebra by including Grassmannian generators.In the study of supersymmetric quantum field theory, the supergroup often encodes both the bosonic and fermionic degrees of freedom of the global spacetime symmetry.However, quantum field theory with supergroup as its gauge group is inevitably non-unitary due to the violation of spin-statistics theorem, leaving these class of theories to be often over-looked and unexplored in the literature.The recent advance in computational techniques brings back the interests of studying these exotic theories.Most notably, the explicit constructions of supergroup gauge theory via D-branes and so-called negative/ghost D-branes were given in [24][25][26] (See [27] also for earlier work), moreover the partition functions for supergroup gauge instantons have been computed in [28,29] using equivariant localization.
It is natural to investigate if the well-established Bethe/Gauge correspondence extends to their corresponding super version.At the classical level, we can naturally generalize the Lax operators/matrices of ordinary integrable systems to construct the so-called super-Lax operators which take values on the supermatrices.The super analog of the Calogero-Moser (CM) system is the double Calogero-Moser (dCM) system with both trigonometric version (trigonometric dCM; tdCM) [37,38] and elliptic version (elliptic dCM; edCM) [36,39].Integrability, which is again defined by the existence of many commuting conserved Hamiltonians, of the dCM system was proved in [38] for the trigonometric, and in [19] for the elliptic cases.There are two gauge theories in correspondence to the edCM system.One is 4d N = 2 * supergroup gauge theory [40].The other one is the folded instanton [18,19] based on the gauge origami [41,42].
In this paper we study the integrability and Bethe/Gauge correspondence of a generalization of the edCM system, which we will call the elliptic quadruple Calogero-Moser system (eqCM), proposed in [1].It is a 1+1 dimensional system of arbitrary number of four kinds of particles.Our goal is to prove its integrability by explicit construct its Dunkl operator, and establish its Bethe/Gauge correspondence with supergroup folded instanton.

Outline
In section 2 we review the eqCM system and prove its integrability by explicitly constructing its Dunkl operator.In section 3, we will review the D-brane realization of the supergroup gauge theory and study the gauge origami with supergroup.In section 4 we will explicitly construct the supergroup folded instanton partition function, and derive the BAE from from its saddle point equation.We recover the quantum Hamiltonian of the eqCM system by introducing full type surface defect.The last part is achieved through the regularity of qq-character observable [43].Finally we discuss various future directions in section 5. We relegate our various definitions of functions and some of the computational details in a series of Appendices.
where R + (g) is the set of all positive roots of Lie algebra g, ∆ g is the Laplace operator defined on the Lie algebra g.The Weierstrass ℘-function ℘(z; 2ℓ, 2iδ) = ℘(z) has halfperiod (ℓ, iδ).See also (4.48).g α is the potential coupling that depends on the length of the fundamental root α.The eCM system defined based on the Lie algebra A N −1 , which is a one-dimensional quantum mechanics system of N particles with the Hamiltonian: is closely related to four dimensional N = 2 * SU (N ) gauge theory.The algebraic integrable system can be defined on the Lie superalgebra.Let I = I 0 ∐I 1 be the union of "even" indices I 0 = {1, . . ., N } and "odd" indices and e 1 , . . ., e N , e 1, . . ., e M be its basis such that each vector's parity be aligned with its index.Let e * 1 , . . ., e * N , e * 1, . . ., e * M be the basis of the dual space V * .Then the root system of the Lie superalgebra g = gl(N |M ) can be described as follows: R = ∐ σ,σ ′ =± R σσ ′ where (2.3) On the dual space V * , define inner product that depends on a parameter g by The elliptic Calogero-Moser system associated with the root system of the superalgebra g = gl(N |M ), called elliptic double Calogero-Moser (edCM) system, is defined by: (2.5) The integrability of the edCM system was proven in [19].It is related to two gauge theories: the four dimensional N = 2 * SU (N |M ) supergroup gauge theory [40] and folded instanton [18,19].Bernston, Langmann and Lenells proposed a generalization of the edCM system in [1].The generalized eCM model, which we call elliptic quadruple Calogero-Moser system (eqCM) here, is a one-dimensional quantum mechanics system of L = N + + N − + M + + M − particles governed by the Hamiltonian: (2.6) The eqCM (2.6) describes a 1+1 dimensional system with four kinds particles interact through two-body interaction based on their physical distance |x|.The particles can be labeled (m j , c j ) = (1, +), (1, −), (1/g, +), and (1/g, −).The label m j characterizes the mass of the particles.The two types of particles of different mass corresponds to electrons and holes respectively in the condense matter system [45].The label c j = ± can be realized as chirality of the particles, corresponding to the left and right moving particles.The particles of the same chirality interact through the potential proportional to ℘(x), while the particles of opposite chirality interact through potential proportional to ℘(x + iδ).The former is singular when x → 0 and is repulsive, while the later is non-singular in x → 0 and is attractive (2.7)

Integrability
Before we dive into the gauge theory construction of the eqCM system, we would like to investigate its integrability discussed in [1].It turns out that the integrability of the eqCM system solely depends on the integrability of the edCM.The proof is straightforward: By shifting y ± → y ± + iδ the eqCM becomes an edCM.The integrability of the edCM has been proved in [19].Hence, the eqCM system is integrable.We construct the Dunkl operator for the eqCM system by considering a family of functions where τ is a modular parameter and θ 11 is the theta function (Recall that we have identify complex gauge coupling with the elliptic modulus at the end of previous chapter).The function σ t (x) has the following properties ) ) ) For the later convenience, we will collectively denote the coordinates by z j , j = 1, . . ., L = We define the parity function such that the partricles' chiralities are given by c j = (−1) p(j) .Let t j ∈ C/(Z ⊕ τ Z) (j = 1, . . ., L) be L complex numbers.The elliptic Dunkl operator is defined by Here S jk = S kj are permutation operators acting on {z j } by z j S jk = S jk z k .Here we show the Dunkl operator defined in (2.12) are pairwise commuting: (2.13) The conserved charges are given by In the classical integrable system, the conserving Hamiltonians are obtained by the (super)trace of the L × L Lax matrix.Eq. (2.14) is the quantum uplift and generalization of the classical conserved charge.The "Lax matrix" is a diagonal L × L matrix with diagonal components D j .The trace is deformed in the same manner by inner product (2.4).
Since individual Dunkl operators D j are pairwise commuting, it is obvious that L (r) are also pairwise commuting L (r) , L (s) = 0, ∀ r, s = 1, . . ., L. (2.15) In particular, to recover the eqCM Hamiltonian, we consider (2.16) In the limit that all t j = t identical, we use the fourth and fifth property of σ t (x) in (2.9) to obtain the eqCM Hamiltonian We hence prove the integrability of the eqCM system.

Supergroup from D-branes
The D-brane acts as the boundary on the string world sheet.In the presence of multiple D-branes, a Chan-Paton factor, which takes a value in the vector space C N in the case of N D-branes, is assigned to each of the string to identify which D-brane it ends on.These Chan-Paton factors, though non-dynamical on the world sheet, give rise to the N labels that generate the U (N ) gauge group in the target space.The Dirac quantization condition restricts N to be integer.It does not, however, rule out the possibility of negative N .A negative Chan-Paton factor can be realized by introducing additional minus sign to certain subset of boundary states, i.e. the Chan-Paton factor now takes a value in a graded vector space C N + |N − with the mixed signatures: The additional vector space with negative signature corresponds to the additional N − negative branes which carry an additional negative sign with respect to the boundary states, hence the Chan-Paton factors corresponding to the usual positive branes.This distinguishes them from the more commonly encountered anti-branes which only carry an negative sign for the RR sector, and preserve the opposite space-time supersymmetries.A system consisting of both positive and negative branes can preserve the same space time supersymmetries.Moreover due to the negative sign in their NS-NS sector, a negative brane carries negative tension and anti-gravitates, this feature again differs from the anti-brane which gravitates.
Let us consider the scenario of N + positive and N − negative D3 branes place in parallel.A string that connects between one positive brane and one negative brane have the opposite statistics comparing to a string having both ends on positive brane.This is caused by the additional minus sign on the negative brane.An open string with both ends on the negative brane will have usual statistics since the minus signs from both ends cancel each other.This enhances Here A and D are N + × N + and N − × N − even graded matrix with complex number entries, while B and C are N + × N − and N − × N + odd graded matrix whose entries are Grassmannian.An odd graded matrix means its entries obey anti-commutation relation instead of commutation relation,

Instanton moduli space of supergroup gauge origami
Here we recall the supergroup instanton moduli space studied in [28] and extend it to the gauge origami.We apply the supergroup D-brane construction to the gauge origami, which is inspired by type IIB string theory [19,41].Let us start with four complex planes C 4 with coordinates z a , a = 1, 2, 3, 4, and consider picking out two of them such that the six possible copies C 2 A ⊂ C 4 are labeled by two digit indices, A ∈ {( 12), ( 13), ( 14), ( 23), ( 24), (34)} = 6.( We also define Define the complement of A by Ā = 4\A, for instance if A = ( 12), Ā = (34).The complementary two complex planes transverse to C 2 A is thus denoted by C 2 Ā, and One can imagine the four complex planes labeled by four complex coordinates z 1,2,3,4 are the four faces/edges of a tetrahedron and the six subspaces C 2 A are the edges of the tetrahedron.This is inspired by the D1-D5-D5 system in [56].Noted that the D5 denotes the anti-brane instead of the negative brane.We consider the D(-1)-D3-D3 system which can be obtained through T-duality (Table 1).IIB branes 1 2 3 4 5 6 7 8 9 10 D(−1) ± D3 (12),± x x x x D3 (13),± x x x x D3 (14),± x x x x D3 (23),± x x x x D3 (24),± x x x x D3 (34),± x x x x We label the D3 ± and D3 ± branes by D3 A,± and D3 A,± indicating the four dimensional world volume is in C 2 A .The ± labels the sign of the Chan-Paton factor of the D-branes.Notice that the two out of six D3 branes is necessary for the interesting brane configuration to preserve 1  16 of supersymmetry or 2 supercharges.We also introduced (κ + |κ − ) D(-1) ± branes, which will play the role of "spiked instantons" in this configuration.Similar to ADHM construction for supergroup [28], each gauge group is associated to a graded vector space and one additional vector space associated to (κ + |κ − ) D(-1) branes.
The analogous maps acting on {N A } and K are: and we can understand these from the world volume theory of (κ + |κ − ) D(-1) branes.Here {I A } and {J A } are the bi-fundamental fields arising from the open string stretching among the D3 A,± /D3 A,± and D(-1) branes, while B a are the complex U (κ + |κ − ) adjoint fields whose diagonal entries label the positions of (κ The analogous real moment map µ R and complex moment map µ C equations to ADHM construction in C 4 can thus be identified respectively with the so-called D-term, E-term and J-term conditions [56].Starting with the D-term, which gives the real moment map Here in such an intersecting D-brane configuration, we also turn on constant background NS-NS B-field, it generates the FI parameter in the D(-1) brane world volume theory.Next we would like to discuss the E-and J-term conditions together.To do so, for each N A , let us define the following map µ A : K → K, and we define s A as: where ε A Ā is a four indices totally antisymmetric tensor ranging over A and its complement Ā.The analogue of the complex moment maps are now given by: Notice that, while µ A = 0 can encode six complex equations, s A consists both µ A and µ † Ā which are mapped into each other under hermitian conjugation.There are therefore only six real equations encoded in (3.10).The reason of using s A instead of µ A is because s A gives the correct number of degree of freedom as we will show in a moment.In addition, there are equations which do not exist in the usual ADHM construction: where ā ∈ Ā denotes the single index contained in the double index Ā = 4\A.For every A, there are two such equations.These equations (3.11) appear when one considers the D(-1) and intersecting D3 instanton configurations [57].The moduli space of the spiked instanton is defined by • If ζ is a real number, the moduli space is bosonic, i.e.B a , I A and J A are block diagonal.
• If ζ is a Grassmannian even number, the moduli space is fermionic, i.e.B a , I A and J A are block off-diagonal.
• If ζ is a combination of Grassmannian even number and real number, the moduli space is mixed.
In this note we only consider the bosonic moduli space to serve our purpose.We would like to claim that equations in (3.10), (3.7), and (3.11) are sufficient to fix the solution uniquely by showing the number of degrees of freedom and the number of conditions are equal.Let us start with counting the degrees of freedom.For bosonic moduli space: which together precisely equals to the number of the conditions: 1. Eq. (3.10): 6 × ((κ + ) 2 + (κ − ) 2 ) real conditions 2. Eq. (3.7): (κ + ) 2 + (κ − ) 2 real conditions.

Eq. (3.11):
Hence we may show that the dimensions of moduli space M κ + |κ − (3.12) is exactly Essentially M κ,n only consists of only discrete points. 1 Comparing to the ADHM moduli space of κ-instanton configurations of U (n) gauge theory denoted by M κ,n with dim C M κ,n = 2κn, additional eq.(3.11) reduces instanton moduli space to be zero dimensional.
However, there also exist open strings stretching between D3-D3 branes which gives additional maps/fields from D-brane construction.These terms are not related to instanton and thus not being considered when constructing instanton moduli space.For instance, when one considers the D(-1)-D3-brane realization of ADHM construction, the open strings with both ends attached to D3 branes are not taken into account.Here we also consider the open strings stretching between D3 A -D3 Ā branes and D3 A -D3 Ā, giving rise to the following conditions: these act as the transversality conditions [57].The matrices {s A }, {σ āA } and {Υ A } in (3.10), (3.11), and (3.13) need to be subjected to the following matrix consistency identity [57]: where We can than consider the projection of (3.14) onto Tr The right RHS is non-negative.By setting each term in the LHS vanishing using (3.10), (3.11), and (3.13), we can deduce the following constraints: ) ) A similar argument holds for the π − .Combining the two constraints gives ) ) which are equivalent to the E-and J-term constraints considered in [56].
It is known that the combination of imposing ζ > 0 and dividing by U (κ + |κ − ) in (3.7) is equivalent to replacing D-term equation (3.7) by the (co-)stability condition [28,57], which states that for any subspace K ′ + ⊂ K + , such that I A (N A,+ ) for all A ∈ 6 and B a K ′ + ⊂ K + for all a = 1, 2, 3, 4, coincides with K + , i.e.K ′ + = K + , and for any subspace In other words, The equations (3.17b) and (3.17c) further shows that K ± can be decomposed into The equation (3.19) is essentially the (co-)stability condition for the familiar ADHM moduli space.Combining (3.17a) and (3.19), we have shown that gauge origami is actually six independent copies of ADHM construction of instantons.Finally, the moduli space is now isomorphic to the GIT quotient, There is a symmetry (3.10), (3.7), (3.11), and (3.13) enjoys, and thus a symmetry of the moduli space (3.20):We can multiply B a by a phase B a → q a B a , and compensate with J A → q A J A , q A = q a q b for A = (ab) as long as the product of q a is subject to: (3.21) If we view q = diag(q 1 , q 2 , q 3 , q 4 ) as diagonal matrix, it belongs to the maximal torus U (1) 3 of the group SU (4) rotating C 4 .Hence (3.21) is the Calabi-Yau four-fold condition.In the ADHM construction for R 4 , we usually consider SO(4) rotation acting on R 4 , whose maximal torus U (1) 2 give rise to two generic Ω-background parameters for complex momentum map.In the gauge origami, if we start with SO( 8) rotation acting on R 8 = C 4 with maximal torus U (1) 4 , one might expect four generic Ω-background parameters.However conditions defining the moduli space (3.10), (3.11), and (3.13) are real equations, which removes over all U (1) phase rotation (3.21), leaving maximal torus U (1) 3 , which preserves some supersymmetry that act As stated, the gauge origami can be viewed as a composition of six copies of ADHM instanton constructions.And doubled to 12 in the case of supergroup.Each sub-instanton vector space K A,σ , σ = ±, has its fixed-points labeled by a set of Young diagrams λ A,σ = (λ A,σ , . . ., λ A,σ ), each Young diagram is labeled by a set of non-negative, non-increasing integers λ (α) such that: where e σ A,α is the fixed basis of the vector space C n σ A .We will also use λ = {λ A } = {λ As in the usual ADHM construction, we denote the character of vector spaces N A and K A as: (3.25) Here we are abusing the notation that the vector space and its character use the same notation.The character of the tangent bundle of the moduli space defined in eq.(3.20) can be written as 12),( 13),( 14) with the following notation a, b, c ∈ 4, A = (ab) ∈ 6: q a = e εa , P a = 1 − q a , q A = q a q b ; P A = P a P b ; P abc = P a P b P c . (3.27) Using (3.21), it shows (ε a ) a=1,...,4 are subject to the constraint: Including the one-loop contribution gives the full character of the tangent bundle [42,56]: 12),( 13),( 14) with the observable bundle given by the pullback of the inclusion map of the universal bundle associated with A ∈ 6 over the moduli space,

Bethe/Gauge correspondence of eqCM
In this section we aim to establish the gauge theory in correspondence to the eqCM system.It is well-known that the classical spectral curve of the eCM integrable system associated with Lie algebra Lie(G) can be directly identified with the Seiberg-Witten curve of four dimensional N = 2 * theory with gauge group G [10,58,59], see also [13,60].
There are two gauge theories corresponding to the edCM system: the 4d N = 2 * supergroup gauge theory [40] and the folded instanton based on gauge origami [19,61].As the edCM system does not have a proper classical limit, the identification is established through the qq-character, a BPS-observabe introduced in [43].It is the double quantum uplift of the Seiberg-Witten curve.
In this section we study the Bethe/Gauge correspondence of the eqCM system.In section 4.1 we compute the partition function of the supergroup folded instanton, whose saddle point equation in the Nekrasov-Shatashvili limit gives the BAE of the eqCM system.Finally in section 4.4, an full-type co-dimensional two defect is introduced to the folded instanton.We recover the commuting Hamiltonian of the eqCM system by studying qqcharacter in the presence of the defect.

Gauge origami construction
We consider the following gauge origami setup: with four sets of Coulomb moduli where we have defined Chern characters with ε + = ε 1 + ε 2 and the observable bundle,

Bethe ansatz equation
In the Nekrasov-Shatashivilli limit (NS-limit for short) ε 2 → 0, the partition function (4.2) has the following asymptotics, Here W(a ± , b ± , ε 1 , ε 3 ) is the effective twisted superpotential of the two-dimensional degrees of freedom on C 2 [7,62].We say that the partition function in the NS-limit is dominated by the limit shape instanton configuration (Λ 12,± , Λ 23,± ) defined by We denote with 23,−,i . ( The saddle point of the instanton pseudo-measure in (4.2) can be obtained by considering small variation on top of the limit shape.This can be realised by adding an additional instanton in the limit shape configuration (Λ 12,± , Λ 23,± ).The potential position for a new box to be added is exactly at x 1,+ αi , x 1,− αi , x 3,+ βi or x 3,− βi .Let us first consider adding an instanton in S 12,+ at e x 1,+ αi .Then, the saddle point equation reads

qq-character
A class of BPS observables called qq-character is introduced in [43], which are the quantum uplift of the q-character [62], the double-quantum uplift of the Seiberg-Witten curve.The main statement in [57] proves certain vanishing theorem for the expectation value of the qqcharacter.These vanishing equations, called non-perturbative Dyson-Schwinger equation, can be used to derive KZ-type equations [20,21,70].In the NS-limit, these KZ-type equations becomes Schrödinger-type equation, producing the quantum Hamiltonian of the corresponding integrable system [11,18].
The qq-character of the folded instanton with supergroup (4.1) can be constructed by adding one additional D-brane in the N 34 and N 14 respectively.We consider adding a single D-brane in N l4,+ = e x , l = 1, 3. The instanton configuration in the N l4 space is labeled by a single Young diagram λ l4,+ K l4,+ = (i,j)∈λ l4,+ e x q i−1 l q j−1 4 , S l4 = N l4,+ − P l P 4 K l4,+ , l = 1, 3. (4.14) The spiked instanton partition function is given by The qq-character X 1 (x) (resp.X 3 ) is obtained by integrating over the degree of freedom in the C 3 × C 4 (C 1 × C 4 ) space, which becomes an ensemble over the instanton configuration in the context of localization, where We also define: Let us explain the notation here: Given a Young diagram λ = (λ 1 , . . ., λ ℓ(λ) ), we denote a ij = λ i − j the "arm" of the associated box (i, j) ∈ λ, and l ij = λ T j − i the "leg" associated to the same box.Notice that both B 12 and B 23 approaches to 1 in the Nekrasov-Shatashvili limit ε 2 → 0. The BAE (4.13) can be obtained from the qq-character in the Nekrasov-Shatashvili limit.We rewrite the qq-character in Q(x) (4.12) in ε 2 → 0 limit:

Orbifold surface defect
We now introduce Z L ′ orbifold on the geometry C 4 induced by the discrete action , where η = e 2πi L ′ is the L ′ -th root of unity.The orbifold defect is characterized by a coloring function that assigns the Coulomb moduli parameters a ±,α , b ±,β to the ω-th one-dimensional irreducible representation R ω of Z L .The defect induced by this orbifold is called regular/fulltype surface defect if the following are true: From now on we will consider only the regular/full-type surface defect with the following coloring function: For this coloring function we will denote which is the range of the index ω.The orbifold also splits the instanton counting parameter q into L = N + + N − + M + + M − fractional counting parameters q ω for each representation R ω of Z L .The fractional couplings {q ω } are related to the bulk instanton parameter by with the parity function p(ω) defined by We also define the particle coordinates: Fractional qq-characters are: The fractional Y -functions are defined by The boxes in the Young diagrams are colored in the presence of orbifold: Let us address the B 12,ω [λ 34,+ ] and B 23,ω [λ 14,+ ] here.They are the orbifolded versions of q |λ 34,+ | B 12 [λ 34,+ ] and q |λ 14,+ | B 23 [λ 14,+ ] respectively.Here we change the stability condition for those p(ω) = 1.Each is given by with One way to think about this configuration is that the orbifolding now splits the instanton partition function into L = N + + N − + M + + M − copies of U (1) sub-partitions.Each elements in K ω is counted by fractional coupling q ω instead of the original q.To evaluate the ensemble over all possible Young diagrams, let us introduce a new representation for a Young diagram λ:

LJ
counts how many times a full combination q shows up.The summation over the Young diagrams gives Performing large x expansion of Y 1,ω and Y 3,ω under the orbifold, we have ) ) ) where In order to have non-vanishing interaction between the particles in the different sector, one may deliberately modify the metric on the graded vector spaces The metric deformation breaks U (N + |N − ) → U (N + ) × U (N − ), which leads to the deformation of the commutation relation between the canonical momenta on the C 2 12 : This is equivalent to modify the Ω-deformation in the negative sector.We also deliberately modify the metric on the graded vector space The metric deformation breaks U (M + |M − ) → U (M + ) × U (M − ), which leads to the deformation of the commutation relation between the canonical momenta on the C 2 23 space: This is equivalent to modify the Ω-deformation in the negative sector.
The large x expansion of the qq-characters can be be obtained through some straightforward though tedious computation.For later convenience, we will denote (4.37) When ω ∈ [α + ]: When ω ∈ [α − ]: When ω ∈ [β + ]: Finally when ω ∈ [β − ]: We consider the following combination for the overall normalization constant, Then, we obtain the following commuting Hamiltonians.
The first commuting Hamiltonian: The second commuting Hamiltonian: We will consider the following canonical transformation between the coordinate q and its conjugate momentum p = − ∂ q which satisfies the commutation relation [q, p] = .For a differentiable function f (q), we have 1 2 (4.45) The canonical transform gives the potential term in the Hamiltonian, The canonical transformation combining with ∇ q ω term gives the second Hamiltonian: where g = ε 3 ε 1 .The elliptic modulus of the Weierstrass ℘-function is identified with the complexified gauge coupling There are some special cases of the deformation parameter that we would like to address here: 1.In the undeformed case θ 1 = θ 3 = 1, the Hamiltonian H 2 (4.47) describes two set of edCM systems without any interaction in between.

Trigonometric limit
The trigonometric limit of both eCM and edCM are obtained in the δ → ∞ limit lim δ→∞ ℘(z) = 1 sin 2 z , which we denote as trigonometric Calogero-Moser (tCM) and trigonometric double Calogero-Moser (tdCM) respetively.In the context of gauge theory, this corresponds to the weak coupling limit (4.48).
The eqCM system with all particles sharing the same chirality is no different of an edCM system.The trigonometric limit of eqCM Hamiltonian H 2 (θ 1 = θ −1 3 = g) (4.47) of a single chirality is the tdCM of L = N + + N − + M + + M − particles.In the case of eqCM system consisting particles of different chirality, the potential term between particles with different chirality vanishes in the trigonometric limit: The operator H 2 (θ 1 = θ −1 3 = g) is reduced to a sum of two commuting tdCM Hamiltonians.Instead, one can consider the trigonometric limit of the Hamiltonian H 2 (θ 1 , θ 3 ) in (4.47) with general deformation parameter θ 1 , θ 3 .

Summary and Discussion
We have proven the integrability of eqCM system by explicitly constructing the corresponding Dunkl operator.We have then established the Bethe/Gauge correspondence of the eqCM system with supergroup folded instanton.The supergroups must be deliberately broken to have non-vanishing interaction between particles with opposite chirality.By introducing the full-type co-dimensional two defect, we reconstruct the quantum Hamiltonian of the eqCM system from supergroup folded instanton through its qq-character.
Let us end with discussing a few loose ends in this note and commenting on a few future directions.
• A trigonometric triple Calogero-Moser (ttCM) system is proposed in [71].The Hamiltonian (4.47) does not (seem to) recover the elliptic version of the triple Calogero-Moser system by proper choosing of the deformation parameters (θ 1 , θ 3 ).
• Calogero-Moser systems can be defined on any root system of Lie (super)algebra.From this point of view, it is natural to ask what is the root system corresponding to the eqCM system defined in [1].A plausible candidate is that associated with Z 2 × Z 2 -graded superalgebra [72,73].
• Eigenfunctions of the tCM system are given by Jack polynomials [74].The surface defect partition function, an infinite series in fractional coupling (q ω ) ω=0,...,L−1 , is reduced to Jack polynomial through a proper Higgsing condition on the Coulomb moduli.The eigenfunction of the tqCM system, which is the defect folded instanton partition function, would be a double-graded generalization of Jack polynomial under proper Higgsing condition.
• The gauge origami we discussed in this paper is a generalization of the 4d N = 2 supersymmetric gauge theory.The D(-1)-D3-D3 brane setup Table .1 can be Tdualized to D0-D4-D4 brane system, whose worldvolume becomes generalization of 5d N = 1 supersymmetric gauge theory.The corresponding integrable system is relativistic (trigonometric for momentum variables) [75].

A Superalgebra and supermatrix
In this short appendix we also specify our conventions of superalgebra and supermatrices used in the main text.See also [76,77] for details.

B List of relevant mathematical functions
In this appendix, we provide some relevant details about the mathematical functions used in the main text.

Table 1 .
D-brane setup for gauge origami.