6
$\begingroup$

One of the mathematical fields that string theory is said to have had a large bearing on is enumerative geometry which, roughly, deals with counting rational curves on hypersurfaces and its generalisations. From what I could surmise, its main relevance in string theory is in enumerating the rational curves on the quintic three-fold, a particular type of Calabi-Yau manifold, but I have no idea what this entails (though an educated guess would be to obtain desirable properties after compactification).

Could someone illustrate (even a high-level overview) why this is useful, preferably in a manner to someone (like me) who is not so well-versed in string phenomenology or Gromov-Witten theory?

$\endgroup$

2 Answers 2

5
$\begingroup$

When we compactify string theory, we are interested in the effective theory in the remaining dimensions, and perform a generalization of Kaluza-Klein reduction. Now, where in flat 10 dimensions the sum over worldsheets in the string amplitudes needed only to sum over the different kinds of worldsheets (their moduli and genus), we now have to distinguish between worldsheets that still live in flat space and those that "catch on" to some of the compactified dimensions. Where in flat space all embeddings $X:\Sigma \to \mathbb{R}^{10}$ necessarily have trivial homology and hence have no topological character, in compactified space it can happen that the image of the embedding is not homologically equivalent to a point (just as in Kaluza-Klein theory a path around the circle in the fifth dimension is not equivalent to a point) - we cannot contract all worldsheets to be infinitesimally small because "holes" like the hole in a 1d circle are in the way.

Physicists usually then speak of a string (or brane) "wrapping" this non-trivial cycle in homology. The number of these cycles will typically affect the coupling strength and/or the number of particles in the effective theory after compactification, in the simplest case you get one particle or one set of particles (a multiplet) for each distinct cycle, with the properties like "volume" of the cycle dictating coupling strengths and masses of the particles. Like with the Kaluza-Klein tower, wrapping the branes more than once around these cycles will typically produce an infinite number of increasingly irrelevant (because more massive/less coupled) contributions. The brane configurations that are most relevant are often called the "BPS-states" of M-theory.

Now, Gromov-Witten invariants are pretty complex objects, but in specific circumstances, they count homology classes of specific holomorphic curves inside a manifold $M$, and a holomorphic curve is essentially a holomorphic map $\Sigma_g \to M$ for some Riemann surface $\Sigma_g$.

...and now there are also some limits of string theory/M-theory where the kinds of "wrappings" we're interested in are those of worldsheets where the coordinates $X:\Sigma\to M$ have become holomorphic maps. I don't know of a good heuristic way to explain why, but in any case, we're now interested in how many distinct ways there are to wrap a string in a holomorphic fashion around some of the compact dimensions. This is precisely what the G-W invariants count.

If you want the meat of the computations, some starting points are "Gromov-Witten Theory and Threshold Corrections" by Grünberg - rather "modern" and mathematical, with a review character, "M-Theory and Topological Strings–I" by Gopakumar and Vafa and "N=2 Type II – Heterotic Duality and higher derivative F-terms" by Antoniadis, Gava, Narain, Taylor, both of the latter being more "physicsy" and closer to the first discovery of the so-called "F-terms" in which the G-W invariants and potentials appear.

$\endgroup$
2
  • $\begingroup$ Fantastic answer, thanks. Do you know what the (famous) calculation that uses the quintic three-fold is? (or is it a special case of the homology class counting procedure mentioned above?) $\endgroup$ Commented Mar 26, 2021 at 1:37
  • $\begingroup$ @NiharKarve No, I'm afraid I don't know what specific calculation that might refer to. $\endgroup$
    – ACuriousMind
    Commented Mar 26, 2021 at 12:56
2
$\begingroup$

@NiharKarve Although the question is old, I think the paper for the "famous calculation of the quintic" that you are looking for is the paper of Candelas et al. "A Pair of Calabi-Yau manifolds as an exactly soluble superconformal theory"

https://inspirehep.net/literature/300123

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.