Quantum Elliptic Calogero-Moser Systems from Gauge Origami

We systematically study the interesting relations between the quantum elliptic Calogero-Moser system (eCM) and its generalization, and their corresponding supersymmetric gauge theories. In particular, we construct the suitable characteristic polynomial for the eCM system by considering certain orbifolded instanton partition function of the corresponding gauge theory. This is equivalent to the introduction of certain co-dimension two defects. We next generalize our construction to the folded instanton partition function obtained through the so-called"gauge origami"construction and precisely obtain the corresponding characteristic polynomial for the doubled version, named the elliptic double Calogero-Moser (edCM) system.


Introduction and Summary
Among the plethora of integrable systems, the elliptic Calogero-Moser types (eCM) have continuously fascinated mathematicians and physicists (see [1] for a good introduction). Of our particular interests, it is wellknown 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 [2,3]. Indeed, this correspondence serves as one of the earliest examples demonstrating the close connections between certain integrable systems and the gauge theories with eight supersymmetries. Moreover with the tremendous advances in the localization computations for supersymmetric partition functions and other protected observables (see [4] for extensive reviews), we can extend the correspondence to the quantum level. In general, there can be multiple deformation parameters { a } in these localization computations depending on the dimensionality of the supersymmetric gauge theories considered. It was proposed that { a } can be identified in general with the Planck constants when quantizing the original classical integrable systems, such that turning off one or more of { a } can be interpreted as recovering certain semi-classical limit [5]. In such a limit, the Bethe Ansatz equation (BAE) of the quantum integrable system can be recovered from the saddle point equation of the corresponding gauge theory partition function computed by localization techniques. In the full quantum case with all { a } kept finite, the instanton partition function can be identified as the eigenfunction of quantum integrable system's Hamiltonian. Such a quantity is computed by using the so called qq-characters [6,7].
One of the hallmarks of the integrability in a dynamical system is the existence of the commuting Hamiltonians, the generating function of them is a finite degree polynomial in the appropriate spectral parameter, known as the "characteristic polynomial" or "transfer matrix". The gauge theoretic counterpart of the characteristic polynomial has been shown in certain cases to be the generating function of chiral rings, such as N = 2 SQCD/XXX-spin chain and its linear quiver generalization [8][9][10][11]. It is also very natural to consider the quantum version of this story in the same vein as discussed in the previous paragraph, and identify the commuting quantum Hamiltonians with the chiral ring operators [5,12,13]. However it is unsatisfactory that eCM systems and their corresponding gauge theories have somehow evaded this general line of developments. As we will review later in Section 2, even though we can readily recover the BAE for the eCM system through the saddle point analysis of partition function [5], a naive gauge theoretic construction of characteristic polynomial however failed to yield the correct commuting quantum Hamiltonians. The situation can be rectified by constructing a certain regular function of spectral parameter with the appropriate degree, which will be named X-function. 1 More precisely this construction is a two step process as we will discuss in Section 3. First, we will introduce the co-dimension two surface defects into the gauge theory through the orbifolding [16][17][18][19], this also has the effect of splitting the original gauge theory into multiple orbifolded copies. The X-function then arises from summing over a suitable instanton partition function for each orbifolded copy. We will demonstrate that the commuting Hamiltonians of the eCM system can indeed be extracted from the resultant X-function.
We next apply our story to an inherently quantum generalization of the eCM system, known as the elliptic double Calogero-Moser system (edCM) [7]. 2 This implies its corresponding gauge theory is necessarily welldefined only when at least one of { i } is turned on. Indeed, the consistent gauge theoretic construction related to the edCM system is known as "Gauge Origami" [22]. 3 This arises from the intersecting D-brane configuration in the presence of background fluxes, which corresponds to turning on { i } [23], as we will review this in Section 4. In Section 5, we will explicitly construct the resultant instanton partition functions, derive the possible BAE from its saddle point equation, and follow our earlier procedures for the eCM system to construct the 2 Elliptic Calogero-Moser Model and N = 2 * Theory It is well known that the elliptic Calogero-Moser (eCM) model (see [1] for an excellent review), which is an one-dimensional quantum mechanical system of N particles with Hamiltonian of the form: is closely related to four dimensional N = 2 * SU (N ) gauge theory. 4 Here the interacting potential is given in terms of Weierstrass ℘(u)-function defined in eq. (A.8).
When m → 0, (2.1) approaches its classical limit, It has been proven that this system encodes the underlying classical integrable structure of N = 2 * super Yang-Mills theory by identifying its spectral curve with the gauge theory Seiberg-Witten curve in many early literature such as [2,24] and see [3] for a more complete list of references. In this note, we aim to extend in several directions the quantum version of such a correspondence from various new results in gauge theories.

