Skip to content

The CPN1\mathrm{CP}^{N-1} model turns a constrained complex vector into a projective field by identifying its local phase. That redundancy produces a composite U(1)U(1) connection, quantized flux on suitable closed Euclidean spacetimes, and a theta angle. At large NN the connection and the constraint multiplier become useful independent integration variables, but their saddle parameters must still be translated into gauge-invariant observables. Claims about the phase at θ=π\theta=\pi depend on NN, global structure, boundary conditions, and the controlled regime.

Required background. Sigma-model target geometry and control supplies the quotient construction, while gauge fields, redundancy, and observables distinguishes a redundant phase from a physical symmetry. Helpful background. Theta terms and vacuum sectors fixes the general periodicity question, and large-N normalizations fixes the order of limits.

Let

z(x)CN,zz=1,z(x)\in\mathbb C^N,\qquad z^\dagger z=1,

with the local equivalence

z(x)eiα(x)z(x).z(x)\sim e^{i\alpha(x)}z(x).

The physical field is the rank-one projector

P=zz,P2=P,trP=1,P=zz^\dagger,\qquad P^2=P,\qquad \operatorname{tr}P=1,

which is invariant under the redundant phase. Define

Aμ=izμz,Dμz=(μiAμ)z.A_\mu=-i\,z^\dagger\partial_\mu z, \qquad D_\mu z=(\partial_\mu-iA_\mu)z .

Then AμAμ+μαA_\mu\mapsto A_\mu+\partial_\mu\alpha and DμzeiαDμzD_\mu z\mapsto e^{i\alpha}D_\mu z. The two-derivative Euclidean action is

SE=1g02d2x(Dμz)Dμz+iθQ.S_E =\frac{1}{g_0^2} \int\mathrm d^2x\, (D_\mu z)^\dagger D_\mu z +i\theta Q .

The overall factor is a convention; here it is chosen so that the large-NN gap equation below has the same integral normalization as the chapter’s O(N)O(N) example. The faithful continuous global symmetry acting on local gauge-invariant fields is PSU(N)=SU(N)/ZNPSU(N)=SU(N)/\mathbb Z_N, not an extra copy of the redundant U(1)U(1).

Varying the action with respect to an independent algebraic AμA_\mu gives

Aμ=izμz,A_\mu=-i\,z^\dagger\partial_\mu z,

so the gauge-like presentation is exactly equivalent to the projective kinetic term at this classical level. Quantum mechanically it is often more useful to integrate over AμA_\mu and impose the constraint with a multiplier. A Maxwell term is then generated by matter fluctuations even though none was present in the original two-derivative action.

The curvature of the composite connection is

Fμν=μAννAμ=i[(μz)νz(νz)μz].F_{\mu\nu} =\partial_\mu A_\nu-\partial_\nu A_\mu =-i\left[ (\partial_\mu z)^\dagger\partial_\nu z -(\partial_\nu z)^\dagger\partial_\mu z \right].

On an oriented closed Euclidean two-manifold, when the projective field defines a smooth line bundle and the gauge transformations have the standard U(1)U(1) periods,

Q=12πFZ.Q =\frac{1}{2\pi}\int F \in\mathbb Z.

Therefore eiθQe^{-i\theta Q} in the Euclidean path-integral weight is 2π2\pi-periodic in θ\theta. On a manifold with boundary, the bulk integral need not be an integer by itself; boundary conditions, edge degrees of freedom, or a boundary counterterm must be specified. Twisted bundles can also fractionalize the charge carried by individual semiclassical events while preserving the periodicity of the full partition function.

For N=2N=2, CP1S2\mathrm{CP}^1\simeq S^2, and the charge agrees with the degree of the corresponding O(3)O(3) sigma-model map after matching orientations and action normalizations. This special equivalence should not be extrapolated to arbitrary NN.

Set t0=Ng02t_0=Ng_0^2 and rescale w=z/g0w=z/g_0, so ww=N/t0w^\dagger w=N/t_0. A useful regulated action is

SE[w,A,λ]=d2x[Dμw2+λ(wwNt0)]+iθQ.S_E[w,A,\lambda] =\int\mathrm d^2x\, \left[ \lvert D_\mu w\rvert^2 +\lambda\left( w^\dagger w-\frac{N}{t_0} \right) \right] +i\theta Q .

Choosing the multiplier contour through a real positive saddle and integrating the NN complex components gives, at θ=0\theta=0,

Seff[A,λ]N=Trln(D2+λ)1t0d2xλ.\frac{S_{\mathrm{eff}}[A,\lambda]}{N} =\operatorname{Tr}\ln(-D^2+\lambda) -\frac{1}{t_0}\int\mathrm d^2x\,\lambda .

The translation-invariant saddle Aμ=0A_\mu=0, λ=m2>0\lambda=m^2>0 obeys

1t0=p<Λd2p(2π)21p2+m2=14πln ⁣(1+Λ2m2).\frac{1}{t_0} =\int_{\lvert p\rvert<\Lambda} \frac{\mathrm d^2p}{(2\pi)^2} \frac{1}{p^2+m^2} =\frac{1}{4\pi} \ln\!\left(1+\frac{\Lambda^2}{m^2}\right).

Thus mΛe2π/t0m\sim\Lambda e^{-2\pi/t_0} at weak bare coupling. This is a controlled leading large-NN saddle and a dimensional-transmutation scale Witten 1979, §§ 2–3.

