Exact Ricci-flat metrics, normalized Yukawa couplings, CP structure, and vacuum selection in Calabi–Yau superstring compactification: the surviving open core of the Strominger–Witten (1985) program

Strominger and Witten (1985) constructed new Calabi–Yau threefolds for superstring compactification and explicitly acknowledged five unresolved issues. Two are now closed: a three-generation example was constructed within two years (Tian–Yau 1987; Schimmrigk 1987), and case-by-case smoothness (transversality) checking became routine computer algebra. The open problem is the remaining three scientifically linked components of the same program, unified by the objective of turning topological Calabi–Yau phenomenology into quantitative, selected predictions: (1) canonically normalized Yukawa couplings — absolute coupling strengths require the Ricci-flat metric, which exists by Yau's proof of the Calabi conjecture but is known neither in closed form nor with certified error on any compact threefold of strict $SU(3)$ holonomy; exact results exist only on the $(2,2)$ standard-embedding locus via period and sigma-model methods; (2) CP structure — whether CP violation can be realized independent of the choice of Ricci-flat metric, beyond the type-IIB real-slice cases recently settled, in particular in heterotic models with non-standard vector bundles and Wilson lines, given the modern understanding that CP is a gauge symmetry and can only be spontaneously broken; (3) vacuum selection — which Calabi–Yau manifold, if any, string theory dynamically selects, now embedded in the flux-landscape problem.

Background

In the heterotic superstring theory (the version of ten-dimensional string theory in which the gauge degrees of freedom are carried by an internal $E_8 imes E_8$ gauge bundle, $E_8$ being the largest exceptional simple Lie group), the extra six spatial dimensions are compactified on a Calabi–Yau threefold: a compact complex three-dimensional manifold that is Kähler (it carries a Hermitian metric whose associated two-form is closed) and has trivial canonical bundle (it admits an everywhere-nonzero holomorphic volume form). These conditions force the holonomy group — the group of rotations of the tangent space generated by parallel transport around closed loops — into $SU(3)$, which is what preserves one supersymmetry after compactification. Yau's 1978 proof of the Calabi conjecture guarantees a unique Ricci-flat (zero-Ricci-curvature) Kähler metric in each Kähler class (each cohomology class of the closed Kähler two-form, fixing the overall internal sizes) — the metric that solves Einstein's equations for the internal space. The existence proof is non-constructive: no closed-form or certified numerical Ricci-flat metric is known on any compact threefold of strict $SU(3)$ holonomy (holonomy exactly $SU(3)$, with no quotient or additional continuous symmetry that would reduce the geometry to a homogeneous or lower-holonomy one); all known exact metrics use extra symmetry, quotient, or non-compactness.

