Abstract
We show that there are one-loop IR singularities arising from UV/IR mixing in noncommutative SU(N) Yang–Mills theory defined by means of the \(\theta \)-exact Seiberg–Witten map. This is in spite of the fact that there are no ordinary U(1) gauge fields in the theory and this is at variance with the noncommutative U(N) case, where the two-point part of the effective action involving the ordinary SU(N) fields do not suffer from those one-loop IR singularities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Underlying mathematical structures [1,2,3,4,5,6,7] in the noncommutative (NC) quantum field theories (NCQFT) lead to observable consequences for the low energy physics, realised first by the perturbative loop computation proposed by Filk [8]. Second is famous example of running of the coupling constant in the U(1) NCGFT in the star(\(\star \))-product formalism [9].
Since commutative gauge symmetry and its deformed noncommutative gauge symmetry suppose describe the same physical system – open strings ending on a stack of Dp-branes with a constant magnetic field on it –, therefore they are expected to be equivalent. However due to the NC spacetime there are number of principal problems: Commutative local gauge transformations for the D-brane effective action do not commute with \(\star \)-products. Also it is important to note that the introduction of \(\star \)-products induces field operator ordering ambiguities and breaks ordinary gauge invariance in the naive sense, as well as there is also a question of the charge quantisation.
The problems above were solved by celebrated Seiberg–Witten (SW) maps [10] between ordinary and the noncommutative quantities/fields. SW map promote not only the noncommutative fields and composite nonlocal operators of the commutative fields, but also the NC gauge transformations as the composite operators of the commutative gauge fields and gauge transformations [11,12,13,14,15,16,17,18,19]. This method, referred as SW map or enveloping algebra approach avoids both the gauge group and the charge quantization problem issues [18]. Thus the NC deformed QFT’s can be defined for arbitrary gauge group representations [17], and building semi-realistic NC deformed particle physics models are made easier.
One of the particularly intriguing quantum effect of the spacetime noncommutativity is the exhibition of fascinating dynamics due to the ultraviolet/infrared phenomenon, named as the UV/IR mixing, an interrelation between short and long distance scales absent in ordinary quantum field theory, in which the ultraviolet and infrared degrees of freedom are mixed in a way similar to what is expected to happen in a theory of Quantum Gravity. In NC theory without SW maps [20,21,22,23,24,25,26,27,28,29,30,31] it was shown for the first time how UV short distance effects, could alter the IR dynamics, thus becoming known as the celebrated UV/IR mixing. With the SW map included [32,33,34,35,36,37] we have found the same UV/IR property. Note here that UV/IR mixing shows up also in the NC deformation parameter exact Scalar \(\phi ^4\) theories, and on the \(\kappa \)-Minkowski and Snyder manifolds, respectively [38,39,40,41].
UV/IR mixing as an important quantum effect, connects the noncommutative field theories with holography in a model-independent way [42, 43].
Using the weak gravity conjecture (WGC) [44, 45] and scalar fields results from [46], the very notion of UV/IR mixing was implemented into the idea of scalar fields WGC in the recent Lüst and Palti article [47]; it manifests itself as a form of hierarchical UV/IR mixing and is tied to the interaction between the weak gravity conjecture and nonlocal (possibly noncommutative) gauge operators. Namely in the scalar field theory, the mass of the scalar is far from ultra-violet scale. Thus the form of hierarchical UV/IR mixing restricts the mass of the scalar field to a IR scale deep below the UV scale which is associated to quantum gravity. Additionally one can think about naturalness of the scalar mass in a way that the UV physics knows nothing about the theory in the deep IR. So instead of introducing the higher dimensions and new symmetries one might hope that connecting the deep-low IR and far-high UV could solve the naturalness problem [48, 49].
In the literature, all above notions with UV/IR mixing connections are considered as possible windows to Quantum Gravity.
A chief characteristic of noncommutative U(N) theory is that only the U(1) part of the two-point function for the gauge field exhibits UV/IR mixing at the one-loop level. Indeed, the SU(N) part of that two-point function does not get any contribution from one-loop nonplanar diagrams. This raises the question of whether noncommutative SU(N) gauge theories experience this UV/IR mixing, for there is by construction no fundamental U(1) degrees of freedom in them. The purpose of this paper is to answer this question, which as we shall see demands to carry out lengthy computations. Let us recall that to formulate Yang–Mills theories on noncommutative spacetime for arbitrary gauge groups in arbitrary representations one has to use the noncommutative framework put forward in Refs. [2, 4, 50, 51]. In this formalism the noncommutative gauge fields and noncommutative gauge transformations are defined solely in terms of the ordinary counterparts by using the Seiberg–Witten map, which in this case take values in the universal enveloping algebra of the Lie algebra of the gauge group. Thus, any – unitary – representation of the Lie algebra is admissible; but, then, one needs to address the problem of too many degrees of freedom, since all coefficient functions of the monomials in the generators could a priori be physical fields. The solution furnished in [2, 4, 15] is that those coefficient fields are not all independent: they are functions of the correct number of ordinary gauge fields via SW maps. Thus, for semisimple Lie algebras, no fundamental U(1) degrees of freedom occur in the noncommutative gauge theory. That the Seiberg–Witten map in question exists for any compact gauge group – for SU(N), in particular – in any representation has been shown in Ref. [15] by using BRST techniques, thus proving that the Seiberg–Witten exists not only for the U(N) group in the fundamental, antifundamental or bifundamental representations. The noncommutative Yang–Mills action for arbitrary compact gauge groups has been introduced in Refs. [2, 4, 50, 51] and fully studied in Ref. [15]. It is by using so-called enveloping algebra formalism that we have just mentioned that the noncommutative Yang–Mills theory for SU(N) in the fundamental representation is formulated – see Ref. [50] – without the need of introducing the interacting U(1) fundamental degrees of freedom which occur in the noncommutative U(N) case.
Using the enveloping algebra formalism we have just made discussed, the background-field and path integral methods, from the classical Yang–Mills (YM) action we shall first construct the BRST exact noncommutative effective action \(S_{BRSTexact}\), with the NC fields spanned on the Moyal manifold and being expressed in terms of ordinary YM fields by means of \(\theta \)-exact SW maps. Let stress that the quantization of the theory will be carried out by integrating in the path integral over the ordinary SU(N) gauge fields and ghosts – this is the SU(N) analogue of quantization method successfully used in [35, 36, 52] for the U(1) case. Then, we investigate the UV/IR mixing phenomena in the gauge sector and for a Dirac fermions in the fundamental representation of SU(N). Finally we have to state clearly that this theory is not really the pure Moyal NCYM, but a class of Moyal deformed gauge theory which is different, and not yet completely understood.
This article is on the line of our previous works [52,53,54,55], and it is organized as follows. In the next section we introduce classical and the background-field effective actions. We compute one-loop two-point functions by using DeWitt method [56,57,58,59] and in Sect. 3 prove existence of the gauge independent UV/IR mixing phenomena. Section 4 is devoted to the fundamental Dirac fermions in the framework of the noncommutative QCD. Conclusion is given in Sect. 5, while details of \(\theta \)-exact SW maps for all relevant fields and details of divergent integral solutions are given in Appendices A and B, respectively.
2 The classical action and the background-field effective action
Let \(a_\mu =a^a_{\mu }\,T^a\), in terms of component fields \(a^a_\mu \), be an ordinary gauge field, with \(T^a\) being the generators of SU(N) in the fundamental representation, normalized so that \(\hbox {Tr}(T^a T^b)=\delta ^{ab}\). The symbol \(A_{\mu }\) will denote the noncommutative gauge field defined in terms of the previous SU(N) ordinary gauge field \(a_\mu \) by means of the Seiberg–Witten map [10].
The classical action, \(S_{cl}[A]\), of our noncommutative SU(N) YM theory reads
where \(F_{\mu \nu }[A(a_{\lambda })]=\partial _{\mu } A_{\nu }(a_{\lambda })-\partial _{\nu } A_{\mu }(a_{\lambda })-i g [ A_{\mu }(a_{\lambda }), A_{\nu }(a_{\lambda })]_{\star }\),Footnote 1 with star(\(\star \))-product being the Moyal–Weyl one, and self-evident notations for \(\star \)-commutator. Important to note is that the dynamical field variable in \(S_{cl}[A(a_{\lambda })]\) is \(a_\lambda \). For details of SW maps see Appendix A.
To quantize the classical theory whose action is, \(S_{cl}[A(a_{\lambda })]\), in (1), we shall use the background field method [29] and, thus, we shall split \(a_{\mu }\) as follows
where \(b_{\mu }=b^a_{\mu }\, T^a\) denotes the background field and \(q_{\mu }=q^a_{\mu }\, T^a\) stands for the quantum field – the field to be integrated over in the path integral.
Since the noncommutative gauge field, \(A_{\mu }\), is a function of \(a_{\mu }\) – \(A_{\mu }=A_{\mu }(a_{\lambda })\) –, the splitting in (2) gives rise to the following splitting of \(A_{\mu }\)
Notice that \(A_{\mu }(b+q)\) is obtained from \(A_{\mu }(a_{\lambda })\) by replacing \(a_\mu \) with \(b_{\mu }\,+\,q_{\mu }\) in it. Obviously, \(B_{\mu }(b)\) is given by the Seiberg–Witten map applied to the ordinary SU(N) gauge field \(b_\mu \). Mark that \(Q_{\mu }(b,q)\) is a function of both \(b_\mu \) and \(q_\mu \).
The background field effective action \(\varGamma [b]\) is given by the following equation
with
Classical action, \(S_{cl}[A(b+q)]\), is defined in (1) and \(S_{BRSTexact}\) stands for the gauge-fixing terms including the ghost’s contributions. To render the sum \(S_{cl}[A(b+q)]+ S_{gf+gh}\) as simple as possible we shall choose the following Feynman type of gauge fixing (\(S_{gf}\)) and ghost (\(S_{gh}\)) actions sum \(S_{gf+gh}\)
where s denotes de ordinary BRST operator, and \(\bar{C}=\bar{C}^a\, T^a\) is the antighost, while \(F=F^a\,T^a\) Lautrup–Nakanishi auxiliary field. As noted the \(S_{BRSTexact}\) is BRST-exact.
The BRST operator s acts on the ordinary and noncommutative fields, respectively,
with \(c= c^a\, T^a\) denoting ordinary ghost field. The notion of Seiberg–Witten map implies the action of s on the noncommutative fields \(B_\mu (b)\), \(Q_\mu (b,q)\) and \(C(b+q,c)\) is the following
where \(s_{NC}\) is the noncommutative BRST operator whose action on the noncommutative field thus runs as follows
By construction, we also have \( s_{NC} \bar{C}= s \bar{C} = F\) and \(s_{NC} F=s F=0\).
Using the definitions above, one gets
3 The two-point contribution to the effective action at one-loop
The final purpose of this section is the computation of one-loop contribution to the effective action \(\varGamma [b]\), which has been defined in (4). We shall begin by expanding in powers of \(q_\mu \) and \(b_\mu \) the action, \(\mathcal{S}\), in (5) and, then, dropping the terms with more than two \(b_\mu \)’s and more than two g’s – g being the coupling constant.
3.1 Removing \(O(g^3)\) terms from the path integral
Let us first integrate out the field \(F^a\) in the path integral in (4) by taking advantage of (10). Thus, one obtains
where S is the sum
while actions \(S_{gf}\) and \(S_{gh}\) being given by
To obtain above \(S_{gf}\) we have to use the following SU(N) generators identity
We start with definitions
where the Seiberg–Witten maps \(Q_\mu (b,q)\) and C(b, q) are fully discussed in Appendix A – see (A.4) and (A.6). Next, in the path integral (11), we shall make the following variable change
for thus we shall remove from the path integral the lengthy interaction terms due to contributions to the classical action coming from the SU(N) part – see (A.7) – of the Seiberg–Witten maps \(Q_\mu (b,q)\) and C(b, q) when expressed as functions of \(q_\mu \). This is a much welcome simplification since, as we shall see below, we will still have to deal with the interaction terms the U(1) part of the former Seiberg–Witten maps introduce. Notice that the Jacobian of this transformation is trivial in Dimensional Regularization, since all the momentum integrals it involves vanish – for details see [54].
Now, let \(\varGamma _2 [b]\) be the two-point contribution to \(\varGamma [b]\) in (11). The change of variables (16) and the use of (A.13) and (A.15) from Appendix A, after some laborious algebra, leads to
where
and
with self-evident notations for equations of motions (eom), and \(\star \)-anticommutator. Notice that \(S_2\) and \(S_{2gh}\) only involve the U(1) part of the Seiberg–Witten maps \(Q_\mu (b,q)\) and C(b, c) as defined in (A.4) and (A.6): the SU(N) parts of those maps have been disposed of by introducing the SU(N) fields \(\tilde{q}\) and \(\tilde{c}\) – see (A.13) and (A.15) in Appendix A.
Now, let \(p^\mu \) and \(q^\mu \) be two arbitrary vectors. We shall use the following notation
Then, \(\hat{A}^{(2)\,0}_\nu (b,\tilde{q})\), \(\hat{A}^{(2)}_\nu (b,b)\), \(\hat{A}^{(2)}_\mu (\tilde{q},\tilde{q})\), \(\hat{A}^{(3)}_\mu (\tilde{q},\tilde{q},b)\), \(\hat{A}^{(2)}_\nu (\hat{A}^{(2)\,a}(\tilde{q},b)T^a,\tilde{q})\) and \(C^{(2)\,0}(\tilde{c},b)\), are given by the following expressions:
3.2 The one-loop contribution to the two-point function
By evaluating the order \(g^2\) contribution to the right hand side of Eq. (17), we shall obtain the one-loop contribution to \(\varGamma _2[b]\), the two-point bit of the effective action. The result that we obtained, with help of integral basis given in Appendix B and [52, 60], runs thus
where \(\varGamma _2[b]^{(eom0)}\), which obviously vanishes upon imposing the equations of motion, contains all the contributions on which integral
in (4), is involved. That is, \(\varGamma _2[b]^{(eom0)}\) is the sum of all the contributions which involve either \(S_{1eom}\) or \(S_{2oem}\) from (17), and it is given by the following long expression
Note that \(f_{\mu \nu }(-p)=i(p_\mu b_\nu (-p)-p_\nu b_\mu (-p))\). \(\mathcal{B}_1\), \(\mathcal{C}_1\), \(\mathcal{C}_2\), \(\mathcal{C}_4\), \(\tilde{\mathcal{A}}\), \(\tilde{\mathcal{B}}_1\), \(\tilde{\mathcal{C}}_1\), \(\tilde{\mathcal{C}}_2\) and \(\tilde{\mathcal{C}}_4\) in (25) read thus:
3.3 Gauge independent UV/IR mixing
It is plane that \(\varGamma _{2}[b]\) in (23) develops, as a result of UV/IR mixing, IR divergences in the region where \(\tilde{p}^\mu =0\) and that these divergences do not survive the large N limit. And yet, \(\varGamma _{2}[b]\) is a gauge-fixing dependent quantity so one may ask whether all these IR singularities are gauge-fixing artifacts. We shall answer this question by putting the background field \(b_\mu \) on shell so that our \(\varGamma _{2}[b]\) will boil down to the 2-point on-shell DeWitt effective action [56,57,58,59], for we are computing radiative corrections at order \(g^2\). It is known that on-shell DeWitt effective action is a gauge-fixing independent object.
Since we are working at order \(g^2\), we only demand the \(b_\mu \) be a solution, \(b^{(0)}_\mu \), to the free equation of motion to put \(b_\mu \) on-shell:
Now, any solution to (27) is of the form
where \(\alpha (x)\) is an arbitrary function taking values in the Lie algebra of SU(N) and \(b^{\bot }_\mu (x)\) is such that
Let us replace \(b_\mu \) in (23) with \(b^{(0)}_\mu (x)\) in (28) to obtain the 2-point on-shell effective action [56,57,58,59]:
Notice that \(b^{\bot }_{\mu }(p)\) above is the Fourier transform of the \(b^{\bot }_{\mu }(x)\) satisfying the conditions in (29) and that is related to \(b^{\bot }_{\mu }(p)\) by a gauge transformation. Notice that the right-hand side of Eq. (30) is invariant under arbitrary on-shell gauge transformations. The latter as defined thus
Finally, \(\varGamma _2[b^{(0)}]\) above develops quadratic IR singularity, in the limit \(\tilde{p}^\mu \rightarrow 0\), that is given by
which goes away in the large N limit.
Note that obtained (32) has completely different Lie algebra structure with respect to the famous IR singularity in the one-loop two-point function of the ordinary gauge field of noncommutative U(N) case [26],
3.4 The UV/IR mixing phenomenon
Let us show now that the IR singularity in (32) which occur when \(\tilde{p}^\mu =0\) is a consequence of the UV/IR mixing phenomenon and not the result of the Seiberg–Witten maps in (22) having denominators which vanish for specific values of the momenta. We shall display below each and everyone of the contributions to the path integral in (17) which yield (30).
Let us begin with the following definition
where \(S_0\) and \(S_{0gh}\) are given in (18) and (20), respectively. Then,
gives rise to the following contribution
with \(D=4+2\epsilon \). Now the factor
tends to a constant as \(k\tilde{p}\) goes to zero. Hence, the singularity at \(\tilde{p}^2=0\) of the right hand side of (36) is a consequence of the fact that, when \(\tilde{p}^\mu \ne 0\) in the integral over k exponentials \(e^{\pm ik\tilde{p}}\) kills the UV divergent behaviour of the rest of the integrand, rendering a finite result. Of course, these UV divergent behaviour resurfaces in the form of a IR divergence as \(\tilde{p}^2\rightarrow 0\). This is precisely celebrated UV/IR mixing of the U(N) noncommutative gauge field theories, discovered first in [21,22,23,24,25, 27].
The contribution to (30) coming from
reads
In the above Eq. (39) we meet the very same type of loop integral – the integral over k –, so the IR divergent behaviour as \(\tilde{p}^\mu \) goes to zero that occurs on the right hand side of (39) has the UV/IR mixing origin that we discuss in the paragraph below (36).
Let us now deal with
It can be shown that the previous expression is equal to
Notice that
approaches zero as \(\tilde{p}^\mu \) goes to zero. Hence, the vanishing, when \(\tilde{p}^\mu \rightarrow 0\), of the denominator of the integral over k in (41) has no bearing on the IR divergence at \(\tilde{p}^\mu =0\) that occurs on the right hand side of (41). Indeed, again, this IR divergence at \(\tilde{p}^\mu =0\) occurs as a consequence of the fact that \(e^{\pm ik\tilde{p}}\) cuts-off the UV divergent behaviour of the integral over k we have just mentioned: clearly here \(\tilde{p}\) acts as a cut-off giving rise to the UV/IR mixing phenomenon.
The loop integral – the integral over k – which occurs in (41) is also the only responsible for the IR singularity at \(\tilde{p}^\mu =0\) of the following contributions to \(\varGamma _2[b^{(0)}]\) in (30):
There remains to discuss the origin of the singularity at \(\tilde{p}^\mu =0\) of the following contributions to \(\varGamma _2[b^{(0)}]\) in (30):
The singular behaviour at \(\tilde{p}^\mu =0\) in the expression above comes uniquely from various types of integrals over k, all being given in Appendix B:
The UV/IR mixing phenomenon that the latter integrals bring about has been amply discussed in the literature already [21, 22]. Notice that one obtains (30) by adding the right hand sides of (36), (39), (41), (43) and (44).
Some final comments are in order. The U(1) part of the Seiberg–Witten map \(Q_\mu (b,q)\) as defined in (A.7), contributes to the singularity at \(\tilde{p}_\mu =0\) due to UV/IR mixing – see (36–43). The UV/IR mixing effect the SU(N) bit of \(Q_\mu (b,q)\) which is involved in, is obtained by using the field \(\tilde{q}_\mu \), – see (44).
4 Adding Dirac fermions in the fundamental: noncommutative QCD
We shall show in this section that the inclusion of a Dirac fermion transforming under the fundamental representation of SU(N) does not change the one-loop IR singular behaviour of the two point function of \(b_\mu (x)\), \(\varGamma _2[b]\), that we have unveiled in the previous section.
Let \(\psi (x)=\psi _j(x)\), \(j=1,\ldots ,N\) – the SU(N) index, be an ordinary Dirac fermion transforming under the fundamental representation of SU(N). Let \(\varPsi (x)=\varPsi (a,\psi )_j(x)\), with \(a_\mu (x)=b_\mu (x)+q_\mu (x)\), be the noncommutative fermion field obtained from ordinary fields \(\psi _j(x)\) by using the Seiberg–Witten map. Then the classical action \(S_{Dirac}\), of \(\varPsi (a,\psi )_j(x)\) coupled to the noncommutative gauge field \(A_\mu (x)=B_\mu (b)(x)+Q_\mu (b,q)(x)\), reads
where \(\bar{\varPsi }(a,\psi )\) is the Dirac conjugate of \(\varPsi (x)\), and .
The one-loop contribution, \(\varGamma _{Dirac}[b]\), to the background field effective action \(\varGamma [b]\) due to the noncommutative Dirac field \(\varPsi (a,\psi )\) is given by the path integral with respect to the ordinary fields \(\psi ,\;\bar{\psi }\)
Now, since \(\varPsi (a,\psi )_j\) is a four component spinor, one can make the following change of variables
in the path integral (47) and obtain:
where \(J_F(b)\) and \(\bar{J}_F(b)\) are the appropriate Jacobians:
As with the Seiberg–Witten map for the gauge field, a SW map defining the noncommutative field \(\varPsi (b,\psi )\) can be obtained by solving the following “evolution” problem:
where \(B_\mu (b,t)\) is given by the “evolution” equation discussed in Appendix A.
The “evolution” problem in (51) can be solved by expanding in powers of g – see Ref. [17] for details – so that one may show that
It can be seen that \(\mathcal{F}^{\mu _1\mu _2\cdot \mu _{n-1}}(p_1,p_2,\ldots ,p_{n-1};p_n;\theta )\) in (52) is a linear combination of functions of the type
where \(\mathcal{P}(p_1,\ldots ,p_n)\) is a polynomial of the momenta \(p_i\)’s and \(\mathcal{Q}(p_i\wedge p_j)\) only depends on \(p_i\wedge p_j=p_{\mu \,i}\theta ^{\mu \nu }p_{\nu \,j}\), \(i,j=1,\ldots ,n\). This fact leads to the conclusion that all the loop integrals involved in the evaluation of
vanish in dimensional regularization, and, hence,
The detailed derivation of (55) is analogous to the one carried out in Appendices B and C of Ref. [54].
Clearly, in dimensional regularization we also have
Let us introduce the following notation:
Substituting (55) and (56) in (49), one readily obtains, in dimensional regularization, the following one-loop result
where
From (59) we draw the conclusion that the full one-loop \(\varGamma _{Dirac}[b]\) in (47) lacks any singular behaviour when any of the momenta \(\tilde{p}^\mu _i=\theta ^{\mu \nu }\tilde{p}_{\nu \,i}\) vanishes \(\forall i\).
Finally, it is plain that (58) and (59) hold whatever the gauge group and representation provided the noncommutative Dirac field transforms as follows
under infinitesimal noncommutative gauge transformations defined by \(\varOmega (b,\omega )\), while \(\omega (x)\) defines the infinitesimal ordinary gauge transformations.
5 Conclusions and outlook
The main conclusion of this paper is that noncommutative SU(N) defined by means of the \(\theta \)-exact Seiberg–Witten map has a two-point function for the gauge field that exhibits UV/IR mixing at the one-loop, in spite of the fact that there are no fundamental U(1) degrees of freedom. This is at odds with the noncommutative U(N) case where it is only the U(1) part of the one-loop two-point function for the ordinary gauge field the one which is affected by the famous UV/IR mixing. Indeed, in the noncommutative U(N) case the famous noncommutative IR singularity in the one-loop two-point function of the ordinary gauge field reads [26]
In Appendix C, we re-derive the above formula using the enveloping algebra approach together with the background field and the path integral methods employed in our recent works [52,53,54,55], as well as in the previous sections of this paper, confirming Eq. (61), and showing this way implicitly the correctness of our computations.
The noncommutative IR singularity of the noncommutative SU(N) theory reads
– see (32) – which has a novel, as yet unknown, UV/IR mixing tensor and Lie algebra structure with respect to that in (61). Indeed, in (61), we have the product of two traces over the generators of the Lie algebra so that only the U(1) part of the contribution gets affected by the noncommutative IR divergence. However, in (62), we have only one trace over the product of two SU(N) generator and, hence, the full SU(N) part of the contribution receives the noncommutative IR divergence. No \(\eta _{\mu \nu }\) occurs in (61).
In Sect. 3.4 – see (36), (39), (41), etc. – we have shown that the noncommutative IR divergence in (62) occurs because the noncommutative phase \(e^{i\theta ^{\mu \nu }k_{\mu }p_{\nu }}\) – k being the loop momenta and p the external momenta – regularizes, provided \(\theta ^{\mu \nu }p_\nu \ne 0\), otherwise UV divergent integrals. Thus, the UV divergence is turned into an IR divergence at \(\theta ^{\mu \nu }p_\nu =0\). This the UV/IR mixing phenomenon and its origin has nothing to do with the use of the Seiberg–Witten map and its vanishing denominators at \(\theta ^{\mu \nu }k_{\mu }p_{\nu }=0\).
We have also shown that this conclusion also holds in noncommutative QCD, since the addition of Dirac fermions in the fundamental representation to the noncommutative SU(N) theory does not modify the UV/IR mixing behaviour of the two-point function at hand.
The phenomenological implications of the UV/IR mixing unveiled in this paper are worth studying. Notice that this UV/IR mixing affects the noncommutative Standard Model of [50] and the noncommutative GUTs models of [51, 61] when defined by means of the \(\theta \)-exact Seiberg–Witten map.
In the spirit of the Scattering amplitudes approach [62,63,64,65,66] such a model has been recently successfully applied to estimate a lower bound on the scale of noncommutativity [66, 67] by comparison with ATLAS-LHC collaboration measurements of total cross sections for \(\mathrm PbPb(\gamma \gamma )\rightarrow Pb^*Pb^*\gamma \gamma \) and \(\mathrm PbPb(\gamma \gamma )\rightarrow Pb^*Pb^*\ell ^+\ell ^-\) reactions in the lead \(^{208}\)Pb ion-ion collision experiments [68, 69].
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: The datasets generated during and/or analysed during the current study are available from the corresponding author on reasonable request.]
References
M. Kontsevich, Deformation quantization of Poisson manifolds. 1. Lett. Math. Phys. 66, 157 (2003). https://doi.org/10.1023/B:MATH.0000027508.00421.bf. arXiv:q-alg/9709040
J. Madore, S. Schraml, P. Schupp, J. Wess, Gauge theory on noncommutative spaces. Eur. Phys. J. C 16, 161 (2000). https://doi.org/10.1007/s100520050012. arXiv:hep-th/0001203
B. Jurco, P. Schupp, Noncommutative Yang–Mills from equivalence of star products. Eur. Phys. J. C 14, 367 (2000). https://doi.org/10.1007/s100520000380. arXiv:hep-th/0001032
B. Jurco, L. Moller, S. Schraml, P. Schupp, J. Wess, Construction of nonAbelian gauge theories on noncommutative spaces. Eur. Phys. J. C 21, 383 (2001). https://doi.org/10.1007/s100520100731. arXiv:hep-th/0104153
B. Jurco, P. Schupp, J. Wess, Noncommutative line bundle and Morita equivalence. Lett. Math. Phys. 61, 171 (2002). arXiv:hep-th/0106110
M. Bordemann, N. Neumaier, S. Waldmann, S. Weiß, Deformation quantization of surjective submersions and principal fibre bundles. Crelle’s J. Reine Angew. Math. 639, 1–38 (2010) [Abstract] [PDF] [MR2608189] [Zbl05687061]. arXiv:0711.2965
H. Burzstyn, V. Dolgushev, S. Waldmann, Morita equivalence and characteristic classes of star products. Crelle’s J. Reine Angew. Math. 662, 95–163 (2012). [Abstract] [PDF] [MR2876262] [Zbl1237.53080]. arXiv:0909.4259
T. Filk, Divergencies in a field theory on quantum space. Phys. Lett. B 376, 5 (1996)
C.P. Martin, D. Sanchez-Ruiz, The one-loop UV divergent structure of U(1) Yang–Mills Theory on noncommutative \(R^4\). Phys. Rev. Lett. 83, 476–479 (1999). arXiv:hep-th/9903077
N. Seiberg, E. Witten, String theory and noncommutative geometry. JHEP 09, 032 (1999)
Y. Okawa, H. Ooguri, An exact solution to Seiberg–Witten equation of noncommutative gauge theory. Phys. Rev. D 64, 046009 (2001). arXiv:hep-th/0104036
D. Brace, B.L. Cerchiai, A.F. Pasqua, U. Varadarajan, B. Zumino, A cohomological approach to the nonAbelian Seiberg–Witten map. JHEP 0106, 047 (2001). arXiv:hep-th/0105192
G. Barnich, F. Brandt, M. Grigoriev, Seiberg–Witten maps in the context of the antifield formalism. Fortschr. Phys. 50, 825 (2002). https://doi.org/10.1002/1521-3978(200209)50:8/9<825::AID-PROP825>3.0.CO;2-V. arXiv:hep-th/0201139
B.L. Cerchiai, A.F. Pasqua, B. Zumino, The Seiberg-Witten map for noncommutative gauge theories. in Continuous Advances in QCD 2002/ARKADYFEST (honoring the 60th birthday of Prof. Arkady Vainshtein), pp. 207–420. arXiv:hep-th/0206231
G. Barnich, F. Brandt, M. Grigoriev, Seiberg–Witten maps and noncommutative Yang–Mills theories for arbitrary gauge groups. JHEP 0208, 023 (2002). https://doi.org/10.1088/1126-6708/2002/08/023. arXiv:hep-th/0206003
R. Banerjee, H.S. Yang, Exact Seiberg–Witten map, induced gravity and topological invariants in noncommutative field theories. Nucl. Phys. B 708, 434–450 (2005). https://doi.org/10.1016/j.nuclphysb.2004.12.003. arXiv:hep-th/0404064
C.P. Martin, Computing the \(\theta \)-exact Seiberg–Witten map for arbitrary gauge groups. Phys. Rev. D 86, 065010 (2012). https://doi.org/10.1103/PhysRevD.86.065010. arXiv:1206.2814 [hep-th]
R. Horvat, A. Ilakovac, P. Schupp, J. Trampetić, J. You, Yukawa couplings and seesaw neutrino masses in noncommutative gauge theory. Phys. Lett. B 715, 340–347 (2012)
J. Trampetic, J. You, \(\theta \)-exact Seiberg–Witten maps at order \(e^3\). Phys. Rev. D 91(12), 125027 (2015). https://doi.org/10.1103/PhysRevD.91.125027. arXiv:1501.00276 [hep-th]
D. Bigatti, L. Susskind, Magnetic fields, branes and noncommutative geometry. Phys. Rev. D 62, 066004 (2000). https://doi.org/10.1103/PhysRevD.62.066004. arXiv:hep-th/9908056
S. Minwalla, M. Van Raamsdonk, N. Seiberg, Noncommutative perturbative dynamics. JHEP 0002, 020 (2000). arXiv:hep-th/9912072
M. Hayakawa, Perturbative analysis on infrared aspects of noncommutative QED on R**4. Phys. Lett. B 478, 394 (2000). arXiv:hep-th/9912094
M. Hayakawa, Perturbative analysis on infrared and ultraviolet aspects of noncommutative QED on R**4. arXiv:hepth/9912167
A. Matusis, L. Susskind, N. Toumbas, The IR/UV connection in the non-commutative gauge theories. JHEP 12, 002 (2000)
M. Van Raamsdonk, N. Seiberg, Comments on noncommutative perturbative dynamics. JHEP 0003, 035 (2000). https://doi.org/10.1088/1126-6708/2000/03/035. arXiv:hep-th/0002186
M. Van Raamsdonk, The meaning of infrared singularities in noncommutative gauge theories’. JHEP 11, 006 (2001). https://doi.org/10.1088/1126-6708/2001/11/006. arXiv:hep-th/0110093
M. Hayakawa, Perturbative ultraviolet and infrared dynamics of noncommutative quantum field theory. in 30th International Conference on High-Energy Physics, pp. 1455–1460. arXiv:hep-th/0009098
F.R. Ruiz, Gauge fixing independence of IR divergences in noncommutative U(1), perturbative tachyonic instabilities and supersymmetry. Phys. Lett. B 502, 274–278 (2001). https://doi.org/10.1016/S0370-2693(01)00145-9. arXiv:hep-th/0012171
V.V. Khoze, G. Travaglini, Wilsonian effective actions and the IR/UV mixing in noncommutative gauge theories. JHEP 01, 026 (2001). https://doi.org/10.1088/1126-6708/2001/01/026. arXiv:hep-th/0011218
A. Armoni, E. Lopez, A.M. Uranga, Closed strings tachyons and noncommutative instabilities. JHEP 0302, 020 (2003). https://doi.org/10.1088/1126-6708/2003/02/020. arXiv:hep-th/0301099
A.F. Ferrari, H.O. Girotti, M. Gomes, A.Y. Petrov, A.A. Ribeiro, V.O. Rivelles, A.J. da Silva, Towards a consistent noncommutative supersymmetric Yang–Mills theory: superfield covariant analysis. Phys. Rev. D 70, 085012 (2004). https://doi.org/10.1103/PhysRevD.70.085012m. arXiv:hep-th/0407040
J. Zeiner, Noncommutative quantum electrodynamics from Seiberg–Witten Maps to all orders in Theta(mu nu). PhD thesis, Wurzburg University (2007)
P. Schupp, J. You, UV/IR mixing in noncommutative QED defined by Seiberg–Witten map. JHEP 08, 107 (2008)
R. Horvat, A. Ilakovac, J. Trampetic, J. You, On UV/IR mixing in noncommutative gauge field theories. JHEP 12, 081 (2011). arxiv:1109.2485 [hep-th]
R. Horvat, A. Ilakovac, P. Schupp, J. Trampetic, J. You, Neutrino propagation in noncommutative spacetimes. JHEP 1204, 108 (2012). arXiv:1111.4951 [hep-th]
R. Horvat, A. Ilakovac, J. Trampetic, J. You, Self-energies on deformed spacetimes. JHEP 1311, 071 (2013). arXiv:1306.1239
R. Horvat, J. Trampetic, J. You, Photon self-interaction on deformed spacetime. Phys. Rev. D 92(12), 125006 (2015). https://doi.org/10.1103/PhysRevD.92.125006. arXiv:1510.08691 [hep-th]
H. Grosse, M. Wohlgenannt, On \(\kappa \)-deformation and UV/IR mixing. Nucl. Phys. B 748, 473 (2006). https://doi.org/10.1016/j.nuclphysb.2006.05.004. arXiv:hep-th/0507030
S. Meljanac, A. Samsarov, J. Trampetic, M. Wohlgenannt, Scalar field propagation in the \(\phi ^4\) kappa-Minkowski model. JHEP 12, 010 (2011). arXiv:1111.5553 [hep-th]
S. Meljanac, S. Mignemi, J. Trampetic, J. You, Nonassociative Snyder \(\phi ^4\) quantum field theory. Phys. Rev. D 96(4), 045021 (2017). https://doi.org/10.1103/PhysRevD.96.045021. arXiv:1703.10851 [hep-th]
S. Meljanac, S. Mignemi, J. Trampetic, J. You, UV-IR mixing in nonassociative Snyder \(\phi ^4\) theory. Phys. Rev. D 97(5), 055041 (2018). https://doi.org/10.1103/PhysRevD.97.055041. arXiv:1711.09639 [hep-th]
A.G. Cohen, D.B. Kaplan, A.E. Nelson, Effective field theory, black holes, and the cosmological constant. Phys. Rev. Lett. 82, 4971 (1999). arXiv:hep-th/9803132
R. Horvat, J. Trampetic, Constraining noncommutative field theories with holography. JHEP 1101, 112 (2011). arXiv:1009.2933 [hep-ph]
M. Li, W. Song, Y. Song, T. Wang, A weak gravity conjecture for scalar field. JHEP 0705, 026 (2007). https://doi.org/10.1088/1126-6708/2007/05/026. arXiv:hep-th/0606011
Q.G. Huang, J.H. She, Weak gravity conjecture for noncommutative field theory. JHEP 0612, 014 (2006). https://doi.org/10.1088/1126-6708/2006/12/014. arXiv:hep-th/0611211
E. Palti, The weak gravity conjecture and scalar fields. JHEP 1708, 034 (2017). https://doi.org/10.1007/JHEP08(2017)034. arXiv:1705.04328 [hep-th]
D. Lust, E. Palti, Scalar fields, hierarchical UV/IR mixing and the weak gravity conjecture. JHEP 1802, 040 (2018). https://doi.org/10.1007/JHEP02(2018)040. arXiv:1709.01790 [hep-th]
N. Craig, S. Koren, IR dynamics from UV divergences: UV/IR mixing, NCFT, and the hierarchy problem. JHEP 03, 037 (2020). https://doi.org/10.1007/JHEP03(2020)037. arXiv:1909.01365 [hep-ph]
S. Koren, The Hierarchy problem: from the fundamentals to the frontiers. arXiv:2009.11870 [hep-ph]
X. Calmet, B. Jurco, P. Schupp, J. Wess, M. Wohlgenannt, The standard model on noncommutative space-time. Eur. Phys. J. C 23, 363 (2002). https://doi.org/10.1007/s100520100873. arXiv:hep-ph/0111115
P. Aschieri, B. Jurco, P. Schupp, J. Wess, Noncommutative GUTs, standard model and C, P, T. Nucl. Phys. B 651, 45 (2003). https://doi.org/10.1016/S0550-3213(02)00937-9. arXiv:hep-th/0205214
C.P. Martin, J. Trampetic, J. You, Super Yang–Mills and \(\theta \)-exact Seiberg–Witten map: absence of quadratic noncommutative IR divergences. JHEP 1605, 169 (2016). https://doi.org/10.1007/JHEP05(2016)169. arXiv:1602.01333 [hep-th]
C.P. Martin, J. Trampetic, J. You, Equivalence of quantum field theories related by the \(\theta \)-exact Seiberg–Witten map. Phys. Rev. D 94(4), 041703 (2016). https://doi.org/10.1103/PhysRevD.94.041703. arXiv:1606.03312 [hep-th]
C.P. Martin, J. Trampetic, J. You, Quantum duality under the \(\theta \)-exact Seiberg–Witten map. JHEP 1609, 052 (2016). https://doi.org/10.1007/JHEP09(2016)052. arXiv:1607.01541 [hep-th]
C.P. Martin, J. Trampetic, J. You, Quantum noncommutative ABJM theory: first steps. JHEP 1804, 070 (2018). https://doi.org/10.1007/JHEP04(2018)070. arXiv:1711.09664 [hep-th]
B.S. DeWitt, Quantum theory of gravity 2. The manifestly covariant theory. Phys. Rev. 162, 1195 (1967) [INSPIRE]
R.E. Kallosh, The renormalization in nonabelian gauge theories. Nucl. Phys. B 78, 293–312 (1974) [INSPIRE]. https://doi.org/10.1016/0550-3213(74)90284-3
B.S. DeWitt, A gauge invariant effective action in Oxford conference on quantum gravity (1980). NSF-ITP-80-31
B.S. DeWitt, Dynamical theory of groups and fields, modern Kaluza-Klein theories, ed. by T. Appelquist et al. (Addison-Wesley, Reading, MA, 1987), p. 114; Relativity, groups and topology, ed. by C. DeWitt (Gordon and Breach, New York, 1965), p. 725
A.G. Grozin, Lectures on perturbative HQET.1. arXiv:hep-ph/0008300
C.P. Martin, SO(10) GUTs with large tensor representations on noncommutative space-time. Phys. Rev. D 89(6), 065018 (2014). https://doi.org/10.1103/PhysRevD.89.065018. arXiv:1311.2826 [hep-th]
S. Raju, The noncommutative S-matrix. JHEP 0906, 005 (2009). https://doi.org/10.1088/1126-6708/2009/06/005. arXiv:0903.0380 [hep-th]
J.H. Huang, R. Huang, Y. Jia, Tree amplitudes of noncommutative U(N) Yang–Mills theory. J. Phys. A 44, 425401 (2011). https://doi.org/10.1088/1751-8113/44/42/425401. arXiv:1009.5073 [hep-th]
N. Arkani-Hamed, Y. Bai, S. He, G. Yan, Scattering forms and the positive geometry of kinematics, color and the worldsheet. JHEP 1805, 096 (2018). https://doi.org/10.1007/JHEP05(2018)096. arXiv:1711.09102 [hep-th]
S. Mizera, Kinematic Jacobi identity is a residue theorem: geometry of color-kinematics duality for gauge and gravity amplitudes. Phys. Rev. Lett. 124(14), 141601 (2020). https://doi.org/10.1103/PhysRevLett.124.141601. arXiv:1912.03397 [hep-th]
D. Latas, J. Trampetić, J. You, Seiberg–Witten map invariant scatterings. Phys. Rev. D 104(1), 015021 (2021). https://doi.org/10.1103/PhysRevD.104.015021. arXiv:2012.07891 [hep-ph]
R. Horvat, D. Latas, J. Trampetic, J. You, Light-by-light scattering and spacetime noncommutativity. Phys. Rev. D 101, 095035 (2020). https://doi.org/10.1103/PhysRevD.101.095035. arXiv:2002.01829 [hep-ph]
M. Aaboud et al. (ATLAS Collaboration), Evidence for light-by-light scattering in heavy-ion collisions with the ATLAS detector at the LHC. Nat. Phys. 13(9), 852 (2017). https://doi.org/10.1038/nphys4208. arXiv:1702.01625 [hep-ex]
G. Aad et al. (ATLAS Collaboration), Observation of light-by-light scattering in ultraperipheral Pb+Pb collisions with the ATLAS detector. Phys. Rev. Lett. 123(5), 052001 (2019). https://doi.org/10.1103/PhysRevLett.123.052001. arXiv:1904.03536 [hep-ex]
Acknowledgements
The work by C.P. Martin has been financially supported in part by the Spanish MINECO through grant PGC2018-095382-B-I00. J.Trampetic would like thank Dieter Lüst for many discussions and to acknowledge support of Max-Planck-Institute for Physics, München, for hospitality. The work of J.You has been supported by Croatian Science Foundation.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Seiberg–Witten maps
Let \(a_\mu \) and c be, respectively, an ordinary gauge field and the corresponding ghost field taking values in a Lie algebra in a given irreducible representation. A Seiberg–Witten map which defines a noncommutative gauge field \(A_{\mu }(a)\) and the corresponding noncommutative ghost field C(a, c) in terms of ordinary \(a_\mu \) and c is obtained [13,14,15] by solving, between \(t=0\) and \(t=1\), the following “evolution” problem
The product \(\star _t\) has been defined in (21) and \(F_{\mu \nu }(a;t)=\partial _\mu A_\nu (a;t)-\partial _\nu A_\mu (a;t)-ig[A_\mu (a;t),A_\nu (a;t)]_{\star _t}\).
The “evolution” problem in (A.1) can be solved [17] by expanding in power of the coupling constant g as befits the definition a field theory in perturbation theory:
with
To obtain \(B_\mu (b)\) and \(Q_\mu (b,q)\) in (3), we replace \(a_\mu \) with \(b_\mu +q_\mu \) in (A.2) and (A.3), and then, expand in powers of \(a_\mu \) and \(b_\mu \) the resulting expressions:
Analogously, \(C(b+q,c)\) is obtained by setting \(a_\mu =b_\mu +q_\mu \) in C(a, c) in (A.2):
Since our purpose is to compute \(\varGamma _2[b]\) at one-loop, we shall not need the q-dependent bits of \(C(b+q,c)\):
Assume that \(q_\mu \) and \(b_\mu \) take values in the SU(N) Lie algebra in the fundamental representation. Then \(Q_\mu (b,q)\) in (A.4) can be expressed as the following linear combination:
where \(\mathbb {I}_N\) is the \(N\times N\) identity matrix and \(T^a\) are the SU(N) generators. We shall call \(Q^{(0)}_\mu (b,q)\) and \(Q^{a}_\mu (b,q)\) the U(1) component and SU(N) components of the noncommutative field \(Q_\mu (b,q)\).
Let us introduce the following definitions:
The reader should bear in mind the results in (A.4). Then, taking into account (A.7), one conclude that
Let us introduce the field \(\tilde{q}_\mu =\tilde{q}^a_\mu T^a\), where
The previous expression can be inverted by expanding in powers of g:
where
Substituting (A.11) in (A.7) and then expanding in powers of g, one gets
where
The notation \(q_\mu \rightarrow object\) points out that \(q_\mu \) is to be replaced with object in the corresponding expression in (A.8) and (A.4).
Proceeding in an analogous way, one shows that
where
Let us finally recall that (A.13) and (A.15) are needed to go from (11) to (17).
Appendix B: Computing relevant integrals in D dimensions for Euclidean signature
Here for normalised D dimensional integral we shall use the following shorthand notations \(\int \frac{d^D k}{(2\pi )^D}\equiv \int \). Now we categorise integrals by the power of \((k\tilde{p})\) factor in the denominator. First we have four integrals with power zero:
Then we have six with power one:
and finally comes seven with power two:
Using \(k\rightarrow -k\) trick we can find immediately that: \(I_5=I_7=I_{10}=I_{12}=I_{15}=I_{17}=0\). We can also transform \(k\rightarrow -k-p\) and show that
From history we know the \(I_{1,2}\) integrals:
Integral \(I_3\) is a standard nonplanar integral, on which we apply the decomposition
and after integration over parameter \(\alpha \) obtain
Here \(I_{3_3}\) can be re-expressed via \(I_{3_1}\) and \(K_{\frac{D}{2}-2}\left[ \sqrt{x(1-x)p^2\tilde{p}^2}\right] \) as follows
Integral \(I_4\) is a standard planar integral and we have the standard tensor reduction result:
Trivially one can see that \(I_6=I_{13}\;\tilde{p}_\nu ,\;\, I_9=I_{16}\;\tilde{p}_\nu \), and integrals \(I_{13}\) and \(I_{16}\) can be solved by an NC tensor reduction. Since the only relevant momentum in these two integrals is \(\tilde{p}^\mu \), we can prescribe the following simple tensor structures:
which after contraction with \(\eta _{\mu \nu }\) and \(\tilde{p}_\mu \tilde{p}_\nu \) gives:
We are now left with \(I_{11}\) and \(I_{14}\), and they are not as easy as they seem to be. Priorly we evaluated them in [52] as the following sum denoted as \(T_{-2}\):
Two methods were used to calculate \(T_{-2}\) explicitly, one is based on Grozin parametrization [60] and the other contour integral parametrization. We encounter immediately problem with the second method because the poles at \(x=0\) are second order in \(I_{11}\) and \(I_{14}\) while first order in \(T_{-2}\), which means that we can not define the principle value around this pole for \(I_{11}\) or \(I_{14}\). This leaves only the Grozin parametrization producing:
1.1 Appendix B.1: Discussing the UV divergent tadpole integral \(I_{14}\)
In our recent computation a new type of tadpole integral, which is UV divergent at the \(D\rightarrow 4-\epsilon \) limit occurred repeatedly. Here we provide an account of its evaluation. This new tadpole \(I_{14}\), in [52] denoted as \(T_{-2}\), bears a very simple form
On the other hand, it turns out that \(T_{-2}\) is not quite easy to evaluate. Two usual regularization methods used before, turning tadpole to bubble or using the n-nested zero regulator respectively, did not function here. The first one produces divergent special function integrals while the second contains unfavourable powers of the regulator. The parametrization discussed in the Sect. 1 of this note offers us an alternative way to handle this problem, using this parametrization we can express \(T_{-2}\) as
Here we can only neglect the second term in the last parenthesis because the first and last exceed the minimal power of \(|\ell |\) for massless tadpole to vanish in the dimensional regularization prescription. One can introduce one more integrand y to make he first plus the last terms into one:
A familiar pattern emerges once we compute the \(D\rightarrow 4+2\epsilon \) limit
Here we see the logarithmic UV/IR mixing taking place via a single integral.
1.2 Appendix B.2: The \(D\rightarrow 4+2\epsilon \) limit of all evaluated integrals
Appendix C: Rederiving the noncommutative IR divergence for the two-point function of U(N) in the fundamental representation
In this Appendix we shall apply the techniques displayed in Sects. 2 and 3 to the U(N) case in the fundamental representation and thus rederive the result in Eq. (61). Actually, the techniques in Sects. 2 and 3 have been previously applied in Ref. [54] to show perturbatively the duality of noncommutative U(N) gauge theory under the Seiberg–Witten map.
Let us assume that \(a_\mu \), \(b_\mu \) and \(q_\mu \) in Sect. 2 – see Eq. (2), in particular – take values in the Lie algebra of U(N) in the fundamental representation. Then, \(A_\mu (b+q)\), \(B_\mu (b)\) and \(Q_\mu (b,q)\) – see Eq. (3) – as defined by the Seiberg–Witten map in Appendix A also take values in the Lie algebra of U(N) in the fundamental representation – notice that this not so for SU(N). Analogously, let us assume that c, \(\bar{C}\), F in Sect. 2 – see Eq. (7), in particular – are elements of the Lie algebra of U(N) in the fundamental representation. Then, \(C(b+q,c)\) as defined by the Seiberg–Witten map in Appendix A is an element of U(N) in the fundamental representation. It is not difficult to convince oneself one can proceed as in Sects. 2 and 3 – by adapting the formulae in those sections to the U(N) case at hand and with the help of the results in ref. [54] – and compute the off-shell two-point contribution to effective action – let us call it \(\varGamma ^\mathrm{U(N)}_{ 2}[b]\) – of the DeWitt effective action. The \(\varGamma ^\mathrm{U(N)}_{ 2}[b]\) reads
where \(\varGamma ^\mathrm{U(N)}_2[b]^\mathrm{(eom0)}\), which obviously vanishes upon imposing the equation of motion, contains all the contributions on which integral
in (4), is involved. The \(\varGamma ^\mathrm{U(N)}_2[b]^\mathrm{(eom0)}\) is not physically relevant for it vanishes on-shell, while \(\varSigma _{\mu \nu }(p,\tilde{p})\) is a function such that it remains finite as \(\tilde{p}\) goes to zero.
It is apparent that if, in \(\varGamma ^\mathrm{U(N)}_2[b]\) above, we replace \(b_\mu \) with \(b^{\bot }_\mu \) taking values in the Lie algebra of U(N) in the fundamental representation and satisfying the equations in (29), we will obtain Eq. (61) as expected. Hence, in the U(N) in the fundamental representation the colour structure of the noncommutative IR divergence of the one-loop two-point function is \([\mathrm{Tr}\,b^{\bot }_\mu (p)][\mathrm{Tr}\,b^{\bot }_\mu (-p)]\), i.e, it is purely U(1), whereas in the SU(N) case is quite different: \(\mathrm{Tr}\,[b^{\bot }_\mu (p) b^{\bot }_\mu (-p)]\), i.e. there is only one \(\mathrm{Tr}\).
The \(\varGamma ^\mathrm{U(N)}_2[b]\) in Eq. (C.47) is the counterpart of \(\varGamma _2[b]\) in Eq. (23). The fact that the result in Eq. (23) has a notably different tensor structure from that in Eq. (C.47) has to do with the fact in the U(N) case the change of integration variables in Eq. (15) removes from the classical action and the gauge-fixing terms all the \(\theta \)-dependence coming from the Seiberg–Witten map for \(Q_\mu (b,q)\) and C(b, q). This is not so in the SU(N) case, for in this case neither \(Q_\mu (b,q)\) nor C(b, q) belong to the Lie algebra of SU(N). On the other hand, both \(Q_\mu (b,q)\) and C(b, q) belong to the Lie algebra of U(N) in the fundamental representation if \(b_\mu \), \(q_\mu \) and c take values in the Lie algebra of U(N) in the fundamental representation. The gauge dependent contributions in \(\varGamma ^\mathrm{U(N)}_2[b]\) and \(\varGamma _2[b]\) are removed by going on-shell as required by DeWitt’s effective action formalism. This procedure yields Eqs. (61) and (62) for U(N) and SU(N), respectively, with tensor structures – and color structures – quite different.
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
Martin, C.P., Trampetic, J. & You, J. UV/IR mixing in noncommutative SU(N) Yang–Mills theory. Eur. Phys. J. C 81, 878 (2021). https://doi.org/10.1140/epjc/s10052-021-09686-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09686-5