The theorist’s toolkit: duality, supersymmetry, and protected quantities
Explain how equivalent dual descriptions can make a strongly coupled problem calculable.
Loading video…
# The theorist’s toolkit: duality, supersymmetry, and protected quantities
This independent educational primer introduces scientific concepts relevant to research themes associated with Cumrun Vafa at Harvard University. It is not an official Harvard University or Cumrun Vafa course and does not imply endorsement or affiliation.
## Research chain
BUILD ↔ DUALIZE ↔ COMPUTE PROTECTED DATA ↔ TEST CONSISTENCY
## Companion explanation
*(no narration — silent title card, about 4 seconds)*
On our road map, this video covers duality and consistency: the methods that make calculation possible.
Here is the problem. Many important questions in string theory involve strong coupling, where the usual method, adding up small corrections, fails. So how do theorists calculate anything at all? With four tools.
Tool one: duality. Two theories that look completely different can describe exactly the same physics. Theory A at weak coupling can be equivalent to theory B at strong coupling. A hard problem in one description becomes an easy one in the other.
The simplest example is T-duality. A closed string on a circle of radius R can carry momentum around the circle, and it can also wind around it. Exchange the two, and replace R by the string length squared over R, and the spectrum is unchanged. A very small circle and a very large one give the same physics.
S-duality relates strong and weak coupling. In type two-B string theory, the coupling g is exchanged with one over g, and fundamental strings are exchanged with D-branes. String–string dualities go further, relating different string theories. These dualities are not proven theorems, but they pass a vast web of exact checks.
The most far-reaching duality is holography. Certain quantum-gravity theories in anti–de Sitter space are equivalent to ordinary quantum field theories, without gravity, living on the boundary, as Maldacena proposed in 1997. Questions about quantum gravity can then be asked in a non-gravitational language.
The lesson: a duality is not two theories that are approximately similar. It is two descriptions of one theory. Quantities that look completely different, a winding number here and a momentum there, are the same physical observable.
Tool two: supersymmetry, a symmetry pairing bosons with fermions. It has not been observed in experiments, and if it exists in nature it must be broken. But as a theoretical tool it is extremely useful, because it protects certain quantities from quantum corrections.
The key objects are BPS states. Their mass is fixed exactly by their charges and the moduli, with no quantum corrections. Certain counts of BPS states, called indices, cannot change as the coupling is varied smoothly. So states counted at weak coupling can be tracked to strong coupling. That is how dualities were tested: by matching BPS spectra on both sides.
Tool three: compute protected data instead of everything. Rather than solving every microscopic degree of freedom, compute quantities insensitive to most details: indices that count states with signs, partition functions, and amplitudes of the topological string, a simplified sector of string theory. These often reduce to counting problems in geometry.
A famous example is mirror symmetry: pairs of different Calabi–Yau spaces that give identical string physics. In 1991, Candelas and collaborators used it to predict how many rational curves of each degree lie in the quintic threefold: two thousand eight hundred seventy-five lines, six hundred nine thousand two hundred fifty conics, three hundred seventeen million cubics, and so on. Mathematicians confirmed these numbers, and later proved the general formula.
Here, physics computed geometry. The arrow also runs the other way: in Vafa's work, geometric invariants repeatedly compute exact physical answers, from black-hole entropy to corrections to gravity, as we will see.
Vafa and collaborators also pioneered geometric engineering: building supersymmetric gauge theories directly from local Calabi–Yau geometry. Exact results about the gauge theory can then be read off from the geometry itself.
Tool four: consistency. Theorists check anomalies, quantum violations of symmetries that would make a gauge theory inconsistent. In 1984, Green and Schwarz found that anomaly cancellation in ten-dimensional superstring theory requires a gauge group of dimension four hundred ninety-six, such as S O thirty-two or E eight times E eight. Theorists also check unitarity, that probabilities add up to one; that charges fill a complete lattice; and what happens at the boundaries of moduli space.
Put together, the research loop looks like this: build a compactification, dualize it into a simpler description, compute protected data exactly, and test consistency. Each step constrains the others.
Build, dualize, compute protected data, and test consistency. Next: the landscape, and the swampland.
## Evidence and further reading
This companion preserves the approved narration. Claim-by-claim evidence and references: sources/v1-3.md; bibliography.md; vafa-claim-audit.md. The eight evidence categories distinguish established physics, string-theory results, mathematical results, Swampland conjectures, model assumptions, phenomenological predictions, observational inputs, and speculation. OSV is a general restricted conjecture, not itself a Swampland criterion.