Documente Academic
Documente Profesional
Documente Cultură
was obtained algebraically so that the stability of gauge where an obvious matrix notation has been introduced.
transformations, This yields the cherished map among the currents valid
up to O. Observe that the derivation is based on
^
^ A^ D^ ?
^ @
^ iA^ ?
^ i
^ ? A^ general gauge transformation properties. The explicit
@
^ @ A^ @
^ O2 ; (2.3) structure of neither J^ nor J needs to be specified. If
any one of these is known, the other is determined
A @
; (2.4) through the map (2.11) or its inverse
^ @ A^ J^ :
J J^ F^ J (2.12)
may be insured by a further map among the gauge pa-
rameters We now present a dynamical treatment which generalizes
^
12 @
A O2 : (2.5) the above results, apart from precisely specifying the
currents.
It may be noted that (2.2) is a consequence of (2.1),
following from the basic definitions B. Dynamical approach
F^ @ A^ @ A^ iA^ ? A^ iA^ ? A^ Let the noncommutative action be defined as
@ A^ @ A^ @ A^ @ A^ O2 (2.6) Z
S ^ ^ 1 d4 xF^ ? F^ S^M ^ ; A
^ A; ^
4
and ^ S^M ^ ; A;
S^ph A ^ (2.13)
F @ A @ A ; (2.7)
where the pure gauge term has been isolated in the
so that, whereas F is gauge invariant, F^ transforms ^ The charged matter fields are
‘‘photonic’’ piece S^ph A.
covariantly under the star gauge transformation, ^
denoted by . Then the equation of motion for A^ is
^
^ F^ iF^ ?
^ i
^ ? F^ S^ph A
^
D^ ? F^ J^ ; (2.14)
@ F^ @
^ O2 : (2.8) A^
The proposed map among the currents J^ and J is where
^
now obtained under the following two conditions: the
S^ ^ ; A
current J is gauge invariant and satisfies the ordinary J^ : M
(2.15)
:
conservation law @ J 0, while the current J^ trans- A^ ^
forms covariantly and satisfies the covariant conservation
Here, thanks to the equation of motion satisfied by ^ , J^
law D^ ? J^ 0. Up to O, the stability under gauge will satisfy the covariant conservation law
transformations is easily attained by mimicking the map
(2.2) among the field tensors, D^ ? J^ 0: (2.16)
J^ J A @ J ; (2.9) This may also be seen by taking the covariant derivative
on both sides of Eq. (2.14). The same equation also shows
where the ellipsis indicates the freedom of adding more that J^ transforms covariantly under the star gauge trans-
terms that are invariant under ordinary gauge transfor- formations. Clearly therefore, this J^ is similar to the one
mations. It is clear that the most general structure is given considered in Sec. II A.
by Now we rewrite the action (2.13) using the SW map to
J^ J A @ J c1 F J obtain a U1 gauge-invariant action defined on commu-
tative space [8,9],2
c2 F J c3 F J ; (2.10)
2
A SW map for the matter sector is also necessary for this
1
Variables in the NC space are distinguished from their transition but its explicit structure is inconsequential for this
conventional counterparts by a caret. analysis.
065015-2
SEIBERG-WITTEN-TYPE MAPS FOR CURRENTS AND . . . PHYSICAL REVIEW D 70 065015
Z
^ A;
S ^ ^ jSW map : Sph A SM ; A; (2.17)
d4 y A y@ A
y
^
A x A x A x
where Sph A contains all terms involving A only and is
1
given by A y@
A y O2 : (2.24)
2 A
y
Z
4 1 1
Sph A d x F F F F F Using this to evaluate the functional derivative in
4 2
Eq. (2.23) immediately leads to Eq. (2.11) where, at an
1 intermediate step, the current conservation (2.22) has
F F F O2 : (2.18)
4 been used.
The map (2.23) is also consistent with the observation,
In fact this action, modulo constant terms, is the expan-
sion of the Born-Infeld action up to order OF3 (with J^ x D^ ? F^
20 1) [1], ^ SW map Z
S^ph A Sph A A y
Z q d4 y
SBI d4 x det F : (2.19) A^ A y A^ x
Z A y
d4 yJ y : (2.25)
Now from Eq. (2.18) the gauge-invariant equation of A^ x
motion is obtained,
It is also clear that the effective (nonlinear) Maxwell
Sph A equation with (gauge-invariant) source J is naturally
J x; (2.20) identified with the expression (2.20). Note, however, that
A x
this is in general different from the stationary condition
where obtained by applying the SW map to an action
Z
SM ; A
1
S^ J d4 x F^ ? F^ A^ ? J^ ; (2.26)
J x : (2.21)
A x 4
although it also leads to the equation of motion (2.14). The
which in general contains -dependent terms. Again, discrepancy arises because the source term in Eq. (2.26) is
thanks to the equation of motion satisfied by , J not gauge invariant under NC U1 gauge transformations
now satisfies the ordinary conservation law,
(with J^ in the adjoint representation) so that the appli-
@ J 0: (2.22) cation of the SW map becomes meaningless. It is only
after the inclusion of the full matter sector that gauge
The same result is also inferred from the gauge invari- invariance is restored, leading to our original action
ance of Eqs. (2.18) and (2.20). This current, therefore, is (2.13).
similar to J introduced in Sec. II A. As another consistency check on the construction
It is now possible to obtain a relation between J^ and (2.23) and (2.25), observe that the latter leads to an
J by noticing that identity if everything is expressed in terms of the gauge
potentials,
^
S^ ^ ; A
SW map Z 4
SM A;
J^ x M
d y
Z Sph A A y
SW map
A^ ^ A y D^ ? F^ d4 y ; (2.27)
A y A^ x
A y SM A; y
^
A x y ^
A A x where
Z A y Sph A 1
d4 yJ y ; (2.23) @ F @ F F
A^ x A 2
1
where the second term in the second line was dropped on @ F F @ F F
4
using the equation of motion for . Equation (2.23)
yields the general form of the map between the currents. @ F F
Although it is displayed for four dimensions, the result is @ F F O2 (2.28)
obviously valid for any dimensions.
As a simple yet nontrivial check, we now reproduce the is obtained from Eq. (2.18). Up to O the left-hand side
O result (2.11), starting from Eq. (2.23). From Eq. (2.1) of Eq. (2.27) can be computed from a direct application of
it follows that the SW map (2.1) and (2.2), leading to
065015-3
RABIN BANERJEE, CHOONKYU LEE, AND HYUN SEOK YANG PHYSICAL REVIEW D 70 065015
SW map
D^ ? F^ @ F A @ @ F W^ W up to the order we are dealing. This shows that
065015-4
SEIBERG-WITTEN-TYPE MAPS FOR CURRENTS AND . . . PHYSICAL REVIEW D 70 065015
malization and using the (star) wedge notation by ordinary products so that, after applying the SW map
(2.2), the anomaly (2.37) reduces to
?F^ ^ ^ F
^ "
F^ ? ? F^
: (2.38)
Up to O the star products involving F^ can be replaced
SW map
D^ ? J^ NF ^ F ^ ^ F nFF ^ F ^ ^ F A @ F ^ ^ F: (2.39)
we then get
SW map
D^ ? J^ NF ^ F ^ ^ F @ A F ^ ^ F: (2.41)
anomaly in the SW deformed theory is deduced, i.e., thereby successful in constructing an anomaly free cur-
@ J NF ^ F ^ ^ F (2.42) rent which however does not transform covariantly. Its
lack of covariance is caused by the X^ term in Eq. (2.45),
which is the expected result. Indeed the fact that the which plays a role analogous to the Chern-Simons three
standard ABJ anomaly is not modified in -expanded form in the usual commutative description.
gauge theory was earlier shown in [14]. (For a mapping
of the gauge-invariant anomaly in either description, see III. ENERGY-MOMENTUM TENSORS AND
[13,15].) It appears, therefore, that our map (2.11) cor- LORENTZ FORCE LAW
rectly incorporates quantum effects.
As another application, it is possible to discuss the shift The problems of defining EM tensors in NC gauge
in the gauge invariance, exactly as happens in the com- theories have been studied by various authors [2 –
mutative case. Although it is possible, as before, to ana- 4,17,18] but the results have not always agreed. In this
lyze in arbitrary dimensions, we confine to d 4 where section a systematic presentation is done which naturally
the usual ABJ anomaly is leads to a map among these tensors in the different (NC
and commutative) descriptions. A fallout of the analysis
1
@ J "
F F
: (2.43) is the Lorentz force law in NC space. As usual, the
162 Lorentz force is identified through considering the 4-
Defining a modified current as divergence of the electromagnetic EM tensor.
To define a manifestly symmetric electromagnetic EM
1
J~ J 2 "
A F
(2.44) tensor on NC space, the NC gauge fields are formally
8 coupled to a weak external gravitational field
leads to an anomaly free @ J~ 0 but gauge noninvar- 1 Z 4 p
iant current [16]. To do a similar thing for the NC case, S^ g^ d x g^ ? g^
? g^ ? F^ ? F^
: (3.1)
4
rewrite the map (2.11) by replacing J in favor of J~ . The
J~ independent terms are then moved to the other side The EM tensor is defined as
and a new J~^ is defined as
^ 2 S^ g^
T p : (3.2)
J^~ J^ X^ A;
^
(2.45) g^ g^
g^
Note that all A -dependent terms lumped in X^ can be T^ 12F^
? F^
F^
? F^
14 F^
? F^
: (3.3)
recast in terms of A^ using the SW map. Since Eq. (2.46) This tensor is both symmetric and traceless. However it is
is structurally identical to Eq. (2.11), a relation akin to not star gauge invariant. Rather, it is star gauge covariant.
Eq. (2.36) follows: Expectedly, a covariant conservation law holds,
D^ ? J~^ @ J~ @ A @ J~ :
(2.47) D^ ? T^ 0 (3.4)
065015-5
RABIN BANERJEE, CHOONKYU LEE, AND HYUN SEOK YANG PHYSICAL REVIEW D 70 065015
which follows on using the source-free equation of mo- gauge transformations [19]. Explicitly, acting the genera-
tion [see Eq. (2.14)] and the (NC) Bianchi identity tor
D^ ? F^
D^ ? F^
D^
? F^ 0: (3.5) 1Z 4 ^
W^ T d x F ? ? F^ (3.7)
Now the EM tensor T in commutative space is gauge 2 A^ A^
invariant and satisfies the ordinary conservation law.
From an algebraic point of view, therefore, T^ and T on the flat NC action S^flat gives rise to
(for each given ) simulate exactly the roles of the sources Z
J^ and J . It is not unreasonable to expect that the EM W^ T S^ flat
d4 xD^ ? T^
tensors also satisfy a map analogous to Eq. (2.11), i.e., up Z
to O, 1
d xD ? F^
? F^
F^
? F^
4 ^
2
T^ T FT @ A T : (3.6)
1
We now prove that this is indeed so, simultaneously fixing F^
? F^
; (3.8)
4
the structure of T .
Before proceeding further it may be pointed out that where we have used the identity (3.5).
Eq. (3.3) also follows from a Noether procedure involving Now expanding the EM tensor in Eq. (3.3) up to the
the combination of translations with field dependent leading order in , by using Eq. (2.2), yields
^ 1 1 1
T jSW map 1 F F F F2 F FF2 TrFF2
2 2
2 4 2
1
@ A F2 F2
4
1 1
1 F F
F2 F2 FF F2
F
Lph F3
2 4
1
F F2 @ A T0
4
F
Lph FT 0 @ A T
0 ; (3.9)
where Lph is the Lagrangian density for nonlinear pho- where Sph is defined in Eq. (2.18), so that we find
0
tons read off from Eq. (2.18) and T is the EM tensor for
0, T
F Lph : (3.14)
0 F2
T 1
4 F
2 (3.10) Using the free field equation of motion @ 0
[which follows from Eq. (2.33) by setting J 0] and
while is the generalized canonical momenta as
defined by @Lph
@ Lph @ @ A
0; (3.15)
@@ A
@Lph
@@ A it is easy to see that
1 1 @ T 0: (3.16)
1 F F F2
2 4
Since this EM tensor was obtained from the commutative
F2 FF F2 : (3.11) equivalent of the NC theory, it is the one that should be
The EM tensor in the commutative picture is likewise used in the map. Furthermore it is reassuring to note that
obtained from the operator analogous to that in Eq. (3.7), T is both gauge invariant and conserved, exactly as
desired. Now T 0 in Eq. (3.10) and T in Eq. (3.14)
i.e., using the generator [19]
Z differ by terms of O, so that Eq. (3.9) may be cast
precisely in the form (3.6). This completes the derivation,
WT d4 xF ; (3.12)
A up to O, of the map between the EM tensors. Note that
and the relation T appearing in the map is neither symmetric nor trace-
less. This is due to the fact that Lorentz and classical
Z
WT Sph d4 x@ T ; (3.13) conformal invariance are broken in NC electrodynamics
[9].
065015-6
SEIBERG-WITTEN-TYPE MAPS FOR CURRENTS AND . . . PHYSICAL REVIEW D 70 065015
Inclusion of sources does not pose any problem. The show that the deformation of Lorentz force law was
structures of the relevant electromagnetic EM tensors consistent in the sense that enforcing this law in the
remain the same, but the conservation laws in Eqs. (3.4) commutative picture automatically enforced it in the
and (3.16) are modified leading to the respective Lorentz NC picture.
force laws. Despite the different methods and different variables
Starting from Eq. (3.3) and using the equation of (e.g., currents, EM tensors, etc.) used, a universal struc-
motion (2.14) together with the Bianchi identity (3.5) ture seemed to emerge in the various maps, at least to
immediately yields the NC generalization of the O. This reinforces the role of gauge transformations in
Lorentz force law mapping variables in NC gauge theories with their com-
mutative equivalents.
D^ ? T^ 12J^ ? F^ F^ ? J^ : (3.17) As yet another manifestation of this universality, we
Similarly, the corresponding law in the commutative discuss, for the special case of two dimensions, a
picture emerges by considering the equation of motion Sugawara-type construction where EM tensors are ex-
(2.20) and takes the form pressed in terms of currents. In two dimensions the NC
parameter " really transforms as a Lorentz
@ T J F : (3.18) tensor so that invariances or symmetries not valid in
higher dimensions may be restored in this case. This leads
As a consistency of the whole program, we show that the
to a viability of alternative formulations where the EM
deformation in the Lorentz force law as given by
tensor is symmetric. It may be recalled that even in
Eq. (3.17) is compatible with Eq. (3.18). Using the ex-
commutative field theory, two dimensions play a special
pressions for the various maps, it turns out that, up to
role with properties like exact solvability, bosonization,
O,
etc.
D^ ? T^ jSW map @ T @ A @ T (3.19) We begin with the commutative theory. Here it is
known [20] that the EM tensor of a conformally invariant
and theory is expressed solely in terms of the currents,
1 ^
? F^ F^ ? J^ jSW map
2 J T J J J J J
J
(4.1)
J F @ A J F : (3.20) 2
which is referred to as the Sugawara form. Then, in the
Adding them together yields,
NC theory context, we may consider a natural noncom-
D^ ? T^ 12J^ ? F^ F^ ? J^ SW map mutative generalization of this form, i.e.,
@ T J F @ A @ T J F :
T^ J^ ? J^ J^ ? J^ J^
? J^
: (4.2)
(3.21) 2
Now the EM tensor of the commutative equivalent of this
It is now clear that Eq. (3.18) implies Eq. (3.17).
NC theory can be obtained using our map (3.6), together
Incidentally Eq. (3.19) is the exact analog of Eq. (2.36)
with the current map (2.11). A surprise is that, for this EM
that maps the source divergence.
tensor, we find back the form (4.1); but, of course, J can
contain -dependent corrections here. This is demon-
IV. DISCUSSION strated below.
Expanding the star product in Eq. (4.2) yields
We have provided a Seiberg-Witten–like map relating
the sources in the noncommutative and commutative
T^ J^ J^ J^ J^ J^
J^
descriptions. With its help, a commutative equivalent of 2
NC electrodynamics with sources was formulated. i
@ J^ @ J^ @ J^ @ J^ : (4.3)
Consistent results were obtained by applying the map 4
either on the action or on the equations of motion. In the second parentheses, the NC variable can be re-
Although the map could, in principle, be worked to higher placed by the commutative one, since the analysis is done
orders in (the NC parameter), for reasons of compact- up to O. Then it can be expressed as a commutator
ness O results were explicitly analyzed. In this regime @ @ J ; J 3 which vanishes from symmetry argu-
the map was also used to relate the star gauge covariant ments. Now inserting the map (2.11) in Eq. (4.3) leads to
anomaly in the NC theory with the gauge-invariant ABJ
anomaly in the -deformed theory. 3
Our methods were then extended to reveal a mapping Actually all products of currents have to be properly inter-
preted by a point-splitting regularization [20] in which case
among the EM tensors in the two descriptions. In the J x; J y is just a function of x y. Indeed, to give a
presence of sources, the NC generalization of the Lorentz definite meaning to the Sugawara construction, such a pre-
force law was derived. The various maps were used to scription is implicitly assumed.
065015-7
RABIN BANERJEE, CHOONKYU LEE, AND HYUN SEOK YANG PHYSICAL REVIEW D 70 065015
T^ T order terms; (4.4) Finally, from a general point of view, we end with the
following remarks: the fact that anomalies could be re-
where T is defined in Eq. (4.1). After a slightly lengthy lated (Sec. II C) strongly suggests the feasibility of ob-
algebra, we get taining SW-type maps for effective actions. These would
find an obvious application of connecting consistent as
T^ T 2FT F T A @ T :
well as covariant anomalies for UN gauge theories in
(4.5) the two descriptions. Presumably trace anomalies related
Using the identity to the EM tensors could also be discussed within this
formulation. These topics are left for the future.
FT F T 12 F T ; (4.6)
Eq. (4.5) then reduces to ACKNOWLEDGMENTS
[1] N. Seiberg and E. Witten, J. High Energy Phys. 09 (1999) [11] S. Fidanza, J. High Energy Phys. 06 (2002) 016.
032. [12] J. M. Gracia-Bondia and C. P. Martin, Phys. Lett. B 479,
[2] S. I. Kruglov, Ann. Fond. Louis Broglie 27, 343 (2002). 321 (2000); F. Ardalan and N. Sadooghi, Int. J. Mod.
[3] J. M. Grimstrup, B. Kloibock, L. Popp, V. Putz, M. Phys. A 16, 3151 (2001).
Schweda, and M. Wickenhauser, hep-th/0210288. [13] R. Banerjee, Int. J. Mod. Phys. A 19, 613 (2004).
[4] A. Das and J. Frenkel, Phys. Rev. D 67, 067701 (2003). [14] F. Brandt, C. P. Martin, and F. Ruiz Ruiz, J. High Energy
[5] S. L. Adler, Phys. Rev. 177, 2426 (1969); J. S. Bell and R. Phys. 07 (2003) 068.
Jackiw, Nuovo Cimento A 60, 47 (1969). [15] R. Banerjee and S. Ghosh, Phys. Lett. B 533, 162
[6] J. Madore, S. Schraml, P. Schupp, and J. Wess, Eur. Phys. (2002).
J. C 16, 161 (2000). [16] W. A. Bardeen, Phys. Rev. 184, 1848 (1969).
[7] B. Jurčo, L. Möller, S. Schraml, P. Schupp, and J. Wess, [17] M. Abou-Zeid and H. Dorn, Phys. Lett. B 514, 183 (2001).
Eur. Phys. J. C 21, 383 (2001). [18] S. Ghosh, hep-th/0310155.
[8] A. A. Bichl, J. M. Grimstrup, L. Popp, M. Schweda, and [19] R. Jackiw, Phys. Rev. Lett. 41, 1635 (1978); R. Jackiw and
R. Wulkenhaar, hep-th/0102103. S.-Y. Pi, Phys. Rev. Lett. 88, 111603 (2002).
[9] S. M. Carroll, J. A. Harvey, V. A. Kostelecký, C. D. Lane, [20] E. Abdalla, M. C. B. Abdalla, and K. D. Rothe, Non-
and T. Okamoto, Phys. Rev. Lett. 87, 141601 (2001). perturbative Methods in 2 Dimensional Quantum Field
[10] T. Asakawa and I. Kishimoto, J. High Energy Phys. 11 Theory (World Scientific, Singapore, 2001), 2nd ed.
(1999) 024.
065015-8