arxiv: v2 [hep-th] 3 Feb 2016

Transcription

1 Supersymmetric Chern-Simons Theory in Presence of a Bounary in the Light-Like Direction Jiří Vohánka an Mir Faizal arxiv: v2 [hep-th] 3 Feb 216 Department of Theoretical Physics an strophysics, Masaryk University, Kotlářská 267/2, Brno, Czech Republic Department of Physics an stronomy, University of Waterloo, Waterloo, Ontario N2L 3G1, Canaa bstract In this paper, we will analyze a three imensional supersymmetric Chern-Simons theory on a manifol with a bounary. The bounary we will consier in this paper will be efine by n x =, where n is a light-like vector. It will be emonstrate that this bounary is preserve uner the action of the SIM1 subgroup of the Lorentz group. Furthermore, the presence of this bounary will break half of the supersymmetry of the original theory. s the original Chern-Simons theory ha N = 1 supersymmetry in absence of a bounary, it will only haven = 1/2 supersymmetry in presence of this bounary. We will also observe that the Chern-Simons theory can be mae gauge invariant by introucing new egrees of freeom on the bounary. The gauge transformation of these new egrees of freeom will exactly cancel the bounary term obtaine from the gauge transformation of the Chern-Simons theory. 1 Introuction It is known that the action for most renormalizable quantum fiel theories is at most quaratic in erivatives. This also inclues the supersymmetric quantum fiel theories. So, the supersymmetric transformation of the action for these theories is expecte to prouce a total erivative term, apart from the bulk term. The bulk term vanishes ue to the equations of motion, an the total erivative term vanishes in absence of a bounary. However, if a bounary is present, this total erivative term will give rise to a bounary contribution. Thus, the presence of a bounary is expecte to break the supersymmetry of the theory. In fact, as the presence of a bounary breaks the translational invariance of the theory, an the translation invariance of the theory is relate to the invariance of the theory uner supersymmetry [1], it is expecte that the supersymmetry will be broken ue to the presence of a bounary. It is possible to vohanka@physics.muni.cz f2mir@uwaterloo.ca 1

2 impose suitable bounary conitions such that the supersymmetry of the theory will not be broken [2]-[3]. These bounary conitions are impose on the Euler-Lagrange fiel equations. The surface terms vanish on-shell, after these bounary conitions are impose, an this preserves the on-shell supersymmetry of the theory. However, the bounary conitions impose on the Euler-Lagrange fiel equations can not be use to preserve the off-shell supersymmetry of the theory. It may be note that various bounary conitions for supersymmetric theories have been analyze [4]-[8]. The path integral formalism is use to quantize most supersymmetric theories, an this formalism uses off-shell fiels. So, it is important to have a formalism which preserves the off-shell supersymmetry in presence of a bounary. Such a formalism has been constructe, an in this formalism the half of the original supersymmetry is preserve off-shell. This formalism is base on moifying the original action by aing a bounary contribution to it. The supersymmetric variation of the bounary contribution exactly cancels the supersymmetric variation of the bulk theory. However, this can only be one for half the supercharges of the original theory. Hence, only half the supersymmetry of the original theory is preserve. This formalism has been use for three imensional theories with N = 1 supersymmetry [9]-[11]. This three imensional formalism has been use for analyzing a system of multiple M2-branes ening on a M5-brane [12]. The action for multiple M2-branes is ual to the supergravity on S 4 S 7, an the OSp8 4 symmetry of the eleven imensional supergravity on S 4 S 7 is realize as N = 8 supersymmetry of this ual fiel theory. Furthermore, all the on-shell egrees of freeom of this theory are exhauste by the matter fiels, so the gauge sector has to be escribe by a topological theory. It has been possible to construct such a theory which is a matter-chern-simons theory calle the harony- Bergman-Jafferis-Malacena BJM theory [13]-[16]. Even though this theory only has N = 6 supersymmetry, it is expecte that its supersymmetry can be enhance to full N = 8 supersymmetry [17]-[18]. In fact, it coincies with a theory calle the Bagger Lambert Gustavsson BLG theory for two M2-branes, an the BLG theory has N = 8 supersymmetry [19]-[21]. The action for the matter sector of this theory is gauge invariant even in presence of a bounary. The action for the gauge sector of this theory is escribe by a Chern-Simons theory. It is well known that the gauge transformation of a Chern-Simons theory prouces a surface term. So, in the presence of a bounary the gauge transformation of the BJM theory generates a nonvanishing bounary term. However, it has been emonstrate that if new bounary egrees of freeom are introuce, then gauge invariance of the BJM theory can be restore even in presence of a bounary [22]-[24]. This is because the gauge transformation of these new bounary egrees of freeom exactly cancels the bounary contribution generate from the gauge transformation of the bulk action. It is important to stuy the open multiple M2-brane action as it can be use to unerstan the physics of M5-branes. It may be note that a system of M2-branes intersecting with M5-branes has been stuie using a fuzzy funnel solution [25]-[3]. system of multiple M2-branes ening on two M9-branes is expecte to generate E 8 E 8 symmetry from the gravitational anomaly [31]-[32]. The BLG theory has been use to stuy novel quantum 2

3 geometry on the M5-brane worl-volume by analyzing M2-branes ening on M5-branes with a constant C-fiel [33], an the BLG action with Nambu-Poisson 3-bracket has been ientifie as the M5-brane action with a large worl-volume C-fiel [34]. The bounary Chern-Simons theory has many other possible applications. It is possible for D-branes to en on other objects in string theory [35]-[39]. The Chern-Simons theory has been use for analyzing a system of open strings ening on D-branes in the the -moel topological string theory [4], an the Holomorphic Chern Simons theory has been use for analyzing the B-moel in the string theory [41]. Thus, it is important to stuy the Chern-Simons theory in presence of a bounary. It may be note that the gauge an supersymmetric invariance of Chern-Simonsmatter theories has alreay been stuie for bounaries in the space-like irection [9]-[12]. However, such an analysis has not been performe for the bounaries in the light-like irection. It might be possible to generalize the formalism evelope to preseve the gauge an supersymmetry of the Chern-Simons-matter theories in presence of a bounary along a space-like irection to preserve these symmetries for the Chern-Simons-matter theories in presence of a bounary along a light-like irection. Such an generalization will have to take into consieration the crucial ifferences between bounaries along space-like an light-like irections. For a bounary along a space-like irection the pullback of the metric on the bounary has rank two, but for a bounary along a light-like irection the pullback of the metric has only rank one. However, it is possible to use some aitional structure that occurs only for a bounary along a light-like irection to construct a gauge an supersymmetric invariant Chern-Simons theory in presence of a bounary along the lightlike irection. Even thought the Lorentz symmetry breaks for bounaries along both the space-like an light-like irections, the bounaries along the light-like irection preserves a sub-group of the Lorentz group. bounary in a light-like irection, preserves the SIM1 group of the spacetime. Thus, we will use the SIM1 superspace formalism [42] to escribe Chern-Simons theory in presence of a bounary along a light-like irection. It has been emonstrate that half the supersymmetry of the Lorentz invariant theory can be retaine, when the Lorentz symmetry is broken own to the SIM1 symmetry. This is one without aing aitional bounary terms to the original action. The avantage of this SIM1 superspace formalism is that the one-loop effective action for various theories can be easily calculate using SIM1 superspace formalism. In fact, one-loop effective action for a Wess-Zumino moel has been calculate using SIM2 superspace formalism [44]. The calculation of such effective action for Chern-Simons theories even in presence a bounary is non-trivial using the methos evelope for analysing space-like bounaries. It may be note that we o not nee to a aitional bounary terms to preserve half the supersymmetry of a Chern-Simons theory in presence of a bounary along light-like irection, if we use the SIM1 superspace formalism. However, for Chern-Simons theories, we have to a aitional bounary terms to preserve gauge symmetry, even in SIM1 superspace formalism. 3

