Non-geometric fluxes & tadpole conditions for exotic branes

We extend the P\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{P} $$\end{document}-flux analysis carried out recently on the T6/[ℤ2 × ℤ2] type-II orientifold model to include all the possible non-geometric fluxes. By deriving universal T-duality rules for all the fluxes, we are able to write down a complete expression for the superpotential for both the IIB and IIA theories. By exploiting the universal T-duality rules that apply to all the branes in string theory, we then identify all the exotic branes that can be consistently included to cancel the tadpoles induced by the fluxes. Finally, we derive the representations of these branes with respect to the SL(2, ℤ)7 duality symmetry of the model.


Introduction
The general lesson that one learns from T-duality is that in string theory one has to generalise the concept of geometry. In particular, in the context of flux compactifications, T-duality implies the presence of non-geometric fluxes, that are quantities that cannot be obtained in terms of the fields of the higher-dimensional supergravity theory. In the case of torus reductions with fluxes turned on, while the RR fluxes of the IIA and IIB theory are mapped into each other by T-duality in the standard way as the NS 3-form flux H abc and the metric flux f c ab transform into the non-geometric Q bc a and R abc fluxes according to the chain of rules [1] (see also [2]) (1.2) In this paper we will focus on the IIB/O3 and the dual IIA/O6 T 6 /[Z 2 × Z 2 ] orientifold models [3][4][5][6][7][8][9][10][11][12] with generalised fluxes turned on. In the IIB/O3-orientifold picture, the only geometric fluxes that can be introduced are F 3 and H 3 . The dual IIA/O6-orientifold is obtained by performing three specific T-dualities, which corresponds to mirror symmetry for this particular orbifold [13]. 1 This maps the H 3 flux of IIB to both geometric and non-geometric fluxes in IIA. If one then includes all the allowed fluxes in the IIA picture, this corresponds in the IIB picture to also including the Q flux. 2 The resulting N = 1 superpotential was originally derived in [1].
In the IIB theory one can also include the flux P bc a which is the S-dual of Q bc a , and derive the way this flux enters the N = 1 superpotential [15]. In [16] it was shown that the fluxes that are related by T-duality to P bc a in any dimension are P b 1 ...bp a and P a,b 1 ...bp , where p is even in IIB and odd in IIA and the b indices are completely antisymmetrised. 3 1 A general analysis of the type II flux solutions which can be generated by T-dualizing the factorized T 2 × T 2 × T 2 torus in the geometric case has been carried out in [14]. 2 The full list of RR, NS and P fluxes that can be turned on in the model, and how they are mapped by mirror symmetry, is given in table 1. 3 The P fluxes with all upstairs indices belong to mixed-symmetry irreducible representations.

