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
The question for today
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.
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.
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.
Work it through
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.
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 .
Replacing color by the second numerator gives . Both sums retain channel signs; squaring each term's magnitude would erase the cancellations and describe a different operation.
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 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.
The living notebook
Explore the model
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.
- Sum at x = 0
- 0.866
- Resultant amplitude
- 1.732
- Phase difference
- 60°
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.
Pause & reason
Check your understanding
Your turn
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.
Keep the idea
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.
- Bern, Carrasco and Johansson, New Relations for Gauge-Theory Amplitudes: kinematic Jacobi identities and tree double copy
- Bern, Carrasco and Johansson, Perturbative Quantum Gravity as a Double Copy of Gauge Theory: loop proposal, explicit tests and dilaton/tensor states
- Bern, Carrasco, Chiodaroli, Johansson and Roiban, SAGEX Review chapter 2, sections 1–2.3: dual tree constructions and their scope
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.