Recall the BPS mass formula of the pure theory of a particle with electric charge and magnetic charge ,
(6.1.1) |
where is a cycle on the curve which goes around times along the direction and times along the direction. The basic idea we employ is to take this equation seriously: we regard the four-dimensional particle as arising from a string wrapped on the cycle . Then is something like the tension of the string. In this section we introduce a factor of in the definition of , to lighten the equations.
To make this idea more concrete, suppose a six-dimensional theory which has strings as its excitation10 , and assume this theory is on a two-dimensional space times the four-dimensional Minkowski space . Further assume that the tension of the string depends on these extra-dimensional directions. Namely, let us assume that there is a locally-holomorphic one-form such that the tension of an infinitesimal segment of a string, parameterized by , is given by
(6.1.2) |
see the left hand side of Fig. 6.1. There, the two-dimensional space is taken to be a torus for definiteness.
A string looks like a particle from the point of view of the uncompactified four dimensions, and its mass is given by the integral of its variable tension:
(6.1.3) |
The right hand side can be bounded below using an integral version of the triangle inequality:
(6.1.4) |
The inequality can be visualized by considering the curve in the complex plane defined by
(6.1.5) |
parameterized by , where is a fixed point on the cycle . Then the left hand side of (6.1.4) is the length of the parameterized curve , while the right hand side is the distance between the end-points of , see the right hand side of Fig. 6.1. Then clearly the former is longer than the latter, and the equality is attained only when the line itself is a straight line. Or equivalently
(6.1.6) |
When the cycle is topologically trivial, the image of the function is itself a loop, and the right hand side of (6.1.4) is zero. When the cycle is nontrivial, the image of the function can be an open segment. As is holomorphic, the difference between the two ends of the segment only depends on the topology of the cycle . Say wraps the -cycle times and the -cycle times. Combining (6.1.3) and (6.1.4), we find
(6.1.7) |
where , are defined by the relations
(6.1.8) |
This reproduces the BPS mass formula (6.1.1). We learned furthermore that the inequality is saturated only when (6.1.6) is satisfied. Therefore we regard (6.1.6) as the BPS equation for the string excitation.