Skip to content

Why Strings? Regge Behavior and Dual Resonance Models

Why replace an elementary point particle by a string? Two questions led to this idea. In hadron physics, an extended rotating object could explain why heavier resonances often have larger spin. In quantum gravity, quantized strings provide massless spin-two states and a new organization of interactions. These motivations involve very different physical scales, even though they use related mathematics.

This page develops both motivations and then studies the first quantitative example: the Veneziano amplitude. We will derive its convergence domain, its resonance poles and signed residues, and the sense in which two exchange channels describe one analytic function. The required tools are relativistic kinematics, Fourier series, and the Euler beta and gamma functions. Units, metric signature, and the definitions of the string scale follow the global conventions.

A particle trajectory is a one-dimensional worldline Xμ(τ)X^\mu(\tau). A string has an additional internal coordinate, so its history is a two-dimensional worldsheet Xμ(τ,σ)X^\mu(\tau,\sigma). The functions XμX^\mu describe where that surface lies in spacetime. Worldsheet coordinates label points on the surface; they are not additional spacetime dimensions.

An open string is an interval with two endpoints. A closed string is a loop, with a periodic internal coordinate. Free propagation therefore has the topology of a strip or cylinder, respectively. The endpoints of an open string require boundary conditions, which will later lead to D-branes.

A particle sweeps out a worldline, while open and closed strings sweep out a strip and a cylinder.

The dimension of the history increases by one when a spatial object evolves in time. The strip and cylinder show free propagation; their coordinates describe the worldsheet, not extra spacetime directions. The drawings are schematic.

String tension is energy per unit length. Stretching a static straight segment to length LL costs energy TLTL; tension is not a separate bending rigidity. Because a string can oscillate in many modes, quantizing one type of string produces many particle states. Their oscillator masses are typically separated in mass squared by an amount of order 1/α′1/\alpha', rather than being equally spaced in mass.

When the energy and momentum transfers are small compared with the string scale, massive oscillator states can often be integrated out, leaving an effective field theory for the light states. Compactification can introduce additional light scales, so being below the string scale alone does not guarantee a four-dimensional description.

Hadronic resonances approximately organize into trajectories

J≃α0+αR′M2.J\simeq\alpha_0+\alpha_R'M^2.

Here JJ is spin, MM is the resonance mass, and αR′\alpha_R' is an empirical slope. A relativistic string explains the linear dependence through a concrete mechanical calculation.

Consider a straight open string rotating in a plane with angular velocity ω\omega. Work in its center-of-mass frame and neglect endpoint masses. The free endpoints move at the speed of light, so their distance from the center is rmax⁡=1/ωr_{\max}=1/\omega. A segment at radius rr moves transversely with speed v=ωrv=\omega r. Its energy and angular-momentum densities are

dE=T dr1−ω2r2,dJ=r v dE=Tωr2 dr1−ω2r2.dE=\frac{T\,dr}{\sqrt{1-\omega^2r^2}}, \qquad dJ=r\,v\,dE =\frac{T\omega r^2\,dr}{\sqrt{1-\omega^2r^2}}.

Both halves of the string contribute. With u=ωru=\omega r,

E=2Tω∫01du1−u2=πTω,J=2Tω2∫01u2 du1−u2=πT2ω2.\begin{aligned} E&=\frac{2T}{\omega}\int_0^1\frac{du}{\sqrt{1-u^2}} =\frac{\pi T}{\omega},\\ J&=\frac{2T}{\omega^2}\int_0^1\frac{u^2\,du}{\sqrt{1-u^2}} =\frac{\pi T}{2\omega^2}. \end{aligned}

Eliminating ω\omega, and using E=ME=M in this frame, gives

J=M22πT=α′M2.J=\frac{M^2}{2\pi T}=\alpha'M^2.

The endpoint energy density diverges, but the integrals are finite. A slower rotating string is longer, more energetic, and carries more angular momentum. The fully constrained worldsheet solution is developed on the page about classical rotating strings.

Quantization adds an intercept. In the critical open bosonic string, the leading trajectory has oscillator level NN, maximum spin J=NJ=N, and