It is not automatically the pole mass of a physical zz particle. The field zz is gauge-charged under the redundant U(1)U(1) and cannot create an isolated gauge-invariant asymptotic state. The saddle controls the inverse range in the charged propagator after gauge fixing and the threshold entering the induced effective action. Physical masses must be extracted from gauge-invariant operators such as

OA=zTAz\mathcal O^A=z^\dagger T^A z

or from finite-volume energy levels. At leading large NN, integrating out ww also generates a Maxwell term for AμA_\mu; its long-distance dynamics and the constraint field reorganize the gauge-invariant spectrum.

The figure collects three transformations used in this chapter. None is an unconditional identification of elementary particles: every arrow carries a constraint, measure, anomaly, or boundary condition, and the round trip is checked on observables.

The CP(N−1), Gross–Neveu, and Schwinger models each admit auxiliary or bosonized variables only with explicit quotient, measure, anomaly, and boundary conditions; physical observables provide the round-trip check.

Dual and auxiliary variables expose otherwise hidden dynamics, but they do not erase the definition of the theory. In CPN1\mathrm{CP}^{N-1} the U(1)U(1) quotient and bundle data accompany the connection; in Gross–Neveu the Hubbard–Stratonovich field is fixed by its equation of motion and determinant; in the Schwinger model the current normalization, anomaly, flux sector, and external-probe definition accompany bosonization. The diagram is schematic rather than a spectrum plot.

The model’s position relative to the other strong-coupling examples is summarized by the laboratory map and its regime table.

Three statements are often conflated:

  • Exact kinematics: integer QQ under the stated global conditions implies 2π2\pi periodicity of the partition function.
  • Large N: the vacuum energy is organized into branches whose envelope restores 2π2\pi periodicity; a branch crossing can occur at θ=π\theta=\pi.
  • Semiclassics: on a specified weakly coupled compactification, dilute integer or fractional events can generate a calculable theta-dependent potential.

Agreement of periodicity and anomalies is a cross-check, but the functional form of the vacuum energy and the infrared phase are dynamical. In particular, the familiar gapless θ=π\theta=\pi behavior of CP1O(3)\mathrm{CP}^1\simeq O(3) is not a universal result for every CPN1\mathrm{CP}^{N-1} model. The detailed separation is developed in Theta Terms and Topological Effects in Sigma Models.

Treating A as a new microscopic photon. In the minimal projective action, AμA_\mu begins as an algebraic composite or auxiliary variable. Its kinetic term and range are induced and depend on the fields that have been integrated out.

Calling z a physical particle. The local phase is redundant, so an isolated zz operator is not gauge invariant. A physical mass statement must name a gauge-invariant correlator or a state in a properly dressed Hilbert space.

Assuming integer charge without global conditions. The flux integral is integer on a suitable closed manifold with the standard line-bundle quantization. Boundaries, twists, and quotient backgrounds change the intermediate description and must be included explicitly.

  1. Show that eliminating the algebraic connection from Dμz2\lvert D_\mu z\rvert^2 gives
(Dμz)Dμz=μzμzzμz2.(D_\mu z)^\dagger D_\mu z =\partial_\mu z^\dagger\partial_\mu z -\lvert z^\dagger\partial_\mu z\rvert^2.
Solution

Expanding with zz=1z^\dagger z=1 gives

Dμz2=μzμz+iAμ(zμzμzz)+Aμ2.\lvert D_\mu z\rvert^2 =\partial_\mu z^\dagger\partial_\mu z +iA_\mu\left( z^\dagger\partial_\mu z -\partial_\mu z^\dagger z \right) +A_\mu^2.

Since μzz=zμz\partial_\mu z^\dagger z=-z^\dagger\partial_\mu z, stationarity gives Aμ=izμzA_\mu=-i z^\dagger\partial_\mu z. Substitution yields the stated projector onto directions orthogonal to the redundant phase.

  1. Cover S2S^2 with north and south patches and suppose ANAS=dαA_N-A_S=\mathrm d\alpha on the equator. Show that QQ equals the winding of eiαe^{i\alpha}.
Solution

Stokes’ theorem on the two patches gives

S2F=equator(ANAS)=equatordα.\int_{S^2}F =\oint_{\mathrm{equator}}(A_N-A_S) =\oint_{\mathrm{equator}}\mathrm d\alpha .

Single-valuedness of the transition function eiαe^{i\alpha} implies dα=2πk\oint\mathrm d\alpha=2\pi k with kZk\in\mathbb Z. Hence Q=kQ=k. The argument also shows exactly which bundle and closed-manifold assumptions produce integrality.

Use Gap Equations, Dimensional Transmutation, and Physical Mass to distinguish the saddle scale from a gauge-invariant pole, then Theta Terms and Topological Effects in Sigma Models to compare large-NN, semiclassical, and anomaly information.

  • Gaiotto, Davide, Anton Kapustin, Zohar Komargodski, and Nathan Seiberg. “Theta, Time Reversal, and Temperature.” Journal of High Energy Physics 2017, no. 5 (2017): 091. DOI.
  • Mariño, Marcos. Instantons and Large N: An Introduction to Non-Perturbative Methods in Quantum Field Theory. Cambridge University Press, 2015, §§ 6.3–6.4. DOI.
  • Witten, Edward. “Instantons, the Quark Model, and the 1/N Expansion.” Nuclear Physics B 149 (1979): 285–320. DOI.