Abstract
For the Yang–Mills theory coupled to a single scalar field in the fundamental representation of the gauge group, we present a gauge-independent description of the Brout–Englert–Higgs mechanism by which massless gauge bosons acquire their mass. The new description should be compared with the conventional gauge-dependent description relying on the spontaneous gauge symmetry breaking due to a choice of the non-vanishing vacuum expectation value of the scalar field. In this paper we focus our consideration on the fundamental scalar field which extends the previous work done for the Yang–Mills theory with an adjoint scalar field. Moreover, we show that the Yang–Mills theory with a gauge-invariant mass term is obtained from the corresponding gauge-scalar model when the radial degree of freedom (length) of the scalar field is fixed. The result obtained in this paper is regarded as a continuum realization of the Fradkin–Shenker continuity and Osterwalder–Seiler theorem for the complementarity between Higgs regime and Confinement regime which was given in the gauge-invariant framework of the lattice gauge theory. Moreover, we discuss how confinement is investigated through the gauge-independent Brout–Englert–Higgs mechanism by starting with the complementary gauge-scalar model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In previous papers [1, 2] we have proposed a gauge-independent description of the Brout–Englert–Higgs (BEH) or Higgs mechanism [3,4,5,6] which is defined to be a mechanism for massless gauge bosons to acquire their mass. In discussing the BEH mechanism we exclude the Higgs particle from our consideration to focus on the mass generation for the gauge boson. The conventional description of the BEH mechanism states that massless gauge bosons become massive vector bosons by absorbing the Nambu–Goldstone particles [7,8,9] associated with the spontaneous breaking of the gauge symmetry. This description requires a non-vanishing vacuum expectation value of the scalar field,
which is clearly gauge dependent and impossible to be realized without fixing the gauge due to the Elitzur theorem [10, 11] (see also Introduction of [1, 2] for more details). In the new description [1, 2], instead, the scalar field is supposed to obey a gauge-invariant condition which forces the radial length of the scalar field to have a certain fixed value \(v (v > 0)\),
without breaking the gauge symmetry. This enables us to extract the massive vector modes in the operator level from the original Yang–Mills field in a gauge-independent manner. Consequently, we can introduce a gauge-invariant mass term in the pure Yang–Mills theory. Such an example was already given in the case of an adjoint scalar field for a gauge group SU(2) in a previous work [1, 2]. In this paper, we extend the gauge-independent description of the BEH mechanism to include a fundamental scalar field.
In the gauge-scalar model with a fundamental scalar field, the Higgs phase and the Confinement phase are analytically continued in the phase diagram and are not separated by the thermodynamic phase transition . This fact is called the Fradkin–Shenker continuity [12] which was derived in the gauge-invariant framework of lattice gauge theory for the gauge-scalar model with a radially fixed fundamental scalar field and is understood as a special case of the analytic continuity due to the Osterwalder–Seiler theorem [13, 14]. The Fradkin–Shenker continuity holds for various compact groups (continuous and discrete), e.g., \(G=SU(N)\), U(1), Z(N). This leads to the idea of “complementarity” between Higgs and Confinement. In the gauge-scalar model with an adjoint scalar field, on the other hand, the Higgs and the Confinement phases are not analytically continued in the phase diagram and are distinct phases separated by the phase transition. Such phase structures of the gauge-scalar models were also confirmed by numerical simulations on the lattice. See [15,16,17] for a fundamental scalar and [18,19,20,21,22,23] for an adjoint scalar case. (The Fradkin–Shenker continuity does not hold even for the fundamental scalar model if the scalar field has the variable length with a sufficiently small \(0 < \lambda \ll 1\) self-interaction coupling \(\lambda \) for the potential term \(V=\lambda (||\phi (x)||^2-v^2)^2\) [24,25,26,27,28,29,30,31,32]. Higgs phase and Confinement phase are not analytically continued in the phase diagram and separated by the phase transition.) Therefore, the result obtained in this paper can be regarded as an explicit realization of the Fradkin–Shenker continuity in the framework of the continuum field theory. Consequently, this work enables one to investigate confinement and mass gap in the pure Yang–Mills theory as the implications of the BEH mechanism in the gauge-scalar model [33,34,35]. See e.g. [36] for a recent review on the BEH mechanism on the lattice.
Due to the gauge-invariant description of the BEH mechanism, we can extract the massive modes \({\mathscr {W}}_\mu \) from the original gauge field \({\mathscr {A}}_\mu \) in the gauge-independent way. The massive vector mode \({\mathscr {W}}_\mu \) will rapidly fall off in the distance and hence it is identified with the short-distance (or high-energy) mode. Therefore, massive vector modes \({\mathscr {W}}\) mediate only the short-range force between quark sources. Consequently, there must exist the nontrivial residual mode, \( {\mathscr {V}}_\mu ={\mathscr {A}}_\mu -{\mathscr {W}}_\mu \) which is identified with the long-distance (or low-energy) mode. In the Confinement phase, the residual mode will mediate the long-range force which is responsible for quark confinement in the sense of area law falloff of the Wilson loop average or linear quark potential. In other words, the new description of the BEH mechanism allows one to decompose the original gauge field \({\mathscr {A}}\) into the massive vector mode \({\mathscr {W}}\) and the residual gauge mode \( {\mathscr {V}}\),
In the case of the fundamental scalar field, there are no massless gauge bosons in the residual mode \({\mathscr {V}}\) once the BEH mechanism occurs. In fact, we show that the residual gauge mode \({\mathscr {V}}\) has exactly the same form as the pure gauge \({\mathscr {V}}=ig^{-1}UdU^{-1}\) with the group element U which is written in terms of the scalar field \(\Phi \) alone. Therefore the residual gauge mode is trivial in the perturbative treatment. However, the residual gauge mode can be nontrivial in the non-perturbative treatment. Indeed, solitons and defects [37,38,39,40,41] converging to the pure gauge in the long distance can be good candidates for the dominant components responsible for confinement. This situation should be compared with the case of the adjoint scalar field where the residual gauge mode include massless gauge boson which is able to mediate the long-range force [42,43,44].
Moreover, the new description of the BEH mechanism provides physical meaning of the gauge-covariant field decomposition obtained by Cho, Duan–Ge and Faddeev–Niemi (CDGFN) [45,46,47,48,49,50] in the pure Yang–Mills theory, and allows various decompositions [51] other than the original CDGFN one by considering all possible complementary gauge-scalar models. See e.g. [52] for a review.
Last but not least, I must mention the preceding works related to the present work. The fact itself that the mass term of the gauge field can be written in a gauge-invariant form has long been known since the Stückelberg formalism [55] for the U(1) symmetry case. In fact, the non-Abelian generalization has been done half a century ago by Kunimasa and Goto [56, 57], Slavnov and Faddeev [58, 59], Cornwall [60,61,62] and the others [63], see e.g., [64, 65] for reviews. A locally gauge-invariant description of gluon mass demands the existence of massless scalar fields which do not appear in the S matrix. Although the massless scalar fields looks like the Nambu–Goldstone counterparts in spontaneously broken gauge theories, there is no spontaneous symmetry breaking associated with gluon mass generation according to [60,61,62].
One of the purposes of this paper is to realize a gauge-invariant gluon mass term of the Yang–Mills theory taking always the connection with confinement problem. The gauge-invariant gluon mass is introduced through a gauge-independent BEH mechanism by extending the Yang–Mills theory (in the covariant gauge) to the gauge-invariant gauge-scalar model in which Confinement phase is expected to be analytically continued to the Higgs phase in the sense of the Fradkin–Shenker continuity. The massive Yang–Mills theory obtained in this way can be efficient for understanding the confining decoupling solution in the Landau gauge which was confirmed by the numerical simulations on the lattice [66,67,68,69,70] and was examined in the analytical approach [71,72,73,74,75,76,77,78,79], see e.g. the proceedings [80, 81] for the related works. This enables one to provide a novel explanation for the Cornwall claim that the gluon mass can be dynamically generated in the gauge-invariant way without spontaneous symmetry breaking. In this paper the gluon mass is described by a locally gauge-invariant mass term as if the mass were a constant. Because such a mass term is enough to reproduce the decoupling solution in the low-momentum region below a few GeV with gluon confinement [82], as demonstrated explicitly in a subsequent paper [83].
In the complementary gauge-scalar model, the scalar field \(\Phi \) and the gauge field \({\mathscr {A}}\) are not independent field variables, because we intend to obtain the massive pure Yang–Mills theory which does not contain the scalar field \(\Phi \). Therefore, the scalar field \(\Phi \) which corresponds to the Stückelberg field in the preceding works is to be eliminated in favor of the gauge field \({\mathscr {A}}\). This is in principle achieved by solving the constraint called the reduction condition as an off-shell equation, which is different from solving the equation of motion for the scalar field \(\Phi \) [62, 63]. However, the resulting expression for the scalar field \(\Phi \) would be given by a complicated form, e.g., an infinite series in perturbation theory. In particular, the scalar field \(\Phi \) becomes trivial when the gauge fields is transverse, namely, in the Landau gauge \(\partial ^\mu {\mathscr {A}}_\mu =0\). Consequently, the resulting massive Yang–Mills theory in the covariant gauge-fixing term and the associated Faddeev–Popov ghost term becomes power-counting renormalizable in the perturbative framework, as will be shown in [83]. Moreover, the entire theory is invariant under the Becchi–Rouet–Stora–Tyutin (BRST) transformation. The nilpotency of the BRST transformations ensures the unitarity of the theory in the physical subspace of the total state vector space determined by zero BRST charge according to Kugo and Ojima [84]. In view of these, we recall that the Curci–Ferrari model [85] which is not invariant under the ordinary BRST transformation can be made invariant under the modified BRST transformation. However, this fact does not guarantee the unitarity due to the lack of usual nilpotency of the modified BRST transformation, see e.g., [86, 87].
This paper is organized as follows. In Sect. 2, we discuss the case of the Abelian gauge group U(1) before attacking the non-Abelian gauge group. In Sect. 3, we treat the gauge group SU(2). In Sect. 4, we give the construction of the color direction field which is useful to discuss magnetic monopoles in Yang–Mills theory to compare the fundamental scalar case with the adjoint scalar case. The final section is devoted to conclusion and discussion. In Appendix A, we give an example of the exact solution for the topological soliton for the U(1) gauge-scalar model with a radially fixed scalar field. In Appendix B, we summarize the formulas for the SU(2) gauge-scalar model in case of the fundamental and adjoint scalar fields for comparison.
2 U(1) gauge-scalar model
2.1 Radially fixed U(1) gauge-scalar model
The U(1) gauge-scalar model is described by the Lagrangian density:
where \(F_{\mu \nu }(x)\) is the field strength for the U(1) gauge field \(A_{\mu }(x)\) given by \(F_{\mu \nu }(x) = \partial _{\mu } A_{\nu }(x) - \partial _{\nu } A_{\mu }(x)\) and \({D}_{\mu }[A]\) is the covariant derivative defined by \({D}_{\mu }[A] = \partial _{\mu } - i q A_{\mu }(x)\) for the complex scalar field \(\phi (x) \in {\mathbb {C}}\) with q being the electric charge of \(\phi (x)\). Here \(*\) denotes the complex conjugate.
We focus on the U(1) gauge-scalar model with a radially fixed scalar field which is described by the Lagrangian density:
where u(x) is the Lagrange multiplier field to incorporate the gauge-invariant constraint that the radial degree of freedom, i.e., the absolute value of the scalar field is fixed,
The U(1) gauge-scalar model is a gauge theory with a local gauge invariance of the gauge group U(1). In fact, \({\mathscr {L}}_\mathrm{AH}\) is invariant under the U(1) gauge transformation:
\({\mathscr {L}}_{\mathrm{RF}}\) is also invariant under the U(1) gauge transformation, provided that u(x) is gauge invariant. Notice that the constraint (3) is a gauge-invariant condition.
2.2 BEH mechanism for U(1) gauge-scalar model
We introduce the normalized scalar field \({\hat{\phi }}\) by
Then the normalized scalar field \({\hat{\phi }}\) is an element of the group U(1):
since the above constraint (3) implies that the normalized scalar field \({\hat{\phi }}\) obeys the condition:
Then we introduce the vector boson field \(W_\mu \) defined in terms of the normalized scalar field \({\hat{\phi }}\) and the original gauge field \(A_\mu \) asFootnote 1
We find that the kinetic term of the scalar field \(\phi \) is identical to the mass term of the vector boson field \(W^\mu \) with the mass \(M_W\):
It is remarkable that the vector boson field \(W^\mu \) is gauge-invariant and that the mass term of the vector boson field \(W^\mu \)is gauge invariant, as explicitly checked. This equivalence between the kinetic term and the mass term is easily shown by using (7) and (9) as
To see the correspondence to the conventional viewpoint for the BEH mechanism, we replace the field \(\phi \) by its vacuum expectation value,
Then the kinetic term reduces to the mass term:
In this replacement (12), \(W_\mu \) reduces to the original gauge field,
with the mass term
Consequently, all components of the massless gauge boson become massive.
In the conventional understanding of the BEH mechanism, the original gauge symmetry G is spontaneously broken completely with no residual gauge symmetry, which we call the complete SSB, \(G= U(1) \rightarrow H=\{1 \}\). The Nambu–Goldstone mode \(\pi \) associated with the spontaneous breaking of U(1) symmetry is identified as follows. If we use the representation: polar decomposition for a radially fixed scalar field:
then the massive field \(W_{\mu }\) is written as
This is usually said that the Nambu–Goldstone mode \(\pi \) associated with the spontaneous breaking of U(1) symmetry is absorbed into the gauge field \(A_\mu \) as the longitudinal mode to make the massive vector boson \(W_\mu \).
The representation for \(W_\mu \) given above (9) is parameterization independent, namely, does not depend on the specific parameterization of the scalar field. Therefore, we can use the other coordinate, e.g.,
2.3 Field decomposition for U(1) gauge-scalar model
The original gauge field \(A_\mu \) is decomposed into the gauge-invariant massive vector field \(W_\mu \) and the residual mode \(V_\mu \):
Under the gauge transformation \(U(x) \in U(1)\), the original fields transform as
As the massive vector field \(W_\mu \) is gauge invariant,
while the residual field \(V_\mu \) must transform like the original one \(A_\mu \),
To obtain the explicit expression for \(V_\mu \), we observe that \(W_\mu =0\) is equivalent to the gauge-invariant condition for \(V_\mu \) given by
The residual mode \(V_\mu \) is obtained by solving this equation using \({\hat{\phi }} {\hat{\phi }}^* = 1\) as
This agrees with the result of (8).
In the replacement (12), the residual field \(V_\mu \) vanishes (except the singular points),
In the perturbative treatment the residual mode \(V_\mu \) is trivial. But it is non-trivial in the non-perturbative treatment as discussed later.
2.4 Reduction condition for U(1) gauge theory
In the U(1) gauge-scalar model, \(A_\mu (x)\) and \(\phi (x)\) are independent field variables. However, the pure U(1) gauge theory should be described by \(A_\mu (x)\) alone and hence \(\phi (x)\) must be supplied by the gauge field \(A_\mu (x)\). In other words, the scalar field \(\phi (x)\) should be given as a functional of the gauge field \(A_\mu (x)\). This is achieved by imposing the appropriate constraint which we call the reduction condition.
We proceed to find the reduction condition. Imposing the reduction condition eliminates an extra degree of freedom introduced into the pure U(1) gauge theory through the radially fixed complex scalar field \({\hat{\phi }} \in U(1)\), which is necessary to convert the U(1) gauge-scalar theory to the pure U(1) gauge theory.
To find the reduction condition, we consider the extended gauge theory with the enlarged gauge symmetry \(U(1)_\omega \times U(1)_\theta \) according to the procedure given in [48]. The infinitesimal form of the enlarged gauge transformation is given by
Under the enlarged gauge transformation, \(W_\mu \) transform as
because
Indeed, this transformation recovers the infinitesimal form of the original gauge transformation when \(\theta =\omega \) (21):
Then the variation of the functional reads
where we have used the integration by parts in the third equality. Thus we obtain the reduction condition as a gauge-invariant condition:
The reduction condition is rewritten in terms of the scalar field \({\hat{\phi }}\) and the original gauge field \(A_\mu \) as
The reduction condition must be gauge covariant equation and retain the same form under the gauge transformation. The obtained reduction condition (31) is actually gauge-invariant.
2.5 Field equations to the reduction condition
We discuss the relationship between the reduction condition and the field equation of the gauge-scalar model.
For the U(1) gauge-scalar model with the quartic self-interacting potential, the field equations for \(A_\mu \) and \(\phi \) are given by
For the U(1) gauge-scalar model with a radially fixed scalar field, the field equations for the fields u, \(\phi \) and \(A_\mu \) are respectively given by
where the field Eq. (37) for \(A_\mu \) is equivalent to
We proceed to study the relationship between the reduction condition and the field equation. Due to (34), the scalar field \(\phi \) can be normalized \({\hat{\phi }}\). Multiplying (35) by \({\hat{\phi }}^*\) and (36) by \({\hat{\phi }}\) yields
Applying the derivative to (37) or (38) yields
If the fields A and \(\phi \) are a set of solutions of the field equations for the U(1) gauge-scalar model with a radially fixed scalar field, they automatically satisfy the reduction condition (31) for pure U(1) gauge theory.
The conserved Noether current \(J^\mu \) associated to the U(1) global symmetry defined by
is given by
Notice that \(W^\mu \) is proportional to the Noether current \(J^\mu \):
Since the Noether current \(J^\mu \) is conserved \(\partial _\mu J^\mu = 0\), the \(W^\mu \) satisfies the (divergenceless) relation:
This is identified with the subsidiary condition for the massive field \(W^\mu \).
The conserved Noether charge becomes a generator of the U(1) global transformation:
which is shown by using \( J^0 = iq \phi \Pi _\phi - iq \phi ^* \Pi _{\phi ^*} \) with \(\Pi _\phi \) and \(\Pi _{\phi ^*}\) being the canonical momenta conjugate to \(\phi \) and \(\phi ^*\) respectively. This is consistent with no SSB:
since \(\phi \) is a gauge non-invariant operator with vanishing vacuum expectation value.
2.6 Topology for U(1) gauge-scalar model
Notice that the residual field \(V_{\mu }\) is of the pure gauge type. The residual field can give the nonvanishing topological configurations.
The target space \({\mathcal {M}}\) of the scalar field (vacuum manifold) is \({\mathcal {M}}=U(1) \simeq S^1\). Therefore, we consider the map \(\phi : S_\infty ^n \rightarrow S^1\) from the n-dimensional sphere \(S^n\) at infinity in the D-dimensional space-time to the vacuum manifold U(1). Then the topological non-trivial configuration is characterized by the non-trivial homotopy group \(\pi _n(U(1))=\pi _n(S^1)\not = 0\). The non-trivial homotopy is possible only when \(n=1\), \(\phi : S_\infty ^1 \rightarrow S^1\), namely, the U(1) field defined on the circle \(S_\infty ^1\) in the space-time with the non-trivial homotopy group \(\pi _1(S^1) = {\mathbb {Z}}\).Footnote 2
The point-like defect such as monopoles arises if the vacuum manifold \({\mathcal {M}}\) contains non-contractible two-surfaces like the sphere \(S^2\). This occurs when the vacuum manifold \({\mathcal {M}}\) has a non-trivial second homotopy group \(\pi _2({\mathcal {M}}) \not = 0\). For this to occur, it suffice to know if the unbroken symmetry group H has a non-trivial fundamental group \(\pi _1(H) \not = 0\) assuming \(\pi _1(G)=\pi _2(G)=0\).
The line-like defect such as vortex or string arises if the vacuum manifold \({\mathcal {M}}\) is not simply connected; that is, \({\mathcal {M}}\) contains enclosed holes about which loops can be trapped. This topological property is revealed if the fundamental group of \({\mathcal {M}}\) is non-trivial, \(\pi _1({\mathcal {M}}) \not = 0\). The elements of \(\pi _1({\mathcal {M}})\) classify the different types of admissible solutions. For a connected and simply connected symmetry group G, the line-like defects can be classified by \(\pi _0(H)\), the disconnected components of the unbroken subgroup H.
For example, the residual mode represents the vortex solution of the Nielsen–Olesen type for \(D=2+1\) dimensions and instanton in \(D=2\) dimensions. In the radially fixed case, we have the exact analytical solution as shown later in Appendix A.
3 SU(2) gauge-scalar model: fundamental scalar
In this section we give a manifestly gauge-independent description of the BEH or Higgs mechanism for the SU(2) Yang–Mills theory coupled to the scalar field in the fundamental representation. In the conventional description, the BEH mechanism of the SU(2) gauge-scalar model is explained as a consequence of the complete spontaneous breaking of the original SU(2) gauge symmetry. The gauge-independent description to be given below does not rely on the spontaneous breaking of gauge symmetry.
A typical example of an SU(2) gauge-scalar model is described by the Lagrangian density:
We define the SU(2) gauge field \({\mathscr {A}}_{\mu }\) by
its field strength \({\mathscr {F}}_{\mu \nu } \) by
and the covariant derivative \({D}_{\mu }\) in the fundamental representation by
Here \(\Phi (x)\) is the SU(2) doublet formed from two complex scalar fields \(\varvec{\phi }_1 (x), \varvec{\phi }_2 (x)\) which are parameterized (by the reason clarified later) as
In what follows we focus on the SU(2) gauge-fundamental scalar model with a radially fixed scalar field described by the Lagrangian density
where u(x) is the Lagrange multiplier field to incorporate the constraint that the radial degree of freedom or length of the scalar field is fixed \(|\Phi (x)|=v/\sqrt{2}>0\):
Both gauge-scalar models have the local SU(2) gauge symmetry. Indeed, the Lagrangian density is invariant under the SU(2) gauge transformation given by
which has the infinitesimal version:
with the covariant derivative \({\mathscr {D}}_\mu [ {\mathscr {A}}]\) in the adjoint representation defined byFootnote 3
In what follows, we consider the radially fixed scalar field satisfying the constraint:
Due to the constraint, \({\Phi }(x)\) has three independent degrees of freedom. Notice that this constraint is gauge invariant. The Lagrange multiplier field u(x) is supposed to be invariant under the SU(2) gauge transformation. Therefore, even after this constraint is imposed, the gauge symmetry is left unbroken. The Higgs particle corresponds to the variable length degree of freedom of the scalar field. By imposing this constraint, therefore, we eliminate the Higgs particle mode to focus on the mass generation for the gauge boson alone, which facilitate discussing the relation of the gauge-scalar model to the pure Yang–Mills theory as shown below.
3.1 Matrix scalar field
We proceed to construct the gauge group element from the scalar field. For this purpose, we introduce the matrix-valued scalar field \(\Theta \) by adding another SU(2) doublet \({{\tilde{\Phi }}}:=i\tau _2 \Phi ^*\) as
Notice that \({{\tilde{\Phi }}}\) has the same gauge transformation property as \(\Phi \). Then the matrix-valued scalar field \(\Theta \) has the same gauge transformation as \(\Phi \),
We find that \({\Theta }^\dagger {\Theta }\) and \({\Theta }{\Theta }^\dagger \) are proportional to the unit matrix \(\varvec{1} \):
which is shown using
where
Then we introduce the normalized matrix-valued scalar field \({\hat{\Theta }}\) by
The above constraint (53) or (57) implies that the normalized scalar field \({\hat{\Theta }}\) obeys the conditions:
and
Therefore, the normalized matrix-valued scalar field \({\hat{\Theta }}\) is an element of SU(2):
This is an important property to give a gauge-independent BEH mechanism later.
The original kinetic term of the scalar field is rewritten in terms of the matrix-valued scalar field as
The equivalence (67) is shown from
by noting the equality,
which follows from the fact that \(({D}_{\mu }[{\mathscr {A}}]\Phi )^{\dagger } \cdot ({D}^{\mu }[{\mathscr {A}}]\Phi )\) is real-valued using (62) and \( \epsilon ^t \epsilon =-\epsilon \epsilon =\varvec{1} \).
Thus the SU(2) gauge-scalar model (52) is rewritten in terms of the matrix-valued scalar field as
Notice that the SU(2) gauge-scalar model (70) rewritten in terms of the matrix-valued scalar field \(\Theta \) has the larger \(SU(2)_{\mathrm{local}} \times SU(2)^\prime _{\mathrm{global}}\) symmetry than the original model,
The extra global symmetry \(SU(2)^\prime _{\mathrm{global}}\) is called the custodial symmetry which is a kind of flavor symmetry mixing the two scalar doublets. The custodial symmetry as a global symmetry can be broken spontaneously. The results coming from this fact will be discussed elsewhere.
3.2 BEH mechanism for SU(2) gauge-fundamental scalar model
For the gauge group SU(2), we introduce the vector boson field \({\mathscr {W}}_\mu \) defined in terms of the normalized scalar field \({\hat{\Theta }}\) and the original gauge field \({\mathscr {A}}_\mu \) asFootnote 4
The equivalence of the first two expressions in (73) follows from the Leibniz rule for the covariant derivative, \( ({D}_{\mu }[{\mathscr {A}}]{\hat{\Theta }}(x)) {\hat{\Theta }}(x)^\dagger +{\hat{\Theta }}(x) ({D}_{\mu }[{\mathscr {A}}]{\hat{\Theta }}(x)^\dagger ) ={D}_{\mu }[{\mathscr {A}}]({\hat{\Theta }}(x) {\hat{\Theta }}(x)^\dagger ) =\partial _{\mu } (\varvec{1}) =0\) using \({\hat{\Theta }}(x) {\hat{\Theta }}(x)^\dagger =\varvec{1}\). By construction, \({\mathscr {W}}_\mu \) transforms according to the adjoint representation under the gauge transformation,
We find that the kinetic term of the scalar field \(\Phi \) or \(\Theta \) is identical to the mass term of the vector boson field \({\mathscr {W}}^\mu \) with the mass \(M_W\):
It is remarkable that the mass term (75) of the vector boson field \({\mathscr {W}}^\mu \) is gauge invariant. Indeed, the transformation property (74) of \({\mathscr {W}}_\mu \) reconfirms the gauge invariance of the mass term (75) of \({\mathscr {W}}_\mu \). Thus, \({\mathscr {W}}_\mu \) defined by (73) is identified with the massive mode.
In order to see the relationship between the new description and the conventional explanation for the BEH mechanism, we take the unitary gauge, namely, we can use the freedom of SU(2) rotations to write the expectation value in the form:
By this choice of the vacuum expectation value of the scalar field, the original gauge symmetry SU(2) is completely broken with no residual gauge symmetry, which is called the complete SSB: \(G=SU(2) \rightarrow H=\{1 \}\).Footnote 5 In the complete SSB, all the components of the gauge boson become massive. This case should be compared with the partial SSB: \(G=SU(2) \rightarrow H=U(1)\) which occurs in the gauge-scalar model with an adjoint scalar field, as discussed in the previous paper [1, 2].
In terms of the original scalar field, the kinetic term in the unitary gauge reduces to the mass term as
where we have used \(\{T_A ,T_B \}=\frac{1}{2}\delta _{AB}\) for \(T_A=\frac{1}{2} \sigma _A\) and \([T_A ,T_B]=-[T_B ,T_A]\).
In terms of the matrix-valued scalar field, similarly, the kinetic term in the unitary gauge reduces to the mass term
In the unitary gauge, indeed, \({\mathscr {W}}_\mu \) reduces to the original gauge field,
We could have defined another gauge boson field \(\tilde{{\mathscr {W}}}_\mu \) by
Notice that \(\tilde{{\mathscr {W}}}_\mu \) and \({{\mathscr {W}}}_\mu \) are related as
and that the vector boson field \(\tilde{{\mathscr {W}}}_\mu \) is gauge invariant:
The kinetic term of the scalar field \(\Theta \) is equivalently rewritten into the mass term of the vector boson field \(\tilde{{\mathscr {W}}}_\mu \):
since \(\mathrm{tr}( {{\mathscr {W}}}_\mu (x) {{\mathscr {W}}}^\mu (x) )=\mathrm{tr}( \tilde{{\mathscr {W}}}_\mu (x) \tilde{{\mathscr {W}}}^\mu (x) )\) from (81). However, the residual field defined by \(\tilde{{\mathscr {V}}}_\mu :={\mathscr {A}}_\mu -\tilde{{\mathscr {W}}}_\mu \) does not transform in a simple way for this choice of \(\tilde{{\mathscr {W}}}_\mu \). This distinction does not occur for U(1) gauge group.
3.3 Field decomposition for SU(2) gauge-fundamental scalar model
Once we identify \({\mathscr {W}}_\mu \) with the massive mode of the gauge field \({\mathscr {A}}_\mu \), the original gauge field \({\mathscr {A}}_\mu \) is separated into the massive vector field \({\mathscr {W}}_\mu \) and the residual one \({\mathscr {V}}_\mu \):
Under the gauge transformation \(U(x) \in SU(2)\), the original fields \({\mathscr {A}}_{\mu }\) and \(\Theta \) transform as
We have constructed \({\mathscr {W}}_\mu \) so that it transform according to the adjoint representation,
Therefore, \({\mathscr {V}}_\mu \) transform just like the original gauge field,
To obtain the explicit expression for \({\mathscr {V}}_\mu \), we observe that \({\mathscr {W}}_\mu =0\) yields the following condition for \({\mathscr {V}}_\mu \) up to the local gauge transformation:
The residual field \({\mathscr {V}}_\mu \) is obtained by solving this equation using \({\hat{\Theta }} {\hat{\Theta }}^\dagger = \varvec{1}\) as
This agrees with the result of (72). Of course, the residual field must be equal to \({\mathscr {V}}_\mu (x)={\mathscr {A}}_\mu (x)-{\mathscr {W}}_\mu (x)\).Footnote 6
In the perturbative treatment the residual mode \({\mathscr {V}}_\mu \) is trivial. But it is non-trivial in the non-perturbative treatment, as discussed later.
3.4 Reduction condition for SU(2) Yang–Mills theory
In the SU(2) gauge-scalar model, \({\mathscr {A}}_\mu (x)\) and \(\Phi (x)\) are independent field variables. However, the pure SU(2) Yang–Mills theory should be described by \({\mathscr {A}}_\mu (x)\) alone and hence \(\Phi (x)\) must be supplied by the gauge field \({\mathscr {A}}_\mu (x)\) due to the strong interactions. In other words, the scalar field \(\Phi (x)\) should be given as a (complicated) functional of the gauge field \({\mathscr {A}}_\mu (x)\). This is achieved by imposing the appropriate constraint which we call the reduction condition.
To find the reduction condition, we consider the extended gauge theory with the enlarged gauge symmetry \(SU(2)_\omega \times SU(2)_\theta \) according to the procedure given in [48]. The infinitesimal form of the enlarged gauge transformation is given by
Under the enlarged gauge transformation (91), \({\mathscr {W}}_\mu \) transform as
This is shown from \({\mathscr {W}}_\mu ={\mathscr {A}}_\mu -{\mathscr {V}}_\mu \) by taking into account (91) and
which is shown by applying (89)–(91). This is also shown by applying the enlarged gauge transformation to (73), although more lengthy calculations are needed. We can check that the enlarged gauge transformation recovers the infinitesimal form of the original gauge transformation when \(\theta (x)=\omega (x)\):
We obtain the reduction condition by minimizing a functional of the fields under the enlarged gauge transformation. For our choice of the functional, the variation reads
where we have used the integration by parts in the third equality. For the functional to be minimized, \(({\mathscr {D}}_{\mu }[{\mathscr {A}}] {\mathscr {W}}_\mu )^A=0\) must be satisfied for \(\theta \not =\omega \), while for \(\theta =\omega \), this procedure imposes no condition. By imposing the reduction condition, the enlarged gauge symmetry \(SU(2)_\omega \times SU(2)_\theta \) is reduced to the original gauge symmetry \(SU(2)_\alpha , \alpha =\theta =\omega \). Therefore, the theory obtained by imposing the reduction condition has the SU(2) local gauge symmetry.Footnote 7 Thus we obtain the reduction condition:
Imposing the reduction condition \(\chi ^A(x)=0\) (\(A=1,2,3\)) eliminates three extra degrees of freedom introduced through a single radially fixed scalar field \({{\hat{\Phi }}} \in SU(2)\) (\(\mathrm{dim}SU(2)=3\)), which is necessary to convert the SU(2) gauge-scalar theory to the pure SU(2) Yang–Mills theory.Footnote 8 The reduction condition \(\chi (x)=\chi ^A(x) T_A\) is rewritten in terms of the scalar field \({\hat{\Theta }}\) and the original gauge field \({\mathscr {A}}_\mu \) as
The reduction condition is the gauge covariant equation,
This implies that the reduction condition retains the same form under the gauge transformation, namely, it is form-invariant.
3.5 Field equations to the reduction condition for SU(2) gauge-fundamental scalar model
We discuss the relationship between the reduction condition in the Yang–Mills theory and the field equation of the gauge-scalar model described by
For the SU(2) gauge-scalar model with a radially fixed fundamental scalar field, the field equations are obtained by variation asFootnote 9
where the field equation (103) for \({\mathscr {A}}_\mu \) is equivalent to
We proceed to study the relationship between the reduction condition and the field equation. Due to (100), the scalar field \(\Theta \) is normalized to obtain \({\hat{\Theta }}\). Multiplying (101) by \({\hat{\Theta }}^\dagger \) and (102) by \({\hat{\Theta }}\) yields
Applying the covariant derivative to (103) or (104) yields
Thus we can draw an important conclusion: If the fields \({\mathscr {A}}\) and \(\Theta \) are a set of solutions of the field equations for the SU(2) gauge-scalar model with a radially fixed fundamental scalar field, they automatically satisfy the reduction condition (96) for the pure SU(2) Yang–Mills theory (with the gauge-invariant mass term). Incidentally, the vector \(\mathscr {W}^\mu \) in the non-Abelian case is not proportional to the Noether current \(J^\mu \) associated to the global symmetry SU(N).
We consider which field configuration can be a solution of the field equations. If the field \({\mathscr {A}}(x)\) is the solution of the self-dual equation \({\mathscr {F}}_{\mu \nu }[{\mathscr {A}}](x)=\pm {}^*{\mathscr {F}}_{\mu \nu }[{\mathscr {A}}](x)\), then it is automatically a solution of the Yang–Mills field equation \({\mathscr {D}}^\nu [{\mathscr {A}}] {\mathscr {F}}_{\nu \mu }[{\mathscr {A}}](x)=0\) due to the Bianchi identity \({\mathscr {D}}^\nu [{\mathscr {A}}] {}^*{\mathscr {F}}_{\nu \mu }[{\mathscr {A}}](x)=0\). If the field \({\mathscr {A}}(x)\) was a configuration satisfying the self-dual condition, the massive vector boson must vanish identically, \({\mathscr {W}}_\mu (x) \equiv 0\), to satisfy the field equation (104):
Therefore, the instanton in the pure Yang–Mills theory cannot be a solution of the field equation (104) of the gauge-scalar model. In the large (Euclidean) distance \(\sqrt{x^2} \rightarrow \infty \), however, \({\mathscr {W}}_\mu \) falls off \({\mathscr {W}}_\mu (x) \rightarrow 0\) and the field equation reduces to that of the ordinary massless Yang–Mills theory which is satisfied by \({\mathscr {V}}_\mu (x)\),
We suppose that the residual mode \({\mathscr {V}}_\mu (x)\) is given by the self-dual configuration or instanton (and antiinstanton) on whole spacetime \({\mathscr {F}}_{\mu \nu }[{\mathscr {V}}](x)=\pm {}^*{\mathscr {F}}_{\mu \nu }[{\mathscr {V}}](x)\) and that the discrepancy can be cared by the massive mode \({\mathscr {W}}_\mu (x)\) in such a way that the sum \({\mathscr {V}}_\mu (x)+{\mathscr {W}}_\mu (x)\) reproduces the solution for \({\mathscr {A}}_\mu (x)\). This strategy greatly facilitates finding the solution of the gauge-scalar model. This is an advantage of decomposing the original gauge field \({\mathscr {A}}_\mu (x)\) into the two pieces \({\mathscr {V}}_\mu (x)\) and \({\mathscr {W}}_\mu (x)\). The explicit solution based on this observation will be given in a subsequent paper.
3.6 Representations in terms of original scalar fields
In order to obtain the expressions in terms of the original scalar field \(\Phi \), it is sufficient to impose the condition:
In fact, (88) follows from (109):
since
and
where we have used \( \epsilon \epsilon =-\varvec{1} \) and \( \epsilon \sigma _A^* \epsilon = \sigma _A \).
For \(G=SU(2)\), the defining Eq. (109) for the residual field \({\mathscr {V}}\) is given by
Multiplying (113) by \({\hat{\Phi }}^\dagger T_A\) from the left yields
Taking the adjoint of (113), on the other hand, we obtain
Multiplying (115) by \(T_A {\hat{\Phi }}\) from the right leads to
By subtracting (114) from (116), we obtain
which is rewritten into
where we have used the relation \( \{ T_A , T_B \} := T_A T_B + T_B T_A = \frac{1}{2} \delta _{AB} \varvec{1} \) for the SU(2) generators \(T_A=\frac{\sigma ^A}{2}\), and \({\hat{\Phi }}^\dagger {\hat{\Phi }}=1\). Thus we obtain
or
This expression for the residual field agrees with the previous one (89).
For \(G=SU(2)\), thus, the gauge field is decomposed as
In fact, summing up \({\mathscr {W}}_{\mu }\) and \({\mathscr {V}}_{\mu }\) recovers the original gauge field \({\mathscr {A}}_{\mu }\):
where we have used \( \{ \sigma _A , \sigma _B \} = 2 \delta _{AB} \varvec{1} \). We find that in the limit of taking the uniform (or constant) scalar field, \({\mathscr {V}}_{\mu }\) vanishes and \({\mathscr {W}}_{\mu }\) approaches \({\mathscr {A}}_{\mu }\):
3.7 Change of variables and reformulation of Yang–Mills theory
The partition function of the gauge-scalar model with the radially fixed constraint,
is defined by
where the action is given by
and the integration measures are given by
In order to obtain the Yang–Mills theory with a gauge-invariant mass term by starting from the corresponding “complementary” gauge-scalar model, we must eliminate the extra degrees of freedom which are brought into the Yang–Mills theory by the (radially fixed) scalar field. For this purpose, we restrict the field configuration space \(({\mathscr {A}},\Phi )\) to the subspace subject to the appropriate constraint \(\varvec{\chi }=0\) which we call the reduction condition. Here the reduction condition \(\chi =0\) is understood to be written in terms of \({\mathscr {A}}\) and \(\Phi \), \(\chi =\chi [{\mathscr {A}},\Phi ]\), see (97). Following the way similar to the Faddeev–Popov procedure, we insert the unity to the functional integral:
where \(\varvec{\chi }^\theta :=\varvec{\chi }[ {\mathscr {A}},\Phi ^\theta ]\) is the reduction condition written in terms of \({\mathscr {A}}\) and \(\Phi ^\theta \) which is the local rotation of \(\Phi \) by \(\varvec{\theta }\)) and \( \Delta ^\mathrm{red}:=\det \left( \frac{\delta \varvec{\chi }^\theta }{\delta {\varvec{\theta }}}\right) \) denotes the Faddeev–Popov determinant associated with the reduction condition \(\chi =0\), see [52] for the details. Note that \(\varvec{\theta }\) have the same degrees of freedom as \(\varvec{\chi }\). Then we obtain
We perform the change of variables from the original variables \(({\hat{\Phi ^a}}, {\mathscr {A}}_\mu ^A )\) to the new variables \(({\hat{\Phi ^b}}, {\mathscr {W}}_\nu ^B )\):
Then the partition function reads
where the action \({\tilde{S}}_{\mathrm{mYM}}[{\mathscr {W}},{\hat{\Phi ]}}\) with the gauge-invariant mass term \(S_{\mathrm{m}}[{\mathscr {W}}]\) is obtained by substituting the decomposition of \({\mathscr {A}}_\mu \) into \(S_\mathrm{RF}[{\mathscr {A}},\Phi ]\):
and the integration measure is given by
with the Jacobian J associated with change of variables from \(({\hat{\Phi ^a}}, {\mathscr {A}}_\mu ^A )\) to \(({\hat{\Phi ^b}}, {\mathscr {W}}_\nu ^B )\),
Here the reduction condition \({{\tilde{\chi }}}=0\) and the associated determinant \({{\tilde{\Delta }}}^{\mathrm{red}}\) are supposed to be written in terms of \({\mathscr {W}}\) and \({{\hat{\Phi }}}\), see (96).
Moreover, we perform the change of variables \(\Phi \rightarrow \Phi ^{\theta }\), i.e., the local rotation by the angle \(\theta \) and the corresponding gauge transformation for the other new variables \({\mathscr {W}}_\mu \): \({\mathscr {W}}_\mu \rightarrow {\mathscr {W}}_\mu ^{\theta }\). From the gauge invariance of the action \({{\tilde{S}}}_{\mathrm{mYM}}[{\mathscr {W}},{\hat{\Phi ]}}\) and the integration measure \({\mathcal {D}}{\hat{\Phi }}{\mathcal {D}}{\mathscr {W}}_\mu \), we can rename the dummy integration variables \(\Phi ^{\theta } , {\mathscr {W}}_\mu ^{\theta }\) as \(\Phi , {\mathscr {W}}_\mu \) respectively. Thus the integrand does not depend on \(\theta \) and the gauge volume \(\int \! {\mathcal {D}}\varvec{\theta }\) can be factored out:
Note that the Faddeev–Popov determinant \({{\tilde{\Delta }}} ^{\mathrm{red}}\) can be rewritten into another form:
Ignoring the gauge volume \(\int \! {\mathcal {D}}\varvec{\theta }\), thus, we have arrived at the reformulated Yang–Mills theory in which the independent variables are regarded as \({{\hat{\Phi }}}(x)\) and \(\mathscr {W}_\mu (x)\) with the partition function:
where the constraint is rewritten in terms of the new variables:
Now we show that the Jacobian J is a field-independent numerical factor. Since \({\mathscr {W}}_\nu ^B\) and \({\hat{\Phi ^b}} \) are independent, we have
Then the Jacobian is reduced to the determinant of the \(3D\times 3D\) matrix:
This implies that J is independent of how \({{\hat{\Phi }}}\) is related to the original field \({\mathscr {A}}\), that is to say, J does not depend on the choice of the reduction condition, since the Jacobian does not depend on \(\frac{\partial {\mathscr {A}}_\mu ^A}{\partial {\hat{\Phi ^b}}}\). In order to calculate \(\frac{\partial {\mathscr {A}}_\mu ^A}{\partial {\mathscr {W}}_\nu ^b}\), we rewrite \({\mathscr {A}}_\mu ^A\) in terms of independent degrees of freedom \(({\hat{\Phi ^b}},{\mathscr {W}}_\nu ^B)\). The field \({\mathscr {A}}_\mu ^A\) is decomposed into \({\mathscr {W}}_\mu ^A\) and \({\mathscr {V}}_\mu ^A\), i.e., \( {\mathscr {A}}_\mu ^A = {\mathscr {V}}_\mu ^A + {\mathscr {W}}_\mu ^A \), and \({\mathscr {V}}_\mu ^A\) is written in terms of \({{\hat{\Phi }}}\) alone. Therefore, we have
Thus, we conclude that the Jacobian reduced to a field-independent numerical factor:
3.8 Implications for quark confinement
For confinement of colored objects to occur, there must exist the long-range confining force which could be mediated by massless gluons. In the SU(2) gauge-scalar model with an adjoint scalar there remains a massless gauge field even after the two components among three components of the gauge field become massive by the BEH mechanism. Therefore, the residual mode contains a massless gauge field. However, the residual gauge field contains also the color direction field \(\varvec{n}\) which describes magnetic monopole in the Yang–Mills theory. In the three-dimensional spacetime, it has been shown by an analytical way that quark confinement occurs due to magnetic monopoles in the Georgi–Glashow model [42], which can be extended [53] to the pure Yang–Mills theory with a gauge-invariant gluon mass generated according to the gauge-independent BEH mechanism [1, 2]. In the four-dimensional spacetime, it has been confirmed by numerical simulations that closed loops of magnetic monopole which are identified with monopole-antimonopole pairs are dominant configurations responsible for quark confinement, see e.g. [52] and references therein.
In the SU(2) gauge-scalar model with a fundamental scalar, however, such massless gluons mediating the long-range force no longer exist after the BEH mechanism occurs, since all the components of gluons become massive. Therefore, the field mode responsible for the long-range confining force must be attributed to the residual mode \({\mathscr {V}}\). From this point of view, topological defects represented by the residual mode of the pure gauge form can be the promising candidates for topological objects mediating long-range confining force.
3.9 Topology for SU(2) gauge-fundamental scalar model
Notice that \({\mathscr {V}}_{\mu }\) is of the pure gauge. In the topologically trivial sector, \({\mathscr {V}}_\mu \) vanishes in the unitary gauge (except the singular points), \({\mathscr {V}}_{\mu }(x) \rightarrow -ig^{-1}\partial _{\mu } {\hat{\Theta }}_\infty {\hat{\Theta }}^\dagger _\infty = 0 . \) Rather, this part can give the nonvanishing topological configurations such as, instantons and magnetic monopole current see, e.g., Ref. [54]. The target space of the scalar field (vacuum manifold) is \(SU(2) \simeq S^3\). Therefore, we consider the map \(\Phi : S_\infty ^n \rightarrow S^3\) from the n-dimensional sphere \(S^n\) at infinity in the D-dimensional space-time to the vacuum manifold SU(2). Then the topological non-trivial configuration is characterized by the non-trivial homotopy group \(\Pi _n(SU(2))=\Pi _n(S^3)\not = 0\). The non-trivial homotopy is possible only when \(n \ge 3\), especially for \(n=3\), \(\Phi : S_\infty ^3 \rightarrow S^3\), namely, the SU(2) field defined on a three-sphere \(S_\infty ^3\) in the space-time with the non-trivial homotopy \(\Pi _3(S^3) = {\mathbb {Z}}\). Notice that \(\Pi _1(S^3)=\Pi _2(S^3)=0\).
4 Color direction field from the fundamental scalar field
The color direction field \(\varvec{n}(x)\) plays the key role for defining the new field variables and giving gauge-invariant magnetic monopoles in the reformulated Yang–Mills theory [52]. In the adjoint scalar case, the color direction field agrees with the normalized scalar field, i.e., \(\varvec{n}(x)=\hat{\varvec{\phi }}(x)\), which is reasonable because the color direction field transforms in the adjoint representation under the gauge transformation. In the fundamental scalar case, however, the color field must be constructed as a composite operator of the fundamental scalar field.
4.1 Color direction field
We introduce the unit vector field \(\varvec{n}(x)\) with three components \(n_A(x)\) \((A=1,2,3)\) satisfying \(n_A(x)n_A(x)=1\) which we call the color direction field or color field in short. In fact, the color direction field plays the key role for giving gauge-invariant magnetic monopoles [52]. We can construct the color direction field \(n_A\) by using a doublet of the complex scalar field \(\Phi \) as
where \(\sigma _A\) are Pauli matrices. Each component reads
This color field is reproduced in terms of the matrix-valued scalar field \(\Theta \):
if it is identified with the Lie-algebra valued field:
The equivalence between (142) and (144) is shown by explicit calculations: for example, using (58) and (61), we have
The color direction field is indeed normalized:
Using the matrix form, this is shown as
where we have used \(\mathrm{tr}[\sigma _A \sigma _B]=2\delta _{AB}\).
Under the gauge transformation (85), the color field \(\varvec{n}(x) = n_A(x) \sigma _A\) defined in this way transforms according to the adjoint representation:
provided that the gauge transformation of the scalar field obeys
Notice that the color field could be alternatively defined by \(\varvec{n}(x)= \Theta ^{\dagger }(x) \sigma _3 \Theta (x)\). But the gauge transformation property (149) is lost by this choice of the color field.
4.2 The residual field in terms of the color field
We show that the color direction field \(\varvec{n}\) is used to represent the residual field \({\mathscr {V}}\). Notice that
which follows easily from the Leibniz rule for the covariant derivative as
The converse is not necessarily true, since the condition \({D}_{\mu }[{\mathscr {V}}] {\hat{\Theta }} = 0\) is stronger than \({\mathscr {D}}_{\mu }[{\mathscr {V}}] \varvec{n} = 0\).
Thus we find the relationship from (110) and (151):
Therefore, \({\mathscr {V}}\) is also expressed in terms of \(\varvec{n}\) by solving
which is also written in the vector form:
By taking the commutator with \(\varvec{n}\), we have
By using the formula: for any su(2) valued function \({\mathscr {F}}\),
with the definition
see e.g., [52] for the proof, \({\mathscr {V}}\) is also expressed in terms of \(\varvec{n}\):
By introducing \(v_\mu \) by
we have
which is written in the vector notation as
with the components,
We find that \(v_\mu \) is expressed in terms of the scalar field \(\Phi \) as
In fact, the parallel component of \({\mathscr {V}}_\mu \) (161) is extracted by using the representation (144) of \(\varvec{n}\) and the formula (89) for \({\mathscr {V}}_\mu \) as
where we have used \( \hat{{{\tilde{\Phi }}}}^\dagger \partial _{\mu } \hat{{{\tilde{\Phi }}}} = {\hat{\Phi }}^t \epsilon ^t \epsilon \partial _{\mu } {\hat{\Phi }}^* = {\hat{\Phi }}^t \partial _{\mu } {\hat{\Phi }}^* \), \( {\hat{\Phi }}^t \partial _{\mu } {\hat{\Phi }}^* =(\partial _{\mu } {\hat{\Phi }}^\dagger {\hat{\Phi }} )^t = \partial _{\mu } {\hat{\Phi }}^\dagger {\hat{\Phi }} \) and \({\hat{\Phi }}^\dagger {\hat{\Phi }}=1\).
The residual field \({\mathscr {V}}\) is decomposed into the two parts which are parallel \({\mathscr {V}}^\parallel \) and perpendicular \({\mathscr {V}}^\perp \) to the color direction field
The parallel part is obtained as
which has the vector notation,
The perpendicular part is obtained
which has the vector notation,
Notice that \( g{\mathbf {V}}_{\mu }^\perp = g{\mathbb {V}}_{\mu } \times {\mathbf {n}} = {\mathbf {n}} \times ({\mathbf {n}} \times \partial _\mu {\mathbf {n}} ) . \)
It should be remarked that the massive field \({\mathscr {W}}_{\mu }\) for the fundamental scalar case is not perpendicular to the color direction field \(\varvec{n}\),
which is sharp contrast to the adjoint scalar case \({\mathscr {W}}_{\mu }(x) \cdot \varvec{n}(x) = 0\). Under the gauge transformation, \(v_\mu \) defined by (164) transforms
This result is also obtained from (161).
4.3 Field strength in terms of the color field
According to the decomposition of the gauge field \({\mathscr {A}}_\mu (x)={\mathscr {V}}_\mu (x)+{\mathscr {W}}_\mu (x)\), the field strength \({\mathscr {F}}_{\mu \nu }(x)\) of the original gauge field \({\mathscr {A}}_\mu (x)\) is decomposed as
where \({\mathscr {F}}_{\mu \nu }[{\mathscr {V}}]\) is the field strength of the residual gauge field \({\mathscr {V}}\) defined by
and \({\mathscr {D}}_\mu [{\mathscr {V}}]\) is the covariant derivative in the background gauge field \({\mathscr {V}}_\mu \).
By substituting the decomposition (173) of the field strength into the SU(2) gauge-scalar Lagrangian with a radially fixed fundamental scalar field, we obtain the decomposition of the Yang–Mills Lagrangian density with the mass term \(\frac{1}{2 } M_{W}^2 {\mathscr {W}}^\mu \cdot {\mathscr {W}}_\mu \) generated by the gauge-invariant BEH mechanism,
where each term is SU(2) invariant and the term \(- \frac{1}{2} {\mathscr {F}}^{\mu \nu }[{\mathscr {V}}] \cdot ({\mathscr {D}}_\mu [{\mathscr {V}}] {\mathscr {W}}_\nu - {\mathscr {D}}_\nu [{\mathscr {V}}] {\mathscr {W}}_\mu ) \) linear in \({\mathscr {W}}^\mu \) is eliminated.Footnote 10 Here, \({\mathscr {V}}_\mu \) is supposed to be given by the pure gauge form (89) written in terms of the normalized scalar field, i.e., gauge group element \({{\hat{\Theta }}} \in SU(2)\) and \({\mathscr {W}}_\mu \) is regarded as the independent fundamental field variables representing massive vector boson fields. We observe that the vector field \({\mathscr {W}}_\mu \) has the ordinary kinetic term and the mass term (in the tree level). Therefore, there is a massive vector pole in the propagator of \({\mathscr {W}}_\mu \) (after a certain gauge fixing). Thus, \({\mathscr {W}}_\mu \) is not an auxiliary field, but is a propagating field with the mass \(M_{W}\) (up to possible quantum corrections).
In the case of the fundamental scalar field, the residual gauge mode \({\mathscr {V}}_\mu \) has the pure gauge form (89) \({\mathscr {V}}_\mu =ig^{-1} {\hat{\Theta }} \partial _{\mu } {\hat{\Theta }} ^\dagger \). Therefore, the field strength \({\mathscr {F}}_{\mu \nu }[{\mathscr {V}}]\) of \({\mathscr {V}}_\mu \) vanishes except for the singular points at which the commutator of the partial derivatives does not commute:
The result (176) should be obtained by using the residual gauge mode (161) written in terms of the color direction field constructed from the normalized scalar field,
By using the vector form (162) or the component form (163), the direct calculations lead to
which has the Lie-algebra valued form,
In these calculations we have only used a fact that the color direction field has the unit length \({\mathbf {n}}(x) \cdot {\mathbf {n}}(x)=1\). From
we find that the last term of (179) corresponds to (176):
This suggest that the Abelian-like field strength identically vanishes in the fundamental scalar case:
where \(v_\mu \) is given by (164) and \(\varvec{n}\) is given by (144). Indeed, this identity is derived by representing the normalized scalar field \({{\hat{\Phi }}}\) in terms of the three angles for the three sphere \(S^3\). Therefore, we obtain the formula for the field strength of the residual model written in terms of the color direction field:
This result is consistent with the fact that there are no residual massless gauge fields in the fundamental scalar case after the BEH mechanism takes place.
5 Conclusion and discussion
We have extended a gauge-independent description [1, 2] of the BEH or Higgs mechanism [3,4,5,6] by which massless gauge bosons acquire their mass to include a fundamental scalar field. Consequently, we can introduce a gauge-invariant mass term in the Yang–Mills theory.
The conventional description of the BEH mechanism requires a non-vanishing vacuum expectation value of the scalar field \(\langle 0| \phi (x) |0 \rangle =v\), which is clearly gauge dependent and impossible to be realized without fixing the gauge. In the new description [1, 2], instead, the scalar field is supposed to obey a gauge-invariant condition which forces the radial length of the scalar field to have a certain fixed value \(||\phi (x)||=v\) without breaking the gauge symmetry. Therefore, this extension enables one to study quark confinement and mass gap in the pure Yang–Mills theory as the implications of the BEH mechanism in the “complementary” gauge-scalar model, as suggested from the Fradkin–Shenker continuity [12] and the Osterwalder–Seiler theorem [13, 14] on the lattice.
The new description allows one to decompose the original gauge field \({\mathscr {A}}\) into the massive vector mode \({\mathscr {W}}\) and the residual gauge mode \({\mathscr {V}}\), \({\mathscr {A}}={\mathscr {W}}+{\mathscr {V}}\) in the gauge-independent way. The massive vector mode \({\mathscr {W}}_\mu \) will rapidly fall off in the distance and hence it is identified with the short-distance (or high-energy) mode. Therefore, massive vector modes \({\mathscr {W}}\) mediate only the short-range force between quark sources. Consequently, the long-range force giving a linear piece of the static quark potential responsible for quark confinement must be mediated by the residual gauge mode \({\mathscr {V}}\). In the case of the adjoint scalar field, the residual gauge mode include massless gauge boson which is able to mediate the long-range force. In the case of the fundamental scalar field, there are no massless gauge bosons in the residual mode \({\mathscr {V}}\) once the BEH mechanism occurs. In fact, the residual gauge mode \({\mathscr {V}}\) has exactly the same form as the pure gauge \({\mathscr {V}}=ig^{-1}UdU^{-1}\) with the group element U which is written in terms of the scalar field \(\Phi \) alone. Therefore, solitons and defects converging to the pure gauge in the long distance could be dominant field configurations responsible for quark confinement.
For quark confinement, the two cases give the different perspective. In the adjoint scalar field case (\(SU(2) \rightarrow U(1)\)), the external quark source in the fundamental representation cannot be screened by the adjoint scalar field and the chromoelectric flux connecting a pair of quark and antiquark is formed for any distance r larger than a certain distance \(r_0\), \(r > r_0\), while for \(r< r_0\) the Coulomb-like perturbative part becomes dominant. In the fundamental scalar field case (\(SU(2) \rightarrow \{ 0 \}\)), the external quark source in the fundamental representation can be screened by the fundamental scalar field and the chromoelectric flux connecting a pair of quark and antiquark will break at certain distance \(r =r_c \simeq 2m/\sigma \) with the mass m of the scalar particle and the string tension \(\sigma \). The static quark potential exhibits the linear potential in the intermediate region \(r_0< r < r_c\), and flattens in the long-distance region \(r > r_c\). This situation is similar to the realistic QCD in which light dynamical quarks are included into the theory. For gluon confinement, we can calculate gluon propagators leading to positivity violation, which is consistent with gluon confinement as shown in a subsequent paper [83].
Based on the general framework given in this paper, we will demonstrate its validity in understanding confinement for various choice of the spacetime dimension \(D=2,3,4\) and the gauge group \(G=U(1)\), SU(2), \(SU(2) \times U(1)\), SU(3) in subsequent papers where the detailed analyses on the solution of the field equations of the complementary gauge-scalar model will be given.
Notes
By using \({\hat{\phi }}(x) {\hat{\phi }}(x)^*=1\), we find
$$\begin{aligned} W_\mu (x) =&iq^{-1} \partial _{\mu } {\hat{\phi }}(x) {\hat{\phi }}(x)^* + A_{\mu }(x) \nonumber \\ =&-iq^{-1} {\hat{\phi }}(x) \partial _{\mu } {\hat{\phi }}(x)^* + A_{\mu }(x) . \end{aligned}$$(8)Notice that \(\pi _n(S^1)=0\) for \(n>1\), \(\pi _n(S^n)={\mathbb {Z}}\) and \(\pi _n(S^m)=0\) for \(m>n\). Incidentally, \(m<n\) case is non-trivial in general, e.g., \(\Pi _4(S^3) = {\mathbb {Z}}_2\).
In the usual convention, the covariant derivative acts differently on the fields transforming differently, so that there is no need to make distinction between \({\mathscr {D}}_\mu \) and \(D_\mu \). In this paper, however, we adopt an unusual convention in which \(D_\mu \) or \({\mathscr {D}}_\mu \) is respectively used when acting on the field in the fundamental or adjoint representation to call attention. Notice that \( {\mathscr {D}}_\mu \Phi = D_\mu \Phi \) and \( {\mathscr {D}}_\mu \Phi ^\dagger = ({D}_\mu \Phi )^\dagger \).
By using \({\hat{\Theta }}(x) {\hat{\Theta }}(x)^\dagger =\varvec{1}\), we find the other expressions for \({\mathscr {W}}_\mu \),
$$\begin{aligned} {\mathscr {W}}_\mu (x)&= ig^{-1} \partial _{\mu } {\hat{\Theta }}(x) {\hat{\Theta }}(x)^\dagger + {\mathscr {A}}_{\mu }(x) \nonumber \\&= -ig^{-1} {\hat{\Theta }}(x) \partial _{\mu } {\hat{\Theta }}(x)^\dagger + {\mathscr {A}}_{\mu }(x) . \end{aligned}$$(73)If the matrix scalar field has the vacuum expectation value (76), both SU(2) and \(SU(2)^\prime \) are broken, but the diagonal subgroup \(SU(2)_\mathrm{diag}\) remains unbroken, see (71). The original gauge-scalar model has the global symmetry \(SU(2) \times SU(2)^\prime \) to be spontaneously broken to \(SU(2)_{\mathrm{diag}}\). Notice that only SU(2) in \(SU(2) \times SU(2)^\prime \) is gauged in this model.
The residual field is written in terms of the doublet scalar field as
$$\begin{aligned} {\mathscr {V}}_{\mu }(x) =&ig^{-1} (\partial _\mu {{\hat{\Phi }}}(x) {\hat{\Phi ^\dagger }}(x) + \epsilon {\hat{\Phi }}^*(x) \partial _\mu {\hat{\Phi ^T}}(x) \epsilon ^T ) , \nonumber \\ {{\hat{\Phi }}}(x) :=&\Phi (x)/\left( \frac{v}{\sqrt{2}}\right) . \end{aligned}$$(91)This procedure is regarded as the partial gauge fixing which breaks the enlarged gauge symmetry \(SU(2)_\omega \times SU(2)_\theta \) into the original gauge symmetry SU(2). To be precise, this is the stationary condition.
Notice that the reduction condition is an off-shell condition. Therefore, solving the reduction condition is different from solving the field equation for the Stückelberg field as done in the preceding works [56, 57, 62, 64, 65]. This means that the solution of the reduction condition does not necessarily satisfy the field equation.
Notice that we have used the notation: \(({D}^{\mu }[{\mathscr {A}}] \Theta )^\dagger \overleftarrow{{D}_{\mu }[{\mathscr {A}}]}^\dagger =\{ \partial _{\mu } ( {D}^{\mu }[{\mathscr {A}}] \Theta )^\dagger + ( {D}^{\mu }[{\mathscr {A}}] \Theta )^\dagger ig{\mathscr {A}}_{\mu } \} \).
In the case of the adjoint scalar field, it is shown that \({\mathscr {F}}_{\mu \nu }[{\mathscr {V}}](x)\) and \(-i g [ {\mathscr {W}}_\mu (x) , {\mathscr {W}}_\nu (x) ] \) are parallel to the color direction field \(\varvec{n}(x)=\hat{\varvec{\phi }}(x)\), while \({\mathscr {D}}_\mu [{\mathscr {V}}] {\mathscr {W}}_\nu (x) - {\mathscr {D}}_\nu [{\mathscr {V}}] {\mathscr {W}}_\mu (x)\) is perpendicular to \(\varvec{n}(x)=\hat{\varvec{\phi }}(x)\), which follows from the defining equations: \(\varvec{n}(x) \cdot {\mathscr {W}}_\mu (x)=0\). Therefore, the terms \(- \frac{1}{2} {\mathscr {F}}^{\mu \nu }[{\mathscr {V}}] \cdot ({\mathscr {D}}_\mu [{\mathscr {V}}] {\mathscr {W}}_\nu - {\mathscr {D}}_\nu [{\mathscr {V}}] {\mathscr {W}}_\mu ) \) linear in \({\mathscr {W}}^\mu \) and \(\frac{1}{2} ({\mathscr {D}}_\mu [{\mathscr {V}}] {\mathscr {W}}_\nu - {\mathscr {D}}_\nu [{\mathscr {V}}] {\mathscr {W}}_\mu ) \cdot ig[ {\mathscr {W}}^\mu , {\mathscr {W}}^\nu ]\) vanish and do not appear in the Lagrangian.
References
K.-I. Kondo, Phys. Lett. B 762, 219–224 (2016). arXiv:1606.06194 [hep-th]
K.-I. Kondo, EPJ Web Conf. 137, 03009 (2017). arXiv:1612.05933 [hep-th]
P.W. Higgs, Phys. Lett. 12, 132 (1964)
P.W. Higgs, Phys. Rev. Lett. 13, 508 (1964)
F. Englert, R. Brout, Phys. Rev. Lett. 13, 321 (1964)
G.S. Guralnik, C.R. Hagen, T.W.B. Kibble, Phys. Rev. Lett. 13, 585 (1964)
Y. Nambu, G. Jona-Lasinio, Phys. Rev. 112, 345 (1961)
J. Goldstone, Nuovo Cimento 19, 154–164 (1961)
J. Goldstone, A. Salam, S. Weinberg, Phys. Rev. 127, 965 (1962)
S. Elitzur, Phys. Rev. D 12, 3978 (1975)
G.F. De Angelis, D. de Falco, F. Guerra, Phys. Rev. D 17, 1624 (1978)
E. Fradkin, S. Shenker, Phys. Rev. D 19, 3682 (1979)
K. Osterwalder, E. Seiler, Ann. Phys. 110, 440 (1978)
E. Seiler, Lect. Notes Phys. 159, 1 (1982)
M. Creutz, L. Jacob, C. Rebbi, Phys. Rep. 95, 201–282 (1983)
K. Langfeld, arXiv:hep-lat/0212032
C. Bonati, G. Cossu, M. D’Elia, A. Di Giacomo, Nucl. Phys. B 828, 390–403 (2010). arXiv:0911.1721 [hep-lat]
C.B. Lang, C. Rebbi, M. Virasoro, Phys. Lett. B 104, 294 (1981)
R.C. Brower, D.A. Kessler, T. Schalk, H. Levine, M. Nauenberg, Phys. Rev. D 25, 3319 (1982)
I-Hsiu Lee, J. Shigemitsu, Nucl. Phys. B 263, 280–294 (1996)
S. Nadkarni, Nucl. Phys. B 334, 559–579 (1990)
A. Hart, O. Philipsen, J.D. Stack, M. Teper, Phys. Lett. B 396, 217–224 (1997). arXiv:hep-lat/9612021
J. Greensite, S. Olejnik, D. Zwanziger, Phys. Rev. D 69, 074506 (2004). arXiv:hep-lat/0401003
T. Munehisa, Y. Munehisa, Nucl. Phys. B 215, 508–526 (1983). Erratum: Nucl. Phys. B 218, 545–545 (1983)
Y. Munehis, Phys. Rev. D 30, 1310 (1984)
Y. Munehisa, Phys. Rev. D 31, 1522 (1985)
Y. Munehisa, Phys. Lett. B 155, 159–162 (1985)
T. Munehisa, Y. Munehisa, Z. Phys. C 32, 531 (1986)
Y. Munehisa, Mod. Phys. Lett. A 3, 23–31 (1988)
K.-I. Kondo, Nucl. Phys. B 295(FS21), 93–104 (1988)
J. Jersak, Lattice Studies Of The Higgs System, HLRZ-89-45, DESY-89-115
J. Jersak, Lattice Higgs Models, Published in NATO Sci. Ser. B 140, 133–169 (1985). PITHA-85/25
J. Fröhlich, G. Morchio, F. Strocchi, Phys. Lett. B 97, 249 (1980)
J. Fröhlich, G. Morchio, F. Strocchi, Nucl. Phys. B 190, 553 (1981)
G. ’t Hooft, Which Topological Features of a Gauge Theory Can Be Responsible for Permanent Confinement? Lecture given at Cargese Summer Inst. 1979, NATO Sci. Ser. B 59, 117 (1980)
A. Maas, arXiv:1712.04721 [hep-ph]
R. Rajaraman, Solitons and Instantons: An Introduction to Solitons and Instantons in Quantum Field Theory (North-Holland, Amsterdam, 1987)
A. Vilenkin, E.P.S. Shellard, Cosmic Strings and Other Topological Defects (Cambridge University Press, Cambridge, 2000)
N. Manton, P. Sutcliffe, Topological Solitons (Cambridge University Press, Cambridge, 2004)
Ya. Shnir, Magnetic Monopoles (Springer, Berlin, 2005)
E.J. Weinberg, Classical Solutions in Quantum Field Theory (Cambridge University Press, Cambridge, 2012)
A.M. Polyakov, Nucl. Phys. B 120, 429 (1977)
G.’t Hooft, Nucl. Phys. B 79, 276 (1974)
A.M. Polyakov, JETP Lett. 20, 194 (1974)
Y.M. Cho, Phys. Rev. D 21, 1080 (1980)
Y.S. Duan, M.L. Ge, Sinica Sci. 11, 1072 (1979)
L. Faddeev, A. Niemi, Phys. Rev. Lett. 82, 1624 (1999)
K.-I. Kondo, T. Murakami, T. Shinohara, Prog. Theor. Phys. 115, 201 (2006)
K.-I. Kondo, T. Murakami, T. Shinohara, Eur. Phys. J. C 42, 475 (2005)
K.-I. Kondo, Phys. Rev. D 74, 125003 (2006)
K.-I. Kondo, T. Shinohara, T. Murakami, Prog. Theor. Phys. 120, 1 (2008)
K.-I. Kondo, S. Kato, A. Shibata, T. Shinohara, Phys. Rep. 579, 1 (2015). arXiv:1409.1599 [hep-th]
S. Nishino, R. Matsudo, M. Warschinke, K.-I. Kondo, arXiv:1803.04339 [hep-th]
K.-I. Kondo, Phys. Rev. D 57, 7467 (1998)
E.C.G. Stueckelberg, Helv. Phys. Acta 11, 225 (1938)
T. Kunimasa, T. Goto, Prog. Theor. Phys. 37, 452 (1967)
T. Fukuda, M. Monda, M. Takeda, Kan-ichi Yokoyama, Prog. Theor. Phys. 66, 1827 (1981)
A.A. Slavnov, L.D. Faddeev, Theor. Math. Phys. 3, 312 (1970). [Teor. Mat. Fiz. 3, 18 (1970)]
A.A. Slavnov, Theor. Math. Phys. 10, 201 (1972). [Teor. Mat. Fiz. 10, 305 (1972)]
J.M. Cornwall, Phys. Rev. D 10, 500 (1974)
J.M. Cornwall, Nucl. Phys. B 157, 392 (1979)
J.M. Cornwall, Phys. Rev. D 26, 1453 (1982)
R. Delbourgo, G. Thompson, Phys. Rev. Lett. A 57, 2610 (1986)
R. Delbourgo, S. Twisk, G. Thompson, Int. J. Mod. Phys. A 3, 435 (1988)
H. Ruegg, M. Ruiz-Altaba, Int. J. Mod. Phys. A 19, 3265 (2004). arXiv:hep-th/0304245
I.L. Bogolubsky, E.-M. Ilgenfritz, M. Müller-Preussker, A. Sternbeck, Phys. Lett. B 676, 69–73 (2009). arXiv:0901.0736 [hep-lat]
A. Cucchieri, T. Mendes, Phys. Rev. D 78, 094503 (2008). arXiv:0804.2371 [hep-lat]
A. Cucchieri, T. Mendes, Phys. Rev. Lett 100, 241601 (2008). arXiv:0712.3517 [hep-lat]
O. Oliveira, P.J. Silva, Phys. Rev. D 86, 114513 (2012). arXiv:1207.3029 [hep-lat]
A.G. Duarte, O. Oliveira, P.J. Silva, Phys. Rev. D 94(1), 014502 (2016). arXiv:1605.00594 [hep-lat]
Ph Boucaud, J.P. Leroy, A. Le Yaouanc, J. Micheli, O. Pene, J. Rodriguez-Quintero, JHEP 0806, 099 (2008). arXiv:hep-ph/0803.2161
A.C. Aguilar, D. Binosi, J. Papavassiliou, Phys. Rev. D 78, 025010 (2008). arXiv:0802.1870 [hep-ph]
C.S. Fischer, A. Maas, J.M. Pawlowski, Ann. Phys. 324, 2408 (2009). arXiv:0810.1987 [hep-ph]
J. Braun, H. Gies, J.M. Pawlowski, Phys. Lett. B 684, 262 (2010). arXiv:0708.2413 [hep-th]
M. Tissier, N. Wschebor, Phys. Rev. D 82, 101701 (2010). arXiv:1004.1607 [hep-ph]
M. Tissier, N. Wschebor, Phys. Rev. D 84, 045018 (2011). arXiv:1105.2475 [hep-th]
K.-I. Kondo, Phys. Rev. D 84, 061702 (2011). arXiv:1103.3829 [hep-th]
M.A.L. Capri, D. Dudal, A.J. Gomez, M.S. Guimaraes, I.F. Justo, S.P. Sorella, D. Vercauteren, Phys. Rev. D 88, 085022 (2013). arXiv:1212.1003 [hep-th]
M.A.L. Capri, D. Dudal, A.J. Gomez, M.S. Guimaraes, I.F. Justo, S.P. Sorella, Eur.Phys.J. C 73(3), 2346 (2013). arXiv:1210.4734 [hep-th]
PoS QCD-TNT09, Proceedings of QCD Green’s Functions, Confinement, and Phenomenology (QCD-TNT), ed. by J.M. Cornwall, D. Binosi, J. Papavassiliou, A.C. Aguilar, Trento, Italy, 7–11 Sep 2009. http://pos.sissa.it/cgi-bin/reader/conf.cgi?confid=87,
Proceedings of the many faces of QCD, Ghent, Belgium, 1–5 Nov 2010. http://sites.google.com/site/facingqcd/
P.O. Bowman, U.M. Heller, D.B. Leinweber, M.B. Parappilly, A. Sternbeck, L. von Smekal, A.G. Williams, Jian-bo Zhang, Phys. Rev. D 76, 094505 (2007). arXiv:hep-lat/0703022
K.-I. Kondo, Y. Suda, M. Ohuchi, R. Matsudo, Y. Hayashi, CHIBA-EP-231 (preprint, in preparation)
T. Kugo, I. Ojima, Prog. Theor. Phys. Suppl. 66, 1–130 (1979)
G. Curci, R. Ferrari, Nuovo Cim. A 35, 1 (1976). Erratum-ibid. A 47, 555 (1978)
K.-I. Kondo, Phys. Rev. D 87, 025008 (2013). arXiv:1208.3521 [hep-th]
K.-I. Kondo, K. Suzuki, H. Fukamachi, S. Nishino, T. Shinohara, Phys. Rev. D 87, 025017 (2013). arXiv:1209.3994 [hep-th]
Acknowledgements
This work is supported by Grant-in-Aid for Scientific Research, JSPS KAKENHI Grant Number (C) No.15K05042.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: U(1) gauge-scalar model
The instanton configuration in \(D=2\) dimensional Euclidean space-time can be identified with the static vortex (line-like defect) in \(D=2+1\) dimensional Minkowski space-time. The finite-action configurations for \(D=2\) spacetime are characterized by an integer N, the winding number, just as they are for four-dimensional gauge field theories. Usually, the winding number is obtained as the integral over the circle \(C_{\infty }\) located at infinity:
and is equivalently written using the Stokes theorem as the area integral over the surface \(S_{\infty }\) enclosed by the loop \(C_{\infty }\):
where \(F_{ab}[A]:=\partial _a A_b - \partial _b A_a\) is the field strength of the field \(A_a\). This guarantees that the winding number is gauge independent, namely, does not depend on the gauge choice. The winding number is equal to the first Chern number of the magnetic field.
According to the procedure presented in this paper, however, we can explicitly separate the original gauge field \(A_\mu \) into the gauge-invariant massive modes \(W_\mu \) and the residual field \(V_\mu \). Remarkably, an arbitrary circle C can be used to give the winding number by choosing \(V_\mu \) as far as it encloses the center of the defect:
where \(F_{ab}[V]:=\partial _a V_b - \partial _b V_a\) is the field strength of the residual field \(V_a\) and S is an arbitrary surface whose boundary is equal to the loop C. This follows from the observation that in the long-distance \(\rho \rightarrow \infty \), the massive mode \(W_\mu \) does not contribute to the integral and the residual mode \(V_\mu \) alone survives the limit \(\rho \rightarrow \infty \).
We find that N takes an integral value. For \({{\hat{\phi }}}(x)=e^{ig\varphi (x)} \in U(1)\), we have \( V_{a}(x) = \partial _a \varphi (x) \) and
since \(\varphi (x)\) must have the property \(\varphi (2\pi ) - \varphi (0)=2\pi n\) due to single-valuedness of \({{\hat{\phi }}}\).
The vector field \(\varvec{V}=(V_1,V_2)\) has vanishing divergence and rotation except on the singular points: \( \nabla \cdot \varvec{V} = 0 \), \( \nabla \times \varvec{V} = \varvec{0} \). Therefore, we have
This means that the vector field \(\varvec{V}\) is equal to the gradient of the angle \(\varphi \):
The rotation of the vector field V in the whole space is given by
which follows from
We discuss explicitly the \(D=3\) case. For \(D=2+1\), the vortex is the relevant configuration. In what follows, especially, we pay attention to the difference between the usual Nielsen-Olesen vortex in the U(1) gauge-Higgs model and the new vortex in the present U(1) gauge-scalar model with the radially fixed scalar field.
We adopt the static (i.e., time-independent) and axially symmetric Ansatz:
where
Under this Ansatz, the field Eq. (33) are reduced to coupled nonlinear ordinary differential equations for A and F as functions of \(\rho \):
For the radially fixed case, the field equations are given by
For arbitrary values of \(\lambda \) and q, the explicit analytical solutions for (A11) and (A12) are not known. In the limit \(\lambda =\infty \), especially, the magnitude of the scalar field is fixed \(F(\rho )=\frac{v}{\sqrt{2}}\), and therefore A is solved:
which gives the vacuum solution with the lowest energy \(E=0\). The soliton solution with a finite energy approaches the vacuum solution in the large \(\rho \) asymptotic region.
In the radially fixed scalar case, \(F(\rho )=\frac{v}{\sqrt{2}}\) for any \(\rho \), but the gauge field is not restricted to the vacuum solution and can deviate from it. By solving (A13), the equations (A14) and (A14) reduce to
the first Eq. (A17) determines the Lagrange multiplier field u once the solution of the second Eq. (A18) for the gauge field \(A_\mu \) is obtained. The second Eq. (A18) can be solved by using the ansatz:
where w must satisfy
The equation for w is the modified Bessel differential equation and the solution is given by the modified Bessel functions. The two linearly independent solutions are denoted by \(I_1(M_{W}\rho )\) and \(K_1(M_{W}\rho )\). The solution must be determined so as to satisfy the boundary conditions.
The energy of the field configuration satisfying the field equation is obtained by the variation of the Hamiltonian:
By substituting the Ansatz (A9) into (A21), we have
In fact, the Euler–Lagrange equation for A and F agree with (A11) and (A12).
For the energy of a vortex per unit length to be finite, the profile functions must satisfy the boundary condition at \(\rho =\infty \):
and the boundary condition at \(\rho =0\):
At the origin \(\rho =0\) we require the regularity for the gauge field, which is ensured by
We find that the solution satisfying (A23) and (A25) is exactly given by
since the asymptotic forms are given for large z
and for small z
Thus, the solution of the gauge field A is decomposed into the massive mode W and the residual mode V as
The decomposed fields V and W are singular at \(\rho =0\), but singularities cancel between V and W so that A is regular everywhere.
Notice that despite the non-trivial topology of the vacuum manifold there are no finite energy field configurations with non-zero topological charge in the global theory.
Appendix B: SU(2) gauge-scalar model: comparison of fundamental scalar and the adjoint scalar
We summarize the formulas for the SU(2) gauge-scalar model complementary to the massive SU(2) Yang–Mills theory to see the differences between the fundamental scalar and the adjoint scalar as follows.
In the adjoint scalar case, it is shown [52] that the partition function is rewritten
We can reproduce the preceding cases by choosing the gauge. For instance, the unitary gauge,
reproduces
since
In the limit, the gauge-adjoint scalar model with the radially fixed scalar field is reduced to the Yang–Mills theory with the gauge-fixing term of the Maximal Abelian gauge \({\mathscr {D}}^\mu [A^3]A_\mu ^a=0\) and the associated Faddeev–Popov determinant \(\Delta _{\mathrm{FP}}\) supplemented with a mass term \(S_\mathrm{m}[A^a]\) for the off-diagonal gluons.
SU(2) gauge-scalar model (“complementary”) to the massive SU(2) Yang–Mills theory
\(G=SU(2)\) | Fundamental scalar \(\Phi \), \(\Theta = ({{\tilde{\Phi }}}, \Phi ) \in G\) | Adjoint scalar \(\varvec{\phi } \in {\mathscr {G}}\) |
---|---|---|
SSB pattern \(G \rightarrow H\) | Complete: \(SU(2) \rightarrow \{ 1 \}\) | Partial: \(SU(2) \rightarrow U(1)\) |
Field decomposition | \({\mathscr {A}}_\mu ={\mathscr {W}}_\mu +{\mathscr {V}}_\mu \) | \({\mathscr {A}}_\mu ={\mathscr {W}}_\mu +{\mathscr {V}}_\mu \) |
Gauge transformation | \({\mathscr {A}}_\mu \rightarrow U{\mathscr {A}}_\mu U^\dagger +ig^{-1}U\partial _\mu U^\dagger \) | same as on the left |
Massive mode \({\mathscr {W}}_\mu \) | \({\mathscr {W}}_\mu =-ig^{-1} {\hat{\Theta }} ({D}_{\mu }[{\mathscr {A}}] {\hat{\Theta }} )^\dagger \) | \({\mathscr {W}}_\mu =-ig^{-1}[\hat{\varvec{\phi }},{\mathscr {D}}_\mu [{\mathscr {A}}]\hat{\varvec{\phi }}]\) |
\({\mathscr {W}}_\mu = {\mathscr {W}}_\mu ^A T_A \in su(2)\) | \({\mathscr {W}}_{\mu }^A = ig^{-1} [{\hat{\Phi }}^\dagger \sigma _A D_{\mu }[{\mathscr {A}}] {\hat{\Phi }}- (D_{\mu }[{\mathscr {A}}] {\hat{\Phi }} )^\dagger \sigma _A {\hat{\Phi }} ]\) | \({\mathscr {W}}_{\mu }^A = g^{-1} \epsilon ^{ABC} {\hat{\phi ^B}} ({\mathscr {D}}_\mu [{\mathscr {A}}]{{\hat{\phi }}})^C\) |
Gauge transformation | \({\mathscr {W}}_\mu \rightarrow U{\mathscr {W}}_\mu U^\dagger \) | same as on the left |
Residual mode \({\mathscr {V}}_\mu \) | \({\mathscr {V}}_\mu =ig^{-1} {\hat{\Theta }} \partial _{\mu } {\hat{\Theta }} ^\dagger \) | \({\mathscr {V}}_\mu =c_\mu \hat{\varvec{\phi }}+ig^{-1}[\hat{\varvec{\phi }},\partial _\mu \hat{\varvec{\phi }}]\) |
\({\mathscr {V}}_\mu = {\mathscr {V}}_\mu ^A T_A \in su(2)\) | \({\mathscr {V}}_{\mu }^A = -ig^{-1} [{\hat{\Phi }}^\dagger \sigma _A \partial _\mu {\hat{\Phi }}- \partial _\mu {\hat{\Phi }} ^\dagger \sigma _A {\hat{\Phi }} ]\) | \( c_\mu ={\mathscr {A}}_\mu \cdot \hat{\varvec{\phi }}\) |
Gauge transformation | \({\mathscr {V}}_\mu \rightarrow U{\mathscr {V}}_\mu U^\dagger +ig^{-1}U\partial _\mu U^\dagger \) | same as on the left |
Defining equation | \( {D}_\mu [{\mathscr {V}}] {\hat{\Phi }}=0\), \( {D}_\mu [{\mathscr {V}}] {\hat{\Theta }}=0\) | \({\mathscr {D}}_\mu [{\mathscr {V}}] \hat{\varvec{\phi }}=0\) |
(\( {\mathscr {W}} \cdot {\hat{\Phi }}\not =0\)) | \( {\mathscr {W}}_\mu \cdot \hat{\varvec{\phi }} =0\) | |
Field equation 1 | \(\mathrm{tr} \left( \Theta ^{\dagger }\Theta - \frac{1}{2}v^2 \varvec{1} \right) /\mathrm{tr}(\varvec{1}) = 0\) | \(\varvec{\phi } \cdot \varvec{\phi } - v^2 = 0\) |
Field equation 2 | \(- {D}_{\mu }[{\mathscr {A}}] {D}^{\mu }[{\mathscr {A}}] \Theta + \Theta u = 0\) | \(- {\mathscr {D}}^{\mu }[{\mathscr {A}}] {\mathscr {D}}_{\mu }[{\mathscr {A}}] \varvec{\phi } + 2u \varvec{\phi } =0\) |
Field equation 3 | \({\mathscr {D}}^\nu [{\mathscr {A}}] {\mathscr {F}}_{\nu \mu }[{\mathscr {A}}] + M_W^2 {\mathscr {W}}_\mu = 0\) | \({\mathscr {D}}^\nu [{\mathscr {A}}] {\mathscr {F}}_{\nu \mu }[{\mathscr {A}}] + M_W^2 {\mathscr {W}}_\mu = 0\) |
Reduction condition \(\chi \) | \({\mathscr {D}}^\mu [{\mathscr {V}}]{\mathscr {W}}_\mu =0\) | \({\mathscr {D}}^\mu [{\mathscr {V}}]{\mathscr {W}}_\mu =0\) |
Color direction field | \(\varvec{n} = {{\hat{\Theta }}} \sigma _3 {\hat{\Theta }}^{\dagger } \) | \(\varvec{n} =\hat{\varvec{\phi }} \) |
\(\varvec{n}=n^A \sigma _A \) | \( n^A= - {\hat{\Phi }}^\dagger \sigma _A {\hat{\Phi }}\) | \(n^A={\hat{\phi }}^A\) |
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3.
About this article
Cite this article
Kondo, KI. Gauge-independent Brout–Englert–Higgs mechanism and Yang–Mills theory with a gauge-invariant gluon mass term. Eur. Phys. J. C 78, 577 (2018). https://doi.org/10.1140/epjc/s10052-018-6051-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6051-2