Where to get it

Sorry, we aren't mailing printed copies. If you still have computer-related problems, please contact your System Manager before e-mailing me.

What makes it different

For information on my course based on this book, see my PHY 610-611 page.
See also an overview of the course.
See also the APS News article.
An interesting article on open source books.

Additions (v3)

Significant changes in next version (see also below):

Preface, etc.

  1. p. 16, top: enregy → energy
  2. p. 23, top: I might add that the caveman found fire & the wheel "counter-intuitive". We have not physically evolved significantly since then. So if you can handle learning about those things, then intuition isn't the problem.
  3. p. 26, bottom: arXive → arXiv
  4. p. 26, bottom: Another advantage -- easy to deal with when you move.
  5. pp. 29, 101, 104, 156: The Higgs has been found.
  6. p. 33, top: Probably a more drastic revision of the graduate curriculum is desirable.
  7. p. 36: There is a new book out by M. Srednicki, Quantum Field Theory (Cambridge University, 2007) 608 pp., that doesn't really fit into any of the categories I used. (Time to re-organize again.) It's only the 2nd textbook (after mine) to have any treatment of spinor helicity. (Canonical quantization & LSZ is used for each spin 1st, but really only at the free level.)

    The long-promised (26 years & counting!) "2nd volume" (actually 2nd edition) of the de Wit & Smith book (with a new coauthor, E. Laenen) is now said to be "forthcoming".

    There are many more field theory books now, so rather than try & list them all, I'll stick to just the few I like for historical value or useful treatments of some topics. The ones I drop or don't add will be those that have the following of what I consider major shortcomings for a textbook on quantum field theory (but not necessarily a reference book):

  8. p 37, bottom: Here's a useful link for TASI lectures.

