Exact relations between M2-brane theories with and without orientifolds

We study partition functions of low-energy effective theories of M2-branes, whose type IIB brane constructions include orientifolds. We mainly focus on circular quiver superconformal Chern-Simons theory on S3, whose gauge group is O(2N + 1) × USp(2N ) × ···×O(2N +1)×USp(2N). This theory is the natural generalization of the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 5 ABJM theory with the gauge group O(2N + 1)2k × USp(2N )−k. We find that the partition function of this type of theory has a simple relation to the one of the M2-brane theory without the orientifolds, whose gauge group is U(N ) × · · · × U(N ). By using this relation, we determine an exact form of the grand partition function of the O(2N +1)2 ×USp(2N )−1 ABJM theory, where its supersymmetry is expected to be enhanced to N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 6. As another interesting application, we discuss that our result gives a natural physical interpretation of a relation between the grand partition functions of the U(N + 1)4 × U(N )−4 ABJ theory and U(N )2 × U(N )−2 ABJM theory, recently conjectured by Grassi-Hatsuda-Mariño. We also argue that partition functions of Â3 quiver theories have representations in terms of an ideal Fermi gas systems associated with D^\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \widehat{D} $$\end{document}-type quiver theories and this leads an interesting relation between certain U(N ) and USp(2N ) supersymmetric gauge theories.


