OSV conjecture
Generated by GPT-5-miniExpansion Funnel Raw 97 → Dedup 0 → NER 0 → Enqueued 0
| OSV conjecture | |
|---|---|
| Name | OSV conjecture |
| Field | String theory |
| Introduced | 2004 |
| Proponents | Andrew Strominger; Cumrun Vafa |
| Related | Topological string theory; Black hole entropy; BPS states |
OSV conjecture The OSV conjecture proposes a relation between black hole entropy in certain Calabi–Yau manifold compactifications of Type II string theory and the partition function of topological string theory on the same Calabi–Yau manifold. Originating from a 2004 proposal by Andrew Strominger and Cumrun Vafa, the conjecture bridges calculations in supergravity and enumerative invariants computed via Gromov–Witten theory and Donaldson–Thomas theory. It has stimulated cross-disciplinary work linking supersymmetry, BPS state counting, and modularity in number theory.
Background and motivation
The conjecture emerged in attempts to derive microscopic entropy for extremal supersymmetric black holes constructed from D-brane configurations in compactifications on Calabi–Yau threefolds, leveraging insights from Strominger–Vafa black hole counting, Maldacena's AdS/CFT correspondence, and earlier work on black hole microstates by Gary Horowitz, Joseph Polchinski, and Andrew Witten. Motivating calculations used Type IIA string theory on Calabi–Yau threefolds and lifts to M-theory descriptions linked to F-theory and heterotic string dualities explored by Edward Witten and Ashoke Sen. The need to connect macroscopic entropy from the Bekenstein–Hawking formula and quantum corrections via the Wald entropy functional prompted engagement with topological A-model and topological B-model techniques developed by Edward Witten, Cumrun Vafa, and Bershadsky Cecotti Ooguri Vafa.
Statement of the conjecture
Roughly, the conjecture states that the squared absolute value of the topological string partition function on a given Calabi–Yau manifold, as a function of complexified Kähler moduli or complex structure moduli depending on polarization, is equal to a mixed ensemble black hole partition function computed from a corresponding four-dimensional N=2 supergravity arising from Type II compactification. Strominger and Vafa proposed that this relation equates the microscopic degeneracy from D-brane states counted in frameworks used by Strominger–Vafa and Vafa–Witten to the macroscopic entropy including higher-derivative corrections analyzed by Tachikawa and Sen. The proposal involves a Legendre transform linking electric-magnetic charge ensembles familiar from Dirac quantization and Attractor mechanism analyses pioneered by Ferrara Kallosh Strominger and Denef Moore.
Evidence and checks
Checks include comparisons of asymptotic black hole degeneracies computed via Cardy formula analogues, microscopic counts using D-branes and M5-branes, and modular properties associated with mock modular forms and Siegel modular forms studied by Zwegers and Bruinier Ono. Successful matches were obtained for certain classes of BPS black holes in compactifications related to K3 surfaces and FHSV model studied by Ferrara Kallosh Marrani and Harvey Moore. Attractor-based computations by Denef and Moore and quantum entropy function methods by Ashoke Sen provided further nontrivial agreement. Counterexamples and refinements were suggested via studies of nonperturbative corrections, wall-crossing phenomena developed by Kontsevich Soibelman and Joyce Song, and exact results from Donaldson–Thomas invariants explored by Maulik Nekrasov Okounkov Pandharipande.
Mathematical formulation and techniques
Mathematical underpinnings invoke Gromov–Witten theory, Donaldson–Thomas theory, and the Gopakumar–Vafa integer invariants introduced by Gopakumar Vafa to reorganize genus expansions, together with mirror symmetry techniques from Kontsevich and Strominger Yau Zaslow. Techniques incorporate localization methods from Atiyah Bott and Berline Vergne, holomorphic anomaly equations of Bershadsky Cecotti Ooguri Vafa, and modularity input from the theory of Jacobi forms and mock modular forms developed by Zagier. Wall-crossing formulae by Kontsevich Soibelman and stability conditions following Bridgeland inform the behavior of BPS indices, while algebraic geometry results on moduli of coherent sheaves from Mukai and Huybrechts Lehn inform rigorous DT/GW correspondences. Mathematical physics approaches by Nekrasov and Okounkov using instanton counting and equivariant integration also contribute to explicit computations.
Physical implications and applications
If valid, the conjecture provides a deep link between quantum gravity microstates and enumerative invariants, with implications for understanding black hole information in contexts studied by Susskind and Polchinski, testing dualities such as S-duality and T-duality, and informing the microstate geometry program associated with Mathur. Applications include precision counting of BPS states in N=2 superconformal field theory setups, computations of higher-derivative F-terms in effective actions studied by Antoniadis and de Wit, and insights into topological string amplitudes relevant to matrix models by Dijkgraaf Vafa. It has also influenced developments in quantum geometry related to noncommutative geometry approaches of Connes and resurgent transseries techniques studied by Écalle.
Open problems and developments
Major open issues include a precise nonperturbative definition of the topological string partition function that matches the black hole ensemble beyond perturbation theory, resolution of discrepancies arising from wall-crossing and moduli dependence analyzed by Denef and Moore, and extensions to non-BPS or less-supersymmetric settings considered by Sen and Aspinwall Greene Morrison. There is ongoing work on relating the conjecture to exact modular or automorphic structures studied by Borcherds and Gritsenko Nikulin, nonperturbative completions via resurgent analysis by Marino Schiappa, and rigorous mathematical formulations connecting GW/DT correspondences by Maulik Oblomkov Okounkov Pandharipande. Further progress requires synthesis of techniques from algebraic geometry contributors such as Behrend and Joyce, physical insights from Strominger, Vafa, and Witten, and computational advances in enumerative invariants by Klemm and Zaslow.