4 2 Chern-Simons Theory The gauge covariant erivatives α = D α iγ α, αβ = αβ iγ αβ, 1 are expresse with the help of connections Γ α, Γ αβ, where the spinor erivatives satisfy {D α,d β } = 2 αβ. 2 Sometimes we will use Latin uppercase inices, B,... to represent both spinor = α an vector = αβ inices. In this notation we write 1 as = D iγ, 3 where the erivatives are D = D α,d αβ = D α, αβ. It is also useful to assign Grassmann parity to inices. spinor inex = α will be Grassmann o à = 1 an a vector inex = αβ will be Grassmann even à =. The anticommutators among gauge covariant erivatives are { α, β } = 2 αβ, [ α, βγ ] = C αβ W γ, [ αβ, γδ ] = 1 2 C αγf βδ 1 2 C αδf βγ 1 2 C βδf αγ 1 2 C βγf αδ, 4 where the fiel strengths are W α = i 2 Dβ D α Γ β 1 2 [Γβ,D β Γ α ]+ i 6 [Γβ,{Γ β,γ α }], α W α =, Γ αβ = 1 2 Dα Γ β i{γ α,γ β }, F αβ = 1 2 αw β. 5 The connections are subject to the gauge transformation Γ K = eik Γ e ik +ie ik D e ik, 6 where K is a scalar superfiel. The infinitesimal version of the above gauge transformations is δ K g Γ = i[k,γ ]+D K. 7 The N = 1 Chern-Simons action is S cs [Γ ] = k 4π tr 3 x 2 θ Γ α W α 16 {Γα,Γ β }Γ αβ, 8 where k is the level of the Chern-Simons theory. The gauge transformations of the Chern-Simons theory give rise to a surface term. This surface term oes not cause any troubles for a theory without a bounary, but breaks the gauge invariance if a bounary is present. The infinitesimal gauge transformation 7 gives the surface term δ K g S cs [Γ ] = k 4π tr 3 x 2 θ D α KW α 1 3 K[Γβ,Γ αβ ] αβ K{Γ α,γ β }. 9

5 3 SIM1 Supersymmetry The etaile erivation of the SIM1 supersymmetry can be foun in [42], here we are going to just review some basic facts that we are going to use in this paper. The SIM1 group is a subgroup of the Lorentz group that preserves a given light-like irection, this means that there is a light-like vector n which is preserve up to a rescaling by the action of the SIM1 group. This conition can also be formulate in the language of the ouble cover group SL2,R of the Lorentz group SO + 2,1. The light-like vector n can be written as n αβ = ξ α ξ β, where the commuting spinor ξ is etermine uniquely up to a sign. The SIM1 group is a subgroup of SO + 2,1 that preserves the light-like vector n up to a rescaling. This correspons to a subgroup of SL2,R etermine by the conition that ξ is preserve up to a rescaling. In this paper, we will assume that ξ an n are chosen such that their nonzero components are ξ + = 1 an n ++ = 1. The SIM1 transformation of a general spinor ψ can be written as ψ + = ψ e B e ψ + ψ ψ + = ψ e B e ψ+ ψ, 1 where,b R. Notice, that instea of matrices from SL2,R that we woul use in the case of the Lorentz group SO + 2,1, we use only subgroup of SL2,R consisting of triangular matrices. When the symmetry is reuce to the SIM1 subgroup of the Lorentz group, the space of spinors S o not constitute an irreucible representation. While the group SL2, R is semisimple an all representations can be written as a sum of irreucible representations, the group SIM1 is solvable an not all representations can be written as a sum of irreucible representations. One such representations is the one that we have on S. The subspace S invariant consisting of all spinors that satisfy the conition n/ψ = is irreucible, an it is the only irreucible subspace of S. However, we have an irreucible representation on the quotient space S quotient = S/S invariant. In our choice of n, the space S invariant consists of spinors for which the ψ + coorinate vanishes, the space S invariant can be conveniently escribe if we choose in each equivalence class a representative which has the coorinate ψ equal to zero. The infinitesimal SIM1 transformations are ψ = e ψ, [ ψ + ] = e [ ψ+ ]. 11 The SIM1 supersymmetry is not the symmetry that we get irectly from super- Poincare symmetry when the Lorentz symmetry is broken own to the SIM1 symmetry, we also have to break half of the supersymmetry of the theory. Thus, the N = 1 supersymmetry is reuce to N = 1/2 supersymmetry. The part of supersymmetry that we keep correspons to supersymmetry transformations generate by ǫq, with the infinitesimal anticommuting parameter satisfying n/ǫ =. The number of anticommuting coorinates parameterizing SIM1 superspace is half of the number of coorinates that parametrize the original N = 1 superspace. Thus, the SIM1 supersymmetry only contains a single supercharge S +, an there is only one 5

