Abstract
We study classical string solutions on \(\mathbb {R}\times \hbox {S}^2\) that correspond to elliptic solutions of the sine-Gordon equation. In this work, these solutions are systematically derived by inverting the Pohlmeyer reduction. A mapping of the physical properties of the string solutions to those of their Pohlmeyer counterparts is established. An interesting element of this mapping is the association of the number of spikes of the string to the topological charge in the sine-Gordon theory. Finally, the adopted parametrization of the solutions facilitates the identification of a dense subset of the moduli space of solutions, where the dispersion relation can be expressed in a closed form, arbitrarily far from the infinite size limit.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Classical string solutions have played an important role in the understanding of the AdS/CFT correspondence [1,2,3,4]. According to the dictionary of the holographic duality, the dispersion relations of classical string solutions are related to the anomalous dimensions of gauge theory operators in the strong coupling limit. Matching the spectra on both sides of the holographic duality was a non-trivial quantitative test [5,6,7,8,9] of the AdS/CFT correspondence and classical string solutions were necessary in order to perform such calculations. The standard methodology in the literature for this purpose, has been the use of an appropriate ansatz in order to reduce the classical string equations of motion and the Virasoro constraints to a system of equations for a set of unknown functions or parameters [10, 11] (for a review see [12]).
The matching of the spectra of the classical string in \(\hbox {AdS}_5\times \hbox {S}^5\) and the \(\mathscr {N} = 4\) SYM has also been studied with the help of methods from algebraic geometry. The sigma model [13] of the Green-Schwarz superstring possesses a spectral curve, which is a manifestation of integrability [14]. On the field theory side, the anomalous dimensions of operators at strong coupling can be calculated using the Bethe ansatz [15]. It has been shown that at specific limits, the spectra of the dual theories indeed match upon the identification of some parameters [16, 17] (for a review see [18]). In this language, the classical string solutions are provided in terms of abstract hyperelliptic functions, that can be expressed in terms of conventional functions (algebraic or elliptic) only in the genus one case. Thus, although the problem of spectrum matching is formally understood, it is difficult to study and comprehend the generic structure.
A method for the construction of classical solutions in non-linear sigma models (NLSM) with a symmetric target space that is more systematic than the use of an arbitrary ansatz, but yet leads to solutions expressed in terms of functions with well understood properties, was initiated in [19, 20]. In this approach, NLSM solutions are derived through the inversion of the Pohlmeyer reduction. Two-dimensional NLSMs with symmetric target spaces are reducible to integrable systems, the so called symmetric space sine-Gordon systems (SSSGs), which are multi-component generalizations of the sine-Gordon equation. The oldest and most well-known example is the reduction of the O(3) NSLM, which leads to the sine-Gordon equation [21, 22]. The reduced system can always be derived from a local Lagrangian, which is a gauged Wess–Zumino–Witten model with an integrable potential [23,24,25,26]. The Pohlmeyer reduction is equivalent to the Gauss–Codazzi equations for the embedding of the string worldsheet into the target space, which is in turn embedded into a flat enhanced space [27]. In this context, the fact that the target space is a symmetric space is directly connected to the integrability of the reduced model [28,29,30].
Even though it is straightforward to calculate the solution of the reduced theory that corresponds to a given solution of the original NLSM, the inversion of the Pohlmeyer reduction is a highly non-trivial process. This can be attributed to the non-local nature of the Pohlmeyer reduction, as well as to the fact that the mapping is many-to-one. Construction of NLSM solutions based on the inversion of the Pohlmeyer reduction has been performed in [19] for strings propagating on \(\hbox {AdS}_3\) and \(\hbox {dS}_3\), and in [20] for minimal surfaces in \(\hbox {H}^3\). These techniques can be applied for a particular class of solutions of the reduced system, which depend on a sole worldsheet coordinate. Given such a solution of the reduced system, the NLSM equations of motion become linear and solvable via separation of variables. Then, the geometric and Virasoro constraints are imposed and NLSM solutions are obtained. This procedure enables a systematic investigation of this class of NLSM solutions. In this work, we apply this method for strings that propagate on \(\mathbb {R}\times \hbox {S}^2\). We argue that this study can be extended in a trivial manner to higher dimensional spheres.
String solutions belonging to this specific sector probe several interesting regimes of the spectrum of the AdS/CFT duality at specific limits. Berenstein et al. [31] studied a particle moving at the equator of \(\hbox {S}^5\) at the speed of light. Gubser et al. [32] studied a closed folded string that rotates around the north pole of the \(\hbox {S}^2\) and its counter part, a string that is a rotating great circle. A few years later, Hofman and Maldacena [33] introduced the giant magnons. These are open strings, whose ends lie at the equator of the \(S^2\) and move at the speed of light. They are the strong coupling, string theory counterpart of infinite size single-trace operators that contain one impurity. In [34,35,36,37,38,39] more general spiky string solutions are constructed. All these known solutions emerge naturally in our construction. We give a unified description and classification of all these string solutions in terms of their Pohlmeyer counterpart.
The paper is organized as follows. In Sect. 2, we revisit the Pohlmeyer reduction of the NLSM describing strings propagating on \(\mathbb {R}\times \hbox {S}^2\) that results in the sine-Gordon equation. In Sect. 3, we review the class of solutions of the sine-Gordon equation that can be expressed in terms of elliptic functions. In Sect. 4, it is shown that for these solutions of the sine-Gordon equation, the equations of motion of the NLSM separate into pairs of effective Schrödinger problems. Each pair contains one flat potential, whereas the other one is the \(n=1\) Lamé potential. We obtain the general solution for this system of equations and impose the appropriate constraints to effectively invert Pohlmeyer reduction. In Sect. 5, we study various properties of the elliptic strings, with emphasis to the mapping of their properties to those of their Pohlmeyer counterparts. In Sect. 6, we study the dispersion relations of the string solutions and finally, in Sect. 7, we discuss our results. Throughout the text, various properties of the Weierstrass elliptic and related functions are used. All the necessary formulae can be found in standard mathematical literature, e.g. [40], or in the appendix of [19].
2 The Pohlmeyer reduction of strings propagating on \(\mathbb {R}\times \hbox {S}^2\)
The NLSMs that describe string propagation in symmetric spaces, are reducible to integrable systems of the same family as the sine-Gordon equation [41,42,43,44,45]. In this section, we revisit the Pohlmeyer reduction of strings propagating on \(\mathbb {R}\times \hbox {S}^2\) (\(\mathbb {R}^t\) stands for the time dimension). The main difference of our approach to the original treatment [21] is the implementation of a more general gauge, instead of the static gauge, which will facilitate the construction of the elliptic string solutions via the inversion of the Pohlmeyer reduction, in Sect. 4. This is the main reason we review the well-known Pohlmeyer reduction of strings propagating on the sphere here.
The basic ingredient of Pohlmeyer reduction is the embedding of the string worldsheet in a symmetric target space, which is in turn embedded in an enhanced higher-dimensional flat space. In the case of bosonic strings propagating on \(\mathbb {R}\times \hbox {S}^2\), this higher dimensional flat space is \(\mathbb {R}^{\left( 1 , 3 \right) }\). We denote the coordinates in the enhanced space as \(X^0\), \(X^1\), \(X^2\) and \(X^3\). Throughout this text, we use the following notation:
Using this notation, the target space of the non-linear sigma model describing the propagation of strings on \(\mathbb {R}\times \hbox {S}^2\) is simply the submanifold of the enhanced space:
Writing the string action as a Polyakov action, we find,
where \(\xi ^\pm \) are the right- and left-moving coordinates namely, \(\xi ^\pm \equiv \left( \xi ^1 \pm \xi ^0 \right) / 2\) and T is the tension of the string.
The equations of motion that emerge from the action (2.4) read
Obviously, the equation for the \(X^0\) coordinate implies
We may eliminate the Lagrange multiplier \(\lambda \) from the equations of motion Eq. (2.6). The geometric constraint (2.3) implies that \(\partial _\pm \mathbf {X} \cdot \mathbf {X} = 0\). Upon another differentiation and the use of the equations of motion (2.6), we obtain
Therefore, the equations of motion for the embedding functions \(X^i\) assume the form
The stress-energy tensor can be obtained by variation of the action with respect to the worldsheet metric. The off-diagonal components vanish identically, \(T_{+-} = 0\), as a result of Weyl invariance. The diagonal elements equal
It follows that the Virasoro constraints assume the form, \( \left( \partial _\pm X \right) \cdot \left( \partial _\pm X \right) = 0\). Using the general solution for the embedding function \(X^0\) given by Eq. (2.7), the Virasoro constraints can be written as
The classical treatment of Pohlmeyer reduction takes advantage of the diffeomorphism invariance to set a specific form for the functions \(f_\pm \), in particular selecting the static gauge, \(X^0 = \mu \left( \xi _+ - \xi _- \right) \). For our purposes, it is more convenient to proceed without selecting a gauge and leave the advantage of this freedom for later use.
We define a basis in the enhanced three-dimensional flat space (the \(\mathbb {R}^3\) subspace of \(\mathbb {R}^{\left( 1,3\right) }\)),
The magnitudes of the vectors \(\mathbf {v}_i\) are fixed by the geometric and Virasoro constraints,
Furthermore, the geometric constraint upon differentiation yields \(\partial _{\pm } \mathbf {X} \cdot \mathbf {X} = 0\) implying that \({\mathbf {v}}_1\) is perpendicular to \({\mathbf {v}}_2\) and \({\mathbf {v}}_3\),
The only parameter that is not fixed by the constraints of the system is the angle between \({\mathbf {v}}_2\) and \({\mathbf {v}}_3\). We define it, as the Pohlmeyer field \(\varphi \),
The relations (2.13), (2.14) and (2.15) for the basis vectors \(\mathbf {v}_i\) can be used in order to decompose any vector \(\mathbf {V}\) in the three-dimensional enhanced space in the base \(\mathbf {v} _i\), as
We decompose the derivatives of the basis vectors into the base itself by introducing the \(3\times 3\) matrices \(A^+\) and \(A^-\),
By definition \(\partial _+ {\mathbf {v}}_1 = {\mathbf {v}}_2 , \quad \partial _- {\mathbf {v}}_1 = {\mathbf {v}}_3 \), while the equations of motion imply \(\partial _+ {\mathbf {v}}_3 = \partial _- {\mathbf {v}}_2 = - {{f_+}' {f_-}'}/{R^2} \cos \varphi \, {\mathbf {v}}_1 \). So, the only basis vector derivatives left to calculate are \(\partial _+ v_2 = \partial _+^2 X\) and \(\partial _- v_3 = \partial _-^2 X\). Differentiating the geometric constraint twice with respect to the same variable yields \(( \partial _ \pm ^2\mathbf {X} ) \cdot \mathbf {X} = - ( {{\partial _ \pm }\mathbf {X}} ) \cdot ( {{\partial _ \pm }\mathbf {X}} ) = - {( {{f_ \pm }'} )^2} \). Differentiating the Virasoro constraints yields \(( \partial ^2_{\pm } \mathbf {X} ) \cdot ( \partial _{\pm } \mathbf {X} ) = {f_\pm }' {f_\pm }'' \). Finally, differentiating the Pohlmeyer field definition (2.15), we get \(( {\partial _ \pm ^2\mathbf {X}} ) \cdot ( {{\partial _ \mp }\mathbf {X}} ) = {f_ \pm }''{f_ \mp }'\cos \varphi - {f_ + }' {f_ - }' {\partial _ \pm } \varphi \sin \varphi \). Plugging the above into the decomposition formula (2.16), we get
Putting everything together, the matrices \(A^+\) and \(A^-\) assume the form,
The matrices \(A^+\) and \(A^-\) must obey the compatibility condition \(\partial _+ \partial _- {\mathbf {v}}_i = \partial _- \partial _+ {\mathbf {v}}_i\), which can be written as the zero-curvature condition
Plugging the matrices (2.20) and (2.21) into the zero curvature condition yields
This equation can get simplified with the use of diffeomorphism invariance. We will not select the static gauge \(f_\pm (\xi ^\pm ) := \pm \mu \xi ^\pm \), but we will restrict ourselves to what is necessary to write Eq. (2.23) in the form of the sine-Gordon equation, i.e. a more general “linear” gauge. We redefine the coordinates \(\xi ^\pm \), so that
The static and linear gauges are obviously connected via a worldsheet boost. In the following, we will construct classical string solutions, inverting the Pohlmeyer reduction, using the techniques of [19]. The latter require solutions of the reduced system that depend solely on either \(\xi ^0\) or \(\xi ^1\). The freedom of the linear gauge selection allows the construction of classical string solutions, whose Pohlmeyer counterpart depends on a general linear combination of the worldsheet coordinates in the static gauge. Furthermore, it turns out that this freedom also facilitates the classification of the obtained solutions. Once the string solutions are found, one can always perform a boost to express them in the static gauge.
Calculating the induced metric on the worldsheet, using the Virasoro constraints (2.11) and the Pohlmeyer field definition (2.15), we find
Therefore, demanding that \(\xi _0\) is the time-like parameter and \(\xi _1\) is the space-like parameter sets \(m_+ m_- < 0\). Then, the reduced system Eq. (2.23) assumes the form
where \(\mu ^2 := - {m_+} {m_-} / {R^2}\).
3 Elliptic solutions of the sine-gordon equation
In this section, we are going to find the solutions of the sine-Gordon Eq. (2.26) that depend solely on one of the two worldsheet coordinates, i.e. they are either static or translationally invariant. In the following, the dot denotes differentiation with respect to \(\xi ^0\) and the prime denotes differentiation with respect to \(\xi ^1\).
Without loss of generality, we consider a solution that depends only on \(\xi ^0\), namely \(\varphi \left( \xi ^0 , \xi ^1 \right) = \varphi _0 \left( \xi ^0 \right) \). In this case, the sine-Gordon equation reduces to
This equation can be integrated once to yield
Similarly, had one considered static solutions, the only difference would be an overall sign. This sign can be absorbed defining \(\varphi \left( \xi ^0 , \xi ^1 \right) = \pi + \varphi _1 \left( \xi ^1 \right) \), which leads to
It follows that static solutions can be produced by translationally invariant ones via an interchange of the coordinates and a shift of \(\varphi \) by \(\pi \).
Despite the simple symmetry that connects the translationally invariant solutions to the static ones, these two classes of solutions are characterized by dissimilar Hamiltonian density. The latter equals
In the case of translationally invariant solutions, the Hamiltonian density is constant in both space and time and is equal to the integration constant E,
On the contrary, in the case of static solutions, the Hamiltonian density is not constant, but a non-trivial function of \(\xi ^1\),
The momentum density is given by
and it vanishes for both translationally invariant and static solutions.
It is clear that Eq. (3.2) can be regarded as the conservation of energy of the simple pendulum. It is well known that the solutions to this problem can be expressed analytically in terms of elliptic functions. Indeed, performing the change of variable
the Eq. (3.2) assumes the form
This is the standard form of the Weierstrass equation \({y'}^2 = 4 y^3 - g_2 y - g_3 \), with specific values for the moduli equal to
The general solution of the Weierstrass equation in the complex domain is provided by the Weierstrass elliptic function \(\wp \). However, we are interested only in real solutions defined in the real domain. When the moduli \(g_2\) and \(g_3\) are real, the Weierstrass equation has one or two independent real solutions in the real domain, depending on the reality of the roots of the cubic polynomial \(Q \left( y \right) = 4 y^3 - g_2 y - g_3 \). It turns out that the latter, with the moduli \(g_2\) and \(g_3\) given by Eq. (3.10), has always three real roots, namely,
The ordering of the three roots depends on the value of the integration constant E, as shown in Fig. 1.
The roots of the cubic polynomial as function of the integration constant E
Defining the ordered roots as \(e_i\), where \(e_1> e_2 > e_3\), we have the identification between \(x_i\) and \(e_i\) that is shown in Table 1.
When \(Q \left( y \right) \) has three real roots, the fundamental periods of the Weierstrass elliptic function can be defined so that one of them is real and the other is purely imaginary. Let \(2 \omega _1\) be the real one and \(2 \omega _2\) be the imaginary one. Then, there are two distinct real solutions of the Weierstrass equation in the real domain, which read
The first solution ranges between the largest of the roots and infinity, while the second one oscillates between the two smaller roots.
In order to acquire a real solution for \(\varphi \), it is necessary that y is real, but also it must satisfy
so that the change of variables (3.8) maps a real y to a real \(\varphi \). The Table 2 shows the range of \(2 y + E / 3\) for each of the two solutions.
It is clear that the unbounded solution does not correspond to a real solution for \(\varphi \), as it does not satisfy the constraint (3.14). The bounded solution does correspond to a real solution for \(\varphi \), as long as \(E > - \mu ^2\). This is expected from the physics of the simple pendulum. In all cases, the solution assumes the form
Had one desired to find the solution for \(\varphi _0\) itself, they would have to connect appropriate patches of \(\varphi _0\), obeying Eq. (3.15), so that the solution is both continuous and smooth. This sequence of patches, which satisfies the initial conditions \(\varphi _0 \left( \tau _0 \right) = 0\) and \(\dot{\varphi }_0 \left( \tau _0 \right) = \sqrt{2\left( {E + {\mu ^2}} \right) } \), is
where \(\arccos x\) is assumed to take values in \(\left[ 0 , \pi \right] \). These solutions are plotted for various values of the energy constant E in Fig. 2.
The translationally invariant elliptic solutions of the sine-Gordon Eq. (3.16), for various values of the energy constant E
Similarly, the static elliptic solutions \(\varphi _1 \left( \xi ^1 \right) \) of the sine-Gordon equation, with boundary conditions \(\varphi _0 \left( \sigma _0 \right) = \pi \) and \({\varphi _1} ' \left( \sigma _0 \right) = \sqrt{2\left( {E + {\mu ^2}} \right) } \), are
Equations (3.16) and (3.17) imply that:
-
1.
The solutions with \(E < \mu ^2\) are periodic. Their period is equal to \(4 \omega _1\). We will call them the “oscillatory” solutions, inspired by the simple pendulum analogue of Eq. (3.2).
-
2.
The solutions with \(E > \mu ^2\) are quasi-periodic, obeying \(\varphi _{0/1} \left( \xi ^{0/1} + 2 \omega _1 \right) = \varphi _{0/1} \left( \xi ^{0/1} \right) + 2 \pi \). We will call them the “rotating” solutions.
3.1 Double root limits
When \(E = \pm \mu ^2\), two of the roots coincide, giving rise to some special limits of the elliptic solutions. In the first case, \(E = - \mu ^2\), the two smaller roots are both equal to \(e_2 = e_3 = - \mu ^2 /3\), and, thus, \(\wp \left( {\xi ^{0/1} + {\omega _2}} \right) \) tends to a constant equal to the double root. It follows that
Translationally invariant solutions tend to the stable vacuum of the sine-Gordon equation, whereas the static ones tend to the unstable vacuum.
For \(E= \mu ^2\), the two larger roots are both equal to \(e_1 = e_2 = \mu ^2 /3\). In this case the real period of the Weierstrass elliptic function diverges and the latter degenerates to a simply periodic hyperbolic function. It turns out that
The first one is an instanton solution evolving from the unstable vacuum \(\varphi = - \pi \) to the unstable vacuum \(\varphi = + \pi \). The second one is the usual kink solution of the sine-Gordon equation, in the frame where it is static and localized in position \(\xi _1 = \sigma _0\).
4 Elliptic string solutions
4.1 The building blocks of elliptic solutions
Given a string configuration, it is a straightforward process to find the corresponding solution of the Pohlmeyer reduced system. The inverse problem is highly non-trivial due to the non-local nature of the Pohlmeyer reduction. This procedure comprises of using a given solution \(\varphi \) of the reduced system and then solving the equations of motion
while simultaneously satisfying both the geometric
and the Virasoro constraints
There is an advantage in finding a string solution starting from a given solution of the reduced system; the equations of motion have taken the form of the linear differential Eq. (4.1). Using a solution of the reduced system that depends on only one worldsheet coordinate provides an extra advantage; these linear differential equations are solvable using separation of variables [19, 20],
It is easy to show that in the case of a solution of the sine-Gordon equation that depends solely on \(\xi ^1\), the equations of motion Eq. (4.1) are written as pairs of effective Schrödinger problems of the form,
Similarly, in the case of solutions depending solely on \(\xi ^0\),
The form of the elliptic solutions of the sine-Gordon Eq. (3.15) implies that in both cases, the non-trivial effective Schrödinger problem (4.5) or (4.8) assumes the form of the bounded \(n = 1\) Lamé problem,
The eigenfunctions of this problem are given by
The Weierstrass quasi-periodic functions \(\zeta \) and \(\sigma \) are defined as \({\zeta '}= - \wp \) and \({\sigma }' /{\sigma }=\zeta \). The corresponding eigenvalue of both solutions \(y_\pm \) is
As long as \(- \lambda \) is not equal to any of the roots, the pair of solutions (4.10) are linearly independent, and, thus, the general solution of Eq. (4.9) can be written as a linear combination of the latter. At the limit \(- \lambda \) becomes equal to any of the roots, both \(y_\pm \) tend to
In these cases, there is another linearly independent solution,
When, the eigenvalue obeys \(\lambda < - e_1\) or \(- e_2< \lambda < - e_3\), the eigenfunctions \(y_\pm \) are real and they diverge exponentially at either plus or minus infinity. When the eigenvalue lies in the complementary segments, \(\lambda > - e_3\) or \(- e_1< \lambda < - e_2\), the eigenfunctions \(y_\pm \) are complex conjugate to each other and they are delta function normalizable Bloch waves.
Finally, the eigenfunctions \(y_\pm \) obey the “normalization” relations
and
Summing up, there are three classes of solutions of the pair of effective Schrödinger problems (4.5) and (4.6), depending on the sign of the corresponding eigenvalue \(\kappa _i\). Positive eigenvalues lead to embedding functions of the form
where \(\kappa = \ell ^2 = - \wp \left( a \right) + x_1\). Negative eigenvalues lead to embedding functions
where \(\kappa = - \ell ^2 = - \wp \left( a \right) + x_1\). Vanishing eigenvalue means that \(\wp \left( a \right) \) equals to the root \(x_1\), i.e. a is one of the half-periods. Thus, the corresponding Lamé eigenfunctions degenerate to the form of eigenfunctions lying at the edge of the allowed bands. In general the solution is
where \(\wp \left( a \right) = x_1\). For “normalization” reasons that will become apparent later, we will consider only the part of this solution that can be taken as the limit of positive or negative eigenvalue solutions, i.e.
The embedding functions for the case of translationally invariant Pohlmeyer counterparts are identical to the above after an interchange of \(\xi ^0\) and \(\xi ^1\).
4.2 Construction of elliptic string solutions
In Sect. 4.1, we took advantage of the special form of the elliptic solutions of the sine-Gordon equation to solve the equations of motion via separation of variables. The general embedding function can then be written as a linear combination of the forms (4.18), (4.19) and (4.21). Then, in order to find a classical string solution, we need to find appropriate expressions for the three embedding functions \(X^1\), \(X^2\), and \(X^3\) that satisfy the geometric constraint (4.2) and the Virasoro constraints (4.3). The latter, expressed in terms of the coordinates \(\xi ^0\) and \(\xi ^1\), assume the form
Since the embedding functions are solutions to the effective Schrödinger problems (4.5) and (4.6), we take advantage of the geometric constraint to write down the Virasoro constraints in the more handy form
In this work, we focus on the simplest choice, namely the use of a single eigenvalue for each component. The form of the geometric constraint enforces the two of the three components to correspond to the same positive eigenvalue and the third one to correspond to a vanishing one, i.e.
where \(\ell ^2 = - \wp \left( a \right) + x_1\) and \(U_{1,2}^\pm \left( {{\xi ^1};a} \right) \) are real linear combinations of \(y_\pm \left( {{\xi ^1};a} \right) \).
Substituting the above into the geometric constraint (4.2) and demanding that the terms proportional to \(\sin \ell {\xi ^0} \cos \ell {\xi ^0}\), \(\sin ^2 \ell {\xi ^0}\) and \(\cos ^2 \ell {\xi ^0}\) vanish, yields
Then, the geometric constraint assumes the form
The normalization properties of the Lamé eigenfunctions (4.16) imply that
It follows that in order to get a real solution, \(y_\pm \) must be complex conjugate to each other, i.e. they must be Bloch wave eigenfunctions of the \(n = 1\) Lamé problem. This constraints the parameter \(\wp \left( a \right) \) to obey \(\wp \left( a \right) < - e_3\), or \( - e_1< \wp \left( a \right) < - e_2 \). Incorporating this into the geometric constraint, further simplifies it to the form
The normalization property (4.16) has an overall sign depending on whether the eigenstate belongs to the infinite “conduction” band \(\wp \left( a \right) < - e_3\) or not. The only way that the \(\xi ^1\) dependence in the geometric constraint disappears is that \(y_\pm \) are indeed such states, thus,
This also implies that a lies on the imaginary axis. Finally, absorbing the \(e_3 - \wp \left( a \right) \) factor of Eq. (4.16) into the definition of \(y_\pm \), the geometric constraint reduces to
Taking the above into account, the ansatz Eq. (4.26) assumes the form
Substituting the above to the Virasoro constraint (4.24) results in
Notice that the above equation implies that
as required in order for the Lamé eigenstates \(y_\pm \) to lie in the infinite conduction band. The bound is saturated for \({m_ + } + {m_ - } = 0\). In this case, which corresponds to the special selection of the static gauge, the Lamé eigenfunctions \(y_\pm \) are real and periodic functions that lie at the edge of the infinite conduction band. This limit is the equivalent to the GKP limit [32].
It is left to satisfy the Virasoro constraint (4.25). With the use of formula (4.17), the latter assumes the form
The Weierstrass equation implies that
and thus the Virasoro constraint (4.25) is automatically satisfied without demanding further constraints in the free parameters of the solution. The subtlety in the sign can always by corrected by reflecting the parameter a, which corresponds to the transformation \(y_\pm \rightarrow y_\mp \) or equivalently interchanging \(m_+\) and \(m_-\).
Putting everything together, the elliptic string solutions corresponding to static solutions of the sine-Gordon equation are written as
5 Properties of the elliptic string solutions
In this section, we proceed to study the geometric characteristics of the string solutions derived in Sect. 4 and their relation to the features of their Pohlmeyer counterparts. We indicate with index 0, the elliptic string solutions that correspond to a translationally invariant solution of the sine-Gordon equation and with index 1, the solutions with a static sine-Gordon counterpart. It turns out that the natural parametrization of our construction, which is based on the Weierstrass elliptic function, facilitates the study of the properties of the elliptic string solutions.
We take advantage of the fact that Bloch wave eigenfunctions of the Lamé potential are complex conjugates to each other and write them as
where
Notice that the function \(\varPhi \) possesses the quasi-periodicity property
Thus, the elliptic string solutions assume the form
Adopting spherical coordinates
we acquire a parametric expression for the elliptic string solutions,
Notice, that we have made the selection \(m_+ + m_- > 0\) and \(m_+ - m_- > 0\). The first choice is equivalent to the physical time t being an increasing function of the time-like worldsheet coordinate \(\xi ^0\). Having selected one of the two above quantities to be negative, requires taking the opposite value of a according to the Virasoro constraint (4.38). We have restricted a to take values in the segment of the imaginary axis with endpoints \(\pm \omega _2\). Then, equation (4.38) implies that \(\ell = - \mathrm {sgn}({\mathrm{Im}} a) \sqrt{x_1 - \wp ( a )}\). From now on, for simplicity, we make the choice \(\ell > 0\).
5.1 Angular velocity
Both classes of elliptic string solutions can be written in the form
where
This angular velocity is a function of the gauge selection that we performed at the process of Pohlmeyer reduction.
Each class of elliptic string solutions is comprised of two subclasses, one corresponding to oscillating solutions of the sine-Gordon equation and one corresponding to rotating solutions of the latter. These are the well-known four classes of helical string solutions on the two-dimensional sphere [38] (see also [34,35,36,37]). These two subclasses have some qualitative differences:
-
1.
The solutions with rotating counterparts obey \(x_1 > x_2\). Such solutions do not cross the equator; they lie between two circles, which are parallel to the equator and in the same semi-sphere. For example, in the case this is the north semi-sphere, these solutions obey
$$\begin{aligned} \theta _-< \theta < \theta _+ , \end{aligned}$$(5.14)where
$$\begin{aligned} \theta _\pm = \arccos \sqrt{\frac{{{x_1} - {x_{2/3}}}}{{{x_1} - \wp \left( a \right) }}} . \end{aligned}$$(5.15)Both subclasses of solutions with rotating counterparts are characterized by \(\omega _{0/1} > 1 / R\). The angles \(\theta _\pm \) that constrain the string on the sphere also depend on the gauge selection, since
$$\begin{aligned} \sin {\theta _ \mp } = \frac{1}{{R{\omega _{0/1}}}} . \end{aligned}$$(5.16) -
2.
The solutions with oscillating counterparts obey \(x_1 < x_2\). These solutions periodically cross the equator. They lie between two parallel circles, which are symmetrically placed above and below the equator, namely,
$$\begin{aligned} \theta _-< \theta < \pi - \theta _- . \end{aligned}$$(5.17)The angular velocity of solutions with static counterparts obeys \(\omega _1 < 1 / R\). On the contrary, solutions with translationally invariant counterparts have \(\omega _0 > 1 / R\). Smoothness of the solution requires that \(\cos \theta \) changes sign every time the string crosses the equator. Thus, the argument of the Weierstrass elliptic function should be altered by \(4\omega _1\) in order to complete a whole period for \(\theta \), in analogy to the period of the corresponding oscillating solutions of the sine-Gordon equation.
In the static counterpart cases, the angular velocity tends to the critical value \(\omega _{0/1} = 1 / R\), in the positive double root limit (\(E \rightarrow \mu ^2\)), namely the limit of string solutions with a kink counterpart. The latter are the giant magnons [33]. In the translationally invariant counterpart cases, the angular velocity tends to the same critical value in the negative double root limit (\(E \rightarrow - \mu ^2\)), namely the limit of string solutions corresponding to the stable vacuum of the sine-Gordon equation. This is the BMN particle solution [31].
Although, elliptic solutions with either static or translationally invariant counterparts accept a description of the form \(f\left( {\theta ,\varphi - \omega t} \right) = 0\), it is not clear whether this property should be conceived as a manifestation of rigid rotation or wave propagation. The fundamental difference between these two classes of solutions is that they can be written in a parametric form as
In other words, \(\theta \) and \(\varphi - \omega t\) are parametrized in terms of the spacelike worldsheet coordinate in the static case. Thus, in this case, we may consider a given point of the string to be characterized by constant values of \(\theta \) and \(\varphi - \omega t\), implying rigidly rotating motion of the string. On the contrary, this is not the case for string solutions with translationally invariant counterparts, since in this case \(\theta \) and \(\varphi - \omega t\) are parametrized in terms of the timelike worldsheet coordinate. These solutions should be understood as wave propagation solutions.
5.2 Periodicity conditions
In order to better understand the form of the solutions, we perform a worldsheet boost to convert to the static gauge,
where
Then, the elliptic string solutions assume the form
Equations (5.24), (5.25) and (5.26) allow the visualization of a snapshot of the solution, as freezing the target space time \(X^0\) is equivalent to freezing the worldsheet coordinate \(\sigma ^0\). The form of the four classes of elliptic string solutions defined in Sect. 5.1 is depicted in Fig. 3.
The four classes of elliptic string solutions
Clearly, Eq. (5.25) implies that the angle \(\theta \) is a periodic function of \(\sigma ^1\) in all cases. The period \(\delta \sigma \) depends on the type of the solution. More specifically,
where \(\delta \xi \) is the real period/quasi-period of the corresponding sine-Gordon solution, namely
Within a period \(\delta \sigma \), the azimuthal coordinate \(\varphi \) runs monotonically and its value changes by \(\delta \varphi \), which is determined by the quasiperiodicity property (5.3) of the function \(\varPhi \). It equals
where \({\omega _{x_i}}\) is the half-period corresponding to the root \(x_i\), i.e. \(\wp ( {\omega _{x_i}} ) = x_i\). The quantity \(\delta \varphi _{0/1}\) has two contributions; one coming directly from the quasi-periodicity properties of the phase of the Bloch wave eigenfunctions of the \(n=1\) Lamé potential and another one coming from the boost relating the static and linear gauges. Thus, the appropriate periodicity condition for closed elliptic string solutions without self-intersections is
where \(n_{0/1}\) is an integer when \(E>\mu ^2\) and an even integer when \(E<\mu ^2\).
It seems that for the hoop string solutions that correspond to translationally invariant solutions of the sine-Gordon equation no periodicity condition is implied. This apparent asymmetry would have been resolved, if we had considered the \(\mathbb {R} \times \mathrm {S}^2\) string target space, as a subspace of \(\mathrm {AdS}_n \times \mathrm {S}^n\), implying that the time direction would be compact, and, thus, the target space would be the fully compact \(\mathrm {S}^1 \times \mathrm {S}^2\). In AdS spaces, it has be shown that hoop solutions have to obey such a time periodicity condition [19], which would be inherited in the \(\mathrm {S}^2\) part of the solution. In general, in such a case the elliptic solutions would be identical and furthermore it would be possible to find solutions that wouldn’t simply correspond to closed strings, but to fully compact toroidal worldsheets. For this purpose, another periodicity condition similar to the above should be imposed, which would effectively select a subspace of the elliptic solutions with appropriate angular velocity.
5.3 Spikes
In order to study the shape of the string, we differentiate the altitude \(\theta \) and the azimuthal angle \(\varphi \) with respect to the spacelike worldsheet variable \(\sigma ^1\). This yields
As long as solutions with static counterparts are considered, \({{\partial \varphi _1 }}/{{\partial \sigma ^1}}\) vanishes only when \(x_2\) is equal to \(e_2\), i.e. only for rotating solutions of the sine-Gordon equation. In this case, it vanishes when \(\gamma \left( \sigma ^1 - \beta \sigma ^0 \right) = \left( 2 n + 1 \right) \omega _1\), where \(n \in \mathbb {Z}\). Considering solutions with either oscillating or rotating translationally invariant counterparts, \({{\partial \varphi _0 }}/{{\partial \sigma ^1}}\) vanishes when \(\gamma \left( \sigma ^0 - \beta \sigma ^1 \right) = 2 n \omega _1\), where \(n \in \mathbb {Z}\). The locations where \({{\partial \varphi _{0/1} }}/{{\partial \sigma ^1}}\) vanishes are lying at altitude
Therefore, in such locations the altitude \(\theta \) acquires an extremal value implying that its derivative changes sign. Indeed, \({{\partial {\theta _{0/1}}}}/{{\partial {\sigma ^1}}}\) also vanishes at these positions. At this points, \(\partial \theta / \partial \varphi \) diverges as
It follows that these positions are positions of spikes.
The Pohlmeyer field in the position of a spike assumes the value
This justifies the form of the elliptic string solutions presented in Fig. 3. Translationally invariant oscillatory solutions of the sine-Gordon equation oscillate around \(\varphi = 0\). For this reason, the corresponding strings have spikes that appear periodically. Half of those spikes point towards the north pole of the sphere and half of them towards the south pole, corresponding to the Pohlmeyer field being equal to zero with positive or negative derivative. On the contrary, static oscillatory solutions of the sine-Gordon equation oscillate around \(\varphi = \pi \) and as a result, the corresponding strings do not have spikes. Both classes of rotating solutions of the sine-Gordon equation are always increasing (or decreasing) functions and therefore periodically cross positions with \(\varphi = 2 n \pi \) with the same derivative. For this reason, the string solutions with rotating counterparts present spikes periodically, which point to the same pole of the sphere.
It is easy to show that
i.e. the spikes are moving at the speed of light. In the static counterpart case, the spike may have the interpretation of a given point of the string, which due to initial conditions, is moving at the speed of light and therefore cannot change velocity no matter what forces are exerted on it. In the translationally invariant counterpart case, which has the interpretation of wave propagation, a given point of the string is spiky at a given time instant, when this point reaches the speed of light, as a result of the propagation of a wave pattern along the string, and gets violently reflected. Since the elliptic strings preserve their shape as time evolves, spikes cannot get in contact, in order to study their interactions. It would be interesting to study the outcome of the collision of such spiky points; this requires the investigation of string solutions with more complicated Pohlmeyer counterparts.
The fact that spikes appear at locations where the Pohlmeyer field is a multiple of \(2\pi \) is not a coincidence. Writing down the Virasoro constraints in the static gauge yields
Thus, any singular point of the string, i.e. a spike, which necessarily is characterized by vanishing \( {{\partial _1}\mathbf {X}} \), is a point where the Pohlmeyer field is a multiple of \(2\pi \). Furthermore, the Virasoro constraints imply that these points have \(\left| {{\partial _0}\mathbf {X}} \right| = R \mu \), which combined to the fact that at the static gauge \(t = R \mu \sigma ^0\) implies that the spikes move at the speed of light. Notice that the Virasoro constraints do not imply that any point of the string where the Pohlmeyer field is a multiple of \(2 \pi \), is necessarily a singular spiky point. However, the latter is also true in the class of elliptic string solutions.
5.4 Topological charge and the sine-Gordon/Thirring duality
The limit of the elliptic solutions of the sine-Gordon equation at plus and minus spatial infinity is well-defined only in the vacuum and kink limits. Therefore, a topological charge can be naturally defined only in these cases. However, in the case of string configurations with appropriate periodicity conditions, the Pohlmeyer field obeys periodic and not asymptotic conditions, namely,
Therefore, a topological charge in the Pohlmeyer reduced theory can be defined in such solutions, which obviously equals n. We have seen that a spike appears whenever the Pohlmeyer field assumes a value that is an integer multiple of \(2 \pi \). It follows that
Notice that spikes pointing to opposite poles of the sphere have opposite contributions to this conserved charge, i.e. they function as spikes and “anti-spikes”. This is evident in the case of string solutions with translationally invariant oscillating counterparts (see Fig. 3). Conservation of the topological charge in the Pohlmeyer reduced theory implies some kind of “conservation of the number of spikes”, which should also apply in more complicated string solutions, where spikes may get in touch and interact.
It is well known that the sine-Gordon equation is S-dual to the Thirring model [52]. The Lagrangian densities of the two theories are
The Thirring model possesses a global symmetry, namely
This gives rise to a conserved current
and a conserved charge, namely the fermion number,
The duality implies that the parameters and fields of the two dual theories are connected as,
The classical limit corresponds to \(\beta = 1\) [53]. According to the above, the conserved current of the Thirring model can be expressed in terms of the sine-Gordon field as
and, thus, the fermion number assumes the form
which equals the opposite of the topological charge in the Pohlmeyer reduced theory, and, thus, the number of spikes.
The above correspondence naively implies that in the picture of the Thirring model, the string solutions with rotating counterparts can be considered as multi-fermion states. On the contrary, solutions with oscillating Pohlmeyer counterparts have the natural interpretation of bosonic condensates. However, notice that the sine-Gordon/Thirring duality is a full quantum weak to strong duality. Thus, the above statement should be viewed cautiously, since taking the classical limit of a strongly coupled quantum theory is in general non-trivial.
It would be interesting to investigate this duality in the framework of string theory. Type IIB superstring theory in \(\hbox {AdS}_n\times \hbox {S}^n\) is self-S-dual, with the closed strings being S-dual to D1-branes [54, 55]. This hints that the spiky elliptic superstrings should be S-dual to D1-brane configurations, whose Pohlmeyer counterpart has non-trivial fermion number equal to the number of spikes of the original string solutions. The investigation of this correspondence requires the derivation of elliptic superstring solutions propagating on the full \(\hbox {AdS}_n\times \hbox {S}^n\) space and their parallel study in the corresponding supersymmetric Pohlmeyer reduced theory.
5.5 Interesting limits and the moduli space of solutions
The elliptic string solutions have some very well known special limits, which are very simple to study in our parametrization. We do so for the completeness of our presentation. At these limits, two of the three roots \(x_1\), \(x_2\) and \(x_3\) coincide, and, thus, the Weierstrass elliptic function degenerates to a simply periodic function, either trigonometric or hyperbolic. There are two such cases:
In the limit \(E \rightarrow -\mu ^2\), the two negative roots coincide and the solutions reduce to
being a hoop around the equator [9] in the static counterpart case and the BMN particle [31] travelling along the equator at the speed of light in the translationally invariant counterpart case. Notice that in this limit, the string worldsheet degenerates to a one-dimensional manifold. This is not unexpected, since in this limit, the solution of the Pohlmeyer reduced system degenerates to the vacuum solution of the sine-Gordon equation, meaning that the vectors \(\partial _+ X\) and \(\partial _- X\) become parallel. This property is present to other NLSMs as well (e.g. see [46]).
Similarly, in the limit \(E \rightarrow \mu ^2\), the two positive roots coincide and the solutions degenerate to
being the giant magnon [33] with angular opening equal to \(\delta \varphi = 2 i \mu a\) in the case of solutions with static counterparts and the single spike [34] in the case of solutions with translationally invariant counterparts.
The moduli space of elliptic string solutions
The above two limits are specific values for the integration constant E. For a given value of this constant, the parameter a may take any value on the imaginary axis on the linear segment defined by the origin and the half-period \(\omega _2\). Another interesting limit is the special selection \(a = - \omega _2\) or \(\wp \left( a \right) = x_3\). This is the case where the linear gauge coincides with the static gauge. Had we restricted Pohlmeyer reduction to the static gauge, the method applied in Sect. 4 for the construction of the elliptic string solutions would have resulted to these special solutions only. In this limit, the solution assumes the form
In the case of static oscillating counterparts, this is a great circle crossing the two poles and rotating with angular velocity \(\omega _1\), whereas in the case of a static rotating counterpart this is an arc of a great circle centered at one of the two poles and rotating with angular velocity \(\omega _1\) so that its endpoints have the speed of light. This is the well known GKP string solution [32]. Notice that this limit is always compatible with the periodicity conditions corresponding to the value \(n_1=2\).
In the case of translationally invariant counterparts, Eqs. (5.57) and (5.58) describe a hoop being always parallel to the equator which shrinks to a point at the pole of the sphere and then extends again. In the case of oscillating solutions it extends further than the equator and then shrinks again to the opposite pole before it starts re-extending; in the case of rotating solutions it extends up to a maximum size and then it shrinks again to the same pole. These solutions, although they have a translationally invariant Pohlmeyer counterpart are spikeless. This is due to the coincidence of the static gauge to the linear one. As there is no need for a worldsheet boost to convert to the static gauge, the singular behaviour characterizes solely the time evolution of the string and not its shape. These solutions satisfy the periodicity conditions with \(n_0 = 0\). The coordinate \(\sigma ^1\) takes values in \(\left[ {0 , 2 \pi / \sqrt{ x_1 - x_3}} \, \right) \) to complete one hoop.
The opposite limit to the above is \(a / \omega _2 \rightarrow 0\). In this limit the solution assumes the form
This describes strings that have the shape of the general solution, lying very close to the equator and being characterized by a small angular opening \(\delta \varphi \). In this limit, the static gauge and the linear one are connected via a boost by a velocity close to the speed of light. These string solutions are the “speeding strings” limit [47].
The elliptic string solutions are a two-parameter family of solutions, in our language being the parameters E and a. The advantage of our parametrization is that only one of the two parameters (the integration constant E) affects the corresponding solution of the Pohlmeyer reduced system. The worldsheets of the solutions being characterized by the same constant E comprise an associate (Bonnet) family [20]. Demanding appropriate periodicity conditions, restricts one of the two parameters to be discrete, or in other words the moduli space of the elliptic string solutions with appropriate periodicity conditions is a discretely infinite set of one-dimensional curves. Figure 4 depicts the moduli space of elliptic string solutions and visualises their classification according to their Pohlmeyer counterpart.
6 Energy and angular momentum
The \(\mathbb {R}\times \hbox {S}^2\) target space has the symmetry of time translations, leading to a conserved energy and that of SO(3) rotations, leading to a conserved angular momentum.
Considering solutions with appropriate periodic conditions, the string energy is given by
where \(n_{0/1} \in \mathbb {Z}\) when \(E>\mu ^2\), whereas \(n_{0/1} \in 2\mathbb {Z}\) in the case \(E<\mu ^2\). The above expression is indeterminate in the GKP limit of solutions with translationally invariant counterparts (\(\wp (a) = x_3\), \(n_0 = 0\)). In this case, the energy assumes the value \(E_0 = 2 \pi T R \mu / \sqrt{x_1 - x_3}\).
Similarly, the z-component of the angular momentum is given by
In the following, we define \(\mathscr {E}_{0/1} := E_{0/1} / (2TR)\) as well as \(\mathscr {J}_{0/1} := J_{0/1} / (2TR^2)\). The mismatch of the R factors in these definitions is due to the fact that we have considered time as an independent dimension not related to the radius of the sphere. Had we considered \(\mathbb {R}^t \times \hbox {S}^2\) as a submanifold of an \(\hbox {AdS}_n \times \hbox {S}^n\) space with a dual boundary description, the time would have been part of the \(\hbox {AdS}_n\), which has the same radius as that of the sphere, effectively measuring time in units of R. We also recall that the angular opening \(\delta \varphi \), which is associated to the quasi-momentum in the dual theory, is given by
In the positive double root limit, the Weierstrass functions degenerate to simple trigonometric functions. It is a matter of algebra to show that in this limit and in the case of static counterparts, the energy and angular momentum diverge, due to the divergence of \(\omega _1\) and it holds that
which is the very well known dispersion relations of the single spikes and giant magnons.
In this parametrization, it is also simple to study the limit of the speeding strings. As \(a / \omega _2 \rightarrow 0\) the angular opening \(\delta \varphi \) tends to zero. whereas the energy and angular momentum remain finite. In this limit, the angular opening, energy and angular momentum assume the form
implying that
This is compatible to the giant magnon case since in this limit \(\delta \varphi \rightarrow 0\).
The expressions (6.1) and (6.2) that provide the energy and angular momentum of the string in terms of the Weierstrass functions can be used to convert the problem of the specification of the dispersion relation to an algebraic problem with the help of appropriate properties of the latter functions. For example, let us consider the special case the moduli a is equal to the imaginary quarter-period \(a = - \omega _2 / 2\). This is a one-dimensional family of solutions, which in the case of static counterparts, contains the giant magnon with angular opening equal to \(\pi / 2\). The Weierstrass functions obey the following quarter period relations
and
Using the above properties, the angular opening of the string assumes the form
whereas the energy of the string is written as
This implies that the integration constant E is equal to the algebraic function of the ratio \(({{\delta {\varphi _{0/1}} \pm \pi /2}})/{{{\mathscr {E}_{0/1}}}}\), which solves the equation,
These equations are equivalent to cubic equations for \(E / \mu ^2\). Once this function is specified, it can be substituted in the expression (6.2) in order to acquire an analytic dispersion relation connecting \(\mathscr {E}\), \(\mathscr {J}\) and \(\delta \varphi \) that characterises the string solutions with \(a = - \omega _2 / 2\), arbitrarily far from the infinite size limit. Notice that the real period \(\omega _1\) can also be expressed as an algebraic function of \(\mathscr {E}\) and \(\delta \varphi \) through Eq. (6.1). So the only transcendental part of the dependence of the angular momentum on \(\mathscr {E}\) and \(\delta \varphi \) is through \(\zeta (\omega _1)\) or equivalently the complete elliptic integral of the second kind, which is finite everywhere in \(\left[ 0,1\right] \).
This procedure can be generalized. Consider the more general case \(a = - 2 q \omega _2\), \(q \in \mathbb {Q}\). This is a one-dimensional sector of the moduli space, which, in the case of static counterparts, contains a giant magnon solution obeying appropriate periodicity conditions with \(\delta \varphi = 2 q \pi \) (of course this is going to have self-intersections unless q is of the form 1 / n, \(n \in \mathbb {Z}\)). The functions \(\wp \left( 2 m z / n \right) \) with \(m,n \in \mathbb {Z}\) and \(\wp \left( z \right) \) are both elliptic functions with periods \(2 n \omega _1\) and \(2 n \omega _2\). Therefore they are algebraically related. The above argument for \(z = \omega _2\) implies that \(\wp \left( 2 q \omega _2 \right) \) is an algebraic function of the root \(e_3\).
Furthermore, the Weierstrass zeta function obeys
As a direct result of the Weierstrass differential equation \({ {\wp '} ^2} = 4{\wp ^3} - {g_2}\wp - {g_3}\) and its derivative \(\wp '' = 6{\wp ^2} - {g_2}/2\), \(\wp ' \left( z \right) \) and \(\wp '' \left( z \right) \) are algebraic functions of \(\wp \left( z \right) \). Iterative use of the formulas (6.17) and (6.18) results in \(\zeta \left( n z \right) = n \zeta \left( z \right) + f_n \left( \wp \left( z \right) \right) \), where \(f_n\) is an algebraic function. Applying the above for \(z = 2 m \omega _2 / n\) results in the zeta Weierstrass function \(\zeta \left( 2 m \omega _2 / n \right) \) being equal to \( 2 m \zeta \left( \omega _2 \right) / n\) plus an algebraic function of the root \(e_3\), or equivalently an algebraic function of the ratio \(E / \mu ^2\), i.e.
The specification of these algebraic functions may be a difficult task in practice. As an indicative example, in the case \(q = 1 / 3\), \(\wp \left( 2 \omega _2 / 3 \right) \) is equal to the smallest root of the quartic equation \(48 P^4 - 24 g_2 P^2 -48 g_3 P -g_2^2 = 0\), whereas \(\zeta \left( 2 \omega _2 / 3 \right) = {{2 \zeta \left( {{\omega _2}} \right) }}/{3} - \left( \wp \left( 2 \omega _2 / 3 \right) \right) ^{1/2}\).
Once these functions have been specified, the angular opening and the energy of the string assume the form
where \({g_q}\left( {{E}/{{{\mu ^2}}}} \right) \) and \({h_q}\left( {{E}/{{{\mu ^2}}}} \right) \) are algebraic functions of \(E / \mu ^2\). Therefore, the ratio \(E / \mu ^2\) is an algebraic function of the quantity \({{{\left( {\delta {\varphi _0} \pm q \pi } \right) }}/{{{\mathscr {E}_{0/1}}}}}\), i.e.
Once this algebraic function is specified, it can be substituted in (6.2) to provide a closed formula for the dispersion relation of elliptic strings that satisfy \(a = - 2 q \omega _2 \).
Since the set of rational numbers is a dense subset of the real numbers, the union of the trajectories \(a = - 2 q \omega _2 \), where the dispersion relation assumes an analytic form, is a dense subset of the moduli space of the elliptic string solutions. Figure 5 shows how the \(a = - 2 q \omega _2 \) trajectories lie in the moduli space.
The trajectories in the moduli space where the dispersion relation can be specified analytically
The above process cannot be applied in the case of the GKP limit, i.e. the specific selection \(q=1/2\). In this case, the angular opening is not a function of the integration constant E, but it simply equals \(\delta \varphi _1 = \pi \), i.e. the algebraic function \(g_q\) in Eq. (6.20) vanishes. Therefore, the integration constant E cannot be specified algebraically by an appropriate linear combination of the energy and the angular opening, but it requires the inversion of the elliptic integral that relates it to the string energy. This cannot be performed analytically; usually this inversion is performed perturbatively around the infinite size limit [48,49,50,51].
7 Discussion
We applied a systematic method for the construction of classical string solutions propagating on \(\mathbb {R}\times \hbox {S}^2\). Using a specific class of solutions of the Pohlmeyer reduced theory, i.e. the sine-Gordon equation, which are expressed in terms of elliptic functions, we were able to develop a unified description of all known genus one string solutions on \(\mathbb {R}\times \hbox {S}^2\). Our approach is based on a convenient choice of the worldsheet parametrization that leads to equations of motion for the classical string, which are solvable via separation of variables.
The fact that our method can be applied successfully, reproducing all known genus one solutions and providing a unified framework is not accidental. The NLSM is integrable, and, thus, it can be solved using finite gap integration. It is known that any smooth one-gap potential is equivalent to an appropriate \(n=1\) Lamé potential [56]. Thus, in the case of elliptic solutions, the equations of motion are in principle reducible to the \(n=1\) Lamé problem. This is precisely what it is achieved via the application of the Pohlmeyer reduction inversion technique. Since the spiky strings and their various special limits are the most general genus one classical string solutions [57, 58], our approach achieves the inversion of the Pohlmeyer reduction and it is equivalent to the finite gap integration in the case of genus one.
An advantage of our unified description is the convenience in studying and comparing the properties of the string solutions to those of their Pohlmeyer counterparts. For example, rigidly rotating strings have counterparts which can be set static after an appropriate worldsheet boost. On the other hand, wave propagating solutions have counterparts that can be set translationally invariant after an appropriate worldsheet boost. Spikes occur at points where the Pohlmeyer field assumes a value equal to an integer multiple of \(2 \pi \). These points are always moving at the speed of light. Finally, the topological charge in the sine-Gordon theory is mapped to the number of spikes of the string. This mapping of properties provides a nice geometric picture to the Pohlmeyer reduction and enhances our intuition on the dynamics of string propagation on \(\mathbb {R}\times \hbox {S}^2\). Table 3 summarizes the mapping of the properties of the strings to those of their Pohlmeyer counterparts.
The Weierstrass elliptic function is the natural parametrization for the study of genus one solutions, since it uniformizes the torus. The manifestation of the latter is the simple unified description of this class of classical string solutions in terms of the “effective energy” E of the sine-Gordon reduced system and the purely imaginary parameter a. Adopting this parametrization significantly simplifies the expressions for the conserved charges of the string and facilitates the study of the corresponding dispersion relation. In particular, we identify a set of one-dimensional trajectories in the moduli space, where it is possible to express the moduli as an algebraic function of the ratio of the energy and the angular opening, allowing the expression of the dispersion relation in a closed form, arbitrarily far away from the infinite size limit. These trajectories compose a dense subset of the moduli space.
Another interesting feature that emerges from the properties of the sine-Gordon equation has to do with its well known duality with the Thirring model. The duality maps the topological charge of the sine-Gordon theory to the fermion number in the Thirring model. Therefore, the number of spikes has a naive interpretation as a fermion number. In this picture, the strings with rotating Pohlmeyer counterparts have the natural interpretation of fermionic objects of the theory, whereas the strings with oscillating counterparts have the interpretation of bosonic condensates of the latter. The study of elliptic strings in this context would have an enhanced interest in view of the S-duality of the type IIB superstring theory in \(\hbox {AdS}_n \times \hbox {S}^n\) spaces. In this case, such elliptic solutions could provide a quantitative tool to understand the role of the sine-Gordon/Thirring duality as S-duality in the Pohlmeyer reduced theory.
The presented techniques can be directly generalized to higher dimensional spheres and to \(\hbox {AdS}_n\times \hbox {S}^n\) spaces. As long as \(\hbox {S}^n\) is concerned, when n is even, the eigenvalues of the problem will have the same structure as in the presented \(\hbox {S}^2\) case: there will be an odd number of enhanced space embedding functions, which will be organised in several pairs, each being associated to a positive eigenvalue connected to a Bloch wave eigenstate of the associated \(n=1\) Lamé problem and a single one that will be associated with a vanishing eigenvalue, and, thus, connected to an eigenstate of the \(n=1\) Lamé problem lying at the margin of a band. When n is odd, there will be an even number of enhanced space coordinates, which will be simply organised in pairs each associated with a positive eigenvalue. Such solutions have been constructed with other methods in the literature [39]. Further extending to \(\hbox {AdS}_n\times \hbox {S}^n\), which is of particular interest towards holographic applications, requires the combination of the results presented in this work with those of [19]. The elliptic strings on AdS spaces form some qualitatively distinct classes due to the form of the metric in the enhanced space (which is \(\mathbb {R}^{(2,n-1)}\)). It would be interesting to study how these classes get combined with the elliptic strings on the sphere and how they differ in terms of their dispersion relation or other geometric characteristics.
References
J.M. Maldacena, The large \(N\) limit of superconformal field theories and supergravity. Int. J. Theor. Phys. 38, 1113 (1999)
J.M. Maldacena, The large \(N\) limit of superconformal field theories and supergravity. Adv. Theor. Math. Phys. 2, 231 (1998). arXiv:hep-th/9711200
S.S. Gubser, I.R. Klebanov, A.M. Polyakov, Gauge theory correlators from noncritical string theory. Phys. Lett. B 428, 105 (1998). arXiv:hep-th/9802109
E. Witten, Anti-de Sitter space and holography. Adv. Theor. Math. Phys. 2, 253 (1998). arXiv:hep-th/9802150
S. Frolov, A.A. Tseytlin, Multispin string solutions in \(\text{ AdS }_5 \times \text{ S }^5\). Nucl. Phys. B 668, 77 (2003). arXiv:hep-th/0304255
N. Beisert, J.A. Minahan, M. Staudacher, K. Zarembo, Stringing spins and spinning strings. JHEP 0309, 010 (2003). arXiv:hep-th/0306139
S. Frolov, A.A. Tseytlin, Rotating string solutions: AdS/CFT duality in nonsupersymmetric sectors. Phys. Lett. B 570, 96 (2003). https://doi.org/10.1016/j.physletb.2003.07.022. arXiv:hep-th/0306143
N. Beisert, S. Frolov, M. Staudacher, A.A. Tseytlin, Precision spectroscopy of AdS/CFT. JHEP 0310, 037 (2003). arXiv:hep-th/0308117
R. Roiban, A. Tirziu, A.A. Tseytlin, Slow-string limit and antiferromagnetic state in AdS/CFT. Phys. Rev. D 73, 066003 (2006). arXiv:hep-th/0601074
G. Arutyunov, S. Frolov, J. Russo, A.A. Tseytlin, Spinning strings in \(\text{ AdS }_5\times \text{ S }^5\) and integrable systems. Nucl. Phys. B 671, 3 (2003). https://doi.org/10.1016/j.nuclphysb.2003.08.036. arXiv:hep-th/0307191
G. Arutyunov, J. Russo, A.A. Tseytlin, Spinning strings in \(\text{ AdS }_5\times \text{ S }^5\): new integrable system relations. Phys. Rev. D 69, 086009 (2004). https://doi.org/10.1103/PhysRevD.69.086009. arXiv:hep-th/0311004
A.A. Tseytlin, Review of AdS/CFT integrability, chapter II. 1: Classical \(\text{ AdS }_5 \times \text{ S }^5\) string solutions. Lett. Math. Phys. 99, 103 (2012). arXiv:1012.3986 [hep-th]
R.R. Metsaev, A.A. Tseytlin, Type IIB superstring action in \(\text{ AdS }_5\times \text{ S }^5\) background. Nucl. Phys. B 533, 109 (1998). arXiv:hep-th/9805028
I. Bena, J. Polchinski, R. Roiban, Hidden symmetries of the \(\text{ AdS }_5\times \text{ S }^5\) superstring. Phys. Rev. D 69, 046002 (2004). arXiv:hep-th/0305116
J.A. Minahan, K. Zarembo, The Bethe Ansatz for \(N=4\) SuperYang-Mills. JHEP 0303, 013 (2003). arXiv:hep-th/0212208
V.A. Kazakov, A. Marshakov, J.A. Minahan, K. Zarembo, Classical/quantum integrability in AdS/CFT. JHEP 0405, 024 (2004). arXiv:hep-th/0402207
N. Beisert, V.A. Kazakov, K. Sakai, K. Zarembo, The algebraic curve of classical superstrings on \(\text{ AdS }_5\times \text{ S }^5\). Commun. Math. Phys. 263, 659 (2006). arXiv:hep-th/0502226
S. Schafer-Nameki, Review of AdS/CFT integrability, chapter II. 4: the spectral curve. Lett. Math. Phys. 99, 169 (2012). arXiv:1012.3989 [hep-th]
I. Bakas, G. Pastras, On elliptic string solutions in \(\text{ AdS }_{3}\) and \(\text{ dS }_{3}\). JHEP 1607, 070 (2016). arXiv:1605.03920 [hep-th]
G. Pastras, Static elliptic minimal surfaces in \(\text{ AdS }_4\). arXiv:1612.03631 [hep-th]
K. Pohlmeyer, Integrable Hamiltonian systems and interactions through quadratic constraints. Commun. Math. Phys. 46, 207 (1976)
V.E. Zakharov, A.V. Mikhailov, Relativistically invariant two-dimensional models in field theory integrable by the inverse problem technique (in Russian), Sov. Phys. JETP 47, 1017 (1978) [Zh. Eksp. Teor. Fiz. 74, 1953 (1978)]
I. Bakas, Conservation laws and geometry of perturbed coset models. Int. J. Mod. Phys. A 9, 3443 (1994). arXiv:hep-th/9310122
I. Bakas, Q.H. Park, H.J. Shin, Lagrangian formulation of symmetric space sine-Gordon models. Phys. Lett. B 372, 45 (1996). arXiv:hep-th/9512030
C.R. Fernandez-Pousa, M.V. Gallas, T.J. Hollowood, J.L. Miramontes, The symmetric space and homogeneous sine-Gordon theories. Nucl. Phys. B 484, 609 (1997). arXiv:hep-th/9606032
J.L. Miramontes, Pohlmeyer reduction revisited. JHEP 0810, 087 (2008). arXiv:0808.3365 [hep-th]
F. Lund, Note on the geometry of the nonlinear sigma model in two-dimensions. Phys. Rev. D 15, 1540 (1977)
H. Eichenherr, M. Forger, On the dual symmetry of the nonlinear sigma models. Nucl. Phys. B 155, 381 (1979)
H. Eichenherr, M. Forger, More about nonlinear sigma models on symmetric spaces. Nucl. Phys. B 164, 528 (1980)
H. Eichenherr, M. Forger, More about nonlinear sigma models on symmetric spaces. Nucl. Phys. B 282, 745 (1987)
D.E. Berenstein, J.M. Maldacena, H.S. Nastase, Strings in flat space and pp waves from \(N=4\) SuperYang-Mills. JHEP 0204, 013 (2002). arXiv:hep-th/0202021
S.S. Gubser, I.R. Klebanov, A.M. Polyakov, A semiclassical limit of the gauge/string correspondence. Nucl. Phys. B 636, 99 (2002). arXiv:hep-th/0204051
D.M. Hofman, J.M. Maldacena, Giant magnons. J. Phys. A 39, 13095 (2006). arXiv:hep-th/0604135
R. Ishizeki, M. Kruczenski, Single spike solutions for strings on \(\text{ S }^2\) and \(\text{ S }^3\). Phys. Rev. D 76, 126006 (2007). arXiv:0705.2429 [hep-th]
A.E. Mosaffa, B. Safarzadeh, Dual spikes: new spiky string solutions. JHEP 0708, 017 (2007). arXiv:0705.3131 [hep-th]
B.H. Lee, C. Park, Unbounded multi magnon and spike. J. Korean Phys. Soc. 57, 30 (2010). arXiv:0812.2727 [hep-th]
H.Y. Chen, N. Dorey, K. Okamura, Dyonic giant magnons. JHEP 0609, 024 (2006). arXiv:hep-th/0605155
K. Okamura, R. Suzuki, A perspective on classical strings from complex sine-Gordon solitons. Phys. Rev. D 75, 046001 (2007). arXiv:hep-th/0609026
M. Kruczenski, J. Russo, A.A. Tseytlin, Spiky strings and giant magnons on \(\text{ S }^5\). JHEP 0610, 002 (2006). arXiv:hep-th/0607044
M. Abramowitz, I. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. United States Department of Commerce, National Bureau of Standards (NBS), Washington, DC (1964)
B.M. Barbashov, V.V. Nesterenko, Relativistic string model in a space-time of a constant curvature. Commun. Math. Phys. 78, 499 (1981)
H.J. De Vega, N.G. Sanchez, Exact integrability of strings in D-dimensional de sitter space-time. Phys. Rev. D 47, 3394 (1993)
A.L. Larsen, N.G. Sanchez, Sinh-Gordon, Cosh-Gordon and Liouville equations for strings and multistrings in constant curvature space-times. Phys. Rev. D 54, 2801 (1996). arXiv:hep-th/9603049
M. Grigoriev, A.A. Tseytlin, Pohlmeyer reduction of \(\text{ AdS }_5 \times \text{ S }^5\) superstring sigma model. Nucl. Phys. B 800, 450 (2008). arXiv:0711.0155 [hep-th]
A. Mikhailov, S. Schafer-Nameki, Sine-Gordon-like action for the superstring in \(\text{ AdS }_5 \times \text{ S }^5\). JHEP 0805, 075 (2008). arXiv:0711.0195 [hep-th]
G. Pastras, Revisiting the O\((3)\) non-linear sigma model and its Pohlmeyer reduction. Fortsch. Phys. 66(1), 1700067 (2018). arXiv:1612.03840 [hep-th]
A. Mikhailov, Speeding strings. JHEP 0312, 058 (2003). arXiv:hep-th/0311019
G. Arutyunov, S. Frolov, M. Zamaklar, Finite-size effects from giant magnons. Nucl. Phys. B 778, 1 (2007). arXiv:hep-th/0606126
C. Ahn, P. Bozhilov, Finite-size effects for single spike. JHEP 0807, 105 (2008). arXiv:0806.1085 [hep-th]
E. Floratos, G. Georgiou, G. Linardopoulos, Large-spin expansions of GKP strings. JHEP 1403, 018 (2014). arXiv:1311.5800 [hep-th]
E. Floratos, G. Linardopoulos, Large-spin and large-winding expansions of giant magnons and single spikes. Nucl. Phys. B 897, 229 (2015). arXiv:1406.0796 [hep-th]
S.R. Coleman, The quantum sine-Gordon equation as the massive thirring model. Phys. Rev. D 11, 2088 (1975)
I. Kimel, On the sine-Gordon Thirring model equivalence at the classical level, IFUSP/P-79
C.M. Hull, P.K. Townsend, Unity of superstring dualities. Nucl. Phys. B 438, 109 (1995). arXiv:hep-th/9410167
E. Witten, String theory dynamics in various dimensions. Nucl. Phys. B 443, 85 (1995). arXiv:hep-th/9503124
H. Hochstadt, On the determination of a Hill’s equation from its spectrum. Arch. Ration. Mech. Anal. 19, 353–362 (1965)
B. Vicedo, Giant magnons and singular curves. JHEP 0712, 078 (2007). arXiv:hep-th/0703180
B. Vicedo, The method of finite-gap integration in classical and semi-classical string theory. J. Phys. A 44, 124002 (2011). arXiv:0810.3402 [hep-th]
Acknowledgements
The research of D.Katsinis is funded by the “Strengthening Human Resources Research Potential via Doctorate Research” action of the operational programme “human resources development, education and long life learning, 2014–2020”, with priority axes 6, 8 and 9, implemented by the Greek State Scholarship Foundation and co-funded by the European Social Fund - ESF and National Resources of Greece.
The research of GP is funded by the “Post-doctoral researchers support” action of the operational programme “human resources development, education and long life learning, 2014–2020”, with priority axes 6, 8 and 9, implemented by the Greek State Scholarship Foundation and co-funded by the European Social Fund - ESF and National Resources of Greece.
The authors would like to thank M. Axenides, E. Floratos and G. Linardopoulos for useful discussions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Katsinis, D., Mitsoulas, I. & Pastras, G. Elliptic string solutions on \(\mathbb {R}\times \hbox {S}^2\) and their pohlmeyer reduction. Eur. Phys. J. C 78, 977 (2018). https://doi.org/10.1140/epjc/s10052-018-6429-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6429-1