Bethe Ansatz Equation from Instanton Partition Function
As a warm up example setting up our subsequent notations and terminologies, as well as illustrating the problem, we first recall how the BAE of the eCM model can arise from the instanton partition function of N = 2 * SU (N ) gauge theory. The instanton partition function can be obtained from the localization computation in Ω-background and is expressed in terms of a summation over all allowed instanton configurations [25,26], each of them is labeled by a set of N Young diagrams λ = (λ (1) , . . . , λ (N ) ). Each Young diagram λ (α) for α = 1, . . . , N is labeled by row vectors: λ (α) = (λ (α) 1 , λ (α) 2 , . . . ) with non-negative entries such that: which denote the number of box of each row. Let us define the following parameters: where ( 1 , 2 ) are the Ω background deformation parameters. The instanton partition function is now written as the summation: where τ is the complexified gauge coupling, and m is the complex adjoint mass.
Let us consider the so-called Nekrasov-Shatashvili limit (or NS limit for short) [5], such that 2 → 0 with 1 =: fixed, and take the Stirling approximation on Γ-function, we obtain: where f (x) = x(log x − 1). In this limit, the combination 2 λ (α) i becomes continuous, such that the sum over the discrete Young diagrams can be approximated by a continuous integral over a set of infinite integration variables {x αi }, The instanton functional H inst (x αi ) takes the form of: where we have also defined: (2.10) Here we have introduced the instanton density ρ(x) which is a non-vanishing constant along J = αi [x (0) αi , x αi ] and zero everywhere else to rewrite H inst . Furthermore we can define the combinations: . Together, the instanton partition functional H inst can be written as: As G(x) is a total derivative, one obtains where We often call the Young diagram λ * satisfying eq. (2.14) the "Limit shape configuration," which dominates the summation in eq. (2.5) under NS-limit: To see how BAE of the quantum eCM model emerges, we consider the twisted superpotential arising from the full partition function Z A0 : where U(x) is defined in eq. (2.10). While the remaining classical twisted superpotential is 18) and the perturbative one-loop twisted superpotential is Unlike the gauge theories with massive fundamental hypermultiplets [13], there is no natural truncation condition on the Young diagrams labeling instanton partition function. Instead, the equation of motion for the functional W A0 is given by: explicitly one obtains: using the following identity: Exponentiating both sides of equation (2.21) gives this is the BAE of the eCM system [5].
Here we would like to introduce the following T (x)-function: which will be proposed as a tentative characteristic polynomial for generating the commuting Hamiltonians of the eCM system later. We can also recast T (x) in a more illuminating form by defining: , (2.25) and rewrite T (x) as While similar T (x) works as the characteristic polynomial for XXX spin chain arising from superconformal QCD, see e.g. [13], we will see momentarily that in order to correctly reproduce the commuting Hamiltonians for the eCM system, we need to further enhance T (x) as defined in (2.26).

Finding the commuting Hamiltonians: Warm Up
After demonstrating how the BAE can arise from four dimensional N = 2 * SU (N ) gauge theory, it is natural to consider if it is possible to similarly obtain the commuting Hamiltonians. To this end, we first consider the T (x) function defined in (2.14) and (2.26) which is a natural candidate for generating all commuting Hamiltonians of the eCM system by identifying its expansion coefficients in appropriate asymptotic regime.

T-function from gauge theory
As a simplification to illustrate the procedures, let us consider pure N = 2 SU (N ) gauge theory by setting m → ∞ to integrate out the adjoint hypermultiplet, it is known that the associated integrable system is A N −1 Toda lattice (戸田格子) system: Now in the m → ∞ limit, the saddle point equation (2.14) now becomes BAE for A N −1 -Toda system: such that T (x) defined in (2.26) reduces to: as can also be deduced from lim m→∞ Y (x ± m) → 1.
We will now show that T (x) is a degree N polynomial in spectral parameter x. Using (2.28), we can see that the apparent poles of T (x) coming from poles of Y (x + ) are canceled by the corresponding zeros in the bracket. This proves that T (x) is analytic in the complex x-plane (excluding x = ∞). To prove T (x) has the correct degree, we first consider large x behavior of Y (x). When x is large, we may approximate x αi ≈ x (0) αi . Thus the asymptotic behavior of Y (x) behaves as:

Surface defect via orbifolding
Here we would like to introduce a co-dimension two surface defect on C 1 ⊂ R 4 = C 1 × C 2 , with Z N orbifolding on the coordinates of C 2 by (z 1 , z 2 ) → (z 1 , ζz 2 ) where ζ N = 1. This orbifolding procedure commutes with NS limit 5 . We will restore 2 dependence for a moment, and take NS limit after orbifolding. Shown in [7], the instanton partition function with surface defect inserted is an eigenfunction of Hamiltonian for both Calogero-Moser and Toda cases (eq. (2.1) for Calogero-Moser and eq. (2.27) for Toda). On the other hand, N = 2 with fundamental hypermultiplet does not require such a orbifolding procedure, as discussed in [13]. It should be noted however that it is possible to relate these two different types of surface defects via the brane creation process similar to Hanany-Witten transition in M-theory, as discussed in [28,29].
A Z N type surface defect in a U (N ) gauge theory [19] can be characterized by a coloring function: c : {α = 1, 2, . . . , N } → Z N , which assigns a color α labeling Coulomb parameter a α to an irreducible representation R ω of Z N , ω = 0, 1, . . . , N − 1. Here we choose the simplest form of c: this implies we can assign the Coulomb parameter a α to the representation R α−1 of Z N . One may take other form of coloring function c if needed. In principle, one can consider the lower degree orbifolding as the quotient by Z n<N . The defect corresponding to Z N is called the full-type surface defect, which is relevant to our purpose. More detailed discussions can be found in [16][17][18][19]. Under Z N orbifolding, the complex coupling q splits into N copies: each q ω is assigned to the representation R ω of Z N for complex gauge coupling. Under Orbifolding, counting in the instanton partition function becomes with the definition and the following definition of notations: We will show how the introduction of full surface defect affects T (x). Starting from its building block Y (x), under orbifolding, where each orbifold copy is: For more general coloring function, the condition in (2.34) should be c(α)+j ≡ ω. K ω is a collection of Young diagram boxes which are assigned to the representation R ω under orbifolding. Remember that orbifolding is imposed in C 2 , with 2 charged. Adding or subtracting an 2 moves the representation by ±1. For instance if a α is assigned to representation R α−1 , then a α + 2 is of representation R α . This essentially splits boxes in Young diagram into different collections of K ω based on its location as in (2.34). Each Young diagram box in K ω is labeled by orbifolded instanton counting parameter q ω . For each R ω , we now have orbifolded T -functions as The presence of such a surface defect is necessary for both Calogero-Moser and Toda cases for their instanton partition function to become eigenfunctions, detailed discussions can be found in [7].

NS limit under orbifolding
Now we resume to take the NS limit and further consider the large x asymptotic of T ω (x), each individual copy Y ω (x) becomes: with the definition in (2.34), (2.35), and Together with its inverse, we have: Multiplying together all the orbifold copies, we obtain that: (2.41) The first two commuting Hamiltonians of the Toda system are coming from the leading two non-trivial coefficients: Now using the definitions in (2.35), we see that if we treat h 1 as an operator, when acting on orbifolded instanton partition function and using (2.33), we may replace and we may replace As for h 2 , by the definition of D ω , we can set ω D ω = 0. Now we have acting on orbifolded instanton partition function. If we further take the classical limit → 0, the kinetic term becomes α 1 2 a 2 α . This means a α must be real in order to have a non-negative kinetic energy term. We have thus recovered the Hamiltonians of the periodic Toda chain eq. (2.27). T (x) defined in eq. (2.29) using the instanton partition function is indeed the characteristic polynomial of the corresponding integrable system. Calculation without taking NS-limit can be found in [30].