6 anticommuting coorinate θ parameterizing SIM1 superspace. This supercharge correspons to the spinor erivative +. Thus, the generator of the SIM1 supersymmetry an the corresponing spinor erivative are given by They satisfy S + = + +iθ ++, + = + iθ {S +,S + } = 2 ++, {S +, + } =, { +, + } = 2 ++, + θ = i. 13 It may be note that the anticommuting coorinate θ transforms uner the SIM1 group as a spinor from S invariant. The spinor erivative an the generator of the supersymmetry transform uner the SIM1 group as spinors from S quotient. 4 Bounary Supersymmetry In this section, we are going to investigate how the symmetry of a theory is reuce, if we assume that there is a bounary consisting of points that satisfy the conition n x =. We are going to show that the SIM1 supersymmetry arises naturally in this context [42]. We will review this iscussion here, because it emonstrates which surface terms are relevant for this bounary theory. In our particular choice of n the conition n x = means that x =. This set of points is preserve uner the action of the SIM1 group, because the irection of n is preserve. We can also perform shifts in x ++ an x + irections that are generate by P +, P. The shift in the x irection oes not preserve the bounary, thus the P generator cannot be part of the symmetry group. In orer to etermine which part of supersymmetry is preserve, we will assume that there is a scalar superfiel Φ which is constraine by the conition that it vanishes on the bounary. Such superfiel may appear for example in a matter Chern-Simons theory. The amount of unbroken supersymmetry will follow from the requirement that the bounary conition Φ x = =, 14 is invariant. The infinitesimal supersymmetry transformation changes this bounary conition as δφ x = = ǫ α Q α Φ x = = [ ǫ + + +θ θ + Φ+ǫ +θ + + +θ Φ ] x = = ǫ θ Φ x =. 15 This result clearly shows that the bounary conition 14 is left unchange only if the infinitesimal parameter ǫ satisfies the conition n/ǫ = ǫ =. This is the same conition that we use to break own the N = 1 Lorentz supersymmetry own to the N = 1/2 SIM1 supersymmetry. 6

7 The only ifference between the symmetry that we have just escribe an the SIM1 supersymmetry from the previous section is that P is not part of the bounary supersymmetry algebra. This oes not affect most of results that we have in the SIM1 supersymmetry. It shoul also be clear that only the surface term which is a total erivative will be relevant when we will investigate the gauge invariance of the Chern-Simons action. 5 Chern-Simons Theory in the SIM1 Superspace In orer to write own the Chern-Simons theory in the SIM1 superspace we introuce the projections γ = Γ θ+ =, 16 of connections Γ α,γ αβ [45]. The projection θ+ = removes the epenence on the anticommuting coorinate θ +, which oes not parametrize the SIM1 superspace. The gauge transformations are γ K = eik γ e ik +ie ik D e ik, 17 where k is the projection k = K θ+ = of the scalar superfiel K an the erivatives are D = D +,D αβ = +, αβ. The infinitesimal version of the above gauge transformations is δ K g γ = i[k,γ ]+D k. 18 The rules 17, 18 o not hol for γ because the coorinate θ was lost when we mae projection on to the SIM1 superspace, thus we o not have anything that woul correspon to D. Instea we efine a projection κ = D K θ+ = an instea of 18 we have the infinitesimal gauge transformation δ K g γ = i[k,γ ]+κ. 19 The projections γ +, γ, γ ++, γ +, γ provie all information that we nee to escribe the gauge theory. There is only one constraint that they have to satisfy + γ + = γ ++ + i 2 {γ +,γ + }. 2 The infinitesimal SIM1 transformation change a spinor ψ, accoring to 1, as δ s ψ + = ψ +, δ s ψ = ψ +Bψ In the case of superfiels, the infinitesimal change is calculate by applying the above rules on each inex that it carries plus the change cause by the shift in superspace coorinates. The Chern-Simons action can be written as a sum of the bulk part Sbulk cs, which contains the part that can be written as an integral over the whole space-time, an the 7

8 bounary part S cs bounary, which contains the part that can be written as a total erivative an is nonvanishing only on the bounary S cs [γ ] = S cs bulk [γ ]+S cs bounary [γ ]. 22 We will assume that the space-time is infinite in irections tangent to the bounary, we will not keep track of terms that can be written as total erivatives in these irections. The Chern-Simons theory on a manifol without a bounary in SIM1 superspace has alreay been iscusse in [45]. The action that has been obtaine correspons to Sbulk cs, an it is given by Sbulk cs [γ ] = k 4π tr 3 xθ 2γ + + w +γ + f γ w + iγ + [γ +,γ ]. 23 Because there was no bounary, the bounary part of the action Sbounary cs was not iscusse. The the bounary action can be easily foun if we look at the erivation of Sbulk cs in [45]. The only place where a total erivative appeare was in the ientity tr 3 xθ +[ {γ +,γ + }γ ] = tr 3 xθ +[ 2{γ +,γ } γ + +{γ +,γ + } γ ]. 24 The appropriate multiple of the left sie gives the bounary part of the action, which is Sbounary cs [γ ] = k 4π tr i 6 {γ +,γ + }γ. 25 The projections w α = W α θ+ = an f αβ = F αβ θ+ = can be calculate as w + = + γ + + γ + i[γ +,γ + ], w = 1 2 +γ γ + i[γ +,γ ], f ++ = ++ γ γ ++ +i[γ ++,γ + ], f + = γ + γ ++ +i[γ ++,γ ], f = + γ + γ + +i[γ +,γ ]. 26 We shoul also note that neither the bulk action Sbulk cs nor the bounary action Sbounary cs are separately SIM1 invariant, if a bounary is present. The SIM1 transformation of the bulk action results in a surface term that has to be cancele by terms that we get from the SIM1 transformation of the bounary action. It can be shown that δ s Sbulk cs [γ ] = δ s Sbounary cs [γ ] = B k i 4π tr 6 γ +{γ +,γ + }. 27 8

9 5.1 Infinitesimal Gauge Transformation Let us look at the surface term that we get as a result of an infinitesimal gauge transformation. We will keep track only of those terms that are important for our bounary theory, that is terms that contain erivative. The infinitesimal change of Sbulk cs was alreay calculate in [45] δ K g S cs bulk [γ ] = k 4π tr k+ γ + +k + γ +, 28 where we kept only the surface term which is a total erivative. The infinitesimal change of the bounary term can be calculate with the help of 18 an 19. The result is δ g K Sbounary cs [γ ] = k 4π tr i 6 {i[k,γ +]+ + k,γ + }γ i 6 {γ +,i[k,γ + ]+ + k}γ i 6 {γ +,γ + }i[k,γ ]+κ. 29 ll terms with the commutator i[k, ] rop out of the calculation ue to the cyclic property of the trace an the super-jacobi ientity, moreover the term { + k,γ + }γ appears twice, so the result coul be written as δ K g S cs bounary [γ ] = k 4π tr 5.2 Finite Gauge Transformation i 3 +k{γ +,γ } i 6 κ {γ +,γ + }. 3 The gauge transformation generate by K or equivalently by k an κ changes the action by a bounary term, which we will be enote as S. We may write this as S cs [γ K ] = Scs [γ ]+S [γ ;k,κ ], 31 where γ K are gauge transforme connections. Note that the bounary term epens on both γ, k an κ. We will state the result for S now, the proof will be provie later in this section. The bounary contribution is S [γ ;k,κ ] = k 4π tr with k s an k efine as [ i 6 γ +k {γ + +k +,γ + +k + }+ i 6 γ {γ +,γ + } +k + γ + γ + k ] s s ks + k s + ks + s ks +, 32 k s = id e isk e isk, k = k s s=1 = id e ik e ik. 33 9