JHEP10(2017)134
In particular, T-duality acts according to the rule [ Using this rule, one can determine for the T 6 /[Z 2 × Z 2 ] orientifold which fluxes can be included in both the IIB and IIA theory following precisely the same method used for the NS fluxes: one first maps the flux P bc a of IIB to the dual IIA theory by performing three T-dualities, then extends this to include all the allowed IIA fluxes, and finally one maps this back to IIB. It turns out that in IIB one has to include the additional flux P a,b 1 ...b 4 . The expression for the resulting superpotential of each theory is mapped to the one of the other theory under mirror symmetry [17], and in the IIB case it coincides with the one derived in [18] as far as the P fluxes are concerned.
In string theory, fluxes cannot be turned on arbitrarily, because the presence of Chern-Simons terms in the ten-dimensional type-II supergravity actions implies that fluxes along internal cycles generate effective charges for specific potentials, that for consistency have to be cancelled. In particular, if the potential is projected out in the orientifold model, this implies that the charge induced by the fluxes has to vanish, resulting in a quadratic constraint which is the Bianchi identity for the magnetic dual of the potential. Otherwise, one has to impose a tadpole condition, which is the condition that the charge induced by the fluxes has to be cancelled by including a suitable number of branes. Specifically, the geometric fluxes give rise to non-trivial NS Bianchi identities, but also to a D3 tadpole in IIB, originating from the term H 3 ∧ F 3 , and a D6 tadpole in IIA from H 3 F 0 + f · F 2 . When also the non-geometric Q, R and P bc a fluxes are included, this gives further contributions to the NS Bianchi identities, but also generates additional tadpoles [1,15]. In particular, in IIB the term Q bc [a F d]bc generates a tadpole for the D7-brane, and by S-duality this is mapped to the term P bc [a H d]bc which generates a tadpole for the S-dual of the D7-brane [15]. The fact that the flux P bc a of the IIB theory transforms under T-duality as in eq. (1.3) implies that one can map to the IIA theory the tadpole condition for the S-dual of the D7-brane by performing three T-dualities. This results in a tadpole condition for an exotic brane [17], which is an object that in the higher-dimensional theory is a generalised KKmonopole, i.e. an object well-defined only in the presence of isometries [19][20][21][22][23][24]. In [25][26][27][28] it was shown that exotic branes are associated to specific components of ten-dimensional mixed-symmetry potentials. In particular, given a ten-dimensional mixed-symmetry potential A p,q,r,... in a representation such that p, q, r, . . . (with p ≥ q ≥ r . . .) denote the length of each column of its Young tableau, this corresponds to a brane if some of the indices p are isometries and contain all the indices q, which themselves contain all the indices r and so on. One can then classify all the mixed-symmetry potentials that give rise to branes in lower dimensions in terms of the non-positive integer number α denoting how the tension of the corresponding brane scales with respect to the string coupling g S . T-duality relates JHEP10(2017)134 different potentials with the same value of α. In particular, the RR potentials C p have α = −1, while the potentials D 6+p,p associated to the NS5-brane, the KK monopole and their T-duals have α = −2 [25]. The potential E 8 associated to the S-dual of the D7-brane has α = −3, and the other mixed-symmetry potentials with the same value of α are of the form E 8+n,2m,n in IIB and E 8+n,2m+1,n in IIA [26]. In [17] it was shown that on the T 6 /[Z 2 × Z 2 ] orientifold the IIB potential E 8 is mapped by mirror symmetry to specific components of the IIA potential E 9,3,1 , and by adding also all the other components that can be consistently included in IIA, this maps in IIB to components of the potentials E 8,4 , E 9,2,1 and E 10,4,2 . Proceeding this way, one manages to obtain the full set of components of α = −3 mixed-symmetry potentials corresponding to exotic branes of the IIB and IIA theory that can be consistently added in the T 6 /[Z 2 × Z 2 ] orientifold model to cancel the tadpoles generated by the P fluxes. 4 The aim of this paper is to complete the analysis carried out in [17] by including all possible non-geometric fluxes and exotic branes in the model. We start by considering the S-dual of P a,b 1 ...b 4 , which following [18] we denote as Q ′a,b 1 ...b 4 . In four dimensions this flux and those that are related to it by T-duality have the same form of the NS fluxes, and we denote them as NS ′ fluxes. We manage to derive a universal T-duality rule that transforms the flux Q ′a,b 1 ...b 4 to the other NS ′ fluxes, which is given in eq. (2.4) and actually applies to any dimension. 5 Using this rule, we manage to determine the fluxes of the IIA theory that are mapped to the Q ′a,b 1 ...b 4 fluxes of IIB. We then include all the additional IIA fluxes that are allowed, and we find that these are mapped in IIB to the components of the flux H ′a 1 a 2 a 3 ,b 1 ...b 6 . By S-duality, this latter flux is mapped to the flux that we denote as F ′a 1 a 2 a 3 ,b 1 ...b 6 . In four dimensions this flux and those that are related to it by T-duality are in the same representations of the RR fluxes, and we denote them as RR ′ fluxes. We find a universal T-duality rule valid in any dimension, 6 which we give in eq. (2.6), that transforms the flux F ′a 1 a 2 a 3 ,b 1 ...b 6 to additional RR ′ fluxes. This rule allows us to derive the fluxes of the IIA orientifold model that are mapped to F ′a 1 a 2 a 3 ,b 1 ...b 6 in IIB. The NS ′ and RR ′ fluxes, together with the RR, NS and P ones, give a total of 128 components, which are all the fluxes that can be included in the model. 7 The outcome of this analysis is that we manage to derive the most general expression for the superpotential for both the IIB and IIA theory, and in the IIB case this expression coincides with the one derived in [18].
Having derived all the possible fluxes that can be turned on in the model, one can determine all the possible exotic branes that are sourced by these fluxes and thus can be included to cancel the tadpoles. We show that all the remaining branes that can be added have α = −5 and α = −7, and following [29] we denote the corresponding mixed-symmetry potentials as G and I respectively. This result is achieved by exploiting the universal Tduality rule derived in [17] which states as follows: given an α = −n brane associated to 4 All the components of the α = −3 potentials corresponding to exotic branes in both the IIB and IIA T 6 /[Z2 × Z2] orientifold models are given in table 4. 5 The highest dimension in which these fluxes appear is D = 7. 6 Actually the highest dimension in which these fluxes appear is D = 4. 7 All the NS ′ and RR ′ fluxes that can be turned on in the model, and how they are mapped by mirror symmetry, are given in tables 2 and 3.

JHEP10(2017)134
a mixed-symmetry potential such that the a index occurs p times (in p different sets of antisymmetric indices), this is mapped by T-duality along a to the brane associated to the potential in which the a index occurs n − p times. Schematically, this can be written as a, a, . . . , a p Ta ←→ a, a, . . . ., a n−p . (1.4) We proceed precisely as for the α = −3 branes: the IIB potential E 10,4,2 is mapped by S-duality to G 10,4,2 , and using eq. (1.4) we map this by mirror symmetry to components of the IIA potentials G 10,5,3,1 , G 10,4,1 and G 10,6,5,2 . We then add all the other components of these potentials that can consistently be included, and we map this back to IIB, resulting in the inclusion in this theory of the potentials G 10,5,4,1 , G 10,6,2,2 and G 10,6,6,2 . The latter potential is mapped by S-duality to I 10,6,6,2 , which by mirror symmetry goes to components of the potential I 10,6,6,3 of IIA. Finally, the remaining component of this potential that can be added is mapped in IIB to I 10,6,6,6 , which is a singlet under S-duality. 8 Having determined all the branes that can be included in the model, we can derive all the tadpole conditions for such branes. The quadratic terms in the fluxes that contribute to such tadpole conditions are schematically as follows: 9 α = −1 potential C: Moreover, we determine all the branes of the maximal theory that are projected out in the orientifold and give non-trivial quadratic constraints for the fluxes. It turns out that these branes have even α's, and the resulting Bianchi identities have the schematic form α = −2 potential: Again, by recursively applying mirror symmetry and S-duality, all such quadratic constraints are systematically derived. The orientifold model we consider in this paper has a conjectured SL(2, Z) 7 nonperturbative duality symmetry [15,30], which can be understood by investigating the orbifold in more detail. The 6-torus factorises as T 6 = 3 i=1 T 2 (i) , with the two Z 2 's acting as (−1, −1, 1) and (1, −1, −1) respectively on the coordinates (x i , y i ) of the three 2-tori, and there are seven untwisted moduli S, T i and U i . In the IIB/O3-orientifold model, the S modulus is the axion-dilaton, the T i moduli are the complex Kähler moduli which are given in terms of the Kähler form and the RR 4-form, and the U i moduli are the complex JHEP10(2017)134 structure moduli. In the low-energy supergravity theory in the absence of fluxes, each of these moduli parametrises the coset SL(2, R)/ SO (2), and the global symmetry SL(2, R) 7 is conjectured to be broken to SL(2, Z) 7 in the full theory. The IIA/O6-orientifold arises from performing three T-dualities, one on each torus (following [15], in this paper we take these directions to be the three x directions). The 128 fluxes that can be turned on in the model belong to the (2, 2, 2, 2, 2, 2, 2) representation of SL(2, R) 7 [15]. In this paper we determine the representations of all the branes that can be included. We find that the branes belong to 16 irreducible representations, each made of three triplets and four singlets. More precisely, these 16 representations are all the possible representations made of three triplets and four singlets with the condition that in the IIB picture there is an even number of triplets with respect to the SL(2, R)'s associated to the U i moduli. Additionally, we find that the branes with even α, that by being projected out give rise to the Bianchi identities, collect in 12 irreducible representations of SL(2, R) 7 , which again are made of three triplets and four singlets.
The plan of the paper is as follows. In section 2 we determine the T-duality rules that transform the NS ′ and RR ′ fluxes, and we derive the expression for the superpotential with all possible fluxes turned on. In section 3 we determine all the exotic branes that can be included in the model, and we derive all the tadpole conditions that result from turning on fluxes. We also derive all the Bianchi identities, which are the quadratic constraints that cannot be relaxed by the inclusion of branes. In section 4 we determine how all the exotic branes in the model transform with respect to the conjectured non-perturbative duality symmetry SL(2, Z) 7 . Finally, section 5 contains our conclusions.

NS ′ & RR ′ fluxes: T-duality and superpotential
In this section we introduce the NS ′ and RR ′ fluxes, which are related by chains of Tand S-dualities to the RR and NS fluxes and the P fluxes recently considered in [17]. In particular, we will derive how these fluxes transform under T-duality and this will allow us to determine all the fluxes that can be turned on in the orientifold T 6 /[Z 2 × Z 2 ] model for both the IIB and the IIA theory. This result will be used to derive the expression for the N = 1 superpotential with all fluxes included for both theories. As it was the case for the analogous analysis carried out in [17] for the P fluxes, our IIB/O3 result fits with that found in [18] on the basis of generalised geometry considerations and valid for any IIB/O3 orientifold with SU(3) structure.

JHEP10(2017)134
By further considering the embedding SL(2, R) ⊃ R + , where R + is the dilaton weight, one finds that the various fluxes belong to the following representations of the embedding tensor: RR fluxes: θ α ∈ 32 2 NS fluxes: θ M N P ∈ 220 1 P fluxes: . We list in table 1 all the RR, NS and P fluxes that can be turned on in the orientifold T 6 /[Z 2 × Z 2 ] model for both the IIB and the IIA theory. In particular, the P fluxes of the IIA theory are determined by applying three T-dualities along the three x directions [17]. The NS ′ and RR ′ fluxes collect in representations of SO(d, d) that are not the same in any dimension. In particular, the NS ′ fluxes belong to the embedding tensor θ ′ M 1 ...M d−3 , and therefore they can be turned on in seven dimensions and below [33]. In four dimensions the embedding tensor belongs to the representation with three antisymmetric indices, which decomposes in terms of the fluxes as In this expression, the a indices and the b indices are separately completely antisymmetrised. Given that in general one can dualise p upstairs indices of SL(d, R) with d − p downstairs ones, the reader can appreciate that the SL(6, R) representations that occur in eq. (2.3) are the same as those of the NS fluxes. On the other hand, only writing them with upstairs indices as in eq. (2.3) one reproduces the correct embedding tensor in dimension higher than four. Indeed, in seven dimensions only R ′ can be turned on and it gives rise to a singlet θ ′ . In six dimensions R ′ and Q ′ form the embedding tensor θ ′ M , and in five dimensions θ ′ M 1 M 2 is made out of R ′ , Q ′ and f ′ . Finally, in three dimensions one has to also consider the fluxH ′a 1 ...a 4 ,b 1 ...b 7 , which together with the fluxes in eq. (2.3) gives rise to the embedding tensor θ ′ M 1 ...M 4 . The fact that the NS ′ fluxes all have upstairs indices reveals their non-geometric nature, as also pointed out in [18]. The index structure in eq. (2.3) also follows naturally from the observation that these fluxes are dual to α = −4 (D − 1)form potentials in D dimensions, that originate from the ten-dimensional mixed-symmetry potentials F 9,3 , F 9,4,1 , F 9,5,2 , F 9,6,3 and F 9,7,4 . 10 JHEP10(2017)134 Table 1. All the RR, NS and P fluxes that can be turned on in the N = 1 orientifold model for both IIB and IIA. Here and in the rest of the paper, we choose the convention that to map the IIB to the mirror IIA theory we first perform a T-duality along x 1 , then along x 2 and finally along x 3 . The indices i, j, k are always meant to be in cyclic order. In the last column we give the number of independent components for each flux. There are in total 8 RR fluxes, 32 NS fluxes and 48 P fluxes.
Under a single T-duality the α = −4 potentials transform as in eq. (1.4) with n = 4. Therefore, the duality between the NS ′ fluxes and the (D − 1)-form potentials with α = −4 originating from the mixed-symmetry potentials above allows us to determine how a single T-duality transforms these fluxes in any dimension. The outcome of this analysis gives By contracting with an epsilon symbol of SL(6, R), one can appreciate that in four dimensions these rules coincide with the ones that transform the NS fluxes. The flux Q ′a,b 1 ...b 4 in IIB is the S-dual of P a,b 1 ...b 4 , which is connected by T-duality to P bc a and by further S and T-dualities to the NS and RR fluxes. As it is customary, in [17] all the components f b ab , Q ab a and P ab a (with indices not summed) were put to zero. The T-duality rules in eq. (1.3) then map P bc a with a different from b and c to the components of P a,b 1 ...bp such that the a index must coincide with one of the b indices [17]. We thus assume that the same occurs for the flux Q ′a,b 1 ...b 4 , and then the rules in eq. (2.4) imply that for all the NS ′ fluxes in eq. (2.3) all the a indices have to be parallel to some of the b indices.
We now consider the RR ′ fluxes, that in any dimension collect in the embedding tensor . This can actually only be defined in four dimensions and below, and in particular in four dimensions we decompose it in terms of fluxes as 11

JHEP10(2017)134
and using the SL(6, R) epsilon symbol one can see that the representations that occur are the same as those of the RR fluxes. Again, all these fluxes are non-geometric and the index structure is motivated by the duality with the (D − 1)-form potentials G and by requiring that they give rise to the correct embedding tensor also in dimension lower than four, provided that one also includes the contribution of the additional fluxes mentioned in footnote 11.
The T-duality rules for the RR ′ fluxes in four dimensions are In three dimensions, one must add the additional T-duality rule for the transformation along a direction that is not present in the flux. As for the case of the NS ′ fluxes, we only consider components such that in eq. (2.5) all the a indices are parallel to some of the b indices, which is consistent with the T-duality rules in eq. (2.6).
We can now apply the T-duality rules in eqs. (2.4) and (2.6) to determine all the NS ′ and RR ′ fluxes that can be included in the four-dimensional T 6 /[Z 2 ×Z 2 ] orientifold model. By S-duality, the components of the P 1,4 flux of the IIB theory that are listed in the last eight rows of table 1 are mapped to the same components of the Q ′1,4 flux. By applying three T-dualities along the x directions using eq. (2.4), one gets the IIA fluxes that are listed on the right-hand side of the first eight rows of table 2. In the IIA theory, the orientifold projection selects components of R ′ and f ′ with an odd number of y's and components of Q ′ and H ′ with an even number of y's. By adding all the other components that satisfy this criterion and are therefore compatible with the orientifold, one also includes the last four IIA fluxes in table 2, which are mapped in IIB to all the allowed components of the H ′ flux.
One can similarly determine all the allowed RR ′ fluxes in the orientifold. By S-duality, the components of the H ′ flux in the IIB theory are mapped to the same components of the F ′3,6 flux. By applying three T-dualities along the x directions using eq. (2.6), one derives the components of the RR ′ fluxes that are allowed in the mirror IIA orientifold. The result is given in table 3. From the table one can deduce that the orientifold selects the components of F ′6 and F ′4,6 with an odd number of y's and the components of F ′2, 6 and F ′6,6 with an even number of y's. To summarise, tables 1, 2 and 3 give all the possible fluxes that can be included in the model, for both the IIB and the IIA theory. The aim of the remaining of this section is to write down an expression for the superpotential for both the IIB and the IIA theory with all these fluxes turned on.
In order to derive the superpotential in the orientifold model, we give the explicit expression of the holomorphic 3-form and the Kähler form as functions of the moduli following the conventions of [15]. In IIB the non-vanishing components of the 3-form Ω are while the non-vanishing components of the complexified Kähler 4-form are Table 2. Table containing all the NS ′ fluxes that can be turned on in the N = 1 orientifold model for both IIB and IIA. In the last column we give the number of independent components for each flux, whose total number is 32. Table 3. Table containing all the RR ′ fluxes that can be turned on in the N = 1 orientifold model for both IIB and IIA. In the last column we give the number of independent components for each flux, whose total number is 8.
In IIA, the only non-vanishing components of the complexified holomorphic 3-form and the complexified Kähler 2-form are In all these expressions, as everywhere else in this section, the indices i, j and k are meant to be in cyclic order. The two theories are mapped into each other by performing a Tduality transformation along x 1 followed by one along x 2 and one along x 3 , corresponding to JHEP10(2017)134 localising the O6-plane in the y directions. The resulting expressions for the superpotential in the two theories are identified via the exchange of the T and U moduli. The superpotential in the presence of non-geometric NS fluxes was originally derived in [1] by applying the NS T-duality rules in eq. (1.2) to the Gukov-Vafa-Witten superpotential in IIB [34] and to the one derived in [35,36] in IIA, where all the possible geometric fluxes were included. The expression for the IIB superpotential with all RR and NS fluxes included is In IIA, the terms containing the NS fluxes were written in [15] in the form Ω c ∧flux·J n c , with n = 0, . . . , 3, with the upstairs indices of the fluxes contracting indices of J n c . Using Fierz identities, one can show that these terms can also be rewritten in the form e Jc ∧ H NS · Ω c , with the upstairs indices of the fluxes contracting indices of Ω c instead of indices of J c . We therefore write the IIA superpotential with all RR and NS fluxes turned on as where the contractions are defined as Identifying the fluxes in the two theories as in table 1, eqs. (2.11) and (2.13) are mapped into each other by swapping the moduli T and U . In particular, using eqs. (2.8), (2.9) and (2.10) one can see that the superpotential is of the form P 1 (U ) + SP 2 (U ) + T P 3 (U ) in IIB and P 1 (T ) + SP 2 (T ) + U P 3 (T ) in IIA, where the P 's are all cubic polynomials. The contribution of the P 2 1 flux in IIB was considered in [15] using S-duality. This induces a term ST P 4 (U ) in the superpotential, and the mirror SU P 4 (T ) expression in IIA arises from a term that can be schematically written as (J c ) n · P · Ω 2 c , with n = 0, . . . , 3. In [17] the T-duality rules in eq. (1.3) were used to derive explicitly such expression, also giving rise to a term U 2 P 5 (T ), which is mapped back to IIB to a term T 2 P 5 (U ) originating from the flux P 1,4 . As a result, the full expression for the part of the IIB superpotential containing the P fluxes is where the contractions are Precisely as done above for the terms containing the NS fluxes, the IIA mirror of eq. (2.15) given in [17] can be rewritten using Fierz identities in the form e Jc ∧ P · Ω 2 c . Moreover, one can show that, modulo Fierz rearrangements, the resulting expression is unique. We therefore write down the P-flux part of the IIA superpotential as where the contractions are defined as The reader can check that using eqs. (2.8), (2.9) and (2.10) and the relations among the P fluxes given in table 1 the IIA expression is the mirror of the IIB one. We want to generalise the analysis to include all the allowed fluxes. We first consider the NS ′ fluxes. In IIB, Q ′1,4 is the S-dual of P 1,4 , and one can immediately write down its contribution to the superpotential. One then maps this to IIA using the relations among the fluxes given in table 2. The IIA expression for the superpotential also contains terms that are mapped back in IIB to H ′3,6 terms. The resulting IIB superpotential is where the contractions are defined as (2.20)

JHEP10(2017)134
In IIA, we again find that modulo Fierz rearrangements there is a unique expression that one can write in the form e Jc ∧ H NS ′ · Ω 3 c , which is where the contractions are defined as Again, it can be checked that using eqs. (2.8), (2.9) and (2.10) and the relations among the NS ′ fluxes given in table 2 the IIA and IIB expressions are related by mirror symmetry, with the IIB polynomial which has the form ST 2 P 6 (U ) + T 3 P 7 (U ). We finally consider the RR ′ fluxes. In IIB, the only contribution comes from F ′3,6 , which is the S-dual of H ′3, 6 . This results in the contribution to the superpotential, where the contraction is defined as Using table 3, this is mapped in IIA to the expression where the contractions are defined as

JHEP10(2017)134
Again, mirror symmetry relates the IIB and IIA expressions, and in particular in IIB one gets a contribution to the superpotential of the form ST 3 P 8 (U ). It is instructive to summarise our results writing down the superpotential with all fluxes included for both theories. In IIB one gets   (3) structure, Ω and e Jc are two Clifford(6,6) spinors which are both pure (i.e. they are annihilated by half of the gamma matrices) and mirror symmetry corresponds to the exchange of these two spinors [37][38][39][40][41].
Generalising this to compactifications with non-geometric fluxes, one thus expects that the IIB superpotential (flux·J n c )∧Ω be mapped by mirror symmetry to the IIA superpotential e Jc ∧ (flux · Ω n c ), precisely of the form we find. The full expression of the superpotential as a function of the moduli in IIB is

JHEP10(2017)134
where the sum over the i index is understood wherever this index occurs, while j and k are related to i by cyclicity. The mirror IIA expression is obtained by exchanging the fluxes in this expression with the IIA ones given in tables 1, 2 and 3 and by swapping U i with T i . In the formula for simplicity of notation we have also omitted the six antisymmetric indices of H ′3,6 and F ′3,6 , which are understood to be x 1 x 2 x 3 y 1 y 2 y 3 . In the next section we will focus on the tadpole cancellation conditions generated by the NS ′ and RR ′ fluxes and we will determine the set of exotic branes which have to be added in order to cancel them.

Exotic branes, tadpoles and Bianchi identities
In the IIB/O3 T 6 /[Z 2 ×Z 2 ] orientifold, D3 and D7-branes can be included in order to cancel the tadpoles induced by the RR flux F 3 and the NS fluxes H 3 and Q [15]. In particular, only stacks of D7-branes wrapping two of the internal two-dimensional tori with coordinates x and y are allowed. After performing three T-dualities along the x directions, one similarly finds that in the dual IIA description with O6-planes, the only allowed RR sources are D6-branes spanning three x directions or one x and two y directions, each on a different torus. Besides the D-branes, more localised sources surviving the orientifold projections and compatible with supersymmetry can be included. In particular, in IIB one can include the S-dual of the D7-brane [15], which is a brane with α = −3. In [17] we have recently determined all the α = −3 branes which cancel the tadpoles induced by the P fluxes in both the IIB and IIA orientifolds using the universal T-duality rules in eq. (1.4). Except for the S-dual of the D7-brane, all these branes turn out to be exotic as they are defined only in presence of isometries, and we associate them to specific components of the mixedsymmetry potentials E as reviewed in the introduction [26]. For the convenience of the reader, we have collected all the results on the α = −1 branes (i.e. the D-branes) and α = −3 branes in table 4. In this section we will first determine how the NS ′ fluxes modify the tadpole conditions for the α = −3 branes listed in table 4, and we will then complete the analysis of [17] determining all the exotic branes which can be included in both the type-II orientifolds in order to cancel the tadpoles induced by the NS ′ and/or the RR ′ fluxes.
As table 4 shows, in IIB one has to include together with E 8 also the mixed-symmetry potentials E 8,4 , E 9,2,1 and E 10,4,2 . The field E 8,4 electrically couples to the 3 4 3 -brane 12 in four dimensions. Using the T-duality rules of eqs. (1.2), (1.3) and (1.4), the generalised Chern-Simons term E 8 ∧ P 2 1 · H 3 responsible for the tadpole of the S-dual of the D7-brane is mapped to a term E 8,4 ∧ (P 2 1 · Q + P 1,4 · H 3 ). Under S-duality, the E 8,4 potential is a singlet, while the term P 1,4 H 3 is mapped to −Q ′1,4 F 3 . As a consequence, we find that when all the allowed fluxes are taken into account the Chern-Simons coupling is

1)
12 It is conventional to denote with p m n a p-brane with α = −n and m orthogonal isometries. The same notation was also used in [17].

