Some Results on Topological Currents in Field Theory
Total Page:16
File Type:pdf, Size:1020Kb
Some results on topological currents in field theory Vivek M. Vyas Raman Research Institute, C. V. Raman Avenue, Sadashivnagar, Bengaluru 560 080, INDIA [email protected] V. Srinivasan Department of Theoretical Physics, Guindy Campus, University of Madras, Chennai 600 025, INDIA Prasanta K. Panigrahi Indian Institute of Science Education and Research Kolkata, Mohanpur, Nadia 741 246, INDIA Abstract A few exact results concerning topological currents in field theories are obtained. It is generally shown that, a topological charge can not generate any kind of symmetry transformation on fields. It is also proven that, the existence of a charge that does not generate any kind of symmetry transformation on fields, has to be of topological origin. As a consequence, it is found that in a given theory, superconductivity via Anderson-Higgs route can only occur if the gauge coupling with other fields is minimal. Several physical implications of these results are studied. arXiv:1411.3099v2 [hep-th] 4 Jun 2019 1 I. INTRODUCTION Topological aspects are central to several problems in quantum field theory. In study of problems related to monopoles, instantons, anomalies and σ-models, ideas of topology are indispensable [1–3]. Insights based on topology are useful in the understanding of various phenomena in areas like superconductivity, Hall effect, QCD and cosmology [1, 4, 5]. It has been generally seen that topology often governs the global aspects in a given field theory, and provides with information which is non-perturbative in nature. In this paper, the aspects of currents which are of topological origin, and are conserved without resorting to any symmetry principle are studied. It is generally proven that, topo- logical charges do not generate any symmetry transformation on the dynamical fields of the theory. Conversely, it is also proven that, if there exists a charge that does not generate any transformation on the dynamical fields of the theory, then the corresponding current must be topological in nature. One of the interesting implication of these statements is that, topological spontaneous symmetry breaking is non-existent. As a result, it is found that in a given theory, superconductivity via Anderson-Higgs route can only occur if the gauge cou- pling is minimal. This has several consequences in condensed matter and nuclear physics. Occurrence of topological currents in certain non-relativistic models are also studied and their physical relevance pointed out. II. TOPOLOGICAL CURRENTS As is well known, the dynamics of a given (classical) field theory of a field φ(x), defined in n + 1-dimensional space-time, is governed by the equation of motion, which follows from ex- tremisation of the action functional, S = dVxdt L (x, φ(x),∂φ(x))[6] as per the Hamilton’s R principle. Given such a theory, classical Noether theorem [7–9] dictates that, if continuous transformation of coordinates (xµ xµ +δxµ), fields (φ(x) φ(x)+δφ(x)) and possibly La- → → grangian (density) (L L +δL ), is such that action transforms as: S S + dV dtd Λµ, → → µ µ µ R then correspondingly there exists a current j in the theory, such that dµj = 0[10]. Further, if the current ~j(x) decays sufficiently fast as ~x then charge Q = dV j0(x) is con- | |→∞ dQ R served under time evolution dt = 0[11]. Assuming that the passage from this Lagrangian configuration space description to Hamiltonian phase space description is non-pathological, 2 charge conservation now can be stated as: ∂Q + Q, H = 0, where the second term stands ∂t { } for Poisson bracket of Q and Hamiltonian H of the theory. In this description, one finds that charge Q indeed generates transformations δF (φ, π)= ǫ F (φ, π), Q , on any function { } F of field φ and its canonical momentum π, which are precisely the ones that give rise to µ the conserved current: dµj = 0 via Noether theorem [12]. It must be noted that current µ µ j (x) is a function of dynamical fields φ(x) and π(x), and the statement dµj = 0 holds true only for those field configurations which solve equation(s) of motion [9]. Such statements are often referred to in the literature as weak statements [13] and we shall denote them as µ w dµj = 0. A simple and instructive example of this appears in the theory of free real scalar field φ(x) 1 µ defined in 1+1 dimensional spacetime with action S = dxdt 2 ∂µφ∂ φ. Canonical conjugate R of φ(x) is π = ∂φ , which obeys canonical equal time Poisson brackets: φ(x, t), π(y, t) = ∂t { } δ(x y). The equation of motion for φ field is: ∂2φ = 0. As is evident, above action is − invariant under continuous field transformation: φ φ + constant, and so as per Noether → µ µ µ µ theorem one obtains a current j = ∂ φ, which is conserved ∂µj = ∂µ∂ φ = 0. Note that the current conservation equation itself coincides with equation of motion and so the current conservation only holds as long as φ(x) obeys equation of motion. Hence, the statement of µ w current conservation is a weak one: ∂µj = 0. Also note that conserved charge Q = dxπ(x), R generates field transformation δφ(x)= ǫ φ(x), Q = ǫ, where ǫ is a real infinitesimal. { } Unlike the above mentioned Noether currents, there exist another class of currents called topological currents, which are conserved due to topological reasons. Their conservation is not in reference to any particular action or Hamiltonian under consideration, and holds identically in general[14]. An example of such a current, in case of real scalar field in 1 + 1 µ µν dimensional space-time is: jT = ǫ ∂ν φ. It is clear that the conservation of this current is not dependent on any particular form of action, and neither is φ(x) required to obey the equation of motion. Also note that the conservation is insensitive to space-time geometry µ as well, since ∂µjT = 0 is independent of metric [15]. In what follows, we shall work with following definition of topological current: µ Definition. In a given field theory, a topological current jT , which is in general a function of coordinates, dynamical fields and possibly of the derivatives of dynamical fields, is a µ s conserved current, whose conservation holds identically: dµjT = 0. 3 Such a topological conservation, hence holds in the strong sense, in contrast to weak sense defined above; and holds true for all the dynamical field configurations which in general do not solve equations of motion of the theory[16]. It must be understood however that, the classification of a given current as Noether or topological is not an absolute one, and depends on the dynamical fields used to express the current. This can be clearly seen from the real scalar theory example considered above. The conserved current jµ = ∂µφ is a Noether current when φ is treated as a dynamical field, with 2 µ µν an equation of motion ∂ φ = 0. Now if one defines a new field χ, such that ∂ φ = ǫ ∂νχ, x µ or explicitly χ(x, t) = −∞ dy ∂tφ(y, t), one sees that the same current j now becomes µ µ Rµν topological j = ∂ φ = ǫ ∂ν χ. Thus one learns that any statement pertaining to currents, in particular, about their being Noether or topological, makes sense only with reference to a given set of dynamical fields. As seen above, the conservation of these topological currents is not in reference to any particular equation of motion, and so it is easy to see that, they are not connected to any continuous field transformation. This fact can be expressed as: Theorem 1. Assume that there exists a classical field theory of a dynamical bosonic field φ(x), which is Poincar´einvariant. Let π(y) denote canonical momentum corresponding to φ(x), obeying canonical Poisson bracket φ(~x, t), π(~y, t) = δ(~x ~y). If there exists a { } − µ conserved topological current JT in such a theory, then the corresponding conserved charge 0 QT = dVJT does not generate any transformations: QT ,φ(x) = 0 and QT , π(x) = 0. R { } { } Proof. From the definition of topological current, it immediately follows that the current µ µ s JT is strongly conserved: dµJT = 0. Equation of motion for any observable O(x, φ(x), π(x)) can be written as [17]: d O = ∂ O + O,P , µ µ { µ} where Pµ are generators of space-time translation, with P0 = H, the Hamiltonian of the theory, and P~ = dV π ~ φ. By virtue of above equation of motion, one can write current R ∇ conservation as: d J µ = ∂ J µ + J µ,P =0. (1) µ T µ T { T µ} But since topological current is strongly conserved, the conservation holds even if the theory is defined with modified Hamiltonian H˜ (which is assumed to be such that the modified 4 theory is also Poincar´einvariant): µ µ µ ˜ dµJT = ∂µJT + JT , Pµ =0. (2) n o ˜ 0 ˜ This immediately implies: H H,JT = 0. Considering the case when H H = n − o − dVy F (φ(y), π(y)), where F is some polynomial function[18] of φ and π; one finds that: R 0 0 dVy F (~y, t),JT (~x, t) = 0. Owing to translational invariance one has: F (~y, t),JT (~x, t) = R { } { } F (~y ~x, t), where dVy F (~y ~x, t) = 0. Exploiting the translational invariance of measure, − R − this can be written as: dVy F (~y, t)=0= dVy F (~z + ~y, t), where ~z is an independent R R constant vector. This can be rewritten as: dV F (~z, t),J 0 (~y, t) =0, Z y T or F (~z, t), Q = 0.