The need for X-function
With success of A N −1 Toda system, we would like to ask whether T (x) defined for N = 2 * system in (2.26) can similarly reproduce commuting Hamiltonians of the eCM system, hence be identified as the characteristic polynomial?
The short answer is: NO. This is because T (x) defined earlier in (2.26) is not a finite degree polynomial. There exist additional poles coming from Y (x−m)Y (x+m+ ) in the numerator, which render it non-analytic. Explicit calculation also verifies our claim. As with Toda lattice, here we introduce the full surface defect on Following similar orbifolding procedures from eq. (2.36) to eq. (2.40), we found for ω = 0, . . . N − 1: (3.1) If we normalize T ω (x) by 1 + q ω to set the coefficient of the leading term to unity: then we will have the first few h j 's as Here we see that h 2 obtained clearly does not resemble eq. (2.1). Also since eq. (2.26) consists poles, eq. (3.2) is NOT a polynomial.
The failure of reproducing the correct eCM Hamiltonian leads us to consider a certain modification of T (x), which we will denote it as X(x). 6 In the construction of this function, we again temporarily restore the 2 dependence: where + = 1 + 2 , and µ is one single Young diagram, we denote it as: Since µ is only one Young diagram, we will not use vector notation like λ = (λ (1) , . . . , λ (N ) ), the latter denotes a vector with N Young diagrams λ (α) , α = 1, . . . , N as its entries. Note that µ has no relation to λ labeling the fixed point on the original instanton moduli space. We will see later in chapter 5 that Young diagram µ has an interpretation as the "dual" instanton configuration in the eight-dimensional gauge origami construction. Each box of µ is labeled by: where i = 1, . . . , (µ) and j = 1, . . . , µ i with a given i. Let us define Here a ij = µ i − j denotes the "arm" associated with a given a box (i, j) in a Young diagram, l ij = µ T ij − i for the "leg" associated with the same box. We have also defined h ij = a ij +l ij +1. Under NS limit, lim 2→0 B[µ] = 1 for all µ. The relation between T (x) defined in (2.26) and X(x) defined in eq. (3.4) has been mentioned in [15]. One may identify our T (x) with the T -function denoted by T 6v there and X(x) with the other T -function denoted as T. Comparing with [7] and [6] , we see that X-function (3.4) is the qq-character of N = 2 * system defined on limit shape, and becomes the q-character when NS limit is taken.
We will now continue to take NS-limit and show that X(x) is a degree N polynomial. Using the large xasymptotic behavior of Y (x), it is obvious that X(x) is of order N . To prove its analyticity, let us consider one specific µ configuration µ = (µ 1 , µ 2 , · · · , µ (µ) ) under NS-limit, its contribution to X(x) is denoted as (3.8) such that the total X-function is given by: (3.9) The poles of X(x)[µ] are located at where x αi is defined in (2.4). For each i there exists an infinity number of poles from infinity many {x αi }, Let us focus on the poles located at x αi − (l − 1)m + µ l (m + ) of some 1 ≤ l ≤ (µ). Adding an additional box to µ located at (l, µ l ) gives a new Young diagram µ = (µ 1 , · · · , µ l−1 , µ l + 1, µ l+1 , · · · , µ (µ) ), whose contribution to X(x) is: are contained in X(x) (3.9) and share the same poles x αi − (l − 1)m + µ l (m + ).
The sum of the two Young diagram contributions gives us The poles located at are now canceled by the denominator using eq. (2.14). The other two sets of poles can be dealt with similarly. Since X(x) is summed over all Young diagram configuration, X(x) is analytic.