JHEP10(2017)134
IIB IIA # potential component component potential E 10,x i y i y j y k ,y j y k E 10,y i x j y j x k y k ,y j y k E 10,5,2 3 Table 4. The α = −1 and α = −3 branes that can be included in order to cancel the tadpoles generated by the fluxes. To avoid cumbersome notations, in all terms we have not specified the sets of ten indices. Moreover, the indices i, j, k are always meant to be all different. In the last column we give the number of independent components for each potential, which corresponds to the number of different branes. There are in total 4 α = −1 branes and 60 α = −3 branes.
which gives a tadpole condition for the 3 4 3 -brane. In this expression, the products are defined as and the contraction Q ′1,4 · H 3 follows by S-duality. Besides E 8,4 , in the IIB orientifold also the field E 9,2,1 is a singlet under S-duality. In four dimensions, the electric source for E 9,2,1 is the 6 1,1 3 -brane, 13 and the corresponding Chern-Simons term takes the form

JHEP10(2017)134
where the contractions between the fluxes are defined as (P 2 1 · Q) ab,a c = −P ab p Q pa c + Q ab p P pa c (P 1,4 · H 3 ) ab,a c = 1 2 P a,abpq H cpq , (3.4) and the contraction Q ′1,4 · F 3 follows by S-duality. In equation (4.25) of [17] the Chern-Simons term for any components of E 9,2,1 , not necessarily associated to a single brane, and with only the non-geometric fluxes P 2 1 and Q turned on, has been derived. One can verify that turning off the fluxes P 1,4 and Q ′1,4 in eq. (3.3) reproduces the single brane components of that equation.
The last α = −3 brane to consider in IIB is the 5 2,2 3 , which is the electric source for the potential is E 10,4,2 , and whose tadpole condition is generated by the Chern-Simons term with the contractions between the fluxes specified by The potential E 10,4,2 forms a triplet of the SL(2, R) symmetry of the IIB theory, and in particular under S-duality it is mapped to G 10,4,2 which in turn sources the 5 2,2 5 -brane with α = −5. Transforming under S-duality eq. (3.5), one obtains that the tadpole condition for this brane is generated by the Chern-Simons term where the contractions are defined in a way analogous to eq. (3.6). We now want to determine all the α = −5 branes that can be simultaneously included in the IIB theory together with the 5 2,2 5 -brane. In the orientifold model, the components of the E 10,4,2 potential that give rise to branes in IIB are given on the left-hand side of the last four rows in table 4. By Sduality, these are mapped to the same components of the G 10,4,2 potential. Using eq. (1.4) with α = −5, one discovers that by performing three T-dualities along the x directions these components are mapped to components of G 10,5,3,1 , G 10,4,1 and G 10,6,5,2 in IIA. In particular, the IIA orientifold condition implies that the number of y indices must be even. The additional components of these potentials that satisfy these conditions are mapped by mirror symmetry to the components of the IIB potentials G 10,5,4,1 , G 10,6,2,2 and G 10,6,6,2 , corresponding to 4 1,3, branes. The full list of α = −5 branes allowed in the orientifold, for both the IIB and IIA case, is given in table 5.
We now proceed with discussing the tadpole conditions for the remaining α = −5 branes in the IIB theory, which we obtain precisely with the method discussed above. We first map the relevant brane components in eq. (3.7) to the mirror IIA theory, we then JHEP10(2017)134 Table 5. The α = −5 branes that can be included in order to cancel the tadpoles generated always by the NS ′ and RR ′ fluxes. To avoid cumbersome notations, in all terms we have not specified the sets of ten and six internal indices. Moreover, the indices i, j, k are always understood to be different. In the last column we give the number of independent components for each potential, which corresponds to the number of different branes, which are 60 in total. extend this result to the remaining branes in the IIA theory that are allowed and we finally map this back to IIB. In particular, for G 10,5,4,1 we find the term G 10,5,4,1 × (P 2 1 · H ′3,6 − Q · F ′3,6 + P 1,4 · Q ′1,4 ) 5,4,1 , where we have defined (P 2 1 · H ′3,6 ) abcde,abcd,a = −P ad p H ′abc,abcdep + P ac p H ′abd,abcdep − P ab p H ′acd,abcdep (P 1,4 · Q ′1,4 ) abcde,abcd,a = P a,acde Q ′b,bcda − P b,bcda Q ′a,acde + P a,abde Q ′c,cdab (3.9) − P c,cdab Q ′a,abde + P a,abce Q ′d,dabc − P d,dabc Q ′a,abce and (Q · F ′3,6 ) 5,4,1 is found by S-duality. Moreover, from the form of the Chern-Simons coupling in eq. (3.8), one can see that G 10,5,4,1 is a singlet under S-duality. The field G 10,6,2,2 is also a singlet and, by the same analysis, its generalised Chern-Simons term is found to be G 10,6,2,2 × (P 1,4 · Q ′1,4 + P 2 1 · H ′3,6 − Q · F ′3,6 ) 6,2,2 , (3.10)

