Abstract
The problem of the consistent definition of gauge theories living on the non-commutative (NC) spaces with a non-constant NC parameter \(\Theta (x)\) is discussed. Working in the \(\hbox {L}_{\infty }\) formalism we specify the undeformed theory, 3d abelian Chern–Simons, by setting the initial \(\ell _1\) brackets. The deformation is introduced by assigning the star commutator to the \(\ell _2\) bracket. For this initial set up we construct the corresponding \(\hbox {L}_{\infty }\) structure which defines both the NC deformation of the abelian gauge transformations and the field equations covariant under these transformations. To compensate the violation of the Leibniz rule one needs the higher brackets which are proportional to the derivatives of \(\Theta \). Proceeding in the slowly varying field approximation when the star commutator is approximated by the Poisson bracket we derive the recurrence relations for the definition of these brackets for arbitrary \(\Theta \). For the particular case of su(2)-like NC space we obtain an explicit all orders formulas for both NC gauge transformations and NC deformation of Chern–Simons equations. The latter are non-Lagrangian and are satisfied if the NC field strength vanishes everywhere.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the standard approach to the definition of gauge theory one needs the notion of the covariant derivative, \(\mathcal {D}_a=\partial _a-iA_a\), as a generalization of the partial derivative \(\partial _a\) which transforms covariantly, \(\mathcal {D}_a\rightarrow e^{if(x)}\mathcal {D}_a\), under the gauge transformations \(\delta _f A_a=\partial _a f\). This notion is based on the Leibniz rule. The non-commutativity is a fundamental feature of the space-time which manifests itself at very short distances [1, 2]. It can be introduced in the theory through the star product, defined in the theory of deformation quantization [3] as,
where \(\Theta ^{ab}(x)\) is the non-commutativity parameter depending on the specific physical model. In some cases, like the open string dynamics in the constant B-field [2], the non-commutativity parameter can be constant, however in general it is a function of coordinates. The coordinate dependence of \(\Theta \), in general, leads to the violation of the Leibniz rule,
and makes it impossible to follow the standard path for the formulation of NC gauge theory. Let us note that in some particular cases, like the NC gauge theory on D-branes in non-geometric backgrounds [4] the type of non-commutativity is compatible with the Leibniz rule, so the standard reasoning can be used for the definition of the NC field strength. Because of the non-geometry one has to shift the field strength tensor by a closed two-form on the D-brane worldvolume to construct the NC Yang–Mills action.
The problem with the violation of the Leibniz rule can be taken under control if, e.g., instead of the partial derivative \(\partial _a\) one takes the inner one defined through the star commutator, \(D_a= i[\,\cdot ,x_a]_\star \), as was done in the approach of covariant coordinates [5]. This however may lead to a problem with the correct commutative limit. Another possibility discussed in the literature consists in using the deformed Leibniz rule constructed with the help of the twist element of a Hopf algebra [6, 7]. Here we mention that the twist element is known for the very few examples of NC spaces [8].
In recent work [9] in collaboration with Ralph Blumenhagen, Ilka Brunner and Dieter Lüst we have formulated the \(\hbox {L}_{\infty }\)-bootstrap approach to the construction of non-commutative gauge theories. On the one hand, in the physical literature \(\hbox {L}_{\infty }\) structures were introduced for description of gauge theories [10], see also [11, 12] for more details and recent references. On the classical level such an \(\hbox {L}_{\infty }\) structure contains all necessary information about the theory including the gauge symmetry, the field equations and the Noether identities. On the other hand, \(\hbox {L}_{\infty }\) algebras (also known as strong homotopy Lie algebras) [13, 14] provides a framework for dealing with the deformation since the Jacobi identities are required to hold only up to a total derivative or a higher coherent homotopy. We note in particular that the proof of the key result in deformation quantization, the Formality Theorem, is based on the concept of \(\hbox {L}_{\infty }\) algebras [15].
The main idea of the \(\hbox {L}_{\infty }\) bootstrap approach consists in two steps. The first one is to represent the original undeformed gauge theory, like the Chern–Simons or the Yang–Mills, as well as the deformation introduced through the star commutator as a part of a new \(\hbox {L}_{\infty }\) algebra specifying the initial brackets \(\ell _1\), \(\ell _2\), etc. Then solving the \(\hbox {L}_{\infty }\) relations, \(\mathcal {J}_n=0\), one determines the missing brackets \(\ell _n\) and completes the \(\hbox {L}_{\infty }\) algebra which governs the NC deformation of the gauge transformations and the equations of motion. In [9] we found the expressions for the gauge transformations and the field equations up to the order \(\mathcal {O}\left( \Theta ^2\right) \) in the non-commutativity parameter. However the calculations were extremely involved and it was not clear whether the procedure can be extended to the higher or potentially all orders in the deformation parameter.
The purpose of the current work is to develop the ideas and tools proposed in [9] for the construction of the solution for the \(\hbox {L}_{\infty }\) bootstrap program and to apply them to the explicit example, the non-commutative deformation of the abelian Chern–Simons theory. The key observation made in this paper is that in each given order n there is a set of consistency conditions for solvability of the \(\hbox {L}_{\infty }\) bootstrap equations, \( {{\mathcal {J}}}_n=0\). These conditions are satisfied as a consequence of the previously solved equations, \({{\mathcal {J}}}_m=0\), with \(m<n\). We use this observation to express the brackets \(\ell _n\) in terms of those which have already been found. Note that the solutions \(\ell _n\) of the equations, \({{\mathcal {J}}}_n=0\), are not unique and often can be chosen to be zero. Aiming to provide explicit calculations we work in the slowly varying field approximation when the higher derivative terms in the star commutator are discarded and it is approximated by the Poisson bracket. We set,
where \(\Theta ^{ab}(x)\) is any suitably symmetric function satisfying the Jacobi identity,
The paper is organized as follows. We start with a brief review of basic facts from \(\hbox {L}_{\infty }\) algebras in the Sect. 2. In the Sect. 3 we construct the NC deformation of the abelian gauge transformation,
which satisfies the gauge closure condition, \([\delta _{f},\delta _g] A_a =\delta _{\{f,g\} }A_a\). Then, in the Sect. 4 we derive an expression for the field equations,
which are covariant under the transformation (1.5), i.e., and reproduce in the commutative limit, \(\Theta \rightarrow 0\), the standard abelian Chern–Simons equations, \(\varepsilon ^{abc}\,\partial _bA_c=0\). For arbitrary NC parameter \(\Theta ^{ij}(x)\) we provide the recurrence relations for the construction of the functions \(\Gamma ^k_a(A)\), \(P^{abc}(A)\) and \(R^{abc}(A)\) at any order in \(\Theta \). For deformation parameter, which is linear in coordinates, in the Sect. 5 we obtain an explicit all orders expressions for both NC gauge transformations and NC field equations. We define the NC field strength and show that just like in the commutative case the NC Chern–Simons equations are equivalent to the requirement that the NC field strength should vanish everywhere.
2 Basic facts from \(\hbox {L}_{\infty }\)-algebras
For the convenience of the reader in this Section we will briefly review the basic facts form the theory of \(\hbox {L}_{\infty }\)-algebras and its relation to the gauge theories. We start with a formal definition. In fact, \(\hbox {L}_{\infty }\)-algebras are generalized Lie algebras where one has not only a two-bracket but more general multilinear n-brackets with n inputs
defined on a graded vector space \(X = \bigoplus _m X_m\), where \(m\in \mathbb {Z}\), denotes the grading of the corresponding subspace. Each element \(x\in X\), has its own degree, meaning that if \(\mathrm{deg}(x)=p\), this element belongs to the subspace \(X_p\). These brackets are graded anti-symmetric,
The degree of \(\ell _n\) is,
The set of higher brackets \(\ell _n\) define an \(\hbox {L}_{\infty }\) algebra if they satisfy the infinitely many relations
The permutations are restricted to the ones with
and the sign \(\chi (\sigma ; x) = \pm 1\) can be read off from (2.2).
The framework of \(\hbox {L}_{\infty }\) algebras is quite flexible and it has been suggested that every classical perturbative gauge theory including its dynamics, is organized by an underlying \(\hbox {L}_{\infty }\) structure [11]. To see this, let us assume that the field theory has a standard type gauge structure, meaning that the variations of the fields can be organized unambiguously into a sum of terms each of a definite power in the fields. We take the graded space, \(X=X_{0}\oplus X_{-1}\oplus X_{-2}\), and all others trivial. The assignment is as follows. \(X_{0}\) corresponds to the space of gauge parameters or functions f, \(X_{-1}\) is the space of gauge fields \(A_a\) and \(X_{-2}\) contains the left hand side of the equations of motion of the gauge theory, . General elements in \(X_{-2}\) are denoted by the letter E, i.e.,
The gauge variations are defined in terms of the brackets \(\ell _{n+1}(f,A^{n})\in X_{-1}\) as,
The equations of motion can be written as
Using the \(\hbox {L}_{\infty }\) relations (2.4) one can show that the commutator of gauge variations yields [11, 18]
with
and where the second term on the right hand side of (2.9) vanishes on-shell. It can be expanded as
The gauge variation of the equation of motion reads
reflecting that, as opposed to the gauge field A, it transforms covariantly.
The same gauge algebra may correspond to the different gauge theories. So, following [11] it is convenient to introduce two different \(\hbox {L}_{\infty }\) algebras. The first of them denoted by \(\hbox {L}^{gauge}_{\infty }\) describes only the gauge transformations of fields \(A_a\) and is concentrated in two component space \(X^{gauge}=X_{0}\oplus X_{-1} \). The second, \(\hbox {L}^{full}_{\infty }\) is concentrated in three component space, \(X^{full}=X_{0}\oplus X_{-1}\oplus X_{-2} \), and includes the information about the dynamics. This can be extended further as in [12], adding the fourth component \(X_{-3}\) containing the Noether identities, etc. For example, to define the \(\hbox {L}^{gauge}_{\infty }\) algebra corresponding to the abelian gauge transformation, \(\delta _f A_a=\partial _a f\), one sets \(\ell _1(f)=\partial _a f\) and all other brackets vanishing. The \(\hbox {L}^{full}_{\infty }\) algebra corresponding to the abelian Chern–Simons theory is defined by setting \(\ell _1(A)^a=\varepsilon ^{abc}\partial _bA_c\), while for Yang–Mills we define \(\ell _1(A)^a=\Box A^a-\partial ^a(\partial \cdot A)\). In both cases it is obvious that, \(\ell _1(\ell _1(f))=0\).
We stress that in principle, the \(\hbox {L}_{\infty }\) algebra may have an infinite number of the brackets \(\ell _n\), which however, are not arbitrary, since they should satisfy \(\hbox {L}_{\infty }\) relations (2.4). As it was already mentioned in the introduction the idea of the \(\hbox {L}_{\infty }\) bootstrap approach consists in representing the original undeformed gauge theory together with a deformation as a part of a new \(\hbox {L}_{\infty }\) structure by setting initial brackets and solving \(\hbox {L}_{\infty }\) relations to determine the \(\hbox {L}_{\infty }\) algebra, which corresponds to the consistent deformation of the original theory.
3 Non-commutative deformation of the abelian gauge transformations
In this section we discuss a non-commutative deformation of the abelian \(\hbox {L}^{gauge}_{\infty }\) algebra defined by the bracket, \(\ell _1(f)=\partial _a f\). A deformation is introduced through the star commutator of functions which, from the consideration of anti-symmetry, should be assigned to the bracket,
For the Hermitean associative star productFootnote 1 an expression for the star commutator up to the third order in \(\Theta \) reads [20],
In principle, the higher order terms in the star commutator can be constructed following the prescription of the Formality Theorem [15] and involves the Kontsevich graphs and the Kontsevich weights. The construction of the Kontsevich graphs is straightforward, however to the best of our knowledge there is no regular way of the computing the Kontsevich weights corresponding to the Kontsevich wheel diagrams. So, for arbitrary non-commutativity parameter \(\Theta (x)\) an explicit all orders expression for the star commutator (3.2) is not known.
In this work we will consider the limit of slowly varying, but not necessarily small fields, i.e., we discard the higher derivatives terms, like \(\partial f \partial \partial g\), etc., in the star commutator and approximate it by the Poisson bracket,
This is a “self-consistent” approximation of non-commutativity. If we work with the NC deformations induced by the associative star product, the star commutator (3.1) satisfies the Jacobi identity, so does the corresponding Poisson bracket (3.3). Below we will see that in this case the brackets of the type \(\ell _{n+2}(f,g,A^n)\), \(n>0\), can be taken to be zero.
3.1 Leading order contribution
Having non-vanishing brackets \(\ell _1(f)\) and \(\ell _2(f,g)\), one has to check the \(\hbox {L}_{\infty }\) relation, \({{\mathcal {J}}}_{2}(f,g)=0\), which reads,
and involves the yet undetermined bracket \(\ell _2(f,A)\). It means that now the identity, \({{\mathcal {J}}}_{2}(f,g)=0\), becomes an equation on \(\ell _2(f,A)\). Solving this equation one may proceed to the next \(\hbox {L}_{\infty }\) relation, \({{\mathcal {J}}}_{3}(f,g,h)=0\), and define the next bracket \(\ell _3(f,g,A)\), etc.
Let us see how it works on practice. From (3.4) one finds
Note that the solution is not unique, one may also set, e.g.,
with \(s^{ij}_a(x)=s^{ji}_a(x)\). By the definition of \(\hbox {L}_{\infty }\), \( \ell ^\prime _2(A,f):=-\ell ^\prime _2(f,A)\). The symmetry of \(s^{ij}_a(x)\) implies that this choice of the bracket \(\ell _2^\prime (f,A)\) also satisfies the equation (3.4). However, the symmetric part \(s^{ij}_a(x)\, \partial _i f \,A_j\) can always be “gauged away” by \(\hbox {L}_{\infty }\)-quasi-isomorphism, physically equivalent to a Seiberg-Witten map [2], see [19] for more details.
3.2 Next to the leading order
Then we have to define the bracket \(\ell _3(f,g,A)\) from the identity \({{\mathcal {J}}}_{3}(f,g,h)=0\). Taking into account that according to (2.3) the bracket \(\ell _3(f,g,h)\) belongs to the space \(X_1\) which is empty in our construction, i.e., \(\ell _3(f,g,h)=0\), one writes
The first line in the above expression is a Jacobiator for the bracket \(\ell _2(f,g)\) defined in (1.3),
So we may just set, \(\ell _3(A,f,g)=0\).
The next step is the crucial for the whole construction. We have to analyze the relation \({{\mathcal {J}}}_{3}(f,g,A)=0\), given by
For simplicity, we replace it with \({{\mathcal {J}}}_{3}(g,h,\ell _1(f))=0\), written in the form
We will follow the logic of [20] for the solution of the above algebraic equation. By construction, the equation (3.10) is antisymmetric with respect to the permutation of g and h. The graded symmetry of the \(\ell _3\) bracket, \(\ell _3(\ell _1(f),\ell _1(g),h)= \ell _3(\ell _1(g),\ell _1(f),h)\), implies the identity on the l.h.s. of (3.10):
Which in turn requires the graded cyclicity of r.h.s. of the eq. (3.10),
The latter is nothing but the consistency condition for the eq. (3.10).
It is remarkable that the consistency condition (3.11) follows from the previously satisfied \(\hbox {L}_{\infty }\) relations, namely \({{\mathcal {J}}}_{2}(f,g)=0\), and \({{\mathcal {J}}}_{3}(f,g,h)=0\). Indeed, taking the definition of G(f, g, h), one writes
Using \({{\mathcal {J}}}_{2}(f,g)=0\), we may push \(\ell _1\) out of the brackets and rewrite it as
Which means that the consistency condition (3.11) holds true as a consequence of the previously satisfied \(\hbox {L}_{\infty }\) relations.
Taking into account (3.11) one may easily check that the following expression (symmetrization in f and g of the r.h.s. of the Eq. (3.10)):
has the required graded symmetry and solves, \({{\mathcal {J}}}_{3}(g,h,\ell _1(f))=0\). For \(\ell _1(f)=A,\) and \(\ell _1(g)=B\), one gets,
with
At this point we would like to stress three main observations. First, the consistency condition (graded cyclicity) (3.11) holds true as a consequence of the \(\hbox {L}_{\infty }\) relations. Second, one needs higher brackets to compensate the violation of the standard Leibniz rule, which is standard in deformation quantization. And the last one is that the order of the bracket \(\ell _{n+1}(F, A^n)\) in gauge fields \(A^n\) corresponds to the order of this brackets in the non-commutativity parameter \(\Theta ^n\).
3.3 Higher brackets and recurrence relations
Once the brackets \(\ell _3(f,g,A)\) and \(\ell _3(f,A,B)\) are determined we may proceed to the next \(\hbox {L}_{\infty }\) relations and find the brackets with four, five, etc., entries. First let us discuss the relations with three gauge parameters, \({{\mathcal {J}}}_{n+3}(f,g,h,A^n)=0\). The relation with four entries, \({{\mathcal {J}}}_{4}(f,g,h,A)=0\), can be represented schematically as follows,
Recall that by the consideration of the degree, \(\ell _2(f,g)\in X_0\), and \(\ell _2(f,A)\in X_{-1}\), and also, \(\ell _3(f,g,h)=0\), and \(\ell _4(f,g,h,A)=0\), since the corresponding brackets belong to the space \(X_1\) which is empty in our construction. Taking into account now that the bracket, \(\ell _3(f,g,A)=0\), due to (3.7), the identity (3.15) becomes,
The latter can be satisfied setting, \(\ell _4(f,g,A,B)=0\). The same arguments show that if the bracket \(\ell _2(f,g)\) satisfies the Jacobi identity (3.8), then the \(\hbox {L}_{\infty }\) relations with three gauge parameters, \({{\mathcal {J}}}_{n+3}(f,g,h,A^n)=0\), are satisfied for, \(\ell _{n+2}(f,g,A^n)=0\), with \(n\ge 1\). On the other hand, this means that the closure condition for the gauge algebra becomes
To proceed with the relations with two gauge parameters, \({{\mathcal {J}}}_{n+2}(g,h,A^n)=0\), we replace them by the equations, \({{\mathcal {J}}}_{n+2}(g,h,\ell _1(f)^n)=0\), which in turn can be represented in the form
where the right hand side, \(G(f_1,\dots ,f_n,g,h)\), is defined in terms of the previously defined brackets \(\ell _{m+2}(\ell _1(f)^{m},\ell _1(g),h)\), with \(m<n\). It is symmetric in the first n arguments and antisymmetric in the last two by the construction. The graded symmetry of \(\ell _{n+2}(\ell _1(f)^{n},\ell _1(g),h)\) implies the non-trivial consistency condition (since \(G(f_1,\dots ,f_n,g,h)\) is symmetric in first n arguments, one needs to check the cyclicity relation with respect to the permutation of the last three slots),
which follows from the previous \(\hbox {L}_{\infty }\) relations and can be proved by induction. The solution of the Eq. (3.18) can be constructed taking the symmetrization of the r.h.s. in the first \(n+1\) arguments.
The order by order in \(\Theta \) calculations indicates the ansatz for the brackets,
yielding following expression for the gauge variation,
where
According to the slowly varying field approximation we take into account only the leading order contribution in derivatives \(\partial f\) and \(\partial A\). But we do not restrict the orders in \(\Theta \). The order of the term \( \Gamma ^{k(n)}_a\) in the gauge fields A coincides with the order of this term in deformation parameter \(\Theta \). To determine \(\Gamma ^{k}_a(A)\) we use the closure condition (3.17). One finds after simplification that,
where we use the notation, \(\partial _b\Gamma ^{l(n)}_a=(\partial _b\Gamma ^{li_1\dots i_n}_a)\,A_{i_1}\dots A_{i_n}\). So, the closure condition (3.17) yields the following equation on \(\Gamma ^k_a(x,A)\),
In what follows we will construct the perturbative in \(\Theta \) solution of the above equation. We substitute the decomposition (3.22) in the Eq. (3.24) and compare the same orders in \(\Theta \) from the left and from the right. In the first order in \(\Theta \) we obtain,
yielding a solution, \( \Gamma ^{k(1)}_a=-\partial _a\Theta ^{ kl}A_l/2\), which corresponds to (3.5). The second order in \(\Theta \) gives,
where \(G_a^{kli}\) was defined in (3.14). The consistency condition for the Eq. (3.26) reads,
It is equivalent to the requirement (3.11) and is satisfied as a consequence of the \(\hbox {L}_{\infty }\) construction as it was discussed in the previous subsection. A solution of the Eq. (3.26),
represents exactly the contribution of the bracket \(\ell _3(f,A,A)\) defined in (3.13) to the gauge variation (2.7).
In the higher orders in the deformation parameter \(\Theta \) the Eq. (3.24) results in,
The consistency condition in this case,
is equivalent to the relations (3.19) which follow from the \(\hbox {L}_{\infty }\) construction. A solution of the equation (3.29),
defines the functions \(\Gamma ^{l(n+1)}_a\) in terms of the previously determined \(\Gamma ^{l(m)}_a\) with, \(m\le n\).
The situation here is quite similar to the construction of the star product in the deformation quantization. For the arbitrary non-commutativity parameter \(\Theta ^{ab}(x)\) the best we can do is to provide the recurrence relations (3.31) for the construction of the gauge variation (3.21). However for the specific choices of \(\Theta \), like e.g., the linear one, it is possible to address the question of the convergence of the series (3.22) and provide all orders explicit formula for \(\Gamma ^k_a(A)\) in (3.21).
4 Non-commutative field dynamics and \(\hbox {L}_{\infty }\) structure
In this Section we discuss the consistent deformation of the field dynamics in the bootstrap approach, considering the example of the non-commutative deformation of the abelian Chern–Simons theory. In this case we write the initial brackets as
The brackets \(\ell _{n+1}(f,A^n)\) and \(\ell _{n+2}(f,g,A^n)\) were determined in the Sect. 5.48. The rest of the brackets \(\ell _n(A^n)\), \(\ell _{n+2}(f,E,A^{n})\), and \(\ell _{n+3}(f,g,E,A^{n})\), can be found from the corresponding \(\hbox {l}_{\infty }\) relations.
4.1 Leading order contribution
The first new non-trivial \(\hbox {L}_{\infty }\) relation is
which we rewrite as
In the r.h.s. the bracket, \(\ell _2(f,A)\in X_{-1}\), is given by (3.5), while \(\ell _1(A)\) is determined in (4.1), so
The brackets \(\ell _2(\ell _1(f),A)\) and \(\ell _2(f,\ell _1(A))\) in the l.h.s. of (4.3) need to be determined. The bracket \(\ell _2(f,E)\) should be antisymmetric with respect to the permutation of its arguments, so we identify
The rest of the Eq. (4.3) can be written in the form
where the coefficient functions \(P_1^{aijk}\), \(Q_1^{aijk}\) and \(R_1^{aijkl}\) are given by
The solution of the Eq. (4.6) will be constructed following the logic of the previous section. There is a non-trivial consistency condition coming from the graded symmetry of the bracket \(\ell _2\), which is satisfied as a consequence of the previously solved \(\hbox {L}_{\infty }\) relations. The relation \({{\mathcal {J}}}_2(f,\ell _1(g))=0\), can be written as
The graded symmetry of \(\ell _2\) bracket,
implies the consistency condition on the right hand side of (4.8),
The later is automatically satisfied due to \(\hbox {L}_{\infty }\) relation, \({{\mathcal {J}}}_2(f,g)=0\), since
In the specific case of the deformation of Chern–Simons theory, i.e., Eq. (4.4) the relation (4.10) implies
which in turn yields the following relations between the coefficients \(Q_1^{aibck}\), \(S_1^{abck}\) and \(T_1^{abckl}\):
We stress that these relations can be checked explicitly using just (4.7), however they follow from the \(\hbox {L}_{\infty }\) algebra constructed so far. Using (4.13) the origynal equation (4.6) becomes
implying the solution
which is in the perfect agreement with our previous result [9].
4.2 Next to the leading order
At this order there appears higher brackets \(\ell _3\). The expressions for \(\ell _3(A, f,g)\) and \(\ell _3(A,B,f)\) were found in the previous section. Taking into account that now \(X_{-2}\) is non trivial, one may also have non-vanishing brackets \(\ell _3(E,f,g)\in X_{-1}\), \(\ell _3(E,A,f)\in X_{-2}\) and \(\ell _3(A,B,C)\in X_{-2}\).
Let us start with \(\ell _3(E,f,g)\). Such a term contributes to the closure condition, \({{\mathcal {J}}}_3(f,g,A)=0\), which is however satisfied without it. Therefore, we can set \(\ell _3(E,f,g)=0\). Next we consider the \(\hbox {L}_{\infty }\) relation, \({{\mathcal {J}}}_3(E,f,g)=0\), i.e.,
Since, \(\ell _2(E,f)=\{E_a,f\}\), by (4.5), the first line in the above equation vanishes and one derives,
Finally, to define \(\ell _3(A,B,C)\), one has to solve, \({{\mathcal {J}}}(A,B,f)=0\), written as,
By the construction the r.h.s., \(r_3(A,B,f)\), is symmetric with respect to the permutation of A and B. As before, the graded symmetry of the \(\ell _3\) bracket,
implies a non-trivial consistency condition on the r.h.s. of (4.18),
Using the previously satisfied \(\hbox {L}_{\infty }\) relations, \({{\mathcal {J}}}_2(f,g)=0\), and, \({{\mathcal {J}}}_2(A,f)=0\), one may check that,
Again the consistency condition (4.20) is satisfied as a consequence of \(\hbox {L}_{\infty }\) construction.
Now let us discuss the solution of the Eq. (4.18) for the non-commutative deformation of CS theory. The calculation of the r.h.s. is quite involved, but straightforward. We represent it as
where
The Eq. (4.20) implies the following relations on the coefficient functions
We stress that the above relations are not manifest from the explicit form of the coefficient functions \(P_2^{aijkl}\), \(Q_2^{aijkl}\), \(R_2^{aijklm}\) and \(S_2^{aijk(lm)}\) given by (4.23) correspondingly. They follow from the \(\hbox {L}_{\infty }\) relations, \({{\mathcal {J}}}_3(g,f,A)=0\), \({{\mathcal {J}}}_3(E,g,f)=0\), etc., which were also used to obtain the Eq. (4.20). The situation here is absolutely the same as in the previous Section for the construction of \(\hbox {L}^{gauge}_{\infty }\)-algebra. The solution of the \(\hbox {L}_{\infty }\) relations in each given order n imply the non-trivial consistency conditions, which in turn are satisfied due to the previously solved lower order \(\hbox {L}_{\infty }\) relations.
The following expression
by construction is symmetric in all arguments and due to the relations (4.24) satisfies the Eq. (4.22).
4.3 Higher order relations
Following the same logic as in the beginning of the Sect. 3.3 we conclude that the \(\hbox {L}_{\infty }\) relations of the type, \({{\mathcal {J}}}_n(A^{n-3}E,f,g)=0\), are satisfied for, \(\ell _n(A^{n-2},E,f)=0\), for \(n>0\). Thus, we conclude that the condition (2.12) on the gauge variation of the field equation, , defined by (2.8) becomes
That is, the gauge variation of the field equation is proportional to the field equation itself, i.e., it is gauge invariant on-shell. The proper field equations, , are constructed from the brackets \(\ell _{n}(A^n)\) which should be determined from the \(\hbox {L}_{\infty }\) relations, \({{\mathcal {J}}}_n(f,A^{n-1})=0\). The latter can be schematically represented in the form
where the r.h.s. \(r_n\left( A^{n-1},f\right) \) written in terms of the lower order brackets \(\ell _m\), \(m<n\), by the construction is symmetric in first \(n-1\) arguments. Like in the case of first two orders given by the Eqs. (4.6) and (4.22) correspondingly, the Eq. (4.27) has a non-trivial consistency condition. The graded symmetry of the \(\ell _n\)-bracket on the l.h.s. of (4.27) implies the relation,
This relation can be proved by induction. To construct a solution of the Eq. (4.27) one may follow the prescription of the previous subsection, in particular (4.22) and (4.25).
The form of the lower order brackets indicates the anzats,
where,
The latter in turn means that for the l.h.s. of the field equation one writes,
with
The notations used here are similar to those in (3.22). The order of the term \(P^{abc(n)}\) in the gauge fields \(A^n\) coincides with the order of this term in the deformation parameter \(\Theta ^n\). By construction, \(R^{abc}\left( A\right) \) should be antisymmetric in b and c, since it is contracted with the Poisson bracket, \(\left\{ A_b,A_c\right\} \).
To determine the functions \(P^{abc}(A)\) and \(R^{abc}(A)\) we use the gauge covariance condition (4.26). Introducing the notation
one obtains in the l.h.s. of (4.26):
While the r.h.s. of (4.26) is just given by
Taking into account that due to Jacobi identity,
the Eq. (4.26) for the ansatz (4.31) becomes
We set separately
and
Let us analyze first the Eq. (4.38). We remind that by (3.21) and (4.33), \(\bar{\delta }_{f}A_a=\partial _a f+\Gamma _a^k(A)\,\partial _kf\). So the Eq. (4.38) can be written as
Thus, we obtain two separate conditions on \(P^{abc}\):
and
From this point we act in the same way as in the Sect. 3.3, we will construct the perturbative in \(\Theta \) solution of the above equations using the expression for \(\Gamma ^k_l\) obtained in the previous section. The Eq. (4.41) in the first order in \(\Theta \) reads,
The r.h.s. of the above equation is exactly the coefficient \(Q_1^{abck}\) determined in (4.7). Its solution,
reproduces the contribution to the equations of motion (2.8) from the corresponding part of the bracket \(\ell _2(A,A)\) defined in (4.15). This choice for \(P^{abc(1)}\) also satisfies the Eq. (4.41) up to the first order in \(\Theta \). It can be checked explicitly, but also follows from the first of the Eq. (4.13), that is from the \(\hbox {L}_{\infty }\) construction.
In the higher orders in \(\Theta \) the Eq. (4.41) results in,
The consistency condition for this equation reads,
It follows from the relation (4.28). A solution is
As before, for arbitrary non-commutativity parameter \(\Theta ^{kl}(x)\) we can only provide the recurrence relations (4.47) for definition of the functions \(P^{abc(n+1)}\). In the next Section we will construct an explicit all orders expression for \(P^{abc}(A)\) for linear \(\Theta \).
Once \(P^{abc}(A)\) is found, from (4.42) one determines,
The antisymmetry, \(R^{abc}=-R^{acb}\), follows from (4.42).
5 Lie-algebra like deformation
The main goal of this Section is to work out the most simple and at the same time non-trivial situation taking the non-commutativity parameter \(\Theta \) to be linear function of the coordinates and satisfying the Jacobi identity. Physically it corresponds, for example, to the Q-flux backgrounds in open string theory [22].
5.1 NC su(2)-like deformation
We choose the non-commutativity parameter, \(\Theta ^{ij}(x)=2\,\theta \,\varepsilon ^{ijk} x_k\), which correspond to the rotationally invariant 3d NC space [23,24,25,26,27]. For the brevity of the calculations in most cases we will suppress the symbol \(\theta \) in this and the following subsections. However, we will restore \(\theta \) in the Sect. 5.3 where we provide the summary of the main findings of this section. The corresponding Poisson bracket is
For the first two brackets with one gauge parameter one finds,
with \(A^2=A_bA^b\). Then, using the recurrence relations (3.31) we observe that the brackets \(\ell _{n+3}(f,A^n)\) with the odd n vanish, while for even n they have the structure
for some monomial function \(\chi _n(A^2)\). The combination of (5.2) and (5.3) in (3.21) results in the following ansatz for the gauge variation:
where the function, \(\chi (A^2)=\sum _n \chi _n(A^2),\) should be determined from the closure condition (3.17).
For the convenience of the reader here we repeat the calculation (3.23) for the specific form of the gauge variation (5.4),
After tedious but straightforward calculations we rewrite the r.h.s. of (5.5) as
That is, requiring that
we will obtain zero in the r.h.s. of (5.5). The solution of (5.7) is
Thus, we have obtained in (5.4) and (5.8) with, \(t=\theta ^2A^2\), an explicit form of the non-commutative su(2)-like deformation of the abelian gauge transformations in the slowly varying field approximation. Following the lines described in [28] this result can be generalized for the non-commutative deformations along any linear Poisson structure \(\Theta ^{ij}(x)\).
5.2 Non-commutative Chern–Simons theory
The initial data in this case were specified in (4.1). The brackets \(\ell _2(A,A)\) and \(\ell _3(A^3)\) were calculated in (4.15) and (4.25) correspondingly. The resulting expression for the NC su(2)-like deformation of the abelian Chern–Simons equations of motion up to the order \({{\mathcal {O}}}(\Theta ^3)\) is given by:
5.2.1 Definition of the P-term
Taking into account an explicit form of the gauge variation \(\delta _f A_a\) given by (5.4), the Eqs. (4.41) and (4.42) in case of linear \(\Theta \) become,
and
Again the lower order brackets \(\ell _n(A^n)\) indicate the anzatz
The Eq. (5.11) implies the following relations on the coefficient functions:
Our strategy is to substitute (5.12) in (5.10) and collect the coefficients at the different powers of fields A, modulo the \(A^2\). Starting with a quartic in A contribution, \(A^a\,A^b\,A^c\,A^e\), then cubic in A structures, like \(\varepsilon ^{abm}A_m\,A^c\,A^e\), etc. down to the zero order in A terms like \(\delta ^{ab}\,\delta ^{ce}\). Equating to zero these coefficients we will obtain the system of differential equations on the coefficient functions \(F,\dots ,N\). We stress that there are algebraic relations involving the Levi-Civita tensors \(\varepsilon ^{abc}\) and vector fields \(A^e\) described in the appendix. Using them we will reduce the number of different structures and thus the number of the equations on F, G, etc. These relations guarantee that the resulting system of differential equations is not overfull. The Eq. (5.10) does have the solution.
We start writing a term quartic in A term in the l.h.s. of (5.10):
The cubic in the field A contribution is given by
At this point for the first time we make use of the algebraic relation from the appendix to reduce the number of structures. Namely employing the identity
and setting, \(J=-H\), one rewrites (5.15) as
We stress that now there has appeared the linear in A contribution coming from the cubic ones.
We continue with the quadratic in the fields A terms in the l.h.s. of (5.10),
Using the identity (7.5) from the appendix which we write here for the convenience of the reader,
we rewrite (5.18) as
At this point it is convenient to invert the order. First we will analize the zero order in A contributions in the Eq. (5.10) and only then the linear in the fields A terms. Taking into account the first line of (5.20) the zero order in A terms in the l.h.s. of (5.10) are given by
The significant simplification occurs if we set
In order to the Eq. (5.10) be satisfied the coefficients at the different structures in the l.h.s. should be equal to zero. Thus from (5.21) we get
Equating to zero the coefficient at \(\delta ^{ce}\,A^a\,A^b\) in (5.20) one finds,
Now let us return to the linear in A contributions to the left hand side of the Eq. (5.10). Taking into account (5.17) it can be written as
Here we recall that because of the algebraic identities from the appendix not all structures in the above expression are independent. Now using these identities and previously defined coefficients we will reduce the number of terms in (5.25). First, using (7.4) and (5.23) we get rid of the terms,
substituting them with,
Then we utilize the identity (7.1) to convey the terms,
through the
We use that, \(H=-J=0\), from (5.22), and also notice that due to (5.23) and (5.24) the coefficients K, L and F satisfy the relation,
We conclude that the linear in A contribution to the l.h.s. of the Eq. (5.10) given initially by (5.25) becomes,
Again we set to zero the coefficients in (5.26) and obtain the relations
and
The solution of the Eq. (5.27) with the initial condition, \(F(0)=1\), is
The relation (5.29) defines the function G in terms of previously found ones \(\chi \) and F. The Eq. (5.28) is satisfied as a consequence of the relation (5.29) and the differential Eq. (5.7). The same happens, for exemple, with the equation,
resulting from the quadratic contribution (5.20). To show (5.31) one needs (5.7), (5.23) and (5.27). The careful check shows that the rest of the coefficients also vanishes. We stress that in order to the Eq. (5.10) hold the function \(\chi (t)\) cannot be arbitrary, but necessarily the one which guarantees the condition (3.17), i.e., \([\delta _{f},\delta _g] A =\delta _{\{f,g\} }A.\)
5.2.2 Definition of R-term
Now using (5.4) and (5.12) in (4.48) we obtain after simplification,
where
5.2.3 Comparison to the lower order brackets
As a consistency check let us calculate the first order contributions to the equations of motion. Since
one finds, \(L(0)=M(0)=-1\). Then \(N(0)=2F(0)=2\), and \(S(0)=1/2\), so the first order contribution is given by
which is in the perfect agreement with (5.9). Now,
which results in
The term with the Poisson bracket is exactly the same as in (5.9), but the coefficients at the first two terms are different. However, adding to the (5.37) the algebraic identity (7.2) from the Appendix multiplied by the factor \(-2\),
we arrive exactly to the Eq. (5.9).
5.3 Non-commutative field strength
So far working in 3d we have constructed a vector , which transforms covariantly under the NC gauge transformations (5.4), i.e., . The commutative limit of this vector gives the l.h.s. of the abelian Chern–Simons equations, . Now, using the Levi-Ciivita epsilon we may define the tensor
which also transforms covariantly, , and reproduces in the commutative limit the abelian field strength,
We call this tensor the non-commutative field strength. Its explicit form is given by,
where
Thus, just like in the commutative case, the non-commutative equations of motion, , are satisfied if the non-commutative field strength vanishes everywhere, .
5.4 Action principle
To check whether exist an action S yielding the field equations, , we use the criterium of second variational derivatives. If the equations are Lagrangian, i.e., , then
One may easily check that, for this condition does not hold. In particular, because \(P^{abc}\) given by (5.12) is not an antisymmetric in a and c.
On the other hand, there is a known result about the rigidity of the Chern–Simons action [29], meaning essentially that up to the field redefinition any consistent deformation of the Chern–Simons action is proportional to the trivial one. Thus the absence of the action principle for the Eq. (4.31) means that possibly we obtained here some non-trivial deformation of the Chern–Simons theory.
5.5 Summary of the results
Let us summarise the main results of the Sect. 5. Consider the three dimensional space endowed with the Poisson bracket,
In the Sect. 5.1 we have constructed the non-commutative deformation of the abelian gauge transformation, given by,
where
which close the algebra
The field equations covariant under the gauge transformation (5.43) and reproducing the abelian Chern–Simons equations in the commutative limit were obtained in the Sect. 5.2. An explicit form is,
where
and
and the coefficient functions are determined in (5.22–5.24), (5.29), (5.30) and (5.33) as
The Eq. (5.46) are non-Lagrangian and as in the commutative case are equivalent to the requirement that the non-commutative field strength (5.40) should vanish everywhere. Further physical properties and applications will be discussed elsewhere.
6 Conclusions
To construct the \(\hbox {L}_{\infty }\) structure with given initial terms one has to solve the \(\hbox {L}_{\infty }\) relations, \(\mathcal {J}_n=0\). The key observation we made in this work is that in each given order n there is the consistency condition of the equation, \(\mathcal {J}_n=0\), which is satisfied as a consequence of the previously solved \(\hbox {L}_{\infty }\) relations, \(\mathcal {J}_m=0\), \(m< n\). Using this observation we were able to derive the recurrence relations for the construction of the \(\hbox {L}_{\infty }\) algebra describing the NC deformation of the abelian Chern–Simons theory in the slowly varying field approximation. Using these recurrence relations we made a conjecture regarding the explicit all orders formula for the NC su(2)-like deformation of the gauge transformations \(\delta _f A\) and the corresponding field equations, . The functional coefficients in the proposed ansatz were fixed from the closure conditions of the gauge algebra (3.17) and the requirement of the gauge covariance of the equations of motion (4.26) correspondingly.
We conclude that the problem formulated in the introduction regarding the existence of the solution to the \(\hbox {L}_{\infty }\) bootstrap program has a positive answer. Moreover we were able to find an explicit example of such a solution. Thus we can see that \(\hbox {L}_{\infty }\) algebra is not only a correct mathematical framework to deal with the deformations but also is a powerful tool for the construction of these deformations.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There are no external data associated with the manuscript.]
Notes
These requirements to the star product are justified by the physical applications.
References
S. Doplicher, K. Fredenhagen, J.E. Roberts, The quantum structure of space-time at the Planck scale and quantum fields. Commun. Math. Phys. 172, 187 (1995)
N. Seiberg, E. Witten, String theory and noncommutative geometry. JHEP 9909, 032 (1999)
F. Bayen, M. Flato, C. Fronsdal, A. Lichnerowicz, D. Sternheimer, Quantum mechanics as a deformation of classical mechanics. Lett. Math. Phys. 1, 521 (1977)
C. Hull, R.J. Szabo, Noncommutative gauge theories on D-branes in non-geometric backgrounds. arXiv:1903.04947 [hep-th]
J. Madore, S. Schraml, P. Schupp, J. Wess, Gauge theory on noncommutative spaces. Eur. Phys. J. C 16, 161 (2000)
M. Dimitrijevic, F. Meyer, L. Moller, J. Wess, Gauge theories on the kappa Minkowski space-time. Eur. Phys. J. C 36, 117 (2004)
D.V. Vassilevich, Twist to close. Mod. Phys. Lett. A 21, 1279 (2006)
R.J. Szabo, Symmetry, gravity and noncommutativity. Class. Quant. Gravit. 23, R199 (2006)
R. Blumenhagen, I. Brunner, V. Kupriyanov, D. Lüst, Bootstrapping non-commutative gauge theories from \(\text{ L }_{\infty }\) algebras. JHEP 1805, 097 (2018)
B. Zwiebach, Closed string field theory: quantum action and the B–V master equation. Nucl. Phys. B 390, 33 (1993)
O. Hohm, B. Zwiebach, \(L_{\infty }\) algebras and field theory. Fortsch. Phys. 65(3–4), 1700014 (2017)
B. Jurco, L. Raspollini, C. Saemann, M. Wolf, \(L_{\infty }\)-algebras of classical field theories and the Batalin–Vilkovisky formalism. arXiv:1809.09899 [hep-th]
T. Lada, J. Stasheff, Introduction to SH Lie algebras for physicists. Int. J. Theor. Phys. 32, 1087 (1993)
J. Stasheff, \(L_{\infty }\) and \(A_{\infty }\) structures: then and now. arXiv:1809.02526 [math.QA]
M. Kontsevich, Deformation quantization of Poisson manifolds. 1. Lett. Math. Phys. 66, 157 (2003)
V.G. Kupriyanov, \(L_{\infty }\)-bootstrap approach to non-commutative gauge theories. Fortsch. Phys. https://doi.org/10.1002/prop.201910010. arXiv:1903.02867 [hep-th]
F.A. Berends, G.J.H. Burgers, H. van Dam, On the theoretical problems in constructing interactions involving higher spin massless particles. Nucl. Phys. B 260, 295 (1985)
R. Fulp, T. Lada, J. Stasheff, sh-Lie algebras induced by Gauge transformations. Commun. Math. Phys. 231, 25 (2002)
R. Blumenhagen, M. Brinkmann, V. Kupriyanov, M. Traube, On the uniqueness of \(\text{ L }_{\infty }\) bootstrap: quasi-isomorphisms are Seiberg–Witten maps. J. Math. Phys. 59(12), 123505 (2018)
V.G. Kupriyanov, D.V. Vassilevich, Star products made (somewhat) easier. Eur. Phys. J. C 58, 627–637 (2008)
V.G. Kupriyanov, Recurrence relations for symplectic realization of (quasi)-Poisson structures. J. Phys. A 52(22), 225204 (2019)
D. Luest, E. Malek, E. Plauschinn, M. Syvari, Open-string non-associativity in an R-flux background. arXiv:1903.05581 [hep-th]
A.B. Hammou, M. Lagraa, M.M. Sheikh-Jabbari, Coherent state induced star product on \(R^3_{\lambda }\) and the fuzzy sphere. Phys. Rev. D 66, 025025 (2002)
J.M. Gracia-Bondia, F. Lizzi, G. Marmo, P. Vitale, Infinitely many star products to play with. JHEP 0204, 026 (2002). arXiv:hep-th/0112092
P. Vitale, J.C. Wallet, Noncommutative field theories on \(R^3_{\lambda }\): toward UV/IR mixing freedom. JHEP 1304, 115 (2013)
V. Galikova, S. Kovacik, P. Presnajder, Laplace–Runge–Lenz vector in quantum mechanics in noncommutative space. J. Math. Phys. 54, 122106 (2013)
V.G. Kupriyanov, A hydrogen atom on curved noncommutative space. J. Phys. A 46, 245303 (2013)
V.G. Kupriyanov, P. Vitale, Noncommutative \({\mathbb{R}}^d\) via closed star product. JHEP 1508, 024 (2015)
G. Barnich, M. Henneaux, Consistent couplings between fields with a gauge freedom and deformations of the master equation. Phys. Lett. B 311, 123 (1993)
Acknowledgements
I am grateful to Ralph Blumenhagen for fruitful discussions and to the Max Planck Institute for Physics for hospitality. I am also appreciative to the anonymous referees for the careful reading of the manuscript and valuable suggestions and remarks. This work was supported by the Grant 305372/2016-5 from the Conselho Nacional de Pesquisa (CNPq, Brazil) and the Grant 2019/11475-6 from the Fundação de Amparo á Pesquisa do Estado de São Paulo (FAPESP, Brazil).
Author information
Authors and Affiliations
Corresponding author
Appendix: Important algebraic relations
Appendix: Important algebraic relations
Since we are in 3d, for any vector \(A^e\) one may check that,
The latter reflects the fact that in 3d any totally antisymmetric tensor of rank four vanishes. Contracting the above identity with \(A_e\) we arrive at,
Taking the derivative of (7.2) with respect to \(A_e\) one finds,
Now using (7.1) in (7.3) we end up with
One more identity we need is
It can be obtained from (7.2) contracting it with \(\varepsilon ^{cen}\) and then renaming the indices.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Kupriyanov, V.G. Non-commutative deformation of Chern–Simons theory. Eur. Phys. J. C 80, 42 (2020). https://doi.org/10.1140/epjc/s10052-019-7573-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-7573-y