In 1990 Greene, Shapere, Vafa and Yau constructed "stringy cosmic string" solutions of four-dimensional string compactifications in which the complex structure modulus τ\tau 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 2π/122\pi/12, 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 N=2N=2 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 τ\tau-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 SL(2,R)/U(1)SL(2,\mathbb{R})/U(1) 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 T2T^2 fibered over a base, with complex structure modulus τ\tau (a complex number in the upper half-plane encoding the torus's shape). Promoting τ\tau to a function of the two transverse spatial coordinates, combined into one complex coordinate zz, the low-energy spacetime equations of motion reduce to the statement that j(τ(z))j(\tau(z)) is a rational function P(z)/Q(z)P(z)/Q(z) of zz, where jj is the modular j-function of the torus (the function invariant under the modular group SL(2,Z)SL(2,\mathbb{Z}) of large diffeomorphisms of T2T^2). Consistency is possible because τ\tau is only defined up to SL(2,Z)SL(2,\mathbb{Z}), so τ(z)\tau(z) may undergo modular transformations around loops in the zz-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 P/QP/Q — a point where the T2T^2 fiber degenerates — behaves as an elementary string with deficit angle 2π/122\pi/12, and the deficit is additive: NN degeneration points give total deficit 2πN/122\pi N/12. For N=12N=12 the transverse plane closes into a cylinder; for N=24N=24 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 N<12N<12 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 N≤12N\le 12 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 α′\alpha' (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 N=2N=2 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 τ↔ρ\tau\leftrightarrow\rho (with ρ\rho 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 HH 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 τ(z)\tau(z) 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 SL(2,Z)SL(2,\mathbb{Z}) 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 SL(2,R)/U(1)SL(2,\mathbb{R})/U(1) 'cigar' CFT (a coset model: an exactly solvable worldsheet theory obtained by quotienting a sigma model on the group SL(2,R)SL(2,\mathbb{R}) by a U(1)U(1) 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 SU(2)SU(2) 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 j(τ(z))=P(z)/Q(z)j(\tau(z))=P(z)/Q(z) with NN degeneration points (poles of P/QP/Q) in the transverse plane, together with the associated total space: the completion of the T2T^2 fibration over the punctured plane, a noncompact Calabi-Yau manifold for N<12N<12, asymptotically cylindrical for N=12N=12, and the compact K3 surface for N=24N=24; the elementary string carries deficit 2π/122\pi/12, and the construction extends via the τ↔ρ\tau\leftrightarrow\rho exchange symmetry to partner backgrounds with torsion HH and varying dilaton.

Determine the exact string-theoretic status of these backgrounds, specifically:

(1) Exact worldsheet description. Construct the exactly solvable N=2N=2 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 N=12N=12 twelve-string case is a further instance of the same question — or an otherwise controlled all-orders description (in α′\alpha' and the string loop coupling) of the corresponding string background; or prove that no such exact worldsheet description exists. The torsionful ρ\rho-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 α′\alpha' 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 NN 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 NN and the monodromy data. Deliverables (2) and (3) may also be attacked independently.

References

  1. 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)
  2. 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
  3. 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
  4. 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
  5. 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')
  6. 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
  7. 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
  8. 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
  9. 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
  10. A. Kehagias, 'N=2 heterotic stringy cosmic strings', arXiv:hep-th/9611110 (1996), https://arxiv.org/abs/hep-th/9611110
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. M. Li, S. Sun, 'Geometry of gravitational instantons', arXiv:2606.10443 (2026), https://arxiv.org/abs/2606.10443