10 The superfiel k is not covere by the above efinition for the same reasons as in 19. Instea, it is efine as 1 k = id e isk e isk θ+=. 34 The bounary contribution 32 shoul epen only on the value of the group element e ik, not on the value of superfiel K use to parametrize it. This is clearly true for terms that only contain k an γ, because k epen only on the group element e ik an e ik in the case of k. The uniqueness of terms with k s is not so clear, because there might be multiple choices of k that give the same group element e ik. We are going to show that for gauge groups that are simply connecte an have surjective exponential map the term with integral over s is also well efine. The group SUN is one of the groups for which these conitions are met. The s integral can be unerstoo as an integral along the curve [,1] s gs = e isk that connects the ientity element with the element e ik. The integran is a 1-form ω = tr [ g + g 1 g + g 1 g + g 1 g g + g 1 g ], 35 where g enotes the exterior erivative with respect to the group element g. It is trivial to show that g ω =. The fact that the form ω is close together with the assumption that the group is simply connecte leas to the conclusion that the result of the integral is inepenent on the choice of a path which we pick to connect the ientity an the element e ik. We nee the surjectivity requirement of the exponential map to ensure that all group elements can be written as e ik. It seems that this requirement woul not be necessary, if we i not assume a particular parametrization an expresse the result as a curve integral of ω. lthough it is possible to calculate S by applying gauge transformation 17, we will use a ifferent approach. We will show that 32 is what we woul get if we consiere a finite gauge transformation as a series of infinitesimal ones. Consier a gauge transformation generate by 1 + ǫk, where ǫ is an infinitesimal parameter. ccoring to 31 we have S cs [γ K+ǫK ] = S cs [γ ]+S [γ ;k +ǫk,κ +ǫκ ] = S cs [γ ]+S [γ ;k,κ ]+ǫˆδ K g S [γ ;k,κ ], 36 where ǫˆδ g K is use to enote an infinitesimal transformation that changes K to 1+ǫK but leaves γ unchange, i.e. ˆδ K g k = k, ˆδK g κ = κ, ˆδK g γ =. 37 We may also unerstan the gauge transformation generate by 1+ǫK as a composition of a finite gauge transformation with an infinitesimal gauge transformation. Here K 1 This coul be also written as k = 1 s e isk κ e isk. 1

11 parameterizes the finite gauge transformations, an ǫk parameterizes the infinitesimal gauge transformation. Thus, the alternative metho to calculate the gauge transformation is S cs [γ K+ǫK ] = S cs [γ K ]+ǫδk g S cs [γ K ] = S cs [γ ]+S [γ ;k,κ ]+ǫδ g K S cs [γ ]+ǫδ g K S [γ ;k,κ ]. 38 In this case δ g K changes γ accoring to 18, 19 but oes not affect k an κ, so δ g K k = δ g K κ =. Comparison of terms with ǫ in 36 an 38 gives the equation ˆδ K g S [γ ;k,κ ] δ K g S [γ ;k,κ ] = δ K g S cs [γ ]. 39 In orer to prove that S is correct, we have to show that it satisfies the above equation an the bounary conition S [γ ;,] =. The verification of the bounary conition is trivial, we have alreay calculate the right sie of 39 in 28 an 3, what remains is to evaluate expressions on the left sie. Before we procee with it, we are going to erive a few useful ientities. The first ientity is D k s B 1Ã B D B k s = id D B e isk e isk +i 1Ã B D B e isk D e isk i 1Ã BD B D e isk e isk id e isk D B e isk = k s [,B] ± i[k s,ks B ] ±, 4 where we use that D e isk = e isk D e isk e isk. The symbol k s [,B] ± is use to enote k s [,B] ± = i[d,d B ] ± e isk e isk. 41 For example, when we set = +, B = + we obtain the ientity + k s + = 1 2 +k s + + +k s + = ks ++ i 2 [ks +,ks + ], 42 where we use {D +,D + } = { +, + } = 2 ++ = 2D ++. nother ientity that can be easily erive is s ks = D k i[k,k s ]. 43 We can use the fact that k s If we set s = 1 in 4 we get K ˆδ g sk = s s sk to fin the infinitesimal transformation of ˆδ g K k s = s s ks = s D k i[k,k s ]. 44 D k B 1Ã BD B k = k [,B]± i[k,k B ] ±. 45 Similar methos can be use to calculate the infinitesimal change ˆδ K g k = D k i[k,k ], ˆδ K g of k an k ˆδK g k = κ i[k,k ]

