11.3 The Gross-Neveu model. The Gross-Neveu model is a model in two spacetime dimensions of fermions with a discrete chiral symmetry:
L=ψˉii∂/ψi+21g2(ψˉiψi)2
with i=1,…,N. The kinetic term of two-dimensional fermions is built from matrices γμ that satisfy the two-dimensional Dirac algebra. These matrices can be 2×2:
γ0=σ2,γ1=iσ1,
where σi are Pauli sigma matrices. Define
γ5=γ0γ1=σ3;
this matrix anticommutes with the γμ.
(a) Show that this theory is invariant with respect to
ψi→γ5ψi,
and that this symmetry forbids the appearance of a fermion mass.
(b) Show that this theory is renormalizable in 2 dimensions (at the level of dimensional analysis).
(c) Show that the functional integral for this theory can be represented in the following form:
∫Dψei∫d2xL=∫DψDσexp[i∫d2x{ψˉii∂/ψi−σψˉiψi−2g21σ2}],
where σ(x) (not to be confused with a Pauli matrix) is a new scalar field with no kinetic energy terms.
(d) Compute the leading correction to the effective potential for σ by integrating over the fermion fields ψi. You will encounter the determinant of a Dirac operator; to evaluate this determinant, diagonalize the operator by first going to Fourier components and then diagonalizing the 2×2 Pauli matrix associated with each Fourier mode. (Alternatively, you might just take the determinant of this 2×2 matrix.) This 1-loop contribution requires a renormalization proportional to σ2 (that is, a renormalization of g2). Renormalize by minimal subtraction.
(e) Ignoring two-loop and higher-order contributions, minimize this potential. Show that the σ field acquires a vacuum expectation value which breaks the symmetry of part (a). Convince yourself that this result does not depend on the particular renormalization condition chosen.
(f) Note that the effective potential derived in part (e) depends on g and N according to the form
Veff(σcl)=N⋅f(g2N).
(The overall factor of N is expected in a theory with N fields.) Construct a few of the higher-order contributions to the effective potential and show that they contain additional factors of N−1 which suppress them if we take the limit N→∞, (g2N) fixed. In this limit, the result of part (e) is unambiguous.