JHEP10(2017)134
IIB IIA # potential component component potential I 10,6,6,2 I 10,6,6,x i y i I 10,6,6,x j y i x k I 10,6,6,3 3 I 10,6,6,6 I 10,6,6,6 I 10,6,6,y 1 y 2 y 3 I 10,6,6,3 1 Table 6. The α = −7 branes that can be included in order to cancel the tadpoles generated by the NS ′ and RR ′ fluxes. In order to avoid cumbersome notations, in all terms we have not specified the sets of ten and six internal indices. In the last column we give the number of independent components for each potential, which corresponds to the number of different branes, which are 4 in total.
with (P 1,4 ·Q ′1,4 ) abcdef,ab,ab = −P a,abcd Q ′b,bef a −P a,abef Q ′b,bcda +P a,abce Q ′b,bdf a −P a,abcf Q ′b,bdea −P a,abde Q ′b,bcf a +P a,abdf Q ′b,bcea +P b,bcda Q ′a,abef +P b,bef a Q ′a,abcd The field G 10,6,6,2 transforms in a triplet of the IIB SL(2, R) symmetry, and in particular by S-duality it is mapped to I 10,6,6,2 , which is associated to the 3 0,4,2 7 -brane, which has α = −7. Thus, one can conjecture that also the α = −7 branes electrically coupled to I 10,6,6,2 can be included in IIB in order to cancel other tadpoles induced by the RR ′ and NS ′ fluxes. The exotic branes which couple electrically to I 10,6,6,2 can wrap only one of the two-dimensional tori of the compactification and under mirror-symmetry, using the rules (1.4), they are found to be in correspondence with three of the four 3 0,3,3 7 -branes associated to the field I 10,6,6,3 in IIA, in particular those components with two x and one y as the extra indices. Once again, one can argue that also the remaining brane associated with the component of I 10,6,6,3 with three extra y can be included in IIA and this in turn corresponds to the 3 0,0,6 7 -brane associated to I 10,6,6,6 in IIB. We have collected all the results for the α = −7 branes in table 6.