With the standard embedding — identifying the gauge connection with the spin connection of the tangent bundle — the $E_8 imes E_8$ gauge group breaks to $E_6$, and the massless spectrum is counted by sheaf cohomology (the cohomology groups that enumerate the independent zero-mode solutions of the bundle's field equations): the net number of fermion generations equals $\chi/2$, half the Euler characteristic, where $\chi=2(h^{1,1}-h^{2,1})$ in terms of the Hodge numbers $h^{1,1}$ (Kähler-moduli dimension) and $h^{2,1}$ (complex-structure-moduli dimension). A discrete quotient of the covering manifold with non-abelian fundamental group permits Wilson lines (flat gauge backgrounds, trivial in field strength but not in gauge transport, that further break the gauge group), by which Strominger and Witten (1985) obtained rank-five low-energy gauge groups. Their paper, whose published abstract reads in part “We construct new manifolds with SU(3) holonomy … Some of these manifolds have a non-abelian fundamental group and thus can lead to a rank five low energy gauge group. Models with an odd number of generations are obtained. CP violation is discussed in this context and shown to occur generically. Topological features of the Yukawa couplings are also discussed.”, exhibited examples with one, two, four, and other generation counts, and acknowledged five open issues: (i) no three-generation example in their families; (ii) the normalization of the nonzero Yukawa couplings is metric-dependent and not fixed by topology or complex structure; (iii) no example was known in which CP is violated independent of the choice of Ricci-flat metric; (iv) case-by-case smoothness — transversality of the defining equations, i.e. the condition that the intersection be everywhere smooth, checkable via the Jacobian criterion (the algebraic-geometry test that the derivative matrix of the defining equations has full rank at every point of the intersection, equivalent to smoothness) — was not proven for all parameter ranges; (v) which Calabi–Yau manifold string theory dynamically selects was left open.

Yukawa couplings — the cubic self-interactions of the chiral matter multiplets, which set fermion mass matrices — are integrals over the Calabi–Yau manifold of triple products of harmonic $(2,1)$- or $(1,1)$-forms (differential forms of pure complex type that are harmonic, i.e. minimized in norm, with respect to the chosen metric). Whether such an integral vanishes can often be decided topologically, but its absolute value requires harmonic representatives normalized with respect to the physical Ricci-flat metric. Strominger (1985) showed the tree-level field-theory-limit action is computable topologically; Candelas (1988) computed $(2,1)$-couplings from periods (integrals of the holomorphic three-form over three-dimensional cycles); Candelas, de la Ossa, Green and Parkes (1991) computed the sigma-model-corrected couplings and moduli-space metric exactly at special points of the mirror quintic (the simplest mirror pair of Calabi–Yau threefolds, built from the quintic hypersurface in complex projective four-space). All of these live on the $(2,2)$ standard-embedding locus; away from it, and for the matter kinetic terms and normalized couplings in general, the metric problem blocks quantitative prediction.

On CP (the combined charge-conjugation and parity symmetry), Strominger and Witten proposed to define CP as a holomorphic involution (a complex-structure-preserving symmetry whose square is the identity) acting by complex conjugation on the complex-structure moduli space: for special “real” complex structures CP is conserved, generically it is violated. Later work reframed the question: Dine and Seiberg (1986) and especially Dine, Leigh and MacIntire (1992) argued CP is a gauge symmetry in string theory, so CP cannot be broken explicitly — only spontaneously; Ibrahim and Nath (2008) review this history. Bönisch, Elmi, Kashani-Poor and Klemm (2022), working in type-IIB string theory (one of the two type-II superstring theories, whose quantized three-form fluxes can stabilize complex-structure moduli), generalized the Strominger–Witten proposal, proved that complex conjugation on the “real slice” (the locus of moduli space where all complex-structure parameters can be taken real) is an isometry of the Ricci-flat metric, and derived a cohomological condition for CP-preserving flux vacua; Ishiguro, Kobayashi and Otsuka (2021) exhibited spontaneous CP violation in Calabi–Yau compactifications whose Kähler moduli carry a symplectic modular symmetry (a discrete arithmetic symmetry of the Kähler moduli space, the analogue for Kähler structure of the modular group of a torus).

The vacuum-selection question was transformed after 2003 into the landscape problem: fluxes (quantized background field strengths) stabilize moduli at one of an astronomically large number of vacua (Kachru, Kallosh, Linde and Trivedi 2003; Douglas 2003), and no accepted selection principle or measure exists.

Problem Statement

The common objective is to carry the Strominger–Witten (1985) Calabi–Yau compactification program from topology to quantitative, selected predictions. After the three-generation and transversality items are documented as closed, the open problem inherited from that paper is the conjunction of three linked components:

(1) Normalized couplings and the Ricci-flat metric. Determine — in closed form, by convergent construction with proven convergence, or by certified numerical computation with explicit error bounds — the Ricci-flat Kähler metric on a compact Calabi–Yau threefold of strict $SU(3)$ holonomy; no such explicit or certified metric is known on any of these manifolds, the $(2,2)$ standard-embedding cases included. Equivalently: determine the canonically normalized Yukawa couplings and matter kinetic terms of the corresponding string compactification for models away from the $(2,2)$ standard-embedding locus — for example heterotic models with non-standard stable holomorphic vector bundles (gauge bundles other than the tangent bundle, satisfying the stability condition that guarantees a Hermitian–Yang–Mills connection) — since on that locus period and sigma-model methods already give exact answers, while away from it the unknown metric is the obstruction.

(2) CP structure. Given that CP is a gauge symmetry in string theory and can only be spontaneously broken, determine whether spontaneous CP violation can be realized independent of the choice of Ricci-flat metric in the general heterotic setting (non-standard stable vector bundles and Wilson lines) — the original Strominger–Witten question — including a characterization of which models admit CP-conserving points and which force CP violation for every Ricci-flat metric. The type-IIB real-slice case is settled; the heterotic case is not.

(3) Vacuum selection. Identify the dynamical principle, if any, by which string theory selects among Calabi–Yau compactifications (the flux-landscape measure/selection problem), including the stabilization of Kähler and complex-structure moduli and at least one externally checkable consequence of any proposed principle or measure. This component has no currently recognized completion boundary.

References

1. A. Strominger and E. Witten, “New manifolds for superstring compactification”, Communications in Mathematical Physics 101 (1985) 341–361. DOI: 10.1007/BF01216094, https://doi.org/10.1007/BF01216094
2. S.-T. Yau, “On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation, I”, Communications on Pure and Applied Mathematics 31 (1978) 339–411. DOI: 10.1002/cpa.3160310304, https://doi.org/10.1002/cpa.3160310304
3. A. Strominger, “Yukawa Couplings in Superstring Compactification”, Physical Review Letters 55 (1985) 2547–2550. DOI: 10.1103/PhysRevLett.55.2547, https://doi.org/10.1103/PhysRevLett.55.2547
4. P. Candelas, “Yukawa couplings between (2,1)-forms”, Nuclear Physics B 298 (1988) 458–492. DOI: 10.1016/0550-3213(88)90351-3, https://doi.org/10.1016/0550-3213(88)90351-3
5. P. Candelas, X. C. de la Ossa, P. S. Green and L. Parkes, “A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory”, Nuclear Physics B 359 (1991) 21–74. DOI: 10.1016/0550-3213(91)90292-6, https://doi.org/10.1016/0550-3213(91)90292-6
6. G. Tian and S.-T. Yau, “Three dimensional algebraic manifolds with $C_1 = 0$ and $\chi = -6$”, in: Mathematical Aspects of String Theory (World Scientific, 1987) 543–559. DOI: 10.1142/9789812798411_0026, https://doi.org/10.1142/9789812798411_0026
7. R. Schimmrigk, “A new construction of a three-generation Calabi-Yau manifold”, Physics Letters B 193 (1987) 175–180. DOI: 10.1016/0370-2693(87)91218-4, https://doi.org/10.1016/0370-2693(87)91218-4
8. P. S. Aspinwall, B. R. Greene, K. H. Kirklin and P. J. Miron, “Searching for three-generation Calabi-Yau manifolds”, Nuclear Physics B 294 (1987) 193–222. DOI: 10.1016/0550-3213(87)90579-7, https://doi.org/10.1016/0550-3213(87)90579-7
9. P. Candelas, C. A. Lütken and R. Schimmrigk, “Complete intersection Calabi-Yau manifolds (II)”, Nuclear Physics B 306 (1988) 113–136. DOI: 10.1016/0550-3213(88)90173-3, https://doi.org/10.1016/0550-3213(88)90173-3
10. P. Candelas, M. Lynker and R. Schimmrigk, “Calabi-Yau manifolds in weighted $\mathbb{P}_4$”, Nuclear Physics B 341 (1990) 383–402. DOI: 10.1016/0550-3213(90)90185-G, https://doi.org/10.1016/0550-3213(90)90185-G
11. M. Dine and N. Seiberg, “String theory and the strong CP problem”, Nuclear Physics B 273 (1986) 109–124. DOI: 10.1016/0550-3213(86)90043-X, https://doi.org/10.1016/0550-3213(86)90043-X
12. M. Dine, R. G. Leigh and D. A. MacIntire, “Of CP and other Gauge Symmetries in String Theory”, Physical Review Letters 69 (1992) 2030–2032. DOI: 10.1103/PhysRevLett.69.2030, arXiv:hep-th/9205011, https://arxiv.org/abs/hep-th/9205011
13. T. Ibrahim and P. Nath, “CP Violation From Standard Model to Strings”, Reviews of Modern Physics 80 (2008) 577–631. DOI: 10.1103/RevModPhys.80.577, arXiv:0705.2008, https://arxiv.org/abs/0705.2008
14. K. Bönisch, M. Elmi, A.-K. Kashani-Poor and A. Klemm, “Time reversal and $CP$ invariance in Calabi-Yau compactifications”, Journal of High Energy Physics 2022 (2022) 019. DOI: 10.1007/JHEP09(2022)019, arXiv:2204.06506, https://arxiv.org/abs/2204.06506
15. K. Ishiguro, T. Kobayashi and H. Otsuka, “Spontaneous CP violation and symplectic modular symmetry in Calabi-Yau compactifications”, Nuclear Physics B 973 (2021) 115598. DOI: 10.1016/j.nuclphysb.2021.115598, arXiv:2010.10782, https://arxiv.org/abs/2010.10782
16. S. Kachru, R. Kallosh, A. Linde and S. P. Trivedi, “de Sitter Vacua in String Theory”, Physical Review D 68 (2003) 046005. DOI: 10.1103/PhysRevD.68.046005, arXiv:hep-th/0301240, https://arxiv.org/abs/hep-th/0301240
17. M. R. Douglas, “The statistics of string/M theory vacua”, Journal of High Energy Physics 05 (2003) 046. DOI: 10.1088/1126-6708/2003/05/046, arXiv:hep-th/0303194, https://arxiv.org/abs/hep-th/0303194
18. P. Berglund, G. Butbaia, T. Hübsch, V. Jejjala, D. Mayorga Peña, C. Mishra and J. Tan, “Precision String Phenomenology” (2024). arXiv:2407.13836, https://arxiv.org/abs/2407.13836
19. M. R. Douglas, D. Platt, Y. Qi and R. Barbosa, “Harmonic 1-forms on real loci of Calabi-Yau manifolds” (2024). arXiv:2405.19402, https://arxiv.org/abs/2405.19402
20. K. Fraser-Taliente, T. R. Harvey and M. Kim, “Not So Flat Metrics” (2024). arXiv:2411.00962, https://arxiv.org/abs/2411.00962
21. V. Mirjanić and C. Mishra, “Symbolic Approximations to Ricci-flat Metrics Via Extrinsic Symmetries of Calabi-Yau Hypersurfaces” (2024). arXiv:2412.19778, https://arxiv.org/abs/2412.19778
22. S.-J. Lee and A. Lukas, “Approximate Ricci-flat Metrics for Calabi-Yau Manifolds” (2025). arXiv:2506.15766, https://arxiv.org/abs/2506.15766
23. A. Constantin, A. Lukas and L. A. Nutricati, “Calabi-Yau Metrics with Kähler Moduli Dependence” (2026). arXiv:2603.12384, https://arxiv.org/abs/2603.12384
24. P. Berglund, T. Hübsch and V. Jejjala, “What to do with a Ricci-flat Calabi–Yau metric?” (2026). arXiv:2605.23900, https://arxiv.org/abs/2605.23900
25. V. Mirjanić and C. Mishra, “The Sharp Edges of Calabi-Yau Manifolds: Designing Symmetric Models for Ricci-flat Metrics” (2026). arXiv:2606.26892, https://arxiv.org/abs/2606.26892
26. D. Bykov, O. Hulik, U. Lindström, M. Roček and R. von Unge, “Ricci-flat metrics from gauged linear $\sigma$-models without RG flow” (2026). arXiv:2608.09918, https://arxiv.org/abs/2608.09918