Commuting Hamiltonians from X(x)
Finally we would like to see that the correct commuting Hamiltonians of the eCM system can be obtained directly from X(x) we just constructed. Following the same procedure we performed with Toda system in the end of previous section, a full-type surface defect is again introduced in C 1 ⊂ R 4 with orbifolding. Each orbifolded copy of X(x) under NS-limit becomes: The full X-function can be recovered via where each X ω (x) is of degree one.
Here we would like to address further the factor B µ ω appearing in the summation, it is the orbifolded version of q |µ| B[µ] appearing in (3.4). Consider the summation over all possible partition configurations, which we denote as B: This is equivalent to a single N = 2 * U (1) instanton partition function with (m, −m − + ) identified as its Ω-background parameters as pointed out in [6]. This observation will eventually lead us to so called "Gauge Origami" construction, for which we will discuss in Section 4. After orbifolding, each individual B µ ω becomes and here we define the following: (3.17) Let us define a new set of variables (instead of (2.44)) such that (3.15) can now be rewritten as One way to think about this configuration is that the orbifolding now splits the instanton partition into N copies of U (1) sub-partitions. Each element in K ω is counted by orbifolded coupling q ω instead of the original q. To evaluate the summation over all possible Young diagrams, we will introduce a new representation for a Young diagram µ: is the difference between number of boxes of two neighboring columns, r = 1, . . . , N − 1 and the last one l = ∞ J=1 µ T N J counts for how many times a full combination of q 0 · · · q N −1 = q shows up. Define the summation over all possible partition configuration of each ω as: and their total product is the orbifolded version of B defined in eq. (3.14), i.e. the orbifolded instanton partition function of U (1) N = 2 * theory in the NS limit. The function Q( z; τ ) is defined in (A.17) in terms of elliptic theta functions. The explicit form of the z independent function F (τ ) will not be used in the following derivation of commuting Hamiltonians and we will show it can be absorbed by shifting the zero point energy.
We again consider the large x expansion of X ω in (3.12) and we normalize X ω (x) with respect to the coefficient of the leading x term, which is B ω ( z, τ ). A similar computation yields: (3.23) As stated in (3.13), the full X-function carrying the information of the conserved Hamiltonians is the product of all the orbifolded pieces X ω (x). From above we will take the normalization to be: To express the commuting Hamiltonians, let us define the following derivative operators for ω = 1, . . . , N : (3.25) and differential operators for z: Based on (3.18), it implies the relation: Using definition of B ω ( z, τ ) in (3.15), and (3.17), we can express the first commuting Hamiltonians as: Again like the case of Toda, we may treat h 1 as operator acting on orbifolded instanton partition function and replace ν ω → ∇ z ω , thus we have the momentum.
We claim that we have recovered eq. (2.1) up to the following canonical transformation between the generalized coordinate q and its conjugate momentum P , which satisfy the commutation relation [q, P ] = : We can rewrite potential terms in h 2 as in particular F (τ ) may be removed by shifting the zero energy level, its explicit form is not important as noted earlier. We have thus successfully recovered the quantum eCM Hamiltonian given in eq. (2.1). Here we summarize the explicit parameter identifications in N = 2 * SU (N ) gauge theory and the N -particle eCM system: Gauge group rank Number of particles z α Ratio between orbifolded couplings Exponentiated coordinates By using second property in (3.18) that z ω+N = qz ω , the coordinates {z α } and complex coupling q = e 2πiτ are independent.
Let us end this section by commenting that one way to identify eigenfunction of h 2 is to use the fact X(x) is N = 2 * q-character. In the NS-limit, the VEV of q-character is dominated by following limiting shape configuration When treating Hamiltonians as the operators (and thus X(x)), we have By matching the coefficients, we conclude Z inst [ λ * ] is the eigenfunction of Hamiltonians The canonical transformation performed in (3.30) gives an additional factor to the orbifolded instanton partition function. h 2 has the eigenfunction as: Detailed calculations and discussion can be found in [5,7].

Elliptic Double Calogero-Moser System from Gauge Origami
Let us begin by introducing the basic information about the elliptic double Calogero-Moser system (edCM), it is an one dimensional quantum mechanical system consisting of P = N + M particles governed by the following Hamiltonian: ℘(x α − y β ).
(4.1) The constant k is the ratio of masses between two sets of identical particles, i.e. the mass of the first N -particles labeled by {x α } N α=1 is k times of the mass of the remaining M -particles labeled by {y β } M β=1 . Simultaneously k also acts as a single coupling constant. The Hamiltonian (4.1) was initially mentioned in the context of the gauge origami in [7], and the trigonometrical limit of eq. (4.1) is studied in various papers such as [20,21]. Notice that (4.1) inherits the following symmetry: Swapping {x α } ↔ {y β } while simultaneously flipping k ↔ 1 k (up to over all k factor).
Let us look more closely at Hamiltonian given in eq. (4.1). In particular comparing with eq. (2.1) and coefficients of their potential when there is only one group of particles.
• As M = 0, we identify k = m ; Here we see that the meaning of "classical" limit is somewhat ambiguous among the two sets of particles. For particles labeled by {x α } N α=1 , the classical limit means taking k 1 while keeping m finite. As for particles labeled by {y β } M β=1 , the classical limit is taken under k 1. This is the first hint that Hamiltonian in eq. (4.1) has no natural classical limit. Suppose we take k = m , taking the classical limit → 0 is equivalent to have k 1. In such a limit, the mass of the first N particles labeled by {x α } N α=1 is much heavier than the remaining M particles. In the classical approach, those objects with much larger mass can be treated as non-dynamical in the leading order. Eq. (4.1) now becomes: Even though the last term is of k 2 order, it is just a constant as the heavy particles are non-dynamical. The resultant quantum Hamiltonian describes M non-interacting particles in a potential well. Similar argument applies to k = m 1. We conclude that the system defined by eq. (4.1) has no classical limit. In particular taking large mass limit with fixed is equivalent to take large k. Thus unlike eCM we do not recover double Toda under such limit by the fact edCM has no classical limit. This analysis also indicates that the connection of such an inherently quantum system with the supersymmetric gauge theories is much more subtle as we will reveal shortly.

