FINITE DENSITY EFFECTS IN GAUGE THEORIES B y Andre Roberge B. Sc. (Physique) Universite de Montreal A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY i n THE FACULTY OF GRADUATE STUDIES PHYSICS We accept this thesis as conforming to the required standard THE UNIVERSITY OF BRITISH COLUMBIA JANUARY, 1989 © Andre Roberge, 1989 In presenting this thesis in partial fulfilment of the requirements for an advanced degree at the University of British Columbia, I agree that the Library shall make it freely available for reference and study. I further agree that permission for extensive copying of this thesis for scholarly purposes may be granted by the head of my department or by his or her representatives. It is understood that copying or publication of this thesis for financial gain shall not be allowed without my written permission. Department The University of British Columbia Vancouver, Canada Date - J » y a DE-6 (2/88) Abstract Various effects of finite fermionic densities in gauge theories are studied. The phase struc-ture of SU(N) gauge theories with fermions as a function of imaginary chemical potential is related to the confining properties of the theory. This phase structure is controlled by a remnant of the ZN symmetry which is present in the absence of fermions. At high tem-perature the theory has a first-order phase transition as a function of imaginary chemical potential. This transition is expected to be absent in the low-temperature phase. It is shown that properties of the theory at nonzero fermion density can be deduced from its behaviour at finite imaginary chemical potential. Anomalies in gauge theories are introduced using various two-dimensional models. In particular, the chiral Schwinger model is shown to be consistent despite being anomalous. The effects of finite densities in anomalous gauge theories is investigated. It is found that, contrary to some recent claims, an effective Harniltonian (obtained by integrating out the fermions) cannot be obtained by the simple inclusion of a Chern-Simons term multiplying the fermionic chemical potential. The importance of dynamical effects is stressed and a mechanism for producing primordial magnetic field is suggested. ii Table of Contents Abstract ii List of Figures iv Acknowledgement v 1 Introduction 1 1.1 Quantum mechanical breakdown of symmetries: anomalies 3 1.2 The confining phase transition 6 1.3 Overview of this thesis . 9 2 Confinement in gauge theories 11 2.1 Introduction to gauge theories 12 2.2 Gauge theories at finite temperature and the Wi lson Line 17 2.3 Effective potential at large temperature 23 3 Imaginary chemical potential and phase structure of gauge theories 29 3.1 Periodicity of the partit ion function as a function of 6 29 3.2 Phase structure as a function of 6 32 3.3 Gauge theories at nonzero baryon density 36 4 Anomalies and the Schwinger model 41 4.1 Anomalies and the Dirac sea . 42 4.2 Bose-Fermi equivalence in l+ l -d imensions 48 i i i 4.2.1 The vector Schwinger model 50 4.2.2 The axial Schwinger model 52 4.3 Introduction to the chiral Schwinger model 55 4.4 Solution of the Chiral Schwinger Model 57 4.5 Discussion 64 5 Anomalous theories at finite density 66 5.1 Introduction to a toy model 67 5.2 Harniltonian solution 69 5.2.1 Unitary gauge 70 5.2.2 Topological gauge 74 5.3 Implications for four dimensional theories 78 6 Conclusion 80 Appendices 82 A Notation 82 B Invariant measure for SU(N) 83 C Computation of the free energy 87 D Examples of non-linear oscillations 93 Bibliography 100 iv List of Figures 1.1 Particle in a periodic potential 4 1.2 Comparison between Meissner effect for a superconducting sphere (a) and confinement for a meson (b) 7 2.1 Sketch of the effective potential for SU(2). The solid fine is the bosonic contribution while the dashed line shows the contribution of a single mass-less fermion 28 3.1 The effective potential as a function of 9 at the three Z$ images of <f> = 0 for the group SU(3) 33 3.2 Free energy density as a function of 9 for SU(N) 34 3.3 Sketch of the phase diagram for SU(N) gauge theories with fermions as a function of temperature and imaginary chemical potential 35 3.4 Sketch of the free energy as a fucntion of 9 illustrating the finite volume effects for SU(2). The parameter c is defined as c = VT3 (adapted from [71]) 40 5.1 Oscillations in the fermion number and the electric field 77 C. l Contour of integration for evaluating the infinite series [eq. C.l9] 91 D. l A= 0.5, m=l. The non-linearity of the equations has very little effect on the oscillations of the anomalous charge 94 D.2 .4=0.9, m=l. Some small variations in amplitude appear. . . . 94 D.3 A=l, m=l. 95 v D.4 .4=1.5, m = l . The two fields appear to be synchronized. . . . . 95 D.5 .4=7.5, m = l . The apparent synchronization showed in the previous figure is absent. Note that the period of oscillation has shortened. . . 96 D.6 .4=7, m=10. 96 D.7 .4=7.9, m=10. The non-linearity effects are becoming important. . . 97 D.8 .4=8.0, m=10. The charge appears to oscillate around a positive value. However, this behaviour doesn't persists 97 D.9 .4=8.0, m=10. Compare this wi th the next figure. It shows that a small change in the in it ia l conditions can produce large variations after only a short time. The horizontal scale is the same for both figures 98 D.10.4=8.01, ro=10. 98 D . l l .4=8.1, m=10. The init ial behaviour is very similar to the previous two cases but any similarity is lost after only two full oscillations 99 v i Acknowledgement There are many people to whom I am grateful. However, the only words that I can find to properly thank them are in french, which I know most - if not al l - of them can understand. Tout d'abord je voudrais remercier mon directeur de these, le Prof. Nathan Weiss, qui a su allier patience et disponibilite tout en m'accordant une complete latitude quant au choix de mon sujet de recherche ce qui m'a permis de satisfaire un certain esprit de rebellion intellectuelle en toute liberte. Mon seul regret est de ne pas lui avoir pose autant de questions que j'aurais pu le faire, hesitant a maintes reprises, par simple souci d'orgueil, a exposer mon ignorance. J'aimerais egalement remercier le Prof. Gordon Semenoff qui, pendant l'annee sabba-tique du Prof. Weiss, a bien voulu superviser mes travaux bien qu' i l fut deja surcharge de travail. C'est lu i qui m'a initie aux anomalies de jauge me donnant ainsi une toute nouvelle perspective sur les theories quantiques des champs. II est dommage que je doive maintenant quitter U B C alors que je commence tout juste a pouvoir profiter pleinement des connaissances du Prof. Semenoff. Je pourrais difficilement passer sous silence les maintes discussions que j 'a i eues avec mes copains de bureau, Sandy Rutherford, Werner K e i l , Dav id Morgan, Geoff Hayward et B i l l Merlevede ainsi qu'avec Rob Link. E n particulier, j ' a i une lourde dette en vers Sandy a propos d'une certaine conversation de fin de soiree d' i l y a quelques deux ans, conversation dont le chapitre cinq de ce memoire de these est le resultat. Mes connaissances de la physique experimentale seraient encore plus rudimentaires qu'elles ne le sont si ce n'etaient de diverses conversations que j 'a i eues avec J i m Booth, v i i Ulr ike Narger, Chris Homes ainsi qu'avec le Prof. B i l l Dalby; je leur en suis tres recon-naissant. C'est egalement avec plaisir que je remercie mes bons copains Dav id London et Bob Wisener pour, entre autres choses, de patientes etudes sur les collisions inelastiques en mecanique classique, ainsi que mon tres cher ami Robert Scharein qui m'a aide a etendre les frontieres de mon intellect dans plusieurs directions orthogonales. Finalement, les mots me manquent pour remercier convenablement mes parents sans qui ma carriere d'etudiant n'aurait pas ete possible. A defaut de mieux, je leur dedie ce memoire. v i i i Chapter 1 Introduction The reductionist approach for describing the physical world has been very successful. A key factor to its success has been the discovery of the existence of various symmetries occuring in Nature. The reductionist approach can be traced back to the fifth century B .C . and the work of two Greek philosopher, Leucippus and Democritus, who introduced the notion of atoms. The atomic hypothesis remained mostly a philosophical concept unt i l the eighteenth century when it was argued by Lavoisier that al l substances were composed of chemical elements whose existence could be verified experimentally. The next crucial step was made in 1808 by Dalton with his atomic theory that incorporated the atomic weight as an essential characteristics of atoms. This allowed Mendeleev in 1869 to recognize a certain symmetry pattern in the occurence of those elements, symmetry which was to be explained by Bohr's atomic theory in 1922. Bohr's atomic theory could be hailed as a tr iumph of reductionism as the number of fundamental building blocks was reduced to two: the electron and the proton. This simplicity wasn't to last very long as Chadwick discovered another fundamental particle, the neutron, in 1932. That same year Anderson observed the positron which had been predicted a few years before by Dirac. Physicists at that point had identified three basic interactions in nature: gravity, electro-magnetism and the strong interaction. Yukawa had postulated that the latter interaction, which acted as the basic glue for the nuclei, was mediated by a new particle called the pion. The muon was discovered shortly afterwards and was incorrectly identified as being the pion. This confusion wasn't to last too long 1 Chapter 1. Introduction 2 as the real pion was soon observed. B y the end of the 1950's, more than 200 of these "fundamental" building blocks had been identified mostly from the study of cosmic rays. O n the theoretical side, quantum electro-dynamics had established itself as the description of electro-magnetism at the most fundamental level. Just as Mendeleev helped uncover a deeper level of structure by exposing an existing symmetry pattern in the occurence of chemical elements, Ge l l -Mann and Zweig recognized an underlying symmetry of this particle zoo and postulated the existence of quarks. The existence of this underlying symmetry and other symmetries of the same type prompted a flurry of theoretical descriptions. B y the early 1970's the dust settled and a model known as the standard model started its reign. In the standard model, the building blocks come in families. Each of these families contains 4 s p i n - | fermions, two of. these are the aforementioned quarks while the other two are called leptons. Four fundamental interactions describe the behaviour of these particles. We already mentioned gravity, electro-magnetism and the strong interaction. The fourth is called the weak interaction and is the interaction involved in some nuclear decays. These basic interactions have been described as resulting from some underlying symmetry in nature. The models describing these symmetries, ignoring gravity for the moment, are known as gauge theories and their interactions are mediated by the exchange of new types of particle called gauge bosons. The photon, massless mediator of the electro-magnetic interaction, is a familiar example of a gauge boson. The underlying symmetries are described in the language of group theory. For the strong interaction, the group is SU(3)c where the label C identifies "colour" as the basic charge. The weak interaction and electromagnetism are grouped together i n the so-called electro-weak interaction described by the group SU(2)i x U(l)y- The label L refers to the fact that only particles with left-handed helicity participate in the weak interaction while Y refers to a property called hypercharge which is partly related to Chapter 1. Introduction 3 electrornagnetism. In order to preserve the symmetries, these gauge bosons have to be massless. However it is a fact of life that some of these, namely the W and the Z bosons, are massive. This is now understood to be the result of spontaneous symmetry breaking: the physical vacuum, one of the ground states of the theory, does not possess the ful l symmetry of the theory. A familiar example of spontaneous symmetry breaking occurs in ferromagnetism where, below a certain temperature the ground state presents a well defined magnetization which singles out a direction in space whereas the system usually possesses a larger spatial symmetry. As a result of spontaneous symmetry breaking in the electro-weak interaction, we only see a remnant of the full symmetry namely the usual electro-magnetism described by the group U(l). It is believed, however, that at high temperature the full symmetry of the electro-weak theory must be restored just as the spatial isotropy of a ferromagnet is restored once it is heated above its Curie temperature. 1.1 Quantum mechanical breakdown of symmetries: anomalies The general features (particle content, symmetries, etc.) in field theories are generally expressed by means of a classical action. Quantum corrections to the classical action can be calculated leading to an effective action. In some cases, as a result of infinities arising in this type of calculation, the symmetries present in the classical action are not present in the effective action, once the infinities are properly regulated. This quantum mechanical breakdown of symmetries is called an anomaly. Examples of such broken symmetries are the conformal anomalies in gravity theory [15] and in condensed matter theory [107], the chiral gauge anomalies in particle physics [3, 14, 111], etc. The anomaly phenomenon is also associated with the non-conservation of some cur-rent related to the broken symmetry. For the case of gauge theories this non-conservation Chapter 1. Introduction 4 Figure 1.1: Three possible ways for a particle in a periodic potential well to hop from one minimum to another, (a) Tunnelling, (b) Thermal excitation, (c) Instability due to large density. takes the general form d.J^] = hf[A] (1.1) where J[$] is the non-conserved current associated to some matter field $ and A repre-sents some gauge field. If we require the physical fields to have compact support, it is possible to integrate the above equation [20, 56] and to show that there is a change in the charge Q associated with the current J[ty} given by A Q = NCSIAR^] - ATc5[/linitial] (1.2) where the ./Vcs[-<4] can be chosen, by an appropriate gauge transformation, to be integers. This leads to various interesting phenomena that can perhaps be illustrated by an analogy. Consider a particle in a periodic potential (fig. 1.1) where each minimum is labelled by a different number. We will associate the label of the local well where the particle is located with the anomalous charge Q. Initially we consider the particle to be at rest at the minimum of the nth well. Classically the particle is stationary and the corresponding Chapter 1. Introduction 5 charge Q is conserved. Quantum mechanically the particle can tunnel through to a different minimum, m, with the corresponding change in charge AQ = m — n. However, because of its tunnelling nature, we expect this process to be exponentially suppressed. Straight tunnelling is not the only process by which a particle can hop from one minimum to another. For example, if we imagine heating up this system, the particle could acquire enough thermal (kinetic) energy to go over the barrier between two minima without the exponential suppression associated with quantum mechanical tunnelling. We can also imagine having more than one particle, each of them with a finite size1, so as to fill up a given well totally. Any extra particle that we attempt to add to this local well will not stay localised, the system being unstable. The above processes are thought to have their counterpart in many quantum field theories. For example, in the electro weak theory, the baryon number is not conserved due to an anomaly. This non-conservation can occur as the result of some tunnelling events. In quantum field theory these tunnelling events are described in terms of solution to the classical equations in Euclidean space (instantons) [13]. However the exponential suppression of ihstanton-induced transitions makes these essentially unobservable (e.g. if the proton could decay only through instantons, its lifetime would be of the order of I O 6 0 0 years!) [52, 53] The thermal hopping mentioned before also has its counterpart in quantum field theory. It occurs via an unstable solution of the equation of motion in Euclidean space called a sphaleron [60]. Preliminary calculations [61, 8, 9] show this rate to be so large as to lead to an almost complete disappearance of any baryon asymmetry present in the early universe. At the present time, there is no obvious way to accomodate this result in any cosmological scenario while retaining consistency with astrophysical observations2. 10r, like fermions, filling up some distinct energy levels. 2 See however [62]. Chapter 1. Introduction 6 Final ly , the thi rd mechanism for anomalous decay, namely decays induced by the presence of large densities, has been suggested to also have its counterpart in quantum field theory, more specifically in the electroweak theory [85, 86, 87, 67]. It has been argued that systems with large baryonic densities are inherently unstable due to the baryon current anomaly. We wi l l look at this possibility in more detail in chapter 5. 1.2 The confining phase transition The anomalies of the standard model are not its only interesting features. Whi le the quark model has been very successful at explaining the profileration of hadrons, free isolated quarks yet remain to be observed. This has led to the notion of confinement: it is believed that al l colour-charged objects form bound systems that are colour-neutral. This peculiar behaviour can be attributed to some properties of the vacuum in quantum field theories. In particular, in addition to carrying topological quantum numbers the vacuum has some (colour) electric polarizabil ity and (colour) magnetic permeability. This can lead to screening (for Q E D ) or anti-screening (for Q C D ) of charges. This is better i l lustrated by an analogy. Consider a sphere of superconducting material placed in an external magnetic field. It is well known that, under reasonable conditions (where both the temperature and the external magnetic field are below a certain threshold), the field lines wi l l be expelled from the interior of the sphere. This is known as the Meissner effect (see fig. 1.2). In Q C D , the analogue of the superconducting material is the vacuum itself. If we place some colour-charged objects in the Q C D vacuum, the vacuum tends to push the colour electric field away. Thus if for example we have two coloured objects of opposite charge such that one can act as a source for the field lines and the other one as a sink, the fields lines are confined to a l imited region of space as opposed to extending over al l space as Chapter 1. Introduction 7 (a) (b) Figure 1.2: Comparison between Meissner effect for a superconducting sphere (a) and confinement for a meson (b). they do in electro-magnetism. While the above analogy with superconductivity illustrates the confinement of quarks, it fails to illustrate the fact that quarks appear to behave as though they were free inside hadrons. Perhaps yet another analogy could help visualise this phenomenon. Imagine the vacuum to be similar to water (liquid) while hadrons are like little steam bubbles. Inside the bubbles, water-vapour molecules behave essentially like the particle of an ideal gas and we have the analogue of asymptotic freedom. Yet outside the bubbles, these molecules cease to exhibit their ideal gas-like properties. This analogy can be taken even further. If we imagine heating up this water-vapour system, we would create more and more steam bubbles leading to an eventual percolated state in which the vapour molecules could wander freely over all the system. A similar thing is believed to happen in QCD. Chapter 1. Introduction 8 A t large enough temperature or density it is believed that a phase transition takes place with the coloured objects being no longer confined. Whi le there is no evidence for such a phase transition from experiments yet, its consequences for cosmology in general and nucleosynthesis [110] in particular could be very important. For instance, it has been suggested that if this phase transition is strongly first order, large local fluctuations in the baryon-to-photon ratio can arise leading to considerable changes on the limits of the allowable baryon density from nucleosynthesis[7, 4, 99]. Shock waves could also be formed in such a phase transition creating potentially important density fluctuations[16]. Even stranger events like the formation of "quarks nuggets" as a source of dark matter have been suggested to take place under some appropriate conditions[108]. In order to study properly these cosmological implications, a better understanding of the phase transition is needed. In particular one would like to have an order parameter characterizing the two phases and possibly allowing us to compute the order of the transition. For pure gauge theories, i. e. in the absence of fermions, such a quantity exists. It is called the Wi lson Line [106, 76, 95] and has been studied extensively. Numerical results using Monte Carlo methods [96] show quite convincingly that the transition is first order for the SU(3) gauge theory. However, a problem arises when one wants to introduce quarks into the picture. In this case, the Wi lson Line can no longer be used as an order parameter (we wil l explain why later). In fact, it is not even sure that a phase transition in the thermodynamic sense does exist when quarks are present. There has been some indication from Monte Carlo simulations that there is indeed a phase transition when quarks are present and that it is a first order one but a consensus is far from being established on this point[97]. Chapter 1. Introduction 9 1.3 Overview of this thesis This thesis is essentially divided in two parts. In the first part, we attempt to get some insight into the phase structure of QCD -and of other SU(N) gauge theories. We do this in the second and third chapter. In this first part we totally ignore effects due to the non-trivial topology of gauge theories. To use our analogy of a particle in a periodic potential, this means that we concentrate on the physical phenomena that take place within a single well. The content of the second chapter is a review3. Starting with an introduction to gauge theories we proceed to derive a partition function for these theories. We then introduce the Wilson Line and show that while it can be used as an order parameter for pure gauge theories, it fails to characterize deconfinement when dynamical fermions are included. A derivation of a one loop effective potential for the Wilson Line, based on the work of Nathan Weiss [101, 102, 103] follows. The next chapter contains new material [80]. This work is essentially an extension to the effective potential calculation of the second chapter to include finite baryon density effects. We show that this leads naturally to the introduction of an imaginary chemical potential. The correspondingly modified effective potential is analyzed in order to deduce the phase structure of the theory. The second part of this thesis starts in the fourth chapter and deals with anomalies in gauge theories. The fourth chapter contains an introduction to anomalies in some two-dimensional fermionic models with an abelian gauge symmetry. We show how the existence of these anomalies is linked to the existence of an infinite number of negative energy levels (the Dirac sea) in these system. We then review a remarkable property of certain two-dimensional theories, namely the equivalence between bosonic and fermionic 3 However we try to present these known results using some original derivations whenever possible. Chapter 1. Introduction 10 quantities. We conclude this chapter with some original work on anomalies in the chiral Schwinger model [64]. The fifth chapter is devoted to the study of the effects of anoma-lies in system with large fermionic density. Others have argued that such system are intrinsically unstable [85, 86, 87, 67]. B y studying a "toy" model [81] we demonstrate that their argument is based on an incorrect premise. We then make some conjectures as to how our results translate into some more realistic theories. We refer the reader to Appendix A for a description of our notation. Chapter 2 Confinement in gauge theories The experimental cross-sections from deep inelastic lepton-nucleon scattering experi-ments are in agreement with a model in which hadrons are described as composite objects whose components are generically called partons. Although partons aren't produced as free particles in the final states of deep inelastic scatterings they behave as though they were only very weakly bound inside the target nucleons. These results appear to be explainable within the context of a gauge theory based on the symmetry group 517(3), known as quantum chromodynamics (QCD) . It can be shown that gauge theories based on a non-abelian symmetry group 1 share a property known as asymptotic freedom. This simply means that the effective coupling constant in those theories depends on the energy scale in such a way as to be vanishingly small as the energy becomes infinite. The property of asymptotic freedom is believed to allow one to use perturbation theory with good reliability for calculating cross-sections at high energy. Despite the fact that al l Yang-Mi l ls theories exhibit asymptotic freedom, comparisons between theory and experiments yield only Q C D as a reasonable candidate for describing the strong interaction. In principle we should be able to use Q C D to calculate all the hadron masses and their various decay rates. It turns out to be just about impossible to do so however as perturbation theory breaks down at low energies where the coupling constant becomes of order unity. Some attempts have been made using non-perturbative techniques but 1 These are called Yang-Mills theories. 11 Chapter 2. Confinement in gauge theories 12 without too much success so fax. In what follows, we look at QCD and other SU(N) gauge theories and try to understand if a phase transition takes place as a function of temperature. 2.1 Introduction to gauge theories The Lagrangian for a free massive fermi field is L = J d3x [#(x)(zy^ - m)V(xj\ . (2.1) This Lagrangian possesses a global U(l) invariance, i.e. it is invariant under the trans-formation #(rr) —-> VB{x)=-e-i9V(x)=UV(x) ${x) —• W(x) = V(x)eie = H(x)U-x (2.2) where 6 is a constant phase. This is very reminescent of ordinary quantum mechanics where the wave function is arbitrary up to an overall phase. We can consider more general symmetries in which U is taken to be an element of SU(N)2, the group of N x N unitary matrices with unit determinant. We must also take (^x) to be an iV-tuplet3 of field operators *(x) = ipN(x) (2.3) We will call the internal degree of freedom of VP (the label specifying the position in the N-tuplet) colour and we will call quarks the fermions described by the components of ty(x). 2We could easily generalize this to other Lie groups. 3We will only consider fermions in the fundamental representation. Chapter 2. Confinement in gauge theories 13 It is also useful to consider theories in which the Lagrangian possesses a local symmetry i.e. we demand that the Lagrangian be invariant under the following transformation: —• W{x)=U(x)<Sl{x) U(x) — • W(x) = y(x)U-1(x) U(x) € SU(N). (2.4) In order to do this we need to modify our notion of derivative and introduce a so-called covariant derivative dp —• D^^dn- igAy. (2.5) where the potential transforms as A,, — > A l = UAyU-1 + -UdyU-K (2.6) We take the Lagrangian to be L = Jd3x [ * (x ) (e 7 ' J D / i - m)V(xj\ . (2.7) which is invariant under the above transformation. We now introduce the field strength F^v [D„ Dv] * = {D,DU - DVD^ = -igF^V. (2.8) It is then easy to verify that F can be written in terms of A^ as FMl/ = d»Av - dvAti - ig [A„ Au] (2.9) and that it transforms as F,v —• F l = UF^U-1 (2.10) under a gauge transformation. Chapter 2. Confinement in gauge theories 14 It wi l l be convenient to write A M and F as linear combinations of the group gener-ators A°: A,{x) = Al(x)\* ^(x) = F^(x)Xa with the generators normalized as follows: tr(A°A6) = Cab These generators satisfy the algebra A a , A b =ifabcX a c (2.11) (2.12) (2.13) where the / a 6 c ' s are the totally antisymmetric structure constants of the group. The field strength can then be rewritten as K, = d,Al - d„Aa + gf^A^Al. (2.14) Using the field strength we can add one more Lorentz and gauge invariant term to the Lagrangian in order to make the gauge field dynamical. This yields the usual Yang-Mi l ls Lagrangian d3x * ( « 7 " ^ - m)* ~ \F%Fa^ (2.15) It is easy to derive the Euler-Lagrange equations of motion for this Lagrangian. Under variation wi th respect to A^, we have d«j!-K- -T1T = dllFav,i - gfahcAhuF^v - 5 * 7 " A°* = 0. (2.16) "68^ SAl The v = 0 component is the Yang-Mi l ls analogue of Gauss' law. This is more easily seen if we define a color electric field, Ef = F^, and regard g^yfl\a^ as a current density. We thus rewrite this analogue of Gauss' law as V • Ea + gfabcAb -Ec = pa (2.17) Chapter 2. Confinement in gauge theories 15 where pa(x), the zeroth component of the current density, is the charge density. If the symmetry group is (7(1), this reduces to the usual V • E = p of electrodynamics. We now proceed to derive a Hamiltonian for this system. The canonical momenta are: I K = — = 0 n? = Ef = -h- = F& SL t 8L (2-18) n * = — r - = i¥ n$t = — ! - 7 = o. We recognize n g = 0 as a constraint. We thus choose to derive the Hamiltonian using Dirac's method for constrained systems[32, 50]. A prehminary Hamiltonian is given by H0 = J d3x (E?A? + U^) - L. (2.19) Defining a colour magnetic field, Bf = \e{jkFjk, we obtain after performing an integration by parts 4 H0 = J d3x *(»7 • D + m)# + \{Ea • Ea + Ba- Ba) Li +A%(V • Ea + gfabcAb • Ec - g&\aV)] . We then postulate the equal time canonical commutation relations [A»(£,t),Eb(y,t)] = -iS^jSix - y) \AZ(x,t),Il0(y,t)} = i6abS(x-y) [V(x,t),&(y,t)]+ = S(x-y). (2.20) A t this point, the commutator for n g and A% appears to be inconsistent with the constraints n g = 0. 5 We do not need to worry about this at this point. These constraints 4We will always assume suitable behavior of the fields at infinity allowing us to drop the surface terms. 5We don't explicitely make the distinction between weak and strong conditions for the constraints as it is not essential for our derivation. Chapter 2. Confinement in gauge theories 16 simply tell us is that the physical space is a subspace of the ful l phase space and that the actual number of field degrees of freedom is less than what we would have expected at the outset. Requiring the consistency of this set of constraints under time evolution gives us another set of constraints: Ga(x) = -ns(x) = -z-[ns(x),#0] = o = V-Ea + gfabcAb-Ec-g&\a$. (2.21) We recognize once again the Yang-Mi l ls analogue of Gauss' law which is satisfied at al l times since Ga = 0 as Ga commutes with the Harniltonian. Note that this analogue of Gauss' law does not arise as an equation of motion for one of the dynamical fields in this Harniltonian formulation. This completes the set of constraints satisfied by our system. We are free to add al l of the above constraints to our preliminary Harniltonian and get H = Jd3x (ry • D + m ) ¥ + ^(E a • Ea + Ba • Ba) + v°Ila0 + K - A^)Ga (2.22) where v\ and v% are some spacetime dependent Lagrange multipliers (or gauge velocities) undetermined at this point. The Hamil ton equations of motion partly fix the Lagrange multipliers as we have A0>{x) = -i[Aoi(x),H} = va1(x). (2.23) We do not have such an equation for v%(x). If we want to proceed with this canonical formulation and reduce the phase space to the physical subspace we have to choose some gauge conditions, 7a(-*4/i, J E ^ I I o , ^ , 1 ^ ) = 0, and impose them as constraints that do not follow from the Lagrangian. We do however have some restriction on the form of these gauge conditions. If we denote a general constraint by Xa = 0, we require that the Chapter 2. Confinement in gauge theories 17 matr ix Map = [xa, Xp] D e w e l l defined and non-singular in order to retain consistency. This wi l l be shown (for a different model) in chapter 5. We wi l l not need to deal with this technicality in this chapter as we won't pursue the canonical formulation much further. We see that this gauge choice would reduce the number of degrees of freedom in a very natural way as the Hamiltonian would no longer depend on the conjugate pairs of variables A% and TLQ. We could have proceeded differently and fixed this gauge before deriving a Hamiltonian as is most often done. However, in doing so, we would not have recovered Gauss' law directly. Rather, we would have to either invoke the knowledge we have from the Lagrangian formalism or, as Jackiw does in [57], notice that the resulting Hamiltonian st i l l had some time independent gauge symmetry and recover Gauss' law as the generator of the corresponding transformation. In either case the usual procedure would then have been to impose Gauss' law as a constraint defining the physical states, not as part of the Hamiltonian. We won't have to do this as Gauss' law is already included in our Hamiltonian. This wi l l become clearer when we derive a path integral representation for the partit ion function. 2.2 Gauge theories at finite temperature and the Wilson Line In order to keep our discussion as simple as possible, we wi l l ignore the dynamical contri -bution from the fermions and consider a pure gauge theory in a fixed background density of charges. B y this we mean the theory described by the Hamiltonian We can look at what happens if we were to make a gauge choice such that AQ(X) — 0. where pa(x) is the fixed background charge density. It is useful to study the partit ion function Z = T r e x p ( - / ? # ) - (2.25) Chapter 2. Confinement in gauge theories 18 The trace in this partition function is a restricted trace over the physical subspace. There are many different ways to do this restriction. The first way would be to fix all the gauges at the Hamiltonian level thus having only physical degrees of freedom remaining. A second approach would be the introduction of a delta functional gauge fixing constraint in the functional integral - to be derived below - using the Faddeev-Popov approach[33]. Yet another method would be to partly fix the gauge at the Hamiltonian level, like setting AQ = 0, introduce Gauss' law by means of a projection operator in the functional integral and eventually fix the remaining gauges by various methods. We will proceed with yet another method where we try to retain the gauge freedom as long as we can without using the Faddeev-Popov procedure. Writing the partition function in the \A^) representation, we have Z = J VA^Vv^x) (Ayl S(-) exp{-BH) | ( 2 . 2 6 ) In this expression we retained total gauge freedom and allowed all possible choices for the gauge velocities v^x) by integrating over all such possible choices keeping in mind that the actual partition function has to be calculated only on some restricted physical subspace. This restriction (which also implies some specific choices for the gauge veloci-ties) is represented by the functional delta function, £(•), unspecified at this point. This partition function factorizes nicely: Z = ZQZx (2.27) where Z0 = J VA0(x){Ao\exp(-p J d3x AoU0)\Ao) Zx = JvA(x)Vv2(x)(A\6(-)exp(-8[H0 + J d3xva2Ga])\A). This factorization appears to justify the usual gauge choice A^ = 0 as a -partial- re-duction to the physical subspace is trivially realized in this fashion. Also, if we formally Chapter 2. Confinement in gauge theories 19 rewrite v%(x) = i6(x) we see that PG = J V9(x)exp[iJ d3x8aGa] ~ 6{Ga) (2.28) is a projection operator that enforces Gauss' law. Note that we did not need to insert this operator "by hand" as it has to be done normally[46, 102]. The operator exp(—0H) may be interpreted as a propagation operator in imaginary time over an interval 0. We use this fact to express the partit ion function as a Feynman path integral in Euclidean spacetime. We write exP(-0H) = n exp(-4#) (2.29) and insert the identity operator 1 = J VA^VU,J\A,J)(A,JU^,J\ (2-30) between each term of the product. We also allow for possibly different gauge choices at each Euclidean spacetime point by inserting Jvv26(-) (2.31) whenever we insert the above-mentioned identity operator. Using <n;|A£) = 2TT ab •exp \i (2.32) we get r N = / n J i=i ( f ) p n M i i ( x ) ^ 2 ) J ( f ) x exp N r k=iJ d3x N H(AhL\hVj) - iUj(Aj+1 - Aj) 6(.) up to some normalization constant. Since Z is a trace, we identify with A M i l . Taking the l imit as N —> oo, we finally obtain Z = j VAAx) VIIJx) Vv2(x) £(•) exp JP.B.C. -J^drj d3x (H - tn M i4 M) (2.33) Chapter 2. Confinement in gauge theories 20 where the "dot" now represents Euclidean time derivative and the P.B.C. label is to remind us that we integrate only over A-fields that satisfy periodic boundary conditions in r. Expanding out the Hamiltonian we can see that, upon restricting the integrand to the n 0 = 0 hypersurface and making some explicit choice for Ao, the n 0 and AQ contribution is equal to 1: Z = I VA0(x)VU0(x) [ VA(x)VE(x)Vv2(x)8(-) JP.B.C. JP.B.C. x exp -J^TJ d3x {Ea • Ea + Ba • Ba] + v^Ga + iA • Ea - va2pa^j We now integrate over the momenta - thereby restricting the gauge velocities v2(x) to be functions only of the gauge fields Aa(x). These gaussian integrations give us ' Ba -Ba Z= I VA(x)Vv2(x)6(-)exp - f AT \d3 JP.B.C. JO J -v2p _I _ vv° +gf^Ac) • (iA- - Vva2 + gfadevd2Ae)} We now rename v2 —> iAQ and get the final form Z = JPBC VA^x)6(-)exP(SE)exp (ijQPdT J d3xAa0pa^j (2.34) where SE is the Euclidean action For the sake of simplicity we temporarily restrict our discussion to the group U(\). We take p(x) to be a collection of static quarks with unit charge p(x) = £6 (x - xn) (2.36) n m and obtain Z = f VAli6(')exp(-SE)Y[exp i f dtA0(xn,t) = / VAtl6(.)exp(-SE)UL(Sn)l[L(yrn)] JP.B.C. „ " TJ exp -i / dtA0(xm,t) Jo (2.37) Chapter 2. Confinement in gauge theories 21 where we have introduce the Wi lson Line operator rP L(x) = expi[ <1TAO(X,T). (2.38) Jo Using the definition for the free energy, 0F = — log Z, we get for the vacuum 0Fo = -\ogZ(p = O) and for a single quark B{Fq - Fo) = - log < L(x) > . Similarly, the free energy of a static qq pair is given by 3{Fqq{r) -F0) = - log < L(x)L\x + r) > (2.39) (2.40) (2.41) A confining phase is characterized by < L >= 0 (infinite free energy) whereas a non-zero value indicates deconfinement[76, 68, 69]. 6 The derivation of the Wi lson Line operator is slightly complicated by the non-abelian nature in a general SU(N) gauge theory (N > 1). A static quark field obeys the equation d — * = dt F t - i A o * = 0 (2.42) whose solution is the time-ordered exponential V(x,t) = T exp [ig J*drAo(x,r) $ (x ,0 ) . (2.43) Using this result, one can easily show [70] that the Wi lson Line operator - whose expec-tation value is equal to the exponential of the free energy of an isolated test quark - is given by L{x) = -Ur T exp i f drAo(x, r). (2.44) N Jo 6Note however that one must not confuse < L >= 0 due to ultraviolet or infrared divergences with confinement [102]. Chapter 2. Confinement in gauge theories 22 The confining phase can be related to the existence of a global ZN symmetry. B y construction, the Yang-Mi l ls action is invariant under any local gauge transformation. A t finite temperature however there is a further restriction on the allowed form of the gauge transformations due to the periodicity requirement for the gauge fields in the path integral. Without loss of generality, we write U(x,r + 3) = U(X,T)Z = Uz. The periodicity requirement A^(x , r + 3) = r ) then translates as This requires d^z = 0 thus making z a global parameter. Furthermore z must be an element of the centre of the gauge group since we need zA^z~x = A^. For SU(N) this means whereas for U(l), the centre is U(l) itself. Whi le the action is invariant under this global symmetry, the Wi lson Line is not; it transforms as Thus under a ZN transformation, L —*• z~lL. The existence of this symmetry implies that < L >= 0. Deconfinement must then be viewed as a spontaneous symmetry breaking phenomenon. We shall see later that this spontaneous symmetry breaking is indeed present in perturbation theory at high temperature. In a theory where dynamical fermions are present, the situation isn't as clear. A dynamical antiquark wi l l always neutralize a static - source - quark and yield a finite free energy[35, 11, 28, 51]. Thus < L > is never zero when dynamical fermions are present. This can be linked to the fact that there is no global ZN symmetry when dynamical fermions are present. We wi l l come back to this point later. llzA^U-1 + ig-xUz(dilz'x)U~x = UA^U - i (2.45) (2.46) Chapter 2. Confinement in gauge theories 23 The inclusion of dynamical fermions also introduces some minor changes in our deriva-tion of a path integral representation for the partit ion function. The anticommuting properties of the fermi fields translate as anti-periodic boundary conditions for them in -stead of the periodic boundary condition for the gauge fields. We refer the reader to standard review in the literature [93, 70] for a complete derivation. 2.3 Effective potential at large temperature As we mentioned before, it is believed that perturbation theory should yield a reasonably good description of Q C D at large temperature because of its property of asymptotic freedom. It is possible to classify the terms in the perturbation expansion (Feynman diagrams) in terms of powers of the Planck constant % which is the same as the number of closed loops for a given class of diagrams[19]. We wi l l only calculate the lowest order in this expansion for general SU(N) gauge theories, thus obtaining a one-loop effective potential[55] for the Wi lson Line[102]. However, instead of performing an explicit sum over al l one-loop Feynman diagrams, we use the background field method [30, 1, 2] which yields the same result in a more compact way. The idea of the background field method is to compute the effects of quantum fluc-tuations about a fixed classical background by means of the field expansion where A, is the classical background field and aM represents the quantum fluctuations. Note that we have re-introduced % as a bookkeeping variable to keep track of the order of the expansion. The Euclidean action can be written as (2.48) ermton (2.49) Chapter 2. Confinement in gauge theories 24 where gauge ~jJQdTJ d3x \T2 + Ah1'2 {d^av - ig[a^ A]) +2% [2 (0„a„ - ig[a^ Av)f - ig[a„ a^T^] + 0(h3/2)} and ermion JO In the gauge part of the action T — d^Au — d^A^ is the classical field strength and the trace is over the internal SU(N) symmetry group. The 0(h}^2) term can be integrated by parts to yield which vanishes by virtue of the classical equations of motion. We wish to compute the partition function with an expansion around a classical background that minimizes the ful l action. The first step in determining this background is to fix a gauge. We might be tempted to go to the Weyl gauge by setting A0 = 0. However we cannot do this at finite temperature since it would force A{ to violate the periodic boundary conditions in the functional integral. To see this, it is sufficient to consider gauge transformations for the group U(l): j[ dr J d3x al + grhcA\T% + igVifl) (2.51) A^ —• A9^ = A^ + d^e. (2.52) We choose 9 to be given by (2.53) which yields AQ(X,T) = <j>(x) (2.54) Chapter 2. Confinement in gauge theories 25 The periodicity condition 0) = 0) requires 0<f>(x) = Jjf dt Ao(x, t) which is incompatible with setting A0 = 0. However we can choose a gauge where AQ is time independent. Furthermore for SU(N) we can choose AQ to be diagonal: / AQ(X) = (2.55) and subject to the condition exp[i0($i +. . . -f $AT)] = 1. In this gauge the classical action for the pure gauge term can be rewritten as Sgauge = tr £ dr J d3x [(d0A - dfAo + </[A, A])2 + B2} . (2.56) Integrating the term (d0Ai)diAo by parts, we see that it vanishes since Ao is time inde-pendent. Also, since A is diagonal, (diAo)[Ao, Ai\ is traceless which allows us to write (2.57). Sgauge = tr J* dr J dzx [(diAo)2 + {doA, + g[Ao, A]? + B2 It is clear that the above action wi l l be minimized when V.4o = 0. If we make such a choice the classical action is minimized with Ai = 0. Note that this result would not necessarily hold in other gauges. In this gauge, we write the field expansion for AQ(X) as / p - 1 C 1 + ^ 1 ( x ) A0(X) = = (2.58) g-xCN + fc1/2<Mx) . where the Cj are constant. The partit ion function can then be written as Z= j W^{x))]V<f>VoiVVVVexp [ - 7 T + Sfermion)] (2.59) where we have written out explicitely the factors of % as well as the invariant measure for SU(N), [p,(0$(x))]7. This measure factor can be written as N = n n i i - - ?*k)] 2 j<k 7see appendix B Chapter 2. Confinement in gauge theories 26 = exp N r d3k (2.60) using the results of appendix C. Keeping only terms up to O(n0) in the exponential the total action - including the contribution from the measure - is then quadratic in the fields to be integrated upon. The partit ion function can thus be brought in the form of a product of gaussian integrals wi th Z — ZgaUge Zfermion Zgauge = J VAexp -ATMA = ( d e t M ) " 1 / 2 (2.61) (2.62) and J fermion -I V^lV^l exp = (detJV). (2.63) The details of the calculation are completely given in appendix C. Using the definition for the - Helmholtz - free energy, F = —fl'1 In Z, we obtain for the effective action - the free energy density - the following result: veff(C) = K/°r(c) + vj;ron(c) fermion i where 2 n pCj - dck 2TT (2.64) (2.65) mod 2 Chapter 2. Confinement in gauge theories 27 2 , + 1 2^2 - I M - (2-66) mod 2 / and This is the result for massless fermions only. The fermionic contribution unfortunately cannot be expressed in closed form for the massive case. Some interesting facts from the detailed calculation are worth mentioning. First of al l , we know that a massless spin-1 gauge boson has only two physical degrees of freedom. Yet, we computed the contribution from three degrees of freedom, a. The longitudinal part of a can be easily be identified as being the unphysical one. This is verified by the explicit calculation which shows that the longitudinal part is cancelled by the contribution from the invariant measure term which acts as a ghost term. Secondly, at the classical level the action for the gauge background is identically zero for a l l values of C. This would seem to imply a larger symmetry than the ZN symmetry we mentioned before. This larger symmetry is broken at the one-loop level leaving us with only the predicted ZN symmetry for the effective potential. The consequences of this ZN symmetry have been analyzed in [103]. We now examine the simplest case, SU(2). We see that, using eq. 2.65 and eq. 2.66, Vefj depends only on one parameter - other than the temperature - namely C = C\ — —Ci- A plot of this effective potential as a function of C is provided on fig. 2.1. The gauge part is seen to have the Z 2 symmetry C —> C + ^ while the fermionic part doesn't. The Wi lson Line for SU(2) is given by -(f)- (2.67) We see that at the minima of the effective potential for the gauge field L = ±1 and that the global ZN symmetry we mentioned earlier is thus broken. The fact that the Wi lson line is different from zero at the various minima of the effective potential for the pure gauge theory is also true for the more general SU(N) case as well. We regard this as an Chapter 2. Confinement in gauge theories 28 Figure 2.1: Sketch of the effective potential for SU(2). The solid line is the bosonic contribution while the dashed line shows the contribution of a single massless fermion. indication that deconfinement occurs at large temperature - where perturbation results are thought to be reliable - for the pure gauge theory. Note however that as soon as we introduce fermions, the local Z^ symmetry is broken as the effective potential no longer has a ZN symmetry. There is no longer any global ZN symmetry to be broken and the Wi lson Line can't be used as an order parameter anymore. / Chapter 3 Imaginary chemical potential and phase structure of gauge theories It would be very useful to be able to characterize unambiguously a (de-)confined phase when dynamical quarks are present, especially if we could do so as a function of the fermionic density. In order to study systems at finite density one usually performs a Legendre transformation to the Hamiltonian and looks at the Grand Canonical partit ion function Z = Tr(e-«" + "">) (3.1) where fi is a fixed chemical potential. If the system is in thermodynamical equil ibrium this implies that the average number of particles is conserved. We argued that the Wi lson Line loses its meaning when dynamical fermions are present because a static source introduced into the system would always be neutralized by a dynamical quark. If we could somehow manage to constrain the dynamical quarks so that they couldn't neutralize the source, perhaps we could st i l l use the Wilson Line - or an appropriate modification of it - as an order parameter. As it turns out, the Canonical formalism - fixed particle number -might just provide a natural framework for doing so. We wi l l eventually come back to this point but first turn our attention towards a seemingly unphysical quantity. 3.1 Periodicity of the partition function as a function of 6 Consider the modified partit ion function Z{6) = Tr(e-fiH+ie/f) (3.2) 29 Chapter 3. Imaginary chemical potential and phase structure of gauge theories 30 where N = Jd3x&y (3.3) is the quark number operator. We see that 0 essentially plays the role of an imaginary chemical potential. Since N has integer eigenvalues, Z(0) has to be periodic with period 2ir. However, if the spectrum contains only colour singlet states (i.e. if the eigenvalues of N are always multiples of iV) then Z(9) has periodicity 2ir/N instead. We can see this in a physically interesting way. Consider the functional integral representation for Z(6) : .0 Z{0) = J VVVVVAyexp (- j*' dr J d3x q^D, + im)V + \ F a ^ - i-m (3.4) with periodic boundary conditions for A, and anti-periodic boundary conditions for \P. This is the same partit ion function as one would obtain by introducing a fixed background U(l) potential, 0, coupled to fermion number. This potential can not be gauged to zero at non-zero temperature due to the antiperiodic conditions on \P. We can visualize this situation by embedding the 4-dimensional space with (periodic) time interval r € (0,0) into a 5-dimensional space. The 4-dimensional space becomes a cylinder. We can now imagine putt ing a (5-dimensional) magnetic flux with magnitude 0 through this cylinder. This corresponds to having a vector potential in the r direction of magnitude 01 pi. Now, suppose that the spectrum of the model contains isolated quarks. If we imagine transporting a quark "around" this cylinder, it wi l l pick up a phase exp(i0). The physics is thus unchanged if 0 —* 0 + 2TT SO that Z(0) wi l l have period 2-rr. O n the other hand, if only colour singlets are present in the spectrum (colour singlets have fermion number zero modulo N) then moving a colour singlet object around the cylinder introduces a phase exp(i0N). Thus, the physics in this case is unchanged when 0 —* 0 + 2-K/N and Z{0) wi l l have periodicity 27r/iV rather than just 2n. This would seem to indicate that the periodicity of Z(0) is related to the confining properties of the system. Chapter 3. Imaginary chemical potential and phase structure of gauge theories 31 The situation is however somewhat more complicated. The point is that the ZN symmetry of the action implies that Z(0) must have periodicity 2TT/N — this is reminis-cent of the fact that for gauge theories without fermions, the ZN symmetry implies that < L >= 0 always. To see this we first note that the 6 dependence of the partit ion func-tion in 3.4 can be eliminated from the action and transfered to the boundary conditions v ia the change of variables $ ( x , r ) — - > e , v ' / / J t f ( s , T ) (3.5) The partit ion function now becomes: Z(0) = JVVVVVA,exp ( - Jd4x [tf ( 7 ^ + ir»)« + Ji^*£,]) {3.6) with boundary conditions V(x,0) = -eiB*(x,O). (3.7) The periodicity of Z(6) is proven by performing a gauge transformation — > —• UAJA-1 + ^UdllU-1 (3.8) where U(x, r ) are elements of SU(N) wi th the property that U(x,0) = zU(x,Q) ; z = e i e + 2 * i k / N € ZN. (3.9) Under this transformation both the action and the measure in eq. 3.6 are invariant whereas the boundary conditions are not: <S(x,0) = -eie+2*ik/NV(x,0). (3.10) Comparing eq. 3.7 with eq. 3.10 we conclude that Z(6) = Z(0 + 2Trk/N); in other words, Z(6) is periodic with period 2ir/N. Chapter 3. Imaginary chemical potential and phase structure of gauge theories 32 However we recall that in spite of the fact that the symmetry in pure gauge theories implies that < L > is always zero, the symmetry is broken at high temperature leading to deconfinement. This suggests that the difference between a confining and a deconfining phase in gauge theories with fermions may manifest itself in the behaviour of the theory as a function of 9. In order to study this, we proceed to evaluate the free energy F(0). 3.2 Phase structure as a function of 6 The free energy was calculated in the previous chapter in perturbation theory by means of a one-loop expansion. It is easy to extend this result to include an imaginary chemical potential. The modified action is given by SE + i j d3x = £' dr j d*x [tf (7,A + + \F%Fl\ (3 -H) where 0 Dy = dy - igAy - iS^-. (3.12) Thus in a gauge where A0 is diagonal the effect of including 0 is identical to shifting the matr ix Ao to AQ + 9/(gB) in the fermionic part. The resulting one-loop potential is easily obtained: K / / (C ) = Vboson{C) + Vfermion(C + 0) (3.13) as given by 2.65 and 2.66. The formula for massive fermions is given by C.28. The extrema of V e ^ as a function of 9 are easily found. For 0 = 0, V^j has a global minimum at Cj = 0 and local min ima at Cj = 2-KkjBN, the Z^ images of Cj = 0. Note that so far we have restricted our discussion to the case where only one fermionic species (or flavour) contributes to the effective potential. For N/ massless fermionic flavours, the fermionic part simply gets multiplied by N/. When Nf gets sufficiently large, we no longer have Chapter 3. Imaginary chemical potential and phase structure of gauge theories 33 Figure 3.1: The effective potential as a function of 6 at the three Z 3 images of (f> — 0 for the group SU(3). local minima at the ZN images of Cj = 0. But this is quite irrelevant to our discussion since we are only interested in the global minimum of Vfjf. When 0 is equal to 2na/N this global minimum moves to Cj = —27r[a]/(0N) where [a] denotes the integer part of a. We can now evaluate the free energy as a function of 0 by first calculating the value of V^jf at its various minima for the case Nf = 1. At Cj = 0 the effective potential is given by V ^ = 0) = - j ^ [ l - ^ j , -*<0<* (3.14) with periodic extension to all value of 0. The value of V^JJ at the ZN symmetric points of Cj = 0 is easily derived by performing a ZN transformation: Ve9ff(C = 2nk/0N) = Veef-;*k/N(C = 0). (3.15) A plot of V9jj as a function of 6 for various values of k is provided on fig. 3.1 for the case of £17(3). The multiphase structure is evident. The free energy of the system as a function of 0 is given by the curve with the smallest value of V*j j at each value of 6. Chapter 3. Imaginary chemical potential and phase structure of gauge theories 34 F(9) I 0 2* AK * N N N . Figure 3.2: Free energy density as a function of 0 for SU(N). It is shown on fig. 3.2. We can see that the free energy F(0) is a continuous function of 0 with cusps at 0 = 2ir(k + \)/N. This result implies that the system has a first order phase transition, for fixed temperature, as a function of 0. The Wilson Line is then discontinuous at these values of 0. It would be interesting to study the -^dependence of both the free energy and the Wilson Line in the low temperature limit. This limit corresponds to the strong coupling regime which doesn't allow for a treatment in perturbation theory. We hope that in the future, Monte-Carlo calculations will probe these features. From the behaviour of the free energy we have the following expectation. At high temperature the free energy has the expected ZN symmetry but shows some cusps. We would expect this to be a signal that at high temperature gauge theories have a first order phase transition as a function of 0. In the absence of Monte-Carlo simulations testing the low-temperature limit of these theories, we can look at the next best thing, namely analytical studies of the lattice gauge theory in the strong coupling limit. This has been done in [104] where it was found that both the Wilson Line and the effective potential were smooth functions of 0. Although we cannot draw firm conclusions for the continuum theory from this study it is nonetheless suggestive that in the low temperature Chapter 3. Imaginary chemical potential and phase structure of gauge theories 35 T E M P E R A T U R E u J — i 1 1 1 1 0 2_7T 4_7T 67T 8_£ N N 0 N N V Figure 3.3: Sketch of the phase diagram for SU(N) gauge theories with fermions as a function of temperature and imaginary chemical potential. regime, both the free energy and the Wi lson Line would be smooth functions of 6. We would thus expect no first-order transition to be present for this case. F ig . 3.3 contains a sketch of this aspect of the phase structure. Even though we predict a different behaviour for the high temperature from the low temperature phases, it is clear from fig.3.3 that there is no evidence for a phase transition as a function of temperature at 6 = 0 which is the physical value of 6. It would be very interesting to test this hypothesis in a Monte Carlo simulation. It is difficult to simulate gauge theories at nonzero, real, chemical potential since the fermion determinant is complex. However when the chemical potential is imaginary, this determinant is real and a reasonable simulation may be possible. Chapter 3. Imaginary chemical potential and phase structure of gauge theories 36 3.3 Gauge theories at nonzero baryon density We have just seen how we can get some insight into the "confining" properties of gauge theories by studying their behaviour as a function of an imaginary chemical potential. We now proceed to show how we can obtain results for the theory at finite baryon density from our knowledge of the behaviour of Z(6). Consider the object 1 r2* ZB = — / d9 exp(-i6B)Z(6) 2TT JO = - ? - T r \e-pH F dO exp(i6[N - B\) 2TT L JO = Ti[e-pH8(N-B)]. (3.16) Thus ZB is the Canonical (as opposed to the Grand Canonical) partit ion function at fixed fermion number B. A l l thermodynamical properties should, in the infinite volume l imit , be the same as those obtained at a fixed (real) chemical potential so chosen that the mean fermion number is B. Since the eigenvalues of N are integers, B must be an integer. Using the Z^ symmetry of Z(0), we have ZB = ^J*d0exp(-i9B)Z(e + 2$) = ^ e M k B / N t def, exp(-i<f>B)Z(<f>) (3.17) Z7T Ja' where b — a = b' — a' = 2w. Due to the periodicity of the integrand, the exact values of the l imits of integration are unimportant (as long as we integrate over one complete period) and we have ZB = e2*ikBlNZB. (3.18) We thus see that ZB = 0 (infinite free energy) unless B is a multiple of N. The latter is the case if al l quarks are bound into baryons. Note also that we have fd9e-ISBZ(e)L < ^ C a n o n i c a l - fd0e-ieBZ(Q) Chapter 3. Imaginary chemical potential and phase structure of gauge theories 37 which yields under a ZN transformation < I) >Canonical = e2mk^N < L >Canonical • (3.20) The Wi lson Line thus appears to recover its usefulness as an order parameter in the canonical formulation even in the presence of dynamical quarks since we recover the global ZN symmetry present in pure gauge theories. We refer the reader to the work of Nathan Weiss [104] for more details on this. For the high-temperature perturbative calculation which we did in the previous sec-tion, we can evaluate the free energy as a function of fermionic density for the massless fermion case. The free energy at fixed fermion number FB is given by e • 2 7 r -PFB ' d0eieBe-0FW. (3.21) o In the domain —TT/N < 6 < n/N, F(0) is given (according to eq. 3.14) by where we have reintroduced Nj as the number of quark flavours. In performing the integral 3.21, F(0) can thus be treated as an analytic function of 0 on the whole complex plane. In the thermodynamic l imit , V —» oo, the integral can be done using the steepest descent method with only the first term of the expansion contributing. Wr i t ing B = pV, the stationary point of the phase in eq. 3.21 occurs when M O / 02\ , o n o x ^^H1-^ )- (3-23) This equation has the following three roots: 0O — i 7 r ( a + — a_) 0± = f [ \ / 3 ( a + + a _ ) ± i ( a + - a _ ) ] (3.24) Chapter 3. Imaginary chemical potential and phase structure of gauge theories 38 where a± = 4 27 2 * = ^ > o . (3.25) irNNj Note that a±, fe are al l real. The root of interest to us is the purely imaginary one, Oo, which yields a real free energy. If we write p, = —i9o/0 we get ( 2 ^ ) / p 602 M V (3.26) and -id0B B (2NNf)ir2 120* 3 / > / ? \ 4 ' 7T (3.27) This is the same result -except not surprisingly for the constant t e r m - which is obtained for an ideal gas of massless fermions (spin | ) with degeneracy 2NNj as is expected from this one-loop calculation [5]. In terms of the fermionic density, it is easy to show that for small fermionic density 1 , F oc p2 whereas for large density F oc p4^3. We can also calculate the electric mass, me\, which is a measure of the screening of charges. We expect this screening to increase when more (anti-) fermions are present in the system. This means that m e i should increase with p (or with \fi\). For fixed 6 the electric mass is given by 9 2 ^ (3.28) m e l = 4 aci c3=o with k fixed. When performing this calculation one has to remember that = 0-This means that we can write CN = — C\ — C2 — . . . — CN-I and consider C\,..., CN-I as being independent. It is easy to show that we have d2Vboa dC2k Cj=0 4_/V Z02 1More precisely for small 6. Chapter 3. Imaginary chemical potential and phase structure of gauge theories 39 d2Veff del 2Nf 3d2 (3.29) Since we are using the steepest descent method to evaluate the properties of this system at fixed fermion number, we simply insert 60 in the above equation so as to get wi th fi = 7 r (a + — a_ ) / / ? as denned before. The p-'mdependent part agrees with standard calculation [46] whereas we obtain the expected behaviour for the ^-dependent part. Even though we could have derived the same /3-dependence of the free energy and of the electric mass using the Grand Canonical formulation, it is important to note that the imaginary chemical potential approach, motivated by the Canonical formulation, has provided us with some insight into the phase structure of the theory. It hasn't however given us any new information regarding possible phase transitions as a function of p as T —» 0. Perhaps Monte Carlo studies with an imaginary chemical potential would shed some light on this question. Some interesting new results using the Canonical formulation have appeared recently in the literature [71]. Detailed calculations are provided for both the SU(2) and the 5(7(3) case using group-theoretical methods. A special emphasis is placed on finite volume effects which we need to understand very well if we want to extract any useful information regarding the phases of Q C D in heavy ion collisions experiments. However special care must be taken when working at finite volume. For instance, the fact that symmetries are never broken in finite volume can hide some transitions that would be present in the thermodynamic l imit . The effects of spatial boundary conditions (open, periodic, anti-periodic, etc.) and the discretness of the momentum spectrum modify the implementation of conservation laws. The authors of [71] ignore these issues and use the naive approach of simply keeping V as a finite quantity. They then study the behaviour (3.30) Chapter 3. Imaginary chemical potential and phase structure of gauge theories 40 F{9) ' c > l css 1 0 3w e Figure 3.4: Sketch of the free energy as a fucntion of 0 i l lustrating the finite volume effects for 5(7(2). The parameter c is defined as c = V T 3 (adapted from [71]). of the theories as a function of c = V T 3 as well as a function of 6. The cusping behaviour of the free energy is shown to be present only in the l imit c —* oo. This is il lustrated on The Wi lson Line is also shown to be a smooth function of 0 as long as c is finite. It would be very interesting to see how these features depend on the boundary conditions and to see if they persist in higher-order loop calculations. It would also be interesting to see if the centre symmetry plays the same role in groups other than SU (TV). We hope that these questions wi l l be addressed in the near future. 3.4. Chapter 4 Anomalies and the Schwinger model The phenomenological success of the standard model and its apparent anomaly cancella-t ion [39, 45] have led physicists to believe that the physical world is described by anomaly free gauge field theories. Anomaly cancellation which is associated with renormalizability, unitarity, Lorentz invariance and Einstein locality of the corresponding field theories, has been taken as a constraint in grand unified model building and has played a central role in the identification of certain superstring theories as candidates for ultimate unification [43, 44]. However the understanding of anomalous field theories has increased significantly over the last few years [12] and it has recently been suggested [34] that, properly treated, gauge theories with anomalies may form consistent quantum mechanical systems and in fact may have some useful properties. A n important phenomenological application would be anomaly generated gauge symmetry breaking which may provide an alternative to the standard Higgs mechanism. For example, could the masses of the W and Z vector bosons be generated by an anomaly resulting from the absence of the top quark, rather than the standard picture of spontaneous symmetry breaking? We are unfortunately unable to answer this question at the present time. However, we can solve exactly some anomalous theories in 1-j-l-dimensions and show explicitely that theories with anomalies in the gauge current need not be inconsistent. 41 Chapter 4. Anomalies and the Schwinger model 42 4.1 Anomalies and the Dirac sea Consider the following 1+1-dimensional 1 Lagrangian C = tf i 7 " [d, - i(ev + e a 7 5 )A M ] tf - ±F„„F (4.1) denned on the spatial interval [ — n £ ] where we take £ to be equal to 1 for simplicity, tf is a two-component spinor while the two-dimensional Dirac matrices are chosen as follows: 7° = 1 f0 - l \ 7 = V 1 5 _ 0 1 7 = 7 7 = / 1 o ^ 0 - 1 (4.2) If we choose the anti-symmetric tensor e M " to satisfy e 0 1 = — 1 it is easy to show that Ivl5 = e^Y- (4.3) We can split this Lagrangian into separate contributions from left- and right-movers C = tf RiY [dy - i(ev + ea)A»] *R + ^ L»7 m [5„ - i(ev - ea)A,\ * L - * V " . (4.4) where / ib(xA) \ ( 0 \ (4.5) tf R V>(x,i) V o / and tf r, = \ V>(M) I The reason behind our notation is the fact that, upon solving the equation of motions for the free spinors, we have VR(x,t) = tfH(x-t) tfL(x,t) = tfL(x-M). (4.6) We can then define a left (right) current JL = tfL7"tf£, (JR = tfj^tfii). Since the Lagrangian splits up into two parts we would expect both the left and right current to be 1By 1+1-dimensional we mean one space and one time dimension. Chapter 4. Anomalies and the Schwinger model 43 separately conserved. It turns out however that upon quantization this is not the case. The theory is thus said to be anomalous. The fact that this theory is anomalous can be demonstrated in many ways. For example, i n the functional integral approach, the anomaly owes its existence to the lack of invariance of the fermionic measure under both axial and vector gauge transformations [37, 38, 31]. In the operator based approach of the second quantization procedure in quantum field theory, the origin of the anomaly can be linked to the existence of an infinite number of negative energy levels (the Dirac sea) [58]. We wi l l use this second approach in our introduction to anomalies. The ideas described here are not new but we make an attempt at clarifying certain issues related to gauge invariance as they wi l l be important later. The Lagrangian is invariant (by construction) under the following gauge transforma-tion: A „ — > A J = A^ + df,.d $ —>ya = e x p [ j ( C | > - + e a 7 5 ) t f ] tf. (4.7) Note that the existence of this symmetry prohibits the inclusion of a mass term for the fermi fields, m ^ $ , unless e„ = 0. The Euler-Lagrange equation for A M implies the existence of a conserved current: 0 = d„ J " = eRd^ + eidjl (4.8) with the corresponding conserved charge Q = JdxJ° = eRQR + eLQL (4.9) where eR = ev + e Q and er, = ev — e Q . This is a weaker requirement than having both QR and QL being independently conserved. Using the fact that we are in two dimensions, Chapter 4. Anomalies and the Schwinger model 44 we write A M = 6^8 4- e^&'t, and obtain £ = (id+ + eR [d+(6 - 01) + *1 + e L + 01) * L + \ (•£) (•£) (4-10) where d± = 5o ± 9 i . Under a gauge transformation, 0 —• 09 — 0 + t? while £ remains unchanged, thus containing al l the dynamics of the vector potential. As an approximation, we ignore the term ! ( • £ ) ( • £ ) a n < ^ * a ^ e A^ to be a time independent background field. B y doing this, we loose the distinction between 6 and (. Accordingly, we shall treat both 9 and £ on the same footing for the time being. This means that we choose not to fix a gauge at this point and keep 6 arbitrary. The Harniltonian for the system is easily obtained: Sr. (4.11) In the first quantized theory ^ is a wave-function satisfying a Schrodinger equation. Treating left and right movers separately, the eigenmodes are given by d eR dx ( » - 0 (4.12) which yields ^R,n = exp(iuR,nx + ieR(6 - £)) * L , m = exp(-iu; L i mx + ieL(9 + £))• (4-13) Requiring periodic boundary conditions, i.e. ty(ir) = \P(—7r), we find uR,n = n - eR(Q - E) and uL,m = -m + eL(0 + E) (4.14) where 27T0 = 6(w) — 0(—ir) and 27rE = ((ir) — £(—ir). Note that in order to satisfy periodic boundary conditions, the gauge transformations have to satisfy the constraint (4.15) Chapter 4. Anomalies and the Schwinger model 45 with either e a = 0 or e„/ea = p/q (p,q integers). Second quantization is obtained by expanding the wave function in terms of the eigenmodes * C = ^ E a c > C , n ( 4 ' 1 6 ) where the the usual annihilation operators and the index c denotes the chirality (L or R ) . The aCi„ satisfy the following anticommutation relations {ac,n> Oc'.m} = 0 {a!,n> ac',m} = ^ n m - (4.17) The Hamiltonian can then be written as H = Yl (uR,naR,naRin + W L , „ a [ | n a i ] n ) . (4.18) n We find it convenient (even though it is not necessary — [66, 63]) to redefine the creation and annihilation operators as follows an = aR>n and bn — aJ, fB (4.19) and rewrite the Hamiltonian as H = H0 + Hi + k where Ho = [(n ~ eR®)anan + + e L 0)6t 6 n] n n * = E ^ . n - (4-20) n As usual, we disregard the constant term, k, thus obtaining the "normal ordered" Hamiltonian, : H : = Ho + Hi. We can similarly define a normal ordered charge operator : g : = c „ j : « i « » - C L E ^ n . (4-21) n n The ground state for this system is to be constructed by filling al l the negative energy levels. W i t h the above redefinition of the operators, a filled level above the Dirac sea Chapter 4. Anomalies and the Schwinger model 46 is taken to be a particle while an empty level (or hole) in the Dirac sea represents an anti-particle. Before defining the ground state, consider a state where al l the energy levels of the right (left) movers are filled up to momentum n = N (m = M). The charge of such a state is obtained by a simple counting argument as being N M Q = er £ l - c L £ 1 (4.22) n=—oo m=—oo and the energy is N M E = £ w f l , n - £ ojL,m. (4.23) n=—oo m=—oo Both these quantities involve infinite sums which need to be regulated. We choose to regulate them by the heat kernel method which amounts to damping out the contribution of the negative energy levels as follows: N M QX = eR £ e x P ( A w f l , n ) - E L £ exp( -Au> L i m ) n=—oo m——oo N M Ex = £ WH,nexp(Au>fl,n) - £ w L , m exp( -Au> L > T O ) . (4.24) n——oo m=—oo These expressions agree with the previous ones as A goes to zero. These sums are easily evaluated and we define the regulated quantities in the following way: Q r e* = Km(Qx-\-1)=eRQ%*-eLQLe* E™s = Km (JE* + 2 A - 2 + ± ) = I [(Q^Y + (4.25) where Q^ = N + e R { E - Q ) + l and Q1? = M + eL{E + 0 ) + \ . (4.26) The factor of | that appears is due to the choice of periodic boundary conditions; if we had chosen anti-periodic boundary conditions, this factor would not have been present. Chapter 4. Anomalies and the Schwinger model 47 A t this point, we reintroduce the distinction between dynamical and gauge degree of freedom. If Q r e g is to be a conserved quantity independently of the dynamical evolution of the system, we must have: [(en) 2 - (e L ) 2 ]E = 0. (4.27) Thus it would appear that both the vector Schwinger model[90] (e 0 = 0 = > eR = ei) and the axial Schwinger model (e„ = 0 ==> = — e^) can be consistent theories at the quantum level since the gauge symmetry present at the classical level survives the quantization procedure. On the other hand, the chiral Schwinger model (e a = ±e a = > en — 0 or e i = 0) would appear to be potentially inconsistent. We' l l have more to say on this later in this chapter. For definitiveness, let's look at the vector case and write e r = = e. The re-quirement that QTes be independent of the gauge choice apparently leads to eO = 0. This is however more restrictive than needs to be. If we simply require e© = 0 mod p where p is an integer, we can st i l l retain consistency. A choice of gauge is then viewed as a simple relabelling of the states. Allowable gauge choices thus belong to discrete sets called homotopy classes that are characterized by an integer related to the difference between the value of the gauge field at the two boundaries (winding number). If we go back to eq.4.15 we can see in fact that due to the periodicity condition, the allowed gauge transformations are consistent with this requirement. Whi le the vector charge Q = e(QR — Qi) is conserved, the axial charge Q5 = e(Qn + QL) is anomalous as it depends on the backround dynamical field. For instance, the charges of the vacuum |0,0) in the 0 = 0 gauge are: Q = 0 and Q5 = 2 e E + 1. (4.28) The reader may be worried that this background dependence of the axial charge is a consequence of using an improper regularization procedure. One could argue that Chapter 4. Anomalies and the Schwinger model 48 the regulator should be independent of the dynamics i.e. that we should have chosen something like exp(An) instead of exp(A[n + eE]). However such a regulator would have given a renormalized energy proportional to E rather than E 2 . As a result, the energy would not have been bounded below as we could lower it with a spatially homogeneous constantly varying (f = E = est) dynamical field satisfying •£ = 0. Furthermore, such a regulator would introduce an unphysical distinction between particle and anti-particle as the energy would no longer be proportional to the square of the charges. 4.2 Bose-Fermi equivalence in 1+1-dimensions. Whi le the study of fermions in a static background field allows for a simple understanding of anomalies, it does not tell us anything about the dynamical evolution of anomalous systems. The dynamics of such systems can be studied at a semi-classical level using a peculiarity of two dimensional field theories. The Lagrangian for a free massless scalar (boson) field is C = IdyXd'X. (4.29) This field satisfies the Kle in -Gordon equation whose solution in two dimensions can be written as the sum of left- and right-movers as X{x,t) = XR(x-t) + XL{x + t). (4.30) This is very similar to the solution for a free massless fermion in two dimensions. In fact, one can show [65, 49] that free Fermi fields can be written as VR = CRexp{i2ySnXR) tfL = C L e x p ( - i 2 v ^ X L ) (4.31) Chapter 4. Anomalies and the Schwinger model 49 where the constants CR and CL include, amongst other things, a K le in factor giving the right anti -commutation properties to the Fermi fields. More generally, we have T V * = —e^dyX (4.32) ¥7"7 5 t f = —^=0"X (4.33) y/ir UiYdfl = i0MX0MX (4.34) m 2 ^ = fim2 cosX (4.35) where fi reflects some ambiguity in the regularization procedure. This equivalence between Fermi and Bose fields can be extended to interacting theories as well. For instance, a bosonized Lagrangian equivalent to 4.1 [65, 49, 18] can be written as: C = I^X^X - - ^ ( c e ^ X -I- tJP)Av - \FIU,F'W + m2AllA<i. (4.36) The mass term for the photon has to be included in order to give the bosonized Lagrangian the correct symmetry and reflects the ambiguity in regularizing the fermionic current. One of the main advantages of working with the bosonized theory is that the effects of the anomaly are already present at the classical level. This should not be surprising as we have seen in the previous section that the origin of the anomaly can be understood as being a consequence of having to fi l l an infinite number of negative energy levels (the Dirac sea). Since we know that the Dirac sea is not a feature of bosonic theories, the anomaly must somehow already be included in the classical Lagrangian. In order to see this better, we briefly look at two special cases of the above Lagrangian. Chapter 4. Anomalies and the Schwinger model 50 4.2.1 The vector Schwinger model One of the most studied two dimensional system is the vector Schwinger model 2 , namely the theory described by the Lagrangian £ = tfi7"(d„ - ieAy) - \FIU,FIW. (4.37) This Lagrangian is invariant under the following gauge transformation = Ay + 8yd tf -> tf5 = exp(z'ei?)tf (4.38) yielding the conserved vector current J M = tf7Mtf. The axial current on the other hand, J$ = tf7/j75tf, becomes anomalous after quantization and obeys This can be shown using various methods. We wi l l demonstrate here how it arises in the context of the bosonized theory. The Bose-equivalent Lagrangian is C = IdyXd'X + J-A^d^X - IF^F^ (4.40) and is invariant (up to a total divergence term) under the gauge transformation Ay —• A^ = Ay+dyti X - > X f l = X. (4.41) The Euler-Lagrange equations for the system are • X + -^e^dvAy = 0 (4.42) dyF^ - -^=evdyX = 0 (4.43) V 7 1" 2For a review, see [66]. Chapter 4. Anomalies and the Schwinger model 51 We can rewrite 4.43 as = ej" (4.44) from which it follows that is a conserved quantity. Using eq. 4.3 we can write Jg = e^uJu and further using eq. 4.42 we get = -erd^ = ^-e^F^u (4.45) as advertised. It is interesting to solve these classical equations of motion and to compare the results with our knowledge of the quantum system. Introducing the electric field, E = F01, the equations of motion can be rewritten as DX + gE = 0 do(E-gX) = 0 di(E-gX) = 0 (4.46) where g = efypK. We work on the finite spatial interval, [— i r£ , ir£], and require that no net current of either type flows in or out of the system i.e. fl dxdrJ1 = J1{TT£) - J \ - i v £ ) = 0 J — Til ^ dxdiJl = JI(K£)- J\(-vl) = 0. (4.47) We also introduce the conserved and anomalous charges Q = r' dxJ° = -L[x(-vi) - X(T£)] ; Q = 0 Q5(t)= [*' dxJt = — ] = r l dxd0X ; <55(* = 0) = 0. (4.48) J-Trt yj IT J-*l The solution is: 1 X = —= ~7=K exp(-iunt + iknx) + a* exp(+iujnt - iknx)] v 2ir£ n ? t 0 V ^ n EQ Qs(0)s'm gt y/wQs'mh.gx g 2\/Tr£g 2sinh<77r£ (4.49) Chapter 4. Anomalies and the Schwinger model 52 where kn = n/£ ,u>2 = g2 + fc2 and E = gX + EQ. The energy is given by: H = i y_^x[(X)2 + (X')2 + ^ 2] 4^ = E^a:an + 9M + Ii9lcothgni. (4.50) n#0 Note that if we require periodic boundary conditions, we are forced to set Q = 0 and the contribution from the zeroth mode of the energy agrees with what we had found previously in eq.4.23. We note also that the zero mode of the current density is which shows that, in the l imit where £ —> oo, the charge density is concentrated near the boundary; the system behaves like a metal with the charges being expelled to the boundaries being localized within the screening length g~\ This is how confinement of charges manifests itself in this bosonized version of the vector Schwinger model, with no physical charge density being observed in the infinite volume l imit. The dynamical evolution of the anomalous charge is given by: Qs = Q5(0) cos(gt). (4.52) The oscillatory behaviour of the anomalous charge is due to the back-reaction of the Fermi fields onto the gauge fields (and vice versa). If the gauge field is fixed as a background external configuration, it is found that there is creation of a net anomalous charge. [72, 100, 6]. This back-reaction wi l l be very important in the next chapter when we wi l l study the effect of finite fermionic density in anomalous systems. 4.2.2 The axial Schwinger model The axial Schwinger model is defined by the Lagrangian C = ** 7 '» (^ - i e 7 5 A M ) t f - \FIU,F'W. (4.53) Chapter 4. Anomalies and the Schwinger model 53 This Lagrangian is invariant under an axial gauge transformation Ay-tAl = Ay + dJ X$ _> = exp(ie7 5 i?)tf . (4.54) As we mentioned earlier, the existence of this symmetry prohibits the inclusion of a mass term for the fermions. In terms of conserved and anomalous currents, vector and axial -vector current see their role being interchanged from the vector Schwinger model. The Bose-equivalent Lagrangian for this system is 2 £ = IdyXd'X - -^={duX)Al/ - \F»VF»V + ^AyA" (4.55) which is invariant under the axial gauge transformation Ay —> A^ = Ay + dyti X->X9 = X + 4=^ - (4.56) y/TT As we mentioned earlier (see eq. 4.35), a mass term for the Fermi fields translates in the Bose language into a term proportional to cos(X) which is not invariant (as expected) under the axial gauge transformation. The Euler-Lagrange equations of motion for this system are easily derived: DX--4=d^Ay = 0 (4.57) V71" . dliFvti + -^=(dvX %=-Av) = dyF"" - eJl = 0. (4.58) We thus see that the axial current, Jg, is conserved. The vector current on the other hand obeys the anomaly equation: Jy = EyiiJ^ = 7="(<9 x ) 2 2 =>. 0 M J " = ^e'tvdllAlt = --e>u'Fllv. (4.59) Zir 7r Chapter 4. Anomalies and the Schwinger model 54 It is crucial to note here that it is the requirement of axial gauge invariance which gives a topologically non-tr ivial contribution to the vector current making it non-conserved. The vector current naively obtained from the Bose-Fermi equivalence for free fields (eq. 4.32) is st i l l conserved but is not gauge invariant and therefore is not the physical current. We wi l l come back to this point in the next chapter. Once again, it is interesting to solve the classical equations of motion and to clearly expose the equivalence of the vector and axial models. Wri t ing g = e/y/ir, the equations of motion can be written as (n+g2)j£ = 0 dvJvh = 0. (4.60) As we did in the vector case, we require no net flow of either current in or out of the system and obtain Jo 1 r t ' i ' i \ * / • -7 M Q5 cosh ox 5 = —7^=7 2^ a « l a n e x p ( - t u ; n * + iknx) + a n exp(+iunt - iknx)\ + . -V 27rt n ^ 0 I s inn girt Jl = F = = n~-? \an exv>(—iu>nt + iknx) + a ! exv(+iu>nt — iknx)] — Q (Q)^ o s ^ V2w£^Q Vkn 2 0 r i o where = ? ; u2n = k2n+g2 ; a2n = - ff (4.61) The energy is given by H = \ Cdx [(Js°)2+(Jsl)2+9~2{d°Jl+diJ°5)2-= E« » « X + ^ + ^ coth**/. (4.62) Comparing with the vector case, we see that the two models are equivalent up to an interchange between axial and vector charges. Chapter 4. Anomalies and the Schwinger model 55 4.3 Introduction to the chiral Schwinger model The chiral Schwinger model describes quantum electrodynamics with a chi ra l 3 fermion in two spacetime dimensions. The Lagrangian is Co = J dx {tfW"(dM + iy/ZeAJV - ^V™} (4-63) where = dyAu — dvAy , o° — 1 , a 1 = e = ±1 with the + (-) sign corresponding to a coupling to right- (left-) movers. It is important to note that we consider the minimal chiral Schwinger model i.e. tf is a single component fermion. As we mentioned in section 4.1, the chiral Schwinger model appears to be potentially inconsistent since the charge associated with gauge invariance is not conserved 4. This model has been examined by canonical methods [47] and more recently was investigated by Jackiw and Rajaraman [59] using the Feynman path integral representation of the theory. The latter authors showed that for a certain choice of counterterms the theory is Lorentz invariant and unitary. It has further been argued that the gauge variance of the fermionic part of the path integral measure which, upon using the Fadeev-Popov proceedure to fix the gauge, yields a Wess-Zumino term in the gauge field action [10]. However use of the naive path integral representation requires canonical justification. A t the Hamiltonian level the theory involves second class gauge constraints which lead to nontrivial modification of the equations of motion. It has been solved [78, 40, 41, 48, 17] using some bosonization techniques which, in our opinion, are not entirely satisfactory in this case. As we have just seen, a Bose equivalent Lagrangian includes both left- and right-movers, thus introducing an extra | configuration degree of freedom. It is not a 3In two dimensions the term chiral means an eigenstate of the projection operator (1 — 75)/2 by analogy with the four-dimensional case. 4In section 4.1, we looked at theories where both left and right movers were present. However, it is trivial to reduce the system to include only a single component and show the same potential problems to be present. Chapter 4. Anomalies and the Schwinger model 56 priori obvious that the latter modification is not responsible for the apparent consistency of the model. A t the classical level the Lagrangian contains a vector gauge field and a chiral fermion, representing 2 | configuration space degrees of freedom. There are two first class con-straints each of which remove one degree of freedom resulting in a physical | degree of freedom - a charged Weyl fermion with a relativistic Coulomb self-interaction. The classical theory can be formulated as a consistent, causal, Lorentz covariant in i t ia l value problem. A t the quantum level the Schwinger term in the gauge constraint algebra changes the two first class constraints into two second class constraints which together remove 1 degree of freedom. Therefore the quantum theory has l | physical degrees of freedom. Lorentz invariance is not manifest in this reduction and it is not obvious that it is maintained by the quantization. Furthermore, the presence of the extra degrees of freedom would seem to indicate that the quantized theory loses the geometrical interpretation of a gauge theory. A characteristic of a gauge theory is that there is a redundancy in the number of dynamical variables - this is what gives rise to the gauge invariance and results in the need to impose constraints. In the quantum theory the gauge constraint is second class and therefore does not eliminate as many degrees of freedom as it did in the classical theory. Constrained systems are normally handled at the classical level using Dirac's [32, 50] method of eliminating extraneous degrees of freedom. When second class constraints are present one quantizes by subsequently identifying the classical Dirac brackets with com-mutation relations. In the present case Schwinger terms arise which alter the constraint algebra at the quantum level. This requires that we modify Dirac's method so that it can be applied directly to the quantum theory. Chapter 4. Anomalies and the Schwinger model 57 As is desirable we remain with fermionic variables. We implement infrared regular-ization of the theory by taking the space as a circle, 5 1 , and add counterterms to the Lagrangian. We solve the model with the counterterms and find that the Harniltonian is hermitian and positive with a Lorentz invariant spectrum only for a certain range of the parameters. The spectrum contains a single massless chiral scalar and a single massive boson. These resemble the particle content discovered in reference [78, 40, 41] with the exception of the absence of one of the chiral Bose degrees of freedom. There have been several other attempts to quantize the chiral Schwinger model which have failed to obtain a Lorentz invariant solution [48, 74, 75]. Some of these can be regarded as special cases of the model which we consider here with particular values of the counterterms [48, 75]. Our present work shows how to restore Lorentz invariance in these models by adding counterterms to the action. A further gauge invariant solution which recognized the origin of the anomaly as an induced quantum curvature and added Lorentz noninvariant nonlocal counterterms ob-tained a noncovariant spectrum with a hermitian Harniltonian [74]. The solution has a \ degree of freedom which, with the mass generation inherent in the model, is incompatible wi th Lorentz invariance. (A chiral particle has a Lorentz invariant spectrum only when it is massless.) It is apparent that the quantum curvature cannot be cancelled by adding local counterterms to the gauge theory action. 4.4 Solution of the Chiral Schwinger Model The fermion bilinear operators which occur in the Lagrangian and later in the Harnilto-nian must be defined with some regularization. We shall choose a particular regularization and parameterize the difference between the one we choose and others by adding local Chapter 4. Anomalies and the Schwinger model 58 counterterms to the Lagrangian Cct = Jdx jfiV4" + ^ (Ae)2} (4.64) where A e = Ao + eA\. We note that the first term is Lorentz invariant but has the conventionally undesirable feature of breaking gauge invariance. Here, we expect that the quantization of the theory breaks gauge invariance so we cannot exclude dynamical generation of such a term. We shall show that the model is consistent for a large range of the this parameter. Addit ion of this counterterm was also considered in references [59] and [78] wi th a similar conclusion. Although their treatment (using bosonization techniques) did not require additional counterterms we require the second gauge vari -ant, Lorentz variant counterterm. The model wi l l be found to have a Lorentz invariant spectrum only for a particular nonzero value of b. The fu l l Lagrangian is: C = J dx |*t(id. - v ^ A £)tf + l-{dQA, - cUo)2 + f (A2 - A2) + ^ (A£)2} (4.65) The canonical momenta are: SC SC n ° ( l ) - TidMx)) = 0 n'M"«{55WJ We have one primary constraint, Ho = 0. The Hamiltonian is H0 = J dx {nidoAi + itf+d0tf} - L = Jdx 12 + n^Ao - ei*tfc¥ + A e + ^(A2 - A2) - ^A 2 j(4.67) We work on the compact one dimensional space S1 with length 2n£ and do a plane wave expansion of our variables. 1 0 0 V2ir£ fc=_TO Chapter 4. Anomalies and the Schwinger model 59 1 0 0 Aj{x) = £ Aj{k) expiiejkxt-1) (4.68) k=-oo 1 o o n,-(s) = £ n^fc) expfakxt-1) Vint where £/ = ±1 (the reason for keeping this sign arbitrary wi l l become clear at the end). We also define tfTtf expfefnxg-^dx = fc=—oo This allows us to write pi(n) = W^cx^(iejnxfx)dx= £ fllfna* (4-69) Jo i #o = £{In{(n)n 1 (n) + ^ ^ + ^(n)A£(n) + l{A\{n)Ai{n) - At(n)AQ(n))] (4.70) We also take our field variables to be quantum operators obeying the canonical commu-tations relations: [Aj(x),Uk(y)] = 6jkS(x - y) *—> [AJ(TI),IlJ(m)] = i6jk6nm [V(x)^(yj\+ = i6(x-y) « — » [alam]+ = Snm. (4.71) Defining the Fock vacuum as the state annihilated by aeon|0)= 0 n>0 «l„n|0)= 0 n<0 (4.72) with eo = ± 1 , we can easily derive the following (see for instance [66]) anomalous com-mutator for the charge density [p(p),pH<l)} = eopSP-q (4.73) and the Sommerfeld-Sugawara formula [94] £ "4«n = \eo £ p\n)p{n) (4.74) rt Z, „ Chapter 4. Anomalies and the Schwinger model 60 The right hand side of eq. 4.74 is generated by quantum effects, i.e. the charge den-sity has vanishing classical Poisson brackets with itself. Furthermore, the Somrnerfeld-Sugawara formula holds only because of the operator structure of the charge densities. We further define (for n ^ O ) *{n) = 4Sl — > [*(p),*\q)] = eoS„ (4.75) \n\ so that we can write the Harniltonian as Ho = h0(0) + £ hQ(n) (4.76) n > 0 where MO) = ^ ( O ) 2 + £-^p(0)2 + ^ - p ( 0 ) A . ( 0 ) + \ (A x(0) 2 - A 0(0) 2) - ^A £(0) 2 (4.77) and h0(n) = Yl\{n)Mn) + ^V(n)<r (n ) + ^ § {*\n)A.{n) + 4(n)<r(nj) V2l + ^ . ( n J ( n ) A o ( n ) - 4 (n ) n x (n) ) - bA\{n)Ae{n) +a (Ali^A^n) - Al(n)A0(n)) (4.78) We do not worry at this point about the possible appearance of constant terms arising from commuting operators; this is taken care of by field independent normal ordering. We now proceed to implement Dirac's procedure directly at the quantum level. We first look at h0(n) for n ^ 0 and set £ = 1. Consistency of our constraint n 0 = 0 under time evolution requires [Ho, Ho] = 0. We thus define (dropping the irrelevant n label) G = -i[h0, n0] = - t e / n l l i -I- ^ 5 a - aA0 - bA£ = 0 (4.79) so that [ G , n 0 ] = a + 6 Chapter 4. Anomalies and the Schwinger model 61 and [G, G f ] = \eQe2n + 2nbeef (4.80) Note that G = 0 is the analogue of Gauss' law for our system. If a + b ^ 0 then IIo = 0 and G = 0 form a complete set of second class constraints. Let us assume this to be the case. The complete Hamiltonian can then be written as h0 = nln x + ee0esnc^o + ^ 2 {o^Ac + A\o) + iejn (U\A0 - 4nx) - bA\Ae + a (A\AX - A]QAQ) + 4n 0 + Tltvo + v\G + G^vx (4.81) where v0 and Vi are some arbitrary Lagrange multipliers. It is straightforward to reduce h to the physical subspace by means of a canonical transformation. Such a transformation preserving the commutator structure is implemented as 6 = eiSOe~iS = 0 + i[S,0]-± [S,[S,Q]] + ... (4.82) with S = S^. A n obvious choice is to look for an S that leaves Ho unchanged while transforming AQ into a linear combination of the two constraints, Ho and G. We find S = (a + 6) _ 1 beAi + iejnlli-e^ec^Ul + h.c. (4.83) and the resulting transformation is ~ be . ism' ee pa i (2bnsi fn\ „ Ao = Ao + —rAi + — f - n ! - — - J - o - —f - ee0eJ- U0 a + b a + b a + b\ 2 2(a + o) \ a + o V 2 / fto = n 0 i x = ^ i - ^ n o ' a + b TT TT 0 £ TT Chapter 4. Anomalies and the Schwinger model 62 yielding " = ^physical ( f i i, i i , a) + 4n 0 + U0v2 + vlG + G^v3. (4.85) Since the constraints have effectively decoupled we can now set them to zero and identify the Harniltonian with hphysicai without needing to modify the commutator structure for consistency. The Harniltonian is thus written as (dropping the tildes) h ~ n I n ' ( 1 + ^ ) + ^ H + 2F +T))" + ' ( ^ - n K ) 0 + . 1 , 1 ^ + (.u 1 + . 1 . ) - ^ + i ( n J . - . t n 1 ) ^ (4.S6) Performing the following canonical transformation Ar = A - / ? E - i ^ o n a = E + i e o / r a with £ = ^ | ( 4 - 8 7 ) n a = n we get = n t n f i + n ^ ~ ££o£ffH + »(A*n - n U ) £ ° w ( e 2 f + 4 ^ V 16a 2(a + b) J v 1 4(a + b) a2 + S+En££0e/ + A* A -. (4.88) a + o We can define some new operators, / i ) 2 = ± ~ ^ 2 ' ^ a t ° k e v [/IJ/^] = 0 and [ /u /i] = - [/21 /I] = !• ^ w e choose 7 to be given by 16a 4(a + 6) 7 = we get where \\ 16a 2(a + b) + (4a - ee0efe2)2 h = £1/1/1 + E2f\f2 + neeoe/E+E (4.89) e 0 n(e 2 + 4ee0£/6) 2^,1 = ± 77—r~jT r (4a — e e 0 e / e2 ) 2 n 2 a 2 4(a + 6) \ 16(a + 6) 2 (a + 6) Chapter 4. Anomalies and the Schwinger model 63 So we see that, in general, the spectrum is not Lorentz invariant. This lack of Lorentz invariance is deeply connected with the fact that this theory has an anomaly which is manifest in the non-vanishing commutator [G, G T ] . It is intriguing that with the choice of b such that 46 + ££o£/e2 = 0 the gauge generators commute [G, G^] = 0 and we recover a Lorentz invariant spectrum h = Eflf, + Ef\f2 + n S f S (4.90) with fn? a2 E — \ — + m 2 where m 2 = T. V P a - £ Note that we had to choose ecoCj = +1 in order to obtain a positive definite Harniltonian. We see that a is then restricted to values greater than ^. The analysis of the n = 0 sector is tr iv ial . Proceding as above, one easily obtains MO) = m (/*(0)/(0) + \) + ^/>(0) 2 (4.91) which is consistent with the n ^ O sector. The extension of our result from S1 to the real line is quite t r iv ia l as we simply replace n/£ by p the momentum. The above analysis is singular for the particular combination of counterterms where a -f b = 0 which we must analyze separately. This crit ical value corresponds to the crit ical value a = 1 of references [59, 78, 40, 41] where the mass diverges. We consider only the crit ical value 4b = —e 2 as, once again, only for this value do we get a Lorentz invariant Harniltonian. Since [IIo,C?t] = [ ( ? l G t ] = 0 (4.92) we then get a third constraint obtained by commutating Gauss' Law constraint with the Harniltonian -remember that in order to obtain a consistent theory, using Dirac's formu-lation, we must be able to add terms proportional to the constraints to the Harniltonian Chapter 4. Anomalies and the Schwinger model 64 such that all the constraints commute (up to terms proportional to themselves).- The third constraint turns out to be simply I i i = 0. Together with Gauss'Law constraint, they form a complete set of second class constraints. The other constraint, IIo = 0, is a first class constraint which is associated to a gauge freedom for our system. We can fix the corresponding gauge by setting AQ = 0 and use the other two constraints to eliminate both Ai and ITi from the system so that we get quite simply H = ;L>(0)2 + £ V ( n M n ) (4-93) Z t n>0 C Looking back at the case a + b ^ 0 and taking the l imit as a goes to —6, we see that the mass goes to infinity and that the corresponding boson effectively decouples. This is consistent with the result obtained above if we had put a + b = 0 at the outset. 4.5 Discussion In summary we have obtained a Lorentz invariant unitary solution of the chiral Schwinger model with minimal degrees of freedom by adding gauge and Lorentz variant counterterms to the bare Lagrangian. This can be interpreted as a particular choice of regularization which is implemented at the Harniltonian level and is implicit in the gauge field inde-pendent Sommerfeld-Sugawara formula 4.74. It requires that the renormalization of the fermionic charge and the fermionic Harniltonian operators are independent of the gauge fields. The difference between this and other regularizations is then parameterized by the local counterterms. The spectrum we obtain agrees with that found previously by Jackiw and Rajaraman, and Gi rot t i et al . [59, 78, 40, 41] except we find a massless chiral scalar instead of a mass-less scalar. The extra degree of freedom found previously is introduced by bosonization. Incidently this results in a different constraint structure as we have 2 second class or 2 second class plus 1 first class where Gi rot t i et al . f ind 2 second class or 4 second class Chapter 4. Anomalies and the Schwinger model 65 constraints. However as one first class constraint eliminates as many degrees of freedom (one from the constraint and one from the gauge fixing condition) as two second class constraints it is not surprising that the resulting theories show equivalence. A point that is not clear to us is the connection between the extra degree of freedom and the absence of a Lorentz variant counterterm. Chapter 5 Anomalous theories at finite density The anomalous non-conservation of the baryon number in the standard model has been known to exist for a certain time. This non-conservation was first studied in the context of instanton transitions [52, 53]. Since instantons correspond to tunnelling, it was found that the corresponding anomalous decay rate was exponentially suppressed by the spontaneous symmetry breaking in the standard model so as to be totally unobservable. However, it was shown that in some other cases (at high temperature [62], in the decays of some heavy particles [84], in the presence of magnetic monopoles [82, 23], etc.) anomalous baryon-violating processes took place without any exponential suppression. More recently it has been argued by Rubakov and his various co-workers [85, 86, 87, 67] that such processes were also unsuppressed at high densities. As a result it was found that the normal state of cold fermionic matter is unstable at sufficiently high fermion density. The basis of their argument stems from the fact that, because of the axial anomaly of the baryon current, both the fermion number and the vacuum energy of the baryon levels in the Dirac sea receive a contribution from the Chern-Simons number [22, 24] We have seen already the corresponding phenomenon in two-dimensional theories in section 4.1. In fact we could repeat the analysis of that section in the AQ = 0 and we'd find that the gauge-field dependence of the fermionic charge would be in the form of the (5.1) 66 Chapter 5. Anomalous theories at hnite density 67 Chern- Simons number dx A\. (5.2) Since the energy of the (anomalous) fermions receive a contribution proportional to the Chern-Simons number, it can be argued that an effective Hamiltonian for the gauge fields should include a term proportional to fiNcs where / i is the chemical potential for the fermions. Such a term was indeed found to occur in the context of perturbation theory at finite temperature and density in ref. [79]. This was criticized in [73] where it was pointed out that the inclusion of such a term led to a gauge-variant statistical mechanics. More recently, Rutherford [88, 89] showed that when non-perturbative effects were taken into account, the Chern-Simons term was always accompanied by an integer valued index whose effect was to subtract the integer part of Ncs- The effective Hamiltonian resulting from this computation is fully gauge invariant but has a non-tr ivial oscillatory behaviour as a function of the value of the background gauge field. In the light of this result, we find that the validity of any description of phenomena occuring as a result of including gauge-variants term in an effective Hamiltonian has to be questioned. 5.1 Introduction to a toy model In order to get a better understanding of stability of anomalous theories at high density we study a simple 1+1-dimensional toy model having al l of the basic characteristics of the physically interesting four-dimensional theories. This model is the axial Schwinger model to which we couple a complex scalar (Higgs) field. The Lagrangian is (5.3) Chapter 5. Anomalous theories at finite density 68 where Z?M = — ieA^. This model wi l l be regulated such that the gauged current, ^ 7 M 7 5 ^ , is conserved while the vector current is beset by the anomaly ^ ¥ 7 ^ = ^ ^ . (5.4) This model was introduced by Rubakov in [87]. Under the assumption that c > 1 and that the system is neutral with respect to the gauged charge, i.e. < ^j0^5^ >= 0, Rubakov makes the following claims: • at small n,f (nj is the anomalous charge density, ^ 7 ° $ ) the instanton-like transi-tions are negligible; • the free energy density contains a non-tr ivial contribution proportional to the Chern-Simons density; • the field strength vanishes in the case of neutral matter; • at large enough n / , the system is unstable and decay in a state having a vanishing fermionic density. We wi l l carefully examine the last three claims as well as the general issue of gauge invariance in this system. We wi l l look at the first claim later, when we make connection to the physics of four-dimensional systems. Our discussion is based on the Bose-equivalent Lagrangian[18] £ = Ud»X ~ 7 ? A « ) 2 - + " Wl2 - c2)2. (5.5) In his study of this model, Rubakov ignores al l tunneling events and shows that the system is unstable at large enough fermionic density. This approximation amounts to studying the classical system described by the above bosonized Lagrangian which is what we wi l l do. We wi l l look at the validity of this approximation later. Chapter 5. Anomalous theories at hnite density 69 5.2 Hamiltonian solution The first step in our study is to derive a Hamiltonian. In this derivation we shall han-dle the gauge constraints using Dirac's method for constrained systems [32, 50]. It is convenient to express the Higgs field in terms of its real and imaginary part as follows: <t> = ^(4>i + i<h) (5.6) where both (f>i and <f>2 are real. In terms of these fields, the Lagrangian is rewritten as L = Jdx j i ( 0 „ X - •~=Ati)2 + \[{dM2 + (dM2] + eAAfo&fo - Wfa) - i V " + l^A.A^l + <&) + h{<j>\ + <j>22 - 2c 2 ) 2 } . (5.7) The canonical momenta are ^ SL „ 6L • n 0 = — p - « 0 E = = Ai - AQ SA0 SAi SL SL II =-r; = X-gAo P^ = TT = h + eA°fc (5-8) O A S(pi SL P2 = —j- = (j>2 - eAofa. b<p2 We write g = e/y/n and obtain the preliminary Hamiltonian Ho = Jdx {nx + EA\ + Pi^i + P2fa} - L = jdx{\(n2 + E2 + P2 + P2) + Ao[gL\-E' + e{P24>1-P1<t>2)] + \ \{4>'i? + (ti)2 + e 2 A 2 ( ^ 2 + 4>22)\ + eA^M'i ~ 4>M + | ( X ' - gA,)2 + \\(<f>\ + <f>2- 2c 2 ) 2 } (5.9) where we have integrated the A!QE term by parts and discarded the surface term. We postulate the fundamental equal time Poisson brackets between canonically conjugate variables 1 {Q(x,t),P(y,t)}=S(x-y). (5.10) 'we will drop the explicit time dependence in what follows. Chapter 5. Anomalous theories at finite density 70 We note that the constraint n o (x ) 0 is inconsistent at this stage with the Poisson bracket { A 0 (x ) , n 0 (y ) } = S(x - y). (5.11) This wi l l be taken care of shortly. The time evolution of physical quantities is governed by Hamilton's equations of motion f(x) = {f(x),H}. (5.12) In particular, consistency of the n 0 ~ 0 constraint under t ime evolution yields Gauss's law for this system G = - r i o = on - E' + e ( P 2 ^ - P1 (£2) « 0. (5.13) It is easy to verify that G « {G,n 0 } « 0. In Dirac terminology we thus have two first class constraints. We are free to add these constraints to our preliminary Harniltonian and get H = H0 + Jdx ( U o n 0 + vxG) (5.14) where V\(x) and v2(x) are arbitrary Lagrange multipliers. The presence of these con-straints tells us that there is a redundancy in the number of dynamical variables. The physical evolution of these variables take place on an hypersurface embedded in the larger hypervolume of phase space. The reduction of the phase space to the physical subspace entails a choice of the Lagrange multipliers as well as some gauge fixing. 5.2.1 U n i t a r y gauge Our first gauge choice is the unitary gauge, <j>2 — 0. This is the same gauge that was used in [87]. A subsequent constraint is obtained by looking at the defining equation for P 2 , <£2 = P2 + eAofa w 0. We thus have the following four constraints C a = n 0 w 0 Chapter 5. Anomalous theories at finite density 71 C 2 = gll-E' + eP2<f>x « 0 C 3 = <f>2 « 0 C 4 = P 2 + eAq& » 0. They yield the matr ix Cij(x,y) = {Ci(x),Cj(y)} l C(x,y) = eS(x-y) 0 0 0 - M x ) 0 0 -<j>\{x) 0 0 fa(x) 0 1 ^ <h(x) 0 - 1 0 Provided that (j>i ^ 0 this matr ix is invertible in the sense J dzCij(x,z)Cj£(z,y) = 8ik8(x - y). The inverse is given by / 8(x - y) 0 - 1 0 faix) 1 0 <p\{x) 0 0 ~MX) 0 0 (5.15) (5.16) (5.17) (5.18) e ^ i ( x ) 2 ^ -<f>x(x) 0 0 0 Using this inverse, we can define a Dirac bracket, {, }D, as follows {A(x),B(y)}D = {A(x),B(y)} - JdzdwiAixlQizKCjiz^iC^Biy)}. (5.19) The Dirac bracket is designed in such a way that {A(x), Ci(y)}o yields a vanishing result for al l constraints. The consistency of the constraint is thus guaranteed. We can thus use the constraints to eliminate two of the redundant variables Pi = E'-gU and AQ = (5.20) Chapter 5. Anomalous theories at hnite density 72 This yields the following Hamiltonian H = / < k { i [ n a + tfa + J ? + ( ( e f c ^ + | [ ( ^ ) 2 + e A 2 ^ ] + i A ( ^ 2 - 2 c 2 ) 2 } . (5.21) As it turns out, the Dirac brackets of the remaining variables with themselves are the same as the original Poisson brackets. Note however that the Hamiltonian becomes singular when <f>i vanishes. This is not surprising since the gauge we've chosen is ill-defined for such a case. We are now in a position to make connection with Rubakov's argument. The first step is to ignore al l dynamical contributions. This is done by setting al l momenta to zero which yields the energy density £ = | ( X ' - gAxf + I [ (#) 2 + eA\<j>\] + \ \ {cj>\ - 2c 2 ) . (5.22) Using the Bose-Fermi equivalence, we identify y/^X' = ^ 7 ° ^ = n / as the anomalous fermion number density in the absence of gauge fields. The "real" fermion number density is given by nT = nj — ^Ax where we recognize ^Ax as being twice the Chern-Simons density. The energy density is minimized by homogeneous Higgs fields yielding S = \ ( n / - ^ 1 ) 2 + ^ 2 - f ^ ( ^ 2 - 2 c 2 ) = l{nf~^)2 + £B- (5-23) The reader should recognize eq. (3.12) of ref. [87]. The free energy density for this system is given by / = £ — fin where the chemical potential is given by " = ar- ( 5 - 2 4 ) Chapter 5. Anomalous theories at finite density 73 However, there appears to be some ambiguity as to which n we should choose. Our preference would naturally be with the gauge invariant nT yielding fxr = irnT (5.25) and + (5.26) We recognize the first term as the free energy density for free massless fermions in 1 - f l -dimensions. The fact that our system is anomalous doesn't seem to imply anything special for the free energy. O n the other hand, if we choose rij, we find N = n [nt - £AJ) (5.27) and f ^ ^ + ZB-efijAL (5.28) The free energy now contains a non-tr ivial contribution proportional to the Chern-Simons density for this system. Rubakov argues that, in spite of its gauge dependence, nj makes physical sense. Indeed, we know that of the 5 field degrees of freedom originally present in out Lagragian, only 3 are physical as a consequence of gauge invariance. Since we have fixed al l the gauges, we should be left with only 3 physical degrees of freedom. This is what we have with X, A\ and <p\. Thus X (or nj) makes physical sense for this system. However, it does not mean that we have to identify nj with the fermionic density of our system. It is true that when A\ = 0, rtj and nT coincide but in such cases, there is a contribution to the energy density from the field strength even in the case of neutral matter. This is a consequence of the anomaly and has been shown to occur in section (4.1.1). We wi l l come back to this point shortly. The behaviour of the energy density (5.23) as a function of n / has been analyzed in [87]. For small rif, the min imum of S is at <j>i « \ / 2 c , A: « rif/(2<j>2) such that Chapter 5. Anomalous theories at hnite density 74 nj « nT 7 ^ 0. On the other hand, for large enough Uf, the minimum is at <f>i = 0, eA\ = nnf such that n r = 0. Rubakov argues that this indicates that the system is stable for small fermionic densities but not for large enough ones. Note that in the large density case, the expression that we derived for the energy density is incorrect as our gauge is ill-defined. We also find puzzling the fact that the energy is not always minimized in the absence of fermions. In order to clarify this whole situation,we find it more convenient to study the system in a different gauge. 5.2.2 Topological gauge A more convenient gauge choice is provided by what we call the topological gauge. As we shall see this gauge choice is a very natural one and is always well defined. This gauge choice essentially corresponds to setting X = 0. This means that the anomalous fermion number is purely topological in nature, N = j dx A\. In the previously used notation, this gauge choice amounts to setting nj = 0. The reader might object to this choice since the instabil ity of the fermionic system is described using Rubakov's argument as a consequence of having a large nj. Even though we stressed before that we should not identify nj wi th the fermionic density, we wish to demonstrate quite clearly that our argument is not based on any gauge artifact. To this end, we first perform the following canonical transformation: A0 = Ao n 0 = n0 A = A x - g-lX' E = E X = X ft = Il-g-1E' + eg-1(P2(f>1-P1<f>2) . fa = cos(e5- 1X)<^ 1 + sin(e5- - 1 X )^2 A = cos (e^" 1 X)P i + s i n ( e ^ - 1 X ) P 2 fa = - s i n ( e ^ - 1 X ) ^ i + c o s ( e ^ - 1 X ) ^ 2 A = -sm(eg-1X)P1 + cos(eg~1X)P2 (5.29) Chapter 5. Anomalous theories at finite density 75 Such a transformation preserves the structure of the Poisson brackets. Note that X has not been altered by this transformation. This means if n / (X1) is to have any meaning on its own, this meaning should have been preserved by this transformation. The Harniltonian is now written as (dropping the tildes) H0 = Jdx^^E^P^ + P^ + g-'lE' + eiP^-PM^+voUo + v^ + I [(#)2 + Wi? + e2A2(tf + <&)] + cAfati - <M'2) - r I ^ A 2 - i A ( < A 1 - r ^ 2 - 2 c 2 ) 2 } (5.30) where v2 is a new Lagrange multiplier, linear combination of the old one, v\, and of some of the dynamical fields. Note that X (and hence rip) no longer explicitely appears as a dynamical field. The anomalous fermion number density is now given by n = A which is gauge invariant. We can set the two Lagrange multiplier to zero and reduce the Harniltonian to the physical subspace in a natural fashion. Note that this is then exactly the same Harniltonian that we would have obtained by making the gauge choice X = 0 before doing any canonical transformation. The fourth constraint needed to define the Dirac brackets would have been obtained from the denning equation for n: X = n + gA0 « 0. (5.31) As in the previous case, we look at the energy density ignoring the dynamical terms (momenta). We find that it is minimized not by spatially homogeneous Higgs fields but by the following: </>! = (pcosj eA(y)dy <f>2 = (p sin J tA(y) dy (5.32) Chapter 5. Anomalous theories at hnite density 76 where = 0. The energy density is then given by 6 ^ ^ A 2 + ^ 2 - 2 c 2 ) 2 . (5.33) This expression is always minimized in the absence of anomalous charges (A = 0), in agreement with our physical intuition. Furthermore, we do not see how one can justify the inclusion of of a term proportional to the Chern-Simons density in the free energy using the above expression. Using the Bose-equivalent approach, we can do more than simply study the behaviour of a static energy density. We can in fact study the full dynamics of the system, at least classically. The dynamical evolution is governed by Hamilton's equations of motion: A = E — B' E = _£A[l + * ( ^ ^ ] + e ( ^ i - # ^ ) 4>i = Pi + faB 4>2 = P2~<f>lB A = eP2B + <f>'{ - e2A2<j>x + eA'<f>2 + 2eA<j>'2 - \4>x{4>\ + <f>22- 2c2) A = -ePiB + (j>2 - e2A2<f>2 - eA'fa - 2eA<j>[ - \<j>2(<j>\ + <j>\ - 2c2) (5.34) where B = ^[E'-re(P1cj>2-P2<f>1)}'. These equations, involving only first-order time derivatives, are cast in a perfect form to be solved numerically. We have done so for the very special case where the system is spatially homogeneous. In this case, without further loss of generality, we can set (j)2 = P2 = 0 and obtain a very simple system of ordinary differential equations: A = T 7 = -<?2.4(l + $2) Chapter 5. Anomalous theories at finite density l - i 77 - i J Figure 5.1: Oscillations of the fermion number (solid line) and the electric field (dashed line) as a function of time. The initial conditions were F=P=Q, A = 0.5, $ = 1 with m = A = g = 1. Although we cannot see it on this scale, there are some small variations in amplitude. See appendix D for more details. $ = P P = -g2A$ - A$ ($2 - m2) (5.35) where J/KA = A, ^pHT = E, = <j>u yftP = Px A = V ^ T T A , 7r 2m 2 = 2c2 and irg2 = e2. The behaviour of the rescaled fermion number A and electric field J- is shown on figure 5.1 for a particular set of initial conditions. The important thing to notice is that there is a back reaction of the (Bose-equivalent) fermi field onto the gauge fields causing oscillations in the latter. An electric field is thus induced in contradiction with one of Rubakov's claims. Although the effects of the non-linearity of the equations of motion are too small to be seen on figure 5.1, they can yield very peculiar result as is shown in Appendix D. Chapter 5. Anomalous theories at Unite density 78 5.3 Implications for four dimensional theories Physics in two dimensions is very different from physics in four dimensions. For instance the Bose-Fermi equivalence that we described does not exists in four-dimensional theories. Also, the Higgs phenomena does not take place in two-dimensions because of instanton effects [21, 77]. These instantons effects in fact dominate the physics in two dimensions giving rise to confinement. Because of this fact, our semi-classical results are likely to be fairly different from what would happen in a fully quantized theory. Another peculiarity of two-dimensions is the allowed existence of a non-vanishing background electric field. Such an electric field in four dimension could not survive because of the dielectric breakdown of the vacuum[27]. As a consequence of all these differences, one has to be very careful in extrapolating results from two-dimensional theories to our four-dimensional world. There are however some features of two-dimensional theories that we can confidently assess to be present as well in higher dimensions. For instance, the issue of gauge invari-ance should be independent of the dimensionality. We thus believe that the inclusion of a term proportional to the Chern-Simons number as a mean to obtain an effective Harnilto-nian is incorrect. We would further question the validity of any prediction obtained from the study of such a Harniltonian as we believe that non-perturbative effects are of the same magnitude as the perturbatives ones (so as to cancel their gauge variance) and can not be ignored. We also question the validity of studying a static effective Harniltonian as is done in [85, 86, 87, 67] in order to understand the effects of anomalies. As we have seen, back reaction of the Fermi fields onto the gauge fields produce dynamical fields which have non-negligible effects in two dimensions. This back-reaction is shown to be present as well in the fully quantized Schwinger model[109, 18]. In fact, we believe that this back-reaction and the resulting oscillations in the anomalous fermion number could Chapter 5. Anomalous theories at finite density 79 yield some very interesting results for cosmology. The type of results we have in mind are best il lustrated by the following scenario. We take for starting point a time at which the temperature was below the Grand Unification scale and where a baryon asymmetry had developped. Assuming that baryon-violating processes are unsuppressed at high temperature (as has been suggested in [62, 8, 9]) due to the electro-weak anomaly, we suggest that non-vanishing oscillating electric and magnetic field would be present (the analogue of the two-dimensional electric field is of the form E • B in four-dimensions). The presence of such oscillating fields and the corresponding oscillations in the baryon number might in fact be necessary in order that a net baryon number exists if the baryon-number violating interactions occur rapidly enough to yield thermodynamical equil ibrium (a model implementing baryogenesis based on a similar type of oscillations was introduced in [25, 26]). As the universe cools down, the anomalous processes become negligible and we are left with a net baryon number as well as with both an electric and a magnetic field background. The dielectric breakdown of the vacuum would cancel the electric field leaving only a magnetic field. The existence of a primordial magnetic field not only isn't ruled out by observations but in fact appears to be required in order to explain the bisymmetric spiral structure of the magnetic field of many galaxies [92]. We do not know of any other mechanism that could produce such primordial magnetic fields. The above scenario is very tentative and leaves many questions unanswered. 2 However we feel that it provides an interesting motivation for studying dynamical effects related to anomalous phenomena. Unfortunately, we do not know at this time how to properly address these questions in any realistic four-dimensional model. 2For instance, one might expect the formation of domains having different baryon number in apparent contradiction with current observations. Chapter 6 Conclusion In our study of the effects of finite densities in gauge theories we managed to answer some of the questions that we mentioned in the introduction. We have shown how one can characterize a confining phase in Q C D and other related SU(N) gauge theories even in the presence of fermions. In particular, we have shown that the phase structure as a function of an imaginary chemical potential for the fermions is related to the confining properties of these theories. Our results indicate that at high temperature these theories should have a first-order phase transition as a function of imaginary chemical potential whereas we wouldn't expect such a transition to be present in the low-temperature phase. We have also shown how we can deduce the properties of these theories at nonzero fermion density from their behaviour at finite imaginary chemical potential. We have also gained a substantial understanding of anomalous gauge theories and have clarified (we hope) many issues related to gauge invariance. In the process we even managed to show that theories that lose their gauge invariance through quantization can nonetheless be consistent. We have also suggested a new mechanism for producing primordial magnetic fields in the early universe. However, we have left many questions unanswered. For example, does the phase structure that we've uncovered for SU(N) gauge theories at the one-loop level survive at higher orders? Do we have the same type of global symmetry and does it play the same role in other gauge theories, l ike those based on the exceptional groups E& and E^l Can we realistically take into account finite volume effects and potentially verify them 80 Chapter 6. Conclusion 81 in heavy ion collisions? From our study of anomalous theories, further questions arise. Issues related to possible mass generation for gauge bosons in four-dimensional theories through anomalies need clarification. The dynamical effects related to the electroweak anomaly in the early universe need also to be addressed. These and other related questions fully deserve a thorough study. We hope that this wi l l be done in the near future. Appendix A Notation Throughout this thesis, we use an implicit summation convention over repeated indices. Greek indices run from 1 to 4. Staggered repeated indices are used for Minkowski space whereas non-staggered ones denote Euclidean space. Our choice for the Minkowski metric is taken to be g^ = d i a g ( l , - l , - l , - l ) in four spacetime dimensions and g^ = d iag( l , - l ) in two spacetime dimensions. A n y Euclidean metric is taken to be of positive signature. Roman indices a,b, c , . . . are used as group indices although we sometimes use k as spatial indices; this should usually be clear from the context. The metric used for summations over group indices is of positive signature. As mentioned in the introduction, we choose to work in a system of units where h = c = ks = 1. The inverse of the temperature, T , is denoted by 0 = T - 1 . We use interchangeably the terms Lagrangian and Lagrangian density as well as Harniltonian and Harniltonian density. A n integration over space-time is often understood even when it is not explicitely written; this should be always clear from the context. For instance, the derivation of the Euler-Lagrange equations of motion is to be obtained from the functional derivation of the action S = J dt L even though we generally write L instead of 5 . 82 Appendix B Invariant measure for S U ( N ) When performing an integration over al l possible group elements it is important to insure that the result does not depend on the parametrization of the group elements. In order to do so, we need to introduce an invariant measure -a lso called Haar measure-. The reader is referred to [105, 98] for more details on this procedure in general. We provide here a derivation for the invariant measure for SU(N) as we found it lacking from the standard literature. B y invariance we mean that given a set of variables a = {ai, a 2,..., ar} used to parametrize any group element U we must have where c denotes the parameters of the transformed group elements U(c) = U(a)U(h) for any fixed b. Writ ing the measure as (B.l) Da = p(a)da. = fj,(a)da,ida2 ... dar (B.2) we obtain quite tr iv ial ly / = J dafi(a)f[U(a)] = ] dcjx(c)f[U(c)) = J d* •£ f*(c)/[N(c)] (B.3) where dci dar dc (BA) da. fa daT 83 Appendix B. Invariant measure for SU(N) 84 is the Jacobian of the transformation. In order for eq. [...] to be valid fi(c) must satisfy the condition fi(c) for al l a. In particular, we may choose //(c) 8c da = /x(a) (B.5) dc da - l a=0 (B.6) We now proceed to derive the invariant measure for both U(N) and SU(N). We first note that any matr ix U € U(N) can be brought to diagonal form by a unitary transformation V: D = VUV'1 where V can be written as Djk = 8jkexp(i0j). So each element of U(N) can be uniquely characterized by the set of TV real parameters {Oj}. These are the parameters we integrate over. However, since a U(N) transformation generally involves N2 parameters, the Jacobian has to depend on TV2 parameters; the remaining N2 — N parameters are those needed to define the unitary transformation diagonalizing U. For SU(N) the only modification is that we have one less parameter as we have the constraint £ 8j = 0 mod 2n which comes from requiring the determinant to be unity. In order to keep the notation simple, we first consider the group (7(3). The first step is to choose a basis by considering a group element U(b) wi th matrix elements Ujk = fijk exp(ibj) where the bj are 3 -N for U(N)- real numbers. Since we are interested in the l imit a —* 0 we need only consider a matr ix U(a) that is infinitesimally close to the identity: ^ 1 — id\\ di2 Oi3 1 — ia22 ^23 W(a) = —a \ 12 413 — a j 3 1 — ia33 j (B.7) where | a t J- |<C 1 and the a,jj are real. To first order we can rewrite this matr ix as a Appendix B. Invariant measure for SU(TV) 85 product of U(2) transformations: W(a) = U{d)U{e)U{i) ^ 1 — id\\ 012 0 — a 12 V 1 - id 2 2 0 0 1 1 - i e n 0 a i 3 0 1 0 13 i i - «e 3 3 y — a 1 0 0 ^ 0 1 — i/22 a 2 3 0 - a ^ 3 1 - z ' / 3 3 J It is very easy to see how to generalize this result: any element of U(N) infinitesimally close to the identity can be written to first order as a product of NiN~1) U(2) transfor-mations. The corresponding Jacobian for such a transformation can then be written by using the chain rule as a product of Jacobians for U(2) transformations. We can thus now concentrate on U(2) transformations. Working only to first order in we write W(c) = U{a)U(b) \ ( \ lal2 ti(c) is easily diagonalized and we have / V(c) = 1 + za X i ia\2 \ ta 12 1 + ia22 J e - 0 e1 0 ^ (B.8) ( lal2 \ \ei{bl-b2) _ \) I D(c) = O»(6i+o n ) 0 (B.9) Q e«(i>2+a22) Our choice of parameters is c = {&i 011,62 + a 2 2 , V i 2 , V21} and a = { a u , a 2 2 , a 1 2 , a i 2 } . The Jacobian is easily calculated and the measure is then given by: fi{b) = le*'61 - e The measure for SU(N) is thus given by fi(b) = Jl e*'6> - eibk (B.10) ( B . l l ) Appendix B. Invariant measure for SU(N) 86 subject to the condition N £ 6 j = 0 mod27r. j Appendix C Computation of the free energy We wish to compute the free energy —/3F = \nZ with Z as denned by equation 2.63. In order to do so, it is very convenient to separate out the longitudinal part of a from the two transverse compontents. The longitudinal part of a is given by ay = a • ejj where (d i i + d 2 j + d 3k) en = - , . (C . l ) (V 2 ) 1 / 2 We get similar expressions for the transverse components. It is then easy to factor out the partit ion function z = z,zlz^z} ermionZmeasure (C.2) with the various subpartition functions given by Z* = J V<j> exp | - i j* dr j d3x <^ V2 }^ Z± = J Va± exp j - i j* dr J d3x [(d0a± + g[$, a±})2 + a±V2a±] j Z\\ = J V a \ \ e xP j f d r J [($>«|| + 9l$, «||])2] } = J exp | - i JP dr j d3x'W(iflidy + 70$ - m ) \ t } Z fermion Zmeasure = exp 1 — cos 'fiCj-fiCk (C.3) In the expression for Z± and Z\\, a has AT2 — 1 independent components over which we have to integrate. Using the fact that $ is diagonal and after doing an integration by 87 Appendix C. Computation of the free energy 88 parts it is possible to diagonalize Z±_ (or Z\\) further and obtain ZL = Z$ ft Zik (C4) i,k=i where - Ck)2 + V 2 a - ad2a (C.6) Zjk = J2>aexp\~\[ jd3x [a ([dQ + Cj - Ckf + V 2 ) a]|. (C.5) The above expression was obtained by considering each component of a±_ (ay) as in -dependent, however, in doing so, we are overcounting by one and so we subtract the (normalized) trace which is denoted by Zoo. We can rewrite this result as Z± = | ^ a e x p | - i £ Jd3x a ^ i d o + Cj- k with a similar expression for Z\\. The ful l partit ion function is now expressed in a form allowing an easy evaluation using the basic formulae Zboson = J da exp ^-^aTMa} = ( d e t M ) " 1 / 2 (C.7) and 6 fermion = J d^d^exp{^N^>} = detiV. (C.8) It is now quite easy to evaluate the various determinants and obtain an integral repre-sentation for the free energy. To see how to do this, consider the trace of the operator d2 i n the |x) representation: T r d 2 = j* j d3x {x\d2\x). (C.9) Inserting the identity I = J2n |<*>n)(wn| / d3k\k)(k\, we get Trd2 = j* j d3xY,J d3k{x\k)\un)d2(un\(k\x). (CIO) Appendix C. Computation of the free energy 89 We have two different cases to consider depending on the periodicity nature of the func-tion considered. If we are dealing with periodic functions, we have exp(iu;+T) exp(ik • x) M(k\x) = (C.ll) 8 ( 2 T T ) 3 / 2 with u>+ = 2irnf3~1 whereas if we are dealing with anti-periodic functions we obtain a similar expression with u>~ = (2n -f l ) 7 r / 3 _ 1 . The resulting trace becomes Tvdl = -V^J-^H)2 + k2} (C12 ) where V = f <Px is the spatial volume. Using the well known identity det O = exp[Tr In O], we get the following contributions to the free energy: NV t <Pk FL Fn I 2f3 J ( 2TT) 3 V r d3k Ink2 N £ j,k=i J J j£jS \ E ^ + Cj- Ck}2 + k2) - ln[(u,+)2 + *'] V t (Ph [ N 1 measure fermion — _ f V f <Pk f£ 2i3 J (27r)3 n - b K + ) 2 | 1 — cos 'PCs - pck-2i/|^{|>(K-c^ + ro>)}. The result for Fjermion comes from the fact that in four dimensions we have det(ryM£>M — m) = det^—D^Dy + m 2 ) 2 . (C.13) (C.14) (C.15) The value of F at C = 0 is simply the free energy for an ideal Bose (Fermi) gas. We wi l l ignore this contribution and study the C-dependence by looking at F(C) — F(0). To this end we first compute the following definite integral: '27rn - In l (2x)= °° t (Ph + C) +k" (C.16) Appendix C. Computation of the free energy 90 The C-dependent part of this integral wi l l be obtained by considering 1(C) — 1(0) 1(C) - 1(0) = J j — [S(C) - 5(0)] (C.17) where S(C) = £ In 2-KTl T + c) +v (C.18) 2k Taking a derivative with respect to k dS _ dk ~ ni'oo (2|n + ^ + we can evaluate this new sum by standard contour integral techniques. This is done by (C.19) introducing 2k cos z (C.20) sin z which has single poles at z = TIT:, — |(C ± ik). Now, consider J = $p f(z) dz where F is il lustrated on fig. C . l . It is easy to show that in the l imit as R —+ oo, J vanishes and that the infinite sum (eq. C.19) is equal to minus the sum of the residues at the two poles away from the real axis dS_ dk = —Res f(z = - f (C + ik) — Res f(z = - f (C - ik) This is easily evaluated and yields sinh Qk dk cosh Bk — cos BC from which we get S(C) = ln(cosh Bk - cos fiC) up to some irrelevant additive C-independent constant 1 . We thus have (C.21) (C.22) (C.23) 7(C) / (2*) : ln(cosh Bk — cos /3C) 1This is most easily seen by noting that 1(C) — 1(0) has to converge to some finite value. A C-dependent contribution to S(C) would clearly spoil the convergence. Appendix C. Computation of the free energy 91 Re Figure C . l : Contour of integration for evaluating the infinite series [eq. C.19] . = J JiL [/3k - In 2 + l n ( l - e-W+iC)) + l n ( l - e - ^ - ' c > ) ] . (C.24) Dropping the first two terms since they are C-independent, we Taylor expand the loga-rithms, interchange the order of summation and integration and get 1 0 0 = n t „ o 5^ c o s _j_ Q. _ i n d e p e n ( i e n t terms. We recognize this as some Fourier expansion which can be rewritten as 2 (C.25) 1(C) = 7 T 2 7 T 2 \0C] 2 ( \pc] 2 90/3 3 ~ 3/3 3 2TC modi \ 2TT modi - 1 (C.26) Going back to the expression for the free energy, it is quite straightforward now to show that the longitudinal part is cancelled by the measure term and obtain the bosonic 2See formula 1.4436 in Gradshteyn and Ryzhik [42] Appendix C. Computation of the free energy 92 contribution as F - ^ f h 'boson - 2 A / 3 4 2^ S 1 - f3Ck 2TT - 1 (C.27) mod 2 The fermionic part is handled in a similar fashion yielding Ffermion(C) = - ^ £ | _ g _ [ln(i _ e-«^)) + l n ( l - e^ 0"^ )] (C.28) with CI = (k2 + m 2 ) 1 / 2 . This integral can be evaluated in the case m = 0 and we obtain 2 (C.29) Vn 2 N fermion 2TT + 1 - 1 mod 2 Appendix D Examples of non-linear oscillations As we mentioned in chapter 5, the back-reaction of the Fermi fields onto the gauge fields creates some time-dependent oscillatory variations of the anomalous charge. We have studied the homogeneous case with various init ial conditions in order to see if the system would reach some steady state where the oscillations would either cease or settle around a non-vanishing value for the charge. We haven't seen any clear indication that this would happen. However, some interesting behaviour arises because of the non-linearity of the equations, espcially when the total energy in the system is slightly higher than the potential barrier between the two minima of the rescaled Higgs. We recall that the equations of motion for the rescaled fields are A = T T = -g2A(l + $2) $ = P P = -g2A$-A$($2-m2). (D.l) We have chosen for in i t ia l conditions S = P = 0 and $ = m with A = g = 1. We have looked at two different values of m, with various in it ia l values for the rescaled anomalous charge. We show here a subset of the cases we looked at. As a convention, the solid line shows the time variations of the rescaled anomalous charge, the long dotted fine shows the location of the two minima (in the absence of gauge fields) for $ (±m), and the short dotted line shows the behaviour of $ . 93 Appendix D. Examples of non-linear oscillations 94 Figure D.2: .4=0.9, m = l . Some small variations in amplitude appear. Appendix D. Examples of non-linear oscillations Figure D.4: .4=1.5, m=l. The two fields appear to be synchronized. Appendix D. Examples of non-linear oscillations 96 Figure D.5: .4=7.5, m = l . The apparent synchronization showed in the previous figure is absent. Note that the period of oscillation has shortened. I 5 N Figure D.6: .4=7, m=10. Appendix D. Examples of non-linear oscillations 97 Figure D.8: ,4=8.0, m=10. The charge appears to oscillate around a positive value. However, this behaviour doesn't persists. Appendix D. Examples of non-linear oscillations 98 Figure D.9: .4=8.0, m = 1 0 . Compare this with the next figure. It shows that a small change in the in it ia l conditions can produce large variations after only a short time. The horizontal scale is the same for both figures. 30 n 20 -30-1 Figure D.10: .4=8.01, m = 1 0 . Appendix D. Examples of non-linear oscillations 99 Figure D . l l : .4=8.1, m=10. The in i t ia l behaviour is very similar to the previous two cases but any similarity is lost after only two ful l oscillations. Bibliography [1] L .F . Abbott , Nucl . Phys. B185 (1981) 189 [2] L .F . Abbott , A c t a Phys. Po l . B13 (1982) 33 [3] S. Adler , Phys. Rev. 177 (1969) 2426 [4] C R . Alcock, G . M . Fuller and G . J . Mathews, Astrophys. J . 320 (1987) 439 [5] B. A l len, Phys. Rev. D 33 (1986) 3640 [6] J . Ambjorn , J . Greensite and C. Peterson, Nucl . Phys. B221 (1983) 381 [7] J . H . Applegate, C . J . Hogan and R . J . Scherrer, Phys. Rev. C 35 (1987) 1151 [8] P. Arno ld and L. McLerran , Phys. Rev. D36 (1987) 581 [9] P. Arno ld and L. McLerran , Phys. Rev. D37 (1988) 1020 [10] 0. Babelon, F. Shaposnik and C. Vial let , Phys. Lett. 54 (1986) 385 [11] T. Banks and A . Ukawa, Nucl . Phys. B225 (1983) 145 [12] W . A . Bardeen and A . R . Whi te (eds.): Symposium on Anomalies, Geometry, Topol -ogy. 1985 Symposium on Topological Methods in Field Theory, Helsinki, F in land (to be published) [13] A . A . Belavin et al, Phys. Lett. 59B (1975) 85 [14] J . Be l l and R. Jackiw, Nuovo C i m . 6 0 A (1969) 47 100 Bibliography 101 [15] N. Bi r re l l and P. Davies, Quantum Fields in Curved Space, Cambridge Univ . Press, Cambridge, 1982 [16] S.A. Bonometto and A . Masiero, R iv . Nuovo C i m . 9 (1986) 1 [17] D. Boyanovsky, Nucl . Phys. B294 (1987) 223 [18] D. Boyanovsky, I. Schmidt and M .F .L . Golterman, Ann . Phys. 185 (1988) 111 [19] R .H . Brandenberger, Rev. M o d . Phys. 57 (1985) 1 [20] C G . Cal lan, R .F . Dashen and D .J . Gross, Phys. Lett. 63B (1976) 334 [21] C G . Cal lan, R.F . Dashen and D .J . Gross, Phys. Rev. D 16 (1977) 2526 [22] C G . Cal lan, R .F . Dashen and D .J . Gross, Phys. Rev. D 17 (1978) 2717 [23] C G . Cal lan, Phys. Rev. D 26 (1982) 2058 [24] N .H. Christ , Phys. Rev. D 21 (1980) 1591 [25] A . G . Cohen and D.B. Kap lan , Phys. Lett . 199B (1987) 251 . [26] A . G . Cohen and D.B. Kaplan , Nucl . Phys. B308 (1988) 913 [27] S. Coleman, Ann . Phys. 101 (1976) 239 [28] T . DeGrand and C. DeTar, Nucl . Phys. B225 590 [29] C DeTar and L. McLerran , Phys. Lett. 119B (1982) 171 (1981) 195 [30] B.S. DeWi t t , Phys. Rev. 162 (1967) 1195 [31] W . Ditt r ich and M . Reuter, Selected Topics in Gauge Theories, Springer-Verlag, Ber l in , 1986 Bibliography 102 [32] P. Dirac, Can. J . Math . 2 (1950) 129 [33] L. Faddeev and V . Popov, Phys. Lett. 25B (1967) 29 [34] L. Faddeev and S.L. Satashvili , Phys. Lett . 167B (1986) 225 [35] E. Fradkin and S. Shankar, Phys. Rev. D 19 (1979) 3682 [36] E. Fradkin and Vi lkovisk i , CERN report, 1979 (unpublished) [37] K . Fujikawa, Phys. Rev. Lett . 42 (1979) 1195 [38] K . Fujikawa, Phys. Rev. D 21 (1980) 2848 [39] H. Georgi and S. Glashow, Phys. Rev. D6 (1972) 429 [40] H.O. G i rot t i , H . J . Rothe and K . D . Rothe, Phys. Rev. D33 (1986) 514 [41] H.O. G i rot t i , H . J . Rothe and K . D . Rothe, Phys. Rev. D34 (1986) 592 [42] I.S. Gradshteyn and I.M. Ryzhik, Table of Integrals, Series, and Products, Academic Press, New York, 1980 [43] M . Green and J . Schwarz, Phys. Lett . 149B (1984) 117 [44] M . Green, J . Schwarz and E. Wi t ten , Superstring theory, Cambridge Univ . Press, Cambridge, 1987 [45] D. Gross and R. Jackiw, Phys. Rev. D6 (1972) 477 [46] D . J . Gross, R.D. Pisarski and L . G . Yaffe, Rev. M o d . Phys. [47] C. Hagen, A n n . Phys. 81 (1973) 67 [48] J . G . Hall iday et al, Nucl . Phys. B268 (1986) 413 Bibliography 103 [49] M .B . Halpern, Phys. Rev. D 13 (1976) 337 [50] A . Hansen, T . Regge and C. Teitelboira, Constrained Harniltonian Systems, Acad . Naz. Lincei (Rome) 1976 [51] P. Hasenfratz, F. Karsch and I.O. Stametscu, Phys. Lett . 133B (1983) 221 [52] G . 't Hooft, Phys. Rev. Lett. 37 (1976) 8 [53] G. 't Hooft, Phys. Rev. D14 (1976) 3432 [54] J . B . Kogut, Rev. M o d . Phys. 51 (1979) 659 53 (1981) 43 [55] R. Jackiw, Phys. Rev. D 9 (1974) 1686 [56] R. Jackiw and C. Rebbi , Phys. Rev. Lett . 37 (1976) 172 [57] R. Jackiw, Rev. M o d . Phys. 52 (1980) 661 [58] R. Jackiw, Relativity, Groups and Topology II, Les Houches 1983, B.S. DeWit t and R. Stora eds., North-Hol land, Amsterdam, 1984 [59] R. Jackiw and R. Rajaraman, Pys. Rev. Lett. 54 (1985) 1219 [60] F.R. Kl inkhamer and N.S. Manton, Phys. Rev. D30 (1984) 2212 [61] V . A . Kuzmin , V . A . Rubakov and M . E . Shaposhnftov, Phys. Lett. 155B (1985) 36 [62] V . A . Kuzmin , V . A . Rubakov and M .E . Shaposhnikov, Phys. Lett. 191B (1987) 171 [63] R. L ink , The Schwinger Model, M.Sc. thesis, U B C , 1986 (unpublished) [64] R. L ink , A . Roberge and G.W. Semenoff, Z. Phys. C, 39 (1988) 269 [65] S. Mandelstam, Phys. Rev. D 11 (1975) 3026 Bibliography 104 [66] N. Manton, Ann . Phys. 159 (1985) 220 [67] V . A . Matveev et al, Nucl . Phys. B282 (1987) 700 [68] L. McLerran and B. Svetitsky, Phys. Lett . 98B (1981) 195 [69] L. McLer ran and B. Svetitsky, Phys. Rev. D 24 (1981) 450 [70] L. McLerran-, Rev. M o d . Phys. 58 (1986) 1021 [71] D.E. MiUer and K . Redl ich, Phys. Rev. D 37 (1988) 3716 [72] H .B. Nielsen and M . Ninomiya, Phys. Lett. 130B (1983) 389 [73] A. Niemi and G. Semenoff, Phys. Rev. Lett. 54 (1985) 2166 [74] A . Niemi and G. Semenoff, Phys. Lett . B175 (1986) 439 [75] M .B . Paranjape, Nucl . Phys. B307 (1988) 649 [76] A . M . Polyakov, Phys. Lett. 72B (1978) 477 [77] S. Raby and A . Ukawa, Phys. Rev. D 18 (1978) 1154 [78] R. Rajaraman, Phys. Lett . 154B (1985) 305 [79] A . N . Redlich and L .C .R . Wijewardhana, Phys. Rev. Lett . 54 (1985) 970 [80] A . Roberge and N. Weiss, Nucl . Phys. B275 (1986) 734 [81] A . Roberge, Gauge invariance and anomalous theories at finite fermionic density, U B C preprint (1988). Submitted to Nucl . Phys. B [82] V . A . Rubakov, Nucl . Phys. B203 (1982) 311 [83] V . A . Rubakov, Nucl . Phys. B245 (1984) 481 Bibliography 105 [84 [85; [86 [87; [88; [89 [90 [91 [92 V . A . Rubakov, Nucl . Phys. B256 (1985) 509 V . A . Rubakov and A . N . Tavkhelidze, Teor. Mat . F iz . , 65 (1985) 250 V . A . Rubakov, A . N . Tavkhelidze and V . F . Tokarev, Teor. Mat . F iz . , 68 (1986) 3 V . A . Rubakov, Prog. T h . Phys. 75 (1986) 366 A . R . Rutherford, Phys. Lett . 182B (1987) 187 A . R . Rutherford, U B C Ph .D . thesis (in preparation) J . Schwinger, Phys. Rev. 128 (1962) 2425 M .E . Shaposhnikov, Nucl . Phys. B287 (1987) 757 Y . Sofue, M . Fujimoto and R. Wielebinski, A n n . Rev. Astron. Astrophys. 24 (1986) 459 [93] D.E. Soper, Phys. Rev. D 18 (1978) 4590 [94] H. Sugawara, Phys. Rev. 170 (1968) 1659 [95] B. Svetitsky and L . G . Yaffe, Nucl . Phys. B210 (1982) 423 [96] B. Svetitsky, Phys. Rep. 132 (1986) 1 [97] B. Svetitsky, Nucl . Phys. A46I (1987) 71c [98] M . T inkham, Group Theory and Quantum Mechanics M c G r a w - H i l l , New York, 1964 [99] M.S. Turner, Phys. Rev. D 37 (1988) 3049 [100] M . Weinstein, Phys. Rev. D 26 (1982) 839 [101] N . Weiss, Can. J . Phys. 59 (1981) 1686 Bibliography [102] N. Weiss, Phys. Rev. D 24 (1981) 475 [103] N. Weiss, Phys. Rev. D 25 (1982) 2667 [104] N . Weiss, Phys. Rev. D 35 (1987) 2495 [105] E. Wigner, Group Theory Academic, New York, 1959 [106] K . G . Wi lson, Phys. Rev. D 10 (1974) 2445 [107] K . G . Wilson, Rev. M o d . Phys. 55 (1982) 583 [108] E. Wi t ten , Phys. Rev. D 30 (1984) 272 [109] D. Wolf and J . Zittartz , Z. Phys. B59 (1985) 117 [110] J . Yang et al, Astrophys. J . 281 (1984) 493 [111] B. Zumino, Y . - S . W u and A . Zee, Nucl . Phys. B239 (1984) 477
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Finite density effects in gauge theories
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Finite density effects in gauge theories Roberge, André 1989
pdf
Page Metadata
Item Metadata
Title | Finite density effects in gauge theories |
Creator |
Roberge, André |
Publisher | University of British Columbia |
Date Issued | 1989 |
Description | Various effects of finite fermionic densities in gauge theories are studied. The phase structure of SU(N) gauge theories with fermions as a function of imaginary chemical potential is related to the confining properties of the theory. This phase structure is controlled by a remnant of the Z[sub N] symmetry which is present in the absence of fermions. At high temperature the theory has a first-order phase transition as a function of imaginary chemical potential. This transition is expected to be absent in the low-temperature phase. It is shown that properties of the theory at nonzero fermion density can be deduced from its behaviour at finite imaginary chemical potential. Anomalies in gauge theories are introduced using various two-dimensional models. In particular, the chiral Schwinger model is shown to be consistent despite being anomalous. The effects of finite densities in anomalous gauge theories is investigated. It is found that, contrary to some recent claims, an effective Harniltonian (obtained by integrating out the fermions) cannot be obtained by the simple inclusion of a Chern-Simons term multiplying the fermionic chemical potential. The importance of dynamical effects is stressed and a mechanism for producing primordial magnetic field is suggested. |
Genre |
Thesis/Dissertation |
Type |
Text |
Language | eng |
Date Available | 2010-10-18 |
Provider | Vancouver : University of British Columbia Library |
Rights | For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use. |
DOI | 10.14288/1.0084989 |
URI | http://hdl.handle.net/2429/29272 |
Degree |
Doctor of Philosophy - PhD |
Program |
Physics |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Degree Grantor | University of British Columbia |
Campus |
UBCV |
Scholarly Level | Graduate |
AggregatedSourceRepository | DSpace |
Download
- Media
- 831-UBC_1989_A1 R62.pdf [ 5.12MB ]
- Metadata
- JSON: 831-1.0084989.json
- JSON-LD: 831-1.0084989-ld.json
- RDF/XML (Pretty): 831-1.0084989-rdf.xml
- RDF/JSON: 831-1.0084989-rdf.json
- Turtle: 831-1.0084989-turtle.txt
- N-Triples: 831-1.0084989-rdf-ntriples.txt
- Original Record: 831-1.0084989-source.json
- Full Text
- 831-1.0084989-fulltext.txt
- Citation
- 831-1.0084989.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
https://iiif.library.ubc.ca/presentation/dsp.831.1-0084989/manifest