α′M2=N−1,J=α′M2+1.\alpha'M^2=N-1, \qquad J=\alpha'M^2+1.

This is a preview of a result to be derived, not an assumption about every string background. In particular, its N=0N=0 state has negative mass squared and is a tachyon, signaling an instability of the bosonic vacuum. At large JJ, the intercept is a small relative correction to the classical relation. Tong, §3.1.3 discusses this spectrum and its relation to hadronic trajectories.

A rotating open string leads to a linear relation between spin and mass squared, with a quantum intercept.

For massless endpoints, the classical rotating string has J=α′M2J=\alpha'M^2. The critical open bosonic leading trajectory is shifted to J=α′M2+1J=\alpha'M^2+1. The dimensionless horizontal coordinate is α′M2\alpha'M^2; these ideal string relations are not a fit to hadron data.

The hadronic slope and the fundamental string parameter must be distinguished physically. A QCD flux tube is an effective extended object made from gauge fields; a fundamental string is an elementary object in the string description. Their tensions need not coincide. The success of a rotating-string picture for hadron spins does not determine the fundamental string scale or make a QCD flux tube a theory of gravity.

Massless states, gauge symmetry, and gravity

Section titled “Massless states, gauge symmetry, and gravity”

The standard flat open-string spectrum contains a massless vector. Its physical polarization obeys a transversality condition, and a longitudinal polarization is a gauge redundancy. Endpoint labels, called Chan–Paton labels, can organize these vectors into a nonabelian gauge theory. Which vectors survive, and which gauge group they form, depend on boundary conditions, projections, and the background.

The oriented closed bosonic string contains a massless rank-two polarization. Its symmetric traceless part is a graviton; the antisymmetric part gives a two-form gauge field, and the scalar part gives the dilaton. The link between a massless spin-two state and gravity is stronger than a resemblance of tensor indices: Lorentz invariance and factorization of soft-emission amplitudes constrain an interacting massless spin-two particle to couple universally to energy and momentum. These assumptions are central to Weinberg’s soft-graviton argument.

These statements describe sectors of specified theories. They do not mean that all gauge fields must come from open strings: heterotic strings also produce gauge fields in a closed-string theory. Nor does the bosonic spectrum give a stable model of nature; its tachyon is a real limitation. Superstrings with suitable projections remove that tachyon, while the amount of spacetime supersymmetry depends on the construction and vacuum.

String interactions also change the ultraviolet problem. Instead of specifying separate pointlike interaction vertices, perturbation theory integrates over worldsheet shapes and their joining and splitting topologies. This organization produces relations between processes that look distinct in a particle description. Smoothness alone is not a proof that every amplitude is finite: degenerating worldsheets can produce infrared singularities, and unstable backgrounds can produce further divergences. The spectrum, gauge symmetries, and integration over worldsheet moduli must all be treated together.

Extra spacetime dimensions can be present in a consistent string background without being compact. Compactification is one way to obtain a lower-dimensional description appropriate to observations. To see the mechanism, consider a free scalar of higher-dimensional mass m0m_0 on a flat product spacetime with a circle of fixed radius RR:

y∼y+2πR,Φ(x,y)=∑n∈Zϕn(x)einy/R.y\sim y+2\pi R, \qquad \Phi(x,y)=\sum_{n\in\mathbb Z}\phi_n(x)e^{iny/R}.

Single-valuedness quantizes the circle momentum to py=n/Rp_y=n/R. Substitution into the higher-dimensional Klein–Gordon equation gives

(□x−mn2)ϕn=0,mn2=m02+n2R2.(\Box_x-m_n^2)\phi_n=0, \qquad m_n^2=m_0^2+\frac{n^2}{R^2}.

A lower-dimensional observer interprets momentum in the hidden direction as additional rest mass. Keeping only n=0n=0 is appropriate for processes well below the first nonzero Kaluza–Klein threshold. Warping, varying radii, background gauge fields, or different boundary conditions can modify this simple spectrum.

Closed strings can also wind around the circle. A string wound ww times has a classical stretching energy

