research34 min studyLesson 729 in Physics

Color-kinematics duality and double copy

Check Jacobi-compatible numerator representations and the color-to-kinematics replacement without mistaking arbitrary squares for pure-gravity amplitudes.

On this page

What you’ll understand

  • Distinguish color Jacobi identities from a numerator representation satisfying matching identities.
  • Check a generalized numerator shift in a four-point algebraic model.
  • State the spectrum and loop qualifications needed for a physical double copy.

Color–kinematics duality relates the algebra of cubic color factors to corresponding relations among kinematic numerators. In a suitable representation, replacing color by a second set of numerators yields gravitational amplitudes in specified theories. The construction is richer than squaring an amplitude or replacing a coupling symbol. Numerators depend on representation, graph orientation and generalized gauge choices, while the resulting gravity spectrum depends on the states in both input theories. A finite Jacobi calculation can reveal the mechanism without proving a universal loop theorem.

Cubic graphs carry two kinds of algebraic data

Rewrite a tree amplitude as a sum over cubic graphs. Four-point contact vertices can be distributed into graph numerators by multiplying and cancelling inverse propagators. Color factors satisfy antisymmetry and Jacobi identities with signs fixed by oriented cubic vertices. Dual numerators satisfy the corresponding signed relations. They are kinematic functions of polarizations and momenta, rather than another literal color Lie algebra attached to each external particle.

At four massless points choose orientations so the three color factors sum to zero and require the same relation for the three numerators. Denominators are s, t and u in the all-incoming convention, with their sum zero. Many numerator choices can represent the same amplitude. A generalized gauge shift changes the representation while leaving the color-dressed sum unchanged; it is not necessarily the same operation as changing an external polarization reference.

A‾4=csnss+ctntt+cunuu,cs+ct+cu=0,ns+nt+nu=0,s+t+u=0\overline{\mathcal A}_4=\frac{c_sn_s}{s}+\frac{c_tn_t}{t}+\frac{c_un_u}{u},\qquad c_s+c_t+c_u=0,\quad n_s+n_t+n_u=0,\quad s+t+u=0
The bar denotes a reduced rational kernel with common coupling and phase prefactors separated. Numerators have energy-squared units for four-gluon Yang–Mills trees; color factors are dimensionless. Signs follow the declared common vertex orientation, not an orientation-independent plus-sign rule.↔ Scroll wide equations horizontally.

Jacobi identities remove representation shifts

Consider shifting each numerator by alpha times its channel denominator. The gauge kernel changes by alpha times the color Jacobi sum and hence remains fixed. Because s plus t plus u vanishes, this particular shift also preserves the numerator Jacobi relation. The same shift in a double-copy kernel cancels when the replacement numerators satisfy the corresponding Jacobi identity. This is a direct algebraic explanation for the representation consistency in the example.

The physical construction requires more than Jacobi-looking numbers: input numerators must represent the appropriate gauge-theory amplitudes, with correct cuts, factorization and external states. Tree-level dual constructions are established in important theory classes. At loops, a proposed representation also requires its propagator routing, symmetry factors, state sums, regulator and cut coverage. A successful low-point algebra exercise does not establish local dual numerators for every theory and loop order.

δns=αs,δnt=αt,δnu=αu,M‾4=nsn~ss+ntn~tt+nun~uu,δM‾4=α(n~s+n~t+n~u)\delta n_s=\alpha s,\quad\delta n_t=\alpha t,\quad\delta n_u=\alpha u,\qquad \overline{\mathcal M}_4=\frac{n_s\widetilde n_s}{s}+\frac{n_t\widetilde n_t}{t}+\frac{n_u\widetilde n_u}{u},\qquad \delta\overline{\mathcal M}_4=\alpha(\widetilde n_s+\widetilde n_t+\widetilde n_u)
α is dimensionless for the stated numerator dimensions. The gravity kernel has energy-squared units; its full four-point normalization includes a factor (κ/2)² and a consistent common phase. The displayed variation vanishes when the replacement numerators obey the matching Jacobi identity.↔ Scroll wide equations horizontally.

State content and quantum corrections matter