JHEP10(2017)134
The Chern-Simons of the I 10,6,6,2 potential in IIB is obtained from S-duality on the one of G 10,6,6,2 in eq. (3.12), resulting in I 10,6,6,2 × (Q ′1,4 · F ′3,6 ) 6,6,2 , (3.14) where the contractions are analogous to eq. (3.13). The Chern-Simons term associated to the field I 10,6,6,6 is reminiscent of that induced by the D3-brane charge and proportional to H 3 ∧ F 3 . Namely, we find I 10,6,6,6 × (H ′3,6 · F ′3,6 ) 6,6,6 , (3.15) and the contraction between the fluxes is specified by Given that the potential I 10,6,6,6 is invariant under S-duality, this concludes the analysis of tadpole conditions. In [17] we have also determined the most general Bianchi identities corresponding to the absence of α = −2 solitonic branes (see eq. (4.2) of that paper). In the IIB orientifold only two classes of those constraints survive the orientifold projections meaning that, for the components corresponding to single branes, neither KK-monopoles (which are 5 1 2 -branes) nor non-geometric 5 3 2 -branes can be included in the four-dimensional theory because they would break the N = 1 supersymmetry. Moreover, in IIA one finds that the mirror of these constraints are sourced again by KK-monopoles and 5 3 2 -branes. By T-duality, we are now able to determine similar constraints related to the absence of α = −4 and α = −6 branes in both the orientifolds. For the convenience of the reader, we have schematically anticipated the final results in eq. (1.6). First, let us point out that the 5 3 2 -brane sources the potential D 9,3 in the four-dimensional theory, which actually belongs to a triplet of the IIB SL(2, R) symmetry and in particular it is mapped to F 9,3 by S-duality. Actually, for the field F 9,3 only two kinds of constraints are allowed. These are conditions on the absence of branes associated to the components with the three isometric indices containing both the coordinates x and y of one of the two-dimensional sub-tori. By using the T-duality rules in eq. (1.4) for the α = −4 fields, we find that the conditions given by the field F 9,3 in IIB, corresponds to requiring the absence of specific components of the fields F 9,4,1 and F 10,5,2,1 in IIA. The requirement that in IIA all the components of these fields with an odd number of y indices have to be included implies that other six conditions on the fluxes must be imposed. In IIB, the mirror of these constraints corresponds to forbidding the exotic branes 3 3 As far as S-duality in concerned, the fields F 9,5,2 and F 10,4,1,1 turn out to be singlets, whereas F 10,6,3,1 transforms in a triplet and its S-dual is the potential H 10,6,3,1 , which has α = −6. Exactly as in the case of the α = −2 branes, one finds that the corresponding IIB constraint is mapped by mirror symmetry to constraints associated to specific components of the potentials H 10,6,3,1 and H 10,6,5,3 . The additional IIA components of these potentials giving non-trivial constraints are then mapped in IIB to constraints which correspond to forbidding the 3 1,2,3 6 -branes which source H 10,6,5,3 . In all, for the IIB α = −6 branes, we find the Bianchi identities In table 7 we have collected all the branes with α even, forbidden by the N = 1 supersymmetry and giving rise to non-trivial Bianchi identities. As far as the Bianchi identities are concerned, what actually happens in IIA can be easily found from (3.17), (3.18) and (3.19) by mirror symmetry. The same is true for all the IIB tadpole conditions derived in this section. In both the type II orientifolds, 2 7 branes can be included in order to cancel the tadpoles induced by the fluxes. It's interesting to note that the total number of branes compatible with the minimal amount of supersymmetry turns out to be equal to that of the fluxes. In [15] all the fluxes have been embedded in the representation (2,2,2,2,2,2,2) of SL(2, R) 7 . In the next section we will show how also the 2 7 branes of this section organise in irreducible representations of SL(2, R) 7 which are singlets and triplets of each SL(2, R). An analogous result will be found for the forbidden branes with α even giving rise to the Bianchi identities (3.17), (3.18) and (3.19).