Quantum Integrability of Elliptic Double Calogero-Moser System
Before constructing the supersymmetric gauge theory associated with the edCM system however, let us first further investigate its integrability and we will employ the so-called Dunkl operators [32]. The Dunkl operators are quantum version of Lax pairs [33][34][35] which pairwise commute. In particular the Dunkl operators for Calogero-Sutherland integrable models were explicitly worked out in [35], and their equivalence to the quantum pair Lax operators [36] was shown in [37] for all root systems. To explicitly define them, let us consider the following family of functions: where τ is a modular parameter and θ 11 is the theta function defined in (A.6) (Recall that we have identify complex gauge coupling with elliptic modulus at the end of previous chapter.). The function σ t (x) has the following properties Let t α , α = 1, . . . , N , and u β , β = 1, . . . , M , be P = N + M complex numbers, t α , u β ∈ C/(Z ⊕ τ Z). The elliptic double Dunkl operators are defined as: Here S xx αα , S xy αβ , and S yy ββ are the permutation operators acting on {e xα } and {e y β }: • x α S xy αβ = S xy αβ y β , y β S xy αβ = S xy αβ x α , • y β S yy ββ = S yy ββ y β , y β S yy ββ = S yy ββ y β .
Here we show the Dunkl operators defined in (4.5) are pairwise commuting: We use (4.4b) for the 4th equal sign. Similarly for the other combinations: For later convenience of calculating conserved commuting Hamiltonians, we will use the combined coordinates {x j } P j=1 denoted by: The conserved charges are now given as: Since d j s are commuting, it is easy to see that L (r) are also pairwise commuting L (r) , L (s) = 0, ∀r, s = 1, . . . , P. (4.12) In particular, to recover the original edCM Hamiltonian, we consider: (4.13) We got Derivatives and product of σ-function. In the limit of all t α and u β are equal, we may use the 4th and 5th properties of σ t (z)-function (4.4) to obtain the edCM Hamiltonian (4.1) (4.14) We thus established the quantum integrability of the edCM system.

Gauge Origami and Localization
Here we review the relevant details about the so-called gauge origami construction which is an extension of ADHM construction of gauge instantons, more details can be found in [22,23,38] (See also [30]). Let start with four complex planes with coordinates {z a }, a = 1, 2, 3, 4 and consider picking two out of them such that the six possible copies C 2 A ⊂ C 4 are denoted by the following double index notation:  . We can thus use C 2Ā to denote the complementary two complex planes transverse to C 2 A , such that the total space C 4 = C 2 A ⊕ C 2Ā . One can imagine that the six copies of sub-spaces C 2 A are sitting on the six edges of a tetrahedral and its four faces are labeled by the four complex coordinates {z a }, hence the name "折紙 (origami)". This construction is motivated by the intersecting D-brane configurations using D1-D5-D5 branes [23], here we consider the following D(-1)-D3-D3 intersecting configuration which can be obtained via T-duality transformations: Brane Type # of Branes 1 2 3 4 5 6 7 8 9 10 D(-1) κ D3 (12) n 12 x x x x D3 (13) n 13 x x x x D3 (14) n 14 x x x x D3 (23) n 23 x x x x D3 (24) n 24 x x x x D3 (34) n 34 x x x x We labeled each stack of n A D3 or D3 branes by D3 A or D3 A indicating its four dimension world volume is in C 2 A , and gives U (n A ) gauge group. Notice that the presence of two out of six anti-D3 branes D3 is necessary for this intersecting brane configuration to partially preserve 1 16 of supersymmetries or two supercharges. We also introduced κ D(-1) branes, which will play the role of "spiked instantons" in this configuration. Similar to ADHM construction, each gauge group is associated to a vector space N A = C n A , and one additional vector space K = C κ is associated to κ D(-1) branes. The analogous maps acting on {N A } and K are: (4.16a) can thus be identified respectively with the so-called D-term, E-term and J-term conditions [23]. Starting with the D-term, which gives the real momentum map µ R 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 combinations: and we define s A as: where ε AĀ is a four indices totally antisymmetric tensor ranging over A and its complementĀ. The analogue to the complex momentum maps are now given by: Notice that while µ A = 0 can encode six complex equations, however s A consist both µ A and µ †Ā which are mapped into each other under hermitian conjugation, there are therefore only six real equations encoded in (4.20). The reason of using s A instead of µ A is because s A gives the correct number of degree of freedom, we will show this 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Ā. For every A, there are two such equations. These equations (4.21) appear when one considers the D(-1) and intersecting D3 instanton configurations [38]. Now we would like to claim that equations in (4.20), (4.17), and (4.21) 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 real degrees of freedom: which together precisely equals to the number of the conditions:

.21)} is
Essentially M κ only consists of only discrete points. Comparing to ADHM construction which has a moduli space of dimensions 4κN , additional eq. (4.21) 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 [38]. The matrices {s A }, {σā A } and {Υ A } in (4.20), (4.21), and (4.23) need to be subjected to the following matrix consistency identity [38]: By setting each term in the LHS of (4.24) vanishes using (4.20), (4.21), and (4.23), we can deduce the following constraints: which are equivalent to the E-and J-term constraints considered in [23].
It is known that the combination of imposing ζ > 0 and dividing by U (κ) in (4.17) is equivalent to replacing D-term equation (4.17) by the stability condition [38], 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. In other words, (4.26) The equations (4.25b) and (4.25c) further shows that K can be decomposed into The equation (4.27) is essentially the stability condition for familiar ADHM construction. Combining (4.25a) and (4.27), we have shown that gauge origami is actually six independent copies of ADHM construction of instantons. Finally, the moduli space is now defined as There is a symmetry (4.20), (4.17), (4.21), and (4.23) enjoys, and thus a symmetry of the moduli space (4.28): 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: 4 a=1 q a = 1. (4.29) 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 the C 4 . In the ADHM construction in four dimensions, 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 ( As stated, the gauge origami can be viewed as a composition of six copies of ADHM instanton constructions. Each sub-instanton vector space K A has its fixed-points labeled by a set of Young diagrams λ A = (λ , each Young diagram is labeled by λ (α) A = (λ A,α,1 , λ A,α,2 , . . . ), α = 1, . . . , n A , such that: where e A,α is the fixed basis of the vector space C n A . We will also use λ = { λ A } to denote the set of all gauge origami Young diagrams.
As in the usual ADHM construction, we denote the character on each N A and K A as: The character on the tangent space of the moduli space defined in eq. (4.28) can be written as 34) and the following notation: q a = e a ; P a = 1 − q a ; q A = q a q b ; P A = P a P b . Example 1: Consider all n A ≡ 0 except n 12 = N , the character is given as Define the operation E as: .

(4.38)
We found that the instanton partition function of 4d U (N ) N = 2 * theory defined in (2.5) can be obtained from this character: under the identification of the adjoint mass m = 3 .

Elliptic Double Calogero-Moser from Gauge Origami
Now we would like to see how a special case of the gauge origami construction reviewed earlier is naturally connected with the edCM system. Let us consider a special case with only two stacks of overlapping D3 branes, i.e. where α = 1, . . . , N , β = 1, . . . , M . For each gauge group, we can define the following combinations: This special configuration is also called the folded instanton [7,38]. The partition function of such a gauge origami configuration is given by: . (5.6d) We take NS limit 2 → 0 while keeping 1 and 3 fixed. Following the similar procedures in Section 2.1, one finds the saddle point configuration satisfies where We denote the Young diagrams which satisfy (5.7) the limit shape configurations λ * 12 and λ * 23 , they dominate the full folded instanton partition function given in (5.5) in NS limit: To find the resultant BAE, we consider the twisted superpotential arising in the NS limit: W = lim 2 →0 [ 2 Z] = W classical + W 1-loop + W inst , whose equation of motion is now given by: with g γ ∈ {a α , b β }, g γ = a α for γ = 1, . . . , N and g γ = b β for γ = N + 1, . . . N + M . The classical twisted superpotential is given as 11) and the perturbative one-loop twisted superpotential is The BAE now can be obtained after some elaborated calculations, following the same procedures as in (2.22): Comparing with the BAE of eCM in eq. (2.23), eq. (5.13) consists of two copies of the eCM systems. To the best of our knowledge, the BAE for the edCM system has not appeared in the literature, we therefore propose that (5.13) is a possible one. We will provide supporting evidence this statement by deriving the commuting Hamiltonians explicitly from the folded instanton configuration in the following section.