12 Now, we are reay to evaluate the expressions on the left sie of 39. The first term in 32 oes not give any contribution because the infinitesimal change of combinations γ +k is ˆδK g δ g K γ +k = i[k,γ +k ], 47 an the i[k, ] commutators rop out because of the super-jacobi ientity an the cyclic property of the trace. The other terms that are outsie of the s-integral give ˆδK g δ g tr K = tr [k + γ + γ + k + + i ] 6 γ {γ +,γ + } [ + kγ + k + + k+ + kk + γ + + k i 6 κ {γ +,γ + } i 6 γ { + k,γ + } i ] 6 γ {γ +, + k}. 48 s before, all terms with i[k, ] cancel among themselves an yiel zero net contribution. In the next step, we integrate the first four terms by parts to move the erivatives +, + in front of k so they act on γ, k. The expression k + k + + k + that we get from the secon an the thir term can be replace with ik[k +,k + ] because of the ientity 45. Thus, the result for the part that is outsie of the s-integral is tr [ k + γ + +k + γ + +ik[k +,k + ] i 6 κ {γ +,γ + } i ] 3 +k{γ +,γ }. 49 The last piece which we nee to evaluate on the left sie of 39 is the part of 32 that is insie the s-integral. The infinitesimal change δ g K oes not give any contribution because δ g K K K k =. The change ˆδ g can be easily calculate if we write ˆδ g k s as s s ks. The result obtaine by following this proceure can be written as ˆδ g K tr 1 = tr ] s[ s ks + k s + ks + s ks + 1 s s [ ] s s ks + k s + sks + s ks +. 5 The substitution for s ks accoring to 43 an integration over s gives tr + kk + i[k,k + ]k + k + + k+ik + [k,k + ]. 51 s before, we use integration by parts to move the erivatives + an + so they act on k s +, ks + tr k + k k + 2i[k +,k + ]

13 This coul be further simplifie with the ientity 45, an the result is tr ik[k +,k + ]. 53 The sum of 49 an 53 gives the left sie of equation 39 an this is equal to the right sie, which is equal to a sum of 28 an 3. This, together with fulfillment of the bounary conition S [γ ;,] =, proves that 32 correctly escribes change of the Chern-Simons action for finite gauge transformations. 5.3 Bounary Superfiel The Chern-Simons action is not gauge invariant, gauge transformations yiel a contribution that oes not vanish because of presence of the bounary. The gauge invariance can be restore if we assume that the apart from the bulk action given by 22, there is a bounary action that couples the gauge fiel to new bounary egrees of freeom. This bounary action has to possess the property that its gauge transformation cancels the bounary terms 28 an 3 that were obtaine from the gauge transformation of the Chern-Simons action 22. The bounary part will not epen only on the gauge superfiel but also on the scalar Lie-algebra value bounary superfiel V. For now, we will assume that the superfiel V is efine everywhere, we will see later that it suffices to efine it on the bounary. The gauge transformation of this superfiel is postulate to be e iv e iv e ik. 54 It is chosen in this way in orer to ensure that the connections Γ V, which are finite gauge transformations of Γ generate by V, are not change by gauge transformations δ g K Γ V =. With the help of ΓV we can write the gauge invariant action as Scs [Γ V ]. The invariance of this action follows from the fact that gauge transformations leave Γ V unchange. The same proceure was also use in [22] for a bounary in a space-like irection. In the SIM1 setting we efine two superfiels corresponing to the Lorentz superfiel V v = V θ+ =, ν = D V θ+ =. 55 The gauge invariant action can be written, accoring to 31 as S cs [γ V ] = Scs [γ ]+S [γ ;v,ν ] = S cs bulk [γ ]+ S cs bounary [γ ]+S [γ ;v,ν ], 56 where the expression insie brackets contains all bounary terms. It is important to note that there is no epenence on the superfiel v, ν in the bulk action, only the surface action S [γ ;v,ν ] 32 epens on these superfiels. Furthermore, in orer to evaluate 13

14 the surface action we nee to know only the value of v, ν an of their erivatives in irections tangent to the bounary. We o not nee to know the erivatives v or ν in irection normal to the bounary to evaluate the bounary action. Thus, it is enough if the superfiels v, ν are efine on the bounary. In the same way as we efine the superfiels k, k s we efine the superfiels v, v s v s = id e isv e isv, Their infinitesimal gauge transformations are v = v s s=1, v = id e isv e isv θ+ =. 57 δ K g v = i[k,v ] D k, δ K g v = i[k,v ] κ, 58 The superfiels v an v s satisfy the same set of ientities 4, 42, 43 an 45 as k an k s with v in place of k. With these efinitions we write the bounary part of the action as S [γ ;v,ν ]+S cs bounary[γ ] = k 4π tr +v + γ + γ + v + + [ i 6 γ +v {γ + +v +,γ + +v + } 1 ] s s vs + v s + vs + s vs There is an interesting interpretation for the combination γ + v that appears in the first term. If we replace the orinary erivatives in the efinition of v 57 with the covariant ones, then we get v = i e iv e iv = id e iv iγ e iv e iv = v +γ. 6 Thus, the first term in 59 can be written as i 6 v {v +,v +}. This term is gauge invariant, we o not nee it to restore the gauge invariance, but we nee it for SIM1 invariance. 6 Chern-Simons Theory with Reefine SIM1 Superfiels In this section, we are going to rewrite the results of the previous sections using SIM1 superfiels that have better SIM1 transformation properties. The escription of the gauge theory in the previous sections was given with the help of a set of superfiels γ +, γ, γ ++, γ +, γ. In this section, we are going to use a ifferent set of superfiels consisting of γ +, γ, γ ++, γ +, γ. The superfiels γ +, γ ++ are efine accoring to 16 the reefine superfiels are efine as [45] γ = i α Γ α θ+ = = γ γ +, γ + = i α Γ α+ θ+ = = γ + γ ++, γ = α β Γ αβ θ+ = = γ 2 γ + + γ

15 where the operator is α = +α ++ + = 1, = The ifference between SIM1 projections that have been use in the previous section an reefine superfiels is that each carry ifferent representations. The SIM1 projections carry a spinor representation an its tensor proucts, while reefine superfiels carry representations that we have on S quotient an S invariant an their tensor proucts. If is treate as a new type of inex, together with + an, then the SIM1 transformation of any object coul be etermine by applying the rules δ s ψ + = ψ +, δ s ψ = ψ +Bψ +, δ s ψ = ψ, 63 on each inex. If some object has only + an inices, which is the case of reefine superfiels, then its SIM1 transformation is especially simple, it can be written as δ s ψ + + = # of + inices minus # of inices ψ The infinitesimal gauge transformations of reefine superfiels are more complicate that the ones we encountere in the case of SIM1 projections δ K g γ = i[k,γ ] α [k, α γ + ]+κ, δ K g γ + = i[k,γ + ] α [k, α γ ++ ], δ K g γ = i[k,γ ] 2 α [k, α γ + ] i α β [k, α β γ ++ ]+ ++ k, 65 where κ = κ + k. s before, we write the Chern-Simons action S cs as a sum of a bulk part S bulk cs an a bounary part S bounary cs S cs [γ ] = S cs bulk [γ ]+S cs bounary [γ ]. 66 The prime is use in orer to istinguish S bulk cs, S cs bounary from the actionsscs bulk, Scs bounary. The split of S cs into S bulk cs, S cs bounary is not the same as the split into Scs bulk, Scs bounary. In fact, we have S bounary cs Sbounary cs = S bulk cs Sbulk cs k i = 4π tr 6 γ + {γ +,γ + }. 67 In orer to fin this result, we have to keep track of surface terms in the calculation of the action S bulk cs from Scs bulk in [45]. The only place where such a surface term appears is the ientity tr 3 xθ + γ γ + +γ + ++ γ ++ = tr 3 xθ γ + α {γ +, α } 2i 3 γ +[γ ++, 3 γ ++ ]+ i 6 γ + {γ +,γ + }

16 When this ientity was erive in [45], the surface term was neglecte. We are going to provie a brief escription of the proof that keeps track of the mentione surface term. We make the substitutions ++ = ++ 2 an γ ++ = + γ + + i 2 {γ +,γ + } on the right sie of 68, which gives us tr 3 xθ + + γ + γ + γ + + γ + + γ + ++ γ 2 + +γ γ + i 2 {γ +,γ + } γ + + i 2 γ + {γ +,γ + } + i 2 {γ +,γ + } ++ γ 2 + i 2 γ + ++ {γ 3 +,γ + }. 69 The first term cancels with the secon term, the thir term cancels with the fourth term, the rest can be written as tr 3 xθ + 2i 3 {γ +,γ + } γ + + i 3 γ + {γ +,γ + } +i ++ 3 γ +{γ +,γ + }+ i 6 γ + {γ +,γ + }. 7 Notice, that a surface term appeare as a result of this proceure. The rest of the calculation oes not give any other surface term. The expression 7 can be written as etails can be foun in [45] tr ++ γ 2 + i {γ +,γ + } i{γ +, γ + } 3 xθ i 3 ++γ + {γ +, γ 3 + }+ i 6 γ + {γ +,γ + }. 71 This is exactly the expression that is on the right sie of 68. The bulk action has alreay been calculate in [45] S bulk cs [γ ] = k 4π tr 3 xθ 2γ + + γ + γ + ++ γ γ + γ γ + α {γ +, α γ + }+2iγ + [γ +,γ ] 2γ + [ α γ +, α γ + ]+2γ + [ α γ ++, α γ ] +2iγ + [ α β γ ++, α β γ + ] 1 3 γ + [ α β γ γ ++, α β γ γ ++ ]. 72 The bounary action is obtaine by combining the expression for Sbounary cs 25 with 67, it is given by S bounary cs [γ ] = k 4π tr i 6 γ {γ +,γ + }. 73 In this case both the bulk action S bulk cs an the bounary action S cs bounary are SIM1 invariant. This contrasts with the case of the action 22 where the change of the bulk action Sbulk cs ha to be compensate by the change of the bounary action Scs bounary. 16

17 6.1 Finite Gauge Transformation We are going to rewrite the expression for the surface term S 32 in terms of reefine superfiels. part from the epenence on the superfiels γ +, γ, γ ++, γ +, γ, which have alreay been escribe, there will be a epenence on k +, k, k +, k s +, ks +, where k = k k +, k + = k + k ++, k s + = ks + k s We are going to make the following substitutions γ = γ + γ +, γ + = γ + + γ ++ k = k + k +, k + = k + + k ++, k s + = ks + + k s The first term in 32 gives tr [ i ] 6 γ +k {γ + +k +,γ + +k + } = tr [ i 6 γ +k {γ + +k +,γ + +k + } i 6 γ + {γ +,γ + } i 6 k + {γ +,γ + } i 3 k +{γ +, γ + } i 6 γ + {k +,k + } i 6 γ +{k +, k + } i ] 6 k + {k +,k + }, 76 the secon term gives [ i ] tr 6 γ {γ +,γ + } [ i = tr 6 γ {γ +,γ + }+ i ] 6 γ + {γ +,γ + }. 77 The thir an the fourth term give [ ] tr k + γ + γ + k + = tr ] [k + γ + γ + k + +k + γ ++ γ + k It is convenient to rewrite this expression in such a way that there is no epenence on γ ++ an k ++. We can use 2 an 42 with s = 1 to express γ ++ an k ++ by expressions that contain only γ +, k +. The result is tr [k + γ + γ + k + k + + γ + + i 2 k + {γ +,γ + } = tr +γ + + k + + i ] 2 γ + {k +,k + } [k + γ + γ + k + + i 2 k + {γ +,γ + }+ i ] 2 γ + {k +,k + }, 79 17

18 where in the equality we use the fact that if we integrate the thir term k + + γ + by parts to move an + we get γ + + k +, which cancels the fifth term. The terms with the integral over s in 32 give tr 1 s = tr s ks + 1 s k s + ks + s ks + + s ks + s ks + k s + ks + s ks + k s ++ ks + With the help of 42, we can write the last two terms only using k s + tr 1 s s ks + + k s +k s + s + k s + + i 2 s k s ++ s k s + {k s +,ks + i 2 ks + + }. 8 s {k s +,ks + }. 81 The first an the thir term vanish because they can be written as a total + erivative. The secon an the fourth term can be written as tr 1 3 xθ + i s 6 s 2i 3 an this can be written as tr k s + {ks +,ks + } s ks + {k s i 6 k + {k +,k + } + 1 +,ks + }+ 2i 3 s ks + {k s +, k s +, } 82 [ s 2 ] α 3 s ks + {k s +, αk s + }. 83 Now, we are going to put together the pieces that we have just calculate. The sum of 76, 77, 79, 83 gives us the action S written with the help of reefine superfiels S [γ ;k,κ ] = k 4π tr + i 6 γ +k {γ + +k +,γ + +k + }+ i 6 γ {γ +,γ + } +k + γ + γ + k α k + {γ +, α γ + }+ 1 3 α γ + {k +, α k + } 1 s s ks + k s + ks + s ks + 2 α 3 s ks + {k s +, αk s + }

19 6.2 Bounary Superfiel In section 5.3, we have couple the gauge superfiel to a bounary superfiel in orer to restore the gauge invariance of the Chern-Simons theory. Now, we are going to reformulate this result with the help of reefine superfiels. The gauge invariant action can be written as S cs [γ V ] = S cs bulk [γ ]+ S bounary cs [γ ]+S [γ ;v,ν ], 85 where the terms in brackets constitute the bounary part of the action. We shoul note that both the bulk part an the bounary part are separately SIM1 invariant. In fact, each of actions S bulk cs, S cs bounary an S is separately invariant. This contrasts with the case 56, where SIM1 projections were use instea of reefine superfiels. In that case the parts Sbulk cs an Scs bounary were not separately invariant. The bounary part of the action from 85 is S [γ ;v,ν ]+S bounary cs [γ ] = k 4π tr i 6 γ +v {γ + +v +,γ + +v + } where + +v + γ + γ + v α v + {γ +, α γ + }+ 1 3 α γ + {v +, α v + } 1 s s vs + v s + vs + s vs + 2 α 3 s vs + {v s +, αv s + }, 86 v = v v +, v + = v + v ++, v s + = vs + v s Conclusion In this paper, we have analyze a three imensional supersymmetric Chern-Simons theory in presence of a bounary. This was one by consiering a bounary that satisfie the conition n x =, where n is a light-like vector. This bounary was calle a light like bounary, an unlike the space-like bounary whose metric was rank two, the metric on this bounary only was rank one. The presence of this bounary broke the symmetry group of the spacetime manifol from the Lorentz group own to the SIM1 group. Thus, the theory was stuie using the SIM1 superspace. It was emonstrate that this theory only preserve half the supersymmetry of the original theory. s the Chern- Simons theory ha N = 1 supersymmetry in absence of a bounary, it only retaine N = 1/2 supersymmetry in presence of this bounary. Finally, it was observe that the Chern-Simons theory can be mae gauge invariant by introucing new egrees of freeom on the bounary. The gauge transformation of these new egrees of freeom exactly cancele the bounary term obtaine from the gauge transformation of the Chern-Simons theory. The results obtaine in this paper coul be use to stuy a system of multiple M2- branes in presence of a bounary in a light-like irection. This woul require the coupling of matter fiels in the bi-funamental representation to the Chern-Simons theories. It 19

20 may be note that the coupling of matter fiels to Yang-Mills theories has alreay been stuie in funamental representation [42]. Furthermore, it woul also be interesting to generalize this work by consiering a Chern-Simons theory in N = 2 superspace formalism. We can analyze the effect of imposing a bounary in the light-like irection for this Chern-Simons theory. It is expecte that half of the supersymmetry of the original Chern-Simons theory with N = 2 supersymmetry will be broken in the presence of a bounary. Furthermore, it shoul also be possible to couple this theory to new egrees of freeom on the bounary such that the resultant theory is gauge invariant. The supersymmetry for an abelian BJM theory, in presence of a bounary, ha also iscusse in N = 2 superspace formalism. However, no iscussion of supersymmetry of the full non-abelian BJM theory in N = 2 superspace formalism, or its gauge invariance ha been one so far. So, a generalization of these results ton = 2 superspace formalism, an their application to the BJM theory in presence of a bounary will be interesting. s M2-branes can en on M5-branes, M9-branes or gravitational waves [46], this formalism might be useful to stuy the physics of such systems. In orer to quantize the action for multiple M2-branes we have to a a gauge fixing term an a ghost term to the original action. The total action thus obtaine will be invariant uner BRST symmetry [47]-[49]. The BRST symmetry for multiple M2-branes on a manifol without a bounary has been stuie in N = 1 superspace formalism [5]-[51]. This analysis has been generalize to inclue a bounary in a space-like irection [22]. It has been emonstrate that the bulk action for multiple M2-branes is not invariant uner the BRST transformations. The BRST transformations for this action generate a bounary contribution. However, the BRST transformations of the new bounary egrees of freeom exactly cancel the bounary contribution generate from the BRST transformation of the bulk action for M2-branes. It will be interesting to investigate this for a bounary in the light-like irection. It has been emonstrate that using the Hořava-Witten theory, one of the low energy limits of the heterotic string theory can be obtaine from the eleven imensional supergravity in presence of a bounary [31]-[32]. Thus, the strong-coupling limit of the type II string theory has been relate to the strong-coupling limit of the heterotic string [52]-[53]. This was one by compactifying the original theory on an interval boune by mirror orientifol planes. It was argue that a ten imensional E 8 super-yang-mills theory appears on each plane. So, two E 8 gauge theories were obtaine on the mirror planes, an supergravity was obtaine between these planes. In this construction, the low-energy value of the Newton s constant ecreases when the istance between the planes is increase. The gauge coupling remains fixe as this interval is increase. Thus, by ajustment of the length of this interval, it was possible to obtain a unification of gauge an gravitational couplings. In this theory, six imensions were compactifie, an thus, a five imensional theory on an interval with mirror plane bounaries was obtaine. This theory is expecte to be a five imensional supergravity moel, with aitional bulk super-multiplets. It has been argue that the analysis of a simpler system can help unerstan the Hořava-Witten theory. simplifie construction of a five imensional globally supersymmetric Yang-Mills theory couple to a four imensional hypermultiplet on the 2

21 bounary has also been analyze [54]. It woul be interesting to analyze what features of this moel can be retaine for a bounary in a light like irection. Thus, it will be interesting to generalize the results of this paper to five imensions an use it for analyzing a globally supersymmetric Yang-Mills theory. References [1] S. J. Gates, M. T. Grisaru, M. Rocek an W. Siegel, Superspace Or One Thousan an One Lessons in Supersymmetry, Front. Phys. 58, [hep-th/182]. [2] D. V. Belyaev, Bounary conitions in the Mirabelli an Peskin moel, JHEP 61, [hep-th/59171]. [3] D. V. Belyaev, Bounary conitions in supergravity on a manifol with bounary, JHEP 61, [hep-th/59172]. [4] P. van Nieuwenhuizen an D. V. Vassilevich, Consistent bounary conitions for supergravity, Class. Quant. Grav. 22, [hep-th/57172]. [5] U. Linstrom, M. Rocek an P. van Nieuwenhuizen, Consistent bounary conitions for open strings, Nucl. Phys. B 662, [hep-th/211266]. [6] P. Di Vecchia, B. Durhuus, P. Olesen an J. L. Petersen, Fermionic Strings With Bounary Terms, Nucl. Phys. B 27, [7] P. Di Vecchia, B. Durhuus, P. Olesen an J. L. Petersen, Fermionic Strings With Bounary Terms. 2. The O2 String, Nucl. Phys. B 217, [8] Y. Igarashi, Supersymmetry an the Casimir Effect Between Plates, Phys. Rev. D 3, [9] D. V. Belyaev an P. van Nieuwenhuizen, Rigi supersymmetry with bounaries, JHEP 84, 8 28 [arxiv: [hep-th]]. [1] M. Faizal an D. J. Smith, Nonanticommutativity in the presence of a bounary, Phys. Rev. D 87, no. 2, [arxiv: [hep-th]]. [11] M. Faizal, Deforme Super-Yang-Mills in Batalin-Vilkovisky Formalism, Int. J. Theor. Phys. 52, [arxiv: [hep-th]]. [12] D. S. Berman an D. C. Thompson, Membranes with a bounary, Nucl. Phys. B 82, [arxiv: [hep-th]]. [13] O. harony, O. Bergman, D. L. Jafferis an J. Malacena, N=6 superconformal Chern-Simons-matter theories, M2-branes an their gravity uals, JHEP 81, [arxiv: [hep-th]]. 21

22 [14] M.. Banres,. E. Lipstein an J. H. Schwarz, Stuies of the BJM Theory in a Formulation with Manifest SU4 R-Symmetry, JHEP 89, [arxiv:87.88 [hep-th]]. [15] M. Schnabl an Y. Tachikawa, Classification of N=6 superconformal theories of BJM type, JHEP 19, [arxiv: [hep-th]]. [16] E. ntonyan an.. Tseytlin, On 3 N=8 Lorentzian BLG theory as a scaling limit of 3 superconformal N=6 BJM theory, Phys. Rev. D 79, [arxiv: [hep-th]]. [17] O. K. Kwon, P. Oh an J. Sohn, Notes on Supersymmetry Enhancement of BJM Theory, JHEP 98, [arxiv: [hep-th]]. [18] H. Samtleben an R. Wimmer, N=6 Superspace Constraints, SUSY Enhancement an Monopole Operators, JHEP 11, 8 21 [arxiv: [hep-th]]. [19]. Gustavsson, Selfual strings an loop space Nahm equations, JHEP 84, [arxiv: [hep-th]]. [2] J. Bagger an N. Lambert, Comments on multiple M2-branes, JHEP 82, [arxiv: [hep-th]]. [21] J. Bagger an N. Lambert, Gauge symmetry an supersymmetry of multiple M2- branes, Phys. Rev. D 77, [arxiv: [hep-th]]. [22] M. Faizal an D. J. Smith, Supersymmetric Chern-Simons Theory in Presence of a Bounary, Phys. Rev. D [arxiv: [hep-th]]. [23] M. Faizal, Bounary Effects in the BLG Theory, Mo. Phys. Lett. 29, no. 31, [arxiv: [hep-th]]. [24] M. Faizal, Gauge an Supersymmetric Invariance of a Bounary Bagger-Lambert- Gustavsson Theory, JHEP 124, [arxiv: [hep-th]]. [25] D. J. Smith, Intersecting brane solutions in string an M theory, Class. Quant. Grav. 2, R [hep-th/21157]. [26] H. Nastase, C. Papageorgakis an S. Ramgoolam, The Fuzzy S**2 structure of M2- M5 systems in BJM membrane theories, JHEP 95, [arxiv: [hep-th]]. [27] J. rmas an M. Blau, Black probes of Schröinger spacetimes, JHEP 148, [arxiv: [hep-th]]. [28] J. rmas an T. Harmark, Constraints on the effective flui theory of stationary branes, JHEP 141, [arxiv: [hep-th]]. 22

23 [29] R. Iengo an J. G. Russo, Non-linear theory for multiple M2 branes, JHEP 81, 3 28 [arxiv: [hep-th]]. [3] D. Youm, Partially localize intersecting BPS branes, Nucl. Phys. B 556, [31] P. Horava an E. Witten, Heterotic an type I string ynamics from elevenimensions, Nucl. Phys. B 46, [hep-th/95129]. [32] P. Horava an E. Witten, Eleven-imensional supergravity on a manifol with bounary, Nucl. Phys. B 475, [hep-th/963142]. [33] C. S. Chu an D. J. Smith, Towars the Quantum Geometry of the M5- brane in a Constant C-Fiel from Multiple Membranes, JHEP 94, [arxiv: [hep-th]]. [34] P. M. Ho, Concise Review on M5-brane in Large C-Fiel Backgroun, Chin. J. Phys. 48, 1 21 [arxiv: [hep-th]]. [35] D. N. Kabat an W. Taylor, Spherical membranes in matrix theory, v. Theor. Math. Phys. 2, [hep-th/971178]. [36] J. Castelino, S. Lee an W. Taylor, Longituinal five-branes as four spheres in matrix theory, Nucl. Phys. B 526, [hep-th/971215]. [37] N. R. Constable, R. C. Myers an O. Tafjor, The Noncommutative bion core, Phys. Rev. D 61, [hep-th/ ]. [38] N. R. Constable, R. C. Myers an O. Tafjor, Nonbelian brane intersections, JHEP 16, [hep-th/128]. [39] P. L. H. Cook, R. e Mello Koch an J. Murugan, Nonbelian bionic brane intersections, Phys. Rev. D 68, [hep-th/3625]. [4]. Brini, Open topological strings an integrable hierarchies: Remoeling the - moel, Commun. Math. Phys. 312, [arxiv: [hep-th]]. [41] S. Hyun, K. Oh, J. D. Park an S. H. Yi, Topological B-moel an c=1 string theory, Nucl. Phys. B 729, [hep-th/5275]. [42] J. Vohánka an M. Faizal, Super-Yang-Mills Theory in SIM1 Superspace, Phys. Rev. D , 4515 [arxiv: [hep-th]]. [43] J. Vohanka, Gauge Theory an SIM2 Superspace, Phys. Rev. D 85, [arxiv: [hep-th]]. [44] S. Petras, R. von Unge an J. Vohanka, SIM2 an supergraphs, JHEP 117, [arxiv: [hep-th]]. 23

24 [45] J. Vohánka an M. Faizal, Chern-Simons Theory in SIM1 Superspace, arxiv: [hep-th]. [46] D. S. Berman, M. J. Perry, E. Sezgin an D. C. Thompson, Bounary Conitions for Interacting Membranes, JHEP 14, [arxiv: [hep-th]]. [47] C. Becchi,. Rouet an R. Stora, Renormalization of Gauge Theories, nnals Phys. 98, [48] I. V. Tyutin, Gauge Invariance in Fiel Theory an Statistical Physics in Operator Formalism, arxiv: [hep-th]. [49] T. Kugo an I. Ojima, Local Covariant Operator Formalism of Nonabelian Gauge Theories an Quark Confinement Problem, Prog. Theor. Phys. Suppl. 66, [5] M. Faizal, M-Theory on Deforme Superspace, Phys. Rev. D 84, [arxiv: [hep-th]]. [51] M. Faizal, M-Theory in the Gaugeon Formalism, Commun. Theor. Phys. 57, [arxiv: [hep-th]]. [52] E. Witten, Strong coupling expansion of Calabi-Yau compactification, Nucl. Phys. B 471, [hep-th/9627]. [53] P. Horava, Gluino conensation in strongly couple heterotic string theory, Phys. Rev. D 54, [hep-th/96819]. [54] E.. Mirabelli an M. E. Peskin, Transmission of supersymmetry breaking from a four-imensional bounary, Phys. Rev. D 58, [hep-th/ ]. 24