Chapter I

  1. p. 44, middle: Here we treat φ as both a function & an operator, which may be a little confusing, but the distinction should be clear by context. More explicitly, if x is a coordinate and X is the corresponding operator, then (for 1 coordinate, for simplicity) i[p,φ(X)] = φ'(X), where φ'(x) = ∂φ(x)/∂x. So we may sometimes write ∂φ/∂x as (∂/∂x)φ(x) to mean the ∂/∂x acts only on φ (treat φ as a wave function, e.g.), but we may also write [∂/∂x,φ(x)] when treating φ as an operator.
    If you're not familiar with [∂/∂x,φ(x)] = φ'(x), check it by Taylor expansion (which is always OK for φ(x) about some point x₀).
  2. p. 47, top: Spurious right quotes after {,}.
  3. p. 47, middle: f(ψ) = a+ψb is a more convenient ordering.
  4. p. 48, top: should be definite integration. Better yet, think of it as integration over all of a space with no boundary, like a circle; then, no boundary → no boundary terms.
  5. p. 48, exercise IA2.2: This means to show ∫dψ(∂/∂ψ) = 0 ⇒ ∫dψ = ∂/∂ψ. Note that integration by parts is the same as translational invariance.
  6. p. 53, middle, & p. 81, exercise IB3.1a: For SU(2), f = -ε.
  7. p. 59, middle: There is some ambiguity in how momenta are numbered, and thus how s,t,u are defined. The default convention is to draw a planar spacetime picture of the scattering, labeling the 4 trajectories. Then (1) s is defined in terms of just the incoming (or just the outgoing) momenta, which are drawn as adjacent (as thy both come from earlier time). (2) t is defined in terms of the independent pair of adjacent particles. (3) Thus, u is defined in terms of opposite particles.
  8. p. 61, top, exercise IA4.7b: see exercise IA4.4 → 4.6.
  9. p. 66, middle: Note that p is the "total" energy-momentum, m dx/ds is the "kinetic" energy-momentum, & -qA is the "potential" energy-momentum. The kinetic part is gauge-independent, & thus directly physically measurable (in terms of the space-time path), while the total is gauge-dependent, but is what will be conserved if there are symmetries.
  10. p. 66, middle: effect the coordinates → affect ...
  11. p. 67, middle: The relevant symmetry is really C(P)T, because CPT is a symmetry of any local, unitary, Poincaré invariant theory in any dimension. (Here P is trivial: 1 time dimension, no space.) There is no worldline C, because everything, like x, is real. (Delete the parenthetical remark about extra variables.)
  12. p. 68, bottom: Maybe some words on the AdS/CFT correspondence could go here.
  13. p. 69, bottom: The finite difference can be done the same way as the differential:
    y∙y' = ee'w∙w' = -½ee'(w-w')2 = -½ee'(x-x')2
    A similar example is nonrelativistic momenta (see exercise IA4.7): The analogous parametrization is
    p = (m,pi,E) = m(1,v,½v2) → p∙p' = -½mm'(v-v')2
  14. p. 70, middle: It might be easier for some people to look at δyA=yBεBA.
  15. p. 70, bottom, exercise IA6.2: Looks like I only did this semiclassically. Let's do this quantum mechanically, like later in exercise IIB1.3. Then the 2nd constraint should be y∙r+r∙y=0 for closure of the constraint algebra. Paying careful attention to ordering, the resulting constraints in the new coordinates are then z = en+(D-2)/2 = p² = 0.
  16. p. 70, bottom: new exercise IA6.4: Instead of using this algebraic way of finding the conformal group, one can use an analytic way: Use the definition of infinitesimal conformal transformations given above as preserving p2=0. Solve the resulting first-order differential equation by Taylor expanding λa and ζ in x.
  17. p. 71, exercise IA6.4: Do this completely in terms of x.
  18. p. 72, top, new ref. 4: O. Klein, J. Phys. Radium 9 (1938) 1: Klein transformation.
  19. p. 72, ref. 8: For Kastrup, 1186 → 1183.
    Also, the Mack & Salam paper is available as a preprint.
    And Adler's paper has an erratum, Phys. Rev. D7 (1973) 3821.
  20. p. 73, bottom: For uniformity, ψ' = Mψ + V just before the exercise.
  21. p. 77, middle: "Irreducible representation" is first used here, but defined on p. 80, so another definition needs to be given here.
  22. p. 78, middle: The fact that any matrix that commutes with the generators in an irreducible representation is proportional to the identity is Schur's lemma. It's easy to prove by first separating out the hermitian and antihermitian parts of the matrix (in this case it's already hermitian), then diagonalizing each hermitian matrix. Separating the resultant matrix into blocks each proportional to the identity, one sees that the generators must be block diagonal with respect to them, so each block is a representation.
  23. p. 78, middle, new exercise IB2.2:
    Consider the transformation properties of these tensors under the action of the group, Gi' = gGig-1 =gijGj.
    1. Prove invariance of fijk & thus ηij.
    2. Show trR(GiGj) ≡ ηRij is invariant; as a matrix in the adjoint space, ηR' = g ηR gT = ηR. For 2 different representations, looking at the η of one times the inverse of the η of another, show using Schur's lemma that this implies that all η's are proportional.
  24. p. 80, middle: colummn → column.
  25. p. 81, exercise IB3.1a: f = -ε.
  26. p. 82, bottom: strictly speaking, these integrals converge only if the matrices have positive-definite eigenvalues; the general case then follows as described below.
  27. p. 84, top: Note that this relation for the determinant provides a simpler expression for the inverse of an antisymmetric matrix directly in terms of the Pfaffian.
  28. p. 86, middle: The charge is canonically conjugate to the group coordinate θ. So if θ is compact (i.e., an "angle"), q is quantized; but if q can take continuous values, the group must be non-compact.
  29. p. 89, top (twice): fundamental → defining
  30. p. 93, top: Here the Ĝ's are understood to act as differential operators, so they are not written as commutators, to emphasize that they are not matrices in the vector space.
  31. p. 102, top: The Higgs mass is 125.
  32. p. 104, bottom: The diagram needs more explanation regarding multiplicity. If we ignore symmetry, then (showing SU(n) indices)
    . But there is symmetry in combined SU(n) internal & spin SU(2) indices, so we should really decompose
    . Then the symmetry for interchanging these pairs of indices means the separate tableaux for SU(n) & SU(2) should have the same symmetry, naively giving
    . But total symmetry in the pairs of indices means the middle 2 are the same (or appear only as their sum), & shouldn't be double counted, since they are related by jβ ↔ kγ. (And the last vanishes because of 3 antisymmetrized 2-valued indices.)
  33. p. 109, top: There should probably be here a whole new subsection IC6 on cosets, as nonlinear realizations of symmetries, including projective representations. These will be used much later (subsection IVA3) for fields, but are often used for coordinates, e.g., for (super)conformal symmetry. A general discussion here would include the introductory part of IVA3, invariant differentials (& finite differences) and derivatives, differential form of symmetry generators, and invariant integration measure. A good example/exercise would be the explanation of exercise IA6.5, which would be moved here from p. 789. Also moved here would be the representation of the 4D conformal group as a projective space from the end of subsection IIB6 (which was applied at the end of subsection IIIB1, & to instantons in subsections IIIC5-7).
    1. Here is a piece of that from another course.
    2. More can be found in this paper: probably just some pieces of sections 2-4.
  34. p. 109, top, ref. 1: An older, longer, preprint version of that paper was recently re-released, AEC report NYO-3071.
  35. p. 109, middle, ref. 7: The 2012 edition of the Review of Particle Physics is out. (It comes out every 2 years, so I should change how I cite this.)

Chapter II

  1. p. 111, bottom: In practice, it's usually more convenient to work with each component of this matrix, rather than real combinations. This is familiar from quantum mechanics courses when discussing SU(2), where "raising" and "lowering" operators are used in place of the usual vector components of angular momentum. Similar remarks apply to other groups, as seen in subsection IB5.
  2. p. 114, bottom: Note that eiπC/2=iC, and complex conjugation just changes the sign of one component of a vector (that in the C direction), while iC is a rotation of the other 2 components into sign changes.
  3. p. 119, middle: In the equation for ½⊗½, there should be a ½ multiplying ψγχγ.
  4. p. 119, bottom, new exercise IIA4.2:
    Spherical harmonics are simple in spinor notation.
    1. Write the unit position vector (position divided by radius) as a symmetric matrix, in spherical coordinates (i.e., in tems of θ and φ). Show its components are the spherical harmonics for angular momentum 1.
    2. Explain why the totally symmetric product of L such objects gives the spherical harmonics for angular momentum L. Compare with known expressions for L = 2 and 3.
  5. p. 122, above exercise IIA5.3: For SO(2,2), replace Vγδ' → Vαβ'.
  6. p. 124, bottom: V should transform like ψψ̄, not ψχ̄, to make it a real 4-vector. (But that makes it an axial vector.)
  7. p. 125, middle: It might be better for some applications to use instead ψ→iψ, ψ̄→iψ̄. For example, this makes more sense in certain numbers of dimensions where spinors are real, so ψ̄=ψ. (But we may need to also do things like change the signs of masses.)
  8. p. 126, middle, new exercise IA5.6: Using the methods of subsection IC6 (to be added), derive 4D conformal transformations as projective transformations on 2×2 (hermitian) matrices.
  9. p. 129, middle, exercise IIA7.2: "2×2 matrix notation" means no indices, as in the previous problem. Use the results from this page (which is why this problem is here). This notation was defined @ the top of p. 124.
  10. p. 132, bottom: "insubsection" → "in subsection"
  11. p. 135, IIB2.1b: More-explicit wording -- "Find a manifestly Lorentz covariant solution to the second equation first..."
  12. p. 148, middle: An important change of convention that will prove convenient later --- we can hide these signs to some extent by defining pαγ̇=+pαpγ̇ always, and then defining pγ̇=±(pγ)*. This allows us to do all algebra without the signs (e.g., in scattering amplitudes), until we need complex conjugation (e.g., in cross sections).
  13. p. 149, middle: The above signs will then appear in the complex conjugation relations, e.g., 〈pq〉*=ε(p0)ε(q0)[qp].
  14. p. 154, middle: All the +'s should be ⊕'s.
  15. p. 157, top: I forgot to mention [p,q] = 0.
  16. p. 160, bottom: IJK... indices should probably be ABC... for consistency.
  17. p. 161, top: "M" shouldn't be used here, to avoid confusion with the M of the previous page.
  18. p. 161, top: The fact that a is a "bosonic index" means za is bosonic; likewise, zα is fermionic.
  19. p. 161, bottom: There should be a discussion here about general conventions for index ordering. We have previously defined indices for matrices for matrix multiplication with the first index on a matrix down, second index up, so that consecutive indices can be contracted with the first of the contracted indices up, second down. If we consider matrices, or general tensors, in terms of bases of direct products of vectors (defining representation), then statistics imply that if we have different index ordering in different terms or sides of an equation, then there are signs due to relative reordering of indices. (An example of this was the rule for complex conjugation with spinor indices given in subsection IIA5.) Every time an index A has to be "pushed" past an index B to achieve the same ordering, there is the same sign that would be needed for pushing the corresponding vector in the direct-product basis. This factor is written as "(-1)AB", where each index in the exponent is assigned a value of 0 if the corresponding index on the tensor is bosonic, 1 if it's fermonic.
  20. p. 161, bottom: A more convenient parametrization when inverses or (super)determinants are involved is the factorized form
    or a similar form with the first & last factors reversed. Such forms are easy to invert and take determinants of, & the results given in the text are easily derived from them by simple redefinitions. See exercise IB3.4b, which is good for inversions as well as determinants. These forms will also have been used in new subsection IC6 (see above). They correspond to factorization of group elements into elements of the block-diagonal subgroup, & the raising and lowering operators with respect to it.
  21. pp. 162-3: Since USp(2n) can have an indefinite "U", as USp(2n+,2n-), so we can also have OSp*(2m|2n+,2n-).
  22. p. 164, middle: Here will go a discussion of 4D superspace(s) as superconformal cosets/projective spaces, based on new subsection IC6. This will include the definition of superspin and super-isospin. Some of this will leak into the following subsection.
  23. pp. 164-5: The index ordering is inconsistent in some spots; see the note above for the bottom of p. 161.
  24. p. 165, middle: The "reverse" statistics for (super)twistors can be explained by noting that they always carry a second spinor index, associated with the little Lorentz group. This is obvious in the 6D, but not in lower dimensions. (However, see subsection IIB6, where twistors were introduced as group elements.)
  25. p. 165, bottom: The choices of alphabets for these indices differ from the conventions used in subsection IIC3: Now A=(α,i), where α is bosonic (spacetime) & i is fermionic (internal).

Chapter III

  1. p. 171, bottom, new exercise IIIA1.2:
    Find the equations of motion from the Lagrangian L = aq2 +bq̇2 +cq̈2 (for constants a,b,c).
  2. p. 181, middle: The double derivative A(∂B) - (∂A)B is 1st used here, but not defined till the top of p. 185.
  3. p. 183, top: It would be more general to define J as δSM/δA with respect to the rest of the action SM, as previously in this subection.
  4. p. 183, middle: The main problem classically with "bad" high-energy behavior is the breakdown of perturbation in such couplings, which is the only known method of detailed calculation in the quantum theory: They are associated (by dimensional analysis) with higher derivatives in the action. One can only expand in dimensionless quantities (to have unit-free comparisons of different orders), which in this case would be the coupling constant times a positive power of the energy. This means the perturbation expansion would necessarily diverge at energies above the mass scale set by the dimensionful coupling.
  5. p. 188, middle: That should be 0 = δ∇ = δ0∇ +i[ζiGi,∇].
  6. p. 196, bottom: The τ limits of integration for the lightcone gauge should be τi and τf.
  7. p. 199, middle: It might be less confusing to call the matter ψ instead of φ, so as not to confuse it with the φ of the rest of this subsection.
  8. p. 200, top: Note that one can vary the action with respect to X(τ) and φ(x), etc., independently.
  9. p. 204, middle: Note that, in relating to classical mechanics by the correspondence principle, the covariant derivative corresponds to the kinetic energy-momentum, while the partial derivative corresponds to the total energy-momentum. (See the discussion for p. 66 above.) This is also reflected in the fact that it is the covariant derivative whose square gives the mass², while partial derivatives relate to translations (& thus symmetries).
  10. p. 209, bottom: In the last equation, that should be k = x0-t0, just as explained immediately above.
  11. p. 209, bottom, exercise IIIC2.1: The hint isn't really useful.
  12. p. 214, top: You can skip a step by dropping the next-to-last expression. (The same goes for the analogous equation on p. 639.)
  13. p. 229, ref. 8: Add -- R. Capovilla, J. Dell, T. Jacobson, and L. Mason, Class. Quantum Grav. 8 (1991) 41. (They did the Yang-Mills case.)

Chapter IV

  1. p. 234: I never really defined "σ model", or even said what the "σ" stood for. They are just theories of Goldstone bosons. The original theory was polynomial, as described for a vector of SO(4): The component with the vacuum value was called "σ", the 3 Goldstone bosons were identified with the π. A "nonlinear σ model" was the result of taking the mass to infinity, leaving a nonpolynomial action for the Goldstone bosons; ironically, this model contained only the π, σ having been eliminated.
  2. p. 235, top: There is another way to understand this, as the parametrization of a 3D null vector (for SO(2,1)) in terms of 3D twistors. (See subsection IIC5, or exercise IIA3.1 for real ψ.) Scale the twistor to (x,1) (or (m,n) for the Pythagorean theorem).
  3. p. 236, middle: Of the CP(n-1) model's U(n) symmetry, the U(1) is local and the SU(N) is global.
  4. p. 236, bottom, new exercise IVA2.2:
    Consider the CP(1) model in 1 dimension:
    1. Look at new gauge invariant variables quadratic in the original fields φ. The 4 elements of this 2×2 matrix are a 3-vector "x" and its norm. (See exercise IIA3.1. φ is now an SU(2) "twistor".) Rewrite the CP(1) action in terms of this 3-vector, to find the action for a nonrelativistic particle constrained to a sphere (i.e., the case SO(3) of the previous model).
    2. Now look at the nonrelativistic action for a particle in a gravitational/Coulomb potential (~1/r), obtained from the relativistic one (section IIIB) by replacing p2 with pi2-2mE, as suggested by the discussion of subsection IA4. Instead of the usual v=1, choose v=r, so the term in the Lagrangian for the (scalar) potential becomes a constant. Then make the change of variables above in reverse, to obtain the 1D CP(1) model (with E as the Lagrange multiplier), but with the mass replaced so the constraint defines the time t. In the gauge A=0 one gets a 4D harmonic oscillator. (The constraints from V & A at t=0 can be used to fix E & A.)
  5. p. 237, bottom: G is sometimes called the "symmetry group" or "isometry group". H is sometimes called the "little group", "isotropy group", or "stability subgroup".
  6. p. 238, top: Note there is an ambiguity in the definition of the T's, by adding to each a bit of the H's. This corresponds to different choices of the "unitary" gauge.
  7. p. 238, middle: That g⁻¹dg is an element of the Lie algebra is clear from the fact g⁻¹(x)g(x+ε) differs from the identity by (i.e., is the exponential of) an infinitesimal element of the algebra. (The same is true for (dg)g⁻¹.)
  8. p. 241, middle: I forgot to drop 1 Lorentz index.
  9. p. 242, bottom: For more than 1 color, the current should have a trace for the quarks.
  10. p. 244, exercise IVA5.1: You can ignore the hint. (It doesn't seem helpful.)
  11. p. 244, middle: The action of T is linear on e, so it's also useful to think of this as a U(1) nonlinear σ model, as at the beginning of IVA2.
  12. p. 247,middle: The general case is then to start with a polynomial action for scalars, describing spontaneous symmetry breaking from G→H. As before these scalars can be decomposed into the coset G/H plus some representations of only H. Coupling Yang-Mills for group G to the G of the coset, some vectors eat the coset, leaving massless the vectors for the H subgroup. The remaining scalars are the physical Higgs. Mathematically, we take the covariant derivative ∇ for the Yang-Mills group G & the scalars g for the coset G/H, and combine them as g-1∇g. The construction is similar to that for the pure coset, but now the resulting H gauge fields include the massless vectors, while the field strengths for the coset scalars are now the massive vectors themselves. These & the physical Higgs are all singlets of the original Yang-Mills gauge group G, while the coset gauge group H has now become the new Yang-Mills gauge group.
  13. p. 248, 1st line: "for for" → "for"
  14. p. 250, middle: ∫d4x needs a 1/(2π)2.
  15. p. 251: All the δ's should have a (2π)2.
  16. p. 251, bottom: Look at δS = ∫δ(φ2gmn)δS/δ(φ2gmn).
  17. p. 253, middle: To see that the singularity is unavoidable, note that the minimum (because a>0) of the parabola is at nonpositive φ, from the energy conservation equation. (If a=0 it's a straight line, so obvious.)
  18. p. 255, middle: In defining ρ̂ (and p̂) we used units〈φ〉(essentially φ(x̊)) = 1, so to restore units we actually need to insert a G/3π (corresponding to units G = 3π). Thus Ω ≡ 2ρ̂/H2 (and σ is the simplest).
  19. p. 256, middle: ∫d4x needs a 1/(2π)2.
  20. p. 261, top: Note that φ = φT.
  21. p. 261, top: To be more explicit, the question is whether Mi* are a linear combination of Mi.
  22. p. 261, middle: This discussion could be clearer. Without masses, CP is automatic. With masses, as explained, the color group theory requires doubling, with L & R transforming as complex conjugate representations of color. We'll see on the next page that this guarantees C as well as CP (& thus P).
  23. p. 265, bottom: I should have given the gauge transformations explicitly. Also, the left SU(2) is the local one, while the right one is the global one.
  24. p. 273, top: This would probably be a good place to explain neutrino masses from the sterile neutrinos via the seesaw mechanism: Breaking SO(10) gives the extra right-handed neutrinos (1 per family) "Majorana" masses of the form MνR², where M is of the order of the GUT scale, from Higgsing that symmetry. But such neutrinos can also get "Dirac" masses of the form mνLνR (as for the quarks), where m is of the order of the electroweak scale, from Higgsing that. Diagonalizing the mass matrix then yields masses of the order m²/M for the observed, "mostly left-handed" neutrinos, giving a natural explanation for their smallness. The Yukawa couplings that generated the masses m are then treated as in the quark case, & include leptonic CP violation, which may be important in cosmology.
  25. p. 273, reference 7: Also, A. Salam, Weak and electromagnetic interactions, Imperial College, 1967, unpublished, and in 1968 Nobel Symposium, Elementary Particle Theory - Relativistic Groups and Analyticity, ed. N. Svartholm (Wiley, 1968) p. 367.
  26. p. 276, exercise IVC1.1b: This really means to find the form of the supersymmetry transformations.
  27. p. 282, middle: Thus Aα = e(dαeΩ).
  28. p. 283, top: The 1st paragraph belongs at the end of the previous subsection.
  29. p. 283, middle: The chiral representation can also be treated as a complex gauge.
  30. p. 283, IVC4.1: The parentheses mean that the dα acts only on the eV.
  31. pp. 278, 283 (moved to 282 with above): It should be noted that the counting of physical, auxiliary, & gauge degrees of freedom separately balances between bosons & fermions --- both these multiplets have 2 Bose + 2 Fermi physical degrees of freedom, & both have 2+2 auxiliary; the rest of the superfield also divides equally (since any superfield does). For both cases, 1/2 of the Weyl spinor is auxiliary (as seen from the lightcone analysis of subsection IIIC2). For the scalar multiplet, we have a complex auxiliary scalar; for the vector multiplet, a real scalar + 1 component of the gauge vector.
  32. p. 281, middle: "Superspin" is never defined. This will be fixed with the discussion of superspace as a coset space (see above).
  33. p. 288, top: I left out the λ's.
  34. p. 290, middle: The origin in dimensional reduction is reflected in the free field equation p²+Z² = 0.
  35. p. 292, middle: It might be nice to give here a realistic softly broken N=4 model.

Chapter V

  1. p. 303, exercise VA2.1: S here is an unknown; only after solving the Schrödinger equation is it found to be related to the action that follows from H. Also, in solving for the normalization, the useful identities appear @ the top of p. 306.
  2. p. 304, bottom: Note that it's odd powers in Δφ of the exponential (the integrand) that vanish, not the exponent (action).
  3. p. 308, top: "δ in x" → "δ in q".
  4. p. 308, middle: The integral should be over t'', so as not to confuse with the limits of integration.
  5. p. 312, middle: Note that δχ is proportional to a δ function in time (for functional differentiation), which is what makes V ≠ I.
  6. p. 313, top: Note the relation of this expansion for time development to the one on pp. 188-9.
  7. p. 317, bottom: VA2.4 → VA2.1.
  8. p. 322, bottom, new exercise VB1.3: Quantize the particle with v not constrained to be positive, and show the resultant propagator is proportional to δ(p2). Also quantize the Lagrangian λαλα̇αα̇, where λ & λ are twistors. Show the result is θ(p0)δ(p2), and explain the relation to the previous Lagrangian.
  9. p. 323, exercise VB2.1: A quote is backwards.
  10. p. 324, bottom: The overall signs of the last two expressions for ΔA are inconsistent with the 1st expression. Also, the sign of the inhomogeneous term varies for the various propagators, but that term is obvious from hitting the 1st expression of each with p²+m².
  11. p. 326, middle: It would have made more sense to define M as a contravariant vector, since the hypersurface is naturally defined as a covariant vector (as Hodge dual to a (D-1)-form; see subsection IC2).
  12. p. 336, top: That should be 〈φ||ψ〉 & 〈φ*||ψ〉.
  13. p. 336, middle: Probably "M" is a poor choice of letter here, since it has a different use on the preceding & following pages.
  14. p. 338, bottom: Not every φ in Z gets replaced by a wave function; but the only terms in Z that survive are the ones whose order in φ is the same as the number of external particles.
  15. p. 341, top: The "-" signs come from the "-i" that goes with each factor.
  16. p. 343, bottom: This argument applies only to connected graphs. The rule for disconnected graphs then follows.
  17. p. 344, bottom: More simply, giving the action a 1/ħ gives that factor to each ∫dx, & thus an ħ to each ∫dp, of which there are L-1.
  18. p. 349, bottom: That should really be pi2+mi2=0 to emphasize the fact external states can have different masses.
  19. p. 350, middle, new exercise VC4.1b: Evaluate δ/δφ(-p) on 〈φ||ψ〉. Note that it involves ψ(p), not ψ(-p).
  20. p. 355, middle: Note that for the next few subsections we stick to Minkowski space for purposes of discussing unitarity, where i's & complex conjugation are important.
  21. p. 357, bottom: IA2.3e → IA2.3d.
  22. p. 358, top: In the expression for D+, the signs for p in the δ/δφ's are wrong. (See new exercise VC4.1b on p. 350 above.)
  23. p. 358, bottom: We have gone from the S-matrix S to S[φ] to Z[φ]. For purposes of defining unitarity & causality, S[φ] can be defined in various ways, but the most convenient way is, as for Z, expanding the quantum fields about a background in the interactions. Then it's easy to go to the Z form of these identities, since Z[φ] = 〈0|S[φ]|0〉 for that definition. Inserting the identity between S & S as a sum over states as performed by D₊, the translation then follows.
  24. p. 359, middle: Corresponding to the sign error on p. 324, if the signs of the latter 2 expressions there are changed, then the sign for ΔA here is. It doesn't affect anything, because that's the 1 propagator that isn't used.
  25. p. 359, bottom: Note that we're looking @ SS (not SS), so the sum is over final states (not initial), hence always positive energy flows from S to S.
  26. p. 361, middle: Note that the minus sign for each cut fermion loop is exactly the extra sign for converting the usual numerator factor for negative-energy fermions into a sum over states. (See subsection VB3.)
  27. p. 362, top: Maybe a step could be added here --
    rate/particle = (probability/time)/(density × volume) = P/ρVD.
  28. p. 362, middle: That should be 〈ψ||ψ〉.
  29. p. 362, bottom: The final factors of 1/n! are only for the total cross section. Then one sums over identical particles in permuted positions, which is multiple counting, since the amplitude is already (anti)symmetric under the permutation.
  30. p. 364, exercise VC7.1a: That 4π is only for the case of initial spin 0; otherwise the initial spin picks a direction, so the 4π should be replaced by an ∫dΩ.
  31. p. 371, reference 9: to Goldstone, Salam, & Weinberg also appears in IVA, ref. 2.

Chapter VI

  1. p. 374. top: As usual, the constraints define a Lie algebra. The situation here is one where the original Hilbert space contains no singlet representations, or we want a non-singlet. The values of G₀ define the representation. In terms of the future subsection IC6, this happens in the coset construction, where the constraints are covariant derivatives.
  2. p. 375, bottom: Note that for any A, [Q,{Q,A}] = [Q²,A] = 0 as a consequence of the Jacobi identity & Q² = 0.
  3. p. 375, bottom: Products of physical operators are also physical: [Q,AB] = [Q,A]B + A[Q,B] = 0, & δ(AB) = [Q,λA]B + A[Q,λB] = [Q,λAB+AλB].
  4. p. 376, middle: Note that if we write Ĝi = Gi + G̃i, then Q = ci(Gi +½G̃i).
  5. p. 379, top: ?i → λi.
  6. p. 379, middle: The disappearance of B & c̃ refers to the classical action.
  7. p. 380, top: This would be a good place for a table relating Λ's in the H & L formalisms:
  8. p. 383, middle: We can also put matter fields into f.
  9. p. 385, top, ref. 3: Tyutin's paper has now been "published" --- arXiv:0812.0580v1 [hep-th].
  10. p. 389, middle: Note the trivial case α=∞, which corresponds to no gauge fixing, gives a propagator that blows up.
  11. p. 390, exercise VIB2.2: There are 2 simple ways to do this exercise -- use Lorentz covariance, then fix the 2 coefficients by multiplication; or use the explicit formula for inverses from subsection IB3.
  12. p. 390, middle: See comments on p. 148 above.
  13. p. 391, top: Should be "... more derivatives in the gauge condition ...".
  14. p. 393, middle, new exercise VIB3.2:
    Treat propagators in path-integral language as the insertion of 2 fields into the path integral. Show that BRST invariance relates the propagators of the ghosts to those of the bosons. Check that these relations hold for the gauges of the previous problem.
  15. p. 395, middle: Actually the final result is independent of what (nonzero) constant value the scalars are given.
  16. p. 397, top: The last 2 terms in the equation should come with "-" signs.
  17. p. 398, exercise VIB5.3: A better value might be m/2, but again the value is irrelevant.
  18. p. 402, top: To be perfectly general, we should include scalars. Then the statement is that we use the momentum of an external line with non-positive helicity to define external line factors for lines with positive helicity, and non-negative for negative.
  19. p.402, middle: The derivation of the 〈 〉[ ] rule needs improvement: 1st, the external line factors aren't derived till the next page. 2nd, counting momenta can best be explained by dimensional analysis, e.g., looking @ the original gauge-invariant action.
  20. p. 404, bottom: The rule that trees go as 〈 〉2-E+[ ]2-E- can still be applied with fermions, if the subscripts on E± are applied to just the sign of the helicity, using the fact helicities ±½ always appear in equal numbers.
  21. p. 409, exercise VIB8.2: "Arbitrary gauge-invariant Yang-Mills action" means any functional of the Yang-Mills field invariant under the full nonabelian gauge transformations. "An Abelian quantum gauge transformation" means just the Abelian part of the full nonabelian quantum gauge transformation.
  22. p. 416, bottom: A point should probably be made here that the background gauge parameter is real (since the background covariant derivatives are in the real representation), while the quantum gauge parameter is chiral (since the quantum prepotential is in the chiral representation).
  23. p. 416, bottom: The NK ghost needs some comments -- the ◻ introduced in gauge fixing needs to be modified as discussed on p. 438.
  24. p. 417, ref. 11: now available as hep-th/0509223
  25. p. 418, ref. 16: no space before period .
  26. p. 419, middle: After 1st paragraph of subsection 1 -- "(see subsection VC9)"
  27. p. 419, bottom, & 422, top: See comments for pp. 148-9 above.
  28. p. 423, above exercise VIC1.4: Better to use parentheses than angular brackets for the amplitude, as later.
  29. p. 423, bottom: Note that these "Maximal Helicity Violating" diagrams all have exactly 1 non-self-dual vertex. Since the ⊖ reference line must be attached to an antiselfdual vertex, no 4-point vertices contribute to any of these amplitudes (& only 1 antiselfdual vertex).
  30. p. 424, middle: "The two cases with simple known solutions..."
  31. p. 425, bottom: It might be simpler to replace "N-1" with "j-i".
  32. p. 427, above exercise VIC3.1: For consistent notation, that should be a ⊖ on the antiselfdual vertex.
  33. p. 428, bottom: If we interpret the amplitude itself as expressed in terms of field strengths (as above for the nonsupersymmetric case), highest order in pi is lowest helicity. But if we convolute with external-line wave functions and then integrate over pi, then highest order in pi in those wave functions is highest helicity.
  34. p. 432, middle: Left quote right above figure is backwards.
  35. p. 432, middle: The argument for loop signs (as opposed to just switching lines) isn't correct: Unlike the cutting rules (subsection VC6), there is no minus sign for each cut fermion loop, since the sum is now over initial & final states, and there are no loops with sums over fermions with both signs of the energy.
  36. p. 435, bottom: Overall sign of propagator exponent is wrong.
  37. p. 436, middle: All propagators have overall signs wrong.
  38. p. 438, top: This modification of ◻ needs to be used for the NK ghost derivation on p. 416.
  39. p. 438, ref. 1: Phys. Rev. Lett. → Phys. Rev. D.

Chapter VII

  1. p. 444, middle: The argument P-½LD-n of the Γ function counts (-½) the overall power of p.
  2. p. 451, bottom: The optical theorem was originally derived in optics. This is due to the relationship of quantum mechanics to classical electromagnetism (& thus scattering amplitudes in both), as described in exercise IIIA1.3:
    wave function  ↔  electromagnetic field (as complex 3-vector)
    probability (density)  ↔  energy (density)
    Schrödinger equation  ↔  (time-derivative ½ of) Maxwell's equations
    As a result, the more modern, quantum mechanical derivation of the optical theorem is simpler than the old optics one, even when applied to electromagnetism. (Similar remarks apply to many other topics common to wave equations, such as expansions in spherical coordinates.)
  3. p. 451, bottom: Because the initial & final states are the same, this is "forward scattering" -- the "incoming" particle is undeflected, so its scattering angle vanishes.
  4. p. 458. top: There are 6 diagrams.
  5. p. 459, exercise VIIA6.1: To get the point of this problem, it's sufficient to look at the case where a scalar is exchanged only in the t channel, representing a force between 2 scalars.
  6. p. 460, ref. 7 available at this link
  7. p. 462, middle: "m → 0" needs some space.
  8. p. 462, bottom: The neglect of massless tadpoles is not exactly correct when IR divergences are involved. For example, the usual massless 1-loop tadpole in D=2 is both IR & UV divergent. The whole graph can still be taken to vanish, but only because the nontrivial IR & UV divergences cancel each other. But the UV divergence needs to be renormalized, while the IR one must be canceled by other means. This can be seen by the method described: Taking the lim m²→0 is singular near D=2, as there are both a 1/ε term & a ln(m²) term, representing the 2 types of divergences. (See the calculation on the next page, but evaluate for D=2.)
  9. p. 470, middle: A2 is really a function of x & p, or x2, p2, & x∙p.
  10. p. 474, middle & p. 475, middle: All σ's should be x's.
  11. p. 476, middle: Note that this implies φ is an angle; it's periodic with period 2π.
  12. p. 477, bottom: "The above relation" really means: Since φ no longer satisfies a free equation, consider equal-time commutators. φ is still an angle, but the canonical conjugate to φ is now π = φ̇/2β2 (not just φ̇/2), and ∂φ gets replaced with π + φ'/2. (φ̇ & φ' are the time & space derivatives.) Then integrate this "∂φ" over space to get the analog (same equal-time propagators) of the chiral φ.
  13. p. 480, bottom: UV divergence is for ε≤0, IR is for ε≥0.
  14. p. 484, exercise VIIB7.1: The analysis made for this model is actually a bit of a cheat, since each loop in φ can be written equally well with χ running in the s, t, or u direction. The generalization of this exercise makes this distinction more precise by making the diagrams used above (all χ's in the same channel) larger by powers of m or n.
  15. p. 490, reference 1: See note for p. 371.
  16. p. 490, bottom: After ref. 3 belong refs. 23-5 from p. 536.
  17. p. 490, ref. 4: There was also a paper by A.G. Izergin & V. E. Korepin (1979); see arXiv:1310.1575.
  18. p. 493, bottom: Here we consider ĝ(M,ε) & g(μ,M,ε).
  19. p. 493, bottom: To see that β has no positive powers of ε, look @ the equation order-by-order in g2; it then follows inductively.
  20. p. 497, top: Unfortunately, the term "asymptotically free" used here will not be defined until subsection VIIIA3; it means β₁>0.
  21. p. 498, top: The sentences "We use... in that combination.)" would go better after (old) exercise VIIC2.1.
  22. p. 498, bottom - 499, top: For D=0, these are ordinary integrals and derivatives, so really D → d, δ → d.
  23. p. 499, top: Actually, in this case, doing the perturbation expansion after the JWKB expansion, all the coefficients are infinite, because to get classical solutions we needed complex φ, which makes S negative.
  24. p. 499, middle: "The simplest example of a 'renormalon' problem..."
  25. p. 500, middle: What we have really done here is to insert an all-loop gluon (or similar) propagator into a diagram with other propagators of mass m. In the UV part of the calculation we neglect m.
  26. p. 502 bottom: Here we treat only the gluon coupling as ħ, ignoring the coupling to the particle of mass m. (See previous note.)
  27. p. 506, top: There are too many Euler's theorems, so sometimes this is called "Euler's formula". The Euler number is sometimes called the "Euler characteristic".
  28. p. 506, middle: Here all diagrams are closed surfaces, so tree graphs have 1 face (L=H=0). So really graphs go as NF-1 --- the equation needs an extra 1/N.

Chapter VIII

  1. p. 519, middle: Note that the coefficient of a leading divergence is the same upon dimensional reduction. However, it appears at a different order in momentum. But dimensional regularization shows only logarithmic divergences. So, e.g., to find the leading, p22 divergence in D=26 via dimensional regularization, one needs to evaluate the same graph (after dimensional reduction) in D=4, since it corresponds to an integral dDp/p4. Similarly, if one wants to analyze a quadratic divergence in D=4, one needs to look at the theory dimensionally reduced to D=2.
  2. p. 528, bottom: You may include an "i" in the rescaling of φ. Then the propagator has the same sign as the usual. The vertices will then also get an extra sign, so the net result cancels in the loop.
  3. p. 529, top: It might be clearer to consider the relevant term in the Lagrangian as ∫d4θ φ∇2φ. Then there's a d2 (on δ4(θ)) associated with each propagator, and a ∇2-d2 with each vertex (with an ∫d4θ).
  4. p. 529, bottom: The ½ at the end of the evaluation of the diagram should be there at the beginning. (The ½ produced by dd is absorbed into the definition of d2.) It comes from the symmetry between the 2 φφ propagators (or, equivalently, from treating them as φφ̄ propagators, but including a ½ to compensate for squaring the kinetic operator.)
  5. p. 532, middle: "the previous subsection" (twice) should refer to subsection VIIB5.
  6. p. 532, bottom: Here we use α = ⊕ or ⊖ to correlate with ±.
  7. p. 536, top: refs. 23-5 belong on p. 490, after ref. 3.
  8. p. 538, bottom: VA2.4 → VA2.1.
  9. p. 547, middle: Another way to understand the coupling is to interpret A = ½∂π, since they have the same gauge transformation. Thus, A is pure gauge (i.e., longitudinal).
  10. p. 550, middle: Note that the separation used here into spinless + magnetic moment contributions is exactly the one used in subsection VIIIA3 into ◻ + FS.
  11. p. 559, top: Note that perturbation with respect to this potential is reliable only for ln g small. This suggests confinement can be treated only for g ≈ 1. Various other approaches (such as random lattice quantization of strings and supersymmetric nonlinear σ models) suggest that g ≈ ∞, the theory related to g ≈ 0 by electric-magnetic duality, is likewise a normal field theory, not exhibiting confinement perturbatively in 1/g.
  12. p. 563, top: 4-2ε → 4−2ε (hyphen → minus).
  13. p. 575, middle: IXA4 → IXA3.
  14. p. 575, middle: "Explicitly, ..."
  15. p. 577, top & middle: That's the interaction picture, not Heisenberg.
  16. pp. 579-580: The vertices should include the usual factors of the coupling g.
  17. p. 580, middle: "vanishing sources V=1" → "N=1 and V1=1 (k1=0)"
  18. p. 580, bottom - 581, top: A better explanation here is that if you try to invert a Hermitian matrix M with some vanishing eigenvalues, the best M-1 you can get can satisfy only MM-1 = projection operator killing those eigenvectors. For the tree (& 1 loop), the only such zero-mode is a constant.
  19. p. 582, top: As explained later, this is an expansion about the center of the string, not the boundary (where ∂X/∂σ=0).
  20. pp. 582-3: At the bottom of p. 582 the example is for a tree, while the example on p. 583 is for a loop.
  21. p. 583, bottom: The "external vector" is really a scalar.
  22. p. 583, bottom: Note that the divergences in the Γ function are IR (because we neglected masses to simplify the calculation), while those @ s=0 are UV (in terms of the integral over loop momentum or T).
  23. p. 584, top: Sab for spin 1/2 should have a 1/2, not 1/4.
  24. p. 584, bottom: Applying these couplings to generalize the stringy model of the previous page to maximally supersymmetric Yang-Mills, we see from subsection VIIIC4 that a physical graviton, axion, and dilaton are generated in D=10, appearing as massless, color-singlet poles.

Chapter IX

  1. p. 587, top: It should also be pointed out that "geometry" is a classical concept. With respect to quantum theory, it's therefore more applicable to long-distance (low energy) behavior.
  2. p. 595, middle: We can similarly write Tabm = +∇[aeb]m.
  3. p. 595, bottom: covariant curl should be moved to p. 597, top; see following remark
  4. p. 596, bottom: It would be useful here to put the commutator of 2 gauge transformations in covariant form. This provides an alternate definition of torsion & curvature:
    (A∙∇)Ba - (B∙∇)Aa = [A,B]a - AbBcTbca
    [A∙∇,B∙∇] = [A,B]aa +AaBbRabIMI
    where [A,B]m is defined with A = Amm. Using this, the result for the covariant curl can also be simplified, by considering AaBb[aCb] .
  5. p. 597, bottom: Here should go some discussion on the relation to coset spaces, as in the new subsection IC6 (see above). The treatment of flat space as the coset Poincaré/Lorentz (or similar for the other maximally symmetric spaces) is the same as the general relativity construction, but now there is a matching between covariant derivatives and Killing vectors. This coset construction explains the form of covariant derivatives: Poincaré is the symmetry group, but for any field we fix the representation of the Lorentz group (spin); this defines the coset. The covariant derivatives then take the same general form for general spaces, but not the Killing vectors (if any).
  6. p. 601, bottom, new exercise IXA3.5:
    Consider the independent components of the curvature in lower dimensions:
    1. Show the curvature vanishes in D=1.
    2. Show the curvature reduces to just the Ricci scalar in D=2. (Hint: Use ε tensors.)
    3. Show the Weyl tensor vanishes in D=3.
  7. p. 603, exercise IXA4.2: Parts should be numbered "a" & "b".
  8. p. 613, top, new exercise before IXA7.3: Show this transformation of ∇ (with k=1) is consistent with (covariant) integration by parts.
  9. p. 613, bottom: new exercise after IXA7.3: Consider "conformal Killing vectors", defined as preserving covvariant derivatives up to Weyl scale. Write this definition as a commutator (modifying that in subsection IXA2 by the definition of Weyl scale above). Find the "conformal Killing equations".
  10. p. 614, IXA7.4b: The second part of this belongs in subsection IXC2, since "conformally flat" isn't defined until then.
  11. p. 616, bottom: To summarize the various manifestations of conformal invariance:
    flat space:conformal invariance
    curved space:Weyl invariance
    dilaton:dilaton decoupling
  12. p. 618, middle: ref. 3 should include E. Wigner, Zeit. Phys. 53 (1929) 592 (1st) & V. Fock, Zeit. Phys. 57 (1929) 261.
  13. p. 618, bottom: ref. 9 should include S. Deser, Ann. Phys. 59 (1970) 248.
  14. p. 621, exercise IXB1.1a: don't need to choose a gauge.
  15. p. 624, IXB2.1b: (dx/ds)2 = -1 (in Minkowski space).
  16. p. 625, top: Here nm is understood as an arbitrary tangent vector to the geodesic; thus its direction is specified, but not its magnitude. In the massive case, we could fix the norm to be a constant; but in the massless case (null geodesic) there isn't an obvious normalization.
  17. p. 625, bottom: exercise IXA2.4 → exercise IXA2.5.
  18. p. 626, top: It would be a little simpler to do these derivations leaving choice of gauge to the last step: Using, for vanishing torsion,
    (A∙∇)Ba - (B∙∇)Aa = [A,B]a
    we have, for V for which [n,V] = 0 (where we'll eventually choose nm & Vm to be constants),
    n∙∇(n∙V) = V∙(n∙∇)n + n∙(n∙∇)V = n∙(V∙∇)n = (V∙∇)½n2 = 0
    Pulling off the constant Vm gives the desired result.
  19. p. 626, middle: The weakened assumptions include ∂mna=0.
  20. p. 628, top: This can be explained better by the above explanation for p. 626, top. The point is to prove Gaussian normal coordinates can always be chosen, so work first in a general coordinate frame, then choose n & V.
  21. p. 628, middle: This can be made simpler by the above methods:
    (n∙∇)2Va = (n∙∇)(V∙∇)na = [n∙∇,V∙∇]na = - nbVcRbcdand
  22. p. 628, below long equation: We really used the weaker conditions (n∙∇)na = ∂mnn = 0.
  23. p. 629, bottom, new exercise IXB4.1:
    Gaussian and Riemann normal coordinates are similar and generalize:
    1. Show that for Gaussian normal coordinates defined in terms of geodesics radiating from a point, the boundary conditions are again implied by the condition near that point.
    2. Show that replacing some n with n'a=fna for some function f preserves the weaker form of the geodesic condition (or relates weaker to stronger), but gives the same coordinate system.
    3. Show that for an axial coordinate system (n∙∇=n∙∂) with non-constant but still geodesic n (n∙∇n=fn) that
      n∙∂[(emama)na] = (fδmn-∂mnn)[(enana)na]
      and thus (emama)na=0 with appropriate boundary conditions.
  24. p. 639, top: Same as for p. 214 above. Then you can drop the parenthetical remark following.
  25. p. 639, middle: The gauge choice is clearer if you look at R with 2 curved indices, where it looks exactly like the field strength for SU(2)2 Yang-Mills, and you see that the field strength for one SU(2) vanishes.
  26. p. 641, middle: The additional constraint replaces (or fixes) the projective invariance, as well as breaking conformal symmetry to the subgroup that leaves nA invariant. This construction of spaces with constant curvature is an algebraic (symmetry) one, as opposed to the previous analytic (differential) one. It's a generalization to higher dimensions (and arbitrary signature) of the construction of conic sections (intersecting a cone with a plane).
  27. p. 642, middle: The symmetry for the 3 cases (in just the spatial directions) is SO(4), ISO(3), or SO(3,1). Also, fixing the magnitude of k (by a coordinate scale transformation) is the same as fixing the unit of length. (This is classical, so there is no Planck length; we pick units with c, G, & k.)
  28. p. 644, new exercise IXC3.2b: Find the solution for a=b=0.
  29. p. 645, middle: This method will prove useful later for other cases.
  30. p. 646, exercise IXC4.2: Make it part a, and do Ω, q, and H. For part b, do the same for a cosmological constant, but a=b=0.
  31. p. 646, bottom, & p. 656, top: There are also experiments based on gravitational waves (with no significant results yet), which need only linearized gravity (not full general relativity).
  32. p. 650, middle, new exercise: Use the Weyl scale method to derive the covariant derivatives and curvature for the metric (a generalization of Schwarzschild)
    -ds2 = A2(y) dxi dxj ηij + B2(y) dyι dyκ δικ
    where the coordinates have been divided up into arbitrary numbers of x & y coordinates.
  33. p. 652, exercise IXC5.5a: The J's should be V's.
  34. p. 657, top: It might be more straightforward to do this analysis directly in the Hamiltonian formalism (cf. subsection IIIB5 for electromagnetism).
  35. p. 657, middle: v=1/m is a better gauge for the massive case; then τ=s, & the energy conservation law looks almost totally nonrelativistic, especially after the right-hand side (E2-m2)/2m is identified as (pi)2/2m in terms of the momentum at ∞.
  36. pp. 658-9: There are some cheats here, in that b is treated as the minimum value of r, whereas the actual minimum is smaller by about a. For time delay, instead of expanding about r=b, one then expands about r=rmin. Then the exact square root can be expanded safely. To this order in a, the only change in the calculation is rmax→rmax+a, which affects only the √r²-1 term, adding a term a to s, but not affecting Δs. To make this clear, add a ...
  37. p. 659, new exercise IXC6.2: The variable χ is inadequate, since b/r can be greater than 1. Solve for b in terms of rmin. (The inverse is harder, solving a cubic equation.) Then define a new u = rmin/r. You will find as a convenient dimensionless expansion parameter a/(rmin-2a). Find the new result for φ(χ), which gets a new term. The final expression for the deviation is identical (to this order).
  38. p. 662, bottom: A related statement is that none of these alleged black holes have been determined not to be naked singularities: Some solutions of classical general relativity have no event horizons, but only singularities.
  39. p. 663, ref. 7: An English translation is available at arXiv:physics/9905030.

Chapter X

  1. p. 664, middle: As for gravity (see above), we can again define the form of the covariant derivatives by relating to cosets. So for G/H we choose G as Poincaré + supersymmetry + R-symmetry, while H is Lorentz + R-symmetry to define the superspin & super-isospin of the multiplet. Again, the form of these coset covariant derivatives for flat space generalizes to arbitrary spaces.
  2. pp. 679-80, ref. 6: The links have changed. ("kiss_prepri" should be replaced with "kiss_prepri.v8".)
  3. p. 691, top: For consistency with earlier notation, eq]β̊α should be eq]αβ̊.
  4. p. 706, middle: its → their
  5. p. 717, exercise XC6.4: An easier way to do this, instead of using the parametrization @ the top of the page, is to instead
    1. Start from the form of the gravity action with a Weyl compensator. Then choose the scale gauge where the above ψ=1. (The compensator takes its place.)
    2. The only non-gravitational c (with respect to 1 less dimension) is then the usual F (for A). A nice way to think of this is as a torsion. Either way, the reduction is R → R - ¼F² (together with the Weyl compensator).

Chapter XI

  1. p. 721: Somewhere there should be a discussion of what "strong" & "weak" coupling mean in the theory of "strong interactions". As we saw in subsection VIIC4, there are 2 couplings relevant to confinement: Ng² & 1/N (where N is the number of colors & g is the Yang-Mills coupling). But by dimensional transmutation (subsection VIIB3) Ng² gets replaced by the QCD scale M, which is a mass, not a coupling. (It is a property of free hadrons.) On the other hand, 1/N (where N is usually 3) is effectively small. So from the point of view of confinement, QCD describes a theory of somewhat weak interactions between hadrons. But if we want to study chiral symmetry breaking (subsection IVA4), then we need to consider the masses m of the quarks, & we then have the dimensionless coupling M/m, which is large for the light quarks. (This is equivalent to the statement that the running coupling g becomes large at small energies.) So the strong interactions are actually strong only when considering the ground-state hadrons, whose properties are best described in terms of chiral symmetry breaking. But "confinement" is a property of the excited states, where this coupling becomes weak. A related statement is that any attempt to describe confinement will fail unless it takes dimensional transmutation into account.
  2. p. 725, middle: Notice that we are discussing high-energy behavior in the s channel corresponding to bound states in the t channel. So it might be better to switch s & t for comparing to nonrelativistic potential scattering (including the figure). In that case, there is no large-t limit involved (unless one analytically continues to unphysical t); instead one writes the amplitude as a sum over trajectories (leading & daughters). But in the relativistic case, using crossing symmetry, one can switch s & t, and then it makes sense to take s → ∞, where the leading trajectory dominates.
  3. p. 725, middle: An alternative is to replace s with u. Then there can be poles in just t & u, and none in s, so the limit s→+∞ can be taken safely. In that limit, with t fixed, u→-∞.
  4. p. 725, bottom: This is actually a Mellin transform, as applied for other purposes in subsection VIIC3.
  5. p. 730, bottom: IXA7.3 → IXA7.6.
  6. p. 731, top: h=w=c=0 is the sphere. (The torus, h=1, has no curvature, so χ=0.)
  7. p. 731, middle: I may add more details here about how the different kinds of tadpoles contribute to the curvature and combine to form the different topologies mentioned. See these notes.
  8. p. 736, middle: VIC4 → VIIC4
  9. p. 737, top: σε[0,π] → σ∈[0,π] (epsilon → element).
  10. p. 737, bottom: The worldsheet symmetries should be CT & P: P doesn't involve complex conjugation and, as for the particle, there is no C.
  11. p. 738: The analysis in this subsection of closed = open ⊗ open is based on a flat space analysis. There can be modifications from compactification on nontrivial backgrounds when considering lower dimensions, especially since for closed superstring theories the open string states exist only formally, & can't be coupled to nontrivial closed string backgrounds.
  12. p. 743, top: That should be "∫dx √-G because G", where G is the determinant of the space-time metric, not to be confused with the superfield "G" appearing later.
  13. p. 743, middle: The dilaton coupling as defined here (i.e., with this dependence on G) depends on the measure for the worldsheet path integral, and the regularization of worldsheet loops. This ambiguity can be avoided by defining the coupling directly to the ghosts as mentioned previously; integrating out the ghosts at 1 (α') loop gives the ambiguous curvature coupling. The loop is defined here to preserve T-duality, and is the definition consistent with the lightcone gauge (where this dilaton doesn't appear; neither do the ghosts).
  14. p. 752, ref. 5: Nambu's work has been published: "Duality and Hadrodynamics", notes prepared for the Copenhagen High Energy Symposium, 1970, in Broken Symmetry, Selected Papers of Y. Nambu, eds. T. Eguchi and K. Nishijima (World Scientific, 1995) p. 280.
    Hara probably doesn't belong here.
  15. p. 756, bottom: A couple of δ's are missing on the bottom of the δ/δ's.
  16. p. 757, top; There is a more geometrical way to think about this σ gauge fixing. (The τ fixing is pretty obvious.) Say you have a differential (1-)form J defined on the worldsheet. Then you might want to define σ, up to a constant, by dσ ≡ J. This requires dJ = 0. If we write J in terms of its (Hodge) dual as J = Jmεmnn, then dJ = 0 is the conservation equation ∂mJm = 0, and dσ = J is Jm = δ0m. In our case, this has the interesting interpretation that while τ is identified with X+, σ is identified with the T-dual of X+.
  17. p. 763, middle: The closed-string tachyon has M2=-4α'-1, as easily seen from the formulas that follow.
  18. p. 766, top: "roation" → "rotation"
  19. p. 766, top: This reality condition holds only for conformal weight 0; there is an obvious extra power of z otherwise.
  20. p. 767, bottom: now z = τ+iσ.
  21. p. 770, middle: From here through the rest of this section, it really would have been better if I had used the opposite sign convention for T (& BRST Q).
  22. p. 773, middle: The 〈TT〉 calculation is easy to generalize to Q2=0 by inspection. For the bosonic string, we can look at Q = cT(X) + ½cT(cb). The 1-propagator terms give the classical calculation, while the 2-propagator terms give 〈TT〉, with the ½'s performing the same function of canceling the 2's from contracting either of the 2 c's with a b. For the general case, with Q given as in subsection VIA1, we see Q2=0 reduces to 〈ĜĜ〉.
  23. p. 774, top: A better explanation of why the μ term doesn't contribute to the propagator is that the μRφ term vanishes in flat (2D) space: Its only affect is an "improvement term" in the energy-momentum tensor, one that is separately conserved.
  24. p. 775, top: The calculation is a little obscure here because of the δ's: As explained earlier, δ's should be eliminated by contour integration; then examine [∮λ1T̂,∮λ2T̂]. Note that, since we are really looking at just equal-time commutation relations, any corresponding interaction terms added to the action are irrelevant for evaluating propagators.
  25. p. 775, middle: For the vector vertex there is also a "cross term" where 1 propagator from T contracts with A(X) & 1 with ∂X, giving a ∂∙A term. This implies the gauge condition ∂∙A=0. However, this condition can be relaxed (& the ◻A=0 equation made gauge invariant) when ghosts are taken into account. (The Nakanishi-Lautrup field responsible for closing the BRST algebra of the gauge field resides in the ghost sector.)
  26. p. 777, top: XIIC1.1 → XIC1.1.
  27. p. 778, middle: Arbitrary loops for particles can be treated by 1st-quantization, by methods very similar to those used for strings. See, e.g., P. Dai & W. Siegel, hep-th/0608062 and Dai, Y.-t. Huang & Siegel, hep-th/0807.0391.
  28. p. 781, middle: How the closed-string rules are obtained from the open-string ones is explained at the beginning of subsection XIC5; that explanation really belongs here.
  29. p. 782, bottom: This isn't generally true -- The expressions found for α(t) from nonrelativistic potential scattering (e.g., Coulomb, as described in exercise XIA1.3) or summing ladder diagrams (e.g., Higgs) typically go to a negative constant (usually -1) as t→-∞, unlike the string result. If such trajectories are substituted into the Beta function, then the limit t→-∞ is effectively the same as t fixed (because α(t) is fixed), so the result is the same as Regge behavior. Thus, if still α(s)~s as s→∞, then the fixed angle limit is a negative power of s, as desired.
  30. p. 786, bottom: This is a lousy discussion of the vector vertex. See instead these notes.
  31. p. 787, middle: This might be a good place to put a conformal field theory discussion of BRST, and its use to derive gauge-invariant vertex operators from p. 851 of subsection XIIB8.
  32. p. 787, bottom: That V for the closed string should be a W.
  33. p. 788, middle: There is a sign error here. The vertices are ordered from right to left in the amplitude, so we should evaluate 〈C(zN)C(zN-1)C(z1)〉. We then get a +zN2 that agrees with the previous calculation.
  34. p. 788, bottom: The condition that ad-bc = 1 can be weakened to the condition that it's positive, since rescaling a,b,c,d by the same real number changes the right-hand side by a positive factor; the constraint thus eliminates redundancies. However, ad-bc = -1 (e.g.) includes a reflection of the real axis, & can't be obtained continuously from the identity; it would reverse the cyclic ordering of the vertices. Thus, the Sp(2) transformations can change any 3 z's to fixed ones in the same cyclic order.
  35. p. 789, top: This coset will have been explained in new subsection IC6.
  36. p. 789, bottom, new exercise XIB7.3: Instead of mapping the open-string worldsheet to the upper-half plane, we could use instead the disk with unit radius. Show that the form of SL(2) that maps the unit circle to itself is SU(1,1) with diagonal group metric.
  37. p. 790, top: ref. 5 already appears on p. 752 as part of ref. 3.
  38. p. 792, middle: too many N's (α'M2 is in terms of the number operator, not the number of external lines.)
  39. p. 793, middle: Note that the contribution from the oscillators of 1 boson is the same as the inverse of that from the oscillators of 1 fermion, as expected from statistics. However, the contribution from 1 boson compactified on a circle, including 0-modes, is the same (not the inverse) as that from 2 fermions (including 0-modes in some way), as expected from bosonization, as explained in the following subsection.
  40. p. 793, exercise XIIC1.1: should, of course, be XIC1.1.
  41. p. 794, top: For you statistical mechanics, V(T) was the "canonical partition function" (with 1/T the "temperature"), while Z(T,ρ) is the "grand canonical partition function" (with ρ/T the "chemical potential").
  42. p. 794, top: really |w|<1 & Re T > 0 to avoid singular behavior @ w=1 (T=0)
  43. p. 797, bottom: The relation to temperature shows up if you multiply by e-βm, & integrate over m to define the partition function for temperature 1/β, which diverges for temperature above m0.
  44. p. 798, middle: For the twisted case ρ̄', the reflection about the boundary, is not just the complex conjugate; but for open string calculations with external open-string states, it will still be the same point on the boundary as ρ'.
  45. p. 801, top, and p. 805, middle: When I say "f" here, I really mean "wf24".
  46. p. 801, middle: A small cheat -- in the cases considered later, c̃τ̃+d̃ is pure imaginary for the open string, so we can use the absolute value for the 12th power; for the closed string, everything gets an absolute value anyway.
  47. p. 801, middle: 3) Actually, you might as well consider all of the usual UV field theory divergences.
  48. p. 802: The analysis here is the same as that at the end of subsection XIC2 for the Hagedorn temperature -- The transformation on w switches UV divergences to IR poles.
  49. p. 802, middle: We begin with the planar loop.
  50. p. 804, middle: What I meant to say here was that the usual Schwinger parametrization converges in Euclidean space except for tachyons, so one can blame the tachyon divergence on that. But a dilaton tadpole will always diverge, since both the momentum and mass vanish. That's why in field theory it's necessary to avoid massless particles with vacuum values by expanding around the correct vacuum, which bosonic string theory doesn't.
  51. p. 805, bottom: fundamental → defining
  52. p. 807, middle: To agree with previous notation, "z" should be called "ρ" here.
  53. p. 808, top: Really we have gauged z2=2πi; then z1=-T.
  54. p. 812, bottom: "dilaton or graviton coupling"
  55. p. 816, bottom: The dilaton contribution for the nonplanar case vanishes in the limit m → ∞.

Chapter XII

  1. p. 825, middle: ∂+ → ∂+.
  2. p. 829, exercise XIIA4.1a: IA2.3e → IA2.3d.
  3. p. 839, top: Note that Φ=|ii & ΦTi<i|, where Φi (not Φi) is Hermitian. Also, keeping track of i's & signs is a bit easier if one works in terms of φ & ψ to start with, then plugs in appropriate i's for reality at the end.
  4. p. 839-40,3,5,7,53-4,8,62,4-5: The sign conventions for the antifields of the Yang-Mills ghost & antighost used throughout section XIIB-C are inconsistent with those for the more general case in section XIIC, and should be reversed.
  5. p. 839, middle: Really we should have QΦ=-Q̂Φ (Q-hat), & similarly for J & Ĵ, as explained in subsection IC1.
  6. p. 848, middle: Note that the solution for the cohomology of Q is trivial in this case, following the method of subsection XIIB4, since S⊕- is now of the same form as in exercise VIA1.2.
  7. p. 851: Most of this page would fit better on p. 787 of subsection XIB7.
  8. p. 851, top: That should be "[Q,W} = - ∂V", as in the middle of the page. But really instead we should change our sign convention for T & Q for the string.
  9. p. 851, middle: The integral should be ∮dσ; in the z-plane it would then be ∮dz z; but more general gauges can be considered.
  10. p. 858, middle: As described above, the signs are off for the antifields of the Yang-Mills ghost & antighost in the expansion of Φ, but OK in the few lines following.
  11. p. 863, middle; p. 864, top: Strictly speaking, there should be some factors of 1/2 here for the quadratic terms.


  1. p. 881: Include VIIB5 for "Normal ordering".
  2. p. 883: "superspin", after we define it (see above); also "super-isospin"