Ew=T(2πR∣w∣)=∣w∣Rα′.E_w=T(2\pi R|w|)=\frac{|w|R}{\alpha'}.

Thus shrinking the circle raises momentum energies but lowers winding energies. The complete string spectrum also includes oscillator excitations and constraints; this energy estimate is a preview of the T-duality analysis, not its full mass formula.

Compactification also affects the gravitational scale. Let a DD-dimensional Einstein theory have a direct-product metric on M4×KM_4\times K, with an unwarped compact space of fixed volume VKV_K. Keeping the four-dimensional graviton zero mode, the Einstein term reduces as

SEH=116πGD∫dDX−G RD⊃VK16πGD∫d4x−g R4.\begin{aligned} S_{\rm EH} &=\frac{1}{16\pi G_D}\int d^DX\sqrt{-G}\,R_D\\ &\supset\frac{V_K}{16\pi G_D} \int d^4x\sqrt{-g}\,R_4. \end{aligned}

Comparing with the four-dimensional action gives G4=GD/VKG_4=G_D/V_K. Consequently, the four-dimensional Planck length G4\sqrt{G_4} is not determined by the string tension alone. In a weakly coupled critical string with constant dilaton, the scaling GD∼gs2ℓsD−2G_D\sim g_s^2\ell_s^{D-2} gives

G4∼gs2ℓsD−2VK.G_4\sim\frac{g_s^2\ell_s^{D-2}}{V_K}.

Here gsg_s is the dimensionless string interaction coupling, and numerical factors have been suppressed only in the scaling relation. All lengths and the volume must be evaluated in a consistent metric normalization. Large compact volume or small coupling can separate the string and four-dimensional Planck scales. This elementary reduction assumes fixed moduli and no warping; it does not by itself construct or stabilize a realistic compactification. See Tong, §7.4.1 for the gravitational reduction.

The Veneziano amplitude and channel duality

Section titled “The Veneziano amplitude and channel duality”

The original motivation for dual resonance models was hadron scattering. The finite-energy sum rules of Dolen, Horn, and Schmid related averaged direct-channel resonance data to crossed-channel Regge behavior. They indicated that adding these descriptions independently could double-count the same physics. Veneziano then constructed an analytic amplitude exhibiting the desired relation between poles, crossing, and Regge behavior.

For four external momenta, use all-incoming kinematics with ∑ipi=0\sum_i p_i=0 and define

s=−(p1+p2)2,t=−(p1+p3)2,u=−(p1+p4)2.s=-(p_1+p_2)^2, \qquad t=-(p_1+p_3)^2, \qquad u=-(p_1+p_4)^2.

On shell, pi2=−mi2p_i^2=-m_i^2, momentum conservation implies s+t+u=∑imi2s+t+u=\sum_i m_i^2. The variables are not three independent arguments.

Consider the beta-function building block

A(s,t)=go2B(−α(s),−α(t))=go2Γ[−α(s)]Γ[−α(t)]Γ[−α(s)−α(t)],\begin{aligned} A(s,t)&=g_o^2 B\bigl(-\alpha(s),-\alpha(t)\bigr)\\ &=g_o^2\frac{\Gamma[-\alpha(s)]\Gamma[-\alpha(t)]} {\Gamma[-\alpha(s)-\alpha(t)]}, \end{aligned}

where α(v)=α0+α′v\alpha(v)=\alpha_0+\alpha'v and α′>0\alpha'>0. We define the reduced amplitude by this formula; momentum-conservation delta functions, an overall S-matrix phase, and any endpoint matrix factors are omitted. Its pole residues below have definite signs relative to this choice. The general intercept α0\alpha_0 defines an analytic model; crossing and a pole tower alone do not establish a consistent quantum string theory. For the critical open bosonic string, α0=1\alpha_0=1.

Write a=α(s)a=\alpha(s) and b=α(t)b=\alpha(t). The Euler representation is

A(s,t)go2=∫01dx x−a−1(1−x)−b−1.\frac{A(s,t)}{g_o^2} =\int_0^1dx\,x^{-a-1}(1-x)^{-b-1}.

Near zero the integrand behaves as x−a−1x^{-a-1}, so integrability requires Re⁡a<0\operatorname{Re}a<0. The endpoint at one similarly requires Re⁡b<0\operatorname{Re}b<0. In this domain the integral defines the beta function directly. The gamma-function expression then provides its meromorphic continuation outside the convergence domain; a divergent endpoint integral cannot simply be used as an ordinary real integral there.

In the worldsheet description, xx is the position of one boundary insertion after three others have been fixed by conformal symmetry. With our definitions of ss and tt, choose cyclic order (1,2,4,3)(1,2,4,3) and positions

x1=0,x2=x,x4=1,x3=∞,0<x<1.x_1=0, \qquad x_2=x, \qquad x_4=1, \qquad x_3=\infty, \qquad 0<x<1.

Then x→0x\to0 brings particles 1,21,2 together, giving the ss channel. The limit x→1x\to1 brings 2,42,4 together, giving the tt channel because p2+p4=−(p1+p3)p_2+p_4=-(p_1+p_3). The two endpoints belong to one integral.

The two endpoints of one ordered disk integral give the s and t exchange channels.

For cyclic order (1,2,4,3)(1,2,4,3), the modulus 0<x<10<x<1 has an ss-channel degeneration at x=0x=0 and a tt-channel degeneration at x=1x=1. These are two limits of the same ordered amplitude. The worldsheet and channel drawings are schematic.

An ordered amplitude versus crossing symmetry

Section titled “An ordered amplitude versus crossing symmetry”

The identity B(−a,−b)=B(−b,−a)B(-a,-b)=B(-b,-a) makes this block symmetric under s↔ts\leftrightarrow t. It does not make a single block fully symmetric under all permutations of s,t,us,t,u. In modern open-string scattering, it is an ordered partial amplitude, associated with a fixed cyclic order of boundary insertions.

For identical unlabelled scalar states, a crossing-symmetric completion is, up to a common normalization,

M(s,t,u)=A(s,t)+A(s,u)+A(t,u).\mathcal M(s,t,u) =A(s,t)+A(s,u)+A(t,u).

With Chan–Paton labels, the different orderings instead carry their corresponding matrix traces. Summing distinct boundary orderings is compatible with channel duality: the operation differs from adding a second copy of the ss- and tt-channel expansions of one already complete block. Tong, §6.3.1 derives this distinction from the disk amplitude.

We can extract all ss-channel poles directly from the endpoint integral. Expand

(1−x)−b−1=∑n=0∞(b+1)nn!xn,(b+1)n=∏k=1n(b+k),(1-x)^{-b-1} =\sum_{n=0}^\infty\frac{(b+1)_n}{n!}x^n, \qquad (b+1)_n=\prod_{k=1}^{n}(b+k),

where the empty product at n=0n=0 is one. Integrating term by term in the convergence domain gives

A(s,t)go2=∑n=0∞(b+1)nn!∫01dx xn−a−1=∑n=0∞(b+1)nn!(n−a)=−∑n=0∞(b+1)nn!(a−n).\begin{aligned} \frac{A(s,t)}{g_o^2} &=\sum_{n=0}^\infty\frac{(b+1)_n}{n!} \int_0^1dx\,x^{n-a-1}\\ &=\sum_{n=0}^\infty\frac{(b+1)_n}{n!(n-a)} =-\sum_{n=0}^\infty\frac{(b+1)_n}{n!(a-n)}. \end{aligned}

For generic bb, the summand falls as nb−1n^{b-1}, so the series converges absolutely when Re⁡b<0\operatorname{Re}b<0, away from its aa poles. Elsewhere the equality is understood through analytic continuation, not convergence of this unsubtracted series. Expanding around the other endpoint exchanges aa and bb and displays the tt-channel tower.

At generic fixed tt, the pole positions are

α(sn)=n,sn=n−α0α′,n=0,1,2,….\alpha(s_n)=n, \qquad s_n=\frac{n-\alpha_0}{\alpha'}, \qquad n=0,1,2,\ldots.

The coefficient of 1/(a−n)1/(a-n) is −go2(b+1)n/n!-g_o^2(b+1)_n/n!. Since a−n=α′(s−sn)a-n=\alpha'(s-s_n), the residue with respect to the physical variable ss is

Res⁡s=snA(s,t)=−go2α′n!∏k=1n(α(t)+k).\operatorname*{Res}_{s=s_n}A(s,t) =-\frac{g_o^2}{\alpha'n!} \prod_{k=1}^{n}\bigl(\alpha(t)+k\bigr).

Both the minus sign and the Jacobian 1/α′1/\alpha' matter. They also follow from Γ(−n−ϵ)∼(−1)n+1/(n!ϵ)\Gamma(-n-\epsilon)\sim(-1)^{n+1}/(n!\epsilon) and the gamma-function recurrence. In the equivalent propagator form 1/(sn−s)1/(s_n-s) the numerator has the opposite sign; residue signs should not be interpreted independently of the amplitude convention.

For example,

Level nnPole sns_nResidue divided by −go2/α′-g_o^2/\alpha'
00−α0/α′-\alpha_0/\alpha'11
11(1−α0)/α′(1-\alpha_0)/\alpha'b+1b+1
22(2−α0)/α′(2-\alpha_0)/\alpha'(b+1)(b+2)/2(b+1)(b+2)/2

At fixed center-of-mass energy, tt is affine in the cosine of the scattering angle. A degree-nn residue can therefore be expanded in angular partial waves with spin at most nn. This is the analytic signature of a growing spin tower. Positivity of the exchanged states requires more than this polynomial property; the quantum constraints will address it later. Special kinematics can make a residue vanish, and summing different orderings can remove some exchanges by symmetry.

For α0=1\alpha_0=1, the pole masses reproduce Mn2=(n−1)/α′M_n^2=(n-1)/\alpha' of the open bosonic string. The beta function is its ordered four-tachyon tree amplitude, interpreted formally around the unstable bosonic background. This identification is a precise mathematical result, not a proposal that observable hadrons are bosonic-string tachyons. The original construction is Veneziano’s 1968 amplitude.

The same function also produces a power law at large ss with tt fixed. Use the gamma-function asymptotic relation

Γ(z+λ)Γ(z+μ)∼zλ−μ(∣z∣→∞),\frac{\Gamma(z+\lambda)}{\Gamma(z+\mu)} \sim z^{\lambda-\mu} \quad (|z|\to\infty),

valid in complex sectors staying away from the negative real zz axis. With z=−α(s)z=-\alpha(s) and fixed b=α(t)b=\alpha(t),

A(s,t)∼go2Γ[−α(t)] [−α(s)]α(t).A(s,t)\sim g_o^2\Gamma[-\alpha(t)]\, [-\alpha(s)]^{\alpha(t)}.

Thus the exponent governing large-energy scattering is the same linear function that locates the resonance spins. A finite collection of fixed-spin exchanges would not reproduce this continuously tt-dependent exponent; the infinite tower is essential.

This limit is an analytic statement in an appropriate complex direction, with a chosen branch of the power. Along the positive real ss axis the tree amplitude encounters infinitely many narrow poles, so the expression is not a uniform pointwise approximation there. Channel duality, crossing symmetry, and Regge asymptotics are related properties, but they are distinct statements.

The next step is to derive the dynamics behind these clues. The relativistic point particle introduces the reparametrization symmetry that becomes worldsheet coordinate invariance for a string.

Exercise 1. Rotation, length, and stored energy

Section titled “Exercise 1. Rotation, length, and stored energy”

Evaluate the two rotating-string integrals using u=sin⁡θu=\sin\theta. If the instantaneous total length is L=2/ωL=2/\omega, find E/(TL)E/(TL) and JJ as a function of LL. Explain why the energy exceeds TLTL.

Solution

The substitution turns the dimensionless integrals into

∫01du1−u2=π2,∫01u2 du1−u2=∫0π/2sin⁡2θ dθ=π4.\int_0^1\frac{du}{\sqrt{1-u^2}}=\frac\pi2, \qquad \int_0^1\frac{u^2\,du}{\sqrt{1-u^2}} =\int_0^{\pi/2}\sin^2\theta\,d\theta=\frac\pi4.

Hence E=πT/ωE=\pi T/\omega and J=πT/(2ω2)J=\pi T/(2\omega^2). Since ω=2/L\omega=2/L,

E=π2TL,J=π8TL2.E=\frac\pi2 TL, \qquad J=\frac\pi8 TL^2.

The factor π/2\pi/2 in the energy accounts for the kinetic energy of the moving segments. A static stretched segment of the same length has energy TLTL; a rotating one has a position-dependent Lorentz factor. The integrable endpoint divergence does not require adding an endpoint mass. Eliminating LL gives J=E2/(2πT)J=E^2/(2\pi T) as before.

For a massless higher-dimensional scalar on the product circle, derive its dispersion relation at lower-dimensional spatial momentum k\mathbf k. Compare the first Kaluza–Klein energy at k=0\mathbf k=0 with the energy of a singly wound string. Which one is lighter when R≫ℓsR\gg\ell_s, and which when R≪ℓsR\ll\ell_s? State the assumptions behind these estimates.

Solution

Substituting a mode e−iEt+ik⋅x+iny/Re^{-iEt+i\mathbf k\cdot\mathbf x+iny/R} into (□x+∂y2)Φ=0(\Box_x+\partial_y^2)\Phi=0 yields

En2=k2+n2R2.E_n^2=\mathbf k^2+\frac{n^2}{R^2}.

Thus EKK=1/RE_{\rm KK}=1/R at rest for ∣n∣=1|n|=1, whereas the classical winding energy is Ew=R/α′E_w=R/\alpha'. Their ratio is

EwEKK=R2α′=(Rℓs)2.\frac{E_w}{E_{\rm KK}}=\frac{R^2}{\alpha'} =\left(\frac R{\ell_s}\right)^2.

For a large circle, momentum modes are lighter; for a small circle, winding excitations have the lower characteristic energy. The two estimates coincide at R=ℓsR=\ell_s. The field calculation assumes a flat product metric, a fixed radius, and periodic boundary conditions. The winding estimate is the tension times the wrapped length, before oscillator contributions and physical-state constraints. It explains why suppressing Kaluza–Klein modes does not by itself remove all string sensitivity to a small circle.

Exercise 3. Mandelstam variables and ordered channels

Section titled “Exercise 3. Mandelstam variables and ordered channels”

Prove s+t+u=∑imi2s+t+u=\sum_i m_i^2 with all four momenta incoming. Verify that the cyclic order (1,2,4,3)(1,2,4,3) has the adjacent ss and tt channels. What are the adjacent channels for order (1,2,3,4)(1,2,3,4) using the same definitions of s,t,us,t,u?

Solution

Expanding the three squares gives

s+t+u=−3p12−p22−p32−p42−2p1⋅(p2+p3+p4)=−∑i=14pi2=∑i=14mi2,\begin{aligned} s+t+u &=-3p_1^2-p_2^2-p_3^2-p_4^2 -2p_1\cdot(p_2+p_3+p_4)\\ &=-\sum_{i=1}^4p_i^2 =\sum_{i=1}^4m_i^2, \end{aligned}

where the second line uses p2+p3+p4=−p1p_2+p_3+p_4=-p_1. For order (1,2,4,3)(1,2,4,3), the two inequivalent adjacent pairings are 12∣4312|43 and 24∣3124|31. Their invariants are ss and tt, respectively. For order (1,2,3,4)(1,2,3,4), the pairings are 12∣3412|34 and 23∣4123|41, which give ss and uu. A diagram’s cyclic labels must therefore be specified before naming its two channels.

Exercise 4. Signed residues and a terminating pole sum

Section titled “Exercise 4. Signed residues and a terminating pole sum”

Derive the residue at a=na=n using gamma functions, including its sign. Then evaluate the full amplitude at b=−1b=-1 and explain why only one term remains in its aa-channel pole sum.

Solution

Set a=n+ϵa=n+\epsilon. The singular gamma function and the finite ratio satisfy

Γ(−a)∼(−1)n+1n!ϵ,Γ(−b)Γ(−b−n)=(−1)n∏k=1n(b+k).\Gamma(-a)\sim\frac{(-1)^{n+1}}{n!\epsilon}, \qquad \frac{\Gamma(-b)}{\Gamma(-b-n)} =(-1)^n\prod_{k=1}^n(b+k).

Their product gives

Res⁡a=nA=−go2n!∏k=1n(b+k).\operatorname*{Res}_{a=n}A =-\frac{g_o^2}{n!}\prod_{k=1}^n(b+k).

To obtain the residue in ss, divide by α′\alpha'. In particular the first three residues in aa are −go2-g_o^2, −go2(b+1)-g_o^2(b+1), and −go2(b+1)(b+2)/2-g_o^2(b+1)(b+2)/2.

At b=−1b=-1, the recurrence Γ(1−a)=(−a)Γ(−a)\Gamma(1-a)=(-a)\Gamma(-a) gives

A=go2Γ(−a)Γ(1)Γ(1−a)=−go2a.A=g_o^2\frac{\Gamma(-a)\Gamma(1)}{\Gamma(1-a)} =-\frac{g_o^2}{a}.

Every coefficient (b+1)n(b+1)_n with n≥1n\ge1 vanishes. Thus the infinite pole tower is a statement about generic crossed-channel kinematics; special values can cancel residues. The integral at this value is simply go2∫01x−a−1dx=−go2/ag_o^2\int_0^1x^{-a-1}dx=-g_o^2/a for Re⁡a<0\operatorname{Re}a<0.

Exercise 5. A pole removed by crossing symmetry

Section titled “Exercise 5. A pole removed by crossing symmetry”

Take four identical open bosonic tachyons and the symmetric amplitude M=A(s,t)+A(s,u)+A(t,u)\mathcal M=A(s,t)+A(s,u)+A(t,u). With α(v)=1+α′v\alpha(v)=1+\alpha'v, show that the residue of its s=0s=0 pole vanishes at generic tt. Does this mean that the open-string spectrum has no massless vector?

Solution

Each external mass squared is −1/α′-1/\alpha', so s+t+u=−4/α′s+t+u=-4/\alpha'. Writing a=α(s)a=\alpha(s), b=α(t)b=\alpha(t), and c=α(u)c=\alpha(u) gives

a+b+c=3+α′(s+t+u)=−1.a+b+c=3+\alpha'(s+t+u)=-1.

At s=0s=0, a=1a=1 and b+c=−2b+c=-2. The two blocks containing an ss-channel pole have total residue

−go2α′[(b+1)+(c+1)]=0.-\frac{g_o^2}{\alpha'}\bigl[(b+1)+(c+1)\bigr]=0.

At generic tt, the third block is regular there. The cancellation expresses the exchange symmetry of identical unlabelled scalar external states: an odd-spin exchange does not contribute to this symmetric amplitude. The vector still exists in the spectrum and appears in appropriate ordered or matrix-valued amplitudes. A spectrum and the exchanges allowed in one chosen scattering process are different pieces of information.

Let a=n+ϵa=n+\epsilon and b=m+δb=m+\delta, with nonnegative integers n,mn,m. Determine the leading singularity of B(−a,−b)B(-a,-b) as both small parameters approach zero. Is there a term proportional to 1/(ϵδ)1/(\epsilon\delta) with a nonzero constant coefficient?

Solution

Apply the simple-pole expansion to all three gamma functions:

Γ(−a)∼(−1)n+1n!ϵ,Γ(−b)∼(−1)m+1m!δ,1Γ(−a−b)∼(−1)n+m+1(n+m)!(ϵ+δ).\begin{aligned} \Gamma(-a)&\sim\frac{(-1)^{n+1}}{n!\epsilon}, \qquad \Gamma(-b)\sim\frac{(-1)^{m+1}}{m!\delta},\\ \frac1{\Gamma(-a-b)} &\sim(-1)^{n+m+1}(n+m)!(\epsilon+\delta). \end{aligned}

Therefore the leading singular part is

B(−a,−b)∼−(n+m)!n!m!(1ϵ+1δ).B(-a,-b) \sim-\frac{(n+m)!}{n!m!} \left(\frac1\epsilon+\frac1\delta\right).

The zero of the inverse gamma function removes the putative product pole. The result displays two channel singularities without an independent constant multiple of 1/(ϵδ)1/(\epsilon\delta). The expression describes generic simultaneous approach directions; along special directions such as ϵ+δ=0\epsilon+\delta=0, the displayed leading singularity cancels and one must examine the full expression.