Tensoring two gluon polarization spaces contains more than the graviton polarization alone. Pure Yang–Mills double copy generally produces gravity coupled to a dilaton and an antisymmetric tensor. Selecting external gravitons does not automatically remove those other states from loop sums. Obtaining a specified pure-gravity theory can require projections or compensating matter constructions whose consistency must be checked, rather than silently discarding unwanted internal states.

Likewise a compact gravity integrand does not by itself prove ultraviolet finiteness or a nonperturbative quantum-gravity completion. Integration, counterterms and infrared prescriptions remain necessary. Questions about locality, useful power counting, matter representations and regulator compatibility sharpen the domain of a duality claim. They should be posed for an explicit theory and amplitude class. The dependable statement is a relation between verified representations and their state content, not an unrestricted identity between every gauge process and Einstein gravity.

A finite Jacobi-compatible kernel

Use dimensionless variables after dividing invariants and numerators by a common reference energy squared. At one analytic point take D=(s,t,u)=(2,3,−5), c=(1,2,−3), n=(4,1,−5), and tilde n=(3,1,−4). Compute the reduced gauge and double-copy sums and test n→n+D. Treat these as algebraic data, not independently verified physical helicity numerators.

  1. All four triples have zero sum where required: s+t+u=0, the color sum is zero, and both numerator sums are zero. The reduced gauge kernel is 4/2+2/3−3=−1/34/2+2/3-3=-1/3.

  2. Replacing color by the second numerator gives 12/2+1/3−20/5=7/312/2+1/3-20/5=7/3. Both sums retain channel signs; squaring each term's magnitude would erase the cancellations and describe a different operation.

  3. The shifted first numerators are (6,4,−10). The gauge sum is 3+8/3−6=−1/3, while the double-copy sum is 9+4/3−8=7/3. Their invariance follows from the two corresponding Jacobi cancellations.

The result

The algebraic kernels are −1/3 and 7/3, unchanged by the declared shift. This verifies a representation identity within the example, rather than producing a measured gauge or gravity cross section.

Explore the model

Interactive lab

Interactive lab · waves

A cancellation is an amplitude relation

Reset and set both controls to Phase difference 0° and Amplitude ratio 1; predict resultant amplitude 2. For a fresh comparison, Reset and set both controls to Phase difference 180° and Amplitude ratio 1; predict amplitude 0. Equal opposite contributions cancel coherently, as the Jacobi sums do algebraically.

A cancellation is an amplitude relationTwo waves share the same frequency and wave number. Playback advances t in sin(2x − t) + a sin(2x − t + phase). Current readings: Sum at x = 0: 0.866; Resultant amplitude: 1.732; Phase difference: 60°. All parameters are adjustable with the labeled controls below.−3.14−1.5701.573.14−3.4−1.701.73.4x · radiansAmplitude
SumFirst componentSecond component
Sum at x = 0
0.866
Resultant amplitude
1.732
Phase difference
60°
t = 0 s

Two waves share the same frequency and wave number. Playback advances t in sin(2x − t) + a sin(2x − t + phase). Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forThe lab illustrates coherent cancellation of two fixed-frequency terms. It contains no color factors, cubic graphs, kinematic numerators, gravity states or double-copy evaluator; a two-wave cancellation does not establish a Jacobi representation.

Check your understanding

Why does replacing color by arbitrary squared numerator magnitudes fail to define the standard double copy?

Try it yourself

Keep D and n from the worked example but replace the second triple by tilde n=(3,1,−3). Compute the change of its putative double-copy kernel under n→n+D. Which algebraic condition fails?

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Use the displayed variation formula or calculate both finite sums. Do not assume an arbitrary triple is valid gauge-theory input.

Compare with the solution

The replacement sum is 3+1−3=1, so the putative kernel changes by +1 for α=1. Directly it changes from 6+1/3−3=10/3 to 9+4/3−6=13/3. The second triple fails the Jacobi condition required for cancellation of this shift. This diagnoses the algebraic example; it does not disprove double copy with genuine appropriately represented input amplitudes or establish that every arbitrary numerator array is physical.

Take it with you

  • Dual numerators mirror oriented color identities within a verified amplitude representation.
  • Generalized gauge invariance depends on coherent algebraic cancellations.
  • Gravity state content, loop cuts, regulators and counterterms limit what a double-copy claim establishes.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.