In 1990 Greene, Shapere, Vafa and Yau constructed "stringy cosmic string" solutions of four-dimensional string compactifications in which the complex structure modulus of an internal two-torus fiber varies holomorphically over the transverse plane; each degeneration of the fiber acts as an elementary string with deficit angle , and the total spaces are noncompact Calabi-Yau manifolds that, for up to twelve degenerations, admit complete Ricci-flat Kähler metrics, so that the apparent cosmic-string singularity is resolved by decompactification of one internal dimension. The solutions were derived in the truncated low-energy effective action, an adiabatic approximation that fails at the degeneration and decompactification loci, and the authors posed the questions of which backgrounds persist as exact string vacua, whether exactly solvable superconformal field theories (worldsheet descriptions) exist for them, and what spectrum of trapped states they support, computable by the Dirac index on the total space. Later work reinterpreted the -varying solutions as seven-brane (F-theory) backgrounds of type IIB string theory with exact supergravity solutions, constructed exact worldsheet CFTs for the local degeneration limits (the two-dimensional Euclidean black hole, or cigar) and for torsionful partners with singular metrics, and settled the Ricci-flat existence questions for the geometries involved. However, no exact worldsheet conformal field theory is known for the full backgrounds — Ooguri and Vafa explicitly left open even the conformal theory of a single elementary cosmic string — and the Dirac-index computation on the total spaces has not been performed. The surviving open core is the exact quantum string description of these backgrounds and their localized spectrum.
Background
In string theory, a consistent four-dimensional vacuum is built by compactifying the six extra dimensions on a small internal space; for vacua preserving supersymmetry this internal space is a Calabi-Yau manifold, meaning a Kähler manifold (a complex manifold with a compatible Hermitian metric) whose first Chern class vanishes, which by Yau's theorem then admits a Ricci-flat metric. The continuous parameters fixing the size and shape of the internal space are called moduli and appear in four dimensions as massless scalar fields.
Greene, Shapere, Vafa and Yau (henceforth GSVY; 1990) studied what happens when such a modulus is allowed to vary over four-dimensional spacetime instead of being constant. Take a compactification whose internal space is elliptically fibered, i.e. built as a two-torus fibered over a base, with complex structure modulus (a complex number in the upper half-plane encoding the torus's shape). Promoting to a function of the two transverse spatial coordinates, combined into one complex coordinate , the low-energy spacetime equations of motion reduce to the statement that is a rational function of , where is the modular j-function of the torus (the function invariant under the modular group of large diffeomorphisms of ). Consistency is possible because is only defined up to , so may undergo modular transformations around loops in the -plane.
A cosmic string is a classical, static, straight object in four-dimensional spacetime, of codimension two in the transverse plane, with energy per unit length concentrated at its core; in general relativity such a source produces a conical deficit angle around it. In the solutions above, each pole of — a point where the fiber degenerates — behaves as an elementary string with deficit angle , and the deficit is additive: degeneration points give total deficit . For the transverse plane closes into a cylinder; for it compactifies to a sphere and the total space becomes the compact K3 surface (a simply connected Calabi-Yau manifold of complex dimension two); for the total space — the completed elliptic fibration over the punctured plane — is a noncompact Calabi-Yau manifold. Greene, Shapere, Vafa and Yau showed, using existence theorems of Tian and Yau for complete Ricci-flat Kähler metrics on the complement of an anticanonical divisor (the zero locus of a section of the line bundle dual to the bundle of holomorphic top forms) in a Fano manifold (a complex manifold with positive first Chern class), that for the cases this total space carries a complete Ricci-flat metric: the apparent four-dimensional cosmic-string singularity is resolved near the core by one internal dimension decompactifying (growing large), rather than by curvature blowing up.
Two gaps separate this classical construction from an exact string vacuum. First, the field equations that were solved are those of the truncated low-energy effective action; the truncation assumes the moduli vary adiabatically on scales large compared to the internal space, an approximation that manifestly fails at the degeneration and decompactification loci, where towers of string-scale states become light and corrections in (the squared string length, setting the expansion parameter of the worldsheet sigma model) and in the string loop coupling are unsuppressed. Second, an exact string background is defined by a two-dimensional conformal field theory (CFT) on the string worldsheet — for Calabi-Yau targets one with superconformal symmetry (a specific extended supersymmetry algebra of the worldsheet) — and which of these backgrounds admit exactly solvable such SCFTs is unknown. The authors also noted that when the compactification has an exchange symmetry between two elliptic fibrations, the map (with the complexified Kähler modulus, combining a two-cycle volume and an antisymmetric-tensor-field angle) produces partner solutions with nonzero torsion (the field strength of the antisymmetric tensor field, coupling the metric to a torsionful connection) and varying dilaton (the scalar field setting the string coupling), argued by symmetry to be equally consistent; and posed the questions of the spectrum of states trapped at the string core — measurable in principle by the index of the Dirac operator on the total space, an integer counting zero modes of the spinor Dirac equation — of Euclidean-signature instantons that could mediate topology change between compactifications, and of time-dependent analogues.
Later work reframed parts of this construction. The modular maps are exactly the axion-dilaton profiles of seven-branes in type IIB string theory (codimension-two defects around which the complex scalar combining the axion and the dilaton undergoes monodromy), the geometric core of F-theory, Vafa's description of strongly coupled type IIB vacua via elliptically fibered spaces; the exact type IIB supergravity solutions for such seven-branes were constructed by Gibbons, Green and Perry using the GSVY modular-invariant conformal factor; and the local degeneration limits of the metrics are governed by the exactly solvable two-dimensional Euclidean black hole, the 'cigar' CFT (a coset model: an exactly solvable worldsheet theory obtained by quotienting a sigma model on the group by a subgroup; its target is a semi-infinite cigar-shaped space). However, near a seven-brane the string coupling grows without bound, and no worldsheet CFT is known for the full backgrounds; the Dirac index on the GSVY total spaces has not been computed. The Wess-Zumino-Witten models (exactly solvable worldsheet sigma models with group-manifold targets) and the minimal models (rational conformal field theories with finitely many primary fields) similarly control only the local degeneration and orbifold limits, and the exact type IIB supergravity seven-brane solutions provide the target-space fields but no worldsheet theory.
Problem Statement
A GSVY stringy cosmic string configuration is a holomorphic modular map with degeneration points (poles of ) in the transverse plane, together with the associated total space: the completion of the fibration over the punctured plane, a noncompact Calabi-Yau manifold for , asymptotically cylindrical for , and the compact K3 surface for ; the elementary string carries deficit , and the construction extends via the exchange symmetry to partner backgrounds with torsion and varying dilaton.
Determine the exact string-theoretic status of these backgrounds, specifically:
(1) Exact worldsheet description. Construct the exactly solvable superconformal field theory whose target is a GSVY total space of the solver's choice — the elementary one-string case is the minimal target, and the twelve-string case is a further instance of the same question — or an otherwise controlled all-orders description (in and the string loop coupling) of the corresponding string background; or prove that no such exact worldsheet description exists. The torsionful -varying partners, for which only singular-metric exact CFTs and fivebrane reinterpretations are known, remain in scope as further instances of the same question.
(2) Persistence under corrections. Establish which GSVY solutions remain consistent exact string vacua once and string-loop corrections are included — in particular near the orbifold (fiber-degeneration) and decompactification loci, where the adiabatic low-energy truncation used to derive them breaks down and towers of light states appear — exhibiting a controlled expansion or a controlled non-perturbative formulation there.
(3) Localized spectrum. Compute the spectrum of trapped normalizable states localized near the degeneration loci, in particular the index of the Dirac operator on the total space that the source identified as the proper measure of the trapped-state question, as a function of and the monodromy data.
Deliverable (1) subsumes (2) and (3) for the background it addresses: an exact worldsheet SCFT is the all-orders statement of persistence from which the localized spectrum is in principle computable, so attaining (1) for the chosen GSVY total space entails (2) and (3) for that space, whereas (2) asks which GSVY solutions persist across the class of solutions and (3) asks for the spectrum as a function of and the monodromy data. Deliverables (2) and (3) may also be attacked independently.
References
- B. R. Greene, A. D. Shapere, C. Vafa, S.-T. Yau, 'Stringy Cosmic Strings and Noncompact Calabi-Yau Manifolds', Nucl. Phys. B 337 (1990) 1-36. DOI: 10.1016/0550-3213(90)90248-C, https://doi.org/10.1016/0550-3213(90)90248-C (the source of the open questions posed above)
- S. Cecotti, 'Stringy cosmic strings and SUSY gauge theories', Phys. Lett. B 244 (1990) 23-26. DOI: 10.1016/0370-2693(90)90262-5, https://doi.org/10.1016/0370-2693(90)90262-5
- G. W. Gibbons, M. E. Ortiz, F. Ruiz Ruiz, 'Stringy Cosmic Strings With Horizons', Phys. Lett. B 240 (1990) 50-54. DOI: 10.1016/0370-2693(90)90407-W, https://doi.org/10.1016/0370-2693(90)90407-W
- N. Kaloper, 'Stringy cosmic strings and axion cohomology', Phys. Rev. D 47 (1993) 2403-2410. DOI: 10.1103/PhysRevD.47.2403, arXiv:hep-th/9206079, https://arxiv.org/abs/hep-th/9206079
- E. Kiritsis, C. Kounnas, D. Lüst, 'Noncompact Calabi-Yau spaces and other nontrivial backgrounds for four-dimensional superstrings', in Mirror Symmetry II (Essays on Mirror Manifolds II), AMS/IP Studies in Advanced Mathematics vol. 1, American Mathematical Society (1996) 427-441. DOI: 10.1090/amsip/001/17, https://doi.org/10.1090/amsip/001/17; preprint arXiv:hep-th/9312143, https://arxiv.org/abs/hep-th/9312143 (arXiv title: 'Non-Compact Calabi-Yau Spaces and Other Non-Trivial Backgrounds for 4-D Superstrings')
- A. A. Tseytlin, 'On rolling moduli solutions in string cosmology', Phys. Lett. B 334 (1994) 315-322. DOI: 10.1016/0370-2693(94)90695-5, arXiv:hep-th/9404191, https://arxiv.org/abs/hep-th/9404191
- G. W. Gibbons, M. B. Green, M. J. Perry, 'Instantons and seven-branes in type IIB superstring theory', Phys. Lett. B 370 (1996) 37-44. DOI: 10.1016/0370-2693(95)01565-5, arXiv:hep-th/9511080, https://arxiv.org/abs/hep-th/9511080
- H. Ooguri, C. Vafa, 'Two-dimensional black hole and singularities of CY manifolds', Nucl. Phys. B 463 (1996) 55-72. DOI: 10.1016/0550-3213(96)00008-9, arXiv:hep-th/9511164, https://arxiv.org/abs/hep-th/9511164
- C. Vafa, 'Evidence for F-theory', Nucl. Phys. B 469 (1996) 403-415. DOI: 10.1016/0550-3213(96)00172-1, arXiv:hep-th/9602022, https://arxiv.org/abs/hep-th/9602022
- A. Kehagias, 'N=2 heterotic stringy cosmic strings', arXiv:hep-th/9611110 (1996), https://arxiv.org/abs/hep-th/9611110
- M. Asano, 'Stringy cosmic strings and compactifications of F theory', Nucl. Phys. B 503 (1997) 177-192. DOI: 10.1016/S0550-3213(97)00377-5, arXiv:hep-th/9703070, https://arxiv.org/abs/hep-th/9703070
- E. A. Bergshoeff, J. Hartong, M. Hübscher, T. Ortín, 'Stringy cosmic strings in matter coupled N=2, d=4 supergravity', JHEP 05 (2008) 033. DOI: 10.1088/1126-6708/2008/05/033, arXiv:0711.0857, https://arxiv.org/abs/0711.0857
- G. Chen, J. Viaclovsky, R. Zhang, 'Collapsing Ricci-flat metrics on elliptic K3 surfaces', Commun. Anal. Geom. 28 (2020) 2019-2133. DOI: 10.4310/CAG.2020.v28.n8.a9, arXiv:1910.11321, https://arxiv.org/abs/1910.11321
- T. C. Collins, Y.-S. Lin, 'Recent progress on SYZ mirror symmetry for some non-compact Calabi-Yau surfaces', Surv. Differ. Geom. 28 (2023) 17-45. DOI: 10.4310/sdg.251231234309, arXiv:2208.14485, https://arxiv.org/abs/2208.14485
- K. Chen, Q. Lou, Y.-N. Wang, 'Massive spectrum in F-theory and the distance conjecture', JHEP 01 (2025) 128. DOI: 10.1007/JHEP01(2025)128, arXiv:2407.20788, https://arxiv.org/abs/2407.20788
- A. Sen, 'Decorating asymptotically flat space-time with the moduli space of string theory', JHEP 12 (2025) 145. DOI: 10.1007/JHEP12(2025)145, arXiv:2506.13876, https://arxiv.org/abs/2506.13876
- J. Monnee, T. Weigand, M. Wiesner, 'Physics and geometry of complex structure limits in type IIB Calabi-Yau compactifications', JHEP 03 (2026) 063. DOI: 10.1007/JHEP03(2026)063, arXiv:2509.07056, https://arxiv.org/abs/2509.07056
- P. Berglund, T. Hübsch, V. Jejjala, 'What to do with a Ricci-flat Calabi-Yau metric?', arXiv:2605.23900 (2026), https://arxiv.org/abs/2605.23900
- M. Li, S. Sun, 'Geometry of gravitational instantons', arXiv:2606.10443 (2026), https://arxiv.org/abs/2606.10443