Exotic branes and SL(2, Z Z Z) 7
The orientifold model considered in this paper has a conjectured SL(2, Z) 7 non-perturbative duality symmetry [15,30], where each SL(2, Z) has a modular action

JHEP10(2017)134
IIB IIA # potential component component potential F 10,x k y k x i y i ,y k ,y k F 10,x k y k x i y i x j ,y k x j ,y k F 10,5,2,1 6 F 10,6,3,1 F 10,6,x k y k x j ,x j F 4 x i y i y j x k y k ,x i y i y j y k ,y k F 9,4,1 6 Table 7. The branes with α even that are forbidden by the N = 1 supersymmetry and give rise to non-trivial Bianchi identities. The total number of such branes is 96.
on each modulus M . We denote with SL(2, R)| S , SL(2, R)| T i and SL(2, R)| U i the group that acts on the modulus S, T i and U i respectively. The 128 fluxes that can be turned on in the model belong to the (2, 2, 2, 2, 2, 2, 2) representation of SL(2, R) 7 [15], where the first doublet is with respect to SL(2, R)| S , the second to fourth with respect to SL(2, R)| T i and the fifth to seventh with respect to SL(2, R)| U i . The aim of this section is to determine the representations of all the space-filling branes that can be included to cancel the tadpoles. We will find that the branes belong to 16 irreducible representations, each made of three triplets and four singlets. More precisely, these 16 representations are all the possible representations made of three triplets and four singlets with the condition that in the IIB picture there is an even number of triplets with respect to the groups SL(2, R)| U i . Additionally, we will find that the branes with even α, that by being projected out give rise to Bianchi identities, collect in 12 irreducible representations of SL(2, R) 7 , which again are made of three triplets and four singlets. The analysis of [15] consisted in identifying the SL(2, R) 7 weights of each flux. The outcome can be found for instance in table 6 of that paper, where + and − denote the two weights of the 2 of each SL(2, R). We are interested in particular in the transformation JHEP10(2017)134 with b = −1 and c = 1 in eq. (4.1), whose action on the modulus M is This transforms a particular component of the (2, 2, 2, 2, 2, 2, 2) representation according to [15] (n 1 , . . . , n M , . . . , n 7 ) → sign(n M )(n 1 , . . . , −n M , . . . , n 7 ) , where any label n is either + or −. We denote with S, T i and U i the generators that invert respectively the moduli S, T i and U i as in eq. (4.2). 14 In the IIB/O3 orientifold, the flux F y 1 y 2 y 3 has weight (+, +, +, +, +, +, +). This is mapped under S to the flux H y 1 y 2 y 3 of weight (−, +, +, +, +, +, +). The action of the generator U i on the flux components corresponds to the exchange of the coordinates x i and y i . Therefore, the fluxes F x 1 x 2 x 3 and H x 1 x 2 x 3 have weight (+, +, +, +, −, −, −) and (−, +, +, +, −, −, −) respectively. The generator T i maps for instance F y 1 y 2 y 3 to Q x j x k y i and F x 1 x 2 x 3 to Q y j y k x i . In particular, the flux Q x 2 x 3 y 1 has weight (+, −, +, +, +, +, +). Similarly, one can determine the weights of all the other fluxes [15].
We now want to determine the representations of the 128 branes that can be introduced in the model to cancel the tadpoles induced by the fluxes, as discussed in the previous section. Given that the charges of the branes have to cancel quadratic terms in the fluxes, the branes must organise themselves into representations which are either singlets or triplets of each of the seven SL(2, R)'s. The key idea to determine these representations is to trace the transformations of the potentials which couple to the branes from those of the fluxes. Again, we focus on the IIB/O3 orientifold, and by transforming the fluxes in the generalised Chern-Simons terms derived in the previous section under S, T i and U i we manage to determine all the representations of the branes.
We first consider the D3-branes. From the fact that the RR field C 4 couples to the background fluxes as C 4 ∧ H 3 ∧ F 3 in the corresponding Chern-Simons term, one finds that C 4 does not transform under S and U i , while under the action of T i it is mapped to the component E 4 x j y j x k y k ,x j y j x k y k , 15 of the field E 8,4 . To complete the representation, one has to determine how the generators T j and T k act on E 4 x j y j x k y k ,x j y j x k y k . From (3.1), one can check that they generate the component G 10,6,x k y k ,x k y k of G 10,6,2,2 and the field I 10,6,6,6 whose Chern-Simons terms have been given in (3.10) and (3.15). Thus, we find that, starting from the RR potential C 4 , there is a total of eight branes which can be reached by acting with the generators of SL(2, R) 7 . These eight branes correspond to the products of the two roots of each SL(2, R)| T i , and therefore the resulting representation is (1, 3, 3, 3, 1, 1, 1), i.e. a singlet under SL(2, R)| S and SL(2, R)| U i and a triplet under each SL(2, R)| T i . We denote the resulting representation as (3 T 1 , 3 T 2 , 3 T 3 ). The result is summarised in the first row of table 8.
By looking at tables 4 and 5, one can notice that the potentials E 8,4 and G 10,6,2,2 couple also to additional branes that are not contained in the (3 T 1 , 3 T 2 , 3 T 3 ) representation derived above. In particular, we are missing the components of these fields which transform under JHEP10(2017)134 IIB/O3 SL(2, R) 7 rep potential component # # reps