JHEP06(2016)123
On the other hand, we still do not have detailed understanding of the non-perturbative effects "beyond ABJ(M) theory", namely more general M2-brane theories with less supersymmetry 1 (SUSY). For instance, it is unclear whether many attractive features found in the ABJ(M) theory such as the Airy functional behavior [5,18], pole cancellation [6,23,24] and correspondence to topological string [6,12,13,21,22] are universal for general M2brane theories or accidental for the ABJ(M) theory. While the Airy functional behavior has been found for a broad class of M2-brane theories [5,[33][34][35][36] and seems universal [37] (see also [38]), the other features have been found in few examples. This problem has been addressed in special cases of Imamura-Kimura type theory [39], whose type IIB brane construction consists of NS5-branes and (1, k)-5 branes connected by N D3-branes. Especially the orbifold ABJM theory and (p, q) model [40,41] have been studied well in [29-32, 34, 42, 43]. AlsoD-type quiver theories [35,36] and O or U Sp gauge theories with single node [34,44] have been studied (see also [45][46][47]). In order to understand the nonperturbative effects in more detail, it is very important to investigate the non-perturbative effects in various theories of M2-branes.
In this paper we consider a generalization along a different direction. We study partition functions of low-energy effective theories of M2-branes on S 3 , whose type IIB brane constructions include orientifolds. We mainly focus on 3d superconformal CS theory of circular quiver type with the gauge group 2 O(2N +1)×USp(2N )×· · ·×O(2N +1)×USp(2N ). This theory is a natural generalization of the O(2N +1) 2k ×USp(2N ) −k ABJM theory with N = 5 SUSY [11,49]. We show that the S 3 partition function of this type of theory is also described by an ideal Fermi gas system as in (1.1) and its density matrix ρ O(2N +1)×USp(2N ) takes the following form where ρ (±) (x, y) = ρ(x, y) ± ρ(x, −y) 2 . (1.3) Here ρ U(N ) is the density matrix associated with the M2-brane theories without the orientifolds, which are obtained by the replacement O(2N + 1), USp(2N ) → U(N ) in the orientifold theories. This indicates that the density matrix for the orientifold theory is the projection of the one without the orientifolds. Introducing the grand canonical partition function by 1 Only exceptions so far are the orbifold ABJM theory and (2, 2) model analyzed in [28] and [29][30][31][32], respectively. The grand potential for the orbifold ABJM theory has a simple relation to the one of the ABJM [28] and the (2, 2) model is expected to be described by topological string on local D5 del Pezzo [31,32]. 2 Recently there appeared a paper [48] on arXiv considering a similar physical setup. This reference mainly considers CS theories of O(2N )×USp(2N ) type, which differs from our setup of O(2N +1)×USp(2N ) type. But we also give some comments on the O(2N ) × USp(2N ) type in section 3.5.

JHEP06(2016)123
the relation (1.2) indicates that the grand partition function of the orientifold theory is related to the one of the non-orientifold theory by (1.5) where Ξ (±) [µ] denotes the grand canonical partition function defined by ρ (±) . This relation implies that we can obtain non-perturbative information on the orientifold theory from the non-orientifold theory.
Here we present two interesting applications of our main result (1.5). One of them is to determine an exact form of the grand partition function of the O(2N + 1) 2k × USp(2N ) −k ABJM theory with k = 1, whose SUSY is expected to be enhanced to N = 6 from N = 5. This is achieved by combining our result (1.5) with recent results of [50,51] and we obtain Here Ξ U(N ) 1 ×U(N ) −1 is the grand partition function of the U(N ) 1 × U(N ) −1 ABJM theory, whose exact form is conjectured as [51] where several definitions will be given in section 2.2. The other application of (1.5) is to give a natural physical interpretation of a mysterious relation recently conjectured by Grassi-Hatsuda-Mariño [50]. They conjectured a relation between the grand partition functions of the U(N +1) 4 ×U(N ) −4 ABJ theory and U(N ) 2 × U(N ) −2 ABJM theory as (1.8) This should be compared with our result (1.5) for the N = 5 ABJM theory: (1.9) Combining (1.8) with (1.9), we find Remarkably this relation is indeed equivalent to the conjecture in [11]. The N = 5 ABJM theory is expected to be low energy effective theories of N M2-branes probing C 4 /D k with the binary dihedral groupD k defined in (2.26). Since C 4 /D k for k = 1 is C 4 /Z 4 , moduli of the O(2N + 1) 2 × USp(2N ) −1 ABJM theory become the same as the one of the U(N + M ) k × U(N ) −k ABJ(M) with k = 4. Therefore the work [11] conjectured that the O(2N + 1) 2 × USp(2N ) −1 ABJM theory has the enhanced N = 6 SUSY and equivalent to the U(N + 1) 4 × U(N ) −4 ABJ theory: 3 We also discuss that partition functions ofÂ 3 quiver theories have representations in terms of ideal Fermi gas systems associated withD-type quivers 5 and this leads an interesting relation between certain U(N ) and USp(2N ) SUSY gauge theories with single node. The U(N ) gauge theory under consideration is N = 4 vector multiplet with one adjoint hyper multiplet and N f fundamental hyper multiplets, while the USp(2N ) gauge theory is N = 4 vector multiplet with one anti-symmetric hyper multiplet and N f -fundamental hyper multiples. Regarding these theories, the work [44] has proposed the equivalence This relation is expected from 3d mirror symmetry 6 [53][54][55]. It is known that the U(N ) and USp(2N ) theories are equivalent toÂ N f −1 andD N f quiver theories without CS terms, where only one of the vector multiplets is coupled to one fundamental hyper multiplet. SinceÂ 3 =D 3 , (1.12) should hold via the 3d mirror symmetries. In appendix we explicitly prove this relation by using the technique in [35,36]. This paper is organized as follows. In section 2, we consider the N = 5 ABJM theory with the gauge group O(2N + 1) 2k × USp(2N ) −k . In section 3, we generalize our analysis in section 2 to more general quiver gauge theories. We also identify quantum mechanical operators in ideal Fermi gas systems naturally corresponding to orientifolds in type IIB brane constructions. As interesting examples, we deal with orientifold projections of the (p, q) model and orbifold ABJM theory. Section 4 is devoted to conclusion and discussions. In appendix, we explicitly prove the equivalence (1.12).
In this section we consider the N = 5 ABJM theory with the gauge group O(2N + 1) 2k × USp(2N ) −k . We will generalize our analysis in this section to more general theory in next section.

Orientifold ABJM theory as a Fermi gas
Thanks to the localization [2][3][4], the partition function of the O(2N + 1) 2k × USp(2N ) −k ABJM theory on S 3 can be written as 7 (see table 1 for detail) and rewrite the partition function as with k ′ = 2k. This equation tells us that the partition function of the N = 5 ABJM theory is described by the ideal Fermi gas system with the density matrix ρ N =5ABJM (x, y). We regard ρ N =5ABJM (x, y) as the matrix element of a quantum mechanical operator as in [5], The operatorρ N =5ABJM is defined aŝ By using the operator equations 8 e (2.10) Performing the similarity transformation we finally obtainρ This indicates that the density matrix operatorρ N =5ABJM of the N = 5 ABJM theory is the projection of the one of the N = 6 ABJM theory. Since the N = 5 ABJM theory is the orientifold projection of the N = 6 ABJM theory, presumably the operation of (1−R)/2 tô ρ N =6ABJM corresponds to the orientifold projection. It is interesting if one can understand this relation more precisely.
1. The representation (2.14) ofρ N =5ABJM gives the matrix element This gives the following representation of the partition function , (2.16) where we have rescaled as x → 2x. Let us compare this with the partition function of the USp(2N ) gauge theory with N = 4 vector multiplet, one symmetric hyper multiplet and N f -fundamental hyper multiples 10 (called U Sp + S theory in [34]): Comparing this with (2.16), we easily see that the N = 5 ABJM theory with k = 1 agrees with 11 the U Sp + S theory with N f = 1: It is interesting if one can understand this relation by the brane constructions. Note that this result is essentially the same as the recent result in [44], which has shown the equivalence between the grand partition function of the U Sp + S theory with N f = 1 and Ξ (−) part of the U(N ) 2 × U(N ) −2 ABJM theory. Because of (2.14), our result is equivalent to this result: 2. When we identify the quantum mechanical operator (2.8) associated with ρ N =5ABJM (x, y), we could use the following identity once or twice instead of (2.9), 10 When we go to the last line from the second line, we have used sinh 2 µj = 4 sinh 2 µ j 2 cosh 2 µ j 2 . 11 We can also compare this with the O(2N + 1) gauge theory with N = 4 vector multiplet, one symmetric hyper multiplet and N f -fundamental hyper multiples (O(2N + 1) + S theory). Because of

JHEP06(2016)123
Then the partition function Z N =5ABJM is described by different representations ofρ. If we use this identity and (2.9) just once by once, then we find (2.21) To summarize, we have four different representations ofρ to describe the same partition function Z N =5ABJM : (2.22) where we can freely choose "+" or "−" at every "f ± (1 ±R)f ± " and f ± is given by (2.23) In this paper we always choose "−" since taking "−" seems technically simpler.

Exact grand partition function for k = 1
Here we find the exact form of the grand partition function of the O(2N +1) 2k ×USp(2N ) −k ABJM theory for k = 1. Grassi, Hatsuda and Mariño conjectured [50] Combining this with our result (2.14), we immediately find (1.6) The exact form (1.7) of the grand partition function Ξ U(N ) 1 ×U(N ) −1 was proposed as [51]

Grassi-Hatsuda-Mariño exact functional relation from geometry
Grassi, Hatsuda and Mariño conjectured the relation (1.8) on the grand canonical partition function of the ABJ theory [50]: Physical interpretation of this relation has been unclear and therefore this relation has been considered as accidental. Now we give a physical interpretation on this relation. Let us compare this result with our result (1.5): Plugging (1.9) into (1.8) leads us to This relation is equivalent to the conjecture in [11]. The O(2N + 1) 2k × USp(2N ) −k ABJM theory is expected to be low energy effective theories of N M2-branes probing C 4 /D k with the binary dihedral groupD k , whose action to the complex coordinate (z 1 , z 2 , z 3 , z 4 ) of C 4 is Since C 4 /D k for k = 1 is C 4 /Z 4 , the moduli of the O(2N + 1) 2 × USp(2N ) −1 ABJM theory become the same as the one of the U(N + M ) 4 × U(N ) −4 ABJ(M) theory. Therefore the work [11] conjectured that the O(2N + 1) 2 × USp(2N ) −1 ABJM theory has N = 6 SUSY and equivalent to the U(N + 1) 4 × U(N ) −4 ABJ theory (see [52] for the test by superconformal index): 12 Their definitions are

Generalization
In this section we generalize our analysis in section 2 to a class of CS theory, which is circular quiver with the gauge group [O(2N + 1) × USp(2N )] r and bi-fundamental chiral multiplets one by one between nearest neighboring pairs of the gauge groups.

Fermi gas formalism
Let us consider the circular quiver CS theory with the gauge group O(2N fundamental hyper multiplets, respectively. We parametrize the CS levels k a , k ′ a as k a = kn a , k ′ a = kn ′ a with rational numbers n a and n ′ a . Applying the localization, the partition function becomes [2][3][4] By similar arguments to section 2.1, we rewrite the partition function as Here the function ρ(x, y) is defined by By appropriate similarity transformations, we obtain whereρ U(N ) is the density matrix operator associated with the non-orientifold theory, which is obtained by the replacement O(2N + 1), USp(2N ) → U(N ) in the orientifold theories. This relation shows thatρ for the orientifold theory is the projection of the one without the orientifolds.

Identification of operators corresponding to orientifolds
Here we identify quantum mechanical operators, which naturally correspond to the orientifolds 15 O3 ± in type IIB brane construction. First, it is known that D5-brane, NS5-brane and (1, k)-5 brane naturally correspond to 16 (see e.g. [56,57]) (3.5) This is actually consistent withρ of N = 3 circular quiver CS theory with U(N ) gauge group and SL(2, Z) symmetry in type IIB string. For example, let us consider the (p, q)-model, whose IIB brane construction consists of p NS5-branes and q (1, k)-5 branes connected by 15 O3 − can be regarded as O3 − plane with a half D3-brane while O3 + is perturbatively the same as O3 + plane but different non-perturbatively. 16 We could also consider (1,k)-5 brane withk = nk, whose corresponding operator isÔ  As discussed in section 2.1,ρ for the N = 5 ABJM theory iŝ (3.7) If we assume that this can be rewritten aŝ whereÔ O3 ± corresponds to O3 ± , then it is natural to identify 17 This identification is consistent for more general quiver gauge theories described in section 3.1.

Orientifold projection of (p, q)-model
As an interesting example, we consider orientifold projection of the (p, q)-model analyzed well in [29-32, 34, 42, 43]. The (p, q)-model is the circular quiver theory with the gauge group U Then let us consider a circular quiver theory with the brane construction (see figure 3) Then correspondingρ iŝ This can be understood as the projection of the (2p, 2q)-model. We can also consider the orientifold projection of the (p, q)-model with odd p and q. For example suppose the brane construction As mentioned in remark 2 of section 2.1, we have multiple representations ofρ to describe the same partition function. Then identifications of OÕ 3 ± are more generally

Orientifold projection of orbifold ABJM theory
Next we consider the orientifold projection of the orbifold ABJM theory. Recalling that the brane construction of the orbifold ABJM theory is [(D3) − (N S5) − (D3) − (1, k)] r , let us take the following brane construction (see figure 4) which gives the [O(2N + 1) 2k × USp(2N ) −k ] r circular quiver superconformal CS theory. Then correspondingρ iŝ which is the projection of the orbifold ABJM theory. We can express the grand partition function of the orientifold projected orbifold ABJM theory in terms of the one of the N = 5 ABJM theory by using the argument in [28]. Namely, when the density matrix operatorρ satisfiesρ = (ρ ′ ) r , the grand partition function becomes

JHEP06(2016)123
Multiplet One-loop determinant (3.14) Since we already know the exact form of the grand partition function for the O(2N + 1) 2 × USp(2N ) −1 by (1.6) and (1.7), we can also explicitly write the one of the orientifold projected orbifold ABJM theory with k = 1 in terms of (1.6).

Comments on O(2N ) × USp(2N ) type
In this section we give some comments on partition functions of By similar arguments to section 3.1, we find (3.18) which is of course the same as the result of [48].
Next we consider operators corresponding to orientifolds O3 ± . Let us recall that the brane construction of the O (2N (3.20)

Conclusion and discussions
In this paper we have studied the partition functions of the low-energy effective theories of M2-branes, whose type IIB brane constructions include the orientifolds. We have mainly focused on the circular quiver superconformal CS theory on S 3 with the gauge group O(2N + 1) × USp(2N ) × · · · × O(2N + 1) × USp(2N ), which is the natural generalization of the O(2N + 1) 2k × USp(2N ) −k N = 5 ABJM theory. We have found that the partition function of this type of theory have the simple relation (1.5) to the one of the M2-brane theories without the orientifolds with the gauge group U(N ) × · · · × U(N ). By using this relation and the recent results in [50,51], we have found the exact form (1.6) of the grand partition function of the O(2N +1) 2 ×USp(2N ) −1 ABJM theory, where its SUSY is expected to be enhanced to N = 6 [11]. As another application, we discussed that our result gives the natural physical interpretation of the relation (1.8) conjectured by Grassi-Hatsuda-Mariño. We also argued in appendix that the partition function ofÂ 3 quiver theory has the representation (A.10) in terms of an ideal Fermi gas system ofD-type quiver theory and this leads the relation (1.12) between the U(N ) and USp(2N ) SUSY gauge theories. Our result (1.2), (3.4) shows that the density matrix operator for the orientifold theory is the projection of the non-orientifold theory by the operator (1 −R)/2. It is nice if we can understand this relation more precisely. Our result also implies that one can systematically study the partition function of the orientifold theory by using techniques developed in the studies of the non-orientifold theory. For instance the technique introduced in [44] allows JHEP06(2016)123 us to compute WKB expansion of Tr(ρ ℓR ) systematically 19 in terms of information on Wigner transformation ofρ ℓ . It is interesting to determine non-perturbative effects in the orientifold theories by such techniques.
Recalling that the U(N ) k × U(N ) −k N = 6 ABJM theory is described by topological string on local P 1 × P 1 , this relation would imply that the O(2N + 1) 2k × USp(2N ) −k ABJM theory is described by certain projection in the topological string. There should be a physical meaning of (1 −R)/2 in the context of the topological string.
Although we have found the physical interpretation of one of relations conjectured by Grassi-Hatsuda-Mariño [50], they also conjectured other relations among the grand partition functions of the ABJ(M) theory with specific values of the parameters: (4.1) Although these relations might be accidental coincidences, it would be illuminating if we can find some physical interpretations.

Acknowledgments
We are grateful to Kazumi Okuyama for his early collaboration and many valuable discussions. We thank Benjamin Assel and Sanefumi Moriyama for helpful discussions.

A An exact relation between USp(2N ) and U(N ) gauge theories
In this appendix we show the exact relation (1.12) between the SUSY gauge theories with U(N ) and USp(2N ) gauge groups. The U(N ) gauge theory, which we consider here, is N = 4 vector multiplet with one adjoint hyper multiplet and N f fundamental hyper multiplets, whose partition function is described by so-called N f -matrix model [42]: This matrix model has been studied well in [29-32, 34, 42]. The USp(2N ) gauge theory is N = 4 vector multiplet with one anti-symmetric hyper multiplet and N f -fundamental 19 We thank Kazumi Okuyama for discussions on this point. 20 After this paper appeared in arXiv, this statement is proven in [58].

JHEP06(2016)123
hyper multiples and its partition function is 2) which has been analyzed in [34,35,44]. Regarding these theories, the work [44] has proposed the following equivalence 21 This relation is expected from 3d mirror symmetry [53][54][55]. It is known that the U(N ) and USp(2N ) theories are equivalent toÂ N f −1 andD N f quiver theories without CS levels, where only one of the vector multiples is coupled to one fundamental hyper multiplet, respectively. SinceÂ 3 =D 3 , the equation (1.12) should hold. In this section we explicitly prove this relation by using the technique in [35,36].
Here we show that partition function ofÂ 3 quiver theory has a representation in terms of an ideal Fermi gas system ofD-type quiver theory. Although this may be already proven in [35,36], it is unclear to us whether their derivation includes our analysis in this section or not and therefore we explicitly prove it.
First we precisely explain what we would like to prove. Suppose the SUSY CS theory withÂ n quiver, namely the circular quiver with the gauge group U(N ) k 1 × · · · U(N ) k n+1 , which is coupled to N (a) f fundamental hyper multiplets. The partition function of theÂ n quiver theory can be denoted by [2][3][4] It is known that one can rewrite the partition function of theÂ n theory as [5] ZÂ  Next let us consider theD L+2 quiver CS theory with the gauge group U(N ) figure 5) . The partition function of this theory is given by [2][3][4] It is also known that the partition function of theD L+2 quiver theory is described by an ideal Fermi gas system [35,36]: In this section we prove As mentioned above, this may be already proven in [35,36]. However their derivation apparently seems to take L ≥ 2, where at least one U(2N ) node is present, and it is unclear to us whether their derivation includesD 3 (L = 1) case or not. Therefore we explicitly prove this relation. Now let us consider the A 3 quiver theory: Let us redefine the variables as inD 3 -quiver language: Then the partition function becomes where I, J = 1, · · · , 2N . By inserting , (A.14)

JHEP06(2016)123
to the integrand and using the Cauchy determinant formula, we find (A. 15) Below in this subsection we just repeat the argument of [35]. According to [35], we introduce R(j) = N + j, R(N + j) = j. (A.16) Now we would like to rewrite the integral in terms of a kernel acting on set of N eigenvalues K(σ) among x J 's, which is dependent on the permutation σ. More precisely, we take K(σ) such that Rτ −1 Rτ (j) ∈ K(σ) for given j ∈ K(σ). Then we rewrite the partition function as 2 sinh where s(j) = 0 for j = 1, · · · , N 1 for j = N + 1, · · · , 2N . (A.18) Note that we can also write this as  Averaging over these, we obtain (A.21) Hence corresponding operatorρD 3 iŝ A.2Â n → U(N ) + adj.
Suppose theÂ n quiver theories without CS terms, where only one of the U(N ) vector multiples is coupled to one fundamental hyper multiplet. This theory is related to the U(N ) gauge theory with N = 4 vector multiplet, one adjoint hyper multiplet and n + 1 fundamental hyper multiplets. We can easily show this for the partition functions [5,57,59]. To be self contained, here we repeat its derivation. The density matrix operatorρ of thê A n theory is Thisρ gives the N f matrix model (A.1) with N f = n + 1.

A.3D n → U Sp + A
We also review the proof of the 3d mirror symmetry between the partition functions on S 3 of theD n quiver and U Sp + A theories. The gauge group of theD n quiver theory consists of four U(N ) nodes and (n − 3) U(2N ) nodes, where one of U(N ) nodes associates one fundamental hypermultiplet. The partition function of this theory is given by