X(x) for Elliptic Double Calogero-Moser System
As we have shown in the previous sections that, X-function was constructed upon auxiliary lattice as an enhanced version of the original T -function, and it is the characteristic polynomial for the eCM system. We would like to see if similar construction also applies for the edCM system, using the gauge origami partition function.
We claim that the resultant X(x) should be of the following factorizable form: (5.14) When we restore 2 dependence, the two factors are: with the parameters given by: , (5.16b) and the constraint (4.36) applies. Comparing with the gauge origami construction, we see that X 1 (x) corresponds to the configuration n 12 = N , n 23 = M , and n 34 = 1, with µ 1 = λ 34 , while X 3 (x) corresponds to the configuration n 12 = N , n 23 = M , and n 14 = 1, with µ 3 = λ 14 . The x-independent terms in X 1 (x) (or X 3 (x)) can be viewed as auxiliary instanton partition of U (1) gauge theory living on C 3 × C 4 (or C 1 × C 4 ) four-dimensional subspace. Here we would like to stress that X(x) is not equivalent to having a single gauge origami consisting n 12 = N , n 23 = M , n 34 = 1, n 14 = 1, rather a product of two different gauge origami systems. The configuration with n 12 = N , n 23 = M , n 34 = 1, n 14 = 1 can only be factorizable under NS limit, and without orbifolding. If either orbifolding is implemented or we keep 2 finite, it is not factorizable.
To show that X(x) has the correct degree P , let us define the analogous functions to eq. (2.25): (5.17) We may now take large x limit for both Y 1 (x) and Y 3 (x) and find: Following the similar argument given for the ordinary eCM model, one can prove that X(x) is analytic in the complex plane. We may now rewrite X(x) using Y 1 (x) and Y 3 (x): which is the desired degree. We will next show that X(x) indeed reproduces the commuting Hamiltonians of the edCM system.

Commuting Hamiltonians from X(x) for edCM system
Here we again introduce Z P -type full surface defect on C 2 13 ⊂ C 4 with orbifolding in C 2 24 ⊂ C 4 , such that the orbifolding acts on the coordinate of C 4 by (z 1 , z 2 , z 3 , z 4 ) → (z 1 , ζz 2 , z 3 , ζ −1 z 4 ) with ζ P = 1. This is not a co-dimension two defect, but rather it should be interpreted as a generalization of the surface defects. Similar to what we had done for Toda and eCM systems, we define the coloring function on the indices of moduli parameters c : {α} N α=1 ∪ {β} M β=1 → Z P which assigns each color α and β to a representation R ω of Z P , ω = 0, 1, . . . , P − 1. In the simplest case, c is defined as Under the orbifolding, we have with , , under NS limit 2 → 0 while keeping 1 and 3 finite. We also consider the following Young diagram boxes under orbifolding: 12 ; c(α) + j ≡ ω mod P }, (5.26a) where K 12 ω and K 32 ω are the collections of Young diagram boxes from λ 12 and λ 32 which are assigned to the representation R ω under orbifolding. They are the same as the definition in eq. (2.34). Denoting as the generalization to eq. (2.34) and eq. (2.35). Performing the large x expansion of Y 1,ω (x) and Y 3,ω (x) under orbifolding gives (5.28b) The notation here follows eq. (5.27). Under orbifolding, X 1 (x) and X 3 (x) now splits into (5.29b) Here B 12 ω [µ 1 ] and B 32 ω [µ 3 ] are the U (1) orbifolded instanton partitions living on C 3 × C 4 and C 1 × C 4 with instanton configuration µ 1 and µ 3 respectively, where We may also write the second commuting Hamiltonian h 2 as ( 4 ∇ q ω − P 12 ω ∇ z ω ) log B 12 αα ( z; τ ) + ω ( 4 ∇ q ω − P ω ∇ z ω ) log B 12 αβ ( z, w; τ ) ( 4 ∇ q ω − P 23 ω ∇ z ω ) log B 32 ββ ( w; τ ), We remark 4 = −( 1 + 3 ) in the NS limit 2 → 0 due to the constraint (4.36). Notice that B 12 αβ is not symmetrical to B 32 βα for q-independent part. The reason of this is due to the specific coloring function c we chose in eq. (5.21), and we will now explain how this works. Based on (5.30a) and (5.30b) before summing over all Young diagrams, the q independent part comes from the product: ω j=1 q ω+1−j = z ω z ω−ω ; ω > ω ≥ 1. Using the coloring function defined in eq. (5.21) for z α = z α−1 and w β = z N +β−1 , there is no such way to have z α w β = z α−1 z N +β−1 = 1 q α q α+1 · · · q N +β−1 (5.41) since this expression contributes negative number of instantons (inverse power on counting q ω ), while its inverse is legit. This is the cause of asymmetry between B 12 αβ and B 32 βα in the q-independent factor.
As before we dropped the z-independent factors (which appeared in eq. (3.22)), since they can be removed in the final stage by redefining zero point of energy level as shown previously. The q-Pochhammer notation is defined in eq. (A.3). We may therefore denote the z-dependent parts as: such that Q 12 and Q 32 combine to give a full θ-function, i.e.