JHEP10(2017)134
the action of the generators U i . Looking at E 8,4 , one finds that for each i there are four of those components, i.e. E 4 x i y i x j y k ,x i y i x j y k (two components for i fixed), E 4 x i y i x j x k ,x i y i x j x k and E 4 x i y i y j y k ,x i y i y j y k . One can also see that these components are singlets of SL(2, R)| U i while transform with each other under the action of U j and U k . Similarly, one can prove that they do not transform under the action of T j and T k , whereas under the action of T i they generate the components G 10,6,x j y k ,x j y k , G 10,6,x j x k ,x j x k and G 10,6,y j y k ,y j y k of G 10,6,2,2 .
For fixed i, this gives a total of 8 branes, which collect in the representation that we denote . The result is summarised in the second row of table 8. The remaining α = −3 and α = −5 branes that are singlets under S are associated to the potentials E 9,2,1 and G 10,5,4,1 . As tables 4 and 5 show, this gives in total 48 branes, which are embedded in six different representations denoted as (3 T i , 3 U i , 3 U j ). In particular, for fixed i and j the components and E 4 x i y i x j y j y k ,y i y k ,y i of E 9,2,1 , together with the components G 10,x j y j x k y k x i ,x j y j x i x k ,x k , G 10,x j y j x k y k x i ,x j y j x i y k ,y k , G 10,x j y j x k y k y i ,x j y j y i y k ,y k and G 10,x j y j x k y k y i ,x j y j y i x k ,x k of G 10,5,4,1 , belong to a single irreducible representation.
The D7-branes and their S-dual belong to triplets of SL(2, R)| S . The allowed components of the electric potential of the D7-branes, C 8 , are C 4 x i y i x j y j , and one can see that they are invariant under the action of the three generators U i . Moreover, we find that these components do not transform under T k while they generate respectively the components E 10,x j y j x k y k ,x j y j and E 10,x i y i x k y k ,x i y i of the potential E 10,4,2 under a single action of T i and T j . By S-duality, we see that we have to include also the components G 10,x j y j x k y k ,x j y j and G 10,x i y i x k y k ,x i y i of G 10,4,2 . From these components, under the composed action of the generators T j and T i , we can generate the field G 10,6,6,x k y k which forms a triplet of SL(2, R)| S together with its S-dual I 10,6,6,x k y k . The resulting representation is (3 S , 3 T j , 3 T k ).
Just as in the case of the S-duality singlets E 8,4 and G 10,6,2,2 , that contain components that are not in the representation of the D3-branes, in this case there are components of the potentials E 10,4,2 and G 10,4,2 which do not transform in the same representation of the D7-branes; they are the components with the two extra indices labelling directions along different tori of the orbifold, which are listed in the last row of table 8 and form the representation (3 S , 3 U j , 3 U k ).
To summarise, all the SL(2, R) 7 representations of the 2 7 IIB/O3 branes have been collected in table 8. As it is clear by looking at the table, we find that the branes form 16 irreducible representations, each made of three triplets and four singlets, and therefore each containing 8 branes. The 16 representations are all the possible representations made of three triplets and four singlets and such that there is an even number of triplets with respect to SL(2, R)| U i . By looking at tables 4, 5 and 6, one can easily derive the mirror result for the IIA/O6 orientifold. This is listed in table 9. Obviously, in the IIA picture the representations are all those with an even number of triplets with respect to SL(2, R)| T i .
In the previous section we have also derived the branes with even α that are forbidden by supersymmetry and whose absence implies Bianchi identities for the fluxes, as shown schematically in eq. (1.6). Such branes are listed in table 7. We repeat for these branes the same analysis carried out so far in this section for the branes with odd α. As table 7 shows, there is a total of 96 such branes, and we find that analogously to the branes with odd α,

JHEP10(2017)134
IIA/O6 SL(2, R) 7 rep potential component # # reps G 10,5,3,1 G 10,x i y i x j y j y k ,y k x i x j ,y k 3 I 10,6,6,3 I 10,6,6,y 1 y 2 y 3 1 x k y i y j ,y j 2 G 10,5,3,1 G 10,x i y i x j y j x k ,y j x i x k ,x k 2 G 10,x j y j x k y k y i ,y i y j y k ,y i 1 I 10,6,6,3 I 10,6,6,x j x k y i 1 H 10,6,3,1 H 10,6,x k y k x j ,x j H 10,6,x k y k y j ,y j F 10,6,3,1 F 10,6,x k y k x j ,x j F 10,6,x k y k y j ,y j they collect in 12 irreducible representations made of three triplets and four singlets. We give the full result in table 10 for the IIB case and in table 11 for the IIA case. We conclude this section by pointing out that the generators T i and U i can be written as the products of specific T-duality transformations and S. In particular, in IIB we find that where T x j y j x k y k = T y k • T x k • T y j • T x j is the combination of single T-dualities along the directions x j , y j , x k and y k , and similarly T x i y i = T y i • T x i is the combination of T-dualities along x i and y i . The reader can verify that using eq. The original motivation of this paper was to extend the analysis of [17], where the inclusion of the P fluxes was discussed for both the IIB/O3 and IIA/O6 T 6 /[Z 2 × Z 2 ] orientifold models, to all the remaining allowed non-geometric fluxes. We have denoted such fluxes as NS ′ and RR ′ , and we have shown that they transform under T-duality according to the general rules given in eqs. (2.4) and (2.6). These rules allow to write down a complete expression for the superpotential, which is at most linear in the modulus S and at most cubic in the moduli T i and U i . The IIB and IIA expressions for the superpotential are related by mirror symmetry. The superpotential of the IIA/O6 theory given in eq. (2.28) is obtained by requiring the matching with IIB using the mapping dictated by the T-duality transformation rules that we have found. We interpret the fact that the IIA superpotential has the form e Jc ∧ (flux ·Ω n c ) as a general manifestation of mirror symmetry. Indeed, for any N = 1 compactification with SU(3) structure, mirror symmetry has been conjectured to correspond to the exchange of Ω and e Jc [37][38][39][40][41], and if one assumes that this result is actually reliable in a generic non-geometric setup, one can expect that the form of the IIA superpotential that we find is valid for any O6 orientifold. In this regard, it would be worth investigating our IIA result more deeply in the context of generalised geometry. Moreover, focusing on the large class of IIA/O6 Calabi-Yau orientifolds, it would be promising to understand the relation between the IIA superpotential and the cohomological numbers which characterise the topology of the compactification. As far as we know, this relation has been worked out only for IIB/O3 Calabi-Yau orientifolds so far, including all the allowed RR, NS and P 2 1 fluxes [42]. 16 We have also determined all the exotic branes that can be sourced by all the nongeometric fluxes. The tadpole conditions that we find have the general form given in eq. (1.5). Similarly, we have determined how the inclusion of all the fluxes modifies the Bianchi identities which correspond to non-trivial quadratic constraints for the fluxes, arising in the orientifold from the absence of specific exotic branes of the maximal theory, as eq. (1.6) summarises. Exotic branes are charged with respect to mixed-symmetry potentials, and in particular denoting with A p,q,r,... a ten-dimensional mixed-symmetry potential, this corresponds to a brane if some of the indices p are isometries and contain all the indices q, which themselves contain all the indices r and so on [25,26,45]. The crucial ingredient in our analysis of tadpole conditions and Bianchi identities is the universal rule discovered in [17] and given in eq. (1.4), which relates under T-duality the brane components of the various mixed-symmetry potentials.
The mixed-symmetry potentials that occur in this paper arise in the decomposition of the Kac-Moody algebra E 11 [46] with respect to the ten-dimensional theory [47], and in particular the brane components are associated to the real roots of E 11 [48]. From the point of view of the lower-dimensional theory, these components are the long weights of the representation of the symmetry group to which the corresponding potential belongs [49]. The Bianchi identities that we find in section 3 are restricted to these components, as they 16 The generalization of the Bianchi identities including P 2 1 fluxes to the IIB/O3 Calabi-Yau orientifolds has been discussed as well [43,44].

JHEP10(2017)134
IIA/O6 SL(2, R) 7 rep potential component # reps H 10,6,5,3 H 10,6,x j y j y i x k y k ,x k y k y i H 10,6,3,1 H 10,6,x j y j y i ,y i F 10,y k x i y i x j y j ,y j y k ,y j H 10,6,3,1 H 10,6,x k y k x i ,x i H 10,6,5,3 H 10,6,x k y k x j y j x i ,x i x j y j Table 11. The SL(2, R) 7 representations of the forbidden IIA/O6 potentials which couple to space-filling branes with α even. The branes are 96 in number and are embedded in 12 different representations.
are associated to branes with even α that are forbidden by supersymmetry (see eq. (1.6)). A more detailed analysis should include the Bianchi identities for the remaining components. We leave this as an open project. An analogous restriction has actually been made on the fluxes themselves throughout the paper. Indeed, we have always assumed that the fluxes that are not related by S and T-dualities to the RR and H 3 fluxes are not present. This implies that f a ab and Q ab a (with a not summed) vanish, as well as all the P ab 1 ...bp a fluxes. Similarly, for the P, NS ′ and RR ′ fluxes with all upstairs indices, we only consider the components such that the first set of indices is fully contained in the second. From a group-theoretic perspective, all these components correspond again to the long weights of the SO(6, 6) representations in eq. (2.2).
In [50,51] it was shown that the Bianchi identities for the NS fluxes can be obtained via demanding the nilpotency of the generalized twisted differential operator D = H ∧ +f · +Q · +R·, and it would be interesting to generalise this construction with all the fluxes included. We observe that many of the Bianchi identities and tadpole conditions that we have derived can be obtained by requiring independently the nilpotency of the operators JHEP10(2017)134 D 1 = (H ′3,6 ∧ +P 1,4 · +Q · +F 3 ·) and its S-dual D 2 = (F ′3,6 ∧ +Q ′1,4 · +P 2 1 · +H 3 ·). The constraints obtained from the nilpotency of these operators have exactly the same form of the NS Bianchi identities when P-fluxes are turned off (see, for instance, eq. (4.1) of [17]). In particular, from (D 1 ) 2 = 0, we recover the Bianchi identities related to the fields D 9,3 and F 10,6,3,1 (see table 7), and the tadpole conditions cancelled by the branes which couple to the fields C 8 , E 10,4,2 and G 10,6,6,2 . Similarly, the constraints worked out from (D 2 ) 2 = 0 correspond to the Bianchi identities related to F 9,3 and H 10,6,3,1 and to the tadpoles cancelled by the branes coupling to E 8 , G 10,4,2 and I 10,6,6,2 . It is interesting that also the Bianchi identities related to D 9,3 are in these constraints, thus overlapping with the whole set of NS Bianchi identities. This seems to suggest that a redundancy actually occurs when the nilpotencies of these operators are taken simultaneously into account. What is the real meaning of this, and whether there could exist an analogous description for the rest of the constraints discussed in section 3, remains to be investigated.
A natural continuation of our analysis would be a detailed study of the solutions to all the Bianchi identities and tadpole conditions that we have determined. Although this is beyond the scope of this paper, we have performed a preliminary numerical analysis aimed at finding solutions that are non-geometric and that can be allowed only in the presence of exotic branes. In the isotropic case, where the three two-dimensional tori are identified, we are left with 40 flux parameters satisfying 16 Bianchi identities and 30 tadpole conditions. We have looked for solutions by scanning the zero minima of the function defined as the quadratic sum of all the constraints, where the integer number of branes and fluxes are generally treated as parameters to be determined. This was performed using the Mathematica algorithm NMinimize. As a sensible prescription, we discard the configurations of fluxes in which no minima are found in zero after a number of 10 5 iterations. That is also justified by the fact that for any configuration of fluxes no new solutions are actually found in the range between 10 4 and 10 5 iterations.
We give here a few IIB examples of the solutions we have found. If only the fluxes F 3 , H 3 , P 1,4 and H ′3,6 are turned on, no solutions could be found without including exotic branes. Besides the D3-branes, the fluxes induce tadpoles for the exotic branes 3 4 3 , 6 1,1 3 , 5 2,2 3 and 3 0,4,2

5
, and we find that the minimum number of α = −3 branes which need to be included is equal to 3. If instead only the fluxes F 3 , H 3 , H ′3,6 and F ′3,6 are turned on, one finds that together with the D3-branes one has to include the exotic branes 5 2,2 3 , 5 2,2 5 and 3 0,0,6 7 . Interestingly, there are solutions every time at least one of the 3 different kinds of exotic branes is included. Finally, we have considered the case in which the fluxes F 3 , H 3 , Q ′1,4 , H ′3,6 and F ′3,6 are turned on. This is the most constrained case that we have analysed (the total number of non-vanishing fluxes is 22), and to find solutions, besides the D3-branes, we need to include also the exotic branes 3 4 3 , 6 1,1 3 , 5 2,2 3 , 5 2,2 5 and 3 0,0,6 7 . We plan to perform a more systematic search of solutions in the near future.
In [15] it has been shown that all the fluxes of the orientifold model fill the representation (2, 2, 2, 2, 2, 2, 2) of SL(2, R) 7 . Therefore, the fluxes are symmetric under the exchange of any pair of SL(2, R)'s. In this paper we have shown that in IIB the spacefilling branes group in 16 irreducible representations of SL(2, R) 7 which are all the possible representations made of four singlets and three triplets with an even number of triplets of JHEP10(2017)134 SL(2, R)| U i . This means that the symmetry under the exchange of the different SL(2, R)'s is actually broken by the presence of space-filling branes. This reveals the real effect of the orientifold projection on the symmetries, which is to make a distinction between SL(2, R)| U i and SL(2, R)| T i , whose exchange corresponds in fact to switching the description to IIA/O6. We have also expressed the action of the SL(2, R)| U i and SL(2, R)| T i generators in terms of S-and T-duality as in eq. (4.4), which is a general formula that can be applied to any representation. This on one side proves the power of our T-duality rules and on the other side gives an elegant expression for the SL(2, R) 7 generators which is universally valid.
To conclude, the inclusion of exotic branes may be an important tool in string compactifications with non-geometric fluxes. Indeed, it would enlarge the possibilities to find more viable N = 1 four-dimensional vacua where all moduli can be conveniently stabilised, as many constraints on the fluxes could be relaxed. Moreover, from a wider perspective which goes beyond the closed string sector, it could be of extreme interest to further extend this analysis studying